The Frobenius properad is Koszul (Q345178): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Sergey A. Merkulov / rank | |||
Property / author | |||
Property / author: Sergey A. Merkulov / rank | |||
Normal rank | |||
Property / review text | |||
\textit{B. Vallette} [Trans. Am. Math. Soc. 359, No. 10, 4865--4943 (2007; Zbl 1140.18006)] and \textit{M. Markl} and \textit{A. A. Voronov} [Prog. Math. 270, 249--281 (2009; Zbl 1208.18008)] independently proved that the properad of Lie bialgebra is Koszul. The Koszulness of the properad of involutive Lie bialgebra, conjectured by the authors of this paper in 2009, is here proved. By Koszul duality, this implies that the properad of (nonunital) Frobenius algebras is also Koszul; extra work gives the Koszulness of the properad of unital-counital Frobenius algebras. It is proved that the Grothendieck-Teichmüller group \(\mathrm{GRT}_1\) acts, in a nontrivial way, over minimal models of the properads of involutive Lie bialgebras/Frobenius algebras, and hence and homotopy involutive Lie bialgebras/Frobenius structures of a given vector space; this gives a large class of deformations of involutive Lie bialgebras. Finally, for a given homotopy involutive Lie bialgebra, a homotopy Batalin-Vilkovisky algebra structure is built on the associated Chevalley-Eilenberg complex. | |||
Property / review text: \textit{B. Vallette} [Trans. Am. Math. Soc. 359, No. 10, 4865--4943 (2007; Zbl 1140.18006)] and \textit{M. Markl} and \textit{A. A. Voronov} [Prog. Math. 270, 249--281 (2009; Zbl 1208.18008)] independently proved that the properad of Lie bialgebra is Koszul. The Koszulness of the properad of involutive Lie bialgebra, conjectured by the authors of this paper in 2009, is here proved. By Koszul duality, this implies that the properad of (nonunital) Frobenius algebras is also Koszul; extra work gives the Koszulness of the properad of unital-counital Frobenius algebras. It is proved that the Grothendieck-Teichmüller group \(\mathrm{GRT}_1\) acts, in a nontrivial way, over minimal models of the properads of involutive Lie bialgebras/Frobenius algebras, and hence and homotopy involutive Lie bialgebras/Frobenius structures of a given vector space; this gives a large class of deformations of involutive Lie bialgebras. Finally, for a given homotopy involutive Lie bialgebra, a homotopy Batalin-Vilkovisky algebra structure is built on the associated Chevalley-Eilenberg complex. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Loïc Foissy / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18D50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17B62 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55P50 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6656238 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
involutive Lie bialgebras | |||
Property / zbMATH Keywords: involutive Lie bialgebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Frobenius algebras | |||
Property / zbMATH Keywords: Frobenius algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
propoerads | |||
Property / zbMATH Keywords: propoerads / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
string topology | |||
Property / zbMATH Keywords: string topology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Grothendieck-Teichmüller group | |||
Property / zbMATH Keywords: Grothendieck-Teichmüller group / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W125424808 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1402.4048 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:49, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Frobenius properad is Koszul |
scientific article |
Statements
The Frobenius properad is Koszul (English)
0 references
25 November 2016
0 references
\textit{B. Vallette} [Trans. Am. Math. Soc. 359, No. 10, 4865--4943 (2007; Zbl 1140.18006)] and \textit{M. Markl} and \textit{A. A. Voronov} [Prog. Math. 270, 249--281 (2009; Zbl 1208.18008)] independently proved that the properad of Lie bialgebra is Koszul. The Koszulness of the properad of involutive Lie bialgebra, conjectured by the authors of this paper in 2009, is here proved. By Koszul duality, this implies that the properad of (nonunital) Frobenius algebras is also Koszul; extra work gives the Koszulness of the properad of unital-counital Frobenius algebras. It is proved that the Grothendieck-Teichmüller group \(\mathrm{GRT}_1\) acts, in a nontrivial way, over minimal models of the properads of involutive Lie bialgebras/Frobenius algebras, and hence and homotopy involutive Lie bialgebras/Frobenius structures of a given vector space; this gives a large class of deformations of involutive Lie bialgebras. Finally, for a given homotopy involutive Lie bialgebra, a homotopy Batalin-Vilkovisky algebra structure is built on the associated Chevalley-Eilenberg complex.
0 references
involutive Lie bialgebras
0 references
Frobenius algebras
0 references
propoerads
0 references
string topology
0 references
Grothendieck-Teichmüller group
0 references