华南理工大学数学学院，广东 广州

收稿日期：2020年11月25日；录用日期：2020年12月23日；发布日期：2020年12月31日

摘要

一个量子超代数可以通过一个R-矩阵及相应的RTT关系给出。对于一个由R-矩阵 $\mathcal{R}$ 定义的量子超代数 $U\left(\mathcal{R}\right)$，本文验证了它的坐标超代数 $\mathcal{A}\left(\mathcal{R}\right)$ 的矩阵生成元也满足RTT关系。我们进一步的以量子超代数 $U_q\left(\mathfrak{g}{\mathfrak{l}}_{m|n}\right)$ 和 $U_q\left({\mathfrak{q}}_n\right)$ 为例阐释了上述结果。

关键词

R-矩阵，量子超代数，坐标超代数

Coordinate Superalgebras of Quantum Superalgebras Based on the RTT Relation

Yana Geng, Zhihua Chang^*

School of Mathematics, South China University of Technology, Guangzhou Guangzhou

Received: Nov. 25^th, 2020; accepted: Dec. 23^rd, 2020; published: Dec. 31^st, 2020

ABSTRACT

A quantum superalgebra can be given by an R-matrix and the corresponding RTT relation. For a quantum superalgebra $U\left(\mathcal{R}\right)$ defined by the R-matrix $\mathcal{R}$, we verified that the matrix generators of its coordinate superalgebra $\mathcal{A}\left(\mathcal{R}\right)$ also satisfy the RTT relation in this paper. And we further illustrate the above results by taking quantum superalgebras $U_q\left(\mathfrak{g}{\mathfrak{l}}_{m|n}\right)$ and $U_q\left({\mathfrak{q}}_n\right)$ as examples.

Keywords:R-Matrix, Quantum Superalgebras, Coordinate Superalgebras

Copyright © 2020 by author(s) and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 引言

量子超代数是李超代数的泛包络代数的量子化，有限维单李超代数的量子包络代数出现于1990年前后，最简单的量子超代数 $U_q\left(\mathfrak{o}\mathfrak{s}{\mathfrak{p}}_{2|1}\right)$ 由P. P. Kulish和N. Y. Reshetikhin在 [1] 中给出。随后，M. Chaichian和P. Kulish在 [2] 中定义了A型的量子包络超代数 $U_q\left(\mathfrak{g}{\mathfrak{l}}_{m|n}\right)$ ；G. I. Olshankski在论文 [3] 中构造了queer李超代数 ${\mathfrak{q}}_n$ 的量子包络超代数 $U_q\left({\mathfrak{q}}_n\right)$。

近年来，这些量子超代数的结构和表示理论受到了数学和理论物理研究的广泛关注。R. B. Zhang在 [4] 中得到了量子超代数 $U_q\left(\mathfrak{g}{\mathfrak{l}}_{m|n}\right)$ 的有限维表示。A. J. Bracken，M. D. Gould和R. B. Zhang在论文 [5] [6] 中对量子超代数对应的泛R矩阵进行了研究，给出了一般超Hopf代数的分次泛R矩阵的公式，并具体得到了 $U_q\left(\mathfrak{o}\mathfrak{s}{\mathfrak{p}}_{1|2}\right)$ 和 $U_q\left(\mathfrak{g}{\mathfrak{l}}_{m|n}\right)$ 的自然表示上的R-矩阵。D. Grancharov，J.-H. Jung，S.-J. Kang和M. Kim在 [7] 中对量子超代数 $U_q\left({\mathfrak{q}}_n\right)$ 的张量模范畴进行了详细的刻画。

在这一系列对量子超代数的研究中，它们的坐标超代数都起到了重要的作用。坐标超代数是论文 [6] 构造quantum double的重要部分，在Y. Zhang对 $U_q\left(\mathfrak{g}{\mathfrak{l}}_{m|n}\right)$ 的不变量理论基本定理的证明过程 [8] 中也起到了多项式代数的量子化的作用。

量子超代数的坐标代数是它作为Hopf代数的余有限对偶中由自然表示的矩阵元生成的子代数。众多的例子已经表明这些坐标代数的矩阵生成元满足RTT关系。RTT关系是L. D. Faddeev，N. Y. Reshetikhin和L. A. Takhtajan在论文 [9] 中引入的量子代数的矩阵生成元之间的关系。它给出了量子包络代数的一种非常简洁的实现方式。而且具有易于描述其中的余乘和反极等Hopf代数结构的优势。

我们在这篇小论文中验证：在一个通过RTT实现的量子超代数的坐标超代数中，它的矩阵生成元仍然满足RTT关系。我们还将以量子超代数 $U_q\left(\mathfrak{g}{\mathfrak{l}}_{m|n}\right)$ 和 $U_q\left({\mathfrak{q}}_n\right)$ 为例阐释上述结果。

2. 量子超代数

本节我们首先给出基于RTT实现的量子超代数及其坐标代数的定义。

设 $\mathbb{K}$ 是一个特征为零的域。考虑域 $\mathbb{K}$ 上的超线性空间(即 $\mathbb{Z}/2\mathbb{Z}$ -分次的线性空间)， $V={\mathbb{K}}^{m|n}$。V有标准基 $\left\{v_1,\cdots ,v_{m+n}\right\}$，其中 $v_i$ 在 $\mathbb{Z}/2\mathbb{Z}$ -分次中的次数为

$\left|v_i\right|=\left|i\right|=\{\begin{array}{ll}\bar{0},\hfill & 如果1\le i\le m,\hfill \\ \bar{1},\hfill & 如果m+1\le i\le m+n.\hfill \end{array}$

相应的V的自同态代数 $\text{End}V$ 也有一个自然地 $\mathbb{Z}/2\mathbb{Z}$ -分次结构，即

$\left|e_{ij}\right|=\left|i\right|+\left|j\right|,i,j=1,\cdots ,m+n,$

其中 $e_{ij}\in \text{End}V$ 是由 $e_{ij}{v}_k={\delta }_{jk}{v}_i,k=1,\cdots ,m+n$ 决定的矩阵单位， ${\delta }_{jk}$ 为Kronecker符号。

设

$\mathcal{R}={\displaystyle \underset{i,j,k,l}{\sum }{R}_{kl}^{ij}{e}_{ij}\otimes e_{kl}}\in \text{End}V\otimes \text{End}V.$

注意到从 $\text{End}V\otimes \text{End}V$ 到 $\text{End}V\otimes \text{End}V\otimes \text{End}V$ 有三个典范同态：

$a\otimes b\mapsto a\otimes b\otimes 1,a\otimes b\mapsto a\otimes 1\otimes b,a\otimes b\mapsto 1\otimes a\otimes b.$

我们把 $\mathcal{R}$ 在三个典范同态下的像分别记为 ${\mathcal{R}}_{12},{\mathcal{R}}_{13},{\mathcal{R}}_{23}$。若 $\text{End}V\otimes \text{End}V$ 中偶元素(次数为 $\bar{0}$ 的齐次元)满足Yang-Baxter方程

${\mathcal{R}}_{12}{\mathcal{R}}_{13}{\mathcal{R}}_{23}={\mathcal{R}}_{23}{\mathcal{R}}_{13}{\mathcal{R}}_{12}$ (2.1)

则称 $\mathcal{R}$ 是一个R-矩阵。Yang-Baxter方程(2.1)也可等价地写为

${\displaystyle {\sum }_{p,r,s}{\left(-1\right)}^{\left(\left|p\right|+\left|i\right|\right)\left(\left|b\right|+\left|j\right|\right)}{R}_{br}^{ap}{R}_{cs}^{pi}{R}_{sk}^{rj}}={\displaystyle {\sum }_{p,r,s}{\left(-1\right)}^{\left(\left|p\right|+\left|i\right|\right)\left(\left|b\right|+\left|r\right|\right)}{R}_{cs}^{br}{R}_{sk}^{ap}{R}_{rj}^{pi}}$ (2.2)

定义2.1 设 $\mathcal{R}\in \text{End}V\otimes \text{End}V$ 是一个R-矩阵。我们定义相应的量子超代数 $U\left(\mathcal{R}\right)$ 为域 $\mathbb{K}$ 上由次数为 $\left|i\right|+\left|j\right|$ 的齐次元 $t_{ij},i,j=1,2,\cdots ,m+n$ 生成的含幺结合超代数。这些生成元满足定义关系

$\mathcal{R}{T}_1{T}_2=T_2{T}_1\mathcal{R}$ (2.3)

其中

$T={\displaystyle \underset{i,j=1}{\overset{m+n}{\sum }}{e}_{ij}\otimes t_{ij}}$

且 $T_1,T_2$ 分别为T在从 $\text{End}V\otimes U\left(\mathcal{R}\right)$ 到 $\text{End}V\otimes \text{End}V\otimes U\left(\mathcal{R}\right)$ 的两个典范同态

$a\otimes u\mapsto a\otimes 1\otimes u,a\otimes u\mapsto 1\otimes a\otimes u$

下的同态像，

定义关系式(2.3)也可以等价地写为

$\underset{p,r}{{\displaystyle \sum }}{\left(-1\right)}^{\left(\left|p\right|+\left|i\right|\right)\left(\left|b\right|+\left|j\right|\right)}{R}_{br}^{ap}{t}_{pi}{t}_{rj}=\underset{p,r}{{\displaystyle \sum }}{\left(-1\right)}^{\left(\left|p\right|+\left|i\right|\right)\left(\left|b\right|+\left|r\right|\right)}{t}_{br}{t}_{ap}{R}_{rj}^{pi}$

上述通过RTT实现的结合超代数 $U\left(\mathcal{R}\right)$ 自然地具有超双代数的结构，其中的余乘由

$\Delta \left(t_{ij}\right)=\underset{k=1}{\overset{m+n}{{\displaystyle \sum }}}{\left(-1\right)}^{\left(\left|i\right|+\left|k\right|\right)\left(\left|k\right|+\left|j\right|\right)}{t}_{ik}\otimes t_{kj}$

给出。

例2.2 设 $\mathbb{K}=ℂ\left(q\right)$ 为一个未定元q的复有理函数域，在线性空间 $V={\mathbb{K}}^{m|n}$ 上有R-矩阵

$\mathcal{R}:={\displaystyle {\sum }_i{q}^{{\left(-1\right)}^{\left|i\right|}}{e}_{ii}\otimes e_{ii}}+{\displaystyle {\sum }_{i\ne j}{e}_{ii}\otimes e_{jj}}+\left(q-q^{-1}\right){\displaystyle {\sum }_{i<j}{\left(-1\right)}^{\left|j\right|}{e}_{ij}\otimes e_{ji}}.$ (2.4)

则一般线性李超代数的量子包络超代数 $U_q\left(\mathfrak{g}{\mathfrak{l}}_{m|n}\right)$ 可以定义为域 $\mathbb{K}$ 上由次数为 $\left|i\right|+\left|j\right|$ 的齐次生成元 $t_{ij}^{\pm },i,j=1,\cdots ,m+n$ 生成的含幺结合代数，它们满足

$t_{ij}^{+}=t_{ji}^{-}=0,i>j$ 和 $t_{ii}^{+}{t}_{ii}^{-}=1=t_{ii}^{-}{t}_{ii}^{+},i=1,\cdots ,m+n$

以及定义关系

$\mathcal{R}{T}_1^{(\pm )}{T}_2^{(\pm )}=T_2^{(\pm )}{T}_1^{(\pm )}\mathcal{R}$

$\mathcal{R}{T}_1^{(+)}{T}_2^{(-)}=T_2^{(-)}{T}_1^{(+)}\mathcal{R}$

其中 $T^{(+)}={\displaystyle {\sum }_{i,j}{e}_{ij}\otimes t_{ij}^{+}}$，$T^{(-)}={\displaystyle {\sum }_{i,j}{t}_{ij}^{-}\otimes e_{ij}}$。这样的定义给出了量子包络超代数 $U_q\left(\mathfrak{g}{\mathfrak{l}}_{m|n}\right)$ 的RTT实现。事实上，类似于文献 [10]，可以证明了这样由RTT实现给出的量子包络代数 $U_q\left(\mathfrak{g}{\mathfrak{l}}_{m|n}\right)$ 与Drinfeld实现给出的量子包络代数是同构的。

例2.3 域 $\mathbb{K}=ℂ\left(q\right)$ 与例2.2相同，线性空间 $V={\mathbb{K}}^{m|n}$ 是有相同维数n的奇偶空间，我们分别用 $\left\{-n,\cdots ,-1\right\}$ 和 $\left\{1,\cdots ,n\right\}$ 来作为它的奇空间和偶空间的标准基的指标集。V上有R-矩阵

$\mathcal{R}:={\displaystyle {\sum }_{i,j}{q}^{\phi \left(i,j\right)}{e}_{ii}\otimes e_{jj}}+\left(q-q^{-1}\right){\displaystyle {\sum }_{i<j}{\left(-1\right)}^{\left|i\right|}\left(e_{ji}+e_{-j,-i}\right)\otimes e_{ij}}\in \text{End}\left(V\right)\otimes \text{End}\left(V\right),$ (2.5)

其中 $\phi \left(i,j\right)={\left(-1\right)}^{\left|j\right|}\left({\delta }_{ij}+{\delta }_{i,-j}\right)$。由G. I. Olshanski给出的queer量子包络超代数 $U_q\left({\mathfrak{q}}_n\right)$ 是由次数为 $\left|i\right|+\left|j\right|$ 的齐次元 $t_{ij},i\le j$ 生成的结合超代数，生成元满足关系

$\mathcal{R}{T}_1{T}_2=T_2{T}_1\mathcal{R}$

及 $t_{ii}{t}_{-i,-i}=1=t_{-i,-i}{t}_{ii},i=-n,\cdots ,-1,1,\cdots ,n$，其中

$T={\displaystyle {\sum }_{i\le j}{t}_{ij}\otimes e_{ij}}.$

这是一个由RTT实现给出的量子包络代数。Queer量子超代数 $U_q\left({\mathfrak{q}}_n\right)$ 的Drinfeld实现已由D. Grantcharov，J.-H. Jung，S.-J. Kang和M. Kim在文献 [7] 中给出。

3. 坐标代数

从双代数的一般理论 [11] 我们知道，每一个双代数的有限对偶也是一个双代数。这里我们考虑超双代数 $U\left(\mathcal{R}\right)$ 的有限对偶。用 $U{\left(\mathcal{R}\right)}^{*}$ 表示 $U\left(\mathcal{R}\right)$ 的对偶空间，即从 $U\left(\mathcal{R}\right)$ 到 $\mathbb{K}$ 的线性函数全体，则超双代数 $U\left(\mathcal{R}\right)$ 的有限对偶定义为

$U{\left(\mathcal{R}\right)}^{\circ }:=\left\{f\in U{\left(\mathcal{R}\right)}^{*}|U\left(\mathcal{R}\right)如果存在余维数有限的理想I使得f\left(I\right)=0\right\}.$

我们用 $\langle f,x\rangle$ 表示 $f\in U{\left(\mathcal{R}\right)}^{*}$ 在 $x\in U\left(\mathcal{R}\right)$ 的取值，那么超双代数 $U{\left(\mathcal{R}\right)}^{\circ }$ 上的乘积和余乘积由下列关系决定：

$\langle fg,x\rangle ={\displaystyle {\sum }_{\left(x\right)}{\left(-1\right)}^{\left|x_{\left(1\right)}\right|\left|g\right|}\langle f,x_{\left(1\right)}\rangle \langle g,x_{\left(2\right)}\rangle },如果\Delta \left(x\right)={\displaystyle {\sum }_{\left(x\right)}{x}_{\left(1\right)}\otimes x_{\left(2\right)}},$

$\langle f,xy\rangle ={\displaystyle {\sum }_{\left(f\right)}{\left(-1\right)}^{\left|f_{\left(2\right)}\right|\left|x\right|}\langle f_{\left(1\right)},x\rangle \langle f_{\left(2\right)},y\rangle },如果{\Delta }^{\circ }\left(f\right)={\displaystyle {\sum }_{\left(f\right)}{f}_{\left(1\right)}\otimes f_{\left(2\right)}},$

其中 $f,g\in U{\left(\mathcal{R}\right)}^{*}$，$x,y\in U\left(\mathcal{R}\right)$。

对于超双代数 $U\left(\mathcal{R}\right)$，我们可以借助R-矩阵在线性空间V上定义它的自然表示：

$\rho :U\left(\mathcal{R}\right)\to \text{End}V,T\mapsto \mathcal{R}\text{.}$

即，

$\rho \left(t_{ij}\right)={\displaystyle {\sum }_{k,l}{R}_{ij}^{kl}{e}_{kl}},i,j=1,\cdots ,m+n.$

自然表示的矩阵系数定义了 $U\left(\mathcal{R}\right)$ 上的线性函数 ${\tau }_{ik}\in U{\left(\mathcal{R}\right)}^{*}$，即

$\rho \left(x\right)\cdot v_l={\displaystyle {\sum }_k\langle {\tau }_{kl},x\rangle v_k},x\in U\left(\mathcal{R}\right).$ (3.1)

特别地，

$\langle {\tau }_{kl},t_{ij}\rangle =R_{ij}^{kl}.$

注意到V是 $U\left(\mathcal{R}\right)$ 的有限维表示， $\ker \rho$ 是 $U\left(\mathcal{R}\right)$ 的一个余维数有限的双边理想，且 ${\tau }_{kl}$ 在 $\ker \rho$ 上取零值，因此 ${\tau }_{kl}\in U{\left(\mathcal{R}\right)}^{\circ }$。

定义3.1 超双代数 $U{\left(\mathcal{R}\right)}^{\circ }$ 中由 ${\tau }_{kl},k,l=1,\cdots ,m+n$ 生成的子代数称为超代数 $U\left(\mathcal{R}\right)$ 的坐标超代数，记为 $A\left(\mathcal{R}\right)$。

命题3.2 超代数 $A\left(\mathcal{R}\right)$ 的生成元 ${\tau }_{kl},k,l=1,\cdots ,m+n$ 满足

${\Delta }^{\circ }\left({\tau }_{kl}\right)={\displaystyle {\sum }_p{\left(-1\right)}^{\left(\left|k\right|+\left|p\right|\right)\left(\left|p\right|+\left|l\right|\right)}{t}_{kp}\otimes t_{pl}}.$ (3.2)

即， $A\left(\mathcal{R}\right)$ 是 $U{\left(\mathcal{R}\right)}^{\circ }$ 的一个子双代数。

证明。我们直接验证等式(3.2)。由 ${\tau }_{kl}$ 的定义，对于 $x,y\in U\left(\mathcal{R}\right)$，有

$\rho \left(xy\right)\cdot v_l={\displaystyle {\sum }_k\langle {\tau }_{kl},xy\rangle v_k}.$

同时，因 $\rho$ 是 $U\left(\mathcal{R}\right)$ 的一个表示，也有

$\rho \left(xy\right)\cdot v_l=\rho \left(x\right)\rho \left(y\right)\cdot v_l={\displaystyle {\sum }_p\langle {\tau }_{pl},y\rangle \rho \left(x\right)\cdot v_p}={\displaystyle {\sum }_{k,p}\langle {\tau }_{kp},x\rangle \langle {\tau }_{pl},y\rangle v_k}.$

对比两式右端 $v_k$ 的系数，我们有

$\langle {\tau }_{kl},xy\rangle ={\displaystyle {\sum }_p\langle {\tau }_{kp},x\rangle }\langle {\tau }_{pl},y\rangle .$

注意到 $\langle {\tau }_{kp},x\rangle$ 仅当 $\left|x\right|=\left|k\right|+\left|p\right|$ 时非零，因此， $U{\left(\mathcal{R}\right)}^{\circ }$ 中等式(3.2)成立。

由于 ${\tau }_{kl},k,l=1,2,\cdots ,m+n$ 是超代数 $A\left(\mathcal{R}\right)$ 的生成元，等式(3.2)事实上说明了有限对偶代数 $U{\left(\mathcal{R}\right)}^{\circ }$ 的余乘在超代数 $A\left(\mathcal{R}\right)$ 上是封闭的，即 $A\left(\mathcal{R}\right)$ 是 $U{\left(\mathcal{R}\right)}^{\circ }$ 的超子双代数。

定理3.3 超代数 $A\left(\mathcal{R}\right)$ 的生成元 ${\tau }_{kl},k,l=1,2,\cdots ,m+n$ 满足

$\mathcal{R}{X}_1{X}_2=X_2{X}_1\mathcal{R},$

其中 $X={\displaystyle {\sum }_{ij}{\tau }_{ij}\otimes e_{ij}}$。

证明。在超双代数 $U\left(\mathcal{R}\right)$ 中，我们有

$\Delta \left(t_{ck}\right)={\displaystyle {\sum }_s{\left(-1\right)}^{\left(\left|c\right|+\left|s\right|\right)\left(\left|s\right|+\left|k\right|\right)}{t}_{cs}\otimes t_{sk}}.$

因此，

$\langle {\tau }_{pi}{\tau }_{rj},t_{ck}\rangle ={\displaystyle {\sum }_s{\left(-1\right)}^{\left(\left|c\right|+\left|s\right|\right)\left(\left|s\right|+\left|k\right|\right)+\left(\left|c\right|+\left|s\right|\right)\left(\left|r\right|+\left|j\right|\right)}\langle {\tau }_{pi},t_{cs}\rangle \langle {\tau }_{rj},t_{sk}\rangle }={\displaystyle {\sum }_s{R}_{cs}^{pi}{R}_{sk}^{rj}},$

其中 $\langle {\tau }_{rj},t_{sk}\rangle =R_{sk}^{rj}$ 仅当 $\left|r\right|+\left|j\right|=\left|s\right|+\left|k\right|$ 时非零。由Yang-Baxter方程(2.2)，

$\begin{array}{l}\langle {\displaystyle {\sum }_{p,r}{\left(-1\right)}^{\left(\left|p\right|+\left|i\right|\right)\left(\left|b\right|+\left|j\right|\right)}{R}_{br}^{ap}{\tau }_{pi}{\tau }_{rj}},t_{ck}\rangle \\ ={\displaystyle {\sum }_{p,r,s}{\left(-1\right)}^{\left(\left|p\right|+\left|i\right|\right)\left(\left|b\right|+\left|j\right|\right)}{R}_{br}^{ap}{R}_{cs}^{pi}{R}_{sk}^{rj}}\\ ={\displaystyle {\sum }_{p,r,s}{\left(-1\right)}^{\left(\left|p\right|+\left|i\right|\right)\left(\left|b\right|+\left|r\right|\right)}{R}_{cs}^{br}{R}_{sk}^{ap}{R}_{rj}^{pi}}\\ =\langle {\displaystyle {\sum }_{p,r}{\left(-1\right)}^{\left(\left|p\right|+\left|i\right|\right)\left(\left|b\right|+\left|r\right|\right)}{\tau }_{br}{\tau }_{ap}{R}_{rj}^{pi}},t_{ck}\rangle .\end{array}$

注意到 $t_{ck},c,k=1,2,\cdots ,m+n$ 生成超代数 $U\left(\mathcal{R}\right)$，我们有

${\displaystyle {\sum }_{p,r}{\left(-1\right)}^{\left(\left|p\right|+\left|i\right|\right)\left(\left|b\right|+\left|j\right|\right)}{R}_{br}^{ap}{\tau }_{pi}{\tau }_{rj}}={\displaystyle {\sum }_{p,r}{\left(-1\right)}^{\left(\left|p\right|+\left|i\right|\right)\left(\left|b\right|+\left|r\right|\right)}{\tau }_{br}{\tau }_{ap}{R}_{rj}^{pi}},$

即，

$\mathcal{R}{X}_1{X}_2=X_2{X}_1\mathcal{R}$

例3.4 对于例2.2中给出的量子包络超代数 $U_q\left(\mathfrak{g}{\mathfrak{l}}_{m|n}\right)$，其坐标代数 $A_q\left(\mathfrak{g}{\mathfrak{l}}_{m|n}\right)$ 有一组生成元 ${\tau }_{ij},i,j=1,\cdots ,m+n$ 满足RTT关系

$\mathcal{R}{X}_1{X}_2=X_2{X}_1\mathcal{R},$ (3.3)

其中 $\mathcal{R}$ 为(2.4)式给出的R-矩阵， $X={\displaystyle {\sum }_{i,j}{\tau }_{ij}\otimes e_{ij}}$。具体来说， $U_q\left(\mathfrak{g}{\mathfrak{l}}_{m|n}\right)$ 在V上有自然表示

$\rho :U_q\left(\mathfrak{g}{\mathfrak{l}}_{m|n}\right)\to \text{End}V,T^{(+)}\mapsto \mathcal{R},T^{(-)}\mapsto {\mathcal{R}}^{-1},$

其中，

${\mathcal{R}}^{-1}={\displaystyle {\sum }_i{q}^{-{\left(-1\right)}^{\left|i\right|}}{e}_{ii}\otimes e_{ii}}+{\displaystyle {\sum }_{i\ne j}{e}_{ii}\otimes e_{jj}}-\left(q-q^{-1}\right){\displaystyle {\sum }_{i<j}{\left(-1\right)}^{\left|j\right|}{e}_{ij}\otimes e_{ji}}$

为 $\mathcal{R}$ 的逆矩阵，因此，相应的自然表示的矩阵元 ${\tau }_{kl},k,l=1,\cdots ,m+n$ 满足

$\langle {\tau }_{kl},t_{ii}^{+}\rangle =q^{{\left(-1\right)}^{\left|i\right|}{\delta }_{il}},\langle {\tau }_{kl},t_{ii}^{-}\rangle =q^{-{\left(-1\right)}^{\left|i\right|}{\delta }_{il}},$

$\langle {\tau }_{kl},t_{ij}^{+}\rangle ={\delta }_{jk}{\delta }_{il}\left(q-q^{-1}\right){\left(-1\right)}^{\left|j\right|},\langle {\tau }_{kl},t_{ji}^{-}\rangle =-{\delta }_{ik}{\delta }_{jl}\left(q-q^{-1}\right){\left(-1\right)}^{\left|j\right|},i<j.$

容易验证，它们满足关系式

${\left({\tau }_{ak}\right)}^2=0,\left|a\right|+\left|k\right|=1,$

${\tau }_{ak}{\tau }_{bk}={\left(-1\right)}^{\left(\left|a\right|+\left|k\right|\right)\left(\left|b\right|+\left|k\right|\right)}{q}^{{\left(-1\right)}^{\left|k\right|}}{\tau }_{bk}{\tau }_{ak},a>b,$

${\tau }_{ak}{\tau }_{al}={\left(-1\right)}^{\left(\left|a\right|+\left|k\right|\right)\left(\left|b\right|+\left|l\right|\right)}{q}^{{\left(-1\right)}^{\left|a\right|}}{\tau }_{al}{\tau }_{ak},k>l,$

${\tau }_{ak}{\tau }_{al}={\left(-1\right)}^{\left(\left|a\right|+\left|k\right|\right)\left(\left|b\right|+\left|l\right|\right)}{q}^{{\left(-1\right)}^{\left|a\right|}}{\tau }_{al}{\tau }_{ak},k>l,$

${\tau }_{ak}{\tau }_{bl}={\left(-1\right)}^{\left(\left|a\right|+\left|k\right|\right)\left(\left|b\right|+\left|l\right|\right)}{\tau }_{bl}{\tau }_{ak}+{\left(-1\right)}^{\left|a\right|\left(\left|b\right|+\left|l\right|\right)+\left|b\right|\left|l\right|}\left(q-q^{-1}\right){\tau }_{bk}{\tau }_{al},a>b,k>l.$

这等价于关系式(3.3)成立。

例3.5 对于例2.3中给出的量子包络超代数 $U_q\left({\mathfrak{q}}_n\right)$，其坐标代数 $A_q\left({\mathfrak{q}}_n\right)$ 有一组生成元 ${\tau }_{ij},i,j=-n,\cdots ,-1,1,\cdots ,n$ 满足RTT关系

$\mathcal{R}{X}_1{X}_2=X_2{X}_1\mathcal{R},$ (3.4)

其中 $\mathcal{R}$ 为(2.5)式给出的R-矩阵， $X={\displaystyle {\sum }_{i,j}{\tau }_{ij}\otimes e_{ij}}$，具体来说， $\rho :U_q\left({\mathfrak{q}}_n\right)\to \text{End}V,T\mapsto \mathcal{R}$ 给出了量子包络超代数 $U_q\left({\mathfrak{q}}_n\right)$ 的自然表示，即，

$\rho \left(t_{ii}\right)={\displaystyle {\sum }_j{q}^{\phi \left(j,i\right)}{e}_{jj}},\rho \left(t_{ij}\right)=\left(q-q^{-1}\right){\left(-1\right)}^{\left|i\right|}\left(e_{ji}-e_{-j,-i}\right).$

相应地矩阵元 ${\tau }_{kl},k,l=-n,\cdots ,-1,1,\cdots ,n$ 满足

$\langle {\tau }_{kl},t_{ii}\rangle =q^{\phi \left(l,i\right)}{\delta }_{kl},\langle {\tau }_{kl},t_{ij}\rangle =\left(q-q^{-1}\right){\left(-1\right)}^{\left|i\right|}\left({\delta }_{il}{\delta }_{jk}+{\delta }_{-i,l}{\delta }_{-j,k}\right),i<j.$

容易验证它们满足关系式

$\begin{array}{l}{q}^{\phi \left(i,j\right)}{\tau }_{ia}{\tau }_{jb}-{\left(-1\right)}^{\left(\left|i\right|+\left|a\right|\right)\left(\left|j\right|+\left|b\right|\right)}{q}^{\phi \left(a,b\right)}{\tau }_{jb}{\tau }_{ia}\\ ={\left(-1\right)}^{\left|i\right|\left|j\right||+\left|j\right|\left|b\right|+\left|b\right|\left|i\right|}\left(q-q^{-1}\right)\left(\left({\delta }_{a<b}-{\delta }_{j<i}\right){\tau }_{ja}{\tau }_{ib}+{\left(-1\right)}^{\left|j\right|+\left|b\right|}\left({\delta }_{-a<b}-{\delta }_{j<-i}\right){\tau }_{-j,a}{\tau }_{-i,b}\right).\end{array}$

即，关系式(3.4)成立。

致谢

本研究已经进入收尾阶段了，此时的我既激动又紧张，从开题到现在论文的顺利完成，有许多同学、老师都给予了我很大的帮助，在此，我想向他们表示我真诚的感谢。

首先，是我的导师常智华老师，该论文是在常智华老师的悉心指导下完成的，常老师思维开阔，知识储备丰富，提出的许多观点都很新颖，在论文写作过程中多次和我就论文问题进行深入探讨，并且给予我许多切实可行的指导性建议。更重要的是，常老师对我来说亦师亦友，作为他的学生，不仅能学到学术方面的知识，更能学到许多做人做事的道理，在学习、生活上，常老师都给了我很大的帮助，能够做他的学生，我特别自豪！

其次，是和我一起上讨论班的小伙伴陆狄雷同学和刘宁同学，在该论文创作的过程中，我们一起探讨彼此的论文，他们总是能准确地发现问题所在，并对此提出建议，在查询资料遇到问题时，他们也会向我推荐合适的书籍、论文等资料，大大地节省了查询的时间，这些都对我的论文顺利完成有很大的帮助。

此外，我还要感谢数学学院的所有同学，在我论文创作过程中，难免会心情低落，陷入一种负面状态中，他们组织的许多课余活动给了我放松的空间，让我能及时调整状态，继续进行学术的研究。

最后，还要感谢文献中提到的许多的数学界前辈，他们优秀的研究成果对我的论文研究也有很大的启发。同时，广东省自然科学基金–面上项目的支持也给予了我很大的帮助。

在整个论文写作过程中，给予我帮助的人有很多，最后，我再一次向他们表示我的感谢！

基金项目

本论文由广东省自然科学基金(项目编号：2020A1515011417)支持。

文章引用

耿亚娜,常智华. 基于RTT实现的量子超代数的坐标超代数
Coordinate Superalgebras of Quantum Superalgebras Based on the RTT Relation[J]. 理论数学, 2020, 10(12): 1213-1219. https://doi.org/10.12677/PM.2020.1012144

参考文献