Frobenius-orbit slicing and uniform elimination of positive-dimensional singular loci
Algebraic Geometry
2026-08-06 v1
Abstract
Let be a fixed integral quasiprojective subscheme, smooth over of relative dimension . For each fixed , we bound the probability that the th principal-parts jet of the restriction of a uniform degree- form to has a positive-dimensional zero scheme. The bound is , where and . For , this gives the Bertini singular-locus estimate . It settles Poonen's arithmetic Bertini Conjecture~5.2 and, after increasing the degree threshold, yields for every fixed . For independent hypersurfaces, the probability of a positive-dimensional Jacobian rank-degeneracy locus is bounded both by and by . The proof uses filtered -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}
}