Definition

Let JJ be an on a smooth manifold MM. Its Nijenhuis tensor is the vector-valued two-form

NJ(X,Y)=[JX,JY]J[JX,Y]J[X,JY][X,Y]N_J(X,Y) =[JX,JY]-J[JX,Y]-J[X,JY]-[X,Y]

for smooth vector fields X,YX,Y.

Although the formula uses , its value at a point depends only on the values of XX and YY there, so NJΩ2(M;TM)N_J\in\Omega^2(M;TM). After complexifying the , NJ=0N_J=0 exactly when the +i+i-eigenbundle of JJ is closed under Lie brackets.

The identifies the vanishing of NJN_J with integrability in the smooth category.

References

Daniel Huybrechts, Complex Geometry: An Introduction, Springer, 2005. DOI record. Relevant: Chapter 1.