arxiv: v1 [math.dg] 21 Dec 2007

Transcription

1 A priori L -esimaes for degenerae complex Monge-Ampère equaions ariv: v1 [mahdg] 21 Dec 2007 P Eyssidieux, V Guedj and A Zeriahi February 2, 2008 Absrac : We sudy families of complex Monge-Ampère equaions, focusing on he case where he cohomology classes degenerae o a non big class We esablish uniform a priori L -esimaes for he normalized soluions, generalizing he recen work of S Kolodziej and G Tian This has ineresing consequences in he sudy of he Kähler-Ricci flow 1 Inroducion Le π : Y be a non degenerae holomorphic mapping beween compac Kähler manifolds such ha n := dim C m := dim C Y Le ω, ω Y Kähler forms on and Y respecively Le F : R + be a non negaive funcion such ha F L p () for some p > 1 Se ω := π (ω Y ) + ω, > 0 We consider he following family of complex Monge-Ampère equaions ( ) { (ω + dd c ϕ ) n = c n m Fω n max ϕ = 0 = 0 where ϕ is ω plurisubharmonic on and c > 0 is a consan given by c n m Fω n = ω n I follows from he seminal work of ST Yau [Y] and S Kolodziej [K 1], [K 2] ha he equaion ( ) admis a unique coninuous soluion (Observe ha for ]0,1], ω is a Kähler form) Our aim here is o undersand wha happens when 0 +, moivaed by recen geomerical developpmens [ST], [KT] When n = m, he cohomology class ω 0 is big and semi-ample and his problem has been adressed by several auhors recenly (see [CN], [EGZ], [TZ], [To]) 1

2 We focus here on he case m < n This siuaion is moivaed by he sudy of he Kähler-Ricci flow on manifolds of inermediae Kodaira dimension 1 kod() n 1 When n = 2 his has been sudied by JSong and GTian [ST] In a very recen and ineresing paper [KT], S Kolodziej and G Tian were able o show, under a echnical geomeric assumpion on he fibraion π, ha he soluions (ϕ ) are uniformly bounded on when ց 0 + The purpose of his noe is o (re)prove his resul wihou any echnical assumpion and wih a differen mehod: we acually follow he sraegy inroduced by S Kolodziej in [K] and furher developped in [EGZ], [BGZ] THEOREM There exiss a uniform consan M = M(π, F p ) > 0 such ha he soluions o he Monge-Ampère equaions ( ) saisfy ϕ L () M, ]0,1] I follows from our resul ha Theorems 1 and 2 in [KT] hold wihou any echnical assumpion on he fibraion (see condiion 02 in [KT]) This resul has been announced by J-P D ly and N Pali [DP] 2 Proof of he heorem 21 Preliminary remarks Uniform conrol of c Observe ha ω0 k = 0 for m < k n, hence for all ]0,1], m ( ) n ω n = n k ω k 0 ω n k k k=1 Noe ha ]0,1] m n ω n is increasing (hence decreases as ց 0 + ) and saisfies for ]0,1] (1) ( ) n m ω m 0 ωn m ωm 0 ωn m ω n n m ωm 0 ωn m ω1 n ωm 0 ωn m In paricular c is increasing in ]0,1] and 0 < ( n ) ωm 0 ωn m m Fωn =: c 0 c c 1 Uniform conrol of densiies Le J π denoe he (modulus square) of he Jacobian of he mapping π, defined hrough ω m 0 ω n m = J π ω n 2

3 Le us rewrie he equaion ( ) as follows where for ]0,1] Observe ha f ω n = c n m (ω + dd c ϕ ) n = f ω n, 0 f := c n m F ωn ω n Fω n = c 1 F J π ω n =: V ol ω (), hence (f ) is uniformly bounded in L 1 (ω / ), := V ol ω () We acually need a slighly sronger informaion Lemma 21 There exiss p > 1 and a consan C = C(π, F L p ()) > 0 such ha for all ]0,1] f p ωn C V ol ω () Proof of he lemma Se := V ol ω = ωn and observe ha ω n ω n 0 f c 1 F ωm 0 ωn m = C 2 Fω n, where C 2 := c 1 J πω n This shows ha he densiies f are uniformly in L 1 wr he normalized volume fomrs ω n/ Since J π is locally given as he square of he modulus of a holomorphic funcion which does no vanish idenically, here exiss α ]0, 1[ such ha J α π L 1 () Fix β ]0,α[ saisfying he condiion β/p + β/α = 1 I follows from Hölder s inequaliy ha ( ) β/p ( β/α f β ωn F p ω n Jπ ) α ωn Seing ε := β/q and using Hölder s inequaliy again, we obain f 1+ε ω n C 2 f ε V Fωn Now applying again Hölder inequaliy we ge f 1+ε ω n 1/q F C 2 f ( β ) ω L p () 3

4 Therefore denoing by p := 1 + ε, we have he following uniform esimae ω f p n C(π, F V L p ()), ]0,1], where C(π, F L p ()) := C 2 ( ) β/αq F Jπ α ω n 1+β/q L p () 22 Uniform dominaion by capaciy We now show ha he measure µ := f ω n /V ol ω are uniformly srongly dominaed by he normalized capaciy Cap ω /V ol ω () I acually follows from a carefull reading of he no parameer proof given in [EGZ], [BGZ] Lemma 22 There exiss a consan C 0 = C 0 (π, F L p (ω n ) ) > 0 such ha for any compac se K and ]0,1], µ (K) C n 0 ( ) Capω (K) 2 V ol ω () Proof: Fix a compac se K Se := V ol ω () Hölder s inequaliy yields ( ω n ) 1/p ( µ (K) f p ω n ) 1/q K I remains o dominae uniformly he normalized volume forms ω n / by he normalized capaciies Cap ω / Fix σ > 0 and observe ha for any ]0,1], ω n e σ(v K,ω max V K,ω ) ωn T ω (K) σ, K where V K,ω := sup{ψ PSH(,ω );ψ 0, on K} is he ω exremal funcion of K and T ω (K) := exp( sup V K,ω ) is he associaed ω capaciy of K (see [GZ 1] for heir properies) Observe ha ω n / c 1 ω1 n and ω ω 1, hence he family of funcions V K,ω max V K,ω is a normalized family of ω 1 psh funcions Thus here exiss σ > 0 which depends only on (,ω 1 ) and a consan B = B(σ,,ω 1 ) such ha ([Z]) e σ(v K,ω max V K,ω ) ωn B, ]0,1] 4

5 The Alexander-Taylor comparison heorem (see Theorem 71 in [GZ 1]) now yields for a consan C 3 = C 3 (π, F L p ()) [ ( ) ] V 1/n µ (K) C 3 exp σ, ]0,1] Cap ω (K) We infer ha here is a consan C 4 = C 4 (π, F L p ()) such ha ( ) Capω (K) 2 (2) µ (K) C 4, ]0,1] 23 Uniform normalizaion The comparison principle (see [K],[EGZ]) yields for any s > 0 and τ [0,1] τ ncap ω ({ϕ s τ}) {ϕ s} (ω + dd c ϕ ) n I is now an exercise o derive from his inequaliy an a priori L esimae, ϕ L () C 5 + s 0 (ω ), where s 0 (ω ) (see [EGZ],[BGZ]) is he smalles number s > 0 saisfying he condiion e n C n 0 Cap ω ({ψ s})/ 1 for all ψ PSH(,ω ) such ha sup ψ = 0 Recall from ([GZ 1], Prop 36) ha Cap ω ({ψ s τ}) Since ωn C 1 ω1 n, i follows ha Cap ω ({ψ s τ}) 1 ( ) ( ψ) ωn + n s 1 s (C 1 ) ( ψ)ω1 n + n Since ψ is ω 1 psh and normalized, we know ha here is a consan A = A(,ω 1 ) > 0 such ha C 1 ( ψ)ωn 1 A for any such ψ Therefore s 0 (ω ) s 0 := e n C0 n (A + n) for any ]0,1] Finally we obain he required uniform esimae for all ]0,1] References [BT1] E BEDFORD & B A TAYLOR: The Dirichle problem for a complex Monge-Ampère equaion Inven Mah 37 (1976), no 1,

6 [BGZ] [CN] [DP] [EGZ] [GZ 1] [GZ 2] [K] [KT] [ST] [KT] [To] [Y] [Z] SBENELKOURCHI & VGUEDJ & AZERIAHI: A priori esimaes for weak soluions of complex Monge-Ampère equaions Ann Sc N Sup Pisa, o appear P CASCINI & G LA NAVE: Kähler-Ricci Flow and he Minimal Model Program for Projecive Varieies Preprin, ariv:mah/ J-P D LY & NPALI: Degenerae complex Monge- Ampère equaions over compac Kähler manifolds Preprin, ariv:mah/ PEYSSIDIEU & VGUEDJ & AZERIAHI: Singular Kähler- Einsein merics Preprin ariv:mah/ VGUEDJ & AZERIAHI: Inrinsic capaciies on compac Kähler manifolds, J Geom Anal 15-4 (2005), VGUEDJ & AZERIAHI: The weighed Monge-Ampère energy of quasiplurisubharmonic funcions, J Func Anal 250 (2007), SKOLODZIEJ: The complex Monge-Ampre equaion Aca Mah 180 (1998), no 1, S KOLODZIEJ & GTIAN: A uniform L esimae for complex Monge-Ampère equaions Preprin ariv:mah/ J SONG & GTIAN: The Kähler-Ricci flow on surfaces of posiive Kodaira dimension, Preprin, ariv:mah/ G TIAN & ZZHANG: On he Kähler-Ricci flow on projecive manifolds of general ype, Chinese Ann Mah B 27 (2) (2006), V TOSATTI: Limis of Calabi-Yau merics when he Kähler class degeneraes Preprin ariv:mah/ STYAU: On he Ricci curvaure of a compac Kähler manifold and he complex Monge-Ampère equaion I Comm Pure Appl Mah 31 (1978), no 3, AZERIAHI: Volume and capaciy of sublevel ses of a Lelong class of plurisubharmonic funcions Indiana Univ Mah J 50 (2001), no 1,