## Intersecting subvarieties of abelian varieties with algebraic subgroups of complementary dimension.(English)Zbl 1176.14008

Consider first an irreducible closed subvariety $$X$$ of a semiabelian variety $$S$$ over $${\mathbb C}$$, and remove from it all translated subgroups of $$S$$ that have large intersection with $$X$$. The assertion in this paper is that if $$S=A$$ is an abelian variety, and if $$A$$ and $$X$$ are both defined over $$\overline{\mathbb Q}$$, then the Néron-Tate height is bounded on $$\overline{\mathbb Q}$$-points that survive this process and are in a suitable sense close to a subgroup of small dimension.
Here is a more precise statement. Let $$n=\dim S$$, and for $$s\in{\mathbb N}$$, define $$X^{{\text{oa,}[s]}}$$ to be the complement of every subvariety $$Y\subset X$$ of positive dimension such that $$Y$$ is after translation also a subvariety of codimension $$<n-s$$ in an algebraic subgroup of $$S$$. On an abelian variety $$A$$, with $$A$$ and $$X$$ both defined over $${\overline{\mathbb Q}}$$, let $$\hat h$$ denote the Néron-Tate height (with respect to some symmetric ample line bundle) and for $$\Sigma\subset A({\mathbb C})$$ and $$\epsilon>0$$, put ${\mathcal C}(\sigma,\epsilon)=\{a+b\mid a,\;b\in A({\overline{\mathbb Q}}), \;a\in\Sigma,\;\hat h(b)\leq\epsilon(1+\hat h(a))\}.$ For $$s\in{\mathbb N}$$, denote by $$A^{[s]}$$ the union of all algebraic subgroups of $$A$$ of codimension at least  $$s$$. Then the result is that for some $$\epsilon>0$$ the height is bounded above on $$X^{{\text{oa,}}[s]}\cap {\mathcal C}(A^{[s]},\epsilon)$$.
This result is the analogue for abelian varieties over $$\overline{\mathbb Q}$$ of the bounded height conjecture of Bombieri, Masser and Zannier for $${\mathbb G}_m^n$$. If $$A$$ has complex multiplication there are some illuminating corollaries. Firstly, $$X^{{\text{oa,}}[s]}({\overline{\mathbb Q}})\cap A^{[1+s]}$$ is finite. If, furthermore, any surjective homomorphism $$\phi: A\to B$$ to an abelian variety has $$\phi(X)$$ as big as possible, i.e. $$\dim \phi(X)=\min(\dim X, \dim B)$$, then $$X^{{\text{oa,}}[\dim X]}\neq \emptyset$$ and $$X({\mathbb Q})\cap A^{[1+\dim X]}$$ is not Zariski dense in $$X$$.
This last statement is a part of the following conjecture: if $$X$$ is an irreducible subvariety of a semiabelian variety $$S$$ (both defined over $${\mathbb C}$$), not contained in a proper subgroup of $$S$$, then $$X({\mathbb C})\cap S^{[1+\dim X]}$$ is not Zariski dense in $$X$$. That would follow from a conjecture of Pink and would imply the Mordell-Lang conjecture: it would also follow from another conjecture of Zilber.
The proof is complicated. It depends on bounding the height of $$\psi(p)$$ for $$p\in X^{{\text{oa,}}[s]}$$ and suitable $$\psi: A\to B$$, and doing so in a rather precise way. Other essential ingredients are a result of Ax bounding the dimensions of the subgroups of $$A$$ generated by certain subsets, and generalities about abelian varieties such as the theorem of the cube. Because the latter uses completeness in an essential way, a proof for semiabelian varieties would have to be significantly different.

### MSC:

 14K15 Arithmetic ground fields for abelian varieties 11G50 Heights 14G40 Arithmetic varieties and schemes; Arakelov theory; heights 14J20 Arithmetic ground fields for surfaces or higher-dimensional varieties

### Keywords:

abelian variety; height; Diophantine approximation
Full Text:

### References:

  Ax, J.: Some topics in differential algebraic geometry I: Analytic subgroups of algebraic groups. Am. J. Math. 94, 1195–1204 (1972) · Zbl 0258.14014  Bombieri, E., Gubler, W.: Heights in Diophantine Geometry. Cambridge University Press, Cambridge (2006) · Zbl 1115.11034  Bombieri, E., Masser, D., Zannier, U.: Intersecting a curve with algebraic subgroups of multiplicative groups. Int. Math. Res. Not. 20, 1119–1140 (1999) · Zbl 0938.11031  Bombieri, E., Masser, D., Zannier, U.: Anomalous subvarieties – structure theorems and applications. Int. Math. Res. Not. 19, 1–33 (2007) · Zbl 1145.11049  Bombieri, E., Masser, D., Zannier, U.: Intersecting a plane with algebraic subgroups of multiplicative groups. Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) 7, 51–80 (2008) · Zbl 1150.11022  Bombieri, E., Masser, D., Zannier, U.: On unlikely intersections of complex varieties with tori. Acta Arith. (to appear) · Zbl 1162.11031  Carrizosa, M.: Problème de Lehmer et variétés abéliennes CM. C. R. Acad. Sci., Paris, Sér. I (2008). Doi:10.1016/j.crma.2008.10.004  Carrizosa, M.: Problème de Lehmer relatif pour les variétés abéliennes CM. Ph.D. thesis, Université Paris 6 (2008)  Cassels, J.W.S.: An Introduction to Diophantine Approximation. Cambridge University Press, Cambridge (1965) · Zbl 0131.29003  Danilov, V.I.: Algebraic varieties and schemes. In: Shafarevich, I.R. (ed.) Algebraic Geometry I, Encycl. Math. Sci., vol. 23. Springer, Berlin (1994)  Fulton, W.: Intersection Theory. Springer, Berlin (1984) · Zbl 0541.14005  Grauert, H., Remmert, R.: Coherent Analytic Sheaves. Springer, Berlin (1984) · Zbl 0537.32001  Habegger, P.: On the bounded height conjecture. Int. Math. Res. Not. (to appear) · Zbl 1239.11070  Lang, S.: Fundamentals of Differential Geometry. Springer, New York (2001) · Zbl 0995.53001  Lazarsfeld, R.: Positivity in Algebraic Geometry I. Springer, Berlin (2004) · Zbl 1066.14021  Mumford, D.: Abelian Varieties. Oxford University Press, London (1970) · Zbl 0223.14022  Pink, R.: A common generalization of the conjectures of André–Oort, Manin–Mumford, and Mordell–Lang. Preprint  Ratazzi, N.: Intersection de courbes et de sous-groupes et problèmes de minoration de hauteur dans les variétés abéliennes C.M. Ann. Inst. Fourier 58(5), 1575–1633 (2008) · Zbl 1156.11025  Rémond, G.: Intersection de sous-groupes et de sous-variétés I. Math. Ann. 333, 525–548 (2005) · Zbl 1088.11047  Rémond, G.: Intersection de sous-groupes et de sous-variétés II. J. Inst. Math. Jussieu 6(2), 317–348 (2007) · Zbl 1170.11014  Rémond, G.: Intersection de sous-groupes et de sous-variétés III. Comment. Math. Helv. (to appear) · Zbl 1227.11078  Schinzel, A.: Polynomials with Special Regard to Reducibility. With an Appendix by Umberto Zannier. Encycl. Math. Appl., vol. 77. Cambridge University Press, Cambridge (2000) · Zbl 0956.12001  Viada, E.: The intersection of a curve with algebraic subgroups in a product of elliptic curves. Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) 2, 47–75 (2003) · Zbl 1170.11314  Weyl, H.: The Classical Groups. Their Invariants and Representations. Princeton University Press, Princeton, NJ (1973) · JFM 65.0058.02  Whitney, H.: Complex Analytic Varieties. Addison-Wesley, Reading, MA (1972) · Zbl 0265.32008  Zannier, U.: Appendix by Umberto Zannier in , pp. 517–539 (2000)  Zilber, B.: Exponential sums equations and the Schanuel conjecture. J. Lond. Math. Soc., II. Ser. 65(1), 27–44 (2002) · Zbl 1030.11073
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.