×

Logarithms of rational points of abelian varieties. (Logarithmes des points rationnels des variétés abéliennes.) (French) Zbl 1445.11069

Let \(k\) be a number field of degree \(D\) and \(A\) an abelian variety of dimension \(g\) with a polarisation \(L\) over \(k\). Let \(\sigma_0:k\to{\mathbb{C}}\) be a complex embedding, \(\exp_{A_{\sigma_0}}:t_{A_{\sigma_0}}\to A_{\sigma_0}\) the associated exponential map of the complex abelian variety \(A_{\sigma_0}\). For \(u\in t_{A_{\sigma_0}}\) and \(p\in A(k)\) such that \(\exp_{A_{\sigma_0}}(u)=\sigma_0(p)\), let \(A_u\) be the smallest abelian subvariety of \(A_{\sigma_0}\), the tangent space at the origin of which contains \(u\). The main result of the paper under review is an explicit upper bound for the degree of \(A_u\) with respect to the polarisation \(L\). The upper bound depends on \(g\), \(D\), the dimension of \(A_u\), the Hermitian form of \(L_{\sigma_0}\), the Néron-Tate height \(\hat{\mathrm{h}}_L(p)\) relative to \(L\) of the point \(p\) and the stable Faltings height \({\mathrm{h}}_L(A)\) of \(A\). The first result in this direction, due to [D. Masser and G. Wüstholz, Ann. Math. (2) 137, No. 2, 407–458 (1993; Zbl 0796.11023)], dealt with the special case \(p=0\), and is known as the Period Theorem; it was effective but not explicit. An improved and explicit version of the Period Theorem was obtained by É. Gaudron and G. Rémond [Comment. Math. Helv. 89, No. 2, 343–403 (2014; Zbl 1297.11058)], using the Arakelovian approach of J.-B. Bost [in: Séminaire Bourbaki. Volume 1994/95. Exposés 790-804. Paris: Société Mathématique de France. 115–161, Exp. No. 795 (1996; Zbl 0936.11042)] and a result of S. David (unpublished). The generalisation to a nontorsion point is called by the author the Generalized Period theorem. The authors deduce several important results. The first one is an explicit lower bound for \(\log\Vert u\Vert_{L,\sigma_0}\) – see [F. Pellarin, J. Number Theory 88, No. 2, 241–262 (2001; Zbl 1032.11031)] and [É. Gaudron, Ann. Sci. Éc. Norm. Supér. (4) 39, No. 5, 699–773 (2006; Zbl 1111.11038)]. Another consequence is an explicit lower bound for the Néron-Tate height of a nontorsion point; to get an optimal dependence on \(D\) is the Generalized Lehmer Problem, on the height of \(A\) is the conjecture of Lang-Silverman. The third consequence is an explicit version of a theorem of D. Bertrand [Duke Math. J. 80, No. 1, 223–250 (1995; Zbl 0847.11036)] giving an upper bound for \(({\mathrm{deg}}_L A_p)^{1/\dim A_p}\) which is linear in terms of the height of \(p\).
The Generalized Period Theorem is a lower bound for a linear form in one logarithm of an algebraic point. For an extension to linear forms in several logarithms, see [F. Ballaÿ, Diss. Math. 543, 1–78 (2019; Zbl 1436.11088)].

MSC:

11J86 Linear forms in logarithms; Baker’s method
11J95 Results involving abelian varieties
11G10 Abelian varieties of dimension \(> 1\)

References:

[1] Autissier, P., Un lemme matriciel effectif, Math. Z., 273, 355-361, (2013) · Zbl 1259.14025
[2] Baker, A. and Wüstholz, G., Logarithmic forms and group varieties. J. Reine Angew. Math.442(1993), 19-62. https://doi.org/10.1515/crll.1993.442.19. · Zbl 0788.11026
[3] Banaszczyk, W., New bounds in some transference theorems in the geometry of numbers, Math. Ann., 296, 625-635, (1993) · Zbl 0786.11035
[4] Bertrand, D., Minimal heights and polarizations on group varieties, Duke Math. J., 80, 223-250, (1995) · Zbl 0847.11036
[5] Bertrand, D. and Philippon, P., Sous-groupes algébriques de groupes algébriques commutatifs. Illinois J. Math.32(1988), 263-280. https://projecteuclid.org/euclid.ijm/1255989130. · Zbl 0618.14020
[6] Bost, J.-B., Périodes et isogénies des variétés abéliennes sur les corps de nombres (d’après D. Masser et G. Wüstholz). Astérisque (1996), no. 237, 115-161. http://www.numdam.org/item?id=SB_1994-1995_37_115_0. · Zbl 0936.11042
[7] Bost, J.-B., Intrinsic heights of stable varieties and abelian varieties, Duke Math. J., 82, 21-70, (1996) · Zbl 0867.14010
[8] Cijsouw, P. and Waldschmidt, M., Linear forms and simultaneous approximations. Compositio Math.34(1977), 173-197. http://www.numdam.org/item?id=CM_1977_34_2_173_0. · Zbl 0345.10021
[9] David, S., Approximation diophantienne sur les variétés abéliennes. École doctorale de Géométrie diophantienne. Rennes (France), 15-26 juin 2009.
[10] Gaudron, É., Formes linéaires de logarithmes effectives sur les variétés abéliennes, Ann. Sci. École Norm. Sup., 39, 699-773, (2006) · Zbl 1111.11038
[11] Gaudron, É., Pentes des fibrés vectoriels adéliques sur un corps global, Rend. Sem. Mat. Univ. Padova, 119, 21-95, (2008) · Zbl 1206.14047
[12] Gaudron, É., Minorations simultanées de formes linéaires de logarithmes de nombres algébriques, Bull. Soc. Math. Fr., 142, 1-62, (2014) · Zbl 1306.11057
[13] Gaudron, É., Lower bound for the Néron-Tate height (with V. Bosser). In: Oberwolfach Reports, 21. 2016, p. 22-24.
[14] Gaudron, É. and Rémond, G., Minima, pentes et algèbre tensorielle. Israel J. Math.195(2013), 565-591. https://doi.org/10.1007/s11856-012-0109-x. · Zbl 1295.11126
[15] Gaudron, É. and Rémond, G., Théorème des périodes et degrés minimaux disogénies. Commen. Math. Helv.89(2014), 343-403. https://doi.org/10.4171/CMH/322. · Zbl 1297.11058
[16] Gaudron, É. and Rémond, G., Polarisations et isogénies. Duke Math. J.163(2014), 2057-2108. https://doi.org/10.1215/00127094-2782528. · Zbl 1303.11068
[17] Gillet, H. and Soulé, C., An arithmetic Riemann-Roch theorem. Invent. Math.110(1992), 473-543. https://doi.org/10.1007/BF01231343. · Zbl 0777.14008
[18] Masser, D., Small values of heights on families of abelian varieties. In: Diophantine approximation and transcendence theory. Lecture Notes in Math., 1290, Springer, Berlin, 1987, pp. 109-148. https://doi.org/10.1007/BFb0078706. · Zbl 0639.14025
[19] Masser, D. and Wüstholz, G., Periods and minimal abelian subvarieties. Ann. of Math.137(1993), 407-458. https://doi.org/10.2307/2946542. · Zbl 0796.11023
[20] Mignotte, M. and Waldschmidt, M., Linear forms in two logarithms and Schneider’s method. II. Acta Arith.53(1989), 251-287. https://doi.org/10.4064/aa-53-3-251-287. · Zbl 0642.10034
[21] Milnor, J. and Husemoller, D., Symmetric bilinear forms. volume 73 de Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer-Verlag, 1973. · Zbl 0292.10016
[22] Nakamaye, M., Multiplicity estimates on commutative algebraic groups, J. Reine Angew. Math., 607, 217-235, (2007) · Zbl 1162.11037
[23] Pellarin, F., Sur la distance d’un point algébrique à l’origine dans les variétés abéliennes, J. Number Theory, 88, 241-262, (2001) · Zbl 1032.11031
[24] Philippon, P. and Waldschmidt, M., Formes linéaires de logarithmes sur les groupes algébriques commutatifs. Illinois J. Math.32(1988), 281-314. https://projecteuclid.org/euclid.ijm/1255989131. · Zbl 0651.10023
[25] Rémond, G., Conjectures uniformes sur les variétés abéliennes, Quarterly J. Math., 69, 459-486, (2018) · Zbl 1446.11113
[26] Rémond, G., Degré de définition des endomorphismes d’une variété abélienne. Prépublication 2017. https://www-fourier.ujf-grenoble.fr/∼remond/4441.pdf.
[27] Silverberg, A., Fields of definition for homomorphisms of abelian varieties, J. Pure Appl. Algebra, 77, 253-262, (1992) · Zbl 0808.14037
[28] Winckler, B., Problème de Lehmer sur les courbes elliptiques à multiplications complexes, Acta Arith., 182, 347-396, (2018) · Zbl 1422.11145
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.