The Frobenius properad is Koszul

DOI10.1215/00127094-3645116MaRDI QIDQ345178zbMATH OpenOpenAlexFDO

Authors Ricardo Campos, Thomas Willwacher, Sergei Merkulov

Publication date 25 November 2016

Published in Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1402.4048, https://projecteuclid.org/euclid.dmj/1474296715

zbMATH Keywords

Frobenius algebrasinvolutive Lie bialgebraspropoeradsstring topologyGrothendieck-Teichmüller group

Mathematics Subject Classification ID

Lie bialgebras; Lie coalgebras (17B62) String topology (55P50)

Abstract: We show Koszulness of the prop governing involutive Lie bialgebras and also of the props governing non-unital and unital-counital Frobenius algebras, solving a long-standing problem. This gives us minimal models for their deformation complexes, and for deformation complexes of their algebras which are discussed in detail. Using an operad of graph complexes we prove, with the help of an earlier result of one of the authors, that there is a highly non-trivial action of the Grothendieck-Teichm"uller group $GR{T}_1$ on (completed versions of) the minimal models of the properads governing Lie bialgebras and involutive Lie bialgebras by automorphisms. As a corollary one obtains a large class of universal deformations of any (involutive) Lie bialgebra and any Frobenius algebra, parameterized by elements of the Grothendieck-Teichm"uller Lie algebra. We also prove that, for any given homotopy involutive Lie bialgebra structure in a vector space, there is an associated homotopy Batalin-Vilkovisky algebra structure on the associated Chevalley-Eilenberg complex.

Recommendations

• Deformation theory of Lie bialgebra properads
• Deformation theory of representations of prop(erad)s I
• Deformation theory of representations of prop(erad)s. II
• Quantizations of Lie bialgebras, duality involution and oriented graph complexes
• Properadic homotopical calculus

Cited in

(16)

• Protoperads II: Koszul duality
• Homological algebra related to surfaces with boundary
• Massey products for algebras over operads
• Deformation theory of Lie bialgebra properads
• Grothendieck-Teichmüller and Batalin-Vilkovisky
• Moduli stacks of algebraic structures and deformation theory
• Properads and homological differential operators related to surfaces.
• Twisting of properads
• Calculus of multilinear differential operators, operator \(L_\infty\)-algebras and \(IBL_\infty\)-algebras
• The MV formalism for \({\mathrm{IBL}}_\infty \)- and \({\mathrm{BV}}_\infty \)-algebras
• On quantizable odd Lie bialgebras
• From gravity to string topology
• Batalin-Vilkovisky structures on moduli spaces of flat connections
• Mirror symmetry for the Tate curve via tropical and log corals
• On deformation quantization of quadratic Poisson structures
• The BV formalism for \(L_\infty \)-algebras

This page was built for publication: The Frobenius properad is Koszul

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q345178)