prolongement des courants psh

Download Prolongement des courants PSH

Post on 04-Jul-2016

215 views

Category:

Documents

2 download

Embed Size (px)

TRANSCRIPT

  • C. R. Acad. Sci. Paris, t. 332, Srie I, p. 615620, 2001Analyse complexe/Complex Analysis

    Prolongement des courants PSHKhalifa DABBEK, Fredj ELKHADHRADpartement de mathmatiques, facult des sciences de Monastir, 5019 Monastir, TunisieCourriel : fredj.elkhadhra@fsm.rnu.tn(Reu le 12 janvier 2001, accept le 24 janvier 2001)

    Rsum. Soit un ouvert de Cn. Soient A un ferm de et T un courant positif de bidimension(p, p) et localement normal sur A tels que le courant ddcT se prolonge en un courantde masse localement finie sur et la mesure de Hausdorff H2(p1)(SuppT A) = 0.Alors T se prolonge en un courant de masse localement finie sur . Supposons que A estun ferm pluripolaire complet dans , T un courant ngatif psh de bidimension (p, p) surA et siH2p(SuppT A) = 0, alors le courant T se prolonge en un courant ngatif pshsur . Comme application, on peut dfinir le produit de deux courants dintgration sur desensembles analytiques lorsquils ont la bonne intersection. De plus, nous gnralisons desrsultats de AlessandriniBassanelli, Ben MessaoudEl Mir et de Siu. 2001 Acadmiedes sciences/ditions scientifiques et mdicales Elsevier SAS

    On the extension of PSH currentsAbstract. Let be an open set of Cn. Let A be a closed subset of and T a positive, locally normal

    current of bidimension (p, p) on A such that ddcT extends to a current with locallyfinite mass on and the Hausdorff measure H2(p1)(SuppT A) = 0. Then, T extendsto a current with locally finite mass on . If A is a closed complete pluripolar subset and Tis a negative psh current on A of bidimension (p, p) such thatH2p(SuppT A) = 0,then T extends to a negative psh current on . If we apply the later result we can definethe product of currents of integration over analytic subsets having the desired intersection.Furthermore, we give a generalization of some theorems due to Siu and Ben MessaoudElMir and AlessandriniBassanelli. 2001 Acadmie des sciences/ditions scientifiques etmdicales Elsevier SAS

    Abridged English version

    For a current T defined on A, we say that T exists on if the mass of T is locally finite on . Inthis case T is trivial extension of T by zero across A. we say that a current T is psh if ddcT is positive.

    THEOREM 1. Let A be a closed subset of an open subset of Cn and T a positive locally normalcurrent of bidimension (p, p) on A such that ddcT exists on andH2(p1)(SuppT A) = 0. Then Texists on .

    Note prsente par Jean-Pierre DEMAILLY.

    S0764-4442(01)01874-2/FLA 2001 Acadmie des sciences/ditions scientifiques et mdicales Elsevier SAS. Tous droits rservs 615

  • K. Dabbek, F. Elkhadhra

    Theorem 1 is inspired from a result of [8], where the current dT exists on instead of ddcT . Next, westate our main theorem on the extension of a negative psh current across a complete pluripolar subset.

    MAIN THEOREM. Let A be a closed complete pluripolar subset of an open subset of Cn and T anegative psh current of bidimension (p, p) on A such thatH2p(SuppT A) = 0. Then T exists and isnegative psh on . Furthermore, there exists a closed negative current S supported in A such that dT = dTand ddcT = ddcT + S.

    If T is a positive d-closed current, we obtain a result of [6]. Notice that Sibony [11], improving resultsof [5], proved the equalities dT = dT and ddcT = ddcT + S when T , dT and ddcT have measurecoefficients. Without requiring anything on dT , Alessandrini and Bassanelli [1] proved the main theoremin the case where A is an analytic subset. El Mir pointed out, that the hypothesis on dT is superfluous, inparticular his proof given in [5] can be applied to a larger class of currents. It gives the following interestingresult:

    THEOREM 2. Let A be a closed complete pluripolar subset of an open subset of Cn and T a positivecurrent of bidimension (p, p) on A. Suppose that T and ddcT exist (or T exists and ddcT 0 onA), then there exists a positive current S supported in A such that dT = dT and ddcT =ddcT + S.

    Remark 1. Let A be the characteristic function of A, the current AT is positive and ddc(AT ) hasmeasure coefficients. In particular, we obtain the following result of Bassanelli (the main theorem of [2]).

    COROLLARY 3. Let T be a positive psh current of bidimension (p, p) on , then for every analyticsubset Y of of pure dimension p: Y T = f [Y ] for a suitable plurisubharmonic function on Y .

    COROLLARY 4. Let A be a closed complete pluripolar subset of an open subset of Cn and T apositive psh current of bidimension (p, p) on A. If H2(p1)(SuppT A) = 0, then T exists on .Moreover, dT = dT and ddcT = ddcT .

    In Corollary 4, the Hausdorff measure condition is sharp. The method used in the proof of the maintheorem can actually give the following generalization of Sius theorem [12]:

    THEOREM 5. Let A be an irreducible analytic subset of dimension p in an open subset of Cn.Let T be a negative psh current of bidimension (p, p) on A such that T has a locally finite mass in aneighborhood of some z0 A. Then T exists and is psh.

    By using a slicing argument for C-flat currents, we obtain for negative and psh currents the followingresult.

    PROPOSITION 6. Let A be a closed subset of an open subset of Cn and T a negative psh current ofbidimension (p, p) on A such that H2(p1)(SuppT A) is locally finite. Then T exists on .

    The case where T is positive and d-closed such that H2p1(SuppT A) = 0 is due to Harvey [7].COROLLARY 7. Let A be a closed subset of an open subset of Cn and T a positive psh current of

    bidimension (p, p) on A. If H2p3(SuppT A) = 0, then T exists on .Finally, we obtain the following theorem on the continuation of positive current across the zero set of a

    non-negative psh function:

    THEOREM 8. Let u be a positive psh function of class C1 on an open set of Cn. Let A = {z ;u(z) = 0}. Suppose that in a neighborhood of every point of A there exists a number > 0 and a (n k)-tuple (j) of indices such that ddcu

    nk=1 i(dzj dzj)/u.

    616

  • Prolongement des courants PSH

    Let T be a positive current of bidimension (p, p), p 1, on A such that dT exists on , then T existson . Moreover, if > 2/3, p > k + 1 and ddcT exists on . Then T is the unique normal current thatextends T and we have dT = dT , ddcT = ddcT + S, where S is a positive current supported in A.

    The case of a closed positive current is due to El Mir [5] and in [9], Rapp generalizes the result of El Mirin the case when u is only psh and p > k+ +12 .

    Soient un ouvert de Cn et Dp,q() lespace des formes diffrentielles C de bidegrs (p, q) et support compact dans . Un courant de bidimension (p, p) sur est dit positif si pour toutes 1, . . . , pdans lespace D1,0(), la mesure T i1 1 ip p est positive sur . Soit = ddcz2 laforme de Khler sur Cn, il existe une constante c > 0 qui ne dpend que de n et p telle que, pour chaqueouvert 1 , la masse de T , T 1 := sup

    {|T ()|; Dp,p(1), 1}, porte par 1, vrifieT p(1) T 1 cT p(1). Un courant T est dit localement normal si T et dT sont de masseslocalement finies. Un courant T est dit plurisousharmonique (psh) si ddcT est positif. Pour plus de dtailsconcernant les notions relatives au tranchage, voir [3]. Soit A un ferm de , lorsque T est dfini sur Aon dit que T existe si T est de masse localement finie au voisinage des points de A. Le courant T est alorslextension triviale de T par zro au dessus de A.

    THORME 1. Soient A un ferm dun ouvert de Cn et T un courant positif de bidimension (p, p)localement normal sur A. Si ddcT existe et si H2(p1)(SuppT A) = 0, alors T existe.

    Ce thorme est inspir dun travail de Poly et Raby [8] qui supposent que dT existe au lieu de ddcT .Remarque 1. Considrons la fonction u(z) = an si 1(n+1)2 < |z| < 1n2 , u(z) = 0 pour |z| > 1 et

    A=

    n

    {|z|= 1n2} {0}. Alorsu= 0 sur CA et

    CA

    u(z)idz dz =n1

    an

    (1

    n4 1

    (n+1)4

    ).

    Suivant le choix de la suite (an), la dernire srie peut diverger mais H1(A) est localement fini. Cecimontre que le rsultat du thorme 1 nest pas valable pour le cas dun obstacle A vrifiant seulement queH2p1(A) est localement fini.

    Le thorme principal de cette Note est le suivant :

    THORME PRINCIPAL. Soient un ouvert de Cn, A un ferm pluripolaire complet dans et T uncourant ngatif psh de bidimension (p, p) sur A. SiH2p(SuppT A) = 0, alors T existe et est ngatifpsh sur . De plus, on a

    dT = dT et ddcT = ddcT + S,

    o S est un courant ngatif ferm port par A.Ce thorme gnralise un rsultat de [6] o les auteurs considrent le cas dun courant positif ferm. Il

    est noter que Sibony [11], en amliorant des noncs de [5], a montr que dT = dT et ddcT =ddcT +Slorsque T , dT et ddcT sont dordre nul. Sans hypothse sur dT , Alessandrini et Bassanelli [1] on obtenu lethorme principal lorsque A est analytique. El Mir a remarqu que lhypothse sur dT est superflue. Lespreuves donnes dans [5] sappliquent une classe plus large de courants et fournissent le :

    THORME 2. Soient un ouvert de Cn, A un ferm pluripolaire complet dans et T un courantpositif de bidimension (p, p) sur A. On suppose que T existe et ddcT existe (o T existe et ddc-ngatif

    617

  • K. Dabbek, F. Elkhadhra

    sur A). Alors il existe un courant positif S port par A tel quedT = dT et ddcT = ddcT + S.

    Il en rsulte que si A est la fonction caractristique de A, le courant AT est positif et ddc(AT ) estdordre zro. En particulier, on retrouve le rsultat suivant de Bassanelli (thorme principal de [2]).

    COROLLAIRE 3. Soit T un courant positif psh de bidimension (p, p) sur . Alors, pour tout ensembleanalytique Y de dimension pure p, il existe une fonction f plurisousharmonique sur Y , telle que Y T =f [Y ].

    COROLLAIRE 4. SoientA un ferm pluripolaire complet dun ouvert de Cn et T un courant positif,psh