pavel kolesnikov - nsc.ru · pavel kolesnikov sobolev institute of mathematics ... sabinin...
TRANSCRIPT
![Page 1: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/1.jpg)
Operads of decorated trees
Pavel KolesnikovSobolev Institute of Mathematics
Novosibirsk, Russia
Mal’cev Meeting-2013, NovosibirskNovember 11-15, 2013
![Page 2: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/2.jpg)
AlgebrasAssociative, alternative,
Lie, Jordan, Malcev, Poisson, Lie&Jordan triple systems,
Sabinin algebras, differential algebras, Hom-algebras, ....
Replicaton
pre-, post-Algebras(Dendriform algebras)
di-, tri-Algebras(Loday-type algebras)
Koszul duality
![Page 3: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/3.jpg)
AlgebrasAssociative, alternative,
Lie, Jordan, Malcev, Poisson, Lie&Jordan triple systems,
Sabinin algebras, differential algebras, Hom-algebras, ....
Replication
pre-, post-Algebras(Dendriform algebras)
di-, tri-Algebras(Loday-type algebras)
Koszul duality
![Page 4: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/4.jpg)
Replication
Left-symmetric algebras(pre-Lie algebras)
Leibniz Algebras
Lie Algebras
Example:
[A. Bloh, 1965][J.-L. Loday, 1993]
[E. Vinberg, 1960][J.-L. Koszul, 1961][M. Gerstenhaber, 1963]
[A. Cayley, 1896]
![Page 5: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/5.jpg)
Pre-Lie Algebras Leibniz Algebras
Combinatoricsof rooted trees
Deformationtheory of algebras
DifferentialGeometry
Conformaland
vertex algebras
Yang-Baxter equation
[D.Burde, 2005]
... and many others
Cohomology of Lie algebras
![Page 6: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/6.jpg)
![Page 7: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/7.jpg)
![Page 8: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/8.jpg)
![Page 9: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/9.jpg)
![Page 10: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/10.jpg)
[A. Belavin, V. Dinfeld, 1982]
[M. Semenov-Tian-Shansky, 1983]
![Page 11: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/11.jpg)
[A. Belavin, V. Dinfeld, 1982]
[M. Semenov-Tian-Shansky, 1983]
![Page 12: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/12.jpg)
Operad:
![Page 13: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/13.jpg)
Homological algebra, Geometry, Math.Physics, ...
Operad
Variety of algebras
![Page 14: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/14.jpg)
Homological algebra, Geometry, Math.Physics, ...
Operad Chain complex
Variety of algebras ComTrias
Standard n-simplices
![Page 15: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/15.jpg)
Free operad:
![Page 16: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/16.jpg)
Free decorated operad:
![Page 17: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/17.jpg)
Replicating an operad
![Page 18: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/18.jpg)
Example:
Replicating an operad
![Page 19: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/19.jpg)
[P.K., 2008][A. Pozhidaev, 2009]
[M. Bremner, R. Felipe, J. Sanchez-Ortega, 2011] - general case (di-)[V. Gubarev, P.K., 2011] - binary case (tri-)
[J.Pei, C. Bai, L. Guo, X. Ni, 2012] - name of the procedure
} binary case (di-)
[F. Chapoton, 2001]:
[B. Vallette, 2008]:
for binary quadratic operads
Replicating an operad
Definition:
(Manin white product of operads[V. Ginzburg, M. Kapranov, 1994])
(Hadamard product of operads)
![Page 20: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/20.jpg)
Replicating an operad(general tri-algebra case)
Bremner & Sanchez-Ortega + Gubarev & K.
(Perm instead of ComTrias)
![Page 21: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/21.jpg)
Replicating an operadExamples
di-Com = Perm [F. Chapoton, 2001]di-As = Dias [J.-L. Loday, T. Pirashvili, 1993]di-Alt [L. Dong, 2005]di-Jord [M. Bremner, L. Peresi, 2011]di-JTS [M. Bremner, R. Felipe, J. Sanchez-Ortega, 2011]di-Mal [M. Bremner, L. Peresi, J. Sanchez-Ortega, 2011]tri-Com = ComTrias [B. Vallette, 2007]tri-As = Trias [J.-L. Loday, M. Ronco, 2004]
di-Lie = Leib
![Page 22: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/22.jpg)
Replicating an operad
![Page 23: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/23.jpg)
Replicating an operad(PBW-type problems)
?
?
?
![Page 24: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/24.jpg)
Replicating an operad(PBW-type problems)
![Page 25: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/25.jpg)
Replicating an operad(PBW-type problems)
![Page 26: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/26.jpg)
Replicating an operad(PBW-type problems)
![Page 27: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/27.jpg)
Replicating an operad(PBW-type problems)
![Page 28: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/28.jpg)
Replicating an operad(Special identities)
![Page 29: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/29.jpg)
Replicating an operad(Special identities)
![Page 30: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/30.jpg)
Replicating an operad(Mal’cev conjugacy)
![Page 31: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/31.jpg)
Splitting an operad
name of the procedure
The structures obtained are ``dual’’ to di- and tri-algebras
![Page 32: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/32.jpg)
Splitting an operadKoszul duality for operads [V. Ginzburg, M. Kapranov, 1994]
![Page 33: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/33.jpg)
Splitting an operadfor binary quadratic operads
Black and white Manin products of binary quadratic operads}
![Page 34: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/34.jpg)
Splitting an operadfor binary quadratic operads
![Page 35: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/35.jpg)
Splitting an operad(Pre-algebras, general case)
![Page 36: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/36.jpg)
Splitting an operad(Post-algebras, general case)
![Page 37: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/37.jpg)
Splitting an operad
![Page 38: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/38.jpg)
Splitting an operad
![Page 39: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/39.jpg)
Splitting an operad(Rota-Baxter operators)
Demo case: one binary operation
[G. Baxter, 1960][G.-C. Rota, 1969]
![Page 40: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/40.jpg)
Splitting an operad(Rota-Baxter operators)
Demo case: one binary operation
![Page 41: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/41.jpg)
Splitting an operad(Rota-Baxter operators) arbitrary operad
![Page 42: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/42.jpg)
Splitting an operad(Rota-Baxter operators) arbitrary operad
![Page 43: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/43.jpg)
Splitting an operad(PBW-type problems and special identities)
![Page 44: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/44.jpg)
Splitting an operad(PBW-type problems and special identities)
?
![Page 45: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/45.jpg)
Splitting an operad(PBW-type problems and special identities)
![Page 46: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/46.jpg)
Splitting an operad(PBW-type problems and special identities)
[M. Bremner, S. Madariaga, 2013]: pre-As No special identities of degree <8 6 special identities of degree 8
pre-Jord
![Page 47: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/47.jpg)
Splitting an operad(A counterexample)
![Page 48: Pavel Kolesnikov - nsc.ru · Pavel Kolesnikov Sobolev Institute of Mathematics ... Sabinin algebras, ... theory of algebras Differential Geometry Conformal](https://reader031.vdocuments.us/reader031/viewer/2022021501/5ac8aa877f8b9a40728cf4b9/html5/thumbnails/48.jpg)
Thank you!