[论文解读] A central element in the universal enveloping algebra of type D_n via minor summation formula of Pfaffians

Takashi Hashimoto|ArXiv.org|Feb 3, 2006

Advanced Topics in Algebra被引用 6

一句话总结

本文在正交李代数 $\omega_{2n}$ 的通用包络代数中，为非交换反交替矩阵的 Pfaffian 建立了一个次要求和公式，使得能够在不可约表示上显式计算 Pfaffian 类型中心元素的特征值。关键结果是 Pfaffian 的闭式展开，涉及互补子矩阵的行列式与移位对角修正项，从而导出一个简洁的特征值公式：对于最高权 $\lambda$，其形式为 $\prod_{i=1}^{n}(\lambda_i + n - i)$。

ABSTRACT

It is known that the universal enveloping algebra of the orthogonal Lie algebra of size even has a central element expressed in terms of Pfaffian of a certain matrix alternating along the anti-diagonal (which we call anti-alternating for short) whose entries are in the univerasal enveloping algebra. In this paper, we establish minor summation formulae of Pfaffian for the noncommutative anti-alternating matrix, as well as for commutative anti-alternating matrix. As an application, we show that the eigenvalues on the highest weight modules of the central element given by the Pfaffian can be easily computed.

研究动机与目标

• 在 $U(\mathfrak{o}_{2n})$ 的通用包络代数中，为非交换反交替矩阵的 Pfaffian 推导次要求和公式。
• 将已知的 Pfaffian 交换次要求和公式推广至与李代数表示理论相关的非交换设定。
• 为 $ZU(\mathfrak{o}_{2n})$ 中 Pfaffian 类型中心元素的特征值确定提供计算工具。
• 通过在行列式项中引入非交换结构与移位修正项，推广先前结果。
• 为 $\mathfrak{o}_{2n}$ 不可约表示上 Pfaffian 中心元素的作用建立精确的特征值公式。

提出的方法

• 引入一个在 $U(\mathfrak{o}_{2n})$ 中取值的非交换反交替矩阵 $\boldsymbol{X} = (X_{i,j})$，其中 $X_{i,j} = E_{i,j} - J_{2n}E_{j,i}J_{2n}$。
• 应用反交替矩阵 Pfaffian 的次要求和公式，将矩阵分解为块 $a$、$b$ 和 $c$，其中 $b$、$c$ 为反交替矩阵。
• 推导出非交换 Pfaffian 展开式：$\operatorname{Pf}(\boldsymbol{X}) = \sum_{k=0}^{\lfloor n/2\rfloor} \sum_{|I|=|J|=2k} \operatorname{sgn}(\bar{I},I)\operatorname{sgn}(\bar{J},J) \det(a^{\bar{I}}_{\bar{J}} + \mathbbm{1}^{\bar{I}}_{\bar{J}} \boldsymbol{\rho}(n-2k)) \operatorname{Pf}(b_I) \operatorname{Pf}(c_J)$，其中 $\boldsymbol{\rho}(j) = \operatorname{diag}(j-1, \dots, 0)$。
• 利用通用包络代数的结构与根向量作用，当作用于最高权向量时，隔离出 Pfaffian 展开中唯一存活的项。
• 通过外代数中 2-形式 $\varOmega = \varTheta' + 2\varXi + \varTheta$ 的三项展开，推导出次要求和公式的交换版本。
• 通过与交换情形比较并利用根向量性质，借助正根向量对最高权向量的作用，建立非交换公式。

实验结果

研究问题

• RQ1 如何将 Pfaffian 的次要求和公式推广至 $U(\mathfrak{o}_{2n})$ 中的非交换反交替矩阵？
• RQ2 当以矩阵子式表示时，$ZU(\mathfrak{o}_{2n})$ 中 Pfaffian 类型中心元素的结构是怎样的？
• RQ3 Pfaffian 中心元素在 $\mathfrak{o}_{2n}$ 不可约表示上的特征值如何依赖于最高权 $\lambda$？
• RQ4 能否通过外代数技巧与根向量作用推导出非交换 Pfaffian 展开式？
• RQ5 在 Pfaffian 展开的行列式项中，移位修正 $\boldsymbol{\rho}(j)$ 扮演何种角色？

主要发现

• 建立了非交换反交替矩阵 Pfaffian 的次要求和公式，将已知的交换结果推广至 $U(\mathfrak{o}_{2n})$ 的非交换设定。
• 矩阵 $\boldsymbol{X}$ 的 Pfaffian 展开为大小为 $2k$ 的指标集 $I,J$ 的求和，涉及 $a$ 的互补子矩阵的行列式，外加移位修正 $\boldsymbol{\rho}(n-2k)$。
• Pfaffian 中心元素 $\operatorname{Pf}(\boldsymbol{X})$ 在最高权为 $\lambda = \sum_{i=1}^n \lambda_i \epsilon_i$ 的不可约表示上的特征值为 $\prod_{i=1}^n (\lambda_i + n - i)$。
• 当作用于最高权向量时，仅 $I = J = \varnothing$ 的项存活，这是由于正根向量的幂零作用。
• 该公式退化为移位权的乘积，为该中心元素的特征值提供了简洁且显式的表达式。
• 通过外代数比较非交换展开与交换情形，验证了推导的一致性与正确性。