Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have the following question: Let $(M,J_{M}, \omega_{M})$ and $(N,J_{N}, \omega_{N})$ be two Kaehler manifolds. I consider $M \times N$. Can I introduce on $M \times N$ a complex structure ? I think one can define the complex structure by $J_{M} \oplus J_{N}$. Is this right? But then I do not understand why the Nijenhuis-tensor vanishes. Can someone explain this to me please. Thanks in advance.

Markus

share|improve this question
    
Yes, this is right. I don't think there's any deep reason why two integrable almost complex structures give rise to an integrable one, we just have to plough through the calculations to show it. If calculating the Nijenhuis tensor of $J_M \oplus J_N$ seems tiring, perhaps you could try showing the equivalent condition that $\bar \partial_{J_M \oplus J_N}^2 = 0$. –  Gunnar Magnusson Nov 1 '12 at 7:06
    
how could one check such a thing? –  Markus Nov 1 '12 at 7:42
    
For any form $\alpha$ and almost complex structure $J$ we have (by definition) $$\bar \partial_J \alpha = \tfrac 12 (d\alpha \pm i d J \alpha),$$ where $d$ is the exterior derivative and I can never remember whether there should be a $+$ or $-$ in the place of $\pm$ (one gives $\partial$, the other gives $\bar \partial$). Integrability of $J$ (i.e. the vanishing of the Nijenhuis tensor) is equivalent to either $\partial^2 = 0$ or $\bar \partial^2 = 0$. –  Gunnar Magnusson Nov 1 '12 at 8:54
    
By the way, your question is independent of the Kahler condition. –  Gunnar Magnusson Nov 1 '12 at 8:56

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.