Related papers: Gauge equivalence for complete $L_{\infty}$-algebr…
In this paper, we first construct a differential graded Lie algebra that controls deformations of a Lie-Yamaguti algebra. Furthermore, a relative Rota-Baxter operator on a Lie-Yamaguti algebra is characterized as a Maurer-Cartan element in…
We consider the problem of integration of L_\infty-algebroids (differential graded manifolds) to L_\infty-groupoids. We first construct a "big" Kan simplicial manifold (Fr\'echet or Banach) whose points are solutions of a (generalized)…
We give a short outline, in Sec.\ 2, of the historical development of the gauge idea as applied to internal ($U(1),\, SU(2),\dots$) and external ($R^4,\,SO(1,3),\dots$) symmetries and stress the fundamental importance of the corresponding…
In this paper, we study compatible Leibniz algebras. We characterize compatible Leibniz algebras in terms of Maurer-Cartan elements of a suitable differential graded Lie algebra. We define a cohomology theory of compatible Leibniz algebras…
We construct Lie algebras of derivations (and identify their geometrical realization) whose Maurer-Cartan sets provide moduli spaces describing the classes of homotopy types of rational spaces sharing either the same homotopy Lie algebra,…
We calculate the higher homotopy groups of the Deligne-Getzler infinity-groupoid associated to a nilpotent L-infinity algebra. As an application, we present a new approach to the rational homotopy theory of mapping spaces.
In this review article, first we give the concrete formulas of representations and cohomologies of associative algebras, Lie algebras, pre-Lie algebras, Leibniz algebras and 3-Lie algebras and some of their strong homotopy analogues. Then…
A homotopy analogue of the notion of a triangular Lie bialgebra is proposed with a goal of extending the basic notions of theory of quantum groups to the context of homotopy algebras and, in particular, introducing a homotopical…
By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices…
The construction of conformally invariant gauge conditions for Maxwell and Einstein theories on a manifold M is found to involve two basic ingredients. First, covariant derivatives of a linear gauge (e.g. Lorenz or de Donder), completely…
In the gauge theory of gravity based on the Poincare group (the semidirect product of the Lorentz group and the spacetime translations) the mass (energy-momentum) and the spin are treated on an equal footing as the sources of the…
We show an alternative construction of the cosimplicial free complete diferential graded Lie algebra $\mathfrak{L}_\bullet=\widehat{\mathbb{L}}(s^{-1}\Delta^\bullet)$ based on a new Lie bracket formulae for Lie polynomials on a general…
We study geometric representation theory of Lie algebroids. A new equivalence relation for integrable Lie algebroids is introduced and investigated. It is shown that two equivalent Lie algebroids have equivalent categories of infinitesimal…
In this paper we consider $L_{\infty}$-algebras equipped with complete descending filtrations. We prove that, under some mild conditions, an $L_{\infty}$ quasi-isomorphism $U: L \to \tilde{L}$ induces a weak equivalence between the…
In this paper, we describe a method for obtaining the nonabelian Seiberg-Witten map for any gauge group and to any order in theta. The equations defining the Seiberg-Witten map are expressed using a coboundary operator, so that they can be…
In this article we study the homotopy theory of pre-Calabi-Yau morphisms, viewing them as Maurer-Cartan elements of an $L_{\infty}$-algebra. We give two different notions of homotopy: a notion of weak homotopy for morphisms between…
The Maurer-Cartan algebra of a Lagrangian $L$ is the algebra that encodes the deformation of the Floer complex $CF(L,L;\Lambda)$ as an $A_\infty$-algebra. We identify the Maurer-Cartan algebra with the $0$-th cohomology of the Koszul dual…
We construct a natural morphism $\rho$ from the nerve $\text{MC}_\bullet(L) = \text{MC}(\Omega_\bullet \widehat{\otimes} L)$ of a pronilpotent curved L${}_\infty$-algebra $L$ to the simplicial subset $\gamma_\bullet(L) =…
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]$…
We propose a new "Hamiltonian inspired" covariant formula to define (without harmful ambiguities) the superpotential and the physical charges associated to a gauge symmetry. The criterion requires the variation of the Noether current not to…