Dualité de Serre
En géométrie algébrique, la dualité de Serre est une dualité pour la cohomologie cohérente de variétés algébriques, démontrée par Jean-Pierre Serre. La version originale s'applique aux fibrés vectoriels sur une variété projective lisse, mais Alexander Grothendieck la généralise largement. Sur une variété de dimension n, le théorème énonce l'isomorphisme d'un groupe de cohomologie avec l'espace dual d'un autre, le . La dualité de Serre est l'analogue pour la cohomologie cohérente de la dualité de Poincaré en topologie.
Le théorème de dualité de Serre est également vrai en géométrie complexe plus généralement, pour les variétés complexes compactes qui ne sont pas nécessairement des variétés algébriques complexes projectives. Dans ce cadre, le théorème de dualité de Serre est une application de la théorie de Hodge pour la cohomologie de Dolbeault, et peut être vu comme un corollaire dans la théorie des opérateurs elliptiques.
Ces deux interprétations différentes de la dualité de Serre coïncident pour les variétés algébriques complexes projectives non singulières, par une application du théorème de Dolbeault reliant la cohomologie des faisceaux à la cohomologie de Dolbeault.
Dualité de Serre pour les fibrés vectoriels
[modifier | modifier le code]Théorème algébrique
[modifier | modifier le code]Soit X une variété lisse de dimension n sur un corps k. On définit le fibré en droite canonique des <i id="mwJw">n</i>-formes sur X, donné par :
Supposons en plus que X soit propre (par exemple projectif) sur k. Alors la dualité de Serre s'énonce : soit E un fibré vectoriel algébrique sur X et un entier i, il existe un isomorphisme naturel
de k-espaces vectoriels de dimension finie. Ici désigne le produit tensoriel des fibrés vectoriels. Il s'ensuit que les dimensions des deux groupes de cohomologie sont égales :
Comme dans la dualité de Poincaré, l'isomorphisme dans la dualité de Serre provient du cup-produit en cohomologie de faisceaux. Plus précisément, la composition du cup-produit avec une la trace sur est un couplage parfait :
La trace est l'analogue en cohomologie cohérente de l'intégration en cohomologie de de Rham[1].
Théorème en géométrie différentielle
[modifier | modifier le code]Serre prouve le même énoncé de dualité pour X une variété complexe compacte et E un fibré vectoriel holomorphe[2]. Ici, le théorème de dualité de Serre est une conséquence de la théorie de Hodge. Soit une variété complexe compacte muni d'une métrique riemannienne, il existe un opérateur de Hodge
où . De plus, est complexe donc les formes différentielles complexes se décompose en formes de type . L'opérateur de Hodge donne un opérateur
Il existe une conjugaison sur les formes différentielles complexes qui échange les formes de type et . On définit l'opérateur étoile de Hodge linéaire conjugué par de sorte que
En utilisant l'opérateur conjugué de Hodge, on peut définir un produit scalaire hermitien sur les formes différentielles complexes, par
où est maintenant une -forme, et en particulier une -forme complexe. Elle peut donc être intégrée sur par rapport à son orientation canonique. Soit un fibré vectoriel holomorphe hermitien. Alors la métrique hermitienne donne un isomorphisme linéaire conjugué entre et son fibré dual, noté . Posons . On obtient un isomorphisme
où c'est l'ensemble des formes différentielles complexes à valeurs dans . On peut donc définir un produit scalaire hermitien sur les -formes par
Où ici signifie produit extérieur de formes différentielles et utilisant le couplage entre et donné par .
Le théorème de Hodge pour la cohomologie de Dolbeault affirme que si nous définissons
où est l'opérateurde Dolbeault de et est son adjoint formel par rapport au produit scalaire, alors
Où à gauche figure la cohomologie de Dolbeault, et à droite l'espace vectoriel des formes différentielles harmoniques définies par
En utilisant cette description, le théorème de dualité de Serre peut être énoncé comme suit : L'isomorphisme induit un isomorphisme linéaire complexe
Donnons une démonstration de cette dualité.Soit une classe de cohomologie dans avec un représentant harmonique unique , alors
avec égalité si et seulement si . En particulier, le couplage linéaire complexe
entre et est non-dégénéré, et induit l'isomorphisme dans le théorème de dualité de Serre.
L'énoncé de la dualité de Serre dans le cadre algébrique peut être retrouvé en prenant , et en appliquant le théorème de Dolbeault, qui démontre que
où désigne le faisceau des -formes holomorphes. En particulier, on obtient
où nous avons utilisé que le faisceau de holomorphe -formes est juste fibré canonique de .
Courbes algébriques
[modifier | modifier le code]Une application fondamentale de la dualité de Serre concerne les courbes algébriques. (Sur les nombres complexes, il est équivalent de considérer des surfaces de Riemann compactes.) Pour un fibré en droites L sur une courbe projective lisse X sur un corps k, les seuls groupes de cohomologie éventuellement non nuls sont et . La dualité de Serre décrit le en termes du (pour un fibré en droites différent)[3]. Cela permet une description plus explicite, puisque le d'un fibré en droites est simplement son espace de sections.
La dualité de Serre est particulièrement pertinente pour le théorème de Riemann–Roch pour les courbes. Pour un fibré en droites L de degré d sur une courbe X de genre g, le théorème de Riemann-Roch s'énonce
En utilisant la dualité de Serre, cela équivaut à :
Cette dernière égalité (exprimée en termes de diviseurs) est la version originale du théorème de Riemann—Roch énoncé au XIXe siècle. C'est le principal outil utilisé pour analyser comment une courbe donnée peut être plongée dans l'espace projectif et donc pour classer les courbes algébriques.
Exemple : Chaque section globale d'un fibré en droites de degré négatif est nulle. De plus, le degré du fibré canonique est . Par conséquent, Riemann–Roch implique que pour un fibré en droites L de degré , est égal à . Lorsque le genre g est au moins égal à 2, il résulte de la dualité de Serre que . Ici est l'espace de déformation du premier ordre de X. On en déduit que l'espace de modules des courbes de genre g a pour dimension .
Dualité de Serre pour les faisceaux cohérents
[modifier | modifier le code]Une formulation plus générale de la dualité de Serre vaut pour tous faisceaux cohérents, et pas seulement pour les fibrés vectoriels. Comme première étape dans la généralisation de la dualité de Serre, Grothendieck a montré que cette version fonctionne pour les schémas avec des singularités contrôlées, les schémas de Cohen-Macaulay, et pas seulement pour les schémas lisses.
Plus précisément, si X est un schéma de Cohen-Macaulay de dimension pure n sur un corps k, Grothendieck a défini un faisceau cohérent sur X appelé le faisceau dualisant. (Certains auteurs appellent ce faisceau .) Supposons en plus que X soit propre sur k. Pour un faisceau cohérent E sur X et un entier i, la dualité de Serre dit qu'il existe un isomorphisme naturel
de k-espaces vectoriels de dimension finie[4]. Ici le groupe Ext est pris dans la catégorie abélienne des -modules. Quand E est un fibré vectoriel, est isomorphe à .
Pour utiliser ce résultat, il faut déterminer explicitement le faisceau dualisant, au moins dans des cas particuliers. Lorsque X est lisse sur k, est le fibré en droites canonique défini ci-dessus. Plus généralement, si X est un sous-schéma de Cohen–Macaulay de codimension r dans un schéma lisse Y sur k, alors le faisceau dualisant peut être décrit comme un faisceau Ext[5] :
Complexe de modules des variétés de Calabi–Yau
[modifier | modifier le code]En particulier, on peut calculer le nombre de déformations complexes, égal à pour une variété de Calabi-Yau, en utilisant la dualité de Serre. Puisque la propriété Calabi–Yau assure , la dualité de Serre nous montre que . Le nombre de complexe de modules est égal à dans le diamant de Hodge. La dernière affirmation dépend du théorème de Bogomolev-Tian-Todorov qui stipule que toute déformation d'une variété de Calabi-Yau n'est pas obstruée.
Dualité de Grothendieck
[modifier | modifier le code]La théorie de Grothendieck de la dualité cohérente est une large généralisation de la dualité de Serre, utilisant le langage des catégories dérivées. Pour tout schéma X de type fini sur un corps k, il existe un objet de la catégorie dérivée bornée des faisceaux cohérents sur X, , appelé complexe dualisant de X sur k. Lorsque X est Cohen–Macaulay de dimension pure n, est ; c'est-à-dire qu'il s'agit du faisceau dualisant décrit ci-dessus, considéré comme un complexe de degré (cohomologique) −n . En particulier, lorsque X est lisse sur k, est le fibré canonique placé en degré −n.
En utilisant le complexe dualisant, la dualité de Serre se généralise à tout schéma propre X sur k : il existe un isomorphisme naturel de k-espaces vectoriels de dimension finie
pour tout objet E dans [6].
La dualité de Serre vaut plus généralement pour les espaces algébriques propres sur un corps[7].
Remarques
[modifier | modifier le code]- Huybrechts (2005), exercise 3.2.3.
- Serre (1955); Huybrechts (2005), Proposition 4.1.15.
- La dualité de Serre pour les courbes est de démonstration légèrement plus simple. Une preuve est donnée dans Tate (1968).
- Hartshorne (1977), Theorem III.7.6.
- Hartshorne (1977), proof of Proposition III.7.5; Stacks Project, Tag 0A9X (lire en ligne).
- Hartshorne (1966), Corollary VII.3.4(c); Stacks Project, Tag 0B6I (lire en ligne); Stacks Project, Tag 0B6S (lire en ligne).
- Stacks Project, Tag 0E58 (lire en ligne).
Références
[modifier | modifier le code]- Robin Hartshorne, Algebraic geometry, Berlin, New York, Springer-Verlag, (ISBN 978-0-387-90244-9, OCLC 13348052, MR 0463157)
- Robin Hartshorne, Residues and duality, vol. 20, Berlin, New York, Springer-Verlag, coll. « Lecture Notes in Mathematics », (ISBN 978-3-540-03603-6, MR 0222093)
- (en) « Dualité de Serre », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, (ISBN 978-1556080104, lire en ligne)
- Daniel Huybrechts, Complex geometry, Berlin, Springer-Verlag, (ISBN 3-540-21290-6, MR 2093043)
- Daniel Huybrechts, Fourier–Mukai transforms in algebraic geometry, Oxford University Press, (ISBN 978-0199296866, MR 2244106)
- Jean-Pierre Serre, Un théorème de dualité, vol. 29, , 9–26 p. (DOI 10.1007/BF02564268, MR 0067489, lire en ligne)
- John Tate, Residues of differentials on curves, vol. 1, coll. « Série 4 », , 149–159 p. (ISSN 0012-9593, DOI 10.24033/asens.1162
, MR 0227171, lire en ligne)
- Claire Voisin, Théorie de Hodge et géométrie algébrique complexe, Cours spécialisés 10, Société mathématique de France, 2002 (ISBN 978-2856291290)
Liens externes
[modifier | modifier le code]- The Stacks Project Authors, « The Stacks Project »