I am reading Hitchin's beautiful paper "The Geometry of Three-forms in Six Dimensions".
Everything goes smooth up to now except for a tiny problem in Section 6.2, which can be formulated as follows. Let X be a complex compact 3-fold with trivial canonical bundle such that the ∂ˉ∂-lemma holds, (for simplicity we may just think of X as a Calabi-Yau 3-fold). Fix an Hermitian metric on X and define E={α∈Λ3(M,R):dα=0,d∗α has no (2,0) and (0,2) parts}. By Hodge decomposition, E=E1⊕E2, where E1 is the space of d-harmonic 3-forms, and E2 consists of d-exact forms. In order to apply implicit function theorem, Hitchin needs to show that the linear map Q:E2→E2 is surjective, where Q(α)=P2(∗Jα). Here J is the complex structure, ∗ is the Hodge star, and P2 is the orthogonal projection onto E2.
My interpretation of Hitchin's argument goes as the following:
Let L={dβ:β is a real (1,1)-form}, and it is easy to see that E2⊂L. Therefore E2=P2(E2)=P2(L). Hitchin showed that for any dβ∈L, one can find a real (1,1)-form μ such that Q(dμ)=P2(dβ). But it seems that this is not enough to prove the surjectivity since one does not know dμ∈L falls into E2.
Hitchin's explanation is the following:
"Note that if β is of type (2,0)+(0,2), P2(∗Jdβ)=0, so surjectivity for dβ∈L2k(Λ3) implies surjectivity on the transversal E2."
Here L2k just means Sobolev space. My questions are: 1) why P2(∗Jdβ)=0 given that β is of type (2,0)+(0,2); 2) why is this enough to prove that Q is surjective?
Thank you!
This post imported from StackExchange MathOverflow at 2014-10-06 13:29 (UTC), posted by SE-user Piojo