Théorie géométrique des invariants

En mathématiques, la théorie géométrique des invariants (ou GIT) est une méthode de construction de quotients par l'action d'un groupe en géométrie algébrique, utilisée pour construire des espaces de modules. Elle a été développée par David Mumford en 1965, en utilisant des idées tirées de l'article Modèle:Référence Harvard portant sur la théorie des invariants classique.

La théorie géométrique des invariants porte sur l'action d'un groupe Modèle:Mvar sur une variété algébrique (ou un schéma) Modèle:Mvar et fournit des techniques pour former des « quotients » de Modèle:Mvar par Modèle:Mvar comme des schémas ayant des propriétés raisonnables. L'une des motivations était de construire des espaces de modules en géométrie algébrique comme quotients de schémas paramétrant des objets pointés. Dans les années 1970 et 1980 sont apparues des interactions avec la géométrie symplectique et la Modèle:Lien et la théorie a été également utilisée en géométrie différentielle pour construire des espaces de modules d'objets tels que les instantons et les Modèle:Lien.

Contexte

Le point de départ de la théorie des invariants est une action d'un groupe Modèle:Mvar sur une variété algébrique (ou un schéma) Modèle:Mvar. La théorie des invariants classique porte sur le cas où Modèle:Formule est un espace vectoriel et Modèle:Mvar est soit un groupe fini, soit un groupe de Lie classique agissant linéairement sur Modèle:Mvar. Cette action induit une action – toujours linéaire – de Modèle:Mvar sur l'algèbre des fonctions polynomiales Modèle:Formule sur Modèle:Mvar par la formule

$g\cdot f(v)=f(g^{-1}v)$ pour tous $g\in G$ et $v\in V$.

Les invariants polynomiaux (ou polynômes invariants) de l'action Modèle:Mvar sur Modèle:Mvar sont les fonctions polynomiales Modèle:Mvar sur Modèle:Mvar qui sont fixées par le « changement de variables » déterminé par l'action du groupe, c'est-à-dire telles que que Modèle:Formule pour tout Modèle:Mvar dans Modèle:Mvar . Ces fonctions forment une algèbre commutative $A=R(V{)}^G$ qui est interprétée comme l'algèbre des fonctions sur le « quotient de la théorie des invariants » $V//G$ car chacune de ces fonctions prend la même valeur en tous les points d'une orbite donnée (c'est-à-dire que Modèle:Formule pour tout Modèle:Mvar). Dans le langage de la géométrie algébrique moderne,

$V//G=\mathrm{Spec}A=\mathrm{Spec}R(V{)}^G.$

Cette description fait immédiatement naître plusieurs difficultés. La première, traitée avec succès par Hilbert dans le cas du groupe linéaire, consiste à démontrer que l'algèbre Modèle:Mvar est de type fini pour assurer que le quotient soit une variété algébrique affine. La question de savoir si cette propriété est vraie pour des groupes Modèle:Mvar arbitraires était le sujet du quatorzième problème de Hilbert, et Nagata a démontré que la réponse était négative en général en 1959. A contrario, au cours du développement de la théorie des représentations dans la première moitié du Modèle:S-, une large classe de groupes pour lesquels la réponse est positive a été identifiée : ce sont les groupes réductifs, parmi lesquels figurent tous les groupes finis et tous les groupes classiques.

Le fait que l'algèbre Modèle:Mvar soit de type fini n'est que le premier pas vers la description complète de Modèle:Mvar et les progrès sur cette question plus délicate ont été relativement modestes. Les invariants classiques n’avaient été décrits que dans un éventail restreint de situations et la complexité de cette description au-delà de ces premiers cas laissait peu d’espoir de comprendre complètement les algèbres d'invariants en général. De plus, il peut arriver que tout invariant polynomial Modèle:Mvar prenne la même valeur en deux points donnés Modèle:Mvar et Modèle:Mvar de Modèle:Mvar alors que ces points appartiennent à des orbites différentes de Modèle:Mvar. Pour un exemple simple, on considère le groupe multiplicatif ${ℂ}^{*}$ des nombres complexes non nuls qui agit sur un espace vectoriel complexe ${ℂ}^n$ par produit. Dans ce cas, tout polynôme invariant est constant mais il existe de nombreuses orbites différentes pour cette action : le vecteur nul forme une orbite et toute droite vectorielle privée du vecteur nul en est une aussi, de sorte que les orbites non nulles sont paramétrées par les points de l'espace projectif complexe $ℂ{𝐏}^{n-1}$. Lorsque toutes les fonctions invariantes prennent la même valeur sur des orbites différentes, on dit que les invariants ne séparent pas les orbites, ce qui signifie que l'algèbre Modèle:Mvar ne reflète qu'imparfaitement l'espace quotient topologique $X/G$. En effet, ce dernier, muni de la topologie quotient, n'est pas séparé en général. (C'est le cas dans l'exemple ci-dessus : l'orbite nulle n'est pas ouverte car tout voisinage du vecteur nul contient des points dans toutes les autres orbites, si bien que dans la topologie quotient, tout voisinage de l'orbite nulle contient toutes les autres orbites.) En 1893, Hilbert a formulé et prouvé un critère pour déterminer les orbites qui ne sont pas séparées de l'orbite nulle par des polynômes invariants. Il est assez remarquable que, contrairement à ses travaux antérieurs sur la théorie des invariants, qui ont conduit au développement rapide de l'algèbre abstraite, ce résultat de Hilbert soit resté peu connu et peu utilisé pendant les 70 années suivantes. Une grande partie du développement de la théorie des invariants dans la première moitié du Modèle:S- portait sur des calculs explicites d'invariants et, à tout le moins, suivait une philosophie plus algébrique que géométrique.

Le livre de Mumford

La théorie géométrique des invariants est née et a été développée par David Mumford dans un livre publié pour la première fois en 1965Modèle:Sfnp, qui appliquait des idées de la théorie des invariants du Modèle:S-, parmi lesquelles certains résultats de Hilbert, à la géométrie algébrique moderne. (Le livre a été considérablement étendu dans deux éditions ultérieures par l'ajout d'annexes de Fogarty et Mumford et un chapitre sur les quotients symplectiques de Kirwan.) Le livre utilise à la fois la théorie des schémas et les techniques de calcul disponibles dans les exemples.

Le cadre abstrait utilisé est celui d'une action de groupe sur un schéma Modèle:Mvar. Comme on l'a vu, l'idée naïve d'un espace d'orbites

$G\setminus X$,

c'est-à-dire l'ensemble quotient de Modèle:Mvar par l'action du groupe, se heurte à des difficultés en géométrie algébrique, pour des raisons qui s'expliquent en termes abstraits. Il n’y a en fait aucune raison générale pour laquelle les relations d’équivalence devraient bien se comporter vis à vis des fonctions régulières (polynomiales), plutôt rigides, qui sont au cœur de la géométrie algébrique. Les fonctions sur le quotient ensembliste Modèle:Formule qu'il faut considérer sont les fonctions sur Modèle:Mvar qui sont invariantes par Modèle:Mvar. On peut commencer par une approche directe au moyen du corps des fonctions rationnelles d'une variété : on considère les fonctions rationnelles G-invariantes comme corps de fonctions de la variété quotient. Malheureusement, ce point de vue de la géométrie birationnelle ne donne qu’une première approximation de la réponse. Comme l’écrit Mumford dans la préface du livre : Modèle:Citation bloc Au chapitre 5, il précise la difficulté technique en jeu, dans un problème de modules de type tout à fait classique — classer l'énorme « ensemble » de toutes les variétés algébriques sous la seule condition qu'elles soient non singulières (et une condition technique de polarisation). Les modules sont censés décrire l'espace des paramètres. Par exemple, pour les courbes algébriques, on sait depuis l'époque de Riemann qu'il doit y avoir des composantes connexes de dimensions

$0,1,3,6,9,\dots$

correspondant au genre Modèle:Formule, et les modules sont des fonctions sur chaque composante. Pour le problème dit des modules grossiers, Mumford considère que les obstructions sont :

• une topologie non séparée sur l'espace des modules (c'est à dire pas assez de paramètres en bonne et due forme) ;
• une infinité de composantes irréductibles (ce qui est inévitable mais on peut vérifier la finitude locale) ;
• l'échec des composantes à être représentables sous forme de schémas, alors qu'elles sont représentables comme des espaces topologiques.

C’est le troisième point qui a motivé toute la théorie. Comme dit Mumford, si les deux premières difficultés sont résolues, Modèle:Citation bloc

Pour traiter ce problème, Mumford a introduit une notion de stabilité (plus précisément, trois). Cela lui a permis d'ouvrir un domaine resté jusque-là bien obscur – beaucoup avait été écrit, en particulier par Francesco Severi, mais les méthodes étaient limitées. Le point de vue birationnel peut se permettre de négliger les sous-ensembles de codimension 1. D'un côté, voir un espace de modules comme un schéma revient à le caractériser comme un foncteur représentable (suivant l'école de Grothendieck) ; géométriquement, cependant, cela ressemble davantage à une question de compactification, comme l'ont révélé les critères de stabilité. La restriction aux variétés non singulières ne conduira en aucun sens l'espace de modules à être un espace compact : les variétés peuvent dégénérer jusqu'à avoir des singularités. En revanche, les points qui correspondraient à des variétés très singulières sont définitivement trop « mauvais » pour être inclus dans la réponse. Le juste milieu, constitué des points suffisamment stables pour être admis, a été identifié par le travail de Mumford. Le concept n'était pas entièrement nouveau, puisque certains aspects se trouvent déjà dans les derniers travaux de Hilbert sur la théorie des invariants, avant qu'il ne passe à d'autres domaines.

La préface du livre énonce également la conjecture de Mumford, démontrée plus tard par William Haboush.

Stabilité

Étant donné un groupe réductif Modèle:Mvar agissant linéairement sur un espace vectoriel Modèle:Mvar, un point non nul de Modèle:Mvar est dit :

• instable si 0 est dans la fermeture de son orbite ;
• semi-stable si 0 n'est pas dans la fermeture de son orbite ;
• stable si son orbite est fermée et si son stabilisateur est fini.

Il y d'autres façons équivalentes d'énoncer ces conditions. Le critère suivant est connu sous le nom de Modèle:Lien.

• Un point Modèle:Mvar non nul est instable si et seulement s'il existe un sous-groupe à 1 paramètre de Modèle:Mvar dont tous les poids par rapport à Modèle:Mvar sont positifs.
• Un point Modèle:Mvar non nul est instable si et seulement si tout polynôme invariant prend la même valeur en 0 et en Modèle:Mvar.
• Un point Modèle:Mvar non nul est semi-stable si et seulement s'il n'existe pas de sous-groupe à 1 paramètre de Modèle:Mvar dont tous les poids par rapport à Modèle:Mvar sont positifs.
• Un point Modèle:Mvar non nul est semi-stable si et seulement s'il existe un polynôme invariant qui prend des valeurs différentes en 0 et en Modèle:Mvar.
• Un point Modèle:Mvar non nul est stable si et seulement si tout sous-groupe à 1 paramètre de Modèle:Mvar a des poids positifs (et négatifs) par rapport à Modèle:Mvar.
• Un point Modèle:Mvar non nul est stable si et seulement si pour tout Modèle:Mvar n'appartenant pas à l'orbite de Modèle:Mvar il existe un polynôme invariant qui prend des valeurs différentes en Modèle:Mvar et en Modèle:Mvar, et l'anneau des polynômes invariants a un degré de transcendance Modèle:Formule .

Un point de l'espace projectif associé à Modèle:Mvar est dit instable, semi-stable ou stable s'il est l'image d'un point de Modèle:Mvar possédant la même propriété. Noter qu'« instable » est la négation de « semi-stable » (et non de « stable »). Les points instables forment un fermé de l'espace projectif pour la topologie de Zariski, alors que les points semi-stables et stables forment deux ouverts de Zariski (éventuellement vides). NB : Les définitions ci-dessus sont celles de Modèle:Référence Harvard et ne sont pas équivalentes à celles de la première édition du livre de Mumford.

De nombreux espaces de modules peuvent être construits comme des quotients de l'espace des points stables d'une partie de l'espace projectif par l'action d'un groupe convenable. Ils peuvent souvent être compactifiés par l'ajout de classes d'équivalence de points semi-stables bien choisies. Différentes orbites stables correspondent à des points différents du quotient, mais deux orbites semi-stables différentes peuvent correspondre au même point du quotient si leurs clôtures s'intersectent.

Exemple Modèle:Référence Harvard : Une courbe stable est une courbe connexe réduite de genre ≥2 dont les seules singularités sont des points doubles ordinaires et dont toute composante rationnelle lisse coupe les autres composantes en au moins 3 points. L'espace des modules des courbes stables de genre $g$ est le quotient d'un sous-ensemble du Modèle:Lien des courbes dans $ℂ{𝐏}^{5g-6}$ qui ont pour polynôme de Hilbert Modèle:Formule par le groupe ${\mathrm{P}\mathrm{G}\mathrm{L}}_{5g-5}(ℂ)$.

Exemple : Un fibré vectoriel Modèle:Mvar sur une courbe algébrique (ou une surface de Riemann) est Modèle:Lien si et seulement si

$\frac{\mathrm{deg}(V)}{\text{rank}(V)}<\frac{\mathrm{deg}(W)}{\text{rank}(W)}$

pour tout sous-fibré propre non nul Modèle:Mvar de Modèle:Mvar ; il est semi-stable si cette condition est satisfaite en remplaçant < par ≤.

Voir aussi

• Modèle:Lien
• Modèle:Lien
• Modèle:Lien
• Modèle:Lien
• Modèle:Lien
• Modèle:Lien
• Modèle:Lien
• Modèle:Lien
• Modèle:Lien

Notes et références

• Modèle:Article
• Modèle:Article
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Article
• Modèle:Ouvrage ; première édition en 1965 (Modèle:MathSciNet) ; deuxième édition en 1982 (Modèle:MathSciNet)
• Modèle:Chapitre