The Frobenius properad is Koszul

DOI10.1215/00127094-3645116zbMATH Open1360.18014arXiv1402.4048OpenAlexW125424808MaRDI QIDQ345178FDOQ345178

Authors: Ricardo Campos, Thomas Willwacher, Sergei Merkulov 

Publication date: 25 November 2016

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

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.

Full work available at URL: https://arxiv.org/abs/1402.4048

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

zbMATH Keywords

Frobenius algebrasinvolutive Lie bialgebraspropoeradsstring topologyGrothendieck-Teichmüller group

Mathematics Subject Classification ID

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

Cited In (16)

• Grothendieck-Teichmüller and Batalin-Vilkovisky
• Massey products for algebras over operads
• Deformation theory of Lie bialgebra properads
• Moduli stacks of algebraic structures and deformation theory
• On quantizable odd Lie bialgebras
• 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
• Batalin-Vilkovisky structures on moduli spaces of flat connections
• Mirror symmetry for the Tate curve via tropical and log corals

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)