REVIEW 2 major objections 3 minor 36 references
A lower bound on the analytic log-canonical threshold over local fields of positive characteristic
T0 review · 2 major / 3 minor · reviewed 2026-08-04 · deepseek-v4-flash
Pith's one-line read This paper proves that the analytic log-canonical threshold is always positive over local fields of positive characteristic, and gives an optimal effective lower bound of 1/(d·D^m) for regular functions on smooth algebraic varieties.
desk verdict Theorem 1.2 is solid and new, but the effective bound in Theorem 1.4 rests on a gap in Lemma 2.11 that needs a real fix before the paper is complete. 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 argument rests on two ingredients. First, a small-ball (sublevel) estimate: for a monic polynomial of degree d over a non-Archimedean local field, the Haar measure of the set where |f(x)| ≤ δ is at most d·δ^{1/d}; the same bound holds for a Weierstrass polynomial in several variables once the Weierstrass preparation theorem is used to reduce a general analytic function to a monic polynomial in the last variable. Second, in the algebraic setting, the order of vanishing of a degree-d polynomial along a smooth variety defined by degree-D equations is controlled by the Hilbert–Samuel multiplicity, bounded via Bézout by d·D^m; a conversion lemma (Lemma 2.11) then turns this order bound into t
What would settle it
Check the proof's coordinate-change step on f(x)=x^K(1+x) over any positive-characteristic local field: the coefficients of x^K and x^{K+1} both have absolute value 1, so the function is never distinguished of order K after any allowed shear and rescaling (trivial in one variable). This one-line example settles whether Lemma 2.11's route from order K to lct ≥ 1/K is valid; if the construction fails, the effective lower bound remains unproven, and finding an actual function with lct < 1/K would refute Theorem 1.4.
Extended reading notes
Core claim
At the heart of the paper is Theorem 1.4: if X is a smooth n-dimensional subvariety of affine space defined by m polynomials of degree at most D, and if φ_1, ..., φ_r are polynomials of degree at most d that do not all vanish on any irreducible component of X, then for every F-point x0 of X the analytic log-canonical threshold lct_F(⟨φ_1,...,φ_r⟩; x0) is at least 1/(d·D^m). The constant is sharp: Example 1.5 shows that on the curve x_{i+1} = x_i^D, the function φ = x_{m+1}^d has threshold exactly 1/(d·D^m). Along the way the paper establishes the more basic positivity statement (Theorem 1.2) for arbitrary analytic functions on analytic manifolds, with no algebraic or degree hypotheses.
Load-bearing premise
The whole argument leans on the claim that an analytic function of order K can, after a shear and a rescaling of some coordinates, be made distinguished—meaning its K-th pure power term has strictly the largest coefficient—so that Weierstrass preparation yields a monic degree-K polynomial; for some functions this step is not guaranteed.
Editorial extensions
If this is right
- For any smooth algebraic F-variety and any regular function φ that does not vanish identically on a component, |φ|_F^{-s} is locally integrable for every s < 1/(d·D^m), uniformly at all F-points.
- The lower bound is optimal in general: the curve x_{i+1}=x_i^D with φ=x_{m+1}^d realizes lct = 1/(d·D^m).
- The positivity theorem covers arbitrary analytic functions on arbitrary F-analytic manifolds, with no bound depending on degrees.
- For an ideal J generated by several functions, lct_F(J; x0) is bounded below by 1/(d·D^m) whenever the generating polynomials satisfy the stated degree and vanishing conditions.
- These bounds supply a positive exponent of integrability for pushforwards of smooth compactly supported measures by analytic maps in positive characteristic, generalizing characteristic-zero results.
Reading between the lines
- The proof's key step, Lemma 2.11, assumes that a generic shear and rescaling makes an order-K analytic function distinguished in the last variable; for a function like x^K(1+x) this step visibly fails, so the effective bound may rest on a repairable but currently unproven claim—or the bound may hold by a different route.
- The small-ball estimation technique may be flexible enough to yield sublevel bounds for functions that are not Weierstrass polynomials, such as sums of monomials or products, potentially giving analogous thresholds without the algebraic assumptions.
- The optimality example suggests a general heuristic: the smallest threshold on a variety tends to be realized along a branch where the function has maximal order, governed by the product of degrees; this could guide conjectures for the related F-pure threshold, which the paper notes is a different invariant.
- The uniform-in-point nature of the algebraic bound may help in establishing global integrability theorems for distributions on reductive groups over positive-characteristic local fields, where previously no such uniform arithmetical control existed.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the analytic log-canonical threshold lct_F(f;x0) over local fields F of positive characteristic. Theorem 1.2 asserts positivity for any nonzero analytic ideal on an analytic manifold, and Theorems 1.3 and 1.4 assert uniform and effective lower bounds for regular functions on smooth algebraic varieties, with the explicit bound 1/(d·D^m) in the affine setting of Theorem 1.4. The strategy is to reduce to a Weierstrass polynomial and use a Remez-type small-ball estimate (Lemmas 2.6 and 2.7). In the algebraic case, Lemma 2.10 bounds the order of vanishing via Hilbert–Samuel multiplicity and Bézout, and Lemma 2.11 is then used to convert an order bound K into the lower bound lct ≥ 1/K.
Significance. If the proof is completed, the paper supplies useful foundational results in positive characteristic, where Hironaka resolution and model-theoretic transfer are unavailable. The small-ball estimates in Lemmas 2.6 and 2.7 are elementary and correct, and Example 1.5 shows that the effective bound in Theorem 1.4 is optimal. However, the proof of Lemma 2.11, which is load-bearing for the effective theorem, has a serious gap. The overall approach is promising and likely salvageable, but the current version does not establish Theorem 1.4.
major comments (2)
- [§2.1, Lemma 2.11] The step claiming that the rescaled function \tilde g is distinguished of order K is unjustified. Definition 2.1(4)(b) requires ||a_K|| > ||a_s|| for all s>K, but the proof only makes a_K a unit (norm 1). The final rescaling leaves x_n unscaled: pure x_n^s coefficients for s>K are multiplied only by the common factor \varpi^{-k0}. They were known only to have norm <1 before this rescaling, so when k0≥1 they can have norm ≥1 afterwards. Concretely, take F=F_q((t)), K=q-1, and g=x^K-y^K+t y^{K+1}. For every unit c, after T(x,y)=(x+cy,y) the y^K coefficient is c^K-1 ∈ tO_F, so k0≥1, while the y^{K+1} coefficient is t. After the proof's rescaling with k0=1, both coefficients have norm 1, so strict dominance fails. Thus Lemma 2.11 is not proved as written.
- [§2.1, Theorem 1.4] Lemma 2.11 is the only step converting the order bound ord_{X,x0}(φ) ≤ d·D^m from Lemma 2.10 into the lower bound lct_F ≥ 1/(d·D^m). Since the proof of Lemma 2.11 is invalid, Theorem 1.4 is unsupported. The statement of Lemma 2.11 may still be true, but the manuscript does not provide a correct argument; this is a load-bearing gap, not a cosmetic issue.
minor comments (3)
- [§1, first paragraph] 'In this Appendix we study...' appears to be a leftover from the appendix format; it should read 'In this paper we study...'.
- [Lemma 2.11, proof] The notation q_F^{k0} appears to mean q_F^{-k0}; as written, the valuations are inverted (e.g., '|Σ c^I b_I|_F = q_F^{k0}' and 'maximal absolute value q_F^{k0}').
- [Theorems 1.3 and 1.4] The phrase 'do not simultaneously vanish on some irreducible component of X' is ambiguous; it should be 'do not simultaneously vanish on any irreducible component of X' to match the intended condition.
Circularity Check
No circularity: the derivation is self-contained; the only self-citations are contextual and non-load-bearing.
full rationale
The claimed derivation chain goes Theorem 1.4 -> Lemma 2.10 (order bound via Hilbert-Samuel multiplicity and Bezout, cited to external [HS06]) plus Lemma 2.11 (order-to-lct conversion via Weierstrass preparation [BGR84], Gauss-norm normalization, and the small-ball estimate Lemma 2.7). Each load-bearing step is obtained from external theorems or direct estimates, not from the target lct bound. No parameter is fitted to the result and then renamed a prediction; Example 1.5 only illustrates optimality, and no equation in the proof is equivalent by construction to the theorem it is used to prove. The author self-citations ([GH19] for the notion of complexity, [GH21,GHS] for characteristic-0 analogues) are contextual and do not carry the main argument. The reader's/skeptic's objection about the strict-dominance condition in Lemma 2.11 is a possible proof gap or correctness issue, not a circular reduction of the theorem to its own input, so it does not raise the circularity score.
Assumptions & free parameters
assumptions (5)
- standard math Weierstrass preparation theorem and distinguishedness for Tate algebras (BGR84, §5.2.2 Thm 1 and Prop 2.2)
- domain assumption Hilbert–Samuel multiplicity of a hypersurface equals the order of its defining function at a smooth point, and satisfies the Bezout-type bound e_HS(X∩{φ=0},x0) ≤ deg(φ)·∏deg(g_j)
- standard math Haar measure on a local field has ball measures μ(B(x,r)) ≤ r under the normalization μ(O_F)=1
- domain assumption Local integrability of |f|^{-s} is invariant under F-analytic diffeomorphisms, multiplication by nonzero scalars, and anisotropic rescaling of coordinates
- standard math Finite field extensions allow splitting a monic polynomial into linear factors, and the norm extends
Cite this review
Pith. "Pith review of A lower bound on the analytic log-canonical threshold over local fields of positive characteristic." pith.science (2026). https://pith.science/paper/L4JK2GHO
@misc{pith2026251101270,
author = {Pith},
title = {Pith review of: A lower bound on the analytic log-canonical threshold over local fields of positive characteristic},
year = {2026},
howpublished = {\url{https://pith.science/paper/L4JK2GHO}},
note = {Machine review of arXiv:2511.01270}
}
abstract
Given a local field $F$ of positive characteristic, an $F$-analytic manifold $X$ and an analytic function $f:X\rightarrow F$, the $F$-analytic log-canonical threshold $\mathrm{lct}_{F}(f;x_{0})$ is the supremum over the values $s\geq0$ such that $\left|f\right|_{F}^{-s}$ is integrable near $x_{0}\in X$. We show that $\mathrm{lct}_{F}(f;x_{0})>0$. Moreover, if $f$ is a regular function on a smooth algebraic $F$-variety, we obtain an effective lower bound $\mathrm{lct}_{F}(f;x_{0})>C$, where $C>0$ is explicit and depends only on the complexity class of $X$ and $f$.
Reference graph
Works this paper leans on
-
[1]
Aizenbud, D
A. Aizenbud, D. Gourevitch, D. Kazhdan, and E. Sayag. Effective local differential topology of algebraic varieties over local fields of positive characteristic. in preparation
-
[2]
Aizenbud, D
A. Aizenbud, D. Gourevitch, D. Kazhdan, and E. Sayag. The jet schemes of the nilpotent cone of gl _ n over F _ and analytic properties of the C hevalley map. in preparation
-
[3]
V. I. Arnold, S. M. Guse n-Zade, and A. N. Varchenko. Singularities of differentiable maps. V ol. II , volume 83 of Monographs in Mathematics . Birkh\" a user Boston, Inc., Boston, MA, 1988. Monodromy and asymptotics of integrals, Translated from the Russian by Hugh Porteous, Translation revised by the authors and James Montaldi
1988
-
[4]
I. N. Bern s te n. Analytic continuation of generalized functions with respect to a parameter. Funkcional. Anal. i Prilo z en. , 6(4):26--40, 1972
1972
-
[5]
Bosch, U
S. Bosch, U. G\"untzer, and R. Remmert. Non- A rchimedean analysis , volume 261 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 1984. A systematic approach to rigid analytic geometry
1984
-
[6]
Bhatt, D
B. Bhatt, D. J. Hern\'andez, L. E. Miller, and M. Musta t a . Log canonical thresholds, F -pure thresholds, and nonstandard extensions. Algebra Number Theory , 6(7):1459--1482, 2012
2012
-
[7]
Blickle, M
M. Blickle, M. Musta t a , and K. E. Smith. F -thresholds of hypersurfaces. Trans. Amer. Math. Soc. , 361(12):6549--6565, 2009
2009
-
[8]
N. Budur. Singularity invariants related to M ilnor fibers: survey. In Zeta functions in algebra and geometry , volume 566 of Contemp. Math. , pages 161--187. Amer. Math. Soc., Providence, RI, 2012
2012
Show all 36 references
-
[9]
Carbery, M
A. Carbery, M. Christ, and J. Wright. Multidimensional van der C orput and sublevel set estimates. J. Amer. Math. Soc. , 12(4):981--1015, 1999
1999
-
[10]
Cluckers and I
R. Cluckers and I. Halupczok. Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero. J. \' E c. polytech. Math. , 5:45--78, 2018
2018
-
[11]
Cluckers and F
R. Cluckers and F. Loeser. Constructible motivic functions and motivic integration. Invent. Math. , 173(1):23--121, 2008
2008
-
[12]
Cluckers and F
R. Cluckers and F. Loeser. Constructible exponential functions, motivic F ourier transform and transfer principle. Ann. of Math. (2) , 171(2):1011--1065, 2010
2010
-
[13]
Cluckers
R. Cluckers. Classification of semi-algebraic p -adic sets up to semi-algebraic bijection. J. Reine Angew. Math. , 540:105--114, 2001
2001
-
[14]
V. N. Cubarikov. Multiple rational trigonometric sums and multiple integrals. Mat. Zametki , 20(1):61--68, 1976
1976
-
[15]
Carbery and J
A. Carbery and J. Wright. Distributional and L^q norm inequalities for polynomials over convex bodies in R^n . Math. Res. Lett. , 8(3):233--248, 2001
2001
-
[16]
J. Denef. On the degree of I gusa's local zeta function. Amer. J. Math. , 109(6):991--1008, 1987
1987
-
[17]
J. Denef. Report on I gusa's local zeta function. Number 201-203, pages Exp. No. 741, 359--386 (1992). 1991. S\' e minaire Bourbaki, Vol. 1990/91
1992
-
[18]
Glazer, J
I. Glazer, J. Gordon, and Y. I. Hendel. Integrability and singularities of H arish- C handra characters. arXiv:2312.01591
-
[19]
Glazer and Y
I. Glazer and Y. I. Hendel. On singularity properties of convolutions of algebraic morphisms. Selecta Math. (N.S.) , 25(1):Art. 15, 41, 2019
2019
-
[20]
Glazer and Y
I. Glazer and Y. I. Hendel. On singularity properties of convolutions of algebraic morphisms---the general case. J. Lond. Math. Soc. (2) , 103(4):1453--1479, 2021. With an appendix by Glazer, Hendel and Gady Kozma
2021
-
[21]
Glazer, Y
I. Glazer, Y. I. Hendel, and S. Sodin. Integrability of pushforward measures by analytic maps. To A ppear in A lgebraic G eometry
-
[22]
Glazer and D
I. Glazer and D. Mikulincer. Anti-concentration of polynomials: D imension-free covariance bounds and decay of F ourier coefficients. J. Funct. Anal. , 283(9):Paper No. 109639, 2022
2022
-
[23]
Hironaka
H. Hironaka. Resolution of singularities of an algebraic variety over a field of characteristic zero. I , II . Ann. of Math. (2) (1964), 109--203; ibid. (2) , 79:205--326, 1964
1964
-
[24]
Hrushovski and D
E. Hrushovski and D. Kazhdan. Integration in valued fields. In Algebraic geometry and number theory , volume 253 of Progr. Math. , pages 261--405. Birkh\" a user Boston, Boston, MA, 2006
2006
-
[25]
Huneke and I
C. Huneke and I. Swanson. Integral closure of ideals, rings, and modules , volume 336 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 2006
2006
-
[26]
J. Igusa. Forms of higher degree , volume 59 of Tata Institute of Fundamental Research Lectures on Mathematics and Physics . Tata Institute of Fundamental Research, Bombay; by the Narosa Publishing House, New Delhi, 1978
1978
-
[27]
J. Igusa. An introduction to the theory of local zeta functions , volume 14 of AMS/IP Studies in Advanced Mathematics . American Mathematical Society, Providence, RI; International Press, Cambridge, MA, 2000
2000
-
[28]
Koll\' a r
J. Koll\' a r. Which powers of holomorphic functions are integrable? arXiv:0805.0756
-
[29]
D. Meuser. A survey of I gusa's local zeta function. Amer. J. Math. , 138(1):149--179, 2016
2016
-
[30]
Musta t a
M. Musta t a . I MPANGA lecture notes on log canonical thresholds. In Contributions to algebraic geometry , EMS Ser. Congr. Rep., pages 407--442. Eur. Math. Soc., Z\" u rich, 2012. Notes by Tomasz Szemberg
2012
-
[31]
A. S. Rapinchuk, V. V. Benyash-Krivetz, and V. I. Chernousov. Representation varieties of the fundamental groups of compact orientable surfaces. Israel J. Math. , 93:29--71, 1996
1996
-
[32]
E. J. Remez. Sur une propri\' e t\' e des polyn\^ o mes de T chebycheff. Comm. Inst. Sci. Kharkow , 13:93--95, 1936
1936
-
[33]
M. Saito. On real log canonical thresholds. arXiv:0707.2308
-
[34]
Takagi and K
S. Takagi and K. Watanabe. On F -pure thresholds. J. Algebra , 282(1):278--297, 2004
2004
-
[35]
A. N. Varchenko. Semicontinuity of the complex singularity exponent. Funktsional. Anal. i Prilozhen. , 17(4):77--78, 1983
1983
-
[36]
Veys and W
W. Veys and W. A. Z\' u \ n iga Galindo. Zeta functions for analytic mappings, log-principalization of ideals, and N ewton polyhedra. Trans. Amer. Math. Soc. , 360(4):2205--2227, 2008
2008
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.