MABUCHI AND AUBIN-YAU FUNCTIONALS OVER COMPLE THREE-FOLDS arv:1.57v1 [math.dg] 27 Mar 21 YI LI Abstract. In ths paper we construct Mabuch L M ω functonal and Aubn- Yau functonals Iω AY,J AY ω on any compact complex three-folds. The method presented here wll be used n the forthcomng paper [5] on the constructon of those functonals on any compact complex manfolds, whch generalzes the prevous work []. Contents 1. Introducton 1 1.1. Mabuch and Aubn-Yau functonals on Kähler manfolds 1 1.2. Mabuch and Aubn-Yau functonals on complex three-folds 2 1.. Volume estmate 2. Mabuch L M ω functonal on compact complex three-folds 5. Aubn-Yau functonals on compact complex three-folds 1. Volume estmates 17 Appendx A. Proof the denttes (.8, (.15 and (.19 19 Appendx B. Solve the lnear equatons system 21 Appendx C. Explct formulas of Iω AY (ϕ and Jω AY (ϕ 22 References 2 1. Introducton Mabuch and Aubn-Yau functonals play a crucal role n studyng Kähler- Ensten metrcs and constant scalar curvatures. How to generalze these functonals from Kähler geometry to complex geometry s an nterestng problem. In [], the author solved ths problem n dmenson two and proved smlar results n the Kähler settng. By carefully checkng and usng a trck, we can construct those functonals on any compact complex three-folds. Moreover, the dea n ths paper wll be used n the forthcomng paper n whch we deal wth hgher dmenson cases. 1.1. Mabuch and Aubn-Yau functonals on Kähler manfolds. Let (, ω be a compact Kähler manfold of the complex dmenson n. then the volume (1.1 := ω n 1
2 YI LI depends only on the Kählerclass of ω. Let P ω denote the space ofkähler potentals and defne the Mabuch functonal, for any smooth functons ϕ,ϕ P ω, by (1.2 L M,Kahler ω (ϕ,ϕ : 1 ϕ t ωϕ n V t dt ω where ϕ t s any smooth path n P ω from ϕ to ϕ. Mabuch [7] showed that (1.2 s well-defned. Usng (1.2 we can defne Aubn-Yau functonals as follows: (1. (1. I AY,Kahler ω (ϕ Z ϕ(ω n ω n ϕ, Jω AY,Kahler (ϕ = Lω M,Kahler (,ϕ 1 ϕω n. So Aubn-Yau functonals are also well-defned. However, f ω s not closed, then the above defntons do not make sense. Hence we should add some extra terms on the defntons of those functonals. These extra terms should nvolve ω and ω, but, the essental queston s to fnd the structure of the extra terms. In the next secton, we wll answer ths queston. 1.2. Mabuch and Aubn-Yau functonals on complex three-folds. Throughout the rest part of ths paper, we denote by (,g a compact complex manfold of the complex dmenson, and ω the assocated real (1,1-form. Let (1.5 P ω := {ϕ C ( R ω ϕ := ω 1 ϕ > } be the space of all real-valued smooth functons on whose assocated real (1,1- forms are postve. For any ϕ,ϕ P ω, we defne L M ω (ϕ,ϕ 1 (1.6 1 1 1 1 1 1 ϕ t ω ϕ t dt 1 ω ( ϕ t ϕ t ω ϕt dt 1 ω ( ϕ t ϕ t ω ϕt dt ϕ t ϕ t ω ϕ t 1 1 ϕ t ϕ t ω ϕ t where {ϕ t } t 1 s any smooth path n P ω from ϕ to ϕ. Our frst result s Theorem 1.1. The functonal (1.6 s ndependent of the choce of the smooth path {ϕ t } t 1 n P ω. For any ϕ P ω we set (1.7 L M ω (ϕ := LM ω (,ϕ. Then we have an explct formula of L M ω (ϕ:
MABUCHI AND AUBIN-YAU FUNCTIONALS OVER COMPLE THREE-FOLDS Corollary 1.2. One has (1.8 L M ω (ϕ 1 = 1 = = 1 2 1 2 ϕωϕ ω ϕω ϕ ω1 1 ω ϕ ϕω ϕ ω1 1 ω ϕ. Now we defne Aubn-Yau functonals Iω AY,Jω AY for any compact complex threefold (,ω: Iω AY (ϕ (1.9 ϕ(ω ωϕ (1.1 2 2 ϕω ϕ 1 ω ϕ 2 ϕω ϕ 1 ω ϕ 2V ω ϕω Jω AY (ϕ = LM ω (ϕ 1 ϕω ϕ 1 ω ϕ 2 2V ω ϕω ϕ 1 ω ϕ 2 2 An mportant result s Theorem 1.. For any ϕ P ω, one has ϕω 1 ω ϕ ϕω 1 ω ϕ, ϕω 1 ω ϕ ϕω 1 ω ϕ. (1.11 (1.12 ω (ϕjω AY (ϕ, IAY J AY ω (ϕiay ω (ϕ. In partcular 1 J AY 1 IAY ω J ω AY ω (ϕ 1 J ω AY (ϕ J AY ω (ϕ IAY ω (ϕ, AY (ϕ IAY ω (ϕ Jω (ϕ, AY (ϕ IAY ω (ϕjω (ϕ IAY ω (ϕ J AY ω (ϕ. 1.. Volume estmate. For any compact Kähler manfold the volume (1.1 depends only on the Kähler class, but, ths fact doesn t hold for the general compact Hermtan manfolds. To understand the change of volumes for compact Hermtan
YI LI three-fold (, ω, the author [] ntroduced three quanttes assocated to ω: (1.1 Err ω (ϕ := ω n ωϕ n, ϕ P ω, (1.1 (1.15 SupErr ω InfErr ω := sup (Err ω (ϕ, ϕ Pω := nf (Err ω (ϕ. ϕ Pω where Pω = {ϕ P ω sup ϕ = } s the normalzed subspace of P ω. In any case, we have (1.16 InfErr ω SupErr ω ω n. It mples that the quantty SupErr ω s bounded, but the quantty InfErr ω may not have a lower bound. Notce that the lower boundedness of InfErr ω s equvalent to the upper boundedness of sup ϕ P ω ωn ϕ. We can ask a natural queston [6]: Queston 1.. Under what condton (weaker than the Kähler condton, the quantty (1.17 sup ωϕ n ϕ Pω s bounded from above? Remark 1.5. (1 In [] the author showed that f ω = ω ω =, then the volume ωn ϕ does not depend on the choce of the smooth functon ϕ P ω. Consequently, ωn ϕ = ωn for any functon ϕ P ω, whch gves an affrmatve answer to Queston 1.. In the surface case, we can only assume ω =. ( Let (,ω be a compact Hermtan manfold of the complex dmenson 2. By a theorem of Ganduchon [2], there exsts a smooth functon u, unque up to a constant, such that (1.18 ω G =, ω G := e u ω. V. Tosatt and B. Wenkove [9] showed that (1.17 s bounded by (2eunf u 1ω 2 from above. Usng the dea n [9] we can show that, under a sutable condton, InfErr ω s bounded from below when n = and, consequently, (1.17 has an upper bound. Theorem 1.6. Suppose that (, g s a compact Hermtan manfold of the complex dmenson and ω s ts assocated real (1,1-form. If ω =, then InfErr ω s bounded from below. More precsely, we have ( (1.19 InfErr ω 1e 2 osc(u ω. Here u s a real-valued smooth functon on such that ω G = e u ω s a Gauduchon metrc,.e., (ωg 2 =. In partcular ( (1.2 ω sup ωϕ e 2 osc(u 2 ω. ϕ Pω Another nterestng queston [6] s
MABUCHI AND AUBIN-YAU FUNCTIONALS OVER COMPLE THREE-FOLDS 5 Conjecture 1.7. For any compact Hermtan manfold (, ω, one has (1.21 nf ω n ϕ Pω ϕ >. Remark 1.8. (1 When ω s Kähler, for any smooth functon ϕ P ω, we have ωn ϕ = ωn. Hence nf ϕ P ω ωn ϕ = ωn >. (2 In [9], the authors confrmed Conjecture 1.7 for n = 2 provded that u satsfes sup (unf (u < log2. More precsely (1.22 nf ϕ P ω ω n ϕ ( 2e usup (u 1 ω 2 >. We can prove Conjecture 1.7 for n = provded that a smlar condton holds for u. Theorem 1.9. Suppose that (, g s a compact Hermtan manfold of the complex dmenson and ω s ts assocated real (1,1-form. We select a real-valued smooth functon u on so that e u ω s a Gauduchon metrc. If then (1.2 nf ϕ P ω osc(u = sup(unf (u 1 2 ln, ω =, 2 ω ϕ ω >. 2. Mabuch L M ω functonal on compact complex three-folds Let (,g be a compact complex manfold of the complex dmenson, and ω be ts assocated real (1,1-form. In ths secton we defne Mabuch L M ω functonal and prove the ndependence of the choce of the smooth path. As a consequence, we gve an explct formula for L M ω. Let ϕ,ϕ P ω and {ϕ t } t 1 be a smooth path n P ω from ϕ to ϕ. We defne (2.1 L ω (ϕ,ϕ Set 1 ϕ t ω ϕ t dt. (2.2 ψ(s,t := s ϕ t, s,t 1. Consder a 1-form on [,1] [,1] ( (2. Ψ := ψ ω ψ Takng the dfferental on Ψ, we have where the quantty I s gven by (2. I = ( ψ ds ω ψ dt. dψ = I dt ds ( ψ ω ψ ( ψ ω ψ.
6 YI LI As n [] we smplfy I n two slghtly dfferent ways. Drectly computng shows [ I 2 ψ = ω ψ ψ ω2 ψ ( ] ψ 1 [ 2 ψ ω ψ ψ ω2 ψ ( ] ψ 1 = ψ ( ψ ω2 ψ 1 ψ ω2 ψ 1 = ψ ω2 ψ ( ψ 1 ψ ω2 ψ 1. Notce that the last two steps are the dfferental expressons for I. Usng the frst expresson, we have I = ψ ω2 ψ ( ψ 1 ψ ω2 ψ 1 = ( ( 1 ω2 ψ ( ψ 1 ω2 ψ = [ 1 ωψ 2 ψ ] 2ω ψ ω = [ 1 ωψ 2 ψ ] 2ω ψ ω = 6 1 ψ ( ψ ω ψ ω 6 1 ψ (2.5 ω ψ ω. Smlarly, we have I = ψ ω2 ψ 1 = 6 1 ψ ( ψ (2.6 ω ψ ω Therefore, from (2.5 and (2.6 t follows that 2I ( 6 = 1 ω ψ ω ( (2.7 ω ψ ω ψ ω2 ψ 1 6 1 ψ ω ψ ω. ψ ω ψ ω ψ ω ψ ω. Next we defne L 1 ω (ϕ,ϕ 1 (2.8 a 1 ω ω ϕt ( ϕ t ϕ t dt, L 2 ω (ϕ,ϕ 1 (2.9 a 2 ω ω ϕt ( ϕ t ϕ t dt. Here a 1,a 2 are non-zero constants and we requre a 1 = a 2. Smlarly, we consder [ ( ( ] [ ( ( ] ψ ψ Ψ 1 = a 1 ω ω ψ ψ ds a 1 ω ω ψ ψ dt, Ψ 2 = [ a 2 ω ω ψ ( ( ψ ψ ] [ ds a 2 ω ω ψ ( ( ψ ψ ] dt.
MABUCHI AND AUBIN-YAU FUNCTIONALS OVER COMPLE THREE-FOLDS 7 Therefore where I 1 = [ ( a 1 ω ω ψ dψ 1 = I 1 dt ds ( ] [ ( ψ ψ a 1 ω ω ψ Consequently, I 1 = [( ( ] ψ ψ ω ψ ω a 1 [ ( ( 2 ] = ψ ψ ω ψ ω [ ( ( 2 ] ψ ψ ω ψ ω ψ 1 ω ψ 1 ω = ψ ( ψ ψ ω ψ ω ψ 1 ω ψ 1 ω. In the same fashon way, we have where I 2 a 2 = To smplfy notaton we set (2.1 A := (2.11 B := Usng the above symbols gves I 1 = ψ ( ψ a 1 I 2 = ψ ( ψ a 2 dψ 2 = I 2 dt ds, ψ ( ψ ω ψ ω ψ 1 ω ψ ( ψ 1 [( ψ ω ψ ω ψ ω. ψ ω 1, ψ ω 1. ω ψ ω ω ψ ω ( ( ( ] ψ ψ. ( ] ψ ω ψ ω ω ψ ω ω ψ ω AB, ω ψ ω AB,
8 YI LI and the last two terms can be determned completely as follows: [ ( ] ( A = 1 ψ ω [ ( ( ] ( = 1 ψ ω [ ( ( ] = 1 ψ ψ ω = ψ ω 1 ( ψ 1 ψ ω = B ( ψ 1 ψ ω. Addng the term B on both sdes we obtan (2.12 (2.1 AB = AB = The fnal step s to ntroduce ( ψ 1 ψ ω, ( ( 1 ψ ω. (2.1 (2.15 L ω(ϕ,ϕ : L ω (ϕ,ϕ : 1 1 a ϕ t ω ϕ t ϕ t, a ϕ t ω ϕ t ϕ t, where a,a are non-zero constants determned later and we requre a = a. Consder Ψ = Ψ = [ [ [ [ ( ] ψ a ψ ω ψ ds ( ] ψ a ψ ω ψ dt, ( ] ψ a ψ ω ψ ds ( ] ψ a ψ ω ψ dt. We take the dfferental on Ψ and Ψ, and these dfferentals can be wrtten as dψ = I dt ds, dψ = I dt ds
MABUCHI AND AUBIN-YAU FUNCTIONALS OVER COMPLE THREE-FOLDS 9 where I = I = [ ( ] ψ a ψ ω ψ [ ( ] ψ a ψ ω ψ, [ ( ] ψ a ψ ω ψ [ ( ] ψ a ψ ω ψ. Calculate I [ ( ψ = ω a ( ( ] ψ ω [ ( ψ ω ( ( ] ψ ω ( ( = ω ψ ( ψ 2 ψ ω ( ( = ω ψ Smlarly, I a = 2 1 (AB. 2 1 (AB. ( 2 ψ ω ( 2 ψ ω ( ψ ω ψ ψ ψ ω ψ ω ψ ω ψ If we set H := ( ψ ω ψ then those two terms have the shorted expressons: I a = H 2 1 (AB, I a = H 2 1 (AB. ω ψ,
1 YI LI On the other hand, drectly by defnton, we have [ ( ] ( [ ( ] ψ H = ω ψ ω ψ [ ( ] [ ( ] = ω ψ ω ψ [ ( ( ] ψ = ω ψ ω ψ [ ( ( ] ψ ω ψ ω ψ ( ( = ω ψ ω ψ [ ( ] ( = ω ψ ω ψ ( ( ( = ω ψ ω ψ ( ω ψ ( ψ = ψ ω ( ( ω ψ ω ψ Takng the complex conjugate gves ( ψ H = ψ ω ( Hence HH = Consequently ψ ω ω ψ ψ ( ψ ψ ω = AB 1 AB = (AB(AB 1. 1 2I 6 = I1 I2 (AB(AB, 1 a 1 a 2 I I = HH 2 a a [ ] (AB(AB 1 t follows that or I 1 = I I2 1 a 1 a 2 1 ( I ω ψ. = 1[(AB(AB] I. a a I = 1 a 1 I 1 1 a 2 I 2 I a I a.
MABUCHI AND AUBIN-YAU FUNCTIONALS OVER COMPLE THREE-FOLDS 11 Selectng we deduce a 1 = 1, a 2 = 1, a = a = 1 (2.16 I I 1 I 2 I I =. Theorem 2.1. The functonal L M ω (ϕ,ϕ 1 ϕ t ωϕ V t dt ω 1 1 1 ω ( ϕ t ϕ t ω ϕt dt 1 1 (2.17 1 ω ( ϕ t ϕ t ω ϕt dt 1 1 ϕ t ϕ t ω ϕ t 1 1 ϕ t ϕ t ω ϕ t s ndependent of the choce of the smooth path {ϕ t } t 1 n P ω, where ϕ = ϕ and ϕ 1 = ϕ. Proof. It mmedately follows from (2.16. Corollary 2.2. For any ϕ P ω one has (2.18 L M ω (ϕ := LM ω (,ϕ ϕωϕ V ω ω = 1 1 ϕωϕ 2V ω1 1 ω ϕ ω = 1 = 1 2 ϕω ϕ ω1 1 ω ϕ. Proof. In Theorem 2.1 we take ϕ t = t ϕ, then the last two terms vansh and L M ω (ϕ 1 ϕω V tϕdt 1 1 1 ω ( ϕ tϕ ω tϕ dt ω 1 1 1 ω ( ϕ tϕ ω tϕ dt := J J 1 J 2. Three terms are computed as follows by usng the dentty ω tϕ = tω ϕ (1tω: J 1 ϕ[tω ϕ (1tω] dt 1 = ϕ ( ωϕ ω = ϕω ϕ ω 1 t (1t dt ( t (1t dt = ϕω ϕ ω.
12 YI LI For J 1, we have J 1 = 1 = 1 = 1 1 = 1 1 1 1 ω ( ϕ tϕ ω tϕ dt 1 ω ϕ tϕ [tω ϕ (1tω]dt 1ϕ ω ϕ ω ϕ 1ϕ ω ϕ ω 1 1 1ϕ ω ϕ ωϕ 1 t 2 dt t(1tdt Takng the complex conjugate gves the thrd term J 2. 1 2 ϕ ω ϕ ω. Remark 2.. (1 When (, g s a compact Kähler three-fold, the functonal (2.1 or (2.18 concdes wth the orgnal one. (2 The last two terms n (2.17 may not be zero snce ϕ t ϕ t s not dentcally zero n general. For nstance, take ϕ t = tϕ (1tϕ ; then ϕ t ϕ t = ϕ t d dt ϕ t = (t ϕ (1tϕϕ ( ϕ ϕ = t ϕ ϕ (1t ϕ ϕ = ϕ ϕ. If ϕ =, then ϕ t ϕ t = and hence, by takng the complex conjugate, ϕ t ϕ t =. Ths s a reason why n the Corollary 2.2 there are only three terms. Let S be a non-empty set and A an addtve group. A mappng N : S S A s sad to satsfy the 1-cocycle condton f ( N(σ 1,σ 2 N(σ 2,σ 1 = ; ( N(σ 1,σ 2 N(σ 2,σ N(σ,σ 1 =. Corollary 2.. (1 The functonal L M ω satsfes the 1-cocycle condton. (2 For any ϕ P ω and any constant C R, we have (2.19 L M ω (ϕ,ϕc = C ( 1 Err ω(ϕ. In partcular, f ω = ω ω =, then L M ω (ϕ,ϕc = C. ( For any ϕ 1,ϕ 2 P ω and any constant C R, we have ( (2.2 L M ω (ϕ 1,ϕ 2 C = L M ω (ϕ 1,ϕ 2 C 1 Err ω(ϕ 2. In partcular, f ω = ω ω =, then L M ω (ϕ 1,ϕ 2 C = L M ω (ϕ 1,ϕ 2 C. Proof. The proof s smlar to that gven n [].
MABUCHI AND AUBIN-YAU FUNCTIONALS OVER COMPLE THREE-FOLDS 1. Aubn-Yau functonals on compact complex three-folds Let (,g be a compact complex manfold of the complex dmenson and ω be ts assocated real (1,1-form. We recall some notaton n []. For any ϕ P ω we set (.1 (.2 Iω AY (ϕ ϕ(ω ω V ϕ, ω J AY ω (ϕ = 1 I AY ω (s ϕ s ds 1 ϕ(ω ω s ϕ ds. Two relatons showed n [] are (. (. IAY ω AY (ϕjω (ϕ Jω AY (ϕiay ω (ϕ ϕ( 1 ϕ ϕ( 1 ϕ j=1 j ω2j ω j ϕ, 1 (2jω 2j ωϕ j. j= Accordng to the expresson of L M ω (ϕ, we set (.5 (.6 A ω (ϕ := B ω (ϕ := 1 = 1 = 1 2 1 2 ϕω ϕ ω1 1 ω ϕ, ϕω ϕ ω1 1 ω ϕ. Usng (. we obtan IAY ω AY (ϕjω (ϕ j ϕ ω2j ωϕ j ( 1 ϕ j=1 1 ϕ j=1 1 ϕ j ω2j ωϕ j ϕ j ω2j ωϕ j ϕ j=1 1 j 1ϕ [(2jω1j ω ωϕ j ω2j jωϕ j1 ω] ϕ; j=1
1 YI LI settng = j 1 n the thrd term gves AY (ϕj IAY ω 1 1 1 j=1 j=1 j=1 ω (ϕ j 1 ϕ ϕ ω 2j ωϕ j j(2j j 2 1ϕω 1j ω ω j ϕ ϕ 1ϕω 2j ω j1 ϕ ω ϕ 1 ϕ ϕ ω 2 ωϕ 1 ϕω ϕ 1 ω ϕ =1 1 (1 2 ϕωϕ ω 1 1 ω ϕ = 1 ϕ ϕ ω ϕ ω 2 =1 5 ϕω ϕ 1 ω ϕ 1 ϕω 1 ω ϕ. To smplfy the notaton, we set (.7 C ω (ϕ := Therefore (.8 IAY ω (ϕj AY =1 ω (ϕ ϕω ϕ 1 ω ϕ. 1 ϕ ϕ ω ϕ ω 2 1 2 A ω(ϕc ω (ϕ. On the other hand, usng the slghtly dfferent method, we obtan (see A.1 (.9 where IAY ω (ϕj AY =1 ω (ϕ (.1 D ω (ϕ = Equatons (.8 and (.9 mples (.11 IAY ω 1 ϕ ϕ ω ϕ ω 2 1 2 B ω(ϕd ω (ϕ (ϕj AY ω (ϕ ϕω ϕ 1 ω ϕ. =1 A ω(ϕb ω (ϕ 1 ϕ ϕ ω ϕ ω 2 C ω(ϕd ω (ϕ. 2
MABUCHI AND AUBIN-YAU FUNCTIONALS OVER COMPLE THREE-FOLDS 15 By the defnton we have 1 Jω AY (ϕ (ϕω ϕωsϕds ϕω 1 ϕω (L M ω (ϕa ω (ϕb ω (ϕ ϕω L M ω (ϕa ω (ϕb ω (ϕ. 1 ϕω tϕdt If we defne (.12 (.1 (.1 E ω (ϕ = 9 A 1 ω (ϕ 2 A 2 ω (ϕ ϕω 1 ω ϕ, ϕω 1 ω ϕ ϕω ϕ 1 ω ϕ, then A 1 ω (ϕa2 ω (ϕ = A ω(ϕ and t follows that (see A.1 (.15 J AY ω IAY ω (ϕ 1 (2 = E ω (ϕ8a 1 ω (ϕa2 ω (ϕ. 1 ϕ ϕ ω ϕ ω 2 Introduce (.16 (.17 (.18 F ω (ϕ = 9 ϕω 1 ω ϕ, Bω(ϕ 1 1 = ϕω 1 ω ϕ 2 Bω(ϕ 2 ϕω ϕ 1 ω ϕ. Then B 1 ω(ϕb 2 ω(ϕ = B ω (ϕ and hence (see A. (.19 Jω AY (ϕiay ω (ϕ (.15 and (.19 together gves (.2 Jω AY (ϕiay ω (ϕ 1 (2 = F ω (ϕ8b 1 ω(ϕb 2 ω(ϕ. 1 (2 = 1 ϕ ϕ ω ϕ ω 2 1 ϕ ϕ ω ϕ ω n1 E ω(ϕf ω (ϕ [A 1 2 ω(ϕbω(ϕ] 1 A2 ω(ϕbω(ϕ 2. 2
16 YI LI Now, we defne Aubn-Yau functonals over any compact complex manfolds as follows: I AY ω (ϕ := I AY ω (ϕ a 1 1A 1 ω(ϕa 2 1A 2 ω(ϕb 1 1B 1 ω(ϕb 2 1B 2 ω(ϕ (.21 c 1 C ω (ϕd 1 D ω (ϕe 1 E ω (ϕf 1 F ω (ϕ, Jω AY (ϕ := LM ω (ϕ 1 ϕω a 1 2 A1 ω (ϕa2 2 A2 ω (ϕb1 2 B1 ω (ϕb2 2 B2 ω (ϕ (.22 c 2 C ω (ϕd 2 D ω (ϕe 2 E ω (ϕf 2 F ω (ϕ, = J AY ω (ϕ (a 1 2 1A 1 ω(ϕ(a 2 2 1A 2 ω(ϕ(b 1 2 1B 1 ω(ϕ(b 2 2 1B 2 ω(ϕ c 2 C ω (ϕd 2 D ω (ϕe 2 E ω (ϕf 2 F ω (ϕ. Pluggng (.21 and (.22 nto (.2 and (.11, we obtan (.2 IAY ω (ϕj AY ω (ϕ =1 1 ϕ ϕ ω ϕ ω 2 and (.2 Jω AY (ϕiay ω (ϕ = = 2 1 ϕ ϕ ω ϕ ω 2 where we requre that constants satsfy the followng lnear equatons system (.25 a1 1 (a 1 2 1, a2 1 (a 2 2 1, (.26 b1 1 (b1 2 1, b2 1 (b2 2 1, (.27 c 1 c 2 = 1 2, d 1 d 2 = 1 2, e (.28 1 e 2 =, f 1 f 2 =, (.29 (a 1 2 1a 1 1 =, (a 2 2 1a 2 1 2, (. (b 1 2 1b 1 1 =, (b 2 2 1b 2 1 2, (.1 c 2 c 1 =, d 2 d 1 =, (.2 e 2 e 1 = 1 2, f 2 f 1 = 1 2.
MABUCHI AND AUBIN-YAU FUNCTIONALS OVER COMPLE THREE-FOLDS 17 The constants a j,bj,c,d,e and f, calculated n Appendx B, are (. (. (.5 (.6 a 1 1 = b 1 1 = 2, a1 2 = b 1 2 = 8, a 2 1 = b 2 1 =, a2 2 = b 2 2 = ( 1 c 1 = d 1 = 1, e 2 = f 2 = 16, c 2 = d 2 = e 1 = f 1 = 1. = 21 16, The explct formulas for Iω AY AY (ϕ and Jω (ϕ are gven n Proposton C.1 and C.2 respectvely. Namely, Iω AY (ϕ (.7 ϕ(ω ωϕ (.8 2 2 ϕω ϕ 1 ω ϕ 2 ϕω ϕ 1 ω ϕ 2V ω ϕω Jω AY (ϕ = L M ω (ϕ 1 ϕω ϕ 1 ω ϕ 2 2V ω ϕω ϕ 1 ω ϕ 2 2 ϕω 1 ω ϕ ϕω 1 ω ϕ, ϕω 1 ω ϕ ϕω 1 ω ϕ. From (.2, (.2, (.1 and (.8, we deduce the followng Theorem.1. For any ϕ P ω, one has (.9 IAY ω J AY (. In partcular 1 AY (ϕjω (ϕ, ω (ϕiay ω (ϕ. IAY ω (ϕ J AY ω (ϕ IAY ω (ϕ, J AY ω (ϕ I AY ω (ϕ J AY ω (ϕ, 1 J AY ω (ϕ 1 J AY ω (ϕ I AY ω (ϕj AY ω (ϕ IAY ω (ϕ nj AY ω (ϕ.. Volume estmates Let (,g be a compact Hermtan manfold of the complex dmenson n and ω be ts assocated real (1, 1-form. Defne (.1 P ω := {ϕ C ( R ω ϕ := ω 1 ϕ > },
18 YI LI and P ω := { } sup ϕ P ω ϕ =. Consder the quantty (.2 InfErr ω := nf Err ω (ϕ, ϕ Pω where (. Err ω (ϕ := ω n ωϕ n. It s clear that InfErr ω. But we don t know whether the quantty InfErr ω s fnte. For n = 2, V. Tosatt and B. Wenkove [9] showed that InfErr ω s always bounded from below, usng the exstence of Ganduchon metrcs on any compact Hermtan manfolds. If ω satsfes the condton (see [], [9] (. (ω k =, k,2, one can show that the quantty InfErr ω = (see [1], [], or [9]. When n = 2, the condton (. reduces to (.5 ω =, whch s a Ganduchon metrc; however, f n =, we can show that InfErr ω s bounded from below under ths condton. Theorem.1. Suppose that (, g s a compact Hermtan manfold of the complex dmenson and ω s ts assocated real (1,1-form. If ω =, then InfErr ω s bounded from below. More precsely, we have ( (.6 InfErr ω 1e 2 osc(u ω. Here u s a real-valued smooth functon on such that ω G = e u ω s a Gauduchon metrc,.e., (ω 2 G =. Proof. As n [9], page 21, we compute ωϕ = (ω ω 2 1 ϕω ( 1 ϕ 2 = (2ω ω 2 (ω 1 ϕω ( 1 ϕ 2. Snce ω =, the last ntegral vanshes, and hence ( 2 ωϕ 2ω e ω unf(u (ω 1 ϕ = 2ω e 2(sup (unf(u ω e 2nf(u ωg 2 1 ϕ ( = 2ω e 2 osc(u ω = e 2 osc(u 2 ω. From the defnton of InfErr ω, we mmedately obtan ( ( InfErr ω ω e 2 osc(u 2 ω = 1e 2 osc(u ω where osc(u := sup (unf (u.
MABUCHI AND AUBIN-YAU FUNCTIONALS OVER COMPLE THREE-FOLDS 19 Theorem.2. Suppose that (, g s a compact Hermtan manfold of the complex dmenson and ω s ts assocated real (1,1-form. We select a real-valued smooth functon u on so that e u ω s a Gauduchon metrc. If then (.7 nf ϕ P ω osc(u = sup(unf (u 1 2 ln, ω =, 2 ωϕ ω >. Proof. Usng the smlar procedure, we deduce ωϕ ( e 2(nf(usup (u 2 Snce sup unf u 1 2 ln 2, t follows that e2(nf usup u 2 1. ω. (A.1 Appendx A. Proof the denttes (.8, (.15 and (.19 In Appendx A we verfy the denttes (.8, (.15 and (.19. IAY ω 1 1 1 1 AY (ϕjω (ϕ j 1 ϕ ω2j ωϕ j ϕ j=1 j 1 ϕ ω2j ωϕ j ϕ =1 1ϕ j=1 j=1 j [(2jω1j ω ωϕ j ω 2j jωϕ j1 ω] ϕ 1 ϕ ϕ ω ϕ ω 2 j(2j 1ϕω 1j ωϕ j ω ϕ j=1 j=1 =1 j 2 1ϕω 2j ω j1 ϕ ω ϕ 1 ϕ ϕ ω 2 ωϕ 1 1ϕω ϕ ω ϕ 1 (1 2 1ϕω 1 ωϕ ω ϕ 1 ϕ ϕ ω 2 ωϕ 1 2 B ω(ϕd ω (ϕ = =1
2 YI LI whch gves (.9. Calculate Jω AY IAY ω (ϕ 1 ϕ (2jω 2j ωϕ j ϕ j= 1 ϕ (2jω 2j ωϕ j V ϕ ω j= 1 1ϕ [(2j 2 ω 1j ω ωϕ j (2jjω 2j ωϕ j1 ω] ϕ j= (2 1 ϕ ϕ ω V ϕ ω 2 ω = 1 1 (2j 2 ϕω 1j ωϕ j 1 ω ϕ 1 ϕω 1 ω ϕ 5 j= (2 = 1 ϕ ϕ ω ϕ ω 2 ϕω 1 ω ϕ 1 ϕω ϕ 1 ω ϕ. Usng the defntons of E ω (ϕ,a 1 ω (ϕ, A2 ω (ϕ, we have A1 ω (ϕ A2 ω (ϕ = A ω(ϕ and hence (.15 holds. Smlarly, we have B 1 ω(ϕb 2 ω(ϕ = B ω (ϕ and J AY ω (ϕ ω (ϕiay 1 ϕ (2jω 2j ωϕ j ϕ j= 1 ϕ (2jω 2j ωϕ j V ϕ ω j= 1 1ϕ (2j[(2jω 1j ω ωϕ j V jω2j ωϕ j1 ω] ϕ ω 1 5 (2 = j= 1 (2 2 = (2 = 1 ϕ ϕ ω 2 ω ϕ ϕω 1 ωϕ ( 1 ω ϕ 1 ϕω ( 1 ω ϕ 1 ϕ ϕ ω 2 ω ϕ ϕω ( 1 ω ϕ 1 ϕω ϕ ( 1 ω ϕ.
MABUCHI AND AUBIN-YAU FUNCTIONALS OVER COMPLE THREE-FOLDS 21 and hence (A.2 Jω AY (ϕiay ω (ϕ (2 = F ω (ϕ8b 1 ω(ϕb 2 ω(ϕ. = 1 ϕ ϕ ω ϕ ω 2 Therefore (.15 and (.19 together gves Jω AY (ϕiay ω (ϕ (2 1 ϕ ϕ ω V ϕ ω 2 ω (A. E ω(ϕf ω (ϕ 2 (A 1 ω (ϕb1 ω (ϕ A2 ω(ϕbω(ϕ 2. 2 Appendx B. Solve the lnear equatons system In ths secton we try to solve the lnear equatons system (.25-(.2. Frstly we solve (.25 and (.29 as follows: (.25 and (.29 gves us the followng equatons (B.1 a1 1 1 = a 1 2 1, (a1 2 1 = a1 1, (B.2 a2 1 1 = a 2 2 1, (a2 2 1 1 = a 2 1 2. Pluggng the frst equaton nto second equaton n (B.1, we have ( a1 1 1 = a 1 1 whch mples (B. a 1 1 = 2, a1 2 = 8. Smlarly, therefore ( a2 1 1 1 2 = a2 1, (B. a 2 1 =, a2 2 = ( 1 = 21 16. Secondly, (.26 and (. mples (B.5 b1 1 1 = b 1 2 1, (b 1 2 1 = b 1 1, (B.6 b2 1 1 = b 2 2 1, (b 2 2 1 = b 2 1 1 2. The above lnear equatons system gves ( b1 1 1 ( = b 1 1 b2 1 1 = b 2 1 2, respectvely. Hence (B.7 (B.8 b 1 1 = 2, b1 2 = 8, b 2 1 =, b2 2 = ( 1 = 21 16.
22 YI LI Contnuously, equatons (.27 and (.1 shows that c 1 c 2 = 1 2, c 2 c 1 =, d 1 d 2 = 1 2, d 2 d 1 =. Elmnatng c 2 and d 2 respectvely, we have ( c 1 1 ( c 1 =, 2 d 1 1 d 1 =. 2 Thus (B.9 (B.1 c 1 = 1, c 2 = 1 d 1 = 1, d 2 = 1. Smlarly, from (.28 and (.2 we obtan and hence e 1 e 2 =, e 2 e 1 = 1 2, f 1 f 2 =, f 2 f 1 = 1 2, (B.11 (B.12 e 1 = f 1 = 1, e 2 = f 2 = 16. Appendx C. Explct formulas of Iω AY AY (ϕ and Jω (ϕ In ths secton we gve the explct formulas of Iω AY (ϕ and Jω AY (ϕ. Usng the constants determned n Appendx B, we have Thus I AY ω (ϕ ϕ(ω ωϕ V ω ϕω 1 ω ϕ ϕω ϕ 1 ω ϕ ϕω 1 ω ϕ ϕω ϕ 1 ω ϕ ϕω ϕ 1 ω ϕ ϕω ϕ 1 ω ϕ 9 ϕω 1 ω ϕ 9 ϕω 1 ω ϕ ϕ(ω ω V ϕ ω ϕω 1 ω ϕ ϕω 1 ω ϕ 2 2 ϕω ϕ 1 ω ϕ ϕω ϕ 1 ω ϕ. 2 2
MABUCHI AND AUBIN-YAU FUNCTIONALS OVER COMPLE THREE-FOLDS 2 Proposton C.1. One has Iω AY (ϕ V ω 2 2 ϕ(ω ω ϕ ϕω ϕ 1 ω ϕ 2 ϕω ϕ 1 ω ϕ 2 ϕω 1 ω ϕ ϕω 1 ω ϕ. Smlarly, we have Jω AY (ϕ = LM ω (ϕ 1 ϕω ϕω 1 ω ϕ ( 2 1 ϕω ϕ 1 ω ϕ 82 2 2 1 ϕω 1 ω ϕ ( 2 1 ϕω ϕ 1 ω ϕ 82 2 2 1 ϕω ϕ 1 ω ϕ 1 ϕω ϕ 1 ω ϕ 82 82 27 1 ϕω 1 ω ϕ 27 1 ϕω 1 ω ϕ 8 2 8 2 = L M ω (ϕ 1 ϕω ϕω 1 ω ϕ ϕω 1 ω ϕ 2 2 ϕω ϕ 1 ω ϕ ϕω ϕ 1 ω ϕ 2 2 So Proposton C.2. One has Jω AY (ϕ = LM ω (ϕ 1 ϕω ϕω ϕ 1 ω ϕ 2 2V ω ϕω ϕ 1 ω ϕ 2 2 References ϕω 1 ω ϕ ϕω 1 ω ϕ. 1. Dnew, S., Kolodzej, S., Plurpotental estmates on comapct Hermtan manfolds, preprnt, arv: 91.97, 29. 2. Gauduchon, P., Sur la 1-forme de torson d une varètè hermtenne compacte, Math. Ann. 267 (198, 95 518.. Guan, B., L, Q., Complex Monge-Ampère equatons on Hermtan manfold, preprnt, arv: 96.58, 29.. L, Y., Mabuch and Aubn-Yau functonals over complex surfaces, preprnt, arv: math.dg/12.11, 21. 5. L, Y., Mabuch and Aubn-Yau functonals over complex manfolds, n preparaton. 6. L, Y., Tosatt, V., Prvate communcatons, March, 21. 7. Mabuch, T., K-energy maps ntegratng Futak nvatants, Tohoku Math. Journ., 8(1986, 575 59.
2 YI LI 8. Phong, D.H., Sturm, J., Lectures on stablty and constant scalar curvature, preprnt, arv: 81.179, 28. 9. Tosatt, V., Wenkove, B., Estmates for the complex Monge-Ampère equaton on Hermtan and balanced manfolds, preprnt, arv: 99.96v1, 29. 1. Tosatt, V., Wenkove, B., The complex Monge-ampère equaton on compact Hermtan manfolds, preprnt, arv: 91.19, 29. 11. Yau, S.-T., On the Rcc curvature of a compact Kähler manfold and the complex Monge- Ampère equaton, I, Comm. Pure. Appl. Math., 1 (1978, no., 9 11. 12. Yau, S.-T., Revew of geometry and analyss, Kodara s ssue. Asan J. Math. (2, no.1, 25 278 Department of Mathematcs, Harvard Unversty, Cambrdge, MA 218 E-mal address: yl@math.harvard.edu