REVIEW 4 major objections 4 minor 36 references
Geometric Criteria for Morrey Admissibility via the Real Log-Canonical Threshold
T0 review · 4 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read This paper claims that the exact Morrey admissibility threshold for singular interaction kernels is a birational invariant determined by a log-resolution, and that it equals half the real log-canonical threshold for Newton non-degenerate si
desk verdict The main theorem rests on a false monomialization assumption and an algebra slip, but the underlying connection between RLCT and Morrey admissibility is worth taking seriously. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the log-resolution π: X̃→R^n of the zero set of f, together with its divisorial data (ν_i, M_i, a_i): the vanishing order of f along an exceptional component E_i, the vanishing order of |∇f| along E_i, and the Jacobian discrepancy exponent of π. The mechanism is the monomial reduction: in adapted coordinates, f∘π, ∇f∘π, and |Jπ| are assumed to be monomials, so |∇(1/f)|^p |Jπ| ≍ ∏ |y_i|^{-p(2ν_i−M_i)+a_i}, and Fubini reduces L^p integrability to the one-dimensional conditions −p(2ν_i−M_i)+a_i > −1. The minimum of the ratios (a_i+1)/(2ν_i−M_i) is the Morrey Threshold Index.
What would settle it
For f(x,y)=x^2+y^4 (Newton non-degenerate), the formula gives p* = 3/8. Direct integration in the sector near the y-axis, writing x = rψ, y = r, yields |∇(1/f)|^p ≍ r^{-3p} (ψ^2+4r^4)^{p/2} (ψ^2+r^2)^{-2p}; scaling ψ = rt makes the integral over r behave like ∫_0^1 r^{2-6p} dr, which converges for every p < 1/2. Hence ∇(1/f) ∈ L^{0.4}_loc for p = 0.4, contradicting p* = 0.375 if the theorem's iff is meant to hold.
Extended reading notes
Core claim
Under the two-sided comparability |∇K| ≍ |∇f|/|f|^2 near an isolated zero of a real-analytic f, the paper proves that ∇K ∈ L^p_loc if and only if p < p* = min_i (a_i+1)/(2ν_i−M_i), where ν_i, M_i, a_i are the vanishing orders of f and of |∇f| and the discrepancy exponent along each exceptional component of a log-resolution of (f=0). Thus the Morrey Threshold Index of K is p*. The real log-canonical threshold rlct0(f) = min_i (a_i+1)/ν_i gives the lower bound p* ≥ (1/2)rlct0(f), with equality whenever a divisor attaining rlct0(f) has M_i = ν_i−1, in particular for Newton non-degenerate germs.
Load-bearing premise
The load-bearing premise is that a log-resolution of (f=0) simultaneously turns the gradient into a single monomial w ∏ y_i^{M_i} along each exceptional component; a log-resolution only monomializes f and the Jacobian, so for germs like x^2+y^4, where the vanishing order of |∇f| varies along the divisor, the reduction to one-dimensional integrals and the claimed iff do not follow.
Editorial extensions
If this is right
- The admissible range of Morrey exponents for singular kernels K=1/f is fixed by a log-resolution of the defining function, so anisotropic kernels such as (x^2+y^3)^{-λ} are handled by the same criterion as isotropic ones.
- For Newton non-degenerate germs, p* equals 1/(2d_NP(f)), where d_NP(f) is the Newton distance, making the threshold directly computable from the Newton polyhedron.
- The RLCT bound p < (1/2)rlct0(f) is sufficient and is exactly sharp precisely when ∇f vanishes to the minimal order ν_i−1 on a divisor attaining the RLCT; otherwise the true threshold is larger.
- Kernels with radial cancellation (like the Newtonian |x|^{2-d}) can lie outside the hypothesis and be integrable beyond the resolution-theoretic threshold, indicating the criterion captures worst-case anisotropic concentration.
Reading between the lines
- The proof of Theorem 2.11 assumes ∇f∘π is a single monomial w ∏ y_i^{M_i} per exceptional component; standard log-resolutions do not guarantee this. For f(x,y)=x^2+y^4, the vanishing order of |∇f| varies along the divisor, so the claimed iff may hold only as a sufficient condition, and the exact threshold could require a refined invariant.
- A direct computation for x^2+y^4 suggests the true L^p threshold for ∇(1/f) is larger than the paper's formula gives; if confirmed, the equality p* = (1/2)rlct0(f) for Newton non-degenerate germs would need modification.
- The Newton-polyhedron pipeline could be turned into a screening rule: compute d_NP(f) and check whether |∇f| has constant vanishing order on the face realizing the Newton distance; when it does not, the admissible p-range is likely wider than 1/(2d_NP), so the RLCT bound is conservative.
- The same divisorial machinery could be applied to kernels of the form log|f| or to singular sets of positive dimension, where stratified valuations would replace a single divisor; the paper leaves that extension open.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies local L^p integrability (and hence Morrey admissibility) of ∇K for singular kernels of the form K = 1/f, where f is a real-analytic function with an isolated zero. Under a two-sided comparability assumption |∇K| ≍ |∇f|/|f|^2, it claims a complete geometric characterization: ∇K ∈ L^p_loc iff p < p* := min_i (a_i+1)/(2ν_i − M_i), where (ν_i, M_i, a_i) are asserted to be derived from a log-resolution of {f=0}. It further claims that the real log-canonical threshold gives a lower bound p := (1/2) rlct0(f) ≤ p*, with equality for Newton non-degenerate germs. The proof is based on pulling back ∇K via a log-resolution and reducing to one-dimensional monomial integrals.
Significance. If correct, the result would give a birational-invariant formula for the sharp Morrey admissibility threshold of a broad class of interaction kernels, with a computable Newton-polyhedron criterion. The paper also connects the threshold to the real log-canonical threshold and to the authors' program on volume asymptotics and persistent topology. However, the central derivation and the sharpness theorem are not sound; the main theorem fails in elementary examples, and the advertised Newton-polyhedron criterion is contradicted by radial examples already treated in the paper. The significance is therefore contingent on a proof that the manuscript does not provide.
major comments (4)
- [§2, 'Local integrability via log resolutions' and Theorem 2.11(i)] The proof assumes that a log-resolution simultaneously monomializes the gradient: ∇f∘π = w(y)∏ y_i^{M_i} with a single order M_i on each exceptional component. A log-resolution only monomializes f and the Jacobian; it does not monomialize the vector-valued gradient. For f = x^2+y^4, the standard blow-up x=u, y=uv gives f=u^2(1+u^2v^4), |∇f|=2u√(1+4u^2v^6), |J|=|u|. The pulled-back integrand is u^{1−3p}(1+4u^2v^6)^{p/2}(1+u^2v^4)^{−2p}, whose dependence on v is not a pure power; the region v ≍ u^{−1/2} contributes an extra u^{−1/2}. The claimed Fubini reduction to ∫ u^{1−3p} du (giving p* = 2/3) is therefore invalid; the actual threshold is p < 1/2. Thus the iff characterization in (i) rests on a false premise.
- [Theorem 2.11(iii), proof step 3] There is an algebra error: substituting M_j = ν_j − 1 into 2ν_j − M_j gives ν_j + 1, not 2ν_j. The equality (a_j+1)/(2ν_j−M_j) = (a_j+1)/(2ν_j) is false. Consequently the claimed characterization of equality p* = p, and in particular the assertion that p* = p for every Newton non-degenerate germ, is unsupported. For f = x^2+y^2, a log-resolution gives ν=2, a=1, M=1 (so M=ν−1), but the formula with the correct denominator gives p* = (1+1)/(4−1) = 2/3, while p = (1/2)·(2/2) = 1/2. Hence the sharpness theorem is false as stated.
- [Example 2.3 and §3 computations] The examples compute thresholds using the exponent −p(2ν) + a, i.e. implicitly setting M=0, in contradiction with the definition M_i ≥ ν_i − 1. For f = x^2+y^3, the paper reports ν=6, a=4 and p < 5/12 from ∫ |y|^{−12p+4} dy. But with M ≥ ν−1 = 5, the same monomial scheme would give a different exponent, and the claimed sharpness p* = 5/12 does not follow. The radial counterexample f = x^2+y^2 already shows that the Newton-polyhedron criterion of §2.3 (p* = 1/(2d_NP)) is wrong: it gives 1/2 instead of the actual threshold 2/3.
- [§2.3, computational criterion, steps (1)–(4)] The step-by-step criterion asserts p* = 1/(2 d_NP(f)) for Newton non-degenerate germs, citing Theorem 2.11(iii). Since (iii) is false, the criterion is not established. For f = x^2+y^2 (Newton non-degenerate), d_NP=1 and the criterion gives p*=1/2, contradicting the direct computation p*=2/3 for ∇(1/f) in R^2. The advertised resolution-independent characterisation of the maximal integrability of ∇K therefore fails in the simplest isotropic case.
minor comments (4)
- [Notation summary, §2] The symbols ν_i and N_i are introduced as identical, but the text uses both in formulae without consistently distinguishing them. This is confusing, especially in the statement of Theorem 2.11 where ν_i appears but the notation summary lists N_i as the integral notation.
- [Remark 2.5] The normalization of the real log-canonical threshold is nonstandard: the usual definition is sup{c>0: |f|^{-c} is locally integrable}, but the remark also identifies rlct0(f) = min_i (a_i+1)/ν_i after claiming a factor of two convention. The relationship with the divisorial data should be stated precisely; as written, the same symbol is used for two different normalizations.
- [Example 3.1 table and figures] The table for f=x^m+y^n lists p* = (m+n)/(2mn). For m=n=2 this gives 1/2, but the actual threshold for ∇(1/(x^2+y^2)) in R^2 is 2/3. The table therefore propagates the error in Theorem 2.11(iii).
- [References and self-citations] The paper cites several arXiv preprints by the authors [15,16] as part of the same program. While self-citation is not improper, the refereed status of these preprints is unclear; the manuscript should indicate which results are independent of these preprints.
Circularity Check
No significant circularity: the claimed threshold is computed from resolution data, not assumed; self-citations are contextual.
full rationale
The central formula is not defined as the target quantity: MTI(K) is defined in Definition 2.6 as sup{p : ∇K ∈ L^p_loc}, and the resolution formula min_i(a_i+1)/(2ν_i−M_i) is then asserted and 'proved'. The proof's change-of-variables reduction, although it relies on an unproven monomialization of ∇f (a correctness gap), does not presuppose the threshold; it derives the one-dimensional convergence condition from the monomial exponents. The self-citations [32,33] supply the Morrey fixed-point framework that translates L^p integrability into well-posedness, and [15,16] are cited as parallel asymptotic theories; neither is used to establish the integrability formula. Accordingly, no step in the claimed derivation reduces, by construction or by definition, to its own input. The unsupported assertion that a log-resolution monomializes ∇f (proof of Theorem 2.11) is a mathematical validity issue outside the scope of circularity.
Assumptions & free parameters
assumptions (4)
- standard math Real log-resolutions exist for real-analytic f and give monomial f∘π and Jacobian |Jπ| = v∏|y_i|^{a_i}.
- ad hoc to paper The pulled-back gradient admits the simultaneous monomial form ∇f∘π = w∏ y_i^{M_i} with a single order M_i per exceptional component.
- ad hoc to paper M_i ≥ ν_i − 1 for every i.
- domain assumption Two-sided comparability |∇K| ≍ |∇f|/|f|^2 (Hypothesis 2.9) holds for the kernels under study.
Cite this review
Pith. "Pith review of Geometric Criteria for Morrey Admissibility via the Real Log-Canonical Threshold." pith.science (2026). https://pith.science/paper/2GU3BYAQ
@misc{pith2026260714991,
author = {Pith},
title = {Pith review of: Geometric Criteria for Morrey Admissibility via the Real Log-Canonical Threshold},
year = {2026},
howpublished = {\url{https://pith.science/paper/2GU3BYAQ}},
note = {Machine review of arXiv:2607.14991}
}
abstract
In this work we study the local well-posedness of aggregation equations in Morrey spaces for interaction kernels with an isolated analytic singularity at the origin. The velocity field is given by a nonlocal convolution involving the gradient of the kernel. We assume that, near the singularity, the gradient of the kernel is analytically comparable -- in the two-sided sense -- to a negative power of a real-analytic function with an isolated zero. Under this assumption, we give a complete geometric characterisation of the admissible range of Morrey exponents: $\nabla K \in L^p_{\mathrm{loc}}$ if and only if $p < \min_i (a_i+1)/(2N_i - M_i)$, where $(N_i, M_i, a_i)$ are the vanishing orders and discrepancy exponents arising from a log-resolution of the zero set of $f$. The real log-canonical threshold of $f$ provides a computable lower bound for this exact threshold, and the two coincide for Newton non-degenerate singularities. The proof relies on resolution of singularities, which reduces the analysis to a monomial model and yields the necessary integrability estimates. This yields a geometric criterion for the class of interaction kernels covered by the theory, including isotropic kernels of Riesz type and certain anisotropic kernels arising from analytic divisors. Our results show that the threshold for well-posedness in this setting is governed by resolution-theoretic (birational) data associated with the singularity.
Figures
Figures from the paper (4 more)
Reference graph
Works this paper leans on
-
[1]
Jacob Bedrossian and Nader Masmoudi,Existence, uniqueness and Lipschitz depen- dence for Patlak–Keller–Segel and Navier–Stokes inR 2 with measure-valued initial data, Archive for Rational Mechanics and Analysis214(2015), 717–801
2015
-
[2]
Bertozzi, Thomas Laurent, and Jesus Rosado,L p theory for the multidi- mensional aggregation equation, Communications on Pure and Applied Mathematics 64(2012), 45–83
Andrea L. Bertozzi, Thomas Laurent, and Jesus Rosado,L p theory for the multidi- mensional aggregation equation, Communications on Pure and Applied Mathematics 64(2012), 45–83
2012
-
[3]
GEOMETRIC CRITERIA VIA RLCT 27
Manuel Blickle and Robert Lazarsfeld,An informal introduction to multiplier ideals, inTrends in Commutative Algebra, pages 87–114, Cambridge University Press, 2004. GEOMETRIC CRITERIA VIA RLCT 27
2004
-
[4]
Jose A. Carrillo, Marco Di Francesco, Alessio Figalli, Thomas Laurent, and Dejan Slepcev,Global-in-time weak measure solutions and finite-time aggregation for non- local interaction equations, Duke Mathematical Journal156(2011), 229–271
2011
-
[5]
Jose A. Carrillo, Young-Pil Choi, and Maxime Hauray,The derivation of swarming models: mean-field limit and Wasserstein distances, inCollective Dynamics from Bacteria to Crowds, pages 1–46, Springer, 2014
2014
-
[6]
Carrillo, Yanghong Huang, and Markus Schmidtchen,Zoology of a nonlocal cross-diffusion model for two species, SIAM Journal on Applied Mathematics80 (2020), 1078–1104
Jose A. Carrillo, Yanghong Huang, and Markus Schmidtchen,Zoology of a nonlocal cross-diffusion model for two species, SIAM Journal on Applied Mathematics80 (2020), 1078–1104
2020
-
[7]
Collins, Allan Greenleaf, and Malabika Pramanik,A multi-dimensional resolution of singularities with applications to analysis, American Journal of Mathe- matics135(2016), 1179–1252
Tristan C. Collins, Allan Greenleaf, and Malabika Pramanik,A multi-dimensional resolution of singularities with applications to analysis, American Journal of Mathe- matics135(2016), 1179–1252
2016
-
[8]
Collins,The real log canonical threshold, Annales de l’Institut Fourier67 (2017), 1695–1718
Tristan C. Collins,The real log canonical threshold, Annales de l’Institut Fourier67 (2017), 1695–1718
2017
Show all 36 references
-
[9]
Tommaso de Fernex, Lawrence Ein, and Mircea Mustata,Bounds on log canonical thresholds with applications to birational rigidity, Mathematical Research Letters17 (2010), 219–236
2010
-
[10]
Jan Denef and Francois Loeser,Motivic integration, quotient singularities and the McKay correspondence, Compositio Mathematica131(1998), 267–290
1998
-
[11]
Jean-Pierre Demailly and Janos Kollar,Semi-continuity of complex singularity expo- nents and K¨ ahler–Einstein metrics on Fano orbifolds, Annales Scientifiques de l’Ecole Normale Sup´ erieure34(2001), 525–556
2001
-
[12]
Smith, and Dror Varolin,Jumping coef- ficients of multiplier ideals, Duke Mathematical Journal123(2004), 469–506
Lawrence Ein, Robert Lazarsfeld, Karen E. Smith, and Dror Varolin,Jumping coef- ficients of multiplier ideals, Duke Mathematical Journal123(2004), 469–506
2004
-
[13]
Alessio Figalli and Nicola Gigli,A new transportation distance between non-negative measures, with applications to gradients flows with Dirichlet boundary conditions, Journal de Math´ ematiques Pures et Appliqu´ ees94(2010), 107–130
2010
-
[14]
Yoshikazu Giga, Katsuya Inui, and Shinya Matsui,On the Cauchy problem for the Navier–Stokes equations with nondecaying initial data, inAdvances in Fluid Dynam- ics, pages 27–68, World Scientific, 1999
1999
-
[15]
Grulha Jr.,Divisorial Persistence and Asymptotic Homology of Analytic Pairs, arXiv:2607.06717, 2026
Nivaldo G. Grulha Jr.,Divisorial Persistence and Asymptotic Homology of Analytic Pairs, arXiv:2607.06717, 2026
2026 arXiv
-
[16]
Grulha Jr.,On the Divisorial Geometry of Volume Asymptotics of Sublevel Sets, arXiv:2606.30171, 2026
Nivaldo G. Grulha Jr.,On the Divisorial Geometry of Volume Asymptotics of Sublevel Sets, arXiv:2606.30171, 2026
2026 arXiv
-
[17]
2, 238–260
Dimitra Kosta and Daniel Windisch,Classification of real hyperplane singularities by real log canonical thresholds, SIAM Journal on Applied Algebra and Geometry10 (2026), no. 2, 238–260
2026
-
[18]
Sumio Watanabe,Algebraic Geometry and Statistical Learning Theory, Cambridge University Press, 2009
2009
-
[19]
Michael Greenblatt,SharpL 2 estimates for one-dimensional oscillatory integral op- erators withC ∞ phase, American Journal of Mathematics127(2005), 659–695
2005
-
[20]
Hacon, James McKernan, and Chenyang Xu,ACC for log canonical thresholds, Annals of Mathematics180(2014), 523–571
Christopher D. Hacon, James McKernan, and Chenyang Xu,ACC for log canonical thresholds, Annals of Mathematics180(2014), 523–571
2014
-
[21]
Mattias Jonsson and Mircea Mustata,Valuations and asymptotic invariants for se- quences of ideals, Annales de l’Institut Fourier62(2012), 2145–2209
2012
-
[22]
Joe Kamimoto and Toshihiro Nose,Toric resolution of singularities in a certain class ofC ∞ functions and asymptotic analysis of oscillatory integrals, Journal of the Math- ematical Society of Japan59(2007), 231–245
2007
-
[23]
Tosio Kato,Strong solutions of the Navier–Stokes equation in Morrey spaces, Boletim da Sociedade Brasileira de Matem´ atica22(1992), 127–155
1992
-
[24]
28 GRULHA AND PROKOPCZYK
Hideo Kozono and Masao Yamazaki,Semilinear heat equations and the Navier–Stokes equation with distributions in new function spaces as initial data, Communications in Partial Differential Equations19(1994), 959–1014. 28 GRULHA AND PROKOPCZYK
1994
-
[25]
Pierre Gilles Lemari´ e-Rieusset,The Navier–Stokes Problem in the 21st Century, CRC Press, 2016
2016
-
[26]
Changxing Miao, Baoquan Yuan, and Bo Zhang,Well-posedness of the Cauchy prob- lem for the fractional power dissipative equations, Nonlinear Analysis: Theory, Meth- ods & Applications74(2011), 5660–5677
2011
-
[27]
Alex Mogilner and Leah Edelstein-Keshet,A non-local model for a swarm, Journal of Mathematical Biology38(1999), 534–570
1999
-
[28]
Mircea Mustat ¸a,Singularities of pairs via jet schemes, Journal of the American Math- ematical Society15(2002), 599–615
2002
-
[29]
Phong, Elias M
Duong H. Phong, Elias M. Stein, and Jacob A. Sturm,On the growth and stability of real-analytic functions, American Journal of Mathematics121(1999), 519–554
1999
-
[30]
Phong and Jacob Sturm,Algebraic estimates, stability of local zeta func- tions, and uniform estimates for distribution functions, Annals of Mathematics152 (1999), 277–329
Duong H. Phong and Jacob Sturm,Algebraic estimates, stability of local zeta func- tions, and uniform estimates for distribution functions, Annals of Mathematics152 (1999), 277–329
1999
-
[31]
Roman Shvydkoy,Global existence and stability of nearly aligned flocks, Journal of Dynamics and Differential Equations33(2021), 2165–2183
2021
-
[32]
M. L. Suleiman, J. C. Precioso, and A. C. Prokopczyk,Aggregation equations with gradient potential as Radon measure and initial data in Besov–Morrey spaces, Math- ematical Methods in the Applied Sciences43(2020), 6103–6116
2020
-
[33]
M. L. Suleiman, J. C. Precioso, and A. C. Prokopczyk,Existence of solutions for the aggregation equations with initial data in Morrey spaces, Palestine Journal of Mathematics12(2023), 368–377
2023
-
[34]
Taylor,Analysis on Morrey spaces and applications to Navier–Stokes and other evolution equations, Communications in Partial Differential Equations17 (1992), 1407–1456
Michael E. Taylor,Analysis on Morrey spaces and applications to Navier–Stokes and other evolution equations, Communications in Partial Differential Equations17 (1992), 1407–1456
1992
-
[35]
Topaz and Andrea L
Chad M. Topaz and Andrea L. Bertozzi,Swarming patterns in a two-dimensional kinematic model for biological groups, SIAM Journal on Applied Mathematics65 (2004), 152–174
2004
-
[36]
Varchenko,Newton polyhedra and estimation of oscillatory integrals, Functional Analysis and Its Applications10(1976), 175–196
Alexander N. Varchenko,Newton polyhedra and estimation of oscillatory integrals, Functional Analysis and Its Applications10(1976), 175–196. (usp)Universidade de S ˜ao Paulo, ICMC–USP, S ˜ao Carlos, Brazil Email address:njunior@icmc.usp.br (unesp)Universidade Estadual Paulista ...
1976
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.