Fibré en coniques

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

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

Théoriquement, on les considère comme des surfaces de Severi-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 et qui, pour les plus simples, se partagent avec les 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.

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 X − a**Y = 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_k^1$ et $(x:y:z)\in P_k^2$ vérifiant X − a**Y = P(T)Z.

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^{\prime }=\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' − a**Y' = P (T')Z' où P (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é F_a,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^{\ast }\setminus k^{\ast 2}$, élément non carré du corps de base.

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

Définition :

F_a,P est la surface obtenue en recollant les deux surfaces : U et U' de $P_{1,k}\times A_k^1$ d'équations X − a**Y = P(T)Z et X' − a**Y' = P (T')Z' le long des ouverts $\{T\ne 0\}$ et $\{T^{\prime }\ne 0\}$ par les isomorphismes x' = x, , y' = y, et z' = z**t.

On montre le résultat suivant :

Propriété fondamentale :

La surface F_a,P est une k − surface propre et lisse; l'application p définie par $p:((x:y:z),t)\to t$ sur U et $p:((x^{\prime }:y^{\prime }:z^{\prime }),t^{\prime })\to t^{\prime }$ sur U' munit F_a,P d'une structure de fibr\'e en coniques sur P_1,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é .

La question de l'unirationalité de ces surfaces algébriques est ouvert. 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}}^{\ast })$ est le groupe de Brauer du corps K.

On note ₂B**r(K) le sous-groupe de B**r(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)={}_{2}Br(K)\subset Br(K)$ des classes de A et B dans K / K = H(K,μ₂) caractérise la conique d'\'equation : X − A**Y − B**Z = 0 à K − isomorphisme près.

On en déduit que la conique X − A**Y − B**Z = 0 a des points rationnels dans un sur-corps L de K si et seulement si l'image $(A,B{)}_L{\in }_{2}Br(L)$ de $(A,B{)}_K{\in }_{2}Br(K)$ par le morphisme de restricition est triviale.

L'unirationalité du fibré se traduit dans ce langage en prenant K = k(T) où 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 }^{\ast }: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 X − a**Y = P(T)Z 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 B**r(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) − a**Y(u) = 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 B**r(k(U)) en termes de résidus.