MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 deleted 272 characters in body

Hello!

Let $M$ be an almost complex manifold. Let $TM$ denote its tangent bundle. Then we have the decomposition $TM\otimes\mathbb{C}=T^{1,0}M\oplus T^{0,1}M$ corresponding to the eigenvalues of the almost complex structure. This decomposition yields the decomposition: $$ \Lambda^r(T^\star M\otimes\mathbb{C})=\Lambda^r(T^{1,0}M^\star\oplus T^{0,1}M^\star)=\bigoplus_{p+q=r}\Lambda^p(T^{1,0}M^\star)\otimes\Lambda^q(\overline{T^{0,1}M}^\star) $$ Now take a section $\omega$ of the complex vector bundle $$ \Lambda^{p,q}:=\Lambda^p(T^{1,0}M^\star)\otimes\Lambda^q(\overline{T^{0,1}M}^\star) $$ $\omega$ is called a complex differential form of type $(p,q)$. My first question is:

How can we write such a form in local coordinates since we do not have the usual $\mathrm{d}z^i$ and $\mathrm{d}\bar{z}^i$ from the holomorphic coordinates of a complex manifold? Then how we define its differential in local coordinates?

Now consider Consider a complex $(p,q)$-form $\omega$ and take its differential. Its differential $\mathrm{d}\omega$ is a section of: $$ \Lambda^{p+q+1}(T^\star M\otimes\mathbb{C})=\bigoplus_{m+n=p+q+1}\Lambda^{m,n} $$ Therefore $\mathrm{d}\omega$ can be decomposed in a sum of complex differential forms of type $(m,n)$ with $m+n=p+q+1$. However I have read that there are only four terms. My second question is:

How do we prove that in fact $\mathrm{d}\omega$ is a section of: $$\Lambda^{p+2,q-1}\oplus\Lambda^{p+1,q}\oplus\Lambda^{p,q+1}\oplus\Lambda^{p-1,q+2}$$ only?

I am aware that in the case where the almost complex structure is integrable we get only two terms such that finally we have $\mathrm{d}=\partial+\bar{\partial}$. But in fact it seems that in the almost complex case already we do not have so many terms (namely we have only 4 as above). I think this has something to do with the graduation of the algebra of differential forms and the nilpotence of the differential itself but I am not able to prove it.

At last, since I am interesting in the same kind of question concerning Lie and Courant algebroids, I was wondering if this fact could be recast in the language of homotopical algebras (by which I vaguely mean that usual identities on brackets hold up to something else)? This is because the algebra of differential forms is a supercommutative algebra and that we can reformulate $\mathrm{d}^2=0$ by $[\mathrm{d},\mathrm{d}]=0$. Could somebody point me toward an article?

Thank you very much!
show/hide this revision's text 1

Differential forms on an almost complex manifold

Hello!

Let $M$ be an almost complex manifold. Let $TM$ denote its tangent bundle. Then we have the decomposition $TM\otimes\mathbb{C}=T^{1,0}M\oplus T^{0,1}M$ corresponding to the eigenvalues of the almost complex structure. This decomposition yields the decomposition: $$ \Lambda^r(T^\star M\otimes\mathbb{C})=\Lambda^r(T^{1,0}M^\star\oplus T^{0,1}M^\star)=\bigoplus_{p+q=r}\Lambda^p(T^{1,0}M^\star)\otimes\Lambda^q(\overline{T^{0,1}M}^\star) $$ Now take a section $\omega$ of the complex vector bundle $$ \Lambda^{p,q}:=\Lambda^p(T^{1,0}M^\star)\otimes\Lambda^q(\overline{T^{0,1}M}^\star) $$ $\omega$ is called a complex differential form of type $(p,q)$. My first question is:

How can we write such a form in local coordinates since we do not have the usual $\mathrm{d}z^i$ and $\mathrm{d}\bar{z}^i$ from the holomorphic coordinates of a complex manifold? Then how we define its differential in local coordinates?

Now consider a complex $(p,q)$-form $\omega$ and take its differential. Its differential $\mathrm{d}\omega$ is a section of: $$ \Lambda^{p+q+1}(T^\star M\otimes\mathbb{C})=\bigoplus_{m+n=p+q+1}\Lambda^{m,n} $$ Therefore $\mathrm{d}\omega$ can be decomposed in a sum of complex differential forms of type $(m,n)$ with $m+n=p+q+1$. However I have read that there are only four terms. My second question is:

How do we prove that in fact $\mathrm{d}\omega$ is a section of: $$\Lambda^{p+2,q-1}\oplus\Lambda^{p+1,q}\oplus\Lambda^{p,q+1}\oplus\Lambda^{p-1,q+2}$$ only?

I am aware that in the case where the almost complex structure is integrable we get only two terms such that finally we have $\mathrm{d}=\partial+\bar{\partial}$. But in fact it seems that in the almost complex case already we do not have so many terms (namely we have only 4 as above). I think this has something to do with the graduation of the algebra of differential forms and the nilpotence of the differential itself but I am not able to prove it.

At last, since I am interesting in the same kind of question concerning Lie and Courant algebroids, I was wondering if this fact could be recast in the language of homotopical algebras (by which I vaguely mean that usual identities on brackets hold up to something else)? This is because the algebra of differential forms is a supercommutative algebra and that we can reformulate $\mathrm{d}^2=0$ by $[\mathrm{d},\mathrm{d}]=0$. Could somebody point me toward an article?

Thank you very much!