Batalin-Vilkovisky formality for Chern-Simons theory

We prove that the differential graded Lie algebra of functionals associated to the Chern-Simons theory of a semisimple Lie algebra is homotopy abelian. For a general field theory, we show that the variational complex in the Batalin-Vilkovisky formalism is a differential graded Lie algebra.

Diamond distances in Nottingham algebras

Nottingham algebras are a class of just-infinite-dimensional, modular, [Formula: see text]-graded Lie algebras, which includes the graded Lie algebra associated to the Nottingham group with respect to its lower central series. Homogeneous components of a Nottingham algebra have dimension one or two, and in the latter case they are called diamonds. The first diamond occurs in degree [Formula: see text], and the second occurs in degree [Formula: see text], a power of the characteristic. Many examples of Nottingham algebras are known, in which each diamond past the first can be assigned a type, either belonging to the underlying field or equal to [Formula: see text]. A prospective classification of Nottingham algebras requires describing all possible diamond patterns. In this paper, we establish some crucial contributions towards that goal. One is showing that all diamonds, past the first, of an arbitrary Nottingham algebra [Formula: see text] can be assigned a type, in such a way that the degrees and types of the diamonds completely describe [Formula: see text]. At the same time we prove that the difference in degrees of any two consecutive diamonds in any Nottingham algebra equals [Formula: see text]. As a side-product of our investigation, we classify the Nottingham algebras where all diamonds have type [Formula: see text].

The Controlling $$L_\infty $$-Algebra, Cohomology and Homotopy of Embedding Tensors and Lie–Leibniz Triples

In this paper, we first construct the controlling algebras of embedding tensors and Lie–Leibniz triples, which turn out to be a graded Lie algebra and an $$L_\infty $$ L ∞ -algebra respectively. Then we introduce representations and cohomologies of embedding tensors and Lie–Leibniz triples, and show that there is a long exact sequence connecting various cohomologies. As applications, we classify infinitesimal deformations and central extensions using the second cohomology groups. Finally, we introduce the notion of a homotopy embedding tensor which will induce a Leibniz$$_\infty $$ ∞ -algebra. We realize Kotov and Strobl’s construction of an $$L_\infty $$ L ∞ -algebra from an embedding tensor, as a functor from the category of homotopy embedding tensors to that of Leibniz$$_\infty $$ ∞ -algebras, and a functor further to that of $$L_\infty $$ L ∞ -algebras.

Duality Hierarchies and Differential Graded Lie Algebras

The gauge theories underlying gauged supergravity and exceptional field theory are based on tensor hierarchies: generalizations of Yang-Mills theory utilizing algebraic structures that generalize Lie algebras and, as a consequence, require higher-form gauge fields. Recently, we proposed that the algebraic structure allowing for consistent tensor hierarchies is axiomatized by ‘infinity-enhanced Leibniz algebras’ defined on graded vector spaces generalizing Leibniz algebras. It was subsequently shown that, upon appending additional vector spaces, this structure can be reinterpreted as a differential graded Lie algebra. We use this observation to streamline the construction of general tensor hierarchies, and we formulate dynamics in terms of a hierarchy of first-order duality relations, including scalar fields with a potential.

Log smooth deformation theory via Gerstenhaber algebras

We construct a $$k\left[ \!\left[ Q\right] \!\right] $$ k Q -linear predifferential graded Lie algebra $$L^{\bullet }_{X_0/S_0}$$ L X 0 / S 0 ∙ associated to a log smooth and saturated morphism $$f_0: X_0 \rightarrow S_0$$ f 0 : X 0 → S 0 and prove that it controls the log smooth deformation functor. This provides a geometric interpretation of a construction in Chan et al. (Geometry of the Maurer-Cartan equation near degenerate Calabi-Yau varieties, 2019. arXiv:1902.11174) whereof $$L^{\bullet }_{X_0/S_0}$$ L X 0 / S 0 ∙ is a purely algebraic version. Our proof crucially relies on studying deformations of the Gerstenhaber algebra of polyvector fields; this method is closely related to recent developments in mirror symmetry.

DGLA Dg and BV formalism

Differrential Graded Lie Algebra Dg was previously introduced in the context of current algebras. We show that under some conditions, the problem of constructing equivariantly closed form from closed invariant form is reduces to construction of a representation of Dg. This includes equivariant BV formalism. In particular, an analogue of intertwiner between Weil and Cartan models allows to clarify the general relation between integrated and unintegrated operators in string worldsheet theory.

On a DGL-map between derivations of Sullivan minimal models

For a map $$f:X\rightarrow Y$$ f : X → Y , there is the relative model $$M(Y)=(\Lambda V,d)\rightarrow (\Lambda V\otimes \Lambda W,D)\simeq M(X)$$ M ( Y ) = ( Λ V , d ) → ( Λ V ⊗ Λ W , D ) ≃ M ( X ) by Sullivan model theory (Félix et al., Rational homotopy theory, graduate texts in mathematics, Springer, Berlin, 2007). Let $$\mathrm{Baut}_1X$$ Baut 1 X be the Dold–Lashof classifying space of orientable fibrations with fiber X (Dold and Lashof, Ill J Math 3:285–305, 1959]). Its DGL (differential graded Lie algebra)-model is given by the derivations $$\mathrm{Der}M(X)$$ Der M ( X ) of the Sullivan minimal model M(X) of X. Then we consider the condition that the restriction $$b_f:\mathrm{Der} (\Lambda V\otimes \Lambda W,D)\rightarrow \mathrm{Der}(\Lambda V,d) $$ b f : Der ( Λ V ⊗ Λ W , D ) → Der ( Λ V , d ) is a DGL-map and the related topics.

Explicit symmetric DGLA models of 3-cells

We give explicit formulae for differential graded Lie algebra (DGLA) models of 3-cells. In particular, for a cube and an n-faceted banana-shaped 3-cell with two vertices, n edges each joining those two vertices, and n bi-gon 2-cells, we construct a model symmetric under the geometric symmetries of the cell fixing two antipodal vertices. The cube model is to be used in forthcoming work for discrete analogues of differential geometry on cubulated manifolds.

Algebraic Inverses on Lie Algebra Comultiplications

In this note, we investigate algebraic loop structures and inverses of elements of a set of all homomorphisms of Lie algebras with a binary operation derived from a Lie algebra comultiplication. As a symmetry phenomenon, we show that if l ( 1 ) c and r ( 1 ) c are the left and right inverses of the identity 1 : L → L on a free graded Lie algebra L , respectively, based on the Lie algebra comultiplication ψ c : L → L ⊔ L , then we have l ( 1 ) = l ( 1 ) c and r ( 1 ) = r ( 1 ) c , where c : L → L ⊔ L is a commutator.

On certain subgroups of the McCool group

For a positive integer [Formula: see text], with [Formula: see text], let [Formula: see text] be a free group of rank [Formula: see text] and let [Formula: see text] be the subgroup of the automorphism group of [Formula: see text] consisting of all automorphisms which induce the identity on the abelianization of [Formula: see text]. We write [Formula: see text] and [Formula: see text] for the upper McCool group and the partial inner automorphism group, respectively. We show that [Formula: see text] is isomorphic to the quotient of [Formula: see text] by its center and we prove similar results for their associated graded Lie algebras and their Andreadakis–Johnson Lie algebras. Furthermore, we give a presentation of the associated graded Lie algebra over the integers of [Formula: see text] and we prove that it admits a natural embedding into the Andreadakis–Johnson Lie algebra of [Formula: see text]. Although the latter results are known, we present proofs based on different methods.