Aller au contenu

Théorème de Grothendieck-Hirzebruch-Riemann-Roch

Un article de Wikipédia, l'encyclopédie libre.
Commentaire de Alexandre Grothendieck sur le théorème de Grothendieck-Hirzebruch-Riemann-Roch.

Le théorème de Grothendieck-Hirzebruch-Riemann-Roch, ou de Grothendieck-Riemann-Roch) est un résultat mathématiquement et historiquement important de géométrie algébrique concernant la cohomologie des faisceaux cohérents (en), démontré pour la première fois par Alexandre Grothendieck en 1957. Si le résultat lui-même est intéressant, constituant une large généralisation du théorème de Riemann-Roch et de son extension aux variétés complexes, le théorème de Hirzebruch-Riemann-Roch, c'est surtout les techniques innovantes et puissantes utilisées par Grothendieck pour le démontrer qui se sont révélées essentielles dans le développement du domaine.

Alexandre Grothendieck donne une première démonstration de sa version du théorème de Riemann-Roch dans une lettre adressée à Jean-Pierre Serre en 1957, discutée aux Mathematische Arbeitstagung de Bonn la même année. La stratégie centrale a consisté à reformuler l'énoncé : dans l'esprit du théorème originel, il s'agissait d'un résultat d'analyse portant sur les variétés algébriques ; pour Grothendieck c'est en fait un problème catégorique sur les morphismes entre de telles variétés. En généralisant l'énoncé, la preuve s'en trouve en fait simplifiée et le résultat est bien plus général. Avec Armand Borel, Serre organise à l'IAS de Princeton un séminaire de travail qui aboutit à la publication en 1958 d'un exposé formel et rigoureux du théorème et de sa preuve. Le théorème est enfin discuté au cours du séminaire de géométrie algébrique du Bois Marie en 1966, où ses hypothèses sont affaiblies. Le groupe K0, introduit à l'occasion de SGA 6, a mené progressivement à l'élaboration d'une K-théorie algébrique.

Histoire et motivation

[modifier | modifier le code]

Problème de Riemann et théorème de Riemann-Roch

[modifier | modifier le code]

Le problème originel est issu de la géométrie algébrique de la seconde moitié du XIXe siècle : il concerne l'existence de fonctions méromorphes à pôles prescrits sur une surface de Riemann.

Plus précisément, si X est une variété algébrique non singulière sur un corps algébriquement clos k, et si D est un diviseur sur X, on note |D| le système linéaire (en) correspondant. Il s'agit d'estimer ou plus généralement pour tout entier positif n.

Bernhard Riemann formule les premiers travaux sur la question en 1857 dans un article dédié aux « fonctions abéliennes », dans lequel il aboutit d'abord à une inégalité[1]. En termes modernes, si S est une surface de Riemann de diviseur canonique K et de genre g, si est le faisceau associé à D, il a montré :

.

C'est son élève Gustav Roch qui parachève la démonstration en 1865[2]. Si on note

alors le théorème complet s'énonce ainsi :

.

En particulier, pour n assez grand, c'est-à-dire , le second terme s'annule et on a la réponse au problème de Riemann : .

Max Noether donne alors le nom de « théorème de Riemann-Roch » à ce résultat.

L'école italienne et l'apparition de la cohomologie

[modifier | modifier le code]

L'effort se concentre alors pour essayer d'étendre le résultat au-delà des seules surfaces de Riemann. Max Noether en 1886[3], puis Federigo Enriques en 1894[4] s'y essaient mais c'est finalement Guido Castelnuovo qui donne la première preuve en 1896[5],[6] d'une inégalité, simplifiée ensuite par Francesco Severi en 1903[7].

Oscar Zariski détermine l'élément manquant dans l'expression de Castelnuovo en utilisant les outils de la cohomologie. Il donne alors une nouvelle expression du théorème de Riemann-Roch pour les surfaces algébriques[8], que l'on peut écrire en termes modernes :

avec le genre arithmétique (en) de la surface algébrique X considérée et .

D'après la dualité de Serre, on a notamment ce qui permet d'exprimer le théorème de Riemann-Roch à partir de la caractéristique d'Euler de la surface algébrique considérée. C'est cette observation qui va permettre d'étendre encore davantage le résultat.

Le théorème de Hirzebruch-Riemann-Roch : les classes caractéristiques

[modifier | modifier le code]

Entre les années 1930 et 1950, la théorie des classes caractéristiques est élaborée, avec des avancées majeures dues à Chern et Kodaira. Friedrich Hirzebruch montre en 1954 qu'on peut calculer la caractéristique d'Euler à partir de la théorie des classes de Chern[9], ce qui donne lieu au théorème dit de Hirzebruch-Riemann-Roch. Hirzebruch le montra d'abord pour les variétés projectives définies sur , résultat étendu par Grothendieck à tout corps de base k algébriquement clos.

Plus concrètement, si X est une variété algébrique projective, non singulière, de dimension n sur un corps k algébriquement clos, on note son fibré tangent. Pour tout fibré vectoriel sur X, on note son caractère de Chern et sa classe de Todd, qui sont des éléments de avec A(X) l'anneau de Chow (en) de X. Si l'on note

l'application qui, à un cycle algébrique, associe le degré de sa composante d'ordre n, le théorème de Hirzebruch-Riemann-Roch énonce alors que l'on a

.

La lettre de Grothendieck à Serre : point de vue local et faisceaux cohérents

[modifier | modifier le code]

Alexandre Grothendieck souhaite simplifier le résultat de Hirzebruch, en particulier sa démonstration particulièrement compliquée. Pour cela, il considère un morphisme propre de k-schémas quasi-projectifs lisses sur un corps k. On peut alors définir un morphisme image directe de cycles :

.

Plutôt que de considérer les faisceaux localement libres sur X, Grothendieck propose de s'intéresser aux faisceaux cohérents (en), plus précisément au groupe de Grothendieck de tels faisceaux sur X : il est en effet isomorphe, du fait de la régularité de X, au groupe de Grothendieck des faisceaux localement libres. Le morphisme f étant libre, on peut définir pour tout faisceau cohérent le morphisme image directe

.

On peut alors voir le résultat de Hirzebruch comme l'expression d'un « défaut de commutativité » (ou de naturalité) entre le caractère de Chern et , c'est-à-dire

pour tout , ce qu'on peut encore écrire

avec le fibré tangent relatif. On retrouve le théorème de Hirzebruch-Riemann-Roch en considérant le cas particulier .

SGA 6 : la K0-théorie

[modifier | modifier le code]

Lors du séminaire de géométrie algébrique du Bois Marie qui se tient en 1966-1967, Grothendieck propose d'affaiblir les hypothèses considérées jusque-là : on demande simplement que le morphisme soit projectif d'intersection complète et que Y soit un schéma quasi-compact ayant un faisceau ample (en). Ce cadre, s'il est plus flexible, ne permet plus de donner un sens à l'expression précédente : en particulier, on n'a pas de notion d'anneau de Chow.

Pour résoudre ce problème, il est proposé d'introduire un anneau gradué, associé à une « filtration adéquate de l'anneau K(X) ». Mais en l'absence des hypothèses de régularité précédentes, il n'y a plus d'identification possible entre les groupes de Grothendieck des faisceaux localement libres, et des faisceaux cohérents, G0(X). Dans cette situation, est bien un anneau, mais ce n'est pas le cas de G0(X) en général, bien qu'il soit un -module. On travaille donc uniquement sur . Cet anneau possède une λ-structure (en) donnée par les opérations de puissances extérieures, qui permet de définir une filtration appelée « γ-filtration ». Celle-ci donne effectivement une théorie des classes de Chern et de Todd.

Il reste à définir un morphisme image directe  : puisqu'on travaille avec des faisceaux localement libres, il n'y a aucune raison que les faisceaux soient localement libres, et on ne peut pas utiliser la formule somme qu'avait proposé Grothendieck. La solution consiste à travailler au niveau de la catégorie dérivée : on y définit les complexes parfaits comme étant les complexes localement isomorphes à un complexe borné localement de type fini en chaque degré. La catégorie des complexes parfaits est une sous-catégorie triangulée de la catégorie dérivée de X, stable par image directe. Si on désigne par K0(X) le groupe de Grothendieck des complexes parfaits, on dispose d'un morphisme image directe . Mais cette approche s'avère problématique car, à l'opposé de , il n'y a pas de λ-structure sur K0(X). Lorsque X possède un fibré ample on a cependant un isomorphisme naturel

et on peut transférer la λ-structure sur , qui donne l'anneau recherché : . Les hypothèses faites sur f garantissent la définition cohérente du morphisme

.

Sous l'hypothèse que f est localement d'intersection complète, on peut alors définir (en passant par le complexe cotangent) le fibré tangent relatif et montrer qu'il s'identifie à un complexe parfait, ce qui en fait un élément de K0(X).

Dans l'exposé XIV de SGA 6, Grothendieck énumère plusieurs pistes pour généraliser encore davantage le résultat, et propose un certain nombre de conjectures permettant d'en étendre la portée.

Soit un morphisme de schémas. On suppose f projectif d'intersection complète, de dimension relative virtuelle et constante, égale à d. On suppose que le schéma Y est quasi-compact et muni d'un fibré ample. Alors on a les faits suivants[10] :

  • (respectivement ) est isomorphe à K0(X) (respectivement K0(Y)) ;
  • Les γ-filtrations sur K0(X) et K0(Y) sont nilpotentes[11] ;
  • Le complexe cotangent de f est strictement parfait[12] ;
  • On a le morphisme image directe[13],[14]
  • Pour tout E dans K0(X) on a

C'est souvent ce dernier point qui est appelé théorème de Grothendieck-Riemann-Roch.

Si on note l'anneau (gradué, normalisé) issu de la γ-filtrations sur K0(X), alors le caractère de Chern est un homomorphisme d'anneaux . Il s'agit d'une construction fonctorielle, de la catégorie des variétés non singulières dans la catégorie des anneaux. Le théorème de Grothendieck-Riemann-Roch exprime alors le fait suivant : n'est pas une transformation naturelle. En revanche, est une transformation naturelle .

Notes et références

[modifier | modifier le code]
  1. (de) Bernhard Riemann, « Theorie der Abel'schen Functionen », Journal für die reine und angewandte Mathematik, vol. 54,‎ , p. 115-155 (lire en ligne)
  2. (de) Gustav Roch, « Über die Anzahl der willkurlichen Constanten in algebraischen Functionen », Journal für die reine und angewandte Mathematik, vol. 64,‎ , p. 372-376 (lire en ligne)
  3. Max Noether, « Extension du théorème de Riemann-Roch aux surfaces algébriques », CR Acad. Sci. Paris, vol. 103,‎ , p. 734-737
  4. (it) Federigo Enriques, « Ricerche di geometria sulle superficie algebriche », Mem. Accad. Sci. Torino, vol. 44, no 2,‎
  5. (it) Guido Castelnuovo, « Alcuni risultati sui sistemi lineari di curve appartenenti ad una superficie algebrica », Mem. Soc. It. Sci., vol. 10, no 3,‎ , p. 82-102
  6. (it) Guido Castelnuovo, « Alcune proprietà fondamentali dei sistemi lineari di curve tracciati sopra una superficie algebrica », Annali di Matematica Pura ed Applicata, vol. 25, no 2,‎ , p. 235-318
  7. (it) Francesco Severi, « Sulla deficienza della serie caratteristica di un sistema lineare di curve appartenenti ad una superficie algebrica », Atti Accad. Naz. Lincei, Rend, vol. 12, no 5,‎
  8. (en) Oscar Zariski, « The theorem of Riemann-Roch for high multiples of an effective divisor on an algebraic surface », Ann. of Math, vol. 76, no 3,‎ , p. 560-615
  9. (en) Friedrich Hirzebruch, Topological Methods in Algebraic Geometry, Springer Verlag, coll. « Grund. math. Wiss. » (no 131),
  10. SGA 6, Exposé VIII, §3.6
  11. SGA 6, Exposé VI, §6.1
  12. SGA 6, Exposé VII §4.6
  13. SGA 6, Exposé VI §5.8
  14. SGA 6, Exposé VIII §1.2

Bibliographie

[modifier | modifier le code]

Articles connexes

[modifier | modifier le code]