## 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:

 [1] Ax, J.: Some topics in differential algebraic geometry I: Analytic subgroups of algebraic groups. Am. J. Math. 94, 1195–1204 (1972) · Zbl 0258.14014 · doi:10.2307/2373569 [2] Bombieri, E., Gubler, W.: Heights in Diophantine Geometry. Cambridge University Press, Cambridge (2006) · Zbl 1115.11034 [3] 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 · doi:10.1155/S1073792899000628 [4] Bombieri, E., Masser, D., Zannier, U.: Anomalous subvarieties – structure theorems and applications. Int. Math. Res. Not. 19, 1–33 (2007) · Zbl 1145.11049 [5] 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 [6] Bombieri, E., Masser, D., Zannier, U.: On unlikely intersections of complex varieties with tori. Acta Arith. (to appear) · Zbl 1162.11031 [7] 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 [8] Carrizosa, M.: Problème de Lehmer relatif pour les variétés abéliennes CM. Ph.D. thesis, Université Paris 6 (2008) [9] Cassels, J.W.S.: An Introduction to Diophantine Approximation. Cambridge University Press, Cambridge (1965) · Zbl 0131.29003 [10] Danilov, V.I.: Algebraic varieties and schemes. In: Shafarevich, I.R. (ed.) Algebraic Geometry I, Encycl. Math. Sci., vol. 23. Springer, Berlin (1994) [11] Fulton, W.: Intersection Theory. Springer, Berlin (1984) · Zbl 0541.14005 [12] Grauert, H., Remmert, R.: Coherent Analytic Sheaves. Springer, Berlin (1984) · Zbl 0537.32001 [13] Habegger, P.: On the bounded height conjecture. Int. Math. Res. Not. (to appear) · Zbl 1239.11070 [14] Lang, S.: Fundamentals of Differential Geometry. Springer, New York (2001) · Zbl 0995.53001 [15] Lazarsfeld, R.: Positivity in Algebraic Geometry I. Springer, Berlin (2004) · Zbl 1066.14021 [16] Mumford, D.: Abelian Varieties. Oxford University Press, London (1970) · Zbl 0223.14022 [17] Pink, R.: A common generalization of the conjectures of André–Oort, Manin–Mumford, and Mordell–Lang. Preprint [18] 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 [19] Rémond, G.: Intersection de sous-groupes et de sous-variétés I. Math. Ann. 333, 525–548 (2005) · Zbl 1088.11047 · doi:10.1007/s00208-005-0673-z [20] 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 · doi:10.1017/S1474748006000107 [21] Rémond, G.: Intersection de sous-groupes et de sous-variétés III. Comment. Math. Helv. (to appear) · Zbl 1227.11078 [22] 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 [23] 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 [24] Weyl, H.: The Classical Groups. Their Invariants and Representations. Princeton University Press, Princeton, NJ (1973) · JFM 65.0058.02 [25] Whitney, H.: Complex Analytic Varieties. Addison-Wesley, Reading, MA (1972) · Zbl 0265.32008 [26] Zannier, U.: Appendix by Umberto Zannier in [22], pp. 517–539 (2000) [27] Zilber, B.: Exponential sums equations and the Schanuel conjecture. J. Lond. Math. Soc., II. Ser. 65(1), 27–44 (2002) · Zbl 1030.11073 · doi:10.1112/S0024610701002861
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.