Independence of CM points in elliptic curves. (English) Zbl 1502.11068

Pila, Jonathan; Tsimerman, Jacob

J. Eur. Math. Soc. (JEMS) 24, No. 9, 3161-3182 (2022).

Let \(Y\) be a modular or Shimura curve, \(E\) an elliptic curve over \(\mathbb C\), \(V \subset Y \times E\) an irreducible correspondence, and \(n\) a positive integer. A point \(x \in E\) is called a \(V\)-image of \(s \in Y\) if \((s, x) \in V\). The main result of this paper describes all linear dependencies over \(\text{End} (E)\) of the \(V\)-images of \(n\) special points in \(Y\). The relationship between this result and various other results (and conjectures) in the literature are discussed in detail. These include, among others, the conjectures of [B. Zilber, J. Lond. Math. Soc., II. Ser. 65, No. 1, 27–44 (2002; Zbl 1030.11073) and [R. Pink, Prog. Math. 235, 251–282 (2005; Zbl 1200.11041)], and the results of [A. Buium and B. Poonen, Duke Math. J. 147, No. 1, 181–191 (2009; Zbl 1177.11050); M. Rosen and J. H. Silverman, J. Number Theory 127, No. 1, 10–36 (2007; Zbl 1151.11024); L. Kühne, Acta Arith. 198, No. 2, 109–127 (2021; Zbl 1509.11052)].

Reviewer: Salman Abdulali (Greenville)

MSC:

11G18	Arithmetic aspects of modular and Shimura varieties
11G05	Elliptic curves over global fields
03C64	Model theory of ordered structures; o-minimality
14G35	Modular and Shimura varieties

Keywords:

unlikely intersection; Zilber-Pink conjecture; Heegner point

Citations:

Zbl 1030.11073; Zbl 1200.11041; Zbl 1177.11050; Zbl 1151.11024; Zbl 1509.11052

References:

[1]	Baldi, G.: On a conjecture of Buium and Poonen. Ann. Inst. Fourier (Grenoble) 70, 457-477 (2020) Zbl 1450.11059 MR 4105944 · Zbl 1450.11059
[2]	Barroero, F.: CM relations in fibered powers of elliptic families. J. Inst. Math. Jussieu 18, 941-956 (2019) Zbl 1455.11080 MR 3995717 · Zbl 1455.11080
[3]	Bombieri, E., Masser, D., Zannier, U.: Anomalous subvarieties-structure theorems and applications. Int. Math. Res. Notices 2007, art. rnm057, 33 pp. Zbl 1145.11049 MR 2359537 · Zbl 1145.11049
[4]	Bruin, P.: Bornes optimales pour la différence entre la hauteur de Weil et la hauteur de Néron-Tate sur les courbes elliptiques sur Q. Acta Arith. 160, 385-397 (2013) Zbl 1287.11083 MR 3119786 · Zbl 1287.11083
[5]	Buium, A., Poonen, B.: Independence of points on elliptic curves arising from special points on modular and Shimura curves. I. Global results. Duke Math. J. 147, 181-191 (2009) Zbl 1177.11050 MR 2494460 · Zbl 1177.11050
[6]	Buium, A., Poonen, B.: Independence of points on elliptic curves arising from special points on modular and Shimura curves. II. Local results. Compos. Math. 145, 566-602 (2009) Zbl 1232.11073 MR 2507742 · Zbl 1232.11073
[7]	Daw, C., Ren, J.: Applications of the hyperbolic Ax-Schanuel conjecture. Compos. Math. 154, 1843-1888 (2018) Zbl 1427.11057 MR 3867286 · Zbl 1427.11057
[8]	Deligne, P.: Travaux de Shimura. In: Séminaire Bourbaki, 23ème année (1970/71), Lecture Notes in Math. 244, exp. 389, Springer, Berlin, 123-165 (1971) Zbl 0225.14007 MR 0498581 · Zbl 0225.14007
[9]	Dill, G. A.: Unlikely intersections with isogeny orbits in a product of elliptic schemes. Math. Ann. 377, 1509-1545 (2020) Zbl 07229164 MR 4126900 · Zbl 1504.11072
[10]	Dill, G. A.: Unlikely intersections between isogeny orbits and curves. J. Eur. Math. Soc. 23, 2405-2438 (2021) Zbl 07367662 MR 4269417 · Zbl 1507.11054
[11]	Gao, Z.: Mixed Ax-Schanuel for the universal abelian varieties and some applications. Com-pos. Math. 156, 2263-2297 (2020) Zbl 07305885 MR 4190045 · Zbl 1477.11118
[12]	Habegger, P., Pila, J.: Some unlikely intersections beyond André-Oort. Compos. Math. 148, 1-27 (2012) Zbl 1288.11062 MR 2881307 · Zbl 1288.11062
[13]	Habegger, P., Pila, J.: O-minimality and certain atypical intersections. Ann. Sci. École Norm. Sup. (4) 49, 813-858 (2016) Zbl 1364.11110 MR 3552014 · Zbl 1364.11110
[14]	Khare, C., Rajan, C. S.: On Heegner points of large conductors. Math. Res. Lett. 8, 275-278 (2001) Zbl 1067.11033 MR 1839477 · Zbl 1067.11033
[15]	Kühne, L.: Intersection of class fields. Acta Arith. 198, 109-127 (2021) Zbl 07349951 MR 4228297 · Zbl 1509.11052
[16]	Masser, D. W.: Linear relations on algebraic groups. In: New Advances in Transcendence Theory (Durham, 1986), Cambridge Univ. Press, Cambridge, 248-262 (1988) Zbl 0656.10031 MR 972004 · Zbl 0656.10031
[17]	Masser, D. W.: Specializations of finitely generated subgroups of abelian varieties. Trans. Amer. Math. Soc. 311, 413-424 (1989) Zbl 0673.14016 MR 974783 · Zbl 0673.14016
[18]	Masser, D. W., Wüstholz, G.: Some effective estimates for elliptic curves. In: Arithmetic of Complex Manifolds (Erlangen, 1988), Lecture Notes in Math. 1399, Springer, Berlin, 103-109 (1989) Zbl 0701.14034 MR 1034259 · Zbl 0701.14034
[19]	Mok, N., Pila, J., Tsimerman, J.: Ax-Schanuel for Shimura varieties. Ann. of Math. (2) 189, 945-978 (2019) Zbl 07107179 MR 3961087 · Zbl 1481.14048
[20]	Moonen, B.: Linearity properties of Shimura varieties. I. J. Algebraic Geom. 7, 539-567 (1998) Zbl 0956.14016 MR 1618140 · Zbl 0956.14016
[21]	Nekovář, J., Schappacher, N.: On the asymptotic behaviour of Heegner points. Turkish J. Math. 23, 549-556 (1999) Zbl 0977.11025 MR 1780940 · Zbl 0977.11025
[22]	Paulin, R.: An explicit André-Oort type result for P 1 .C/ G m .C/ based on logarithmic forms. Publ. Math. Debrecen 88, 21-33 (2016) Zbl 1374.11070 MR 3452162 · Zbl 1374.11070
[23]	Pazuki, F.: Theta height and Faltings height. Bull. Soc. Math. France 140, 19-49 (2012) Zbl 1245.14029 MR 2903770 · Zbl 1245.14029
[24]	Peterzil, Y., Starchenko, S.: Definability of restricted theta functions and families of abelian varieties. Duke Math. J. 162, 731-765 (2013) Zbl 1284.03215 MR 3039679 · Zbl 1284.03215
[25]	Pila, J.: O-minimality and the André-Oort conjecture for C n . Ann. of Math. (2) 173, 1779-1840 (2011) Zbl 1243.14022 MR 2800724 · Zbl 1243.14022
[26]	Pila, J., Tsimerman, J.: The André-Oort conjecture for the moduli space of abelian surfaces. Compos. Math. 149, 204-216 (2013) Zbl 1304.11055 MR 3020307 · Zbl 1304.11055
[27]	Pila, J., Tsimerman, J.: Multiplicative relations among singular moduli. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (5) 17, 1357-1382 (2017) Zbl 1408.14092 MR 3752529 · Zbl 1408.14092
[28]	Pila, J., Wilkie, A. J.: The rational points of a definable set. Duke Math. J. 133, 591-616 (2006) Zbl 1217.11066 MR 2228464 · Zbl 1217.11066
[29]	Pink, R.: A combination of the conjectures of Mordell-Lang and André-Oort. In: Geometric Methods in Algebra and Number Theory, Progr. Math. 235, Birkhäuser Boston, Boston, MA, 251-282 (2005) Zbl 1200.11041 MR 2166087 · Zbl 1200.11041
[30]	Pink, R.: A common generalization of the conjectures of André-Oort, Manin-Mumford, and Mordell-Lang. Manuscript dated 17 April 2005, http://www.math.ethz.ch/\( \sim\) pink/
[31]	Poizat, B.: L’égalité au cube. J. Symbolic Logic 66, 1647-1676 (2001) Zbl 1005.03038 MR 1878287 · Zbl 1005.03038
[32]	Rosen, M., Silverman, J. H.: On the independence of Heegner points associated to distinct quadratic imaginary fields. J. Number Theory 127, 10-36 (2007) Zbl 1151.11024 MR 2351661 · Zbl 1151.11024
[33]	Şahinoglu, H.: On the independence of Heegner points on CM curves associated to distinct quadratic imaginary fields. Proc. Amer. Math. Soc. 141, 813-826 (2012) Zbl 1294.11090 MR 3003675 · Zbl 1294.11090
[34]	Siksek, S.: The height pairing on elliptic curves with complex multiplication. Arab J. Math. Sci. 5, 43-48 (1999) Zbl 0991.11027 MR 1698566 · Zbl 0991.11027
[35]	Tsimerman, J.: The André-Oort conjecture for A g . Ann. of Math. (2) 187, 379-390 (2018) Zbl 1415.11086 MR 3744855 · Zbl 1415.11086
[36]	Zilber, B.: Exponential sums equations and the Schanuel conjecture. J. London Math. Soc. (2) 65, 27-44 (2002) Zbl 1030.11073 MR 1875133 · Zbl 1030.11073