×

Néron-Tate heights of cycles on Jacobians. (English) Zbl 1388.14032

Let \(X\) be a smooth projective connected curve of genus \(g\geq 1\) defined over \(\bar{\mathbb{Q}}\), and let \((J,\lambda)\) denote the Jacobian of \(X\), endowed with its canonical principal polarization. For a given divisor \(\alpha\) of degree one on \(X\) and for an \(r\)-tuple of non-zero integers \(m=(m_1,\cdots,m_r)\) with \(0\leq r\leq g\), \(d=\sum_{i=1}^rm_i\), let \(Z_{m,\alpha}\) denote the image of the map \(X^r\rightarrow J\) defined by \((x_1,\cdots, x_r)\mapsto \sum_{i=1}^rm_ix_i-d\alpha\). The main aim in this paper is to develop a method to calculate the Néron-Tate heights \(\text{h}'_{\mathcal{L}}(Z_{m,\alpha})\). The author alaborates on Zhang’s method in [S.-W. Zhang, Invent. Math. 179, No. 1, 1–73 (2010; Zbl 1193.14031)] that allows to compute the height of the Gross-Schoen cycle. More precisely, he shows the following: Assume that \(g\geq 2\). Then there exist rational numbers \(a,b,c\) depending only on \(m\) and \(g\) such that for all number fields \(k\), all smooth projective geometrically connected curves \(X\) of genus \(g\) with semistable reduction over \(k\), and all \(\alpha\in\text{Div}^1X\) the equality \(\text{h}'_{\mathcal{L}}(Z_{m,\alpha})=\frac{1}{[k:\mathbb{Q}]}\left(a\langle\hat{\omega},\hat{\omega}\rangle+b\sum_{vin M(k)}\varphi(X_v)\text{log}Nv\right)+c\text{h}'_{\mathcal{L}}(\alpha-(1/(2g-2)K_X\) holds, where \(M(k)\) denotes the set of places of \(k\).

MSC:

14C25 Algebraic cycles
14H40 Jacobians, Prym varieties

Citations:

Zbl 1193.14031

References:

[1] Arakelov, S. Ju., An intersection theory for divisors on an arithmetic surface, Izv. Akad. Nauk SSSR Ser. Mat., 38, 1179-1192 (1974)
[2] Autissier, Pascal, Hauteur de Faltings et hauteur de N\'eron-Tate du diviseur th\^eta, Compos. Math., 142, 6, 1451-1458 (2006) · Zbl 1110.14022 · doi:10.1112/S0010437X0600234X
[3] Baker, Matthew; Faber, Xander, Metrized graphs, Laplacian operators, and electrical networks. Quantum graphs and their applications, Contemp. Math. 415, 15-33 (2006), Amer. Math. Soc., Providence, RI · Zbl 1114.94025 · doi:10.1090/conm/415/07857
[4] Baker, Matt; Rumely, Robert, Harmonic analysis on metrized graphs, Canad. J. Math., 59, 2, 225-275 (2007) · Zbl 1123.43006 · doi:10.4153/CJM-2007-010-2
[5] Be\u\i linson, A., Height pairing between algebraic cycles. Current trends in arithmetical algebraic geometry, Arcata, Calif., 1985, Contemp. Math. 67, 1-24 (1987), Amer. Math. Soc., Providence, RI · Zbl 0624.14005 · doi:10.1090/conm/067/902590
[6] Birkenhake, Christina; Lange, Herbert, Complex abelian varieties, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 302, xii+635 pp. (2004), Springer-Verlag, Berlin · Zbl 1056.14063 · doi:10.1007/978-3-662-06307-1
[7] Bloch, Spencer, Height pairings for algebraic cycles, J. Pure Appl. Algebra. Proceedings of the Luminy conference on algebraic \(K\)-theory (Luminy, 1983), 34, 2-3, 119-145 (1984) · Zbl 0577.14004 · doi:10.1016/0022-4049(84)90032-X
[8] Bost, J.-B., Intrinsic heights of stable varieties and abelian varieties, Duke Math. J., 82, 1, 21-70 (1996) · Zbl 0867.14010 · doi:10.1215/S0012-7094-96-08202-2
[9] Bost, J.-B.; Gillet, H.; Soul\'e, C., Heights of projective varieties and positive Green forms, J. Amer. Math. Soc., 7, 4, 903-1027 (1994) · Zbl 0973.14013 · doi:10.2307/2152736
[10] Chambert-Loir, Antoine, Heights and measures on analytic spaces. A survey of recent results, and some remarks. Motivic integration and its interactions with model theory and non-Archimedean geometry. Volume II, London Math. Soc. Lecture Note Ser. 384, 1-50 (2011), Cambridge Univ. Press, Cambridge · Zbl 1279.14027
[11] Chambert-Loir, Antoine, Mesures et \'equidistribution sur les espaces de Berkovich, J. Reine Angew. Math., 595, 215-235 (2006) · Zbl 1112.14022 · doi:10.1515/CRELLE.2006.049
[12] Checcoli, Sara; Veneziano, Francesco; Viada, Evelina, A sharp Bogomolov-type bound, New York J. Math., 18, 891-910 (2012) · Zbl 1276.11099
[13] Chinburg, Ted; Rumely, Robert, The capacity pairing, J. Reine Angew. Math., 434, 1-44 (1993) · Zbl 0756.14013 · doi:10.1515/crll.1993.434.1
[14] Cinkir, Zubeyir, Admissible invariants of genus 3 curves, Manuscripta Math., 148, 3-4, 317-339 (2015) · Zbl 1339.11069 · doi:10.1007/s00229-015-0759-1
[15] Cinkir, Zubeyir, Zhang’s conjecture and the effective Bogomolov conjecture over function fields, Invent. Math., 183, 3, 517-562 (2011) · Zbl 1285.14029 · doi:10.1007/s00222-010-0282-7
[16] Cinkir, Zubeyir, The tau constant of a metrized graph and its behavior under graph operations, Electron. J. Combin., 18, 1, Paper 81, 42 pp. (2011) · Zbl 1217.05218
[17] David, Sinnou; Philippon, Patrice, Minorations des hauteurs normalis\'ees des sous-vari\'et\'es de vari\'et\'es ab\'eliennes. Number theory, Tiruchirapalli, 1996, Contemp. Math. 210, 333-364 (1998), Amer. Math. Soc., Providence, RI · Zbl 0899.11027 · doi:10.1090/conm/210/02795
[18] David, Sinnou; Philippon, Patrice, Minorations des hauteurs normalis\'ees des sous-vari\'et\'es de vari\'et\'es abeliennes. II, Comment. Math. Helv., 77, 4, 639-700 (2002) · Zbl 1030.11026 · doi:10.1007/PL00012437
[19] Deligne, P., Le d\'eterminant de la cohomologie. Current trends in arithmetical algebraic geometry, Arcata, Calif., 1985, Contemp. Math. 67, 93-177 (1987), Amer. Math. Soc., Providence, RI · Zbl 0629.14008 · doi:10.1090/conm/067/902592
[20] Elkik, R., M\'etriques sur les fibr\'es d’intersection, Duke Math. J., 61, 1, 303-328 (1990) · Zbl 0706.14008 · doi:10.1215/S0012-7094-90-06113-7
[21] Faltings, G., Endlichkeitss\`“atze f\'”ur abelsche Variet\`“aten \'”uber Zahlk\"orpern, Invent. Math., 73, 3, 349-366 (1983) · Zbl 0588.14026 · doi:10.1007/BF01388432
[22] Faber, X. W. C., The geometric Bogomolov conjecture for curves of small genus, Experiment. Math., 18, 3, 347-367 (2009) · Zbl 1186.11035
[23] Faltings, Gerd, Calculus on arithmetic surfaces, Ann. of Math. (2), 119, 2, 387-424 (1984) · Zbl 0559.14005 · doi:10.2307/2007043
[24] Galateau, Aur\'elien, Une minoration du minimum essentiel sur les vari\'et\'es ab\'eliennes, Comment. Math. Helv., 85, 4, 775-812 (2010) · Zbl 1250.11071 · doi:10.4171/CMH/211
[25] Gillet, Henri; Soul\'e, Christophe, Arithmetic intersection theory, Inst. Hautes \'Etudes Sci. Publ. Math., 72, 93-174 (1991) (1990) · Zbl 0741.14012
[26] Gillet, H.; Soul\'e, C., Arithmetic analogs of the standard conjectures. Motives, Seattle, WA, 1991, Proc. Sympos. Pure Math. 55, 129-140 (1994), Amer. Math. Soc., Providence, RI · Zbl 0820.14007 · doi:10.1090/pspum/055.1/1265527
[27] Gross, B. H.; Schoen, C., The modified diagonal cycle on the triple product of a pointed curve, Ann. Inst. Fourier (Grenoble), 45, 3, 649-679 (1995) · Zbl 0822.14015
[28] Gubler, Walter, H\`“ohentheorie, Math. Ann., 298, 3, 427-455 (1994) · Zbl 0792.14012 · doi:10.1007/BF01459743
[29] Hriljac, Paul, Heights and Arakelov’s intersection theory, Amer. J. Math., 107, 1, 23-38 (1985) · Zbl 0593.14004 · doi:10.2307/2374455
[30] Heinz, Niels, Admissible metrics for line bundles on curves and abelian varieties over non-Archimedean local fields, Arch. Math. (Basel), 82, 2, 128-139 (2004) · Zbl 1065.11042 · doi:10.1007/s00013-003-4744-7
[31] de Jong, Robin, Admissible constants for genus 2 curves, Bull. Lond. Math. Soc., 42, 3, 405-411 (2010) · Zbl 1213.11131 · doi:10.1112/blms/bdp132
[32] Kawazumi, Nariya, Canonical 2-forms on the moduli space of Riemann surfaces. Handbook of Teichm\`“uller theory. Vol. II, IRMA Lect. Math. Theor. Phys. 13, 217-237 (2009), Eur. Math. Soc., Z\'”urich · Zbl 1170.30001 · doi:10.4171/055-1/7
[33] kaw N. Kawazumi, Johnson’s homomorphisms and the Arakelov-Green function, preprint, arxiv:0801.4218.
[34] Moret-Bailly, Laurent, M\'etriques permises, Ast\'erisque, 127, 29-87 (1985) · Zbl 1182.11028
[35] Moret-Bailly, Laurent, La formule de Noether pour les surfaces arithm\'etiques, Invent. Math., 98, 3, 491-498 (1989) · Zbl 0727.14014 · doi:10.1007/BF01393833
[36] Moret-Bailly, Laurent, Probl\`“emes de Skolem sur les champs alg\'”ebriques, Compositio Math., 125, 1, 1-30 (2001) · Zbl 1106.11022 · doi:10.1023/A:1002686625404
[37] Moriwaki, Atsushi, A sharp slope inequality for general stable fibrations of curves, J. Reine Angew. Math., 480, 177-195 (1996) · Zbl 0861.14027 · doi:10.1515/crll.1996.480.177
[38] Moriwaki, Atsushi, The continuity of Deligne’s pairing, Internat. Math. Res. Notices, 19, 1057-1066 (1999) · Zbl 0956.14018 · doi:10.1155/S1073792899000562
[39] Pandharipande, Rahul, The \(\varkappa\) ring of the moduli of curves of compact type, Acta Math., 208, 2, 335-388 (2012) · Zbl 1273.14057 · doi:10.1007/s11511-012-0078-2
[40] pa P. Parent, Heights on square of modular curves, preprint, arxiv:1606.09553.
[41] Philippon, Patrice, Sur des hauteurs alternatives. I, Math. Ann., 289, 2, 255-283 (1991) · Zbl 0726.14017 · doi:10.1007/BF01446571
[42] Pioline, Boris, A theta lift representation for the Kawazumi-Zhang and Faltings invariants of genus-two Riemann surfaces, J. Number Theory, 163, 520-541 (2016) · Zbl 1408.14096 · doi:10.1016/j.jnt.2015.12.021
[43] Randal-Williams, Oscar, Relations among tautological classes revisited, Adv. Math., 231, 3-4, 1773-1785 (2012) · Zbl 1251.14016 · doi:10.1016/j.aim.2012.07.017
[44] Raynaud, Michel; Gruson, Laurent, Crit\`“eres de platitude et de projectivit\'”e. Techniques de “platification” d’un module, Invent. Math., 13, 1-89 (1971) · Zbl 0227.14010 · doi:10.1007/BF01390094
[45] Ullmo, Emmanuel, Positivit\'e et discr\'etion des points alg\'ebriques des courbes, Ann. of Math. (2), 147, 1, 167-179 (1998) · Zbl 0934.14013 · doi:10.2307/120987
[46] Wilms, Robert, New explicit formulas for Faltings’ delta-invariant, Invent. Math., 209, 2, 481-539 (2017) · Zbl 1390.14073
[47] Yamaki, Kazuhiko, Graph invariants and the positivity of the height of the Gross-Schoen cycle for some curves, Manuscripta Math., 131, 1-2, 149-177 (2010) · Zbl 1181.14012 · doi:10.1007/s00229-009-0305-0
[48] Zhang, Shouwu, Admissible pairing on a curve, Invent. Math., 112, 1, 171-193 (1993) · Zbl 0795.14015 · doi:10.1007/BF01232429
[49] Zhang, Shouwu, Small points and adelic metrics, J. Algebraic Geom., 4, 2, 281-300 (1995) · Zbl 0861.14019
[50] Zhang, Shouwu, Heights and reductions of semi-stable varieties, Compositio Math., 104, 1, 77-105 (1996) · Zbl 0924.11055
[51] Zhang, Shou-Wu, Equidistribution of small points on abelian varieties, Ann. of Math. (2), 147, 1, 159-165 (1998) · Zbl 0991.11034 · doi:10.2307/120986
[52] Zhang, Shou-Wu, Gross-Schoen cycles and dualising sheaves, Invent. Math., 179, 1, 1-73 (2010) · Zbl 1193.14031 · doi:10.1007/s00222-009-0209-3
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.