Surface de Hirzebruch

En mathématiques, les surfaces de Hirzebruch, ou surfaces rationnelles géométriquement réglées, sont des surfaces algébriques complexes. Elles forment une famille ${\mathrm{\Sigma }}_n$, paramétrée par un entier n ≥ 0.

Avec le plan projectif, les surfaces ${\mathrm{\Sigma }}_0$ et ${\mathrm{\Sigma }}_r$ pour r > 1 sont les seules surfaces minimales rationnelles.

Classification, théorème de Hirzebruch

Une surface rationnelle géométriquement réglée est une surface rationnelle X munie d'un morphisme $\pi :X\to ℂP^1$ qui est une fibration algébrique ou holomorphe de fibre $ℂP^1$. Une telle surface s'identifie à ${\mathrm{\Sigma }}_0=ℂP^1\times ℂP^1$, ou possède une unique section d'auto-intersection négative –n. Cette section est dite exceptionnelle et notée s_∞. Ces surfaces possèdent également une section nulle s₀.

Friedrich Hirzebruch a montré que deux surfaces rationnelles géométriquement réglées ${\mathrm{\Sigma }}_n$ et ${\mathrm{\Sigma }}_m$ sont isomorphes (en tant que surfaces complexes) si et seulement si m = n. En tant que surfaces réelles, elles sont difféomorphes si et seulement si m et n ont même parité.

Transformations de Nagata élémentaires

Les surfaces rationnelles géométriquement réglées s'obtiennent les unes des autres par les transformations de Nagata élémentaires positives (${\mathrm{\Sigma }}_n\to {\mathrm{\Sigma }}_{n+1}$) et négatives (${\mathrm{\Sigma }}_n\to {\mathrm{\Sigma }}_{n-1}$), partant de ${\mathrm{\Sigma }}_0=ℂP^1\times ℂP^1$.

La transformation de Nagata négative consiste en un éclatement (blow up) en un point d'une fibre de la projection (n'appartenant pas à la section exceptionnelle), puis en la Modèle:Lien (blow down) le long de l'adhérence de la fibre privée de ce point. Le diviseur exceptionnel de l'éclatement prend alors le rôle de la fibre au-dessus de ce point. La transformation de Nagata positive consiste en un éclatement d'un point de la section exceptionnelle s_∞ et en une contraction de la fibre correspondante.

On obtient dans tous les cas une surface rationnelle par le critère de Castelnuovo.

Homologie, forme d'intersection, diamant de Hodge

L'homologie des surfaces rationnelles géométriquement réglées est connue :

$H_j({\mathrm{\Sigma }}_n)=\{\begin{array}{cc}\mathbb{Z}& j=0,4\\ {\mathbb{Z}}^2& j=2\\ 0& \text{sinon.}\end{array}$

En particulier, l'homologie HModèle:Ind est engendrée par les représentants de la section exceptionnelle et d'une fibre choisie au-dessus d'un point $x\in ℂP^1$ :

$H_2({\mathrm{\Sigma }}_n)\simeq \mathbb{Z}[s_{\mathrm{\infty }}]\oplus \mathbb{Z}[{\pi }^{-1}(x)].$

Dans cette base, la Modèle:Lien (qui découle de la dualité de Poincaré) a pour matrice de Gram (unimodulaire) :

$B=\left(\begin{array}{cc}-n& 1\\ 1& 0\end{array}\right).$

La forme quadratique binaire entière associée ne dépend donc (à équivalence près) que de la parité de n.

Le diamant de Hodge associé aux surfaces rationnelles géométriquement réglées est :

$\begin{array}{ccccc}& & 1& & \\ & 0& & 0& \\ 0& & 2& & 0\\ & 0& & 0& \\ & & 1& & \end{array}$

Étude des courbes trigonales

Les surfaces rationnelles géométriquement réglées se prêtent à l'étude des courbes Modèle:Lien, c'est-à-dire les courbes X telles que le degré minimal d'une application rationnelle $X\to ℂP^1$ est 3. Ces courbes incluent en particulier les courbes elliptiques.