2025/09/30 by Lance Edward Miller, Miller, Lance Edward, Jackson S. Morrow +1
Computer Science · Mathematics · #Advanced Topology and Set Theory #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Computational Geometry and Mesh Generation #FOS: Mathematics #Number Theory (math.NT)
paper · pdf · doi:10.48550/arxiv.2510.00336
openalex publication_date 2025/09/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this work, we prove a quantitative version of the prime-to-p Manin--Mumford conjecture for varieties with ample cotangent bundle. More precisely, let A be an abelian variety defined over a number field F, and let X be a smooth projective subvariety of A with ample cotangent bundle. We prove that for every prime p≫ 0, the intersection of X(Falg) and the geometric prime-to-p torsion of A is finite and explicitly bounded by a summation involving cycle classes in the Chow ring of the reduction of X modulo p. This result is a higher dimensional analogue of Buium's quantitative Manin--Mumford for curves. Our proof follows a similar outline to Buium's in that it heavily relies on his theory of arithmetic jet spaces. In this context, we prove that the special fiber of the arithmetic jet space associated to a model of X is affine as a scheme over \mathbbFpalg. As an application of our results, we use a result of Debarre to prove that when X is ℚalg-isomorphic to a complete intersection of c > dim(A)/2 many general hypersurfaces of Aℚalg of sufficiently large degree, the intersection of X(Falg) and the geometric prime-to-p torsion of A is bounded by a polynomial that depends only on p, the dimension of the ambient abelian variety, and intersection numbers of certain products of the hypersurfaces.