Exponential map and \(L_{\infty}\) algebra associated to a Lie pair (Q1759778): Difference between revisions

In this paper, the notion of a Kapranov module over a Lie algebroid \(A\rightarrow M\) is defined as a vector bundle \(E\rightarrow M\) with an infinitesimal \(A\)-action on \(E\) such that the \(\mathbb{Z}\)-graded vector space \(\Gamma\left( \wedge^{\cdot}A^{\ast}\otimes E\right) \) is equipped with an \(L_{\infty}\left[ 1\right] \) algebra structure, i.e. a sequence of degree-1 multibrackets \(\lambda_{k}:\otimes^{k}\Gamma\left( \wedge^{\cdot}A^{\ast }\otimes E\right) \rightarrow\Gamma\left( \wedge^{\cdot}A^{\ast}\otimes E\right) \left[ 1\right] \) which are skew-symmetric \(\Gamma\left( \wedge^{\cdot}A^{\ast}\right) \)-multilinear for \(k\geq2\) and equal to the Chevalley-Eilenberg differential for the \(A\)-action on \(E\) for \(k=1\), satisfying the generalized Jacobi identity. Such a structure is also characterized by a sequence of vector bundle morphisms \(\mathbb{R}_{k} :S^{k}\left( E\right) \rightarrow A^{\ast}\otimes E\) for \(k\geq2\) with \(\mathbb{R}:=\sum_{k=2}^{\infty}\mathbb{R}_{k}\) being a solution of the Maurer-Cartan equation \(d_{A}\mathbb{R}+\frac{1}{2}\left[ \mathbb{R} ,\mathbb{R}\right] =0\), relating to \(\lambda_{k}\) by \(\lambda_{k}\left( \bigotimes_{i=1}^{k}\left( \xi_{i}\otimes e_{i}\right) \right) \) equal to \(\left( -1\right) ^{\left| \xi\right| }\bigwedge_{i=1}^{k}\xi _{i}\wedge\mathbb{R}_{k}\left( e_{1},..,e_{k}\right) \) for \(e_{i}\in \Gamma\left( E\right) \) and homogeneous \(\xi_{i}\in\Gamma\left( \wedge^{\cdot}A^{\ast}\right) \) with total degree \(\left| \xi\right| :=\sum_{i=1}^{k}\left| \xi_{i}\right| \). As the main result, it is shown that for a Lie pair \(\left( L,A\right) \) of a Lie algebroid \(L\) and a Lie subalgebroid \(A\), the \(A\)-module \(L/A\) admits a canonical (up to isomorphism) Kapranov module structure over \(A\) with \(\mathbb{R}_{2}\in\Gamma\left( A^{\ast}\otimes S^{2}\left( L/A\right) ^{\ast}\otimes\left( L/A\right) \right) \) being a 1-cocycle that represents the Atiyah class \(\alpha_{L/A}\in H^{1}\left( A;\left( L/A\right) ^{\ast }\otimes\text{End}\left( L/A\right) \right) \) of \(L/A\) relative to \(\left( L,A\right) \), where \(\alpha_{L/A}\) is defined to be the cohomology class of \(R_{L/A}^{\nabla}\in\Gamma\left( A^{\ast}\otimes\left( L/A\right) ^{\ast}\otimes\text{End}\left( L/A\right) \right) \) induced by the \(\left( \wedge^{2}A\right) \)-annihilating curvature \(R^{\nabla}:\wedge ^{2}L\rightarrow\text{End}\left( L/A\right) \) of any \(L\)-connection \(\nabla\) on \(L/A\) extending the \(A\)-action.