Surface réglée standard

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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 à isomorphisme algébrique près. F_m désigne dans ce langage l'unique surface réglée possédant une courbe géométriquement intègre de self-intersection -m.

Version naïve[modifier | modifier le code]

Ici, k désigne un corps de caractéristique zéro. On réalise une k-forme de cette surface pour tout m entier, on note F_m le fibré défini de la façon suivante :

On considère deux copies de P_{1,k}\times A^1(k), que l'on recolle par l'isomorphismes  ([x:z],t)\mapsto ([x':z'],t') défini par  x'=x,z'=zt^m et t'=\frac 1 t.

 [x:z] désignant un système de coordonnées homogènes de la droite projective  P_1,k, fibré au-dessus de la droite affine  A^1(k), dans la première carte.

On note  V (X'\neq 0) et  V'(X\neq 0) , les ouverts (au sens de la topologie de Zariski) isomorphe à P_{1,k}\times A^1(k) ainsi obtenus.

Les deux morphismes {((x:z),t) \rightarrow t} de V sur { A}^1_k et {((x':z'),t')\rightarrow
t'} de V' sur { A}^1_k

se recollent en un morphisme \rho de F_m sur {P}_{1,k} qui fait de F_m une surface réglée.

La surface obtenue est appelée surface réglée standard d'indice d'autointersection -m.

Groupes de diviseurs[modifier | modifier le code]

Quelques courbes tracées sur F_m[modifier | modifier le code]

On définit d'abord des k-courbes :

C_o la courbe de trace {Z=0} sur V et Z'=0 sur V',

X_o la courbe de trace {X=0} sur V et X'=0 sur V'.

Pour tout t \in  P_1(\overline k), (la clôture algébrique de k), on note E_t la fibre de \rho au-dessus de t.

On observe en second lieu qu'il s'agit de courbes géométriquement intègres, dont on peut calculer les intersections.

Intersections des k-courbes

  • Les courbes C_o,X_o et, pour tout t\in P_1(k), la fibre E_t sont des k- courbes géométriquement intègres.
  • De plus X_o.C_o=0 , C_o^2=-m et
  • Pour tout t,t' \in  {P_1 (k)}, on a  X_o.E_t = C_o.E_t = 1, \ E_t.E_{t'}=0.

Ces résultat proviennent essentiellement du fait suivant : Le diviseur de la fonction de k(F_m) définie par {X \over Z} = {X' \over Z'T'^m} est X_o -mE_{\infty}-C_o, ainsi C_o.(X_o -mE_{\infty}-C_o)=0-m-C_o^2=0 et donc C_o^2=-m.

Le groupe de Picard[modifier | modifier le code]

Définition d'une base des diviseurs

On note f la classe des diviseurs de la fibre  E_\infty et c_o la classe de la courbe C_o.

Par commodité, on note h=c_0+mf de sorte que h^2=m ; f^2=0 ; fh=1 ;

Une description classique du groupe des diviseurs montre alors que Pic(F_m\times_k\overline k)={\Z}h \oplus {\Z}f.

Enfin on calcule sans difficulté la classe canonique  K de F_m en explicitant une 2-forme sur F_m. On obtient K=-2h+(m-2)f.

Intérêt de la représentation[modifier | modifier le code]

Voici une représentation concrète des surfaces réglées standard dans lesquelles le calcul du groupe de Picard s'effectue de façon relativement immédiate[1].

Pour toutes ces surfaces, il est isomomorphe à \Z^2. Cela se comprend intuitivement, les générateurs de ce groupe étant donnés par exemple par les diviseurs  T=0, qui est celui d'une fibre et par le diviseur de restriction  Z=0 sur la carte  U .

Connaissant la classe des diviseurs (dans le groupe de Picard, ) associée à une courbe tracée sur la surface réglée, on peut donc aisément en donner le genre arithmétique d'une courbe.

Un exemple[modifier | modifier le code]

Si P(T) désigne un polynôme de degré  2m sans facteur multiple, on note P^*(T') le polynôme réciproque de  P.

La courbe  R définie par sa trace sur  V par l'équation cartésienne

 X^2=P(T)Z^2 et par l'équation X'^2=P^*(T')Z'^2 sur la seconde carte

a pour classe de Picard associée :  r=2h et pour genre arithmétique :  g_a(r)=m-1.

Plus généralement, on peut lire assez facilement sur l'équation cartésienne de la trace d'une courbe dans l'ouvert V, sa classe de Picard, et son genre.

Notes[modifier | modifier le code]

  1. cat.inist.fr Un exemple d'étude du groupe de Picard des surfaces réglées

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Bibliographie[modifier | modifier le code]