Related papers: Exponential map and $L_\infty$ algebra associated …

A celebrated theorem of Kapranov states that the Atiyah class of the tangent bundle of a complex manifold $X$ makes $T_X[-1]$ into a Lie algebra object in $D^+(X)$, the bounded below derived category of coherent sheaves on $X$. Furthermore…

This paper is devoted to the study of the relation between `formal exponential maps,' the Atiyah class, and Kapranov $L_\infty[1]$ algebras associated with dg manifolds in the $C^\infty$ context. Given a dg manifold, we prove that a `formal…

The subject of this paper is strongly homotopy (SH) Lie algebras, also known as $L_\infty$-algebras. We extract an intrinsic character, the Atiyah class, which measures the nontriviality of an (SH) Lie algebra $A$ when it is extended to…

For a Lie algebroid pair $A\hookrightarrow L$ we study cocycles constructed from the extension to $L$ of the higher connection forms of a representation up to homotopy $E$ of the Lie algebroid $A$. We show that there exists a cohomology…

The quotient $L/A[-1]$ of a pair $A\hookrightarrow L$ of Lie algebroids is a Lie algebra object in the derived category $D^b(\mathscr{A})$ of the category $\mathscr{A}$ of left $\mathcal{U}(A)$-modules, the Atiyah class $\alpha_{L/A}$ being…

Given any K\"ahler manifold $X$, Kapranov discovered an $L_\infty[1]$ algebra structure on $\Omega^{0,\bullet}_X(T^{1,0}_X)$. Motivated by this result, we introduce, as a generalization of $L_\infty[1]$ algebras, a notion of $L_\infty[1]$…

For every Lie pair $(L,A)$ of algebroids we construct a dg-manifold structure on the $\mathbb{Z}$-graded manifold $\mathcal M=L[1]\oplus L/A$ such that the inclusion $\iota: A[1] \to \mathcal M$ and the projection $p:\mathcal M\to L[1]$ are…

We prove that to every inclusion $A\hookrightarrow L$ of Lie algebroids over the same base manifold $M$ corresponds a Kapranov dg-manifold structure on $A[1]\oplus L/A$, which is canonical up to isomorphism. As a consequence,…

We recover some recent results by Dotsenko, Shadrin and Vallette on the Deligne groupoid of a pre-Lie algebra, showing that they follow naturally by a pre-Lie variant of the PBW Theorem. As an application, we show that Kapranov's $L_\infty$…

In this paper, we investigate representations of $\operatorname{At}(N)$, the Atiyah algebroids of a holomorphic line bundles $N$ over a complex manifold $Y$. In particular, we relate $\operatorname{At}(N)$-modules with logarithmic…

We investigate Atiyah algebroids, i.e. the infinitesimal objects of principal bundles, from the viewpoint of Lie algebraic approach to space. First we show that if the Lie algebras of smooth sections of two Atiyah algebroids are isomorphic,…

Given an inclusion $A\hookrightarrow L$ of Lie algebroids sharing the same base manifold $M$, i.e. a Lie pair, we prove that the space $\Gamma(\Lambda^\bullet A^\vee)\otimes_{R} \frac{U(L)}{U(L)\cdot\Gamma(A)}$, where $R=C^\infty(M)$,…

Motivated by Kapranov's discovery of an sh Lie algebra structure on the tangent complex of a K\"{a}hler manifold and Chen-Sti\'{e}non-Xu's construction of sh Leibniz algebras associated with a Lie pair, we find a general method to construct…

Let $n\ge 1$ and $A$ be a commutative algebra of the form $\boldsymbol k[x_1,x_2,\dots, x_n]/I$ where $\boldsymbol k$ is a field of characteristic $0$ and $I\subseteq \boldsymbol k[x_1,x_2,\dots, x_n]$ is an ideal. Assume that there is a…

We prove that the spaces $\operatorname{tot}\big(\Gamma(\Lambda^\bullet A^\vee \otimes_R\mathcal{T}_{\operatorname{poly}}^{\bullet}\big)$ and $\operatorname{tot}\big(\Gamma(\Lambda^\bullet…

We show that every Lie algebroid $A$ over a manifold $P$ has a natural representation on the line bundle $Q_A = \wedge^{top}A \otimes \wedge^{top} T^*P$. The line bundle $Q_A$ may be viewed as the Lie algebroid analog of the orientation…

We study infinitesimal deformations of Lie algebroid pairs in the category of smooth manifolds enriched with a local Artinian algebra. Given a Lie algebroid pair $(L,A)$, i.e. a Lie algebroid $L$ together with a Lie subalgebroid $A$, we…

Let $H$ be a cocommutative Hopf algebra. The notion of Lie $H$-pseudoalgebra is a multivariable generalization of Lie conformal algebras. In this paper, we study some higher structures related to Lie $H$-pseudoalgebras where we increase the…

Algebraic cycles on complex projective space P(V) are known to have beautiful and surprising properties. Therefore, when V carries a real or quaternionic structure, it is natural to ask for the properties of the groups of real or…

In topology there is a theorem of Atiyah, concerning K-theory of classifying space of connected compact Lie group. We consider an algebraic analogue of this theorem. We prove that for a split reductive algebraic group G over a field there…