Related papers: Homotopy transfer for L-infinity structures and th…

There exists a natural $L_\infty$-algebra or $Q$-manifold that can be associated to any (gauge) field theory. Perturbatively, it can be obtained by reducing the $L_\infty$-algebra behind the jet space BV-BRST formulation to its minimal…

This paper studies formal deformations and homotopy theory of Rota-Baxter algebras of any weight. We define an $L_\infty$-algebra, which controls simultaneous deformations of associative products and Rota-Baxter operators. As a consequence,…

We give a construction of an L-infinity map from any L-infinity algebra into its truncated Chevalley-Eilenberg complex as well as its cyclic and A-infinity analogues. This map fits with the inclusion into the full Chevalley-Eilenberg…

We set up a formalism of Maurer-Cartan moduli sets for L-infinity algebras and associated twistings based on the closed model category structure on formal differential graded algebras (a.k.a. differential graded coalgebras). Among other…

This paper is a mathematical study of quantum correlation functions in quantum field theory within a homotopy algebraic framework motivated from the BV quantization scheme. We characterize quantum correlation functions by algebraic homotopy…

We give a detailed exposition of the homotopy theory of equivalence relations, perhaps the simplest nontrivial example of a model structure.

We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…

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 show in this paper that the correspondence between $2$-term representations up to homotopy and $\mathcal{VB}$-algebroids, established by Gracia-Saz and Mehta, holds also at the level of morphisms. This correspondence is hence an…

We give an explicit formula for a quasi-isomorphism between the operads Hycomm (the homology of the moduli space of stable genus 0 curves) and BV/$\Delta$ (the homotopy quotient of Batalin-Vilkovisky operad by the BV-operator). In other…

We interpret mathematically the pair (master equation, solution of master equation) up to equivalence, as the pair (a presentation of a free triangular dga T over a combination operad O, dga map of T into C, a dga over O) up to homotopy…

This article presents how the BV formalism naturally inserts in the framework of noncommutative geometry for gauge theories induced by finite spectral triples. Reaching this goal entails that not only all the steps of the BV construction,…

The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…

In this article we prove various results about transferring or lifting $\mathrm{A}_\infty$-algebra structures along quasi-isomorphisms over a commutative ring.

This paper is concerned with a minimal resolution of the PROP for bialgebras. We prove a theorem about the form of this resolution (Theorem 15) and give, in Section 5, a lot of explicit formulas for the differential. Our minimal model…

For any Legendrian knot or link in $\mathbb{R}^3$, we construct an $L_\infty$ algebra that can be viewed as an extension of the Chekanov-Eliashberg differential graded algebra. The $L_\infty$ structure incorporates information from rational…

This is an introduction to the study of abstract homotopy theory by means of model categories and $(\infty,1)$-categories. The only prerequisites are very basic general topology and abstract algebra. None categorical background is needed.…

In this article we apply ideas from homotopy theory to the study of singular foliations. We verify that a technical lemma remains valid for left semi-model categories. When applied to the category of $L_\infty$-algebroids thanks to the work…

We verify that certain algebras appearing in string field theory are algebras over Feynman transform of modular operads which we describe explicitly. Equivalent description in terms of solutions of generalized BV master equations are…

For a zero-relation algebra over a field $\mathcal K$, Crawley-Boevey introduced the concept of a tree module and provided a combinatorial description of a basis for the space of homomorphisms between two tree modules--the basis elements…