zbMATH — the first resource for mathematics

The number of maximal torsion cosets in subvarieties of tori. (English) Zbl 1427.14051
It is known that if \(V\) is a subvariety of \(\mathbb{G}^n\) then the closure of the set of torsion points of \(\mathbb{G}^n\) contained in \(V\) is a union of torsion cosets: that is, translates of subtori by a torsion point.
It then becomes a question to bound the number of such components, in terms of \(n\) and the degrees of the polynomials defining \(V\). It is of course not a priori clear that such bounds should exist, but this, too, is known.
The history of conjecture and partial results is complicated but two particular conjectures, both concerning hypersurfaces, are proved here. The first, by Ruppert, predicts that if \(f\in\mathbb{C}[x_1,\ldots,x_n]\) is of multidegree \((d_1,\ldots,d_n)\) then the number of isolated torsion points on the subvariety of \(\mathbb{G}_m^n\) that it defines is at most \(c_nd_1\ldots d_n\), where \(c_n\) is a constant depending only on \(n\). The second, by Aliev and Smyth, replaces the product of the degrees with the volume of the Newton polytope of \(f\).
In fact the present paper proves more than that, and also provides results for varieties of any dimension. It is shown that if \(V\subset\mathbb{G}_m^n\) is of dimension \(d\) and defined by polynomials of degree at most \(\delta\) then the number of maximal torsion cosets is bounded by \[ \sum_{j=0}^d ((2n-1)(n-1)(2^{2n}+2^{n+1}-2))^{d(n-j)}\delta^{n-j} \] (and in fact these terms are bounds for the degree in each codimension).
Using an old theorem of F. John [in: Studies Essays. 187–204 (1948; Zbl 0034.10503)] the author is then able to show that if \(f\in\overline{\mathbb{Q}}[x_1,\ldots,x_n]\) and \(\Delta\subset \mathbb{R}^n\) is a convex body containing the support of \(f\), then the number of isolated points on the hypersurface in \(\mathbb{G}^n_m\) defined by \(f\) is bounded by \[ ((2n-1)(n-1)(2^{2n}+2^{n+1}-2))^{n(n-1)}2^nn^{2n}\omega_n^{-1}{\operatorname{vol}}_n(\Delta), \] where \(\omega_n\) is the volume of the unit ball. This proves both the conjecture of Ruppert, by taking \(\Delta=[0,d_1]\times\dots\times[0,d_n]\), and the conjecture of Aliev and Smyth, by taking \(\Delta\) to be the Newton polytope of \(f\).
The method of proof is ingenious: no part of it is completely novel in isolation but it combines many previous approaches in a highly inventive way. Using (but generalising) an idea of F. Beukers and C. J. Smyth [in: Number theory for the millennium I. Proceedings of the millennial conference on number theory, Urbana-Champaign, IL, USA, May 21–26, 2000. Natick, MA: A K Peters. 67–85 (2002; Zbl 1029.11009)] \(V\) is replaced by a more convenient variety \(V'\) which is in turn replaced by a hypersurface, using bounds on Hilbert functions due to Chardin in a way similar to what is done by F. Amoroso and E. Viada [Duke Math. J. 150, No. 3, 407–442 (2009; Zbl 1234.11081)]. Then John’s result is used to present the bounds in a concrete form.
14G05 Rational points
11G35 Varieties over global fields
11G50 Heights
14M25 Toric varieties, Newton polyhedra, Okounkov bodies
12E12 Equations in general fields
14G25 Global ground fields in algebraic geometry
52A20 Convex sets in \(n\) dimensions (including convex hypersurfaces)
Full Text: DOI arXiv
[1] I. Aliev and C. Smyth, Solving algebraic equations in roots of unity, Forum Math. 24 (2012), no. 3, 641-665. · Zbl 1297.11068
[2] F. Amoroso and E. Viada, Small points on subvarieties of a torus, Duke Math. J. 150 (2009), no. 3, 407-442. · Zbl 1234.11081
[3] F. Amoroso and E. Viada, Small points on rational subvarieties of tori, Comment. Math. Helv. 87 (2012), no. 2, 355-383. · Zbl 1348.11054
[4] F. Beukers and C. J. Smyth, Cyclotomic points on curves, Number theory for the millennium I (Urbana 2000), A K Peters, Natick (2002), 67-85. · Zbl 1029.11009
[5] E. Bombieri and W. Gubler, Heights in Diophantine geometry, New Math. Monogr. 4, Cambridge University Press, Cambridge 2006. · Zbl 1115.11034
[6] E. Bombieri and U. Zannier, Algebraic points on subvarieties of \(\mathbf{G}^n_m,\) Int. Math. Res. Not. IMRN 1995 (1995), no. 7, 333-347. · Zbl 0848.11030
[7] M. Chardin, Une majoration de la fonction de Hilbert et ses conséquences pour l’interpolation algébrique, Bull. Soc. Math. France 117 (1989), no. 3, 305-318. · Zbl 0709.13007
[8] M. Chardin and P. Philippon, Régularité et interpolation, J. Algebraic Geom. 8 (1999), no. 3, 471-481. · Zbl 0962.13014
[9] J. H. Conway and A. J. Jones, Trigonometric Diophantine equations (On vanishing sums of roots of unity), Acta Arith. 30 (1976), no. 3, 229-240. · Zbl 0349.10014
[10] J.-H. Evertse, The number of solutions of linear equations in roots of unity, Acta Arith. 89 (1999), no. 1, 45-51. · Zbl 0974.11012
[11] M. Hindry, Autour d’une conjecture de Serge Lang, Invent. Math. 94 (1988), no. 3, 575-603. · Zbl 0638.14026
[12] F. John, Extremum problems with inequalities as subsidiary conditions, Studies and essays presented to R. Courant on his 60th birthday, Interscience Publishers, New York (1948), 187-204.
[13] S. Lang, Fundamentals of Diophantine geometry, Springer, New York 1983. · Zbl 0528.14013
[14] M. Laurent, Équations diophantiennes exponentielles, Invent. Math. 78 (1984), no. 2, 299-327. · Zbl 0554.10009
[15] L. Leroux, Computing the torsion points of a variety defined by lacunary polynomials, Math. Comp. 81 (2012), no. 279, 1587-1607. · Zbl 1263.11115
[16] W. A. A. Narkiewicz, Elementary and analytic theory of algebraic numbers, 3rd ed., Springer Monogr. Math., Springer, Berlin 2004.
[17] P. Philippon, Sur des hauteurs alternatives. III, J. Math. Pures Appl. (9) 74 (1995), no. 4, 345-365. · Zbl 0878.11025
[18] W. M. Ruppert, Solving algebraic equations in roots of unity, J. reine angew. Math. 435 (1993), 119-156. · Zbl 0763.14008
[19] H. P. Schlickewei, Equations in roots of unity, Acta Arith. 76 (1996), no. 2, 99-108. · Zbl 0857.11015
[20] W. M. Schmidt, Heights of points on subvarieties of \(\mathbf{G}}^n_m,\) Number theory (Paris 1993-1994), London Math. Soc. Lecture Note Ser. 235, Cambridge University Press, Cambridge (1996), 157-187.
[21] S. Zhang, Positive line bundles on arithmetic varieties, J. Amer. Math. Soc. 8 (1995), no. 1, 187-221. · Zbl 0861.14018
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.