Some Remarks on Nijenhuis Bracket, Formality, and Kähler Manifolds
arXiv:1103.3877
Abstract
One (actually, almost the only effective) way to prove formality of a differentiable manifold is to be able to produce a suitable derivation such that -lemma holds. We first show that such derivation generates a (1,1)-tensor field (we denote it by ). Then, we show that the supercommutation of and (which is a natural, essentially necessary condition to get a -lemma) is equivalent to vanishing of the Nijenhujis torsion of . Then, we are looking for sufficient conditions that ensure the -lemma holds: we consider the cases when is self adjoint with respect to a Riemannian metric or compatible with an almost symplectic structure. Finally, we show that if is scew-symmetric with respect to a Riemannian metric, has constant determinant, and if its Nijenhujis torsion vanishes, then the orthogonal component of in its polar decomposition is a complex structure compatible with the metric, which gives us a new characterization of Kähler structures
9 pages; no figures