Seminar talk, 15 March 2023: Difference between revisions

From Geometry of Differential Equations
Jump to navigation Jump to search
Created page with "{{Talk | speaker = Georgy Sharygin | title = Quasiderivations and commutative subalgebras of the algebra <math>U\mathfrak{gl}_n</math> | abstract = Let <math>\mathfrak{gl}_n</..."
 
No edit summary
Line 2: Line 2:
| speaker = Georgy Sharygin
| speaker = Georgy Sharygin
| title = Quasiderivations and commutative subalgebras of the algebra <math>U\mathfrak{gl}_n</math>
| title = Quasiderivations and commutative subalgebras of the algebra <math>U\mathfrak{gl}_n</math>
| abstract = Let <math>\mathfrak{gl}_n</math> be the Lie algebra of <math>n\times n</math> matrices over a characteristic zero field <math>\Bbbk</math> (one can take <math>\Bbbk=\mathbb R</math> or <math>\mathbb C</math>); let <math>S(\mathfrak{gl}_n)</math> be the Poisson algebra of polynomial functions on <math>\mathfrak{gl}_n^*</math>, and <math>U\mathfrak{gl}_n</math> the universal enveloping algebra of <math>\mathfrak{gl}_n</math>. By Poncar\'e-Birkhoff-Witt theorem <math>S(\mathfrak{gl}_n)</math> is isomorphic to the graded algebra <math>gr(U\mathfrak{gl}_n)</math>, associated with the order filtration on <math>U\mathfrak{gl}_n</math>. Let <math>A\subseteq S(\mathfrak{gl}_n)</math> be a Poisson-commutative subalgebra; one says that a commutative subalgebra <math>\hat A\subseteq U\mathfrak{gl}_n</math> is a \textit{quantisation} of <math>A</math>, if its image under the natural projection <math>U\mathfrak{gl}_n\to gr(U\mathfrak{gl}_n)\cong S(\mathfrak{gl}_n)</math> is equal to <math>A</math>.                                                                                                                                                                                                                                      In my talk I will speak about the so-called "argument shift" subalgebras <math>A=A_\xi</math> in <math>S(\mathfrak{gl}_n)</math>, generated by the iterated derivations of central elements in <math>S(\mathfrak{gl}_n)</math> by a constant vector field <math>\xi</math>. There exist several ways to define a quantisation of <math>A_\xi</math>, most of them are related with the considerations of some infinite-dimensional Lie algebras. In my talk I will explain, how one can construct such quantisation of <math>A_\xi</math> using as its generators iterated \textit{quasi-derivations} <math>\hat\xi</math> of <math>U\mathfrak{gl}_n</math>. These operations are "quantisations" of the derivations on <math>S(\mathfrak{gl}_n)</math> and verify an analog of the Leibniz rule. In fact, I will show that iterated quasiderivation of certain generating elements in <math>U\mathfrak{gl}_n</math> are equal to the linear combinations of the elements, earlier constructed by Tarasov.
| abstract = Let <math>\mathfrak{gl}_n</math> be the Lie algebra of <math>n\times n</math> matrices over a characteristic zero field <math>\Bbbk</math> (one can take <math>\Bbbk=\mathbb R</math> or <math>\mathbb C</math>); let <math>S(\mathfrak{gl}_n)</math> be the Poisson algebra of polynomial functions on <math>\mathfrak{gl}_n^*</math>, and <math>U\mathfrak{gl}_n</math> the universal enveloping algebra of <math>\mathfrak{gl}_n</math>. By Poincaré-Birkhoff-Witt theorem <math>S(\mathfrak{gl}_n)</math> is isomorphic to the graded algebra <math>gr(U\mathfrak{gl}_n)</math>, associated with the order filtration on <math>U\mathfrak{gl}_n</math>. Let <math>A\subseteq S(\mathfrak{gl}_n)</math> be a Poisson-commutative subalgebra; one says that a commutative subalgebra <math>\hat A\subseteq U\mathfrak{gl}_n</math> is a ''quantisation'' of <math>A</math>, if its image under the natural projection <math>U\mathfrak{gl}_n\to gr(U\mathfrak{gl}_n)\cong S(\mathfrak{gl}_n)</math> is equal to <math>A</math>.                                                                                                                                                                                                                                      In my talk I will speak about the so-called "argument shift" subalgebras <math>A=A_\xi</math> in <math>S(\mathfrak{gl}_n)</math>, generated by the iterated derivations of central elements in <math>S(\mathfrak{gl}_n)</math> by a constant vector field <math>\xi</math>. There exist several ways to define a quantisation of <math>A_\xi</math>, most of them are related with the considerations of some infinite-dimensional Lie algebras. In my talk I will explain, how one can construct such quantisation of <math>A_\xi</math> using as its generators iterated ''quasi-derivations'' <math>\hat\xi</math> of <math>U\mathfrak{gl}_n</math>. These operations are "quantisations" of the derivations on <math>S(\mathfrak{gl}_n)</math> and verify an analog of the Leibniz rule. In fact, I will show that iterated quasiderivation of certain generating elements in <math>U\mathfrak{gl}_n</math> are equal to the linear combinations of the elements, earlier constructed by Tarasov.
| video =  
| video =  
| slides =  
| slides =  

Revision as of 11:21, 4 March 2023

Speaker: Georgy Sharygin

Title: Quasiderivations and commutative subalgebras of the algebra

Abstract:
Let be the Lie algebra of matrices over a characteristic zero field (one can take or ); let be the Poisson algebra of polynomial functions on , and the universal enveloping algebra of . By Poincaré-Birkhoff-Witt theorem is isomorphic to the graded algebra , associated with the order filtration on . Let be a Poisson-commutative subalgebra; one says that a commutative subalgebra is a quantisation of , if its image under the natural projection is equal to . In my talk I will speak about the so-called "argument shift" subalgebras in , generated by the iterated derivations of central elements in by a constant vector field . There exist several ways to define a quantisation of , most of them are related with the considerations of some infinite-dimensional Lie algebras. In my talk I will explain, how one can construct such quantisation of using as its generators iterated quasi-derivations of . These operations are "quantisations" of the derivations on and verify an analog of the Leibniz rule. In fact, I will show that iterated quasiderivation of certain generating elements in are equal to the linear combinations of the elements, earlier constructed by Tarasov.