manuscripta math.

14, 217 - 222 (1974)

9 by Springer-Verlag 1974

SUR LE PROBLEME DE LEVI DANS CERTAINS FIBRES

J~rBme BRUN

In this paper, we reduce the Levi Problem for open sets in a locally
trivial holomcrphic bundle o~ e Stein meni~old.w~th compact homogeneous
fibre, to the Levi Problem in the fibres of the bundle.

INTRODUCTION. On s'int6resse ~ un ~ibr6 analytique localement trivial

X, dont la base S est une varlet6 de Stein et la fibre F une vari6t~
homog~ne compacte.
Le r6sultat principal est une caract6risation des ouverts de
Stein d'un tel fibr@ : ce sont 1as ouverts localement pseudoconvexes
fibres de Stein. On donne des corollaires plus p~@cis dens l e c a s DO
la fibre est un tore de dimension un CCcrollaire I), un espace projec-
tif (Corollaire 2]. Enfin on donne, dens un cas tr~s particulier, la
r@ponse au probZ~me classique : le compos6 de deux morphismes de Stein
est-il de Stein ? [Ccrollaire 3).
Le r~sultat du Corollaire 1 e ~t6 ~tabli par Natsugu ([4]],
dens l e c a s du fibr@ trivial, par une m@thode 16g@rement diff6rente.

THEOREME. Soit (X,~,S) un fibr6 analytique localement trivial,

base S v ari~t__~ de Stei__n et ~ fibre F vari~t~ homog~ne com-
pacte. Soit A un ouvert localement pseudoconvexe de X, tel
que, pour tout s~ S, A ~ - l ( s ) soit de Stein.
,•
Alors A ,.est
de Stein.

DEMONSTRATION. S ~tant de Stein, il existe sur S une fonction q,C~et

strictement pZurisousharmonique, telle qua, pour tout c ~ :
S = {s~S I q(s) < c} ~ S (cf. Grauert [2] )
C

Soit A = A~ ~ IIS ) = {x(A I q o ~(x) < c}

C C

217
2 BRUN

LEMME 1. Si A est de Stein pour tout c ~ , alors A est de Stein.

- - C

DEMONSTRATION. A = {x~A I q o ~[x) < o}

C C+ 1
Or q o w e s t une fonction plurisousharmonique, Ac+ I e s t de Stein :
Ac est donc ~e Run~e dana Ac+ I (c#. Narasinham [5~ ). Alors

A = ~ A c eat de Stein [c#. Stein [6] ). C.9.F.D.

c@N
D'autre pert, on salt [cf. Hirschowitz [3] ) que X est infinit@si-
malement homog~ne (c'est-8-dire que l'espace tangent en tout point de
X est engendr@ par les sections analytiques globales du fibr@ tangent).
Ac+ I @tant localement pseudoconvexe et relativement compact dens X, il
existe [of. [3] ) une #onction :

d : AC+ I ,>

qui est t e l l e que

1) d>O

2) d tend vers z@ro ~ la fronti@re de Ac+ I

3] d est continue

4) - log d est une #onotion piurisousharmonique

S o i e n t Ap = {x6 I d[x} > 1 } ~

c+I Ac+1 ~ Ac+I

et A p = A~ t~w -I
c +1 ( SC)

LEMME 2. Si A p e s t de Stein pour tout p > O, alora A est de Stein.

C - - C - -

DEMONSTRATION. Identique & c e l l e du lemme 1 car :

Ap = {x~ A p+1 I log d(x) < log p}

C C

Donnons-nous meintenant deux nombres o e t p, avec p > O. Nous

allons 6tabiir que A p e s t de Stein.
C

218
 BRUN 3

LEMME 3. Pour tout S ~ S c + I, il existe un ouvert V ~ S c + I, pontenant s,

et un ouvert W ~ X, de Sitein, te__lqua :

Ap #~#-I[v) ~ ~ W
c+1

DEMONSTRATION. Les ouverts de Stein formant un syst~me ~ondamental de

voisineges, il existe un ouvert U ~ So+ I, de Stein, contenant s e t
trivLalisant pour le ~ibr6 X de telle sorte qu'on a un isomorphisme :

Dens U x F, on e :

et, s i on a p p e l l e B p, B p+I et B respectivement les projections sur F

s s s
des i n t e r s e c t i o n s de ces t r o i s ouverts avec~(~-l(s)), on a :
Bp ~ B p+I ~ B ~ F
S S S

On remarque qua B , q u i s ' i d e n t i ? i e avec l a { i b r e de A a u - d e s -

s
sus de s, est de S t e i n ,

Soit ~ : U x F.. > ~ d~finie par :

~(x) = d o~-l(x) si x(~(A~-I[u))

6Ix] = 0 sinon.

I1 est clair qua ~ est continue sur U x F.

Sur le compact {s)
x ( F \ B P + I ~ on a : 0 ~ 6 1
s p+l
(Y\Z d~si~ne le compl6mentaire de Z dens Y).

I1 existe donc un ouvert V, contenant s, qu'on peut choisir rela-

tivement compact dens U, t e l q u e , s u r V x { F \ B p + l } , on a i t
e
I
0~<~<--,
P
1
Or, sur ~ (APc+I~ - 1 ( V ) ) , on a : 6 > - ,
P
Donc : T (APc+l(~ ~ - I ( v ) ] ~ V x Bp+I ~ ~ U x B
s s
d'o~
-1 (U x B ]
s
-I
Or ~
(U x B ) est de Stein car U et B dont de Stein, ce qui
e s
d~montre le lemme 3.

219
 4 BRUN
w
S c 6tent un compact de Sc+ I, il exista d'apr@s le lemme pr@c6dent,
n
des ouverts V 1 ..... Vn de Sc, avec U V.z = So, tels que, pour tout
i=I
i, I ,< i ~< n, ii exists un cuvert W. de Stein ~vec :
1
AP r ~ - l [ v . ) c~w.
c 1 z

W. 6tant de Stein, il exists une fonctioo F. : W. ~ ~ R qui

1 1 1
est strictement p l u r i s o u s h e r m o n i q u e e t C~ . S o i t f . l a r e s t r i c t i o n
1
de F, 8 AP~-I(v.]
1 c 1
On peut construire des ~onctions C | , h . , 1~< i,< n 9
1
n
h. : S ", EO 1] avec supp h i e V i e t [ h. = I sur S
z c ' z c'
i=I
Alors les fonctions suivantes f e t g, de A p danslq sont :
c
n

"f .' x b - - " ~ ' f ( x ) = ~ hi(~T(X)] fi[x]

i=I
g ; x ~--~g[x) = q[~{x]).

Comma cheque fonction f. est la restriction d'une fonction F.

1 1
strictement plurisousharmonique, il est facile de voir que f e s t 3a
restriction ~ A p d'une ~oncticn d6finie sur un voisinage de ~P at
c c
strictement plurisousharmonique le lon~ des fibres.
De m~ms, g est restriction
b A p d'une fonction d6finie sur
c
tout • et strictement plurisousharmonique dans las directions trans-
verses aux fibres.
II exists dsnc une constants K tells qua la fonction f + Kg soit
strictement plurisousharmonique sur A p.
c
A p 6tant un ouvert localement pseudoconvexe et relativement com-
c
pact de le vari6t6 in~init~simelement homog6ne X, il exists une fonc-
tion e : A p - - - ~ qui est plurisousharmonique propre [c~.[3]].
O

Alors la fonction e + f + Kg est strictement plurisousharmonique

propre. A p e s t doric de Stein (cf. [2] ] e t @~alement A d'apr6s les lem-
c
mes 2 et I. C,Q.F,O.

220
 BRUN 5

COROLLAIRE I. Suit X un fibr@ analytique localement trivial ~ base S

une vari@t~ de Stein et ~ fibre T u n tore de dimension u n.
S_i & est un ouvert localement pseudoconvexe d__e X ne conte-
nant aucune fibre, alors A est de Stein.

DEMONSTRATION. D'apr~s le th@or@me il suffit de montrer qua, pour tout"

s~ S, A ~ - 1 ( s ) est de Stein : or A ~ - 1 ( s ) s"identifie & une oourOe
sans composante connexe compacte. C.O.F,D,

COROLLAIRE 2. Suit X un fibr~ analytique localement trivial & base

Sune veri6t6 de Stein et ~ f i b r e ~ (C) ~'espace projec-
n
tif comPlexe. S_i A est u__onouver_____t l ocalement ps@udoconvexe
d~e X n e contenant aucune fibre, alors A est de Stein.

DEMONSTRATION. Ii suffit de remarquer que pour tout s~ S, Af~-1[s)

s'identifie ~ un ouvert localement pseudoconvexe dean(C), et diff~-
rent de[Pn(C) : A~-l(s) est donc de Stein (cf. Fujita [I] ).
C.@.F.D.
Si U et V sont deux ouverts de veri@t6s analytiques, on
dit qua O : U --~ V e s t un morphisme de Stein s'il exists un recou-
vrement de V par des ouverts (V i) de V, tel que, pour tout i,
-I
p (V.) suit de Stein ; on dit aussi que U est de Stein au-dessus de
l
V, s'il n'y a p e s de confusion possible pour p . On a alors le :

COROLLAIRE 3. Suit X un fibr@ analytique localement trivial ~ base S

une veri~t~ de Stein et ~ fibre F un__evarlet6 b o m o ~ n e
compacts. Suit A ~ X, un ouvert de Stein au-dessus de S.
Alors A est de Stein.

DEMONSTRATION. I1 existe un reoouvrement

(U.) de S tel que, pour tout
l
i, A ~ q(U.) est de Stein. Done A est locelement pseudoconvexe. De
1
plus, toute fibre de A est une sous-vari@t6 d'un ouvert de Stein
A#~ I(U.), donc est de Stein. D'apr~s le th~or~me, A est de Stein.
1

221
6 8RUN

BIBLIOGRAPHIE

I] FUJITA R. Oomaines sans point critique int@rieur

sur l'espace projecti? complexe. J.
Math. Soc. Japan 15, 443-473 [1863].

2] GRAUERT H. On Levi's problem and the imbedding of

real analytic manifolds. Ann. of Math.
68, 460-472 [1958).

~ HIRSCHOWITZ A. Pseudoconvexit@ au-dessus d'espaces

plus ou moins homog@nes. A para~tre
dans Invent. Math.

[4] MATSUGU Y. The Levi problem for a product manifold,

Pacific J. Math. 46, 231-233 [1973].

[5~ NARASIMHAN R. The Levi problem for complex spaces

II. Math. Ann. 146, 195-215 [1862].

[6] STEIN ~. Uberlagerung holomorph-vollst~ndiger

Komplexer R~ume. Arch. Math. ~,
354-381 (1956).

J6rSme BRUN
O~pertement de Math@matiques
I.M.S.P.
Parc Valrose

06034 - NICE Codex

FRANCE.

(Recu le 4 juin, 1974)

222