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)

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

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)