Abstract
We define quantum determinants in quantum matrix algebras related to pairs of compatible braidings. We establish relations between these determinants and the so-called column and row determinants, which are often used in the theory of integrable systems. We also generalize the quantum integrable spin systems using generalized Yangians related to pairs of compatible braidings. We demonstrate that such quantum integrable spin systems are not uniquely determined by the “quantum coordinate ring” of the basic space \(V\). For example, the “quantum plane” \(xy=qyx\) yields two different integrable systems: rational and trigonometric.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1. Introduction
The quantum or \(q\)-determinant was introduced in works of L. D. Faddeev’s school (see, e.g., [1]) in connection with the quantum inverse scattering method. Such determinants were initially introduced in \(RTT\) algebras associated with the \(U_q(sl(N))\) \(R\)-matrices or with some current (i.e., depending on spectral parameters) \(R\)-matrices.
Nevertheless, a large family of other involutive and Hecke symmetries was constructed in [2], and quantum determinants were defined in \(RTT\) algebras associated with even Footnote 1 symmetries. We recall that these symmetries are particular cases of braidings, i.e., their operators \(R\colon V^{ \otimes 2}\to V^{ \otimes 2}\) satisfy the so-called braid relation
Hereafter, \(V\) is a finite-dimensional vector space (called the basic space) and \(I\) denotes the identity operator or matrix.Footnote 2
A braiding \(R\) is called a Hecke symmetry or an involutive symmetry if it satisfies the respective supplementary condition
We assume that the nonzero parameter \(q\in \mathbb{C} \) is general, i.e., such that
Our objective here is threefold. First, using the scheme in [2], we define quantum determinants in quantum matrix algebras (QMAs) associated with the pairs of compatible braidings introduced in [3], half-quantum algebras (HQAs) defined in [4], and generalized Yangians introduced in [5], [6]. We also show that in some \(RTT\) algebras, including those associated with the quantum group (QG) \(U_q(sl(N))\), quantum determinants can be written in the form of column or row determinants, which are very popular in the literature on integrable systems.
Second, using quantum elementary symmetric polynomials closely related to quantum determinants, we present the Bethe subalgebras in all considered generalized Yangians. We thus obtain quantum integrable systems that are a far-reaching generalization of the spin systems in [7] and their rational counterparts. We also discuss different forms of the corresponding determinants.
Third, we emphasize that the “quantum coordinate ring” of the basic space \(V\), contrary to popular belief, does not uniquely determine the corresponding quantum algebra and quantum determinant. For example, the so-called quantum plane defined by \(xy-qyx=0\) yields two completely different \(RTT\) algebras and generalized Yangians and consequently leads to two different integrable systems.
This paper is organized as follows. In Sec. 2, using the method in [2], we define the quantum determinants in the QMAs associated with pairs \((R,F)\) of compatible braidings, where \(R\) is an even involutive or Hecke symmetry. In Sec. 3, we present some properties of the quantum determinants in different algebras. In particular, we describe symmetries that allow defining column or row determinants. We also consider the quantum determinants in the right and left HQAs. In Sec. 4, we define the quantum determinant in rational and trigonometric generalized Yangians and present integrable systems associated with such Yangians.
2. Quantum determinants in QMAs
With any Hecke symmetryFootnote 3\(R\), we associate the \(R\)-symmetric and \(R\)-skew-symmetric algebras of the space \(V\) defined as the respective quotients of the free tensor algebra \(T(V)\) of the space \(V\):
Here, \( \langle J \rangle \) denotes the two-sided ideal generated by a set \(J\subset T(V)\). The ground field is \( \mathbb{C} \).
Each homogenous component \( \operatorname{Sym} ^{(k)}_R(V)\) or \( \mathsf{\Lambda} ^{(k)}_R(V)\) can be identified with the respective image of the \(R\)-symmetrizer \(S^{(k)}(R)\) or \(R\)-skew-symmetrizer \(A^{(k)}(R)\)) acting on the space \(V^{ \otimes k}\). These projectors can be defined by the recurrence relations
As usual, the subscripts indicate the positions where matrices or operators are located. These formulas can be deduced from the representation theory of the symmetric group if \(R\) is involutive or of the Hecke algebra if \(R\) is a Hecke symmetry (see [8]).
Let \(R\) and \(F\) be braidings. Following [3], we say that the ordered pair \((R,F)\) is compatible (or the braidings \(R\) and \(F\) are compatible) if the relations
are satisfied. Below, we always assume that \(R\) to be an involutive or a Hecke symmetry.
Let \(L=\|l_j^i\|_{1\le i,j\le N}\) be an \(N{\times}N\) matrix and \(L_1=L \otimes I_{2\dots p}\), \(p\ge2\). (Hence, \(L_1\) is an \(N^p{\times}N^p\) matrix.) We introduce the notation
We recover the standard definition \(L_{k+1}=P_{k\,k+1}L_kP_{k\,k+1}\) in the case \(F=P\), where \(P\) denotes the usual flip.
Following [3] (also see the references therein), we define a QMA \( \mathcal{L} (R,F)\) as a unital associative algebra generated by elements of the matrix \(L=\|l_i^j\|\) subject to the system of commutation relations
The matrix \(L\) is called the generating matrix of the algebra \( \mathcal{L} (R,F)\). We note that the compatibility of the braidings \(R\) and \(F\) implies that the defining relations of the algebra \( \mathcal{L} (R,F)\) can be pushed forward to higher positions in the sense that
We note that each of the pairs \((R,P)\) and \((R,R)\) is obviously compatible. The corresponding algebras \( \mathcal{L} (R,P)\) and \( \mathcal{L} (R,R)\) are respectively the \(RTT\) algebra and reflection equation (RE) algebra.Footnote 4 The defining relations of the former algebra \( \mathcal{L} (R,P)\) are
The defining relations of the RE algebra \( \mathcal{L} (R,R)\) can be written in the form
Remark.
We emphasize that if a symmetry \(R\) is a deformation of the usual flip, then the corresponding \(RTT\) and RE algebras are deformations of the commutative algebra \( \operatorname{Sym} (gl(N))\), and hence the dimensions of the homogenous components of these QMAs are classical (if \(R\) is a Hecke symmetry, the parameter \(q\) must be general). But if \(R\) is a braiding coming from the QGs of the series \(B_n\), \(C_n\), \(D_n\), then this property is absent, and any similar deformation of the algebra \( \operatorname{Sym} ( \mathfrak{g} )\), where \( \mathfrak{g} \) is a Lie algebra belonging to one of these series, therefore does not exist. In contrast, there exist quantum deformations of the function algebra \(Fun(G)\), where \(G\) is the corresponding Lie group. The corresponding quotients of the \(RTT\) algebras were presented in [10].
We now assume that the symmetry \(R\) is even. Let \( \mathsf{\Lambda} _R^{(m)}(V)\), \(m\ge2\), be the highest nontrivial homogenous componentFootnote 5 of the algebra \( \mathsf{\Lambda} _R(V)\). Because the dimension of this component is 1 by definition, there exist two tensors \( \mathrm{u} =\|u_{i_1\dots i_m}\|\) and \( \mathrm{v} =\|v^{j_1\dots j_m}\|\) such that
Hereafter, \(\{x_i\}_{1\le i\le N}\) is a basis of the space \(V\) and summation over repeated indices is always understood. Hence, the element \(v^{j_1\dots j_m}x_{j_1} \otimes \cdots \otimes x_{j_m}\) is a generator of \( \operatorname{Im} A^{(m)}\). We note that the tensors \( \mathrm{u} \) and \( \mathrm{v} \) are defined up to a rescalingFootnote 6
By analogy with [2], we introduce the following definition.
Definition.
The element of the QMA \( \mathcal{L} (R,F)\)
is called the quantum determinant of the generating matrix \(L\).
Of course, the quantum determinant \( \mathop{\mathrm{det}}\nolimits_{ \mathcal{L} (R,F)} (L)\) can be written in other explicit forms modulo the defining relations of the QMA \( \mathcal{L} (R,F)\). We present some of them below. We say that form (2.5) is canonical.
We now consider two examples. We fix a basis \(\{x=x_1,y=x_2\}\) of the basic space \(V\), \(N=\dim V=2\), and introduce two symmetries represented by the matrices in this basis
Each of these symmetries is a deformation of the usual flip \(P\). The first symmetry is involutive, and the second is a Hecke symmetry coming from the QG \(U_q(sl(2))\).
For the involutive symmetry, we have
For the Hecke symmetry, we have
We note that the tensors \( \mathrm{v} \) corresponding to these symmetries coincide and the algebras
called the “quantum plane,” are therefore the same for the two symmetries in (2.6). Nevertheless, the tensors \( \mathrm{u} \) differ. Consequently, the canonical forms of the corresponding determinants \( \mathop{\mathrm{det}}\nolimits_{ \mathcal{L} (R,F)} (L)\) differ for all pairs \((R,F)\).
We compute these determinants for the corresponding \(RTT\) algebras \( \mathcal{L} (R,P)\) and RE algebras \( \mathcal{L} (R,R)\). We let \(l_1^1=a\), \(l_1^2=b\), \(l_2^1=c\), and \(l_2^2=d\) denote elements of the generating matrix \(L\) of these algebras:
Example 1.
The defining relations of the \(RTT\) algebra \( \mathcal{L} (R,P)\) corresponding to the first (involutive) matrix in (2.6),
lead to the system of equations for the generators
According to our definition, the canonical form of the quantum determinant in this algebra is
Using the above commutation relations on the generators, we can transform the canonical form to the expressions
The defining relations between the generators of the algebra corresponding to the second matrix in (2.6) are (see [10])
The corresponding quantum determinant is
The first expression here is the canonical form of the determinant. We discuss other expressions in the next section.
We also present the corresponding algebras \( \mathsf{\Lambda} _R(V)\). If \(R\) is the first symmetry in (2.6), then we have
If \(R\) is the second symmetry in (2.6), then the last generator of the ideal in the above quotient should be \(qxy+yx\).
Therefore, we see that quantum plane (2.7) yields two different \(RTT\) algebras and consequently two different determinants, although we can find a specific form \(ad-qcb\) that is the same for both determinants. In the next section, we consider higher-dimensional analogues of these algebras and determinants in more detail and explain this coincidence.
Example 2.
The defining relations
of the RE algebra \( \mathcal{L} (R,R)\) corresponding to the first (involutive) matrix in (2.6) in explicit form are
This algebra is therefore commutative. This is an unsurprising result because the involutive \(R\) in (2.6) is related to the usual flip \(P\) by conjugation,
Therefore, the matrix
satisfies the relation
which means that the elements of \( \tilde{L} \) generate a commutative algebra. Therefore, the elements of the matrix \(L\) also mutually commute. The canonical form of the determinant in this case is
or with the commutativity of the RE \( \mathcal{L} (R,R)\) taken into account, it is reducible to the classical expression \(ad-bc\).
Finally, if we take the second (Hecke) symmetry \(R\) in (2.6), we obtain the system of equations for the generators
where we set \(\lambda=q-q^{-1}\). The canonical form of the determinant is
Taking the relations between the generators into account, we can transform the canonical determinant to the equivalent forms
Another way to introduce quantum analogues of the determinant is based on the notion of quantum elementary symmetric polynomials defined via quantum traces. Such a quantum trace is well known in the cases related to the QG \(U_q(sl(N))\). Nevertheless, the quantum trace can be associated with any skew-invertible braiding \(R\) using the Lyubashenko method [12], [13]. We say that a given braiding \(R\colon V\to V\) is skew-invertible if there exists an operator \(\Psi\colon V^{ \otimes 2} \to V^{ \otimes 2}\) such that
If \(R\) is a skew-invertible braiding, then the corresponding \(R\)- trace \( \operatorname{Tr} _R\) is defined by the formula
where \(X\) is an arbitrary \(N{\times}N\) matrix (possibly with noncommutative elements).
We consider a compatible pair of braidings \((R,F)\) and assume that the braiding \(R\) is skew-invertible. We now define a quantum version of the elementary symmetric polynomials in the algebra \( \mathcal{L} (R,F)\) as
Hereafter, \( \operatorname{Tr} _{(1\dots k)}= \operatorname{Tr} _{(1)}\cdots \operatorname{Tr} _{(k)}\). Using the equality
which holds in any QMA, we obtain the relation
where
Hence, the highest-degree elementary symmetric polynomial \(e_m\) differs from the quantum determinant \( \mathop{\mathrm{det}}\nolimits_{ \mathcal{L} (R,F)} (L)\) by a numerical factor. In the particular case \(F=P\), these elements are just equal to each other because \(( \mathrm{v} \,\cdot_{\kern-1pt P}\, \mathrm{u} )=1\) in this case (we note that \(C^P=I\)).
3. Some properties of quantum determinants
In this section, we consider two questions. The first is what is the relation between the determinant \( \mathop{\mathrm{det}}\nolimits_{ \mathcal{L} (R,F)} (L)\) and the characteristic polynomial of the matrix \(L\). The second is whether the quantum determinant is central. We always assume that the rank of a symmetry \(R\) is \(m\).
We say that an \(m\)-degree monic polynomial \(ch(t)\) is characteristic if \(ch(L)=0\). By virtue of the Cayley–Hamilton theorem in the classical case \(R=F=P\) (the corresponding algebra \( \mathcal{L} (P,P)\) is commutative), the characteristic polynomial is
Proposition 1.
In the algebras \( \mathcal{L} (R,R)\) , where \(R\) is a Hecke symmetry, we have the relation
where \(\alpha_k=q^{mk}(m!/k!\,(m-k)!)(k_q!\,(m-k)_q!/m_q!)\) .
We note that similar assertions can be found in [14].
Proof.
For any even Hecke symmetry of rank \(m\), quantity (2.16) is
This follows from the relation (see [6])
for \(k=0\). In the expansion of the element
we combine terms containing \(k\) factors \(L_{ \bar{i} }\) in some places and the identity matrices in other places. The number of such terms is \(m!/k!\,(m-k)!\), and they are equal to each other. This property holds becauseFootnote 7
for any ordered subset of indices \(1\le i_1<i_2<\dots<i_k\le m\). It now suffices to apply formula (3.2). Finally, we obtain
The proof is complete.
If \(R\) is an involutive symmetry, then by setting \(q=1\) in (3.1), we obtain the following proposition.
Proposition 2.
If \(R\) is an involutive symmetry, then the polynomial \( \mathop{\mathrm{det}}\nolimits_{ \mathcal{L} (R,R)} \,(L-tI)\) is characteristic.
If \(R\) is a Hecke symmetry, the polynomial \( \mathop{\mathrm{det}}\nolimits_{ \mathcal{L} (R,R)} \,(L-tI)\) is not characteristic. But we obtain the characteristic polynomial by replacing \(\alpha_k\) with \(q^k\) in the right-hand side of (3.1), i.e.,
Therefore, substituting \(t=L\) in this polynomial, we obtain the Cayley–Hamilton identity for the matrix \(L\):
We note that this identity in the algebras \( \mathcal{L} (R,R)\) was first proved in [15].
We now pass to the second question. It is well known that if a Hecke symmetry \(R\) comes from the QG \(U_q(sl(N))\), then the quantum determinant \( \mathop{\mathrm{det}}\nolimits_{ \mathcal{L} (R,P)} (L)\) is central (see [10]). If the quantum determinant is central in a given \(RTT\) algebra \( \mathcal{L} (R,P)\), then by imposing the condition \( \mathop{\mathrm{det}}\nolimits_{ \mathcal{L} (R,P)} (L)=1\), we can define a Hopf algebra structure in the quotient algebra. But the quantum determinant in general is not central in the algebras \( \mathcal{L} (R,P)\). As was shown in [2], the quantum determinant \( \mathop{\mathrm{det}}\nolimits_{ \mathcal{L} (R,P)} (L)\) is central if and only if the matrix
is scalar.
We study the centrality of the quantum determinants in the algebras \( \mathcal{L} (R,P)\) corresponding to symmetries (2.6). By straightforward computations, we obtain the respective matrices \(M\) for the symmetries in (2.6):
Therefore, the quantum determinant is not central in the algebra \( \mathcal{L} (R,P)\) corresponding to the involutive symmetry in (2.6) and is central in the algebra corresponding to the Hecke symmetry in (2.6). In contrast, the quantum determinant in the RE algebras \( \mathcal{L} (R,R)\) is always central. Hence, imposing the condition \( \mathop{\mathrm{det}}\nolimits_{ \mathcal{L} (R,R)} (L)=1\), we obtain a braided Hopf algebra structure in the quotient algebra (see [11]).
We now discuss a way of reducing the quantum determinants to the so-called column and row determinants, which play an important role in the theory of integrable systems. We set \(F=P\), i.e., we consider the \(RTT\) algebra \( \mathcal{L} (R,P)\). Using relation (2.14). we obtain the equality
Because the tensor \( \mathrm{u} \not\equiv0\), the factors \(u_{i_1\dots i_m}\) can be canceled. We also assume that \(m=N\) and \(v^{12\dots N}=1\). This condition can be satisfied by a proper normalization of \( \mathrm{v} \) if \(v^{12\dots N}\ne0\). We then obtain
This form of the quantum determinant is called the column determinant of \(L\). It is characterized by the property that the factors \(l_i^j\) in each of its summands are arranged in the order of columns of the matrix \(L\) enumerated by the superscripts of \(l_i^j\). We note that if \(m\ne N\), then we have no privileged component of the tensor \( \mathrm{v} \) (like the component \(v^{12\dots N}\)).
Similarly, if the factors in each of the summands of the determinant are arranged in the order of rows of the matrix \(L\), then we call it the row determinant. If \(m=N\) and \(u_{12\dots N}\ne0\), then we can transform the canonical determinant \( \mathop{\mathrm{det}}\nolimits_{ \mathcal{L} (R,P)} \) to the form of a row determinant:
We note that the column determinant or row determinant depends on only the respective tensor \( \mathrm{v} \) or \( \mathrm{u} \). Therefore, if two symmetries have the same tensors \( \mathrm{v} \) but different tensors \( \mathrm{u} \), we have identical column determinants but different row determinants. This is the case of symmetries (2.6) considered above. We see that the column determinants (the middle expressions in (2.8) and (2.9)) are equal to each other but the row determinants (the right expressions) differ.
We now introduce the higher-dimensional counterparts of symmetries (2.6) and present the corresponding quantum determinants in the algebras \( \mathcal{L} (R,P)\).
The Hecke symmetry \(R\) from the QG \(U_q(sl(N))\) is
where \(\theta_{(l>k)}=1\) if \(l>k\) and \(\theta_{(l>k)}=0\) if \(l\le k\). We also introduce the involutive symmetry \(R\) by its action on the basis vectors \(x_i \otimes x_j\) of the space \(V^{ \otimes 2}\):
For both symmetries, the components of the tensors \( \mathrm{u} \) and \( \mathrm{v} \) are nontrivial if and only if their indices are pairwise distinct. For both symmetries, we can take the nontrivial components of \( \mathrm{v} \) as
where \(l(\sigma)\) is the length (i.e., the minimum number of transpositions) of the permutation
Such a tensor \( \mathrm{v} \) is sometimes called the \(q\)-Levi-Civita tensor.
The tensors \( \mathrm{u} \) for these symmetries are respectively equal to
where \(\alpha_1^{-1}=q^{N(N-1)/2}N_q!\) and \(\alpha_2^{-1}=N!\) are normalizing factors.
Similarly to the two-dimensional example above, we have the same “quantum coordinate ring” for both symmetries:
often called the quantum torus (with the additional condition that the generators are invertible).
The formulas for the quantum column determinants are also the same in both \(RTT\) algebras:
In this form, the quantum determinant \( \mathop{\mathrm{det}}\nolimits_{ \mathcal{L} (R,P)} (L)\) was given in [10] for the \(RTT\) algebra associated with the \(U_q(sl(N))\) symmetry \(R\). But the tensors \( \mathrm{u} \) corresponding to the considered symmetries differ. Consequently, the row determinants in the corresponding \(RTT\) algebras differ from each other.
Concluding this section, we turn to the so-called HQAs and the corresponding quantum determinants. We again consider a compatible pair \((R,F)\), where \(R\) is a skew-invertible Hecke symmetry. We introduce two systems of equations or the generating matrix \(L=\|l^i_j\|_{1\le i,j\le N}\):
where the \(R\)-symmetrizer \(S^{(2)}\) and the \(R\)-skew-symmetrizer \(A^{(2)}\) are defined in (2.1). The matrices with barred indices have the same meaning as above (see (2.2)).
The following statement is well known and can be directly verified.
Proposition.
System (2.3) is equivalent to the union of systems (3.5) and (3.6).
Imposing only half of the relations (only (3.5) or (3.6)) on the generators, we obtain a larger algebra than \( \mathcal{L} (R,F)\). Nevertheless, even in such an algebra, we can develop some elements of a linear algebra (see [4], where these algebras were introduced and studied). Some particular cases of these algebras were also considered in [16] and [7], where they were called Manin matrices and \(q\)-Manin matrices.
We call a unital algebra defined by system (3.5) or (3.6)) the respective right or left HQA, denoted by \( \mathcal{H} _{ \mathrm{r} }(R,F)\) and \( \mathcal{H} _{\ell}(R,F)\). If \(R\) is an even symmetry, then we define the quantum determinant in the algebra \( \mathcal{H} _{ \epsilon }(R,F)\), \( \epsilon \in\{ \mathrm{r} ,\ell\}\), by formula (2.5) and let \( \mathop{\mathrm{det}}\nolimits_{ \mathcal{H} _{ \epsilon }(R,F)} (L)\) denote it.
We can still define quantum elementary symmetric polynomials in the algebras \( \mathcal{H} _{ \epsilon }(R,F)\) by formulas (2.13), where the projectors \(A^{(k)}\) can be moved to the rightmost position or placed in both positions, to the right and to the left of the chain of \(L\)-matrices.
We note that the quantum determinant in the algebra \( \mathcal{H} _{ \epsilon }(R,F)\) also differs from the highest quantum elementary symmetric polynomial by a factor.
Remark.
Such algebras were first considered by Manin’s monograph [17]. Their definition was motivated by the following consideration. We endow the space \(V\) with the coaction of an \(RTT\) algebra, \(x_i\to t_i^j \otimes x_j\), and extend it to the space \(V\) by assuming that the generators \(x_i\) and \(t_k^j\) mutually commute. Relation (3.5) or (3.6) where we set \(F=P\) then means that the respective subspace \( \operatorname{Im} A^{(2)}\) or \( \operatorname{Im} S^{(2)}\) is preserved under this coaction. But if \(F\ne P\), then the assumption that the generators \(x_i\) and \(t_k^j\) commute is no longer applicable.
Because relation (2.14) holds in any left HQA, we can write the quantum determinant \( \mathop{\mathrm{det}}\nolimits_{H_\ell(R,P)} (L)\), where \(R\) is one of symmetries (2.6) or its higher-dimensional counterpart, as a column determinant. In any right HQA, we can write the quantum determinants as row determinants. Nevertheless, in any HQA the number of relations between the generators is insufficient to prove that the elementary polynomials mutually commute.
4. Generalized Yangians and integrable systems of CFRS type
We first describe the Baxterization procedure, which allows constructing current braidings via involutive and Hecke symmetries (see [18], [19]). We clarify that by a current braiding \(R(u,v)\), we mean an operator depending on parameters and satisfying the braid relation
We associate an involutive symmetry \(R\) with a current braiding by the rule
and a Hecke symmetry \(R\) with a current braiding by the rule
By a direct calculation, we can verify that these operators satisfy relation (4.1). Current braidings (4.2) and (4.3) (and all corresponding algebras) are respectively said to be rational and trigonometric.
We introduce a countable set of elements \(l^i_j[k]\), \(k\in \mathbb{Z} _{\ge }\), \(1\le i,j\le N\), and consider a formal power series
i.e., \(L(u)\) is an \(N{\times}N\) matrix, and its elements are power series in \(u^{-1}\) with the coefficients \(l^i_j[k]\).
A generalized Yangian \( \mathbf{Y} (R,F)\) is an associative unital algebra generated by elements \(l^i_j[k]\) subject to the system
where \(L_{ \bar{1} }(u)=L_1(u)\) and \(L_{ \bar{2} }(u)=F_{12} L_{ \bar{1} }(u)F^{-1}_{12}\). We note that expanding the current matrix \(L(u)\) in a series as indicated in (4.4), we obtain a countable set of polynomial relations for the generators \(l_i^j[k]\).
In the case \(F=R\), the algebra \( \mathbf{Y} (R,R)\) with the supplementary condition \(L[0]=I\) is called a braided or generalized Yangian of RE type (see [5] for details). We note that the condition \(L[0]=I\) is motivated by the evaluation morphism, similar to that in the Drinfeld Yangian \( \mathbf{Y} (gl(N))\), which is a particular case of rational Yangians corresponding to the symmetry \(R=F=P\).
We note that for a special value of the ratio \(u/v=q^2\) in the trigonometric case, system (4.5) can be treated in terms of the HQA. A similar treatment is possible in the rational case if \(u-v=1\). More precisely, for the indicated relations between the parameters \(u\) and \(v\), the current braiding \(R(u,v)\) becomes equal (up to a numerical factor) to the \(R\)-skew-symmetrizer \({A}^{(2)}\). Therefore, in the rational and trigonometric cases, we obtain the relations
and we consequently have
in the respective rational and trigonometric cases; using the formal Taylor series expansions
where \( \partial _u=d/du\), we can rewrite relations (4.7) in the form
in the respective rational and trigonometric cases. Hence, the operator \(e^{- \partial _u}L(u)\) or \(q^{-2u \partial _u}\,L(u)\)) plays the role of the generating matrix of a left HQA, and the operator \(e^{ \partial _u}L(u)\) or \(q^{2u \partial _u}L(u)\)) plays the role of the generating matrix of a right HQA.
We now define quantum elementary symmetric polynomials in the respective rational and trigonometric cases as
We note that we can place the projectors \(A^{(k)}\) in these formulas after the chain of the matrices \(L\) or at two positions, to the right and to the left of the chain of the \(L\). Moreover, we can write the parameters of the matrices in the reverse order. These transformations all lead to identical results.
Let \(R\) be an even symmetry of rank \(m\). We define the quantum determinants in the respective rational and trigonometric generalized Yangians by setting
We note that the quantum determinant equals the highest elementary symmetric polynomial \(e_m(u)\) up to a factor in full analogy with (2.15). If \(F=P\), then this equality is exact.
We consider the case \(F=P\) in more detail. Assuming that \(m=N\) and that \(v^{1\dots N}\) and \(u_{1\dots N}\) are nontrivial, we can write the quantum determinant as a column or row determinant:
in the rational case and
in the trigonometric case.
We now take the first (involutive) symmetry in (2.6) or its higher-dimensional counterpart as \(R\). Because the corresponding generalized Yangian is rational, we can write the corresponding quantum determinant as
In the case of the \(U_q(sl(N))\) symmetries \(R\), the corresponding generalized Yangian is trigonometric. Consequently, we have
We note that the orders of arguments in the matrices are opposite in the expressions for the column and row determinants. We also note that similarly to the case of the algebras \( \mathcal{L} (R,F)\), the quantum determinant is always central in the generalized Yangians \( \mathbf{Y} (R,R)\) of RE type but this is not so in \( \mathbf{Y} (R,P)\) of \(RTT\) type. More precisely, the quantum determinant \( \mathop{\mathrm{det}}\nolimits_{ \mathbf{Y} (R,P)} (L)\) is central if and only if it is central for the quantum determinant \( \mathop{\mathrm{det}}\nolimits_{ \mathcal{L} (R,P)} (L)\). This property was proved in [5].
The quantum versions of power sums can also be defined in all generalized Yangians, and some quantum versions of the Cayley–Hamilton identity hold in all of them. The subalgebra generated in the generalized Yangian \( \mathbf{Y} (R,F)\) by the quantum elementary polynomials is called the Bethe subalgebra and is denoted by \( \mathcal{B} (R,F)\).
Proposition 4 [20].
For any compatible pair \((R,F)\) of braidings such that \(R\) is a skew-invertible involutive or Hecke symmetry the Bethe subalgebra \( \mathcal{B} (R,F)\subset \mathbf{Y} (R,F)\) is commutative.
A particular case of this proposition, corresponding to \(F=P\) and \(R\) coming from the \(U_q(sl(N))\) QG was proved in [7]. (We note that the formula for the projectors \(A^{(k)}\) should be taken as in (2.1))
The generalized Yangians of the RE type have a very important property: they admit evaluation morphisms. These morphisms were constructed in [5]. Similarly to the evaluation map in the Drinfeld Yangian \( \mathbf{Y} (P,P)\), they have the form
in both the rational and trigonometric cases. But the target algebras generated by matrix elements of \(M\) differ: it is a modified RE algebra with respect to the symmetry \(R\) in the rational case and an unmodified RE algebra in the trigonometric case.
In conclusion, we make a short remark. As already noted, it is impossible to prove that the quantum elementary polynomials in a HQA commute. Nevertheless, relations (4.6) allow establishing this property for the generalized Yangians because they are more restrictive than the defining relations in an HQA.
Notes
The term even means that the \(R\)-skew-symmetric algebra \( \mathsf{\Lambda} _R(V)\) has a finite number of nontrivial homogenous components and the highest nontrivial component \( \mathsf{\Lambda} _R^m(V)\) is one-dimensional. In this case, we say that \(R\) is of rank \(m\).
We note that the operators \(PR\), where \(P\) is a flip, are subject to the so-called quantum Yang–Baxter equation and are usually called \(R\)-matrices.
In this section, we mainly consider Hecke symmetries. The corresponding results and formulas for involutive symmetries can be obtained by setting \(q=1\).
If the rank of a symmetry \(R\) is two, then we can recover the symmetry \(R\) by knowing \( \mathrm{u} \) and \( \mathrm{v} \). All pairs \(( \mathrm{u} , \mathrm{v} )\) yielding such symmetries were classified in [2].
We emphasize that this property is absent if \(F\ne R\).
References
P. P. Kulish and E. K. Sklyanin, “Quantum spectral transform method: Recent developments,” in: Integrable Quantum Field Theories (Lect. Notes Phys., Vol. 151, J. Hietarinta and C. Montonen, eds.), Springer, Berlin (1982), pp. 61–119.
D. I. Gurevich, Leningrad Math. J., 2, 801–828 (1991).
A. Isaev, O. Ogievetsky, and P. Pyatov, “On quantum matrix algebras satisfying the Cayley–Hamilton–Newton identities,” J. Phys. A: Math. Gen., 32, L115–L121 (1999).
A. Isaev and O. Ogievetsky, “Half-quantum linear algebra,” in: Symmetries and Groups in Contemporary Physics (Nankai Series Pure Appl. Math. Theoret. Phys., Vol. 11, C. Bai, J.-P. Gazeau, and M.-L. Ge, eds.), World Scientific, Singapore (2013), pp. 479–486.
D. Gurevich and P. Saponov, “Braided Yangians,” J. Geom. Phys., 138, 124–143 (2019).
D. Gurevich and P. Saponov, “From reflection equation algebra to braided yangians,” in: Recent Developements in Integrable Systems and Related Topics of Mathematical Physics (Springer Proc. Math. Statist., Vol. 273, V. M. Buchstaber, S. Konstantinou-Rizos, and A. V. Mikhailov, eds.), Springer, Cham (2018), pp. 3–23.
A. Chervov, G. Falqui, V. Rubtsov, and A. Silantyev, “Algebraic properties of Manin matrices II: \(q\)-Analogues and integrable systems,” Adv. Appl. Math., 60, 25–89 (2014).
A. Gyoja, “A \(q\)-analogue of Young symmetrizers,” Osaka J. Math., 23, 841–852 (1986).
A. Isaev, O. Ogievetsky, and P. Pyatov, “\(q\)-Multilinear algebra,” in: Lie Theory and its Applications in Physics III (Clausthal, Germany, 11–14 July 1999, H.-D. Doebner, V. K. Dobrev, and J. Hilgert, eds.), World Scientific, Singapore (2000), pp. 268–279.
N. Yu. Reshetikhin, L. A. Takhtadzhyan, and L. D. Faddeev, “Quantization of Lie groups and Lie algebras,” Leningrad Math. J., 1, 193–225 (1990).
D. I. Gurevich, P. N. Pyatov, and P. A. Saponov, “Representation theory of (modified) reflection equation algebra of \(GL(m|n)\) type,” St. Petersburg Math. J., 20, 213–253 (2009).
V. V. Lyubashenko, “Hopf algebras and vector symmetries,” Russian Math. Surveys, 41, 153–154 (1986).
V. V. Lyubashenko, “Superanalysis and solutions to the triangles equation [in Russian],” Doctoral dissertation, Institute for Mathematics, Kiev (1986).
A. P. Isaev, “\(R\)-matrix approach to the differential calculus on quantum groups,” Sov. J. Part. Nucl., 28, 685–752 (1997); “Quantum groups and Yang–Baxter equations,” Preprint MPI-04 132, http://webdoc. sub.gwdg.de/ebook/serien/e/mpi_mathematik/2004/132.pdf, Max-Plank-Institut für Matematik, Bonn (2004).
D. I. Gurevich, P. N. Pyatov, and P. A. Saponov, “Hecke symmetries and characteristic relations on reflection equation algebras,” Lett. Math. Phys., 41, 255–264 (1997).
A. Chervov, G. Falqui, and V. Rubtsov, “Algebraic properties of Manin matrices. I,” Adv. Appl. Math., 43, 239–315 (2009).
Yu. I. Manin, Quantum Groups and Noncommutative Geometry, Springer, Cham (2018).
M. Jimbo, “A \(q\)-difference analogue of \(U( \mathfrak{g} )\) and the Yang–Baxter equation,” Lett. Math. Phys., 10, 63–69 (1985).
V. Jones, “Baxterization,” Internat. J. Modern Phys. A, 6, 2035–2043 (1991).
D. Gurevich, P. Saponov, and A. Slinkin, “Bethe subalgebras in braided Yangians and Gaudin-type models,” Commun. Math. Physics, 374, 689–704 (2020).
Acknowledgments
The authors are indebted to Vladimir Rubtsov for the elucidating discussions.
Funding
The research of P. A. Saponov was supported in part by the Russian Foundation for Basic Research (Grant No. 19-01-00726_a).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
The authors declare no conflicts of interest.
Additional information
Translated from Teoreticheskaya i Matematicheskaya Fizika, 2021, Vol. 207, pp. 261-276 https://doi.org/10.4213/tmf10043.
Rights and permissions
About this article
Cite this article
Gurevich, D.I., Saponov, P.A. Determinants in quantum matrix algebras and integrable systems. Theor Math Phys 207, 626–639 (2021). https://doi.org/10.1134/S004057792105007X
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S004057792105007X