Arxiv:1708.07297V1 [Math.DG] 24 Aug 2017 Oncin Aoia Oncin Uvtr,Positivity
Total Page:16
File Type:pdf, Size:1020Kb
NON-EXISTENCE OF ORTHOGONAL COMPLEX STRUCTURES ON S6 WITH A METRIC CLOSE TO THE ROUND ONE BORIS KRUGLIKOV Abstract. I review several proofs for non-existence of orthogonal complex structures on the six-sphere, most notably by G. Bor and L. Hern´andez-Lamoneda, but also by K. Sekigawa and L. Vanhecke that we generalize for metrics close to the round one. Invited talk at MAM-1 workshop, 27-30 March 2017, Marburg. 1. Introduction In 1987 LeBrun1 [7] proved the following restricted non-existence result for the 6-sphere. Let (M,g) be a connected oriented Riemannian manifold. Denote by (M) the space of almost complex structures J Jg on M that are compatible with the metric (i.e. J ∗g = g) and with the orientation. This is the space of sections of an SO(6)/U(3) fiber bundle, so whenever non-empty it is infinite-dimensional. Associating to J (M) the almost symplectic structure ω(X,Y ) = g(JX,Y ), ∈ Jg X,Y T M, we get a bijection between g(M) and the space of almost Hermitian∈ triples (g,J,ω) on M with fixedJ g. Theorem 1. No J (S6) is integrable (is a complex structure) for ∈Jg0 the standard (round) metric g0. In other words, there are no Hermitian 6 structures on S associated to the metric g0. There are several proofs of this statement, we are going to review some of those. The method of proof of Theorem 1 by Salamon [8] uses arXiv:1708.07297v1 [math.DG] 24 Aug 2017 6 6 the fact that the twistor space of (S ,g0) is (S )= SO(8)/U(4) which is a K¨ahler manifold (it has a complex structureZ because S6 is confor- mally flat, and the metric is induced by g0), and so the holomorphic embedding s : S6 (S6) would induce a K¨ahler structure on S6. J → Z Here the symmetry of g0 is used (homogeneity), so this proof is not applicable for g g (but as mentioned in [2], a modification of the ≈ 0 2010 Mathematics Subject Classification. 32Q99, 53C07, 32Q60; 53C99, 32Q15. Key words and phrases. Complex structure, Hermitian structure, characteristic connection, canonical connection, curvature, positivity. 1As discussed in the paper by A. C. Ferreira in this volume, the same result was established in 1953 by A. Blanchard [1] using the ideas anticipating twistors. The proofs of [1, 7] are reviewed there. 1 2 BORIS KRUGLIKOV original approach of [7], based on an isometric embedding of (S6,g) into a higher-dimensional Euclidean space, is possible). A generalization of Theorem 1 obtained in [2] is as follows. 6 Theorem 2. Let g be a Riemannian metric on S . Denote by Rg its Riemannian curvature, considered as a (3, 1)-tensor, and by R˜g : 2 6 2 6 Λ T ∗S Λ T ∗S the associated (2, 2) tensor (curvature operator). → 6 Assume that its spectrum (15 functions λi on S counted with mul- tiplicities) Sp(R˜g) = λmin λmax is positive λmin > 0 and satisfies 5λ < 7λ {. Then≤ no ···J ≤ (S6}) is integrable. max min ∈Jg This theorem will be proven in Section 4 after we introduce the notations and recall the required knowledge in Sections 2 and 3. Then we will give another proof of Theorem 1 due to Sekigawa and Vanhecke [9] in Section 5. Then in Section 6 we generalize it in the spirit of Theorem 2. Section 7 will be a short summary and an outlook. Let us start with an alternative proof of Theorem 1 following Bor and Hern´andez-Lamoneda [2]. Sketch of the proof of Theorem 1. Let K = Λ3,0(S6) be the canonical line bundle of the hypothetical complex structure J. Equip 3 6 it with the Levi-Civita connection that is induced from ΛC(S ) by the orthogonal projection. The curvature∇ of K with respect to is ∇ ˜ Ω= R Λ3,0 + Φ∗ Φ= iRg(ω) + Φ∗ Φ, (1) ∇| ∧ ∧ where Φ is the second fundamental form (see 3.1). It has type (1, 0) § and so iΦ∗ Φ 0 (see 3.2). Since for the round metric g = g we ∧ ≤ § 0 have R˜g = Id, so iΩ= ω + iΦ∗ Φ < 0. − ∧ Thus iΩ is a non-degenerate (positive) scalar valued 2-form which is closed− by the Bianchi identity. This implies that S6 is symplectic which 2 S6 is impossible due to HdR( ) = 0. It is clear from the proof that for g g the operator R Id ≈ 0 g ≈ is still positive, so the conclusion holds for a small ball around g0 in 2 6 Γ( T ∗S ). It only remains to justify the quantitative claim. ⊙+ 2. Background I: connections on Hermitian bundles Let M be a complex n-dimensional manifold. In this section we collect the facts about calculus on M important for the proof. A hurried reader should proceed to the next section returning here for reference. Let π : E M be a Hermitian vector bundle, that is a holomorphic bundle over M→ equipped with the Riemannian structure , in fibers for which the complex structure J in the fibers is orthogonal.h Examplesi are the tangent bundle T M and the canonical line bundle K =Λn,0(M). NON-EXISTENCE OF ORTHOGONAL COMPLEX STRUCTURES 3 Note that a Hermitian structure is given via a C-bilinear symmetric 2 product (E C) C as follows: the restriction (, ): E′ E′′ C, ⊙ ⊗ → ⊗ → where E C = E′ E′′ = E(1,0) E(0,1) is the canonical decomposition into +i and⊗ i eigenspaces⊕ of⊕ the operator J, gives the Hermitian metric , : E− E C, ξ, η =(ξ, η¯). Thereh arei several⊗ → canonicalh i connections on E. 2.1. The Chern connection. This is also referred to as the canonical metric [6] or characteristic [4] connection and is constructed as follows. Recall that the Dolbeaux complex of a holomorphic vector bundle is ∂¯ ∂¯ 0 Γ(E) Ω0,1(M; E)=Γ(E) Ω0,1(M) Ω0,2(M; E) ... → → ⊗ → → where the first Dolbeaux differential ∂¯, generating all the other differ- entials in the complex, is given by localization as follows (for simplicity of notations, everywhere below we keep using M for the localization). i If e1,...,em is a basis of holomorphic sections and ξ = f ei Γ(E) i C ¯ ¯ i ∈ a general section, f C∞(M, ), then ∂ξ = ∂(f )eiP. It is easy to ∈ check by passing to another holomorphic frameP that this operator ∂¯ is well-defined, and that its extension by the Leibnitz rule ∂¯(ξ α)= ∂¯(ξ) α + ξ dα yields a complex, ∂¯2 = 0. ⊗ ∧ · Theorem 3. There exists a unique linear connection on the vector bundle E, i.e. a map D : Γ(E) Ω1(M, E) = Ω1(M) Γ(E), that is → ⊗ compatible with the metric: d ξ, η = Dξ,η + ξ,Dη , • h i h i h i compatible with the complex structure: D′′ = ∂¯. • The first condition is Dg =0 and the second implies DJ =0. Above, D′′ is the (0, 1)-part of D, i.e. the composition of D with the projection Ω1(M, E) Ω0,1(M, E). → Proof. The statement is local, so we can use a local holomorphic frame ei to compute. Thus, a linear connection D is given by a connection b 1 C b form θ = [θa] Ω (M; gl(n, )): Dea = θaeb. We use the notations ¯b ¯∈b ea¯ =e ¯a, θa¯ = θa, etc, cf. [6]. Let ga¯b = ea, eb = (ea, e¯b) be the components of the Hermitian metric. The firsth conditioni on D writes c c¯ dg ¯ = De , e + e , De = θ g ¯ + θ g . ab h a bi h a bi a cb ¯b ac¯ b The second condition means that all θa are (1, 0)-forms, so the above c ¯ c¯ formula splits: ∂ga¯b = θagc¯b ∂ga¯b = θ¯bgac¯. Consequently, the connection⇔ form satisfying the two conditions is 1 b bc¯ uniquely given by θ = g− ∂g, or in components θ = g ∂g . · a ac¯ 4 BORIS KRUGLIKOV We will denote the Chern connection, so obtained, by D. In par- ticular, there is a canonical connection D on the tangent bundle of a Hermitian manifold. Its torsion is equal to c ♯ TD = π2,0(d ω) , c 3 2 where d ω(ξ,η,ζ)= dω(Jξ,Jη,Jζ), ♯ :Λ T ∗M ֒ Λ T ∗M T ∗M 2 − → 2 ⊗ → Λ T ∗M T M is the index lift operator and π2,0 : Λ T ∗M T M 2,0 ⊗ ⊗ → Λ T ∗M T M = B : B(Jξ,η)= B(ξ,Jη)= JB(ξ, η) is the projec- tion, cf. [4].⊗ This implies{ that the Chern connection D}on T M has a non-trivial torsion unless (g,J,ω) is K¨ahler. 2.2. The Levi-Civita connection. A Hermitian metric induces a canonical torsionless metric connection on T M: g = 0, T = 0. ∇ ∇ ∇ Due to computation of the torsion TD above, the Levi-Civita connec- tion does not preserve J unless M is K¨ahler. In other words, D = only∇ in this case. ∇ Choosing the frame ea = ∂za , ea¯ = ∂z¯a , for a holomorphic coordinate system (za) on M, we get ¯ ¯ e =Γc eb e +Γc eb e +Γc¯ eb e +Γc¯ eb e ∇ a ab ⊗ c a¯b ⊗ c ab ⊗ c¯ a¯b ⊗ c¯ and (because gab =0= ga¯¯b) the Christoffel coefficients have the stan- dard but shorter form, e.g. c 1 cd¯ ∂gad¯ ∂gbd¯ c 1 cd¯ ∂gad¯ ∂ga¯b Γab = 2 g b + a , Γa¯b = 2 g b d , etc. ∂z ∂z ∂z¯ − ∂z¯ c c b c ¯b Introducing the 1-forms ϑa = Γabe +Γa¯be (not necessarily of (1, 0)- type) we obtain the induced connection on the holomorphic bundles (1,0) T(1,0)M, T M (and their conjugate): e = ϑc e , ec = ϑc ea, etc.