Fibré en coniques

Fibré en coniques

Un fibré en conique est une variété algébrique.

Richard et Ilse Brauer en 1970

Ces surfaces apparaissent historiquement comme les solutions d'une équation cartésienne de la forme X2 + aXY + bY2 = P(T).

Théoriquement, on les considère comme des surfaces de Severi[1]-Brauer. Plus précisément comme des surfaces de Chatelet. On les obtient comme revêtement de degré 2 d'une surface réglée standard.

On peut également les regarder, à isomorphisme près, comme associé à un symbole (a,P) dans le groupe cohomologique numéro 2 du corps k.

En réalité, il s'agit de surfaces très simples, dont on connaît bien les groupes de diviseurs [2] et qui, pour les plus simples, se partagent avec les[3]surfaces de Del Pezzo le privilège d'être rationnelles. Toutefois de nombreux problèmes de mathématiques contemporaines demeurent ouverts, notamment, pour celles qui ne sont pas rationnelles, celui de leur unirationalité, c'est-à-dire de l'existence, sur ces surfaces d'au moins une courbe algébrique.

Sommaire

Une version naïve

Pour décrire correctement un fibré en coniques, il convient d'abord de réduire la forme quadratique du membre de gauche. On obtient ainsi, après un changement de variable innocent, une expression simple, du type X2aY2 = P(T).

Dans un second temps, il convient de se placer dans un espace projectif de façon à compléter la surface à l'infini.

Pour cela, on écrit l'équation en coordonnées homogènes et on exprime en premier lieu la partie visible du fibré. Pour  t\in A^1_k et (x:y:z)\in P^2_k vérifiant X2aY2 = P(T)Z2.

Cela ne suffit pas pour compléter le fibré (de façon propre et lisse), et on le recolle alors à l'infini par un changement de cartes classique :

Vu de l'infini, (c'est-à-dire au travers du changement  t \mapsto t'=\frac 1 t), le même fibré (exceptées les fibres t = 0, et t' = 0), s'écrit comme l'ensemble des solutions de X'2aY'2 = P * (T')Z'2P * (T') apparaît naturellement comme le polynôme réciproque de P. On détaille ci dessous ce qu'il en est du changement de cartes (x':y':z').

Le fibré Fa,P

Pour aller un peu plus loin, tout en simplifiant la question, on se limite au cas où le corps k est de caractéristique nulle et on note par m un entier naturel non nul. On note P(T) un polynôme à coefficients dans le corps k, de degré 2m ou 2m − 1, mais sans racine multiple. On considère le scalaire a \in k^* \setminus k^{*2}, élément non carré du corps de base.

On définit P^*(T)=T^{2m}P({1\over T}); le polynôme réciproque de P, et on note Fa,P le fibré défini de la manière suivante :

Définition :

Fa,P est la surface obtenue en recollant les deux surfaces : U et U' de   {P}_{1,k} \times { A}^1_k d'équations X2aY2 = P(T)Z2 et X'2aY'2 = P * (T')Z'2 le long des ouverts \lbrace T \neq 0\rbrace et \lbrace T' \neq 0\rbrace par les isomorphismes x' = x, , y' = y, et z' = ztm.

On montre le résultat suivant :

Propriété fondamentale :

La surface Fa,P est une k surface propre et lisse; l'application p définie par p:((x:y:z),t) \rightarrow t sur U et p:((x':y':z'),t') \rightarrow t' sur U' munit Fa,P d'une structure de fibr\'e en coniques sur P1,k.

L'Intérêt de cette approche

Elle permet de donner d'un fibré en conique un modèle simple. Elle permet surtout d'exhiber le revêtement de ce fibré en conique comme celui d'une surface réglée standard. Le langage classique, en terme cohomologique, s'y retrouve aisément. On examinera pour s'en convaincre le problème de l'unirationalité [4].

Unirationnalité

La question de l'unirationalité de ces surfaces algébriques est ouvert[5]. il s'agit de tracer sur la surface une courbe algébrique (c'est-à-dire qu'on ne s'autorise que des annulations de polynomes) dont les coefficients sont dans le corps de base.

L'existence d'une telle courbe répond à un certain type de conjectures sur les surfaces de Séveri-Brauer : voir Conjectures de Mazur. Il s'interprète en termes cohomologiques de la façon suivante :

Soit K un corps et {\overline K} sa clôture séparable ; le groupe de cohomologie galoisienne Br(K)=H^2(K, {\overline K}^*) est le groupe de Brauer du corps K.

On note 2Br(K) le sous-groupe de Br(K) formé des éléments tués par 2.

Si A et B sont deux éléments de K * , le cup produit (A,B)_K\in H^2(K, \mu_2)=\ _2Br(K)\subset Br(K) des classes de A et B dans K * / K * 2 = H1(K2) caractérise la conique d'\'equation : X2AY2BZ2 = 0 à K isomorphisme près.

On en déduit que la conique X2AY2BZ2 = 0 a des points rationnels dans un sur-corps L de K si et seulement si l'image (A,B)_L\in _2Br(L) de (A,B)_K\in _2Br(K) par le morphisme de restricition est triviale.

L'unirationalité du fibré se traduit dans ce langage en prenant K = k(T)k est un corps de nombres. Généralement, on se limite dans le cas où le symbole s'écrit (a,P(T))k(T) avec a un élément de k.

Si \beta(U)\in k(U) est une fraction rationnelle non constante, on note \beta^*:Br(k(T)) \to Br(k(U)) le morphisme de restriction associé à l'injection du corps k(T) dans le corps k(U) qui envoie T sur β(U).

On a β * (a,P(T))k(T) = (a,P(β(U))k(U).

Dans ce langage, l'unirationalité du fibré en coniques X2aY2 = P(T)Z2 est bien équivalente à l'existence d'une fraction rationnelle non constante {\beta(U) \in k(U)} telle que (a,P(β(U))k(U) est l'élément neutre de Br(k(U)).

En effet, cela traduit simplement l'idée qu'il existe trois fractions rationnelles X(u) ; Y(u) ; β(u) définies sur K telles que l'égalité X(u)2aY(u)2 = P(β(u)) soit vraie dans K(u)

Enfin, le corps k étant de caractéristique 0, la suite exacte de Fadeev (cf ci-dessous) permet d'exprimer la nullité d'un élément de Br(k(U)) en termes de résidus.

Notes

  1. [1] Article en anglais sur Francesco Severi
  2. [2] Les groupes de Picard sur Wikipédia (en)
  3. [3] Les surfaces de Del Pezzo sur Wikipédia (en)
  4. [4] Exemple d'étude de l'unirationalité d'un fibré.
  5. [5]un exemple de problématique par Jean-Louis.Colliot-Thelene

Références

Quelques articles récents sont disponibles sur :


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Fibré en coniques de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Fibré —  Pour l’article homonyme, voir Fibre.   Ne pas confondre avec une fibration ni avec un espace filtré. En mathématiques, un espace fibré est la donnée d un espace topologique appelé espace total muni d une projection continue sur un …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Surface réglée standard — En mathématiques, et plus précisément en géométrie algébrique, une surface réglée standard est une variété algébrique, qui propose un modèle simple de surface réglée. On obtient ainsi une classification de toutes les surfaces réglées à… …   Wikipédia en Français

  • Polynome aux inverses — Polynôme aux inverses En algèbre, le polynôme aux inverses P’ associé à un polynôme P non nul sur un anneau est un polynôme défini par : Une propriété interessante est que : Exemple Soit P un polynôme non nul. Alors P est de degré …   Wikipédia en Français

  • Francesco Severi — Naissance 13 avril 1879 Arezzo (Italie) Décès 8 décembre 1961 Rome (Italie) …   Wikipédia en Français

  • Extraction De L'huile D'olive — Traduction à relire Estrazione dell olio d oliva → …   Wikipédia en Français

  • Extraction de l'huile d'olive — Traduction à relire Estrazione dell olio d oliv …   Wikipédia en Français

  • Programme d'Erlangen — Le programme d Erlangen est un programme de recherche mathématique publié par le mathématicien allemand Felix Klein en 1872, dans le mémoire Vergleichende Betrachtungen über neuere geometrische Forschungen (ou « Étude comparée de différentes …   Wikipédia en Français

  • Catégorie des variétés différentielles — Variété (géométrie) Pour les articles homonymes, voir Variété. Réalisation du ruban de Möbius, à partir du collage d une bande de papier. Le bord n est que d …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”