Let $\mathfrak{g}$ and $\mathfrak{h}$ be differential graded Lie algebras and $\boldsymbol i\colon \mathfrak{g}\to \mathfrak{h}[-1]$ be a morphism of graded vector spaces. Define $\boldsymbol l:\mathfrak{g}\to \mathfrak{h}$ as
for any $a\in \mathfrak{g}$. The morphism $\boldsymbol i$ is called a Cartan homotopy if it satisfies the two conditions
This name has an evident geometric origin: if $\mathcal{T}_{X}$ is the tangent sheaf of a smooth manifold $X$ and $\Omega ^{*}_{X}$ is the sheaf of complexes of differential forms, then the contraction of differential forms with vector fields is a Cartan homotopy
In this case, $\boldsymbol l_{a}$ is the Lie derivative along the vector field $a$, and the conditions $\boldsymbol i_{[a,b]}= [\boldsymbol i_{a}, \boldsymbol l_{b}]$ and $[\boldsymbol i_{a}, \boldsymbol i_{b}]=0$, together with the defining equation $\boldsymbol l_{a}=[d_{\Omega ^{*}_{X}},\boldsymbol i_{a}]$ and with the equations $\boldsymbol l_{[a,b]}=[\boldsymbol l_{a},\boldsymbol l_{b}]$ and $[d_{\Omega ^{*}_{X}},\boldsymbol l_{a}]=0$ expressing the fact that $\boldsymbol l\colon \mathcal{T}_{X}\to \mathcal{E}nd^{*}(\Omega ^{*}_{X})$ is a dgla morphism, are nothing but the well-known Cartan identities involving contractions and Lie derivatives.
It is a straightforward computation to see that, if $\boldsymbol i$ is a Cartan homotopy, then the degree zero morphism of graded vector spaces $\boldsymbol l\colon \mathfrak{g}\to \mathfrak{h}$ is actually a dgla morphism.
D. Fiorenza, M. Manetti. L-∞ algebras, Cartan homotopies and period maps; arXiv:math/0605297
D. Fiorenza, M. Manetti. A period map for generalized deformations. Journal of Noncommutative Geometry, Vol. 3, No. 4 (2009), 579-597; arXiv:0808.0140.
D. Fiorenza, E. Martinengo. A short note on ∞-groupoids and the period map for projective manifolds Publications of the nLab. Vol. 2 (2012); arXiv:0911.3845
Created on September 12, 2012 at 23:58:50. See the history of this page for a list of all contributions to it.