Pre-Lie deformation theory

@article{Dotsenko2015PreLieDT,
title={Pre-Lie deformation theory},
journal={arXiv: Quantum Algebra},
year={2015}
}
• Published 2015
• Mathematics
• arXiv: Quantum Algebra
In this paper, we develop the deformation theory controlled by pre-Lie algebras; the main tool is a new integration theory for pre-Lie algebras. The main field of application lies in homotopy algebra structures over a Koszul operad; in this case, we provide a homotopical description of the associated Deligne groupoid. This permits us to give a conceptual proof, with complete formulae, of the Homotopy Transfer Theorem by means of gauge action. We provide a clear explanation of this latter… Expand
Higher Lie theory
• Mathematics, Physics
• 2020
We present a novel approach to the problem of integrating homotopy Lie algebras by representing the Maurer-Cartan space functor with a universal cosimplicial object. This recovers Getzler's originalExpand
Homotopy theory of homotopy algebras
This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion ofExpand
• Mathematics
• 2019
In this paper, we initiate the generalisation of the operadic calculus which governs the properties of homotopy algebras to a properadic calculus which governs the properties of homotopy gebras overExpand
Deformation theory of Cohomological Field Theories
• Mathematics, Physics
• 2020
We develop the deformation theory of cohomological field theories (CohFTs), which is done as a special case of a general deformation theory of morphisms of modular operads. This leads us to introduceExpand
Givental Action and Trivialisation of Circle Action
• Mathematics
• 2013
In this paper, we show that the Givental group action on genus zero cohomological field theories, also known as formal Frobenius manifolds or hypercommutative algebras, naturally arises in theExpand
Homotopy equivalence of shifted cotangent bundles
Given a bundle of chain complexes, the algebra of functions on its shifted cotangent bundle has a natural structure of a shifted Poisson algebra. We show that if two such bundles are homotopyExpand
Crossed morphisms, integration of post-Lie algebras and the post-Lie Magnus expansion
• Mathematics
• 2020
Abstract This letter is divided in two parts. In the first one it will be shown that the datum of a post-Lie product is equivalent to the one of an invertible crossed morphism between two LieExpand
• Mathematics
• 2020
A theorem of Pridham and Lurie provides an equivalence between formal moduli problems and Lie algebras in characteristic zero. We prove a generalization of this correspondence, relating formal moduliExpand
L-infinity Formality check for the Hochschild Complex of Certain Universal Enveloping Algebras
• Mathematics
• 2018
We study the L-infinity-formality problem for the Hochschild complex of the universal enveloping algebra of some examples of Lie algebras such as Cartan-3-regular quadratic Lie algebras (for exampleExpand
Pre-Lie analogues of Poisson-Nijenhuis structures and Maurer–Cartan equations
• Mathematics, Physics
• 2020
In this paper, we study pre-Lie analogues of Poisson-Nijenhuis structures and introduce ON-structures on bimodules over pre-Lie algebras. We show that an ON-structure gives rise to a hierarchy ofExpand

References

SHOWING 1-10 OF 19 REFERENCES
Givental Action and Trivialisation of Circle Action
• Mathematics
• 2013
In this paper, we show that the Givental group action on genus zero cohomological field theories, also known as formal Frobenius manifolds or hypercommutative algebras, naturally arises in theExpand
Props in model categories and homotopy invariance of structures
Abstract We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the modelExpand
Spaces of algebra structures and cohomology of operads
The aim of this paper is two-fold. First, we compare two notions of a "space" of algebra structures over an operad A: 1. the classification space, which is the nerve of the category of weakExpand
Homological algebra of homotopy algebras
We define closed model category structures on different categories connected to the world of operad algebras over the category C(k) of (unbounded) complexes of k-modules: on the category of operads,Expand
On the Lie envelopping algebra of a pre-Lie algebra
• Mathematics
• 2004
We construct an associative product on the symmetric module S(L) of any pre-Lie algebra L. Then we proove that in the case of rooted trees our construction is dual to that of Connes and Kreimer. WeExpand
Homological perturbation theory for algebras over operads
We extend homological perturbation theory to encompass algebraic structures governed by operads and cooperads. The main difficulty is to find a suitable notion of algebra homotopy that generalizes toExpand
Symmetric Brace Algebras
• Mathematics, Computer Science
• Appl. Categorical Struct.
• 2005
It is explained how symmetric braces used to describe transfers of strongly homotopy structures may be used to examine the L∞-algebras that result from a particular gauge theory for massless particles of high spin. Expand
Pre-Lie algebras and the rooted trees operad
• Mathematics
• 2000
A Pre-Lie algebra is a vector space L endowed with a bilinear product * : L \times L to L satisfying the relation (x*y)*z-x*(y*z)= (x*z)*y-x*(z*y), for all x,y,z in L. We give an explicitExpand
The deformation theory of representations of fundamental groups of compact Kähler manifolds
• Mathematics
• 1988
AbstractLet Γ be the fundamental group of a compact Kähler manifold M and let G be a real algebraic Lie group. Let ℜ(Γ, G) denote the variety of representations Γ → G. Under various conditions on ρ ∈Expand
TRANSFERRING A^ (STRONGLY HOMOTOPY ASSOCIATIVE) STRUCTURES
The aim of this simple-minded "applied" note is to give explicit formulas for transfers of Aoo-structures and related maps and homotopies in the most easy situation in which these transfers exist.Expand