Use the complex-bilinear extension of the Nijenhuis tensor expression to complex vector fields. If , then and , soFor , the same substitution with gives . For inputs of opposite types, the two leading Lie brackets cancel, as do the two terms involving , so . Applying the type decomposition of the complexified tangent bundle to both inputs consequently givesThus precisely when the Lie bracket of any two sections of either eigenbundle remains in that same eigenbundle. In other words, if and only if both tangent-type distributions are involutive distributions. This proves the equivalence directly and does not assume that an arbitrary almost complex structure already has holomorphic coordinates.
Articles by others on the same topic
There are currently no matching articles.