×

Projective regular models for abelian varieties, semistable reduction, and the height pairing. (English) Zbl 0955.14017

From the introduction: Let \(K\) be a number field, and let \(X_\eta\), be a smooth, projective variety over \(\eta=\text{Spec} K\). In order to describe the behavior of motivic \(L\)-functions associated with the variety \(X_\eta\) near the central point, Beilinson and Bloch defined real-valued height pairings between Chow groups of homologically trivial cycles on \(X_\eta\) that extend the classical pairing of Néron and Tate. Therefore, they have to assume that \(X_\eta\) has a regular model \(X\), which is proper over the ring of integers in \(K\), and that homologically trivial cycles on \(X_\eta\) admit suitable extensions to this model. In this paper, these assumptions are investigates in the case of abelian varieties. The author constructs projective regular models for abelian varieties with semiabelian reduction and prove that they have potentially semi-stable reduction. Using a nonarchimedean analogue of the \(dd^c\)-lemma for differential forms, he show that there is a well-defined height pairing if an abelian variety has totally degenerate reduction at all places of bad reduction.
In the first part of the paper, he considers the question of finding proper regular models for abelian varieties. Besides the context mentioned above, this question is also raised by B. W. Jordan and D. R. Morrison [J. Reine Angew. Math. 447, 1-22 (1994; Zbl 0791.14021)]. The author gives a positive answer to this problem in the case of semiabelian reduction. More precisely, let \(R\) be a Dedekind domain with quotient field \(K\), and let \(A_\eta\) be an abelian variety over \(\eta=\text{Spec} K\) that admits semiabelian reduction. Methods developed by G. Faltings and C. L. Chai in their book: “Degeneration of abelian varieties” (1990; Zbl 0744.14031) and D. Mumford [Compos. Math. 24, 239-272 (1972; Zbl 0241.14020)] are used to construct a regular model \(P\) of \(A_\eta\) that is projective and flat over \(\text{Spec} R\). The model \(P\) is by no means unique. Its construction depends on the choice of certain admissible cone decompositions. The reduced special fibers of \(P\) are divisors with normal crossings. A power of a given ample symmetric invertible sheaf \({\mathcal L}_\eta\) on \(A_\eta\) extends to an ample invertible sheaf \({\mathcal L}_P\) on \(P\). The author shows also that certain automorphisms, like multiplication with \(-1\), lift from \((A_\eta,{\mathcal L}_\eta)\) to \((P,{\mathcal L}_P)\). – Using a combinatorial result of Knudsen and Mumford, he proves the following version of potentially semistable reduction for abelian varieties:
Let \(R\) be a discrete valuation ring, and let \(S=\text{Spec} R\). After a finite flat extension of \(R\), the abelian variety \(A_\eta\) admits a projective semistable model \(P\) over \(S\). That is, \(P\) is regular, and the special fiber is a reduced divisor on \(P\) with normal crossings. Each stratum of the canonical stratification of the special fiber is a semiabelian scheme, and its closure in \(P\) is given as a contraction product of this semiabelian scheme with a smooth projective torus embedding.
In the second part of the paper, the author considers the problem of extending cycles from a smooth projective variety \(X_\eta\) to a given proper regular model \(X\). In order to define the height pairing, one has to know that homologically trivial cycles on \(X_\eta\) admit extensions to \(X\) that are perpendicular to cycles supported on the special fibers with respect to the arithmetic intersection pairing defined by H. Gillet and G. Soulé [Publ. Math., Inst. Hautes Étud. Sci. 72, 93-174 (1990; Zbl 0741.14012)]. The discussion in the paper under review is based on a remark of S. Bloch, H. Gillet and C. Soulé in the context of nonarchimedean Arakelov theory [J. Algebr. Geom. 4, No. 3, 427-485 (1995; Zbl 0866.14011)] and on a nonarchimedan analogue of the \(dd^c\)-lemma [in: Arithmetic Geometry, Proc. Symp. Cortona 1994, Symp. Math. 37, 45-69 (1997; Zbl 0955.14007)]. It is shown that the desired extensions of cycles exist if certain well-known standard conjectures are assumed. For abelian varieties, the author verifies that these conjectures are satisfied for the models \(P\) constructed above if \(A_\eta\) has totally degenerate reduction at all places of bad reduction. Hence in this case, there is a well-defined height pairing \[ \langle .,. \rangle_{A_\eta}: \text{CH}^p (A_\eta)^0_\mathbb{Q} \times\text{CH}^{\text{dim} (A_\eta)+1-p} (A_\eta)^0_\mathbb{Q} \to\mathbb{R}. \] Let \(p\) be a prime number. The Jacobian \(J_0 (p)_\mathbb{Q}\) of the modular curve \(X_0(p)_\mathbb{Q}\) is an example of an abelian variety that satisfies the assumption made above.

MSC:

14G40 Arithmetic varieties and schemes; Arakelov theory; heights
14K15 Arithmetic ground fields for abelian varieties
11G10 Abelian varieties of dimension \(> 1\)
14C25 Algebraic cycles
14G25 Global ground fields in algebraic geometry
11G50 Heights
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] V. Alexeev and I. Nakamura, On Mumford’s construction of degenerating abelian varieties , preprint, 1996. · Zbl 0989.14003
[2] 1 A. A. Beilinson, Height pairing between algebraic cycles , \(K\)-Theory, Arithmetic and Geometry (Moscow, 1984-86), Lecture Notes in Math., vol. 1289, Springer-Verlag, Berlin, 1987, pp. 1-25. · Zbl 0651.14002
[3] 2 A. A. Beilinson, Height pairing between algebraic cycles , Current Trends in Arithmetical Algebraic Geometry (Arcata, Calif., 1985), Contemp. Math., vol. 67, Amer. Math. Soc., Providence, 1987, pp. 1-24. · Zbl 0624.14005
[4] A. A. Beilinson, Higher regulators and values of \(L\)-functions , J. Soviet Math. 30 (1985), 2036-2070. · Zbl 0588.14013 · doi:10.1007/BF02105861
[5] S. Bloch, Height pairings for algebraic cycles , J. Pure Appl. Algebra 34 (1984), no. 2-3, 119-145. · Zbl 0577.14004 · doi:10.1016/0022-4049(84)90032-X
[6] S. Bloch, H. Gillet, and C. Soulé, Nonarchimedean Arakelov theory , J. Algebraic Geom. 4 (1995), no. 3, 427-485. · Zbl 0866.14011
[7] S. Bloch, H. Gillet, and C. Soulé, Algebraic cycles on degenerate fibers , Arithmetic Geometry (Cortona, 1994) ed. F. Catanese, Sympos. Math., vol. 37, Cambridge Univ. Press, Cambridge, 1997, pp. 45-69. · Zbl 0955.14007
[8] S. Bosch, W. Lütkebohmert, and M. Raynaud, Néron Models , Ergeb. Math. Grenzgeb. (3), vol. 21, Springer-Verlag, Berlin, 1990. · Zbl 0705.14001
[9] L. Breen, Fonctions thêta et théorème du cube , Lecture Notes in Math., vol. 980, Springer-Verlag, Berlin, 1983. · Zbl 0558.14029
[10] J.-L. Brylinski, Eventails et variétés toriques , Séminaire sur les singularités des surfaces (Palaiseau, 1976/77), Lecture Notes in Math., vol. 777, Springer-Verlag, Berlin, 1980, pp. 247-288. · Zbl 0431.14013
[11] J.-L. Brylinski, Décomposition simpliciale d’un réseau, invariante par un groupe fini d’automorphismes , C. R. Acad. Sci. Paris Sér. A-B 288 (1979), no. 2, A137-A139. · Zbl 0406.14022
[12] C. L. Chai, Compactification of Siegel Moduli Schemes , London Math. Soc. Lecture Note Ser., vol. 107, Cambridge Univ. Press, Cambridge, 1985. · Zbl 0578.14009
[13] 1 P. Deligne, Théorie de Hodge, III , Inst. Hautes Études Sci. Publ. Math. (1974), no. 44, 5-77. · Zbl 0237.14003 · doi:10.1007/BF02685881
[14] 2 P. Deligne, La conjecture de Weil, II , Inst. Hautes Études Sci. Publ. Math. 52 (1980), 137-252. · Zbl 0456.14014 · doi:10.1007/BF02684780
[15] G. Faltings and C. L. Chai, Degeneration of abelian varieties , Ergeb. Math. Grenzgeb (3), vol. 22, Springer-Verlag, Berlin, 1990. · Zbl 0744.14031
[16] W. Fulton, Intersection Theory , Ergeb. Math. Grenzgeb. (3), vol. 2, Springer-Verlag, Berlin, 1984. · Zbl 0541.14005
[17] W. Fulton and S. Lang, Riemann-Roch Algebra , Grundlehren Math. Wiss., vol. 277, Springer-Verlag, New York, 1985. · Zbl 0579.14011
[18] W. Fulton, R. MacPherson, F. Sottile, and B. Sturmfels, Intersection theory on spherical varieties , J. Algebraic Geom. 4 (1995), no. 1, 181-193. · Zbl 0819.14019
[19] H. Gillet and C. Soulé, Intersection theory using Adams operations , Invent. Math. 90 (1987), no. 2, 243-277. · Zbl 0632.14009 · doi:10.1007/BF01388705
[20] H. Gillet and C. Soulé, Arithmetic intersection theory , Inst. Hautes Études Sci. Publ. Math. 72 (1990), 93-174. · Zbl 0741.14012 · doi:10.1007/BF02699132
[21] J. Giraud, Cohomologie non abélienne , Grundlehren Math. Wiss., vol. 179, Springer-Verlag, Berlin, 1971. · Zbl 0226.14011
[22] W. Green, Heights in families of abelian varieties , Duke Math. J. 58 (1989), no. 3, 617-632. · Zbl 0698.14043 · doi:10.1215/S0012-7094-89-05829-8
[23] B. H. Gross and C. Schoen, The modified diagonal cycle on the triple product of a pointed curve , Ann. Inst. Fourier (Grenoble) 45 (1995), no. 3, 649-679. · Zbl 0822.14015 · doi:10.5802/aif.1469
[24] A. Grothendieck, Standard conjectures on algebraic cycles , Algebraic Geometry (Bombay, 1968) ed. S. S. Abhyankhar, et al., Oxford Univ. Press, Oxford, 1969, pp. 193-199. · Zbl 0201.23301
[25] A. Grothendieck, Groupes de monodromie en géometrie algébrique, I , Lecture Notes in Math., vol. 288, Springer-Verlag, Berlin, 1972. · Zbl 0237.00013
[26] 1 A. Grothendieck, M. Artin, and J.-L. Verdier, Théorie des topos et cohomologie étale des schémas. Tome 1: Théorie des topos , Lecture Notes in Math., vol. 269, Springer-Verlag, Berlin, 1972. · Zbl 0234.00007 · doi:10.1007/BFb0081551
[27] 2 A. Grothendieck, M. Artin, and J.-L. Verdier, Théorie des topos et cohomologie étale des schémas. Tome 2 , Lecture Notes in Math., vol. 270, Springer-Verlag, Berlin, 1972. · Zbl 0237.00012 · doi:10.1007/BFb0061319
[28] 3 A. Grothendieck, M. Artin, and J.-L. Verdier, Théorie des topos et cohomologie étale des schémas. Tome 3 , Lecture Notes in Math., vol. 305, Springer-Verlag, Berlin, 1973. · Zbl 0245.00002 · doi:10.1007/BFb0070714
[29] 1 A. Grothendieck and J. Dieudonné, Éléments de géométrie algébrique. I. Le langage des schémas , Inst. Hautes Études Sci. Publ. Math. (1960), no. 4, 228. · Zbl 0118.36206 · doi:10.1007/BF02684778
[30] 2 A. Grothendieck and J. Dieudonné, Éléments de géométrie algebrique, II, Étude globale élémentaire de quelques classes de morphismes , Inst. Hautes Études Sci. Publ. Math. 8 (1961), 222. · Zbl 0118.36206 · doi:10.1007/BF02684778
[31] 3 A. Grothendieck and J. Dieudonné, Éléments de géométrie algebrique, III, Étude cohomologique des faisceaux cohérents, I , Inst. Hautes Études Sci. Publ. Math. 11 (1961), 167. · Zbl 0118.36206 · doi:10.1007/BF02684778
[32] 4 A. Grothendieck and J. Dieudonné, Éléments de géométrie algebrique, III, Étude cohomologique des faisceaux cohérents, II , Inst. Hautes Études Sci. Publ. Math. 17 (1963), 91. · Zbl 0122.16102
[33] 5 A. Grothendieck and J. Dieudonné, Éléments de géométrie algebrique, IV, Étude locale des schémas et des morphismes de schémas, II , Inst. Hautes Études Sci. Publ. Math. 24 (1965), 231. · Zbl 0135.39701
[34] 6 A. Grothendieck and J. Dieudonné, Éléments de géométrie algebrique, IV, Étude locale des schémas et des morphismes de schémas, III , Inst. Hautes Études Sci. Publ. Math. 28 (1966), 255. · Zbl 0144.19904 · doi:10.1007/BF02684343
[35] 7 A. Grothendieck and J. Dieudonné, Éléments de géométrie algebrique, IV, Étude locale des schémas et des morphismes de schémas, IV , Inst. Hautes Études Sci. Publ. Math. 32 (1967), 361. · Zbl 0153.22301
[36] R. Hartshorne, Algebraic Geometry , Springer-Verlag, Berlin, 1971.
[37] A. J. de Jong, Smoothness, semi-stability and alterations , Inst. Hautes Études Sci. Publ. Math. 83 (1996), 51-93. · Zbl 0916.14005 · doi:10.1007/BF02698644
[38] B. W. Jordan and D. R. Morrison, On the Néron models of abelian surfaces with quaternionic multiplication , J. Reine Angew. Math. 447 (1994), 1-22. · Zbl 0791.14021
[39] G. Kempf, F. Knudsen, D. Mumford, and B. Saint-Donat, Toroidal Embeddings, I , Lecture Notes in Math., vol. 339, Springer-Verlag, Berlin, 1973. · Zbl 0271.14017
[40] S. L. Kleiman and A. Thorup, Intersection theory and enumerative geometry: A decade in review , Algebraic Geometry (Brunswick, Maine, 1985), Proc. Sympos. Pure Math., vol. 46, Amer. Math. Soc., Providence, 1987, pp. 321-370. · Zbl 0664.14031
[41] K. Künnemann, Higher Picard varieties and the height pairing , Amer. J. Math. 118 (1996), no. 4, 781-797. · Zbl 0876.14006 · doi:10.1353/ajm.1996.0033
[42] K. Künnemann, The Kähler identity for bigraded Hodge-Lefschetz modules and its application in nonarchimedean Arakelov geometry , to appear in J. Algebraic Geom. · Zbl 0954.14017
[43] G. Laumon, Homologie étale , Séminaire de geometrie analytique (École Norm. Sup., Paris, 1974-1975), Astérisque, vol. 36-37, Soc. Math. France, Paris, 1976, pp. 163-188. · Zbl 0341.14006
[44] H. Matsumura, Commutative Ring Theory , Cambridge Stud. Adv. Math., vol. 8, Cambridge Univ. Press, Cambridge, 1986. · Zbl 0603.13001
[45] L. Moret-Bailly, Pinceaux de variétés abéliennes , Astérisque 129 (1985), 266, Soc. Math. France, Paris. · Zbl 0595.14032
[46] D. Mumford, Abelian Varieties , Tata Inst. Fund. Res. Stud. Math., vol. 5, Oxford Univ. Press, London, 1970. · Zbl 0223.14022
[47] D. Mumford, An analytic construction of degenerating abelian varieties over complete rings , Compositio Math. 24 (1972), 239-272. · Zbl 0241.14020
[48] M. Raynaud, Faisceaux amples sur les schémas en groupes et les espaces homogènes , Lecture Notes in Mathematics, Vol. 119, Springer-Verlag, Berlin, 1970. · Zbl 0195.22701 · doi:10.1007/BFb0059504
[49] J. Tate, Conjectures on algebraic cycles in \(l\)-adic cohomology , Motives (Seattle, Wash., 1991), Proc. Sympos. Pure Math., vol. 55, Amer. Math. Soc., Providence, 1994, pp. 71-83. · Zbl 0814.14009
[50] T. Tsuji, \(p\)-adic étale cohomology and crystalline cohomology in the semistable reduction case , preprint, 1996.
[51] J.-L. Verdier, Le théorème de Riemann-Roch pour les intersections complètes , Séminaire de geometrie analytique (École Norm. Sup., Paris, 1974-1975), Astérisque, vol. 36-37, Soc. Math. France, Paris, 1976, pp. 189-228. · Zbl 0334.14026
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.