arXiv:math/9807020v1 [math.AG] 3 Jul 1998
SURFACES ELLIPTIQUES R´
EELLES
ET IN´
EGALIT´
E DE RAGSDALE-VIRO
Fr´
ed´
eric Mangolte
mangolte@univ-savoie.fr
Fax: (33) 4 79 75 87 42
English title: Real elliptic surfaces
and Ragsdale-Viro inequality
Abstract. On a real regular elliptic surface without multiple fiber, the Betti number
h1and the Hodge number h1,1are related by h1h1,1. We prove that it’s always
possible to deform such algebraic surface to obtain h1=h1,1. Furthermore, we can
impose that each homology class can be represented by a real algebraic curve. We
use a real version of the modular construction of elliptic surfaces.
R´
esum´
e. Pour une surface elliptique r´eelle eguli`ere et sans fibre multiple, le nombre
de Betti h1et le nombre de Hodge h1,1sont les par l’in´egalit´e h1h1,1. On montre
qu’on peut toujours d´eformer une telle surface alg´ebrique pour obtenir h1=h1,1.
De plus, on peut imposer que chaque classe d’homologie soit repr´esentable par une
courbe alg´ebrique r´eelle. On utilise une version adapt´ee au cas r´eel de la construction
des surfaces elliptiques modulaires.
1. Introduction
Une vari´et´e projective (ou quasi-projective) Xest dite r´eelle ou d´efinie sur R
lorsque Xest munie d’une involution anti-holomorphe σXappel´ee structure r´eelle.
Dans ce cas, on appelle partie r´eelle de Xet on note X(R), l’ensemble des points
fixes de σX. Par convention, une surface est projective lisse. Une surface est dite
elliptique s’il existe une application holomorphe surjective π:X∆ o`u ∆ est une
courbe lisse compacte et la fibre en´erique de πest une courbe de genre 1. Une telle
surface est dite elliptique r´eelle lorsque Xet ∆ sont d´efinies sur Ret πσX=σπ
o`u σest la structure r´eelle de ∆.
D’apr`es un r´esultat de V. Kharlamov, [Kha], une surface elliptique r´eelle X
r´eguli`ere (i.e. telle que H1(X, OX) = {0}) et sans fibre multiple, v´erifie l’in´egalit´e
de Ragsdale-Viro
(1.1) h1(X(R)) h1,1(X)
1991 Mathematics Subject Classification. 14J27 14C25 14P25.
Key words and phrases. Algebraic cycles, Topology of Real algebraic surfaces, Modular Elliptic
surfaces.
2 FR´
ED´
ERIC MANGOLTE
o`u h1(X(R)) est le rang du premier groupe d’homologie H1(X(R),Z/2) de X(R)
et h1,1(X) = dimCH1(X, 1
X). Maintenant, on note halg
1(X(R)) le rang du sous-
groupe de H1(X(R),Z/2) engendr´e par les classes fondamentales de courbes alg´eb-
riques r´eelles (voir [BH]). On a alors halg
1(X(R)) h1(X(R)).
Le nombre h1,1est invariant par d´eformation et le r´esultat principal de ce travail
est :
(1.2) Th´eor`eme. Toute surface elliptique r´eguli`ere sans fibre multiple peut ˆetre
d´eform´ee sur Cen une surface elliptique r´eelle telle que halg
1=h1=h1,1.
Remarques. Une surface d’Enriques Xest elliptique r´eguli`ere avec deux fibres mul-
tiples. Pour une telle surface, on a h1,1(X) = 10, mais il n’existe aucune surface
d’Enriques r´eelle telle que halg
1=h1= 10. En revanche, il existe des surfaces
d’Enriques r´eelles telles que halg
1= 11 et h1= 12, cf. [DKh] et [MavH].
On ne peux pas esp´erer une version du th´eor`eme 1.2 avec d´eformation sur R. En
effet, mˆeme si h1(X(R)) = h1,1(X), il peut n’exister aucune d´eformation sur Rde
Xtelle que halg
1=h1,1, voir `a ce sujet le comportement des surfaces K3, [Ma].
Le point cl´e dans la preuve du th´eor`eme 1.2 est la construction d’une suite
{Xk}k1de surfaces elliptiques r´eelles qui v´erifient halg
1(Xk(R)) = h1,1(Xk), cf.
th´eor`eme 5.3.
Les surfaces Xksont des surfaces elliptiques modulaires au sens de T. Shioda
[Sho] dont on a adapt´e les constructions au cas r´eel. Jusqu’`a pr´esent, les surfaces
elliptiques modulaires ne semblent pas avoir ´et´e utilis´ees en g´eom´etrie alg´ebrique
r´eelle.
Le plan de cet article est organis´e comme suit : la section 2 est consacr´ee aux
pr´eliminaires sur les courbes de genre 1 r´eelles, les r´ef´erences sont [Si3] et [Sil].
Dans la section 3, on montre comment utiliser les constructions analytiques de
K. Kodaira [Ko] en r´eel. Grˆace `a la classification des bres singuli`eres des pinceaux
r´eels de courbes elliptiques due `a R. Silhol [Si1], on r´eduit alors le probl`eme `a
la construction de surfaces elliptiques avec fibres singuli`eres donn´ees a priori. La
section 4 est consacr´ee aux surfaces elliptiques modulaires r´eelles. On adapte les
travaux de T. Shioda [Sho] et M. Nori [No] pour r´eduire le probl`eme `a la recherche
de groupes Fuchsiens arithm´etiques particuliers. Enfin, en section 5, on donne
les domaines fondamentaux d’une suite de groupes Γkqui servent de base `a la
construction des surfaces Xk.
Je tiens `a remercier V. Kharlamov pour m’avoir indiqu´e le esultat (1.1) et
P. Schmutz Schaller pour son aide dans la construction des domaines fondamentaux
de la section 5.
2. Pr´
eliminaires : Courbes de genre 1 r´
eelles
On note H={zC/(z)>0}le demi-plan sup´erieur. L’action du groupe
PSL(2,R) = SL(2,R)/1}sur Hest not´ee z7→ A.z o`u A.z =az+b
cz+dsi Aest
repr´esent´e par a b
c d ,ad bc = 1. L’involution σH:z7→ −¯zde Hest anti-
holomorphe. On note S: SL(2,R)SL(2,R), a b
c d 7→ ab
c d , claire-
ment Sinduit une involution sur PSL(2,R) que l’on notera encore S. Soit z∈ H,
et soit APSL(2,R), alors σH(A.σH(z)) = S(A).z.
SURFACES ELLIPTIQUES R´
EELLES ET IN´
EGALIT´
E DE RAGSDALE-VIRO 3
Soit Γ un groupe Fuchsien (i.e. un sous-groupe discret de PSL(2,R)), σHinduit
une structure r´eelle sur le quotient H/Γ si et seulement si σHΓ = ΓσHi.e. si et
seulement si Γ est stable par S. Dans toute la suite, ce sont les sous-groupes d’indice
fini du groupe modulaire PSL(2,Z)PSL(2,R) qui vont nous int´eresser.
Soit Cune courbe projective lisse de genre 1, alors il existe τ∈ H tel que
C=C/(Z+τZ). R´eciproquement, soit τ∈ H, on note C(τ) la courbe quotient
C/(Z+τZ). La fonction modulaire elliptique est not´ee j:H → C. Le signe
=
signifie isomorphe sur C. La proposition suivante est classique.
(2.1) Proposition. Soit (τ, τ) H × H, les trois assertions suivantes sont ´equi-
valentes.
(1) C(τ)
=C(τ);
(2) j(τ) = j(τ);
(3) il existe APSL(2,Z), tel que A.τ =τ.
On note donc j(C) = j(τ) pour τquelconque tel que C(τ)
=C.
La fonction j:H → Cest d´efinie sur R, c’est-`a-dire que τ∈ H,j(τ) = j(σH(τ)).
(2.2) Proposition. Soit Cune courbe projective lisse de genre 1, les trois asser-
tions suivantes sont ´equivalentes.
(1) Cpeut ˆetre d´efinie sur R;
(2) j(C)R;
(3) τ∈ H/ C(τ)
=Cet 2(τ)Z.
Soit τ∈ H v´erifiant 2(τ)Z, la structure r´eelle induite sur C(τ) = C/(Z+τZ)
par la conjugaison complexe de Cest telle que C(τ)(R)6=.
(2.3) Proposition. Lorsque Cest munie d’une structure r´eelle, on a
si #C(R) = 2, alors j(C)1et τ∈ H/ C(τ)
=Cet (τ)Z
si #C(R) = 1, alors j(C)1et τ∈ H/ C(τ)
=Cet 2(τ)est un entier
impair.
(2.4) Remarque. Le cas j(C) = 1 correspond aux courbes y2=x3+xet y2=x3x
qui sont isomorphes sur Cpar (x, y)7→ (ix, ζ), o`u ζ2=i. La premi`ere courbe
poss`ede une partie r´eelle connexe, la partie eelle de la seconde courbe poss`ede deux
composantes connexes.
3. Surfaces elliptiques r´
eelles
On consid`ere une surface elliptique r´eelle π:X∆. On suppose que πposs`ede
au moins une fibre singuli`ere, est sans fibre multiple et qu’aucune courbe excep-
tionnelle n’est contenue dans une fibre.
Par hypoth`ese, ∆ est munie d’une involution anti-holomorphe σ. On note Cu=
π1{u}la fibre au dessus de u∆. On consid`ere un ensemble fini Σ ∆ stable
par σtel que Cuest lisse pour tout u= \Σ. Comme Σ est stable par σ,
munie de la restriction de σest encore r´eelle.
L’invariant fonctionnel de πest la fonction m´eromorphe J: ∆C,u7→ j(Cu)
(cf. Section 2). Par construction Jest d´efinie sur R, i.e. Jσ=¯
J. On peut
prolonger Jen une fonction holomorphe J: P1(C) qui v´erifie Jσ=conj J
o`u conj est la conjugaison complexe sur P1(C).
4 FR´
ED´
ERIC MANGOLTE
Maintenant X|=π1(∆)est un fibr´e diff´erentiel en tores, donc les
groupes d’homologie des fibres {H1(Cu(C),Z)}uforment un faisceau localement
constant au dessus de ∆. On peut ´etendre ce faisceau `a ∆, [Ko, §7]. Ce faisceau
´etendu Gest l’invariant homologique de π. De mˆeme que J,Gest d´efini sur R.
Si Jest non constante, on peut ´etendre l’ensemble fini Σ, avec σ(Σ) = Σ, pour
obtenir u,J(u)6∈ {0,1,∞}. On note ρ:π1(∆)SL(2,Z) l’homomor-
phisme de monodromie associ´e. Le morphisme ρest une repr´esentation de π1(∆)
qui d´etermine et est d´etermin´e par le faisceau G. Comme πest r´eelle, pour tout
απ1(∆), on a ρ(σ(α)) = S(ρ(α)) o`u σest l’involution induite par σsur
π1(∆) et Sest d´efinie au d´ebut de la section 2.
Soit uΣ et soit απ1(∆) l´el´ement repr´esent´e par un lacet simple tournant
dans le sens positif autour de u. Le point uest un pˆole de Jsi et seulement si
l’ordre de ρ(α) est infini. Dans ce cas, ρ(α) est conjugu´ee dans SL(2,Z) `a une
matrice d’une des formes
(3.1) 1m
0 1 ou 1m
01avec m > 0
cf. [Ko §9]. Dans le premier cas, on dit que la fibre Cuest du type Imet dans le
second cas, du type I
m.
Si uest un pˆole de Jappartenant `a ∆(R), Cuest r´eelle et les types r´eels possibles
de Cu(R) sont classifi´es par la table (3.2) ci-dessous extraite de [Si2, Th. VII(1.5)].
On suppose que πadmet une section r´eelle, soit uun point de ∆(R) voisin de u.
Alors la fibre Cuest lisse et Cu(R) poss`ede une ou deux composantes connexes.
Dans la deuxi`eme colonne de la table, on a indiqu´e le nombre de composantes
connexes de Cu(R) s’il reste constant lorsque uvarie au voisinage de udans ∆(R).
On a indiqu´e ” si #Cu(R) change au voisinage de u. Les colonnes 3 et 4 donnent
la charact´eristique d’Euler topologique de Cu(R) et Cu. La derni`ere colonne donne
le nombre ξ(Cu)1 de composantes irr´eductibles de Cuqui ne rencontrent pas la
section.
(3.2)
Type complexe
I
m, m pair
I
m, m impair
Im, m pair
Im, m impair
#Cu(R)
2
1
2
2
1
1
χ(Cu(R))
m4
m2
m4
m2
m
0
m
0
m
1
χ(Cu)
m+ 6
m
ξ(Cu)1
m+ 4
m1
Pour simplifier, et comme cela suffira pour la suite, on a laiss´e de cˆot´e les fibres
singuli`eres qui pourraient apparaˆıtre en dehors des pˆoles de J. Remarquons que
deg(J) = Ptmlo`u test le nombre de pˆoles de J. Pour une surface elliptique, la
SURFACES ELLIPTIQUES R´
EELLES ET IN´
EGALIT´
E DE RAGSDALE-VIRO 5
charact´eristique d’Euler topologique vaut 12 fois la charact´eristique d’Euler holo-
morphe χ(OX). Si toutes les fibres singuli`eres de πsont de type Iou I, on tire de
l’avant-derni`ere colonne de la table (3.2) :
(3.3) 12χ(OX) = µ+ 6ν(I)
o`u µ= deg(J) et ν(I) est le nombre de fibres du type I.
Au vu de la table 3.2, on n’a pas de formule aussi en´erale pour les invariants
r´eels, voir l’exemple 4.6 et la preuve du th´eor`eme 5.3.
4. Surfaces elliptiques modulaires r´
eelles
Soit Γ PSL(2,Z) un sous-groupe d’indice fini, en particulier Γ est un groupe
Fuchsien arithm´etique. Comme Γ op`ere sur P1(Q), le quotient
Γ= (H ∪ P1(Q))/Γ
est bien d´efini. Par hypoth`ese, le nombre de classes de conjugaisons paraboliques
de Γ est fini donc ∆Γest une courbe projective lisse cf. [Shm, §1.3 et §1.5]. Si
ΓΓest un sous-groupe, alors l’application canonique de H/Γ sur H/Γs’´etend
en une application holomorphe de ∆Γsur ∆Γ. En particulier, on a une application
holomorphe
JΓ: ∆ΓP1
en prenant Γ= PSL(2,Z) et en identifiant ∆Γavec P1via la fonction j, cf.
section 2. Si on suppose de plus que Γ est stable par S, ∆Γet JΓsont naturellement
d´efinis sur R.
L’application JΓest ramifi´ee seulement au dessus des trois points 0, 1 et , cf.
[No, prop. 2.1]. De plus, le degr´e de JΓest ´egal `a l’indice de Γ dans PSL(2,Z)
deg JΓ= [PSL(2,Z) : Γ]
Notons ∆= ∆Γ\J1
Γ{0,1,∞} et p:H → le revˆetement universel. Par
construction, il existe un isomorphisme w:H → H qui fait commuter le diagramme
(4.1)
Hw
→ H
p
yj
y
JΓ
P1\{0,1,∞}
et qui v´erifie wσH=σHw. De l`a, il existe une unique repr´esentation
ρ:π1(∆)ΓPSL(2,Z).
telle que απ1(∆), ˜u∈ H,ρ(α).w(˜u) = w(α.˜u) et ρ(σ(α)) = S(ρ(α)). Main-
tenant chaque rel`evement ρ:π1(∆)SL(2,Z) de ρerifie encore ρ(σ(α)) =
S(ρ(α)). Il est facile d’adapter au cas eel la construction de Kodaira [Ko, p. 578],
pour montrer qu’il existe une surface elliptique
π:XΓ
d´efinie sur Ret poss´edant une section r´eelle ayant pour invariants JΓet ρ.
1 / 11 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !