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

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 Modèle:Lien, 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 KModèle:Ind, introduit à l'occasion de SGA 6, a mené progressivement à l'élaboration d'une K-théorie algébrique.

Histoire et motivation

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

Modèle:Article détaillé Le problème originel est issu de la géométrie algébrique de la seconde moitié du Modèle: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 Modèle:Lien correspondant. Il s'agit d'estimer $\mathrm{d}\mathrm{i}\mathrm{m}|D|$ ou plus généralement $\mathrm{d}\mathrm{i}\mathrm{m}|nD|$ 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é. En termes modernes, si S est une surface de Riemann de diviseur canonique K et de genre g, si $𝒪(D)$ est le faisceau associé à D, il a montré :

$\mathrm{d}\mathrm{i}\mathrm{m}{H}^0(X,𝒪(D))\ge \mathrm{d}\mathrm{e}\mathrm{g}D+1-g$.

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

$l(D)=\mathrm{d}\mathrm{i}\mathrm{m}{H}^0(X,𝒪(D))$

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

$l(D)-l(K-D)=\mathrm{d}\mathrm{e}\mathrm{g}D+1-g$.

En particulier, pour n assez grand, c'est-à-dire $n\mathrm{d}\mathrm{e}\mathrm{g}D>\mathrm{d}\mathrm{e}\mathrm{g}K$, le second terme s'annule et on a la réponse au problème de Riemann : $\mathrm{d}\mathrm{i}\mathrm{m}|nD|=n\mathrm{d}\mathrm{e}\mathrm{g}D-g$.

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

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

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, que l'on peut écrire en termes modernes :

$l(D)-s(D)+l(K-D)=\frac{1}{2}D\cdot (D-K)+p_a+1$

avec $p_a$ le Modèle:Lien de la surface algébrique X considérée et $s(D)=\mathrm{d}\mathrm{i}\mathrm{m}{H}^1(X,𝒪(D))$.

D'après la dualité de Serre, on a notamment $l(D-K)=\mathrm{d}\mathrm{i}\mathrm{m}{H}^2(X,𝒪(D))$ 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

Modèle:Article détaillé 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, 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 ${𝒯}_X$ son fibré tangent. Pour tout fibré vectoriel $ℰ$ sur X, on note $\mathrm{ch}(ℰ)$ son caractère de Chern et $\mathrm{td}(ℰ)$ sa classe de Todd, qui sont des éléments de $A(X)\otimes \mathbb{Q}$ avec A(X) l'Modèle:Lien de X. Si l'on note

$\underset{X}{\int }:A(X)\otimes \mathbb{Q}\to \mathbb{Q}$

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

$\chi (X,ℰ)=\underset{X}{\int }\mathrm{ch}(ℰ)\cdot \mathrm{td}({𝒯}_X)$.

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

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 $f:X\to Y$ de k-schémas quasi-projectifs lisses sur un corps k. On peut alors définir un morphisme image directe de cycles :

$f_{*}:A(X)\otimes \mathbb{Q}\to A(Y)\otimes \mathbb{Q}$.

Plutôt que de considérer les faisceaux localement libres sur X, Grothendieck propose de s'intéresser aux Modèle:Lien, 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

$f_{*}(ℰ)=\sum _k(-1{)}^k{R}^k{f}_{*}(E)$.

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 $f_{*}$, c'est-à-dire

$\mathrm{t}\mathrm{d}({𝒯}_Y)\mathrm{c}\mathrm{h}(f_{*}(E))=f_{*}(\mathrm{t}\mathrm{d}({𝒯}_X)\mathrm{c}\mathrm{h}(E))$

pour tout $E\in K(X)$, ce qu'on peut encore écrire

$\mathrm{c}\mathrm{h}(f_{*}(E))=f_{*}(\mathrm{t}\mathrm{d}({𝒯}_f)\mathrm{c}\mathrm{h}(E))$

avec ${𝒯}_f={𝒯}_X-f^{*}({𝒯}_Y)$ le fibré tangent relatif. On retrouve le théorème de Hirzebruch-Riemann-Roch en considérant le cas particulier $Y=\mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}(k)$.

SGA 6 : la KModèle:Ind-théorie

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 $f$ soit projectif d'intersection complète et que Y soit un schéma quasi-compact ayant un Modèle:Lien. 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, $K_0^G(X)$ et des faisceaux cohérents, GModèle:Ind(X). Dans cette situation, $K_0^G(X)$ est bien un anneau, mais ce n'est pas le cas de GModèle:Ind(X) en général, bien qu'il soit un $K_0^G(X)$-module. On travaille donc uniquement sur $K_0^G(X)$. Cet anneau possède une Modèle:Lien 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 $f_{*}:K_0^G(X)\to K_0^G(Y)$ : puisqu'on travaille avec des faisceaux localement libres, il n'y a aucune raison que les faisceaux $R^i{f}_{*}(ℰ)$ 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 KModèle:Ind(X) le groupe de Grothendieck des complexes parfaits, on dispose d'un morphisme image directe $f:K_0(X)\to K_0(Y)$. Mais cette approche s'avère problématique car, à l'opposé de $K_O^G(X)$, il n'y a pas de λ-structure sur KModèle:Ind(X). Lorsque X possède un fibré ample on a cependant un isomorphisme naturel

$K_0^G(X)\stackrel{\sim }{\to }{K}_0(X)$

et on peut transférer la λ-structure sur $K_0(X)$, qui donne l'anneau recherché : $\mathrm{G}\mathrm{r}(K_0(X))$. Les hypothèses faites sur f garantissent la définition cohérente du morphisme

$f_{*}:\mathrm{G}\mathrm{r}(K_0(X){)}_{\mathbb{Q}}\to \mathrm{G}\mathrm{r}(K_0(Y){)}_{\mathbb{Q}}$.

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 ${𝒯}_f$ et montrer qu'il s'identifie à un complexe parfait, ce qui en fait un élément de KModèle:Ind(X).

Dans l'exposé Modèle: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.

Énoncé

Soit $f:X\to Y$ 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 :

• $K_0^G(X)$ (respectivement $K_0^G(Y)$) est isomorphe à KModèle:Ind(X) (respectivement KModèle:Ind(Y)) ;
• Les γ-filtrations sur KModèle:Ind(X) et KModèle:Ind(Y) sont nilpotentes ;
• Le complexe cotangent de f est strictement parfait ;
• On a le morphisme image directeModèle:,

$f_{*}:\mathrm{G}\mathrm{r}(K_0(X){)}_{\mathbb{Q}}\to \mathrm{G}\mathrm{r}(K_0(Y){)}_{\mathbb{Q}}$

• Pour tout E dans KModèle:Ind(X) on a

$\mathrm{c}\mathrm{h}(f_{*}(E))=f_{*}(\mathrm{t}\mathrm{d}({𝒯}_f)\mathrm{c}\mathrm{h}(E))$

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

Si on note $\mathrm{G}\mathrm{r}(K_0(X){)}_{\mathbb{Q}}$ l'anneau (gradué, normalisé) issu de la γ-filtrations sur KModèle:Ind(X), alors le caractère de Chern est un homomorphisme d'anneaux $\mathrm{c}\mathrm{h}:K_0(X)\to \mathrm{G}\mathrm{r}(K_0(X){)}_{\mathbb{Q}}$. 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 : $\mathrm{c}\mathrm{h}$ n'est pas une transformation naturelle. En revanche, $\mathrm{c}\mathrm{h}(-)\mathrm{t}\mathrm{d}({𝒯}_{-})$ est une transformation naturelle $K_0(-)\to \mathrm{G}\mathrm{r}(K_0(-){)}_{\mathbb{Q}}$.

Voir aussi

Bibliographie

• Pierre Berthelot, Alexandre Grothendieck et Luc Illusie, « Théorie des intersections et théorème de Riemann-Roch », dans SGA 6, 1971
• Modèle:Article

Articles connexes

• Théorème d'Adams-Riemann-Roch
• Formule de Lefschetz-Riemann-Roch
• Théorème d'Atiyah-Singer
• Modèle:Lien