In a paper of Tate and the author, we conjectured a uniform bound for the p-adic distance of torsion points on a semiabelian variety, not lying in a subvariety, to that subvariety. We survey the progress made on that conjecture and on similar statements in analogous situations.
- Paper ID: 2510.08786
- Title: The p-adic distance of special points to subvarieties
- Author: José Felipe Voloch
- Classification: math.NT (Number Theory), math.AG (Algebraic Geometry)
- Publication Date: October 9, 2025
- Paper Link: https://arxiv.org/abs/2510.08786v1
In a paper by Tate and the author, they conjectured that there exists a uniform bound on the p-adic distance from torsion points not lying in a subvariety to that subvariety on semiabelian varieties. This paper surveys the progress on this conjecture and related results in analogous situations.
The core problem studied in this paper is the Tate-Voloch conjecture: For torsion points on semiabelian varieties, if they do not lie in a certain subvariety, does there exist a uniform lower bound on their p-adic distance to that subvariety?
- Distribution theory of special points: The distribution of special points (such as torsion points, preperiodic points, CM points) in algebraic varieties is a central problem in arithmetic geometry
- Connection to Manin-Mumford type problems: Although strictly speaking Manin-Mumford type problems are unrelated to p-adic approximation problems, results in both areas often complement each other
- Unified theoretical framework: This research provides a unified perspective for understanding special points in different geometric contexts
- The author and Tate initially proved the toric case by reducing the problem to statements about roots of unity
- Subsequently, a series of partial results and complete proofs emerged
- Similar results have been extended to Siegel modular spaces, algebraic dynamical systems, and other fields
- Comprehensive survey: Systematically reviews the research progress on the Tate-Voloch conjecture and its variants
- Unified methodology: Provides a unified approach for handling different cases based on the roots of unity paradigm
- New directions of extension: Demonstrates applications of this theory to Siegel modular spaces and algebraic dynamical systems
- Summary of technical innovations: Synthesizes the application of new techniques such as perfectoid space theory in this field
For a variety X and subvariety Y over a field K, the distance to the subvariety is defined as follows:
Let X, Y be models of X, Y over the integer ring R. For 0 < ε ≤ 1, define:
- M_ε = {x ∈ K | |x| < ε}
- R_ε = R/M_ε
- X_ε, Y_ε are the base changes of X, Y to R_ε respectively
The distance is then defined as:
d(P,Y)=inf{ϵ>0∣Pϵ∈Yϵ}
If Y is locally given by the zero locus of functions f_j, then:
d(P,Y)=c(P)max{∣fj(P)∣}
where c(P) has positive upper and lower bounds.
Theorem 3.1 (Tate-Voloch): If a_1,...,a_n ∈ K, there exists c > 0 such that for any roots of unity ζ_1,...,ζ_n ∈ K, either ∑a_iζ_i = 0 or |∑a_iζ_i| ≥ c.
This result can be generalized to:
- Power series case (Neira): For power series convergent on the closed unit polydisc
- p-power roots of unity case (Monsky-Serban): Special treatment for roots of unity of p-power order
Conjecture 4.1 (Tate-Voloch Conjecture): Let A/K be a semiabelian variety and X a closed subvariety. There exists c > 0 such that for any torsion point P ∈ A(K), either P ∈ X or d(P,X) ≥ c.
- Toric case: Tate-Voloch proved the case K = C_p through results on roots of unity
- General case:
- Partial results by Buium and the author
- Complete proof by Scanlon when K = Q̄_p
- Another proof by Corpet
Theorem 5.1 (Qiu): Let A/Q̄_p be a product of Siegel modular spaces with arbitrary level structure, and X a closed subvariety. There exists c > 0 such that for any ordinary CM point P ∈ A(K), either P ∈ X or d(P,X) ≥ c.
Key techniques:
- Application of perfectoid space theory
- Analysis of Serre-Tate parameters
- Restriction to CM points with ordinary reduction
Theorem 6.1 (Peng): Let F be a lift of the p-th power map (i.e., Fi = G_i^p in some R/M_ε), viewed as a map F: A^n(C_p) → A^n(C_p), and X a closed subvariety of A^n. There exists c > 0 such that for any periodic point P of F, either P ∈ X or d(P,X) ≥ c.
- First introduced by Xie in the context of Frobenius lifts
- Systematic application by Qiu in Siegel modular spaces
- Generalization by Peng to dynamical systems
- Reduces geometric problems to number-theoretic problems
- Provides a unified treatment framework
- Proves effective in different contexts
- Effective use of good reduction properties
- Efficient application of Serre-Tate parameters
- Application of model theory in p-adic geometry
- Manin-Mumford conjecture: The Zariski closure of special point sets is a special subvariety
- p-adic approximation theory: Developed from classical Diophantine approximation
- Arithmetic dynamical systems: Distribution of preperiodic points
- Connection to the abc conjecture (Masser's counterexample)
- Relationship to Hurwitz inequality
- Connection to integral points theory
- The Tate-Voloch conjecture has been resolved in multiple cases
- A general method for handling similar problems has been established
- Deep connections between problems in different fields have been discovered
- Characteristic restriction: The case of equal characteristic p > 0 still requires new techniques
- Field restrictions: Some results hold only for specific p-adic fields
- Reduction conditions: Some results require good or ordinary reduction
- More general Shimura varieties: Generalization to Hodge-type Shimura varieties
- Equal characteristic case: Requires new techniques for treatment
- Global theory: Global versions over number fields
- p-adic periods: New methods for handling p-power torsion
- Theoretical depth: Connects multiple fields including algebraic geometry, number theory, and dynamical systems
- Unified methodology: The roots of unity paradigm provides a unified treatment framework
- Technical innovation: Effective application of modern tools such as perfectoid space theory
- Comprehensive survey: Systematically traces the development trajectory of this field
- High technical threshold: Requires deep background in arithmetic geometry
- Limited scope of application: Some results have relatively restrictive applicability conditions
- Computational complexity: Insufficient discussion of effectiveness in practical computation
- Theoretical contribution: Provides new research directions for p-adic geometry
- Methodological value: The roots of unity method has broad applicability
- Cross-disciplinary connection: Strengthens connections between different mathematical branches
- Distribution problems of special points in arithmetic geometry
- Research on p-adic dynamical systems
- Diophantine problems on moduli spaces
- Uniformity problems in number theory
The paper includes 20 important references, covering various aspects from classical Manin-Mumford theory to modern perfectoid space theory, providing readers with comprehensive background material.
This survey paper provides valuable guidance for understanding the distribution of special points in p-adic geometry. It not only summarizes existing results but, more importantly, demonstrates future research directions and potential opportunities in this field.