Todd genus and values at the integers of the derivatives of L functions

Christophe Soulé

Séminaire Bourbaki (2005-2006)

  • Volume: 48, page 75-98
  • ISSN: 0303-1179

Abstract

top
Arakelov geometry studies vector bundles on an algebraic variety X defined over the integers, endowed with a smooth hermitian metric on the associated holomorphic bundle (on the complex points of X ). An “arithmetic Riemann-Roch theorem” computes the covolume of the euclidean lattice of global sections of such a bundle. In this formula, the Todd genus has an additional term, defined by a formal power series the coefficients of which involve values at odd negative integers of thederivativeof the Riemann zeta function. When a finite group scheme G acts upon X , there exists an equivariant result, concerning hermitian vector bundles with an action of G . This “arithmetic Lefschetz theorem” is due to K. Köhler et D. Roessler, using work of J.-M. Bismut et al. In the statement, the correction to the Todd genus involves values at the integers of the derivative of Dirichlet L -functions. By specializing the arithmetic Lefschetz theorem to the case of the action of roots of unity on an abelian variety with complex multiplication, the same authors got a new proof (up to bad primes) of a classical formula of Chowla-Selberg which expresses periods of a CM elliptic curve as a product of values of the gamma function at rational numbers, and of its generalizations to abelian varieties due to B. Gross, G. Anderson and P. Colmez. Recently, V. Maillot and D. Roessler have been able to deal with any variety (any motive) with complex multiplication. They prove this way (e.g. in dimension two) the conjecture of P. Deligne and B. Gross which says that the periods of such a motive are products of the values at the origin the derivative of some Dirichlet L functions.

How to cite

top

Soulé, Christophe. "Genres de Todd et valeurs aux entiers des dérivées de fonctions $L$." Séminaire Bourbaki 48 (2005-2006): 75-98. <http://eudml.org/doc/252157>.

@article{Soulé2005-2006,
abstract = {La géométrie d’Arakelov étudie les fibrés vectoriels sur une variété algébrique $X$ définie sur les entiers, munis d’une métrique hermitienne lisse sur le fibré holomorphe associé (sur la variété analytique des points complexes de $X$). Un théorème de “Riemann-Roch arithmétique” calcule le covolume du réseau euclidien des sections globales d’un tel fibré. Dans cette formule, le genre de Todd comporte un terme complémentaire, défini par une série formelle dont les coefficients font intervenir les valeurs aux entiers négatifs impairs de ladérivéede la fonction zêta de Riemann (cf. exposé numéro 731 de ce séminaire). Si un schéma en groupes finis $G$ agit sur $X$, il existe aussi un énoncé équivariant, concernant les fibrés hermitiens munis d’une action de $G$. Ce théorème de “Lefschetz arithmétique” est dû à K. Köhler et D. Roessler, qui s’appuient sur des travaux de J.-M. Bismut et al. Dans cet énoncé, la correction au genre de Todd fait intervenir les valeurs entières de la dérivée des fonctions $L$ de Dirichlet. En spécialisant le théorème de Lefschetz arithmétique au cas de l’action des racines de l’unité sur une variété abélienne à multiplication complexe, ces auteurs obtiennent une nouvelle démonstration (aux mauvais facteurs près) de la formule classique de Chowla-Selberg qui exprime les périodes d’une courbe elliptique CM comme produit de valeurs de la fonction gamma en des nombres rationnels, et des généralisations de cette formule dues à B. Gross, G. Anderson et P. Colmez. V. Maillot et D. Roessler ont montré récemment que la méthode vaut pour toute variété (tout motif) à multiplication complexe. Ils confirment ainsi (en dimension deux par exemple) la conjecture de P. Deligne et B. Gross selon laquelle les périodes d’un tel motif sont des produits des valeurs en zéro de la dérivée de certaines fonctions $L$ de Dirichlet.},
author = {Soulé, Christophe},
journal = {Séminaire Bourbaki},
keywords = {Todd genus; Riemann-Roch theorem; Lefschetz theorem; Arakelov geometry; Dirichlet $L$-functions; abelian varieties with complex multiplication; periods},
language = {fre},
pages = {75-98},
publisher = {Association des amis de Nicolas Bourbaki, Société mathématique de France},
title = {Genres de Todd et valeurs aux entiers des dérivées de fonctions $L$},
url = {http://eudml.org/doc/252157},
volume = {48},
year = {2005-2006},
}

TY - JOUR
AU - Soulé, Christophe
TI - Genres de Todd et valeurs aux entiers des dérivées de fonctions $L$
JO - Séminaire Bourbaki
PY - 2005-2006
PB - Association des amis de Nicolas Bourbaki, Société mathématique de France
VL - 48
SP - 75
EP - 98
AB - La géométrie d’Arakelov étudie les fibrés vectoriels sur une variété algébrique $X$ définie sur les entiers, munis d’une métrique hermitienne lisse sur le fibré holomorphe associé (sur la variété analytique des points complexes de $X$). Un théorème de “Riemann-Roch arithmétique” calcule le covolume du réseau euclidien des sections globales d’un tel fibré. Dans cette formule, le genre de Todd comporte un terme complémentaire, défini par une série formelle dont les coefficients font intervenir les valeurs aux entiers négatifs impairs de ladérivéede la fonction zêta de Riemann (cf. exposé numéro 731 de ce séminaire). Si un schéma en groupes finis $G$ agit sur $X$, il existe aussi un énoncé équivariant, concernant les fibrés hermitiens munis d’une action de $G$. Ce théorème de “Lefschetz arithmétique” est dû à K. Köhler et D. Roessler, qui s’appuient sur des travaux de J.-M. Bismut et al. Dans cet énoncé, la correction au genre de Todd fait intervenir les valeurs entières de la dérivée des fonctions $L$ de Dirichlet. En spécialisant le théorème de Lefschetz arithmétique au cas de l’action des racines de l’unité sur une variété abélienne à multiplication complexe, ces auteurs obtiennent une nouvelle démonstration (aux mauvais facteurs près) de la formule classique de Chowla-Selberg qui exprime les périodes d’une courbe elliptique CM comme produit de valeurs de la fonction gamma en des nombres rationnels, et des généralisations de cette formule dues à B. Gross, G. Anderson et P. Colmez. V. Maillot et D. Roessler ont montré récemment que la méthode vaut pour toute variété (tout motif) à multiplication complexe. Ils confirment ainsi (en dimension deux par exemple) la conjecture de P. Deligne et B. Gross selon laquelle les périodes d’un tel motif sont des produits des valeurs en zéro de la dérivée de certaines fonctions $L$ de Dirichlet.
LA - fre
KW - Todd genus; Riemann-Roch theorem; Lefschetz theorem; Arakelov geometry; Dirichlet $L$-functions; abelian varieties with complex multiplication; periods
UR - http://eudml.org/doc/252157
ER -

References

top
  1. [1] G. W. Anderson – “Logarithmic derivatives of Dirichlet L -functions and the periods of abelian varieties”, Compositio Math. 45 (1982), no. 3, p. 315–332. Zbl0501.14025MR656608
  2. [2] J.-M. Bismut – “Equivariant immersions and Quillen metrics”, J. Differential Geom. 41 (1995), no. 1, p. 53–157. Zbl0826.32024MR1316553
  3. [3] —, Holomorphic families of immersions and higher analytic torsion forms, Astérisque, vol. 244, Soc. Math. France, Paris, 1997. Zbl0899.32013MR1623496
  4. [4] —, “Local index theory and higher analytic torsion”, in Proceedings of the International Congress of Mathematicians (Berlin, 1998), vol. I (extra vol.), 1998, p. 143–162. Zbl0982.58016MR1648029
  5. [5] J.-M. Bismut & G. Lebeau – “Complex immersions and Quillen metrics”, Inst. Hautes Études Sci. Publ. Math. (1991), no. 74, p. 1–298. Zbl0784.32010MR1188532
  6. [6] J. M. Bismut & X. Ma – “Holomorphic immersions and equivariant torsion forms”, J. reine angew. Math. 575 (2004), p. 189–235. Zbl1063.58019MR2097553
  7. [7] J.-B. Bost – “Intersection theory on arithmetic surfaces and L 1 2 metrics”, lettre du 6/03/1998, non publiée. 
  8. [8] —, “Théorie de l’intersection et théorème de Riemann-Roch arithmétiques”, in Séminaire Bourbaki (1990/91), Astérisque, vol. 201-203, Soc. Math. France, Paris, 1991, exp. no. 731, p. 43–88. Zbl0780.14013
  9. [9] —, “Potential theory and Lefschetz theorems for arithmetic surfaces”, Ann. Sci. École Norm. Sup. (4) 32 (1999), no. 2, p. 241–312. Zbl0931.14014MR1681810
  10. [10] J. Burgos, J. Kramer & U. Kühn – “Cohomological Arithmetic Chow Rings”, J. Inst. Math. Jussieu 6 (2007), no. 1, p. 1–172. Zbl1115.14013MR2285241
  11. [11] S. Chowla & A. Selberg – “On Epstein’s zeta-function”, J. reine angew. Math. 227 (1967), p. 86–110. Zbl0166.05204MR215797
  12. [12] P. Colmez – “Périodes des variétés abéliennes à multiplication complexe”, Ann. of Math. (2) 138 (1993), no. 3, p. 625–683. Zbl0826.14028MR1247996
  13. [13] P. Deligne – “Applications de la formule des traces aux sommes trigonométriques”, in Séminaire de Géométrie Algébrique 4 1/2 (Bois-Marie), Lect. Notes in Math., vol. 569, 1977, p. 168–232. Zbl0349.10031
  14. [14] —, “Hodge cycles on abelian varieties (Notes by J.S. Milne)”, in Hodge cycles, motives, and Shimura varieties, Lect. Notes in Math., vol. 900, 1982, p. 9–100. Zbl0478.14029
  15. [15] —, “Preuve des conjectures de Tate et de Shafarevitch (d’après G. Faltings)”, in Séminaire Bourbaki (1983/84), Astérisque, vol. 121-122, Soc. Math. France, Paris, 1985, exp. no. 616, p. 25–41. Zbl0591.14026
  16. [16] M. Demazure – “Structures algébriques, cohomologie des groupes”, in Séminaire de Géométrie Algébrique 3 (Bois-Marie), Lect. Notes in Math., Springer-Verlag, Berlin-Heidelberg-New York, 1970. Zbl0212.52808
  17. [17] G. Faltings – Lectures on the arithmetic Riemann-Roch theorem, Annals of Mathematics Studies, vol. 127, Princeton University Press, Princeton, NJ, 1992. Zbl0744.14016MR1158661
  18. [18] H. Gillet & C. Soulé – “An arithmetic Riemann-Roch theorem”, Invent. Math. 110 (1992), no. 3, p. 473–543. Zbl0777.14008MR1189489
  19. [19] B. H. Gross – “On the periods of abelian integrals and a formula of Chowla and Selberg”, Invent. Math. 45 (1978), no. 2, p. 193–211, avec un appendice de D.E. Rohrlich. Zbl0418.14023MR480542
  20. [20] B. H. Gross & D. B. Zagier – “Heegner points and derivatives of L -series”, Invent. Math. 84 (1986), no. 2, p. 225–320. Zbl0608.14019MR833192
  21. [21] S. L. Kleiman – “Algebraic cycles and the Weil conjectures”, in Dix esposés sur la cohomologie des schémas, North-Holland, Amsterdam, 1968, p. 359–386. Zbl0198.25902MR292838
  22. [22] K. Köhler – “A Hirzebruch proportionality principle in Arakelov geometry”, in Number fields and function fields—two parallel worlds (G. Van der Geer, B. Moonen & R. Schoof, éds.), Progr. Math., vol. 239, Birkhäuser Boston, Boston, MA, 2005, p. 237–268. Zbl1101.14035MR2176753
  23. [23] K. Köhler & D. Roessler – “A fixed point formula of Lefschetz type in Arakelov geometry. I. Statement and proof”, Invent. Math. 145 (2001), no. 2, p. 333–396. Zbl0999.14002MR1872550
  24. [24] —, “A fixed point formula of Lefschetz type in Arakelov geometry. IV. The modular height of C.M. abelian varieties”, J. reine angew. Math. 556 (2003), p. 127–148. Zbl1032.14004MR1971142
  25. [25] S. S. Kudla – “Derivatives of Eisenstein series and generating functions for arithmetic cycles”, in Séminaire Bourbaki (1999/2000), Astérisque, vol. 276, Soc. Math. France, Paris, 2002, exp. no. 876, p. 341–368. Zbl1066.11026MR1886765
  26. [26] S. S. Kudla & M. Rapoport – “Arithmetic Hirzebruch-Zagier cycles”, J. reine angew. Math. 515 (1999), p. 155–244. Zbl1048.11048MR1717613
  27. [27] S. S. Kudla, M. Rapoport & T. Yang – Modular forms and special cycles on Shimura curves, Annals of Mathematics Studies, vol. 161, Princeton University Press, Princeton, NJ, 2006. Zbl1157.11027MR2220359
  28. [28] U. Kühn – “Generalized arithmetic intersection numbers”, J. reine angew. Math. 534 (2001), p. 209–236. Zbl1084.14028MR1831639
  29. [29] V. Maillot & D. Roessler – “Conjectures sur les dérivées logarithmiques des fonctions L d’Artin aux entiers négatifs”, Math. Res. Lett. 9 (2002), no. 5-6, p. 715–724. Zbl1078.14519MR1906073
  30. [30] —, “On the periods of motives with complex multiplication and a conjecture of Gross-Deligne”, Ann. of Math. (2) 160 (2004), no. 2, p. 727–754. Zbl1077.14032MR2123937
  31. [31] D. B. Ray & I. M. Singer – “Analytic torsion for complex manifolds”, Ann. of Math. (2) 98 (1973), p. 154–177. Zbl0267.32014MR383463
  32. [32] J. H. Silverman – The arithmetic of elliptic curves, Graduate Texts in Math., vol. 106, Springer-Verlag, New York, 1986. Zbl0585.14026MR817210
  33. [33] —, “Heights and elliptic curves”, in Arithmetic geometry (Storrs 1984), Springer, New York, 1986, p. 253–265. Zbl0603.14020MR861979
  34. [34] —, Advanced topics in the arithmetic of elliptic curves, Graduate Texts in Math., vol. 151, Springer-Verlag, New York, 1994. Zbl0911.14015MR1312368
  35. [35] C. Soulé – “Hermitian vector bundles on arithmetic varieties”, in Algebraic geometry (Santa Cruz 1995) (J. Kollár, ’ed.), Proc. Sympos. Pure Math., vol. 62, Amer. Math. Soc., Providence, 1997, p. 383–419. Zbl0926.14011MR1492529
  36. [36] C. Soulé, D. Abramovich, J.-F. Burnol & J. Kramer – Lectures on Arakelov geometry, Cambridge Studies in Advanced Mathematics, vol. 33, Cambridge University Press, Cambridge, 1992. Zbl0812.14015MR1208731
  37. [37] R. O. Wells, Jr. – Differential analysis on complex manifolds, seconde ’ed., Graduate Texts in Math., vol. 65, Springer-Verlag, New York, 1980. Zbl0435.32004MR608414
  38. [38] Y. Zha – “A General Arithmetic Riemann-Roch Theorem”, Thèse, Chicago University, 1997, non publiée. MR2716760

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.