Géométrie birationnelle

Le cercle est birationnellement équivalent à la droite. Un exemple d'application birationnelle est la projection stéréographique, représentée ici ; avec les notations du texte, P ' a pour abscisse 1/t.

En mathématiques, la géométrie birationnelle est un domaine de la géométrie algébrique dont l'objectif est de déterminer si deux variétés algébriques sont isomorphes, à un ensemble négligeable près. Cela revient à étudier des applications définies par des fonctions rationnelles plutôt que par des polynômes, ces applications n'étant pas définies aux pôles des fonctions.

Applications birationnelles

Une application rationnelle (en) d'une variété (supposée irréductible) X vers une autre variété Y, notée X ⇢ Y, est définie comme un morphisme d'un ouvert non vide U de X vers Y. U est ouvert au sens de la topologie de Zariski, et donc a pour complémentaire un sous-ensemble de X de plus petite dimension. Concrètement, une application rationnelle peut être définie à partir de fonctions rationnelles des coordonnées.

Une application birationnelle de X vers Y est une application rationnelle f: X ⇢ Y telle qu'il existe une application rationnelle Y ⇢ X inverse de f. Une application birationnelle induit un isomorphisme d'un ouvert non vide de X vers un ouvert non vide de Y. On dit alors que X et Y sont birationnellement équivalents (ou parfois simplement birationnels). En termes algébriques, deux variétés sur un corps k sont birationnelles si et seulement si leurs corps de fonctions (en) sont isomorphes en tant qu'extensions de k.

Un cas particulier est celui de morphisme birationnel f: X → Y, c'est-à-dire que f est partout définie, mais pas nécessairement son inverse. Cela a typiquement lieu lorsque f envoie certaines sous-variétés de X vers des points de Y.

Une variété X est dite rationnelle si elle est birationnellement équivalente à un espace affine (ou projectif), autrement dit si (à un sous-ensemble de plus petite dimension près) elle s'identifie à un espace affine (à un sous-espace de dimension plus petite près). Par exemple, le cercle d'équation x² + y² − 1 = 0 est une courbe rationnelle, parce que les applications $t\mapsto x={\frac {2\,t}{1+t^{2}}}$ et $t\mapsto y={\frac {1-t^{2}}{1+t^{2}}}\,$ définissent une application rationnelle de la droite vers le cercle (à l'exception du point M (0,-1)) dont l'application réciproque (représentée sur la figure ci-dessus), envoyant le point P(x,y) vers le point P ' d'abscisse 1/t = x/(1 − y), est définie partout sauf en M. Les courbes rationnelles sont également dites unicursales.

Plus généralement, toute hypersurface X non vide de degré 2 (on dit que X est une quadrique) est rationnelle, quelle que soit sa dimension n ; on le démontre à l'aide de la projection stéréographique, définie en prenant p un point de X, et en associant à chaque point q de X la droite (p,q) de l'espace projectif Pⁿ des droites passant par p. C'est une équivalence birationnelle, mais pas un isomorphisme de variété, parce qu'elle n'est pas définie en q = p et que l'application inverse n'est pas définie sur les droites de X qui contiennent p.

Modèles minimaux et résolution des singularités

Toute variété algébrique est birationnelle à une variété projective (c'est le lemme de Chow (en)). Dans le contexte de la classification birationnelle, il est généralement plus pratique de ne travailler qu'avec des variétés projectives.

Un théorème plus profond dû à Heisuke Hironaka concerne la résolution des singularités ; il affirme que (sur un corps de caractéristique nulle), toute variété est birationnellement équivalente à une variété projective lisse, c'est-à-dire sans point singulier (en).

Si deux courbes projective lisses sont birationnelles, elles sont isomorphes. Ce résultat n'a plus lieu en dimension supérieure, en raison de la technique d'éclatement, permettant de construire des variétés birationnellement équivalentes, mais ayant des nombres de Betti différents.

Cela conduit à la recherche de « modèles minimaux (en) », c'est-à-dire des variétés les plus simples dans chaque classe d'équivalence birationnelle. La définition rigoureuse est qu'une variété projective X est minimale si le fibré en droites canonique K_X est de degré positif sur chaque courbe de X ; autrement dit, K_X est nef (en).

Cette recherche réussit complètement pour les surfaces algébriques (les variétés de dimension 2). L'école italienne avait obtenu vers 1900 un résultat (faisant lui-même part de la classification de Enriques–Kodaira (en)) selon lequel toute surface X est birationnelle soit à un produit P¹ × C pour une certaine courbe C, soit à une surface minimale Y. Les deux cas s'excluent mutuellement, et Y est unique dans le second cas ; Y est alors appelé le modèle minimal de X.

Invariants birationnels

Il n'est pas clair a priori qu'il existe des variétés algébriques non rationnelles. Plus généralement, montrer que deux variétés ne sont pas équivalentes est difficile ; une approche héritée de la topologie algébrique consiste à déterminer des invariants, c'est-à-dire des nombres (ou plus généralement des structures algébriques plus simples que la variété elle-même) qui sont conservés par les applications birationnelles ; si deux variétés ont des invariants distincts, elles sont alors nécessairement non birationnellement équivalentes.

Parmi les invariants les plus utilisés, les plurigenres sont les dimensions de sections de puissances tensorielles K_X^d du fibré canonique (en), le fibré en droites des n-formes K_X = Ωⁿ. On définit (pour d ≥ 0) le d-ème plurigenre comme la dimension de l'espace vectoriel des sections globales H⁰(X, K_X^d) ; on démontre que (pour des variétés projectives lisses) ce sont des invariants birationnels. En particulier, si l'un des P_d (avec d > 0) est non nul, X n'est pas rationnelle.

Un autre invariant birationnel fondamental est la dimension de Kodaira (en), qui mesure la vitesse de croissance des plurigenres P_d quand d tend vers l'infini. Une variété de dimension n peut avoir pour dimension de Kodaira l'un des nombres −∞, 0, 1,..., ou n, correspondant à n + 2 types distincts. Ce nombre est une mesure de la complexité de la variété, les espaces projectifs étant de dimension −∞, et les variétés de dimension maximale n, les plus compliquées, étant dites « de type général ».

Plus généralement, pour certains espaces E(Ω¹) définis au-dessus du fibré cotangent, l'espace vectoriel des sections globales H⁰(X, E(Ω¹)) est un invariant birationnel. En particulier, les nombres de Hodge h^r,0 = dim H⁰(X, Ω^r) sont des invariants de X(ce résultat ne se généralise pas aux autres nombres de Hodge h^p,q).

Dans le cas des variétés projectives complexes, un dernier invariant important est le groupe fondamental π₁(X).

Le "théorème de faible factorisation", démontré par Abramovich, Karu, Matsuki et Włodarczyk en 2002, permet de décomposer toute application birationnelle entre deux variétés projectives complexes lisses en une suite d'éclatements ou de contractions. Malgré l'importance de ce résultat, il reste difficile en général de déterminer si deux variétés sont birationnelles.

Modèles minimaux en dimensions supérieures

Une variété projective X est dite minimale si le degré de la restriction du fibré canonique K_X à toute courbe algébrique de X est non négatif (on dit que le fibré est nef (en)). Si X est une surface (une variété de dimension 2), on peut supposer que X est lisse, mais en dimension supérieure on doit admettre certaines singularités (n'empêchant pas K_X de se comporter de façon régulière) ; on parle de singularités terminales (en).

Avec cette définition, la « conjecture du modèle minimal » implique que toute variété X peut être couverte par des courbes rationnelles, ou être birationnelle à une variété minimale Y ; lorsque c'est le cas, on dit encore que Y est un modèle minimal de X.

En dimension ≥ 3, on n'a plus l'unicité, mais deux variétés minimales birationnelles sont très proches : elles sont isomorphes en dehors de sous-ensembles de codimension au moins 2, et plus précisément sont reliées par une suite d'opérations de chirurgie (les flops). Ainsi, la conjecture du modèle minimal aurait pour conséquence d'importantes contraintes sur la classification birationnelle des variétés algébriques.

La conjecture a été démontrée en dimension 3 par Mori, et des progrès importants ont été accomplis en dimension supérieure. En particulier, Caucher Birkar, Paolo Cascini, Christopher Hacon et James McKernan ont démontré que toute variété de type général (de dimension de Kodaira égale à la dimension algébrique) sur un corps de caractéristique nulle admet un modèle minimal.

Variétés uniréglées

Une variété est dite uniréglée si elle est recouverte par des courbes rationnelles. Les variétés réglées n'ont pas de modèle minimal; Birkar, Cascini, Hacon et McKernan ont montré que (sur un corps de caractéristique nulle) elles sont toutes birationnelles à un espace fibré de Fano. Ce résultat amène à classifier ces espaces, et en particulier à classifier les variétés de Fano (en) (qui sont, par définition, les variétés projectives X dont le fibré anticanonique K_X^* est ample (en)). Ces variétés peuvent être vues comme les plus proches des espaces projectifs.

En dimension 2, toute variété de Fano (également appelées surfaces de Del Pezzo) sur un corps algébriquement clos est rationnelle. En dimension supérieure, l'existence de variétés de Fano non rationnelles a été une découverte majeure des années 1970. C'est en particulier le cas en dimension 3 des variétés cubiques lisses, et des quartiques lisses. Le problème de la détermination exacte des variétés de Fano rationnelles est loin d'être résolu ; ainsi on ignore s'il existe des hypersurfaces cubiques non rationnelles dans Pⁿ⁺¹ lorsque n ≥ 4.

Groupes d'automorphismes birationnels

Le nombre d'automorphismes birationnels d'une variété algébrique est extrêmement variable. Les variétés de type général sont extrêmement rigides : leur groupe d'automorphismes birationnels est fini. Inversement, le groupe d'automorphismes birationnels de l'espace projectif Pⁿ sur le corps k, appelé le groupe de Cremona (en) Cr_n(k), est très grand (ayant un système infini de générateurs) pour n ≥ 2. Dans le cas n = 2, le groupe de Cremona complexe Cr₂(C) est engendré par la transformation : [x,y,z] ↦ [1/x, 1/y, 1/z] et par le groupe PGL(3,C) des automorphismes projectifs de P², d'après des résultats de Max Noether et Guido Castelnuovo. En revanche, on ne connait pas de système explicite de générateurs pour les groupes de Cremona de dimension n ≥ 3.

Iskovskikh–Manin (1971) ont montré que le groupe d'automorphismes birationnels d'une quartique lisse de dimension 3 est égal à son groupe d'automorphismes, lequel est fini. Ce phénomène de « rigidité birationnelle » a été découvert depuis dans beaucoup d'autres fibrés de Fano.

Références

• (en) Dan Abramovich, Kalle Karu, Kenji Matsuki et Jarosław Włodarczyk, « Torification and factorization of birational maps », Journal of the American Mathematical Society, vol. 15,‎ 2002, p. 531–572 (DOI 10.1090/S0894-0347-02-00396-X).
• (en) Caucher Birkar, Paolo Cascini, Christopher D. Hacon et James McKernan, « Existence of minimal models for varieties of log general type », Journal of the American Mathematical Society, vol. 23, n^o 2,‎ 2010, p. 405–468 (DOI 10.1090/S0894-0347-09-00649-3, arXiv math.AG/0610203).
• (en) Herbert Clemens et Phillip Griffiths, « The intermediate Jacobian of the cubic threefold », Annals of Mathematics, The Annals of Mathematics, Vol. 95, No. 2, vol. 95, n^o 2,‎ 1972, p. 281.356 (ISSN 0003-486X, DOI 10.2307/1970801, JSTOR 1970801, MR 0302652)
• Olivier Debarre, Higher-Dimensional Algebraic Geometry, Springer-Verlag, 2001 (ISBN 0-387-95227-6, MR 1841091)
• (en) Phillip Griffiths et Joseph Harris, Principles of Algebraic Geometry, New York, John Wiley & Sons, 1978, 813 p. (ISBN 0-471-32792-1, MR 0507725)
• (en) Robin Hartshorne, Algebraic Geometry, New York/Berlin/Paris etc., Springer-Verlag, 1977, 496 p. (ISBN 0-387-90244-9, MR 0463157)
• (en) V. A. Iskovskih et Ju. I. Manin, « Three-dimensional quartics and counterexamples to the Lüroth problem », Matematicheskii Sbornik, vol. 86,‎ 1971, p. 140–166 (DOI 10.1070/SM1971v015n01ABEH001536, MR 0291172)
• (en) János Kollár et Shigefumi Mori (trad. du japonais), Birational Geometry of Algebraic Varieties, Cambridge GB, Cambridge University Press, 1998, 254 p. (ISBN 0-521-63277-3, MR 1658959)
• (en) Shigefumi Mori, « Flip theorem and the existence of minimal models for 3-folds », American Mathematical Society, vol. 1, n^o 1,‎ 1988, p. 117–253 (ISSN 0894-0347, DOI 10.2307/1990969, JSTOR 1990969, MR 924704)

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Birational geometry » (voir la liste des auteurs).