# Fibré en coniques

En géométrie algébrique, un fibré en conique est une variété algébrique particulière. Ces surfaces apparaissent historiquement comme les solutions d'une équation cartésienne de la forme
$X^{2}+aXY+bY^{2}=P(T).$
Théoriquement, on les considère comme des surfaces de Severi-Brauer (en). Plus précisément comme des surfaces de Châtelet. 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ées à un symbole $(a,P)$ dans le deuxième groupe de cohomologie du corps $k$.
Il s'agit de surfaces dont on connaît bien les groupes de diviseurs et qui, pour les plus simples, se partagent avec les surfaces de Del Pezzo (en) la propriété 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.

## 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 $X^{2}-aY^{2}=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^{2}-aY^{2}=P(T)Z^{2}$.
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é les fibres $t=0,$ et $t'=0$), s'écrit comme l'ensemble des solutions de $X'^{2}-aY'^{2}=P^{*}(T')Z'^{2}$ 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^{*}\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 $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^{2}-aY^{2}=P(T)Z^{2}$ et $X'^{2}-aY'^{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'=zt^{m}$.
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)\rightarrow t$ sur $U$ et $p:((x':y':z'),t')\rightarrow t'$ sur $U'$ munit $F_{a,P}$ d'une structure de fibré 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é.

## 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 polynômes) 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 Severi-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 $_{2}Br(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})=\ _{2}Br(K)\subset Br(K)$ des classes de $A$ et $B$ dans $K^{*}/K^{*2}=H^{1}(K,\mu _{2})$ caractérise la conique d'équation : ${X^{2}-AY^{2}-BZ^{2}=0}$ à $K-$isomorphisme près.
On en déduit que la conique ${X^{2}-AY^{2}-BZ^{2}=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 restriction 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 ^{*}: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 $\beta (U)$.
On a $\beta ^{*}(a,P(T))_{k(T)}=(a,P(\beta (U))_{k(U)}$.
Dans ce langage, l'unirationalité du fibré en coniques $X^{2}-aY^{2}=P(T)Z^{2}$ est bien équivalente à l'existence d'une fraction rationnelle non constante ${\beta (U)\in k(U)}$ telle que $(a,P(\beta (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)$ ; $\beta (u)$ définies sur $K$ telles que l'égalité $X(u)^{2}-aY(u)^{2}=P(\beta (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.