Related papers: The Homotopy Class of twisted $L_\infty$-morphisms
We construct explicit global homotopies for differential Hochschild cochains in differential geometry, thereby upgrading the classical Hochschild-Kostant-Rosenberg map to a deformation retract. Our approach combines two key techniques: a…
We prove the statement/conjecture of M. Kontsevich on the existence of the logarithmic formality morphism. This question was open since 1999, and the main obstacle was the presence of $dr/r$ type singularities near the boundary $r=0$ in the…
In this paper we describe explicit $L_\infty$ algebras modeling the rational homotopy type of any component of the spaces $\map(X,Y)$ and $\map^*(X,Y)$ of free and pointed maps between the finite nilpotent CW-complex $X$ and the finite type…
For a finite dimensional Lie algebra $\mathfrak{g}$, the Duflo map $S\mathfrak{g}\rightarrow U\mathfrak{g}$ defines an isomorphism of $\mathfrak{g}$-modules. On $\mathfrak{g}$-invariant elements it gives an isomorphism of algebras.…
$G_\infty$-structure is shown to exist on the deformation complex of a morphism of associative algebras. The main step of the construction is extension of a $B_\infty$-algebra by an associative algebra. Actions of $B_\infty$-algebras on…
We discuss a new class of strong homotopy algebras constructed via inner deformations. Such deformations have a number of remarkable properties. In the simplest case, every one-parameter family of associative algebras leads to an…
We extend the Kontsevich formality $L_\infty$-morphism $\U\colon T^\ndot_\poly(\R^d)\to\D^\ndot_\poly(\R^d)$ to an $L_\infty$-morphism of an $L_\infty$-modules over $T^\ndot_\poly(\R^d)$, $\hat \U\colon C_\ndot(A,A)\to\Omega^\ndot(\R^d)$,…
In this paper we analyze some relationships between the topological complexity of a space $X$ and the category of $C_{\Delta_X},$ the homotopy cofibre of the diagonal map $\Delta_X:X\rightarrow X\times X.$ We establish the equality of the…
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, deformations of $L_\infty$-algebras are defined in such a way that the bases of deformations are $L_\infty$-algebras, as well. A universal and a semiuniversal deformation is constructed for $L_\infty$-algebras, whose…
Given an $L^2$-acyclic connected finite $CW$-complex, we define its universal $L^2$-torsion in terms of the chain complex of its universal covering. It takes values in the weak Whitehead group $\operatorname{Wh}^w(G)$. We study its main…
We prove that any smooth foliation that admits a Riemannian foliation structure has a well-defined basic signature, and this geometrically defined invariant is actually a foliated homotopy invariant. We also show that foliated homotopic…
Let $G$ be a compact connected Lie group and $K$ a closed connected subgroup. Assume that the order of any torsion element in the integral cohomology of $G$ and $K$ is invertible in a given principal ideal domain $k$. It is known that in…
For closed oriented manifolds, we establish oriented homotopy invariance of higher signatures that come from the fundamental group of a large class of orientable 3-manifolds, including the ``piecewise geometric'' ones in the sense of…
Let $i: \mathrm{L} \hookrightarrow \mathrm{X}$ be a compact K\"{a}hler Lagrangian in a holomorphic symplectic variety $\mathrm{X}/\mathbf{C}$. We use deformation quantisation to show that the endomorphism differential graded algebra…
Motivated by the definition of homotopy $L_\infty$ spaces, we develop a new theory of Kuranishi manifolds, closely related to Joyce's recent theory. We prove that Kuranishi manifolds form a $2$-category with invertible $2$-morphisms, and…
We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive…
Chiral higher spin gravity is defined in terms of a strong homotopy algebra of pre-Calabi-Yau type (noncommutative Poisson structure). All structure maps are given by the integrals over the configuration space of concave polygons and the…
The strong homotopy Lie algebra, controlling simultaneous deformations of a morphism of associative algebras and its domain and codomain is constructed. Isomorphism of the cohomology of this strong homotopy Lie algebra with the classical…
This paper studies averaging algebras, say, associative algebras endowed with averaging operators. We develop a cohomology theory for averaging algebras and justify it by interpreting lower degree cohomology groups as formal deformations…