REVIEW 1 major objections 4 minor 23 references
Frobenius-orbit slicing and uniform elimination of positive-dimensional singular loci
T0 review · 1 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper proves that for any fixed arithmetic variety of relative dimension r, the probability that the m-th jet-zero locus of a random degree-d form is positive-dimensional is at most C(d+1)^{N_m} p^{-\lambda_m(d)}, with N_m =…
desk verdict Strong paper that plausibly settles Poonen's conjecture with a genuinely new slicing method; one localized algebraic-closure slip in Prop. 2.15 is easily fixed. 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
Frobenius-orbit slicing: for a monic irreducible polynomial Q of degree e over F_q, slice by the equation Q(t_j)=0, where t_j is one of the original degree-one étale coordinates. The key identities are the exact filtered decomposition V_I(d) = direct sum_a Q(t_j)^a V_{I∪{j}}(d-ae) (Lemma 2.5), which preserves uniformity of the random blocks, and the triangular normal Taylor expansion $partial^{{[a]}}$_j F ≡ Q'(t_j)^a F_a (mod Q(t_j)), giving per-block entropy. The recursion is controlled by a mixed-dimensional Bézout bound and a boundary-value lemma that bounds how many coordinate values a bounded-degree affine curve can omit.
What would settle it
For a concrete check of the core entropy bound, take U = $A^{1}$ over F_5, m=2, e=2, d=7, fix an irreducible quadratic Q, and enumerate all F in the filtered space V_∅(7) to count, for each F_0, how many higher blocks make both normal derivatives $partial^{{[1]}}$F and $partial^{{[2]}}$F vanish at a closed point of the slice Q(t)=0; Lemma 2.18 predicts the conditional probability is at most $5^{{-4}}$ = 1/625, so any computed fraction above that for some choice of F_0 would indicate a failure of the recursion feeding the main theorem.
Extended reading notes
Core claim
The central discovery is that slicing a positive-dimensional jet-zero locus by the zero set of a degree-e irreducible polynomial in one of the original degree-one étale coordinates serves two purposes at once. Geometrically, a random such slice hits any controlled curve with probability at least 1 - O(Gamma_m(d) $q^{{-e}}$), so the recursion can force the locus to drop dimension; algebraically, every closed point of the slice has residue field containing F_{q^e}, so the Q-adic block decomposition F = sum_a Q(t_j)^a F_a yields an upper-triangular system of normal Taylor coefficients whose a-th diagonal contributes min{e, d-ae+1} independent evaluation conditions. Balancing the two linear magnitudes gives the exponent lambda_m(d) = min_e min{me, d-e+1}, optimized at e = ceil((d+1)/(m+1)). The paper establishes this mechanism uniformly over the arithmetic family by constructing finitely many controlled étale charts with bounded complexity.
Load-bearing premise
The entire argument rests on being able to cover the fixed arithmetic variety by finitely many affine charts where the original degree-one ambient coordinates are étale coordinates, with uniformly bounded derivation degrees and boundary degrees; if these uniform controlled charts did not exist, the filtered Q-adic decomposition and the recursive probability estimate would not go through.
Editorial extensions
If this is right
- For m=1, the probability that the Bertini singular locus of H_f ∩ X_p is positive-dimensional is at most C(d+1)^{r+1} p^{-ceil(d/2)}, which implies a bound below c/p^2 and, after a degree threshold adjustment, p^{-A} for every fixed A>0.
- For complete intersections of c <= r independent forms, the probability of a positive-dimensional Jacobian degeneracy locus is bounded termwise by C sum_i (d_i+1)^{r+1} p^{-ceil(d_i/2)} and hence by C'(d_min+1)^{r+1} p^{-ceil(d_min/2)}, uniformly over all degree vectors once d_min is large.
- The higher-jet estimate yields exponential decay in degree: for any eta < m/(m+1), the probability of a positive-dimensional m-jet zero locus is at most p^{-eta d} for sufficiently large d uniformly in p.
- The result holds for quasiprojective X, not just projective, because the orbit-slice hitting estimate replaces the deterministic intersection with a fixed ample divisor by a randomized orbit slice that misses a bounded-degree affine curve with probability O(Gamma_m(d) q^{-e}).
- The proof gives a finite-field local theorem: any smooth affine chart with degree-one étale coordinates, bounded derivations, and a principal boundary of bounded degree satisfies the same local estimate, uniformly over fibers of a fixed integral chart.
Reading between the lines
- The same slicing mechanism may extend to other singular loci defined by higher-order differential conditions, such as the m-th jet schemes of arbitrary codimension, by choosing a normal tower in several variables; the entropy count would then be a sum over multi-indices rather than a single interval length.
- Because the method never uses characteristic-p derivative decoupling, it may yield non-asymptotic bounds in the regime d ≍ p, where the p-power method stalls at a bounded auxiliary degree; this could be tested numerically for d near p on small charts.
- The envelope argument behind the minimum-degree bound suggests that only the minimum degree of the equations matters for uniform degree thresholds; one could try to sharpen the termwise envelope with the complete-intersection pivot charts.
- A natural testable extension is to ask whether the exponent lambda_m(d) is optimal for the present one-orbit-degree strategy, or whether mixing several orbit degrees e_1,...,e_s within one recursion can raise the exponent beyond m/(m+1); the paper's Lemma 3.3 shows optimality only among constant e at each step.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper develops a new finite-field sieve, termed Frobenius-orbit slicing, to estimate the probability that the m-th principal-parts jet of the restriction of a random degree-d form to a fixed arithmetic variety has a positive-dimensional zero scheme. The main result, Theorem 1.1, gives the bound C(d+1)^{N_m} p^{-\lambda_m(d)} for the probability that dim J_m(f)≥1, with N_m=binom(r+m,m) and lambda_m(d)=floor(m(d+1)/(m+1)). Corollary 1.2 derives Poonen's arithmetic Bertini Conjecture 5.2 and, after increasing the degree threshold, a p^{-A} bound for every fixed A>0. Theorem 1.3 extends the estimate to complete intersections, with both a termwise bound and a uniform bound in terms of the minimum degree. The proof is based on uniform affine-étale charts with controlled projective closures, an exact filtered Q-adic decomposition of the random polynomial spaces, a normal Hasse-derivative tower on orbit slices, and Jacobian-pivot charts for the complete-intersection reduction.
Significance. If the proof is correct after the localized repair discussed below, this is a substantial advance: it settles Poonen's conjecture in a stronger form and extends the statement to higher jets and complete intersections. The method is genuinely new: the same irreducible coordinate slice Q(t_j)=0 serves both as a geometric hitting set for a controlled curve and as the algebraic source of independent normal Taylor conditions. The proof is largely elementary and self-contained, avoiding Weil conjectures, Lang-Weil estimates, and fitted constants; the exact preservation of uniform randomness through the filtered decomposition is a particular strength. The only serious defect I found is a localized algebraic-closure slip in the orbit-hitting estimate, whose intended fix is clear and does not appear to threaten the main argument.
major comments (1)
- [§2.5.4, Proposition 2.15, and its use in §3.1] The proof of Proposition 2.15 defines M_C = F_q \setminus t_j(C(F_q)). This cannot control the event C∩V(Q(t_j))=∅ when deg Q=e>1, because the roots of Q generally lie in \bar F_q, not in F_q. Moreover, in Proposition 3.1 the curve C_F is extracted from W_I^{(m)}(F)_{\bar F_q}, so it is only defined over \bar F_q. As written, the counting of missed polynomials by #M_C/e is therefore meaningless for e>1, and Proposition 3.1 loses its auxiliary-slice estimate. The intended fix is clear and is already signaled by the sentence that M_C need not be Frobenius-stable: one must take M_C = \bar F_q \setminus t_j(C(\bar F_q)), where Lemma 2.13 gives #M_C≤b deg C. With that replacement, disjointness of root orbits and Lemma 2.14 give (2.28). The same correction must be applied consistently in the moving-chart orbit-slicing step of Corollary 4.3, where the curve is again extracted from a geometric reduced support. Since this is the load-bearing orbit-hitting estimate, the proof needs this correction before the main claims can be accepted as written.
minor comments (4)
- [§2.1, Proposition 2.1] After inverting N0, the text uses connectedness of Spec Z[1/N0] to conclude that the Hilbert polynomial is constant; this is true, but a one-line justification would help the reader.
- [§2.1, Proposition 2.1] The notation for the affine open chart \mathcal U_\alpha and its projective closure is easy to confuse, especially because the closure is later denoted by the same symbol with an overline but also appears in other local arguments; a distinct symbol for the closure would improve readability.
- [§4.1.6] The warning that a general polynomial étale coordinate can fail the degree filtration condition is important, but the assertion is made without an example; a short concrete illustration would make the limitation easier to verify.
- [Throughout] The manuscript contains several typographical and formatting artifacts, such as the arrow symbols in Lemma 2.4 and missing spaces in the references; a careful copyedit is needed.
Circularity Check
No circular derivation: the bound is proved from finite-field linear algebra and geometric degree bounds; the only self-citation is a non-load-bearing literature remark.
full rationale
Theorem 1.1 is obtained from an explicit recursion (Proposition 3.1, Theorem 3.2) rather than from the conjecture it addresses. The inputs are: the controlled affine-étale charts of Proposition 2.1, constructed by spreading out, smoothness, and étale criteria; the filtered polynomial decomposition of Lemma 2.5, which uses only Euclidean division in the original degree-one ambient coordinates; the boundary-value estimate of Lemma 2.13 via curve normalization; and the elementary count of irreducible polynomials I_e(q) >= q^e/(2e). No fitted parameter is renamed as a prediction, and Poonen's conjecture appears only as the target statement, not as an assumption. The only self-citation, [23], appears in Section 4.1.8 to contrast the present method with the authors' earlier anti-Bertini examples; it is not used in any proof. The localized algebraic-closure wording in the proof of Proposition 2.15, where M_C is written as F_q \ t_j(C(F_q)) rather than as a complement in an algebraic closure, is a correctness concern rather than a circularity, and the surrounding Lemmas 2.13 and 2.14 make the intended correction transparent. Under the stated circularity definitions, there is no circular step to report.
Assumptions & free parameters
assumptions (4)
- standard math Standard algebraic geometry facts: etaleness criteria, spreading out, Hilbert polynomial constancy, dimension formula, principal ideal theorem.
- domain assumption X is an integral quasiprojective subscheme of P^n_Z, smooth over Z of relative dimension r.
- standard math Finite fields are perfect and irreducible polynomials are separable; the count of monic irreducibles satisfies I_e(q) >= q^e/(2e).
- domain assumption For the higher-jet results, characteristic satisfies char(F_q) > m so divided Hasse derivatives up to order m are defined.
Cite this review
Pith. "Pith review of Frobenius-orbit slicing and uniform elimination of positive-dimensional singular loci." pith.science (2026). https://pith.science/paper/3EKCTOEK
@misc{pith2026260806273,
author = {Pith},
title = {Pith review of: Frobenius-orbit slicing and uniform elimination of positive-dimensional singular loci},
year = {2026},
howpublished = {\url{https://pith.science/paper/3EKCTOEK}},
note = {Machine review of arXiv:2608.06273}
}
abstract
Let $\cX\subseteq\Pj^n_{\Z}$ be a fixed integral quasiprojective subscheme, smooth over $\Z$ of relative dimension $r$. For each fixed $m\ge1$, we bound the probability that the $m$th principal-parts jet of the restriction of a uniform degree-$d$ form to $\cX_p$ has a positive-dimensional zero scheme. The bound is $C(d+1)^{N_m}p^{-\lambda_m(d)}$, where $N_m=\binom{r+m}{m}$ and $\lambda_m(d)=\floor{m(d+1)/(m+1)}$. For $m=1$, this gives the Bertini singular-locus estimate $C(d+1)^{r+1}p^{-\ceil{d/2}}$. It settles Poonen's arithmetic Bertini Conjecture~5.2 and, after increasing the degree threshold, yields $p^{-A}$ for every fixed $A>0$. For $c\le r$ independent hypersurfaces, the probability of a positive-dimensional Jacobian rank-degeneracy locus is bounded both by $C\sum_i(d_i+1)^{r+1}p^{-\ceil{d_i/2}}$ and by $C'(d_{\min}+1)^{r+1}p^{-\ceil{d_{\min}/2}}$. The proof uses filtered $Q$-adic decompositions, triangular normal Taylor blocks, and Jacobian-pivot charts of uniformly controlled complexity.
Reference graph
Works this paper leans on
-
[23]
Hyperplane anti-Bertini embeddings over finite fields
Y. Zhang and Y. Yang,Hyperplane anti-Bertini embeddings over finite fields, arXiv preprint arXiv:2606.23513 (2026). Yutong Zhang and Yaoran Yang:Preprint submitted to ElsevierPage 23 of 23
work page Pith review arXiv 2026
-
[1]
Bertini theorems for Hilbert-Samuel multiplicity over finite fields
R. Ajit and M. Bertucci,Bertini theorems for Hilbert–Samuel multiplicity over finite fields, arXiv preprint arXiv:2606.09693 (2026)
work page Pith review arXiv 2026
-
[2]
Hypersurfaces passing through the Galois orbit of a point
S. Asgarli, J. Love, and C. H. Yip,Hypersurfaces passing through the Galois orbit of a point, arXiv preprint arXiv:2501.01906v2 (2026; first posted 2025)
work page Pith review arXiv 2026
-
[3]
Bertucci,Taylor conditions over finite fields, arXiv preprint arXiv:2412.08744v3 (2026)
M. Bertucci,Taylor conditions over finite fields, arXiv preprint arXiv:2412.08744v3 (2026)
arXiv 2026
-
[4]
M. Bilu and S. Howe,Motivic Euler products in motivic statistics, Algebra Number Theory15(2021), no. 9, 2195–2259. doi:10.2140/ant.2021.15.2195
-
[5]
A. Bucur and K. S. Kedlaya,The probability that a complete intersection is smooth, J. Théor. Nombres Bordeaux24(2012), no. 3, 541–556. doi:10.5802/jtnb.810
-
[6]
F. Charles and B. Poonen,Bertini irreducibility theorems over finite fields, J. Amer. Math. Soc.29(2016), no. 1, 81–94. doi:10.1090/S0894- 0347-2014-00820-1; erratum, J. Amer. Math. Soc.32(2019), 605–607
doi:10.1090/s0894- 2016
-
[7]
D. Erman and M. Matchett Wood,Semiample Bertini theorems over finite fields, Duke Math. J.164(2015), no. 1, 1–38. doi:10.1215/00127094- 2838327
Show all 23 references
-
[8]
Grothendieck and J
A. Grothendieck and J. Dieudonné,Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas, Publ. Math. Inst. Hautes Études Sci. nos. 20, 24, 28, 32 (1964–1967)
1964
-
[9]
Gunther,Random hypersurfaces and embedding curves in surfaces over finite fields, J
J. Gunther,Random hypersurfaces and embedding curves in surfaces over finite fields, J. Pure Appl. Algebra221(2017), no. 1, 89–97. doi:10.1016/j.jpaa.2016.05.027. Yutong Zhang and Yaoran Yang:Preprint submitted to ElsevierPage 22 of 23 Frobenius-orbit slicing
2017 doi
-
[10]
Kmentt and A
P. Kmentt and A. Shute,The Bertini irreducibility theorem for higher codimensional slices, Finite Fields Appl.83(2022), Paper No. 102085. doi:10.1016/j.ffa.2022.102085
2022
-
[11]
Lidl and H
R. Lidl and H. Niederreiter,Finite Fields, 2nd ed., Encyclopedia Math. Appl., vol. 20, Cambridge Univ. Press, Cambridge, 1997. doi:10.1017/CBO9780511525926
1997 doi
-
[12]
Lindner,Hypersurfaces with defect, J
N. Lindner,Hypersurfaces with defect, J. Algebra555(2020), 1–35. doi:10.1016/j.jalgebra.2020.02.022
2020 doi
-
[13]
Poonen,Bertini theorems over finite fields, Ann
B. Poonen,Bertini theorems over finite fields, Ann. of Math. (2)160(2004), no. 3, 1099–1127. doi:10.4007/annals.2004.160.1099
2004 doi
-
[14]
Poonen,Sieve methods for varieties over finite fields and arithmetic schemes, J
B. Poonen,Sieve methods for varieties over finite fields and arithmetic schemes, J. Théor. Nombres Bordeaux19(2007), no. 1, 221–229. doi:10.5802/jtnb.583
2007 doi
-
[15]
Poonen,Smooth hypersurface sections containing a given subscheme over a finite field, Math
B. Poonen,Smooth hypersurface sections containing a given subscheme over a finite field, Math. Res. Lett.15(2008), no. 2, 265–271. doi:10.4310/MRL.2008.v15.n2.a5
2008 doi
-
[16]
Poonen and K
B. Poonen and K. Slavov,The exceptional locus in the Bertini irreducibility theorem for a morphism, Int. Math. Res. Not. IMRN2022(2022), no. 6, 4503–4513. doi:10.1093/imrn/rnaa182
2022 doi
-
[17]
Poonen and M
B. Poonen and M. Stoll,The valuation of the discriminant of a hypersurface, arXiv preprint arXiv:2510.14434 (2025)
2025
-
[18]
Slavov,The moduli space of hypersurfaces whose singular locus has high dimension, Math
K. Slavov,The moduli space of hypersurfaces whose singular locus has high dimension, Math. Z.279(2015), no. 1–2, 139–162. doi:10.1007/s00209-014-1360-0
2015 doi
-
[19]
The Stacks Project Authors,Stacks Project, 2026.https://stacks.math.columbia.edu
2026
-
[20]
D.Tseng,Collectionsofhypersurfacescontainingacurve,Int.Math.Res.Not.IMRN2020(2020),no.13,3927–3977.doi:10.1093/imrn/rny120
2020 doi
-
[21]
Wang,On the Bertini regularity theorem for arithmetic varieties, J
X. Wang,On the Bertini regularity theorem for arithmetic varieties, J. Éc. polytech. Math.9(2022), 601–670. doi:10.5802/jep.191
2022 doi
-
[22]
Wutz,Bertini theorems for hypersurface sections containing a subscheme over finite fields, Ph.D
F. Wutz,Bertini theorems for hypersurface sections containing a subscheme over finite fields, Ph.D. thesis, Universität Regensburg, 2015; arXiv:1611.09092
2015 arXiv
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.