Related papers: The Homotopy Class of twisted $L_\infty$-morphisms

We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is…

This master's thesis contains an introduction to $A_\infty$-algebras and homological perturbation theory. We then discuss the formality of compact K\"ahler manifolds and present a direct proof of a homotopy transfer principle of…

We define a strong homotopy derivation of (cohomological) degree k of a strong homotopy algebra over an operad P. This involves resolving the operad obtained from P by adding a generator with "derivation relations". For a wide class of…

We prove that strongly homotopy algebras (such as $A_\infty$, $C_\infty$, sh Lie, $B_\infty$, $G_\infty$,...) are homotopically invariant in the category of chain complexes. An important consequence is a rigorous proof that `strongly…

We consider inner deformations of families of $A_\infty$-algebras. With the help of noncommutative Cartan's calculus, we prove the invariance of Hochschild (co)homology under inner deformations. The invariance also holds for cyclic…

A theory of topological gravity is a homotopy-theoretic representation of the Segal-Tillmann topologification of a two-category with cobordisms as morphisms. This note describes a relatively accessible example of such a thing, suggested by…

We describe the category of homotopy coalgebras, concentrating on properties of relatively cofree homotopy coalgebras, morphisms and coderivations from an ordinary coalgebra to a relatively cofree homotopy coalgebra, morphisms and…

Over a field of characteristic zero we prove two formality conditions. We prove that a dg Lie algebra is formal if and only if its universal enveloping algebra is formal. We also prove that a commutative dg algebra is formal as a dg…

This is the second of two papers that introduce a deformation theoretic framework to explain and broaden a link between homotopy algebra and probability theory. This paper outlines how the framework can assist in the development of homotopy…

Given a holomorphic Hilbertian bundle on a compact complex manifold, we introduce the notion of holomorphic $L^2$ torsion, which lies in the determinant line of the twisted $L^2$ Dolbeault cohomology and represents a volume element there.…

Let P be a connected smooth p-manifold. We describe the group of all cobordism classes of smooth maps of n-manifolds to P with singularities of a given $cal K$-invariant class in terms of certain stable homotopy groups by applying the…

A homotopy Gerstenhaber structure on a differential graded algebra is essentially a family of operations defining a multiplication on its bar construction. We prove that the normalized singular cochain algebra of a Davis-Januszkiewicz space…

In the formulation of his celebrated Formality conjecture, M. Kontsevich introduced a universal version of the deformation theory for the Schouten algebra of polyvector fields on affine manifolds. This universal deformation complex takes…

We introduce Hochschild (co-)homology of morphisms of schemes or analytic spaces and study its fundamental properties. In analogy with the cotangent complex we introduce the so called (derived) Hochschild complex of a morphism; the…

Let l be a commutative ring with unit. Garkusha constructed a functor from the category of l-algebras into a triangulated category D, that is a universal excisive and homotopy invariant homology theory. Later on, he provided different…

We show, up to h-cobordism, that the existence and uniqueness of connected sum decompositions of oriented 4-dimensional manifolds is an invariant of homotopy equivalence, assuming that the fundamental group of each summand is "good" in the…

In this paper we propose a reduction scheme for polydifferential operators phrased in terms of $L_\infty$-morphisms. The desired reduction $L_\infty$-morphism has been obtained by applying an explicit version of the homotopy transfer…

Let $(g,\delta_\hbar)$ be a Lie bialgebra. Let $(U_\hbar(g),\Delta_\hbar)$ a quantization of $(g,\delta_\hbar)$ through Etingof-Kazhdan functor. We prove the existence of a $L_\infty$-morphism between the Lie algebra $C(\g)=\Lambda(g)$ and…

A global representation is a compatible collection of representations of the outer automorphism groups of the groups belonging to some collection of finite groups $\mathscr{U}$. Global representations assemble into an abelian category…

This paper builds a general framework in which to study cohomology theories of strongly homotopy algebras, namely $A_\infty, C_\infty$ and $L_\infty$-algebras. This framework is based on noncommutative geometry as expounded by Connes and…