For vector fields , direct evaluation givesup to the harmless overall sign fixed by the exterior-derivative convention. If is integrable, fields are closed under bracket, so the right side vanishes. Conversely, if it vanishes for every smooth complex function , differentials separate tangent vectors and therefore . Involutivity of , equivalently vanishing of the Nijenhuis tensor, is the Newlander-Nirenberg criterion for an integrable almost complex structure. Thus is integrable exactly when for every .
Articles by others on the same topic
There are currently no matching articles.