English

Frobenius-orbit slicing and uniform elimination of positive-dimensional singular loci

Algebraic Geometry 2026-08-06 v1

Abstract

Let \cX\PjZn\cX\subseteq\Pj^n_{\Z} be a fixed integral quasiprojective subscheme, smooth over Z\Z of relative dimension rr. For each fixed m1m\ge1, we bound the probability that the mmth principal-parts jet of the restriction of a uniform degree-dd form to \cXp\cX_p has a positive-dimensional zero scheme. The bound is C(d+1)Nmpλm(d)C(d+1)^{N_m}p^{-\lambda_m(d)}, where Nm=(r+mm)N_m=\binom{r+m}{m} and λm(d)=\floorm(d+1)/(m+1)\lambda_m(d)=\floor{m(d+1)/(m+1)}. For m=1m=1, this gives the Bertini singular-locus estimate C(d+1)r+1p\ceild/2C(d+1)^{r+1}p^{-\ceil{d/2}}. It settles Poonen's arithmetic Bertini Conjecture~5.2 and, after increasing the degree threshold, yields pAp^{-A} for every fixed A>0A>0. For crc\le r independent hypersurfaces, the probability of a positive-dimensional Jacobian rank-degeneracy locus is bounded both by Ci(di+1)r+1p\ceildi/2C\sum_i(d_i+1)^{r+1}p^{-\ceil{d_i/2}} and by C(dmin+1)r+1p\ceildmin/2C'(d_{\min}+1)^{r+1}p^{-\ceil{d_{\min}/2}}. The proof uses filtered QQ-adic decompositions, triangular normal Taylor blocks, and Jacobian-pivot charts of uniformly controlled complexity.

Keywords

Cite

@article{arxiv.2608.06273,
  title  = {Frobenius-orbit slicing and uniform elimination of positive-dimensional singular loci},
  author = {Yutong Zhang and Yaoran Yang},
  journal= {arXiv preprint arXiv:2608.06273},
  year   = {2026}
}