We introduce the quantum Berezinian for the quantum affine superalgebra $\mathrm{U}_q(\widehat{\mathfrak{gl}}_{M|N})$ and show that the coefficients of the quantum Berezinian belong to the center of $\mathrm{U}_q(\widehat{\gl}_{M|N})$. We also construct another family of central elements which can be expressed in the quantum Berezinian by a Liouville-type theorem. Moreover, we prove analogues of the Jacobi identities, the Schur complementary theorem, the Sylvester theorem and the MacMahon Master theorem for the generator matrices of $\mathrm{U}_q(\widehat{\gl}_{M|N})$.
论文ID : 2412.19385标题 : Quantum Berezinian for quantum affine superalgebra U q ( g l ^ M ∣ N ) U_q(\widehat{gl}_{M|N}) U q ( g l M ∣ N ) 作者 : Naihuan Jing, Zheng Li, Jian Zhang分类 : math.QA (Quantum Algebra), math.RT (Representation Theory)发表时间 : 2024年12月（arXiv预印本，版本v3于2025年6月21日更新）论文链接 : https://arxiv.org/abs/2412.19385 本文为量子仿射超代数U q ( g l ^ M ∣ N ) U_q(\widehat{gl}_{M|N}) U q ( g l M ∣ N ) U q ( g l ^ M ∣ N ) U_q(\widehat{gl}_{M|N}) U q ( g l M ∣ N ) U q ( g l ^ M ∣ N ) U_q(\widehat{gl}_{M|N}) U q ( g l M ∣ N )
经典理论基础 ：在经典情况下，Nazarov证明了超Yangian Y ( g l M ∣ N ) Y(gl_{M|N}) Y ( g l M ∣ N ) Y ( g l M ∣ N ) Y(gl_{M|N}) Y ( g l M ∣ N ) U ( g l M ∣ N ) U(gl_{M|N}) U ( g l M ∣ N ) 量子化挑战 ：量子仿射超代数U q ( g l ^ M ∣ N ) U_q(\widehat{gl}_{M|N}) U q ( g l M ∣ N ) g l ^ M ∣ N \widehat{gl}_{M|N} g l M ∣ N 结构关系 ：Yangian Y ( g l M ∣ N ) Y(gl_{M|N}) Y ( g l M ∣ N ) D Y ( g l M ∣ N ) DY(gl_{M|N}) D Y ( g l M ∣ N ) U q ( g l ^ M ∣ N ) U_q(\widehat{gl}_{M|N}) U q ( g l M ∣ N ) 理论完善 ：将Nazarov在超Yangian中构造的两族中心元素推广到量子情况。结构理解 ：深入理解量子仿射超代数的中心结构和性质。应用前景 ：量子仿射超代数在物理模型和AdS/CFT对应中有重要应用。量子Berezinian构造 ：首次为U q ( g l ^ M ∣ N ) U_q(\widehat{gl}_{M|N}) U q ( g l M ∣ N ) Liouville型定理 ：构造了另一族中心元素z ± ( z ) z^\pm(z) z ± ( z ) 行列式恒等式 ：证明了量子Berezinian满足的各种minor恒等式，包括Jacobi定理、Schur补定理和Sylvester定理的量子类似。MacMahon主定理 ：建立了U q ( g l ^ M ∣ N ) U_q(\widehat{gl}_{M|N}) U q ( g l M ∣ N ) 构造量子仿射超代数U q ( g l ^ M ∣ N ) U_q(\widehat{gl}_{M|N}) U q ( g l M ∣ N ) M ≠ N M \neq N M = N
量子Berezinian定义为：
B q ( L ± ( z ) ) = ∑ σ ∈ S M ( − q ) − l ( σ ) L ± ( z ) σ ( 1 ) , 1 ⋯ L ± ( z q 2 M − 2 ) σ ( M ) , M B_q(L^\pm(z)) = \sum_{\sigma \in S_M} (-q)^{-l(\sigma)} L^\pm(z)_{\sigma(1),1} \cdots L^\pm(zq^{2M-2})_{\sigma(M),M} B q ( L ± ( z )) = ∑ σ ∈ S M ( − q ) − l ( σ ) L ± ( z ) σ ( 1 ) , 1 ⋯ L ± ( z q 2 M − 2 ) σ ( M ) , M × ∑ τ ∈ S N ( − q ) − l ( τ ) ( L ± ( z q 2 M − 2 ) − 1 ) M + 1 , M + τ ( 1 ) ⋯ ( L ± ( z q 2 M − 2 N ) − 1 ) M + N , M + τ ( N ) \times \sum_{\tau \in S_N} (-q)^{-l(\tau)} (L^\pm(zq^{2M-2})^{-1})_{M+1,M+\tau(1)} \cdots (L^\pm(zq^{2M-2N})^{-1})_{M+N,M+\tau(N)} × ∑ τ ∈ S N ( − q ) − l ( τ ) ( L ± ( z q 2 M − 2 ) − 1 ) M + 1 , M + τ ( 1 ) ⋯ ( L ± ( z q 2 M − 2 N ) − 1 ) M + N , M + τ ( N )
其中L ± ( z ) = ( l i j ± ( z ) ) L^\pm(z) = (l^\pm_{ij}(z)) L ± ( z ) = ( l ij ± ( z )) l ( σ ) l(\sigma) l ( σ ) σ \sigma σ
构造了满足以下关系的中心元素z ± ( z ) z^\pm(z) z ± ( z ) L ± ( z q 2 N − 2 M ) s t D L ± ( z ) ∗ = z ± ( z ) D L^\pm(zq^{2N-2M})^{st}DL^\pm(z)^* = z^\pm(z)D L ± ( z q 2 N − 2 M ) s t D L ± ( z ) ∗ = z ± ( z ) D L ± ( z ) ∗ D − 1 L ± ( z q 2 N − 2 M ) s t = z ± ( z ) D − 1 L^\pm(z)^*D^{-1}L^\pm(zq^{2N-2M})^{st} = z^\pm(z)D^{-1} L ± ( z ) ∗ D − 1 L ± ( z q 2 N − 2 M ) s t = z ± ( z ) D − 1
其中D = diag [ q 2 , q 4 , … , q 2 M , q 2 M , … , q 2 M − 2 N + 2 ] D = \text{diag}[q^2, q^4, \ldots, q^{2M}, q^{2M}, \ldots, q^{2M-2N+2}] D = diag [ q 2 , q 4 , … , q 2 M , q 2 M , … , q 2 M − 2 N + 2 ]
Hecke代数表示 ：利用Hecke代数H m H_m H m q q q q q q S m q = q − m ( m − 1 ) / 2 [ m ] q ! ∑ σ ∈ S m q l ( σ ) T σ S^q_m = \frac{q^{-m(m-1)/2}}{[m]_q!} \sum_{\sigma \in S_m} q^{l(\sigma)}T_\sigma S m q = [ m ] q ! q − m ( m − 1 ) /2 ∑ σ ∈ S m q l ( σ ) T σ A m q = q m ( m − 1 ) / 2 [ m ] q ! ∑ σ ∈ S m ( − q ) − l ( σ ) T σ A^q_m = \frac{q^{m(m-1)/2}}{[m]_q!} \sum_{\sigma \in S_m} (-q)^{-l(\sigma)}T_\sigma A m q = [ m ] q ! q m ( m − 1 ) /2 ∑ σ ∈ S m ( − q ) − l ( σ ) T σ
RLL关系 ：基于量子Yang-Baxter方程的RLL关系：
R ( z / w ) L 1 ± ( z ) L 2 ± ( w ) = L 2 ± ( w ) L 1 ± ( z ) R ( z / w ) R(z/w)L^\pm_1(z)L^\pm_2(w) = L^\pm_2(w)L^\pm_1(z)R(z/w) R ( z / w ) L 1 ± ( z ) L 2 ± ( w ) = L 2 ± ( w ) L 1 ± ( z ) R ( z / w )
超代数处理 ：巧妙处理了超代数的Z 2 \mathbb{Z}_2 Z 2 交叉对称性 ：利用R-矩阵的交叉对称性关系建立中心元素的存在性。拟行列式技术 ：使用拟行列式理论证明各种minor恒等式，避免了直接计算的复杂性。B q ( L ± ( z q − 2 ) ) = z ± ( z q 2 M − 2 N − 2 ) B q ( L ± ( z ) ) B_q(L^\pm(zq^{-2})) = z^\pm(zq^{2M-2N-2})B_q(L^\pm(z)) B q ( L ± ( z q − 2 )) = z ± ( z q 2 M − 2 N − 2 ) B q ( L ± ( z ))
这建立了两族中心元素之间的关系。
B q ( L ± ( z ) ) = ∣ L ± ( z ) ( 1 ) ∣ 11 ⋯ ∣ L ± ( z q 2 M − 2 ) ( M ) ∣ M M B_q(L^\pm(z)) = |L^\pm(z)^{(1)}|_{11} \cdots |L^\pm(zq^{2M-2})^{(M)}|_{MM} B q ( L ± ( z )) = ∣ L ± ( z ) ( 1 ) ∣ 11 ⋯ ∣ L ± ( z q 2 M − 2 ) ( M ) ∣ MM × ∣ L ± ( z q 2 M − 2 ) ( M + 1 ) ∣ M + 1 , M + 1 − 1 ⋯ ∣ L ± ( z q 2 M − 2 N ) ( M + N ) ∣ M + N , M + N − 1 \times |L^\pm(zq^{2M-2})^{(M+1)}|^{-1}_{M+1,M+1} \cdots |L^\pm(zq^{2M-2N})^{(M+N)}|^{-1}_{M+N,M+N} × ∣ L ± ( z q 2 M − 2 ) ( M + 1 ) ∣ M + 1 , M + 1 − 1 ⋯ ∣ L ± ( z q 2 M − 2 N ) ( M + N ) ∣ M + N , M + N − 1
其中分解中的因子互相交换。
对于适当的指标集I I I B q ( L ± ( z ) ) = B q ( L ± ( z ) I ) B q − 1 ( π ( ( L ± ( z q 2 M − 2 N ) − 1 ) I c ) ) B_q(L^\pm(z)) = B_q(L^\pm(z)_I)B_{q^{-1}}(\pi((L^\pm(zq^{2M-2N})^{-1})_{I^c})) B q ( L ± ( z )) = B q ( L ± ( z ) I ) B q − 1 ( π (( L ± ( z q 2 M − 2 N ) − 1 ) I c ))
∑ r = 0 k ( − 1 ) r str S r q A { r + 1 , … , k } q L 1 ± ( z ) L 2 ± ( z q 2 ) ⋯ L k ± ( z q 2 k − 2 ) = 0 \sum_{r=0}^k (-1)^r \text{str} S^q_r A^q_{\{r+1,\ldots,k\}} L^\pm_1(z)L^\pm_2(zq^2) \cdots L^\pm_k(zq^{2k-2}) = 0 ∑ r = 0 k ( − 1 ) r str S r q A { r + 1 , … , k } q L 1 ± ( z ) L 2 ± ( z q 2 ) ⋯ L k ± ( z q 2 k − 2 ) = 0
量子仿射超代数具有自然的Hopf代数结构，余乘法为：
l i j ± ( z ) ↦ ∑ k = 1 M + N l i k ± ( z q ± 1 ⊗ c / 2 ) ⊗ l k j ± ( z q ∓ c / 2 ⊗ 1 ) ( − 1 ) ( i ˉ + k ˉ ) ( j ˉ + k ˉ ) l^\pm_{ij}(z) \mapsto \sum_{k=1}^{M+N} l^\pm_{ik}(zq^{\pm 1 \otimes c/2}) \otimes l^\pm_{kj}(zq^{\mp c/2 \otimes 1}) (-1)^{(\bar{i}+\bar{k})(\bar{j}+\bar{k})} l ij ± ( z ) ↦ ∑ k = 1 M + N l ik ± ( z q ± 1 ⊗ c /2 ) ⊗ l kj ± ( z q ∓ c /2 ⊗ 1 ) ( − 1 ) ( i ˉ + k ˉ ) ( j ˉ + k ˉ )
映射ω M ∣ N ( L ± ( z ) ) = L ± ( z ) − 1 \omega_{M|N}(L^\pm(z)) = L^\pm(z)^{-1} ω M ∣ N ( L ± ( z )) = L ± ( z ) − 1 U q ( g l ^ M ∣ N ) U_q(\widehat{gl}_{M|N}) U q ( g l M ∣ N )
Nazarov工作 ：建立了超Yangian的Berezinian理论和中心元素构造Gow结果 ：证明了Y ( g l M ∣ N ) Y(gl_{M|N}) Y ( g l M ∣ N ) Capelli恒等式 ：在包络超代数中的经典结果量子仿射代数 ：Ding-Frenkel等人的U q ( g l ^ M ) U_q(\widehat{gl}_M) U q ( g l M ) 量子行列式 ：Krob-Leclerc的量子行列式minor恒等式双Yangian ：Bagnoli-Kozic的双Yangian量子Berezinian成功构造了U q ( g l ^ M ∣ N ) U_q(\widehat{gl}_{M|N}) U q ( g l M ∣ N ) 建立了与经典超Yangian理论平行的完整理论框架 证明了各种重要的代数恒等式在量子情况下的成立 奇偶性限制 ：为简化计算采用了标准奇偶性，一般奇偶性序列的情况更复杂M ≠ N M \neq N M = N M ≠ N M \neq N M = N M = N M = N M = N q q q q q q 一般奇偶性 ：推广到任意奇偶性序列的情况M = N M = N M = N M = N M = N M = N 表示论应用 ：将结果应用到U q ( g l ^ M ∣ N ) U_q(\widehat{gl}_{M|N}) U q ( g l M ∣ N ) 理论完整性 ：建立了量子仿射超代数中心理论的完整框架技术创新 ：巧妙运用拟行列式和交叉对称性等技术结果深刻 ：证明了多个重要的代数恒等式写作清晰 ：论文结构合理，技术细节充分计算复杂 ：某些证明涉及复杂的组合计算应用有限 ：理论结果的具体应用还需进一步发展推广限制 ：对参数的限制条件较多理论贡献 ：为量子仿射超代数理论提供了重要工具方法价值 ：技术方法对相关领域有借鉴意义应用前景 ：在数学物理和表示论中有潜在应用代数结构研究 ：量子群和超代数的结构理论可积系统 ：量子可积模型的代数方法数学物理 ：AdS/CFT对应中的代数结构论文引用了29篇重要文献，涵盖了量子群、超Yangian、量子仿射代数等相关领域的核心工作，特别是Nazarov、Molev、Ding-Frenkel等人的奠基性工作。
