Abstract
We describe an explicit formula for the first-order quasiderivation of an arbitrary central element of the universal enveloping algebra of a general linear Lie algebra. We apply it to show that derivations of any two central elements of the universal enveloping algebra commute. This contributes to the Vinberg problem of finding commutative subalgebras in universal enveloping algebras with the underlying Poisson algebras determined by the argument shift method.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1. Introduction
The argument shift method introduced by Mischenko and Fomenko [1] is a well-known method devised to construct commutative families of elements in Poisson algebras. Loosely speaking, it consists in shifting the central elements of this algebra (central in the sense of a Poisson bracket) in the direction of a vector field \(\xi\) that satisfies an algebraic relation involving the Poisson tensor
where \(\mathcal L_\xi\pi\) is the Lie derivative of the Poisson tensor \(\pi\) with respect to \(\xi\). This relation is often called the “Nijenhuis equation,” or “Nijenhuis property” and can be regarded as a sort of linearity condition. If this relation holds, then the shifted (in the direction of \(\xi\)) central elements, although no more central, continue to commute with each other.
The most common nontrivial example of this Nijenhuis property and the one that was originally discovered by Manakov, Mischenko, and Fomenko [1], [2] is the case where the Poisson structure is given by the usual Kirillov–Kostant brackets on the dual space of a Lie algebra and the field is any constant vector field on this space: the Kirillov–Kostant brackets have linear coefficients and hence the Nijenhuis equation holds automatically. This method is quite productive and gives rise to maximal commutative Poisson subalgebras in polynomials on the dual space.
The purpose of this note is to suggest a construction that generalizes the argument shift method to the domain of universal enveloping algebras. Namely, Vinberg asked whether the commutative subalgebras generated by the shift can be lifted to the universal enveloping algebra of the Lie algebra. In about \(30\) years several constructions have appeared that determine such a lift, see, e.g., [3]–[5]. But all these constructions are based on the considerations of generating elements in the center of the Poisson algebras and do not address the question of whether the shift itself can be transfered into the noncommutative situation. In this note, we address this question and suggest a method that hypothetically leads to its solution, at least for the Lie algebra \(g=gl_d\).
Our approach is based on the considerations of the so-called “quasiderivations” of the algebra \(Ugl_d\), introduced in [6]. Namely, we prove an explicit formula for the first quasiderivation of such an element (Theorem 1) and thus show that the first quasiderivations in any direction of any central element in the universal enveloping algebra commute (Corollary 1). These observations support the conjecture that quasiderivations induce a shift in the universal enveloping algebras analogous to the shift in Poisson algebras.
2. Preliminaries and statement of the results
We let \(\mathbb{F}\) denote the real number field \(\mathbb{R}\) or the complex number field \(\mathbb{C}\) and let \(d\) be a nonnegative integer. The \(d\times d\) matrix units are denoted by
with 1 in the \(i\)th place of the column vector and in the \(j\)th place of the row vector. We then have the commutation relations \([E_p^q,E_r^s]=\delta_r^qE_p^s-E_r^q\delta_p^s\). The universal enveloping algebra of the general linear Lie algebra \(gl_d=gl_d(\mathbb{F})\) is denoted by \(U=Ugl_d\) and its center is denoted by \(Z=Z(Ugl_d)\). We let \(\pi\) denote the canonical Lie-algebra homomorphism of the general linear Lie algebra \(gl_d\) into its universal enveloping algebra \(Ugl_d\) and set \(e_i^j=\pi(E_i^j)\) for each \(i\) and \(j\). The generators \(e_i^j\) satisfy the same commutation relations \([e_p^q,e_r^s]=\delta_r^qe_p^s-e_r^q\delta_p^s\) as the matrix units \(E_i^j\). We define
We remark that the \((i,j)\) entry of the matrix \(e\) is the generator \(e^i_j=\pi(E^i_j)\), whereas the \((j,i)\) entry of the corresponding matrix unit \(E^i_j\) is equal to \(1\). The role of the lower and upper indices is opposite here. In other words, we let \(e\) denote the transposed matrix of generators of the algebra \(Ugl_d\); this choice of notation simplifies our computations below. We have
It can be shown that the center of \(Ugl_d\) is generated by the set \(\bigl\{ \operatorname{tr} e^n\bigr\}_{n=1}^d\).
Definition 1 (see [6]).
Quasiderivations of \(Ugl_d\) is a unique family of linear operators \(\partial^i_j\) on \(U\) satisfying the equations
-
•
\(\partial^i_j1=0\) for any \(i\) and \(j\);
-
•
\(\partial^i_je_p^q=\delta^i_p\delta_j^q\) for any \(i\), \(j\), \(p\), and \(q\);
-
•
the twisted Leibniz rule
$$ \partial^i_j(fg)=(\partial^i_j f)g+f(\partial^i_jg)+\sum_{k=1}^d(\partial^i_k f)(\partial^k_j g)$$(5)for any \(i\) and \(j\) and for any elements \(f\) and \(g\) of \(U\).
We define a map \(\partial\) of the universal enveloping algebra \(U\) into the matrix algebra \(M(d,U)\) by \((\partial f)^i_j=\partial^i_jf\) for any \(f\in U\). The following theorem is the main result in this paper.
Theorem 1.
We have
for any \(n\) , where \(\delta\) is the \(d\times d\) identity matrix.
Corollary 1.
We suppose that \(\xi\) is an arbitrary element of the Lie algebra \(gl_d\) and let
Then we have \([\partial_\xi f,\partial_\xi g]=0\) for any central elements \(f\) and \(g\) .
Proof.
It is sufficient to show that \([ \operatorname{tr} (\xi e^m), \operatorname{tr} (\xi e^n)]=0\) because we have
From
we deduce
We can assume that \(m<n\). Then
3. The proof of the main theorem
We begin with the following observation: due to the twisted Leibniz rule in Definition 1, we have
for \(n>0\).
Lemma 1.
The quasiderivation \(\partial^i_j(e^n)^p_q\) has the form
where \(a^{(n)}_{k,\ell}\) and \(b^{(n)}_{k,\ell}\) are nonnegative integers.
Proof.
The proof is by induction on \(n\). We have
by the induction hypothesis. Because
we have
This equation gives rise to a recursive process
We have the polynomial identities
Using
we can define polynomials \(f^{(n)}(x)\) and \(g^{(n)}_k(x)\) with integer coefficients by
Then we have
by identity (16), and also
by identity (17). In this way, we obtain the formulas
and
The solution of this recursive equation is
and we have
References
A. S. Mishchenko and A. T. Fomenko, “Euler equations on finite-dimensional Lie groups,” Izv. Math., 12, 371–389 (1978).
S. V. Manakov, “Note on the integration of Euler’s equations of the dynamics of an \(n\)-dimensional rigid body,” Funct. Anal. Appl., 10, 328–329 (1976).
A. A. Tarasov, “On some commutative subalgebras of the universal enveloping algebra of the Lie algebra \(\mathfrak{gl}(n,\mathbb C)\),” Sb. Math., 191, 1375–1382 (2000).
L. G. Rybnikov, “The argument shift method and the Gaudin model,” Funct. Anal. Appl., 40, 188–199 (2006).
A. I. Molev, “Feigin–Frenkel center in types \(B\), \(C\) and \(D\),” Invent. Math., 191, 1–34 (2013).
D. Gurevich, P. Pyatov, and P. Saponov, “Braided Weyl algebras and differential calculus on \(U(u(2))\),” J. Geom. Phys., 62, 1175–1188 (2012); arXiv: 1112.6258.
Acknowledgments
The author expresses his gratitude to the organizers of the conference in Yaroslavl for the opportunity to give a talk.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
The author declares no conflicts of interest.
Additional information
Prepared from an English manuscript submitted by the author; for the Russian version, see Teoreticheskaya i Matematicheskaya Fizika, 2022, Vol. 212, pp. 33–39 https://doi.org/10.4213/tmf10212.
Appendix Exact formula for $$\partial^i_j(e^n)^p_q$$
The methods that we used above can be generalized to give formulas for quasiderivations of more general elements.
We proceed to obtain \(a^{(n)}_{k,\ell}\) and \(b^{(n)}_{k,\ell}\) and derive an exact formula for \(\partial^i_j(e^n)^p_q\). We set
Rights and permissions
About this article
Cite this article
Ikeda, Y. Quasidifferential operator and quantum argument shift method. Theor Math Phys 212, 918–924 (2022). https://doi.org/10.1134/S0040577922070030
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0040577922070030