Complex Linear Brackets and Integrable Structures.

Click For Summary
SUMMARY

The discussion centers on proving that if the map \( v \mapsto [v,w] \) is complex linear, then the almost complex structure \( J \) on the manifold \( (M,J) \) is integrable. The key conclusion is that the Nijenhuis tensor \( N(v,w) \) must equal zero, which indicates integrability. The calculations presented demonstrate that the Nijenhuis tensor simplifies to zero without relying on the complex linearity of the bracket, leading to the realization that \( J \) operates on the Lie brackets in a fiber-wise manner.

PREREQUISITES
  • Understanding of almost complex manifolds
  • Familiarity with the Nijenhuis tensor
  • Knowledge of Lie brackets in vector fields
  • Concept of complex linearity in mappings
NEXT STEPS
  • Study the properties of the Nijenhuis tensor in detail
  • Explore the implications of complex linearity in differential geometry
  • Learn about integrable almost complex structures and their applications
  • Investigate the relationship between Lie brackets and vector fields in manifold theory
USEFUL FOR

Mathematicians, particularly those specializing in differential geometry, complex geometry, and anyone studying the properties of almost complex manifolds and their integrability.

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.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 16 ·
Replies
16
Views
6K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
12
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
3
Views
9K