Reference : The Frobenius operad is Koszul
Scientific journals : Article
Physical, chemical, mathematical & earth Sciences : Mathematics
http://hdl.handle.net/10993/22439
The Frobenius operad is Koszul
English
Camos, Ricardo [University of Zurich > Institute of Mathematics]
Merkulov, Sergei mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit >]
Willwacher, Thomas [University of Zurich > Institute of Mathematics]
2016
Duke Mathematical Journal
Duke University Press
165
15
2921-2989
Yes (verified by ORBilu)
International
0012-7094
1547-7398
Durham
NC
[en] operads, properads ; homological algebra, graph complexes ; Grothendieck-Teichmueller group
[en] 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 [W3], that there is a highly non-trivial action of the Grothendieck-Teichm¨uller group GRT 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-Teichmueller 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.
http://hdl.handle.net/10993/22439

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
InvLieBialg_Duke_rev3.pdfPublisher postprint683.04 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.