Complex Linear Brackets and Integrable Structures.

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
Kreizhn
Messages
714
Reaction score
1

Homework Statement



Let (M,J) be an almost complex manifold and [.,.] be the commutator bracket on vector fields. Show that if the map [itex]v \mapsto [v,w][/itex] is complex linear then J is integrable.

The Attempt at a Solution


This question essentially just boils down to showing that the Nijenhuis tensor is zero. The curious thing is that when I'm computing the Nihenhuis tensor I always end up getting zero without having to use complex linearity of the bracket. Hence I must be making a trivial mistake, since certainly not all almost-complex manifolds are complex. Indeed, the version of the Nijenhuis tensor I am given is

[tex]N(v,w) = [Jv,Jw] - J[v,Jw] - J[Jv,w] - [v,w][/tex]
in which case my calculations simply reveal
[tex] \begin{align*}<br /> N(v,w) &= (JvJw-JwJv) - J(vJw - Jw v) - J(Jvw - wJv) - (vw - wv) \\<br /> &= JvJw - Jw Jv - Jv Jw - wv +vw + Jw Jv - vw + wv \\<br /> &= 0<br /> \end{align*}[/tex]

I figure I must be making a foolish mistake somewhere, but I cannot see it.
 
Physics news on Phys.org
Nevermind, got it. J is a section of the fibre bundle of almost complex structures over M and so is really only defined fibre-wise. Clearly J may act on the Lie brackets themselves, but is not distributive over the components (since they are not vector fields). The result is quite simple though with complex linearity added in, so the problem is resolved.