[论文解读] A new formula for Pfaffian-type Segal-Sugawara vector

Natasha Rozhkovskaya|arXiv (Cornell University)|Sep 8, 2013

Algebraic structures and combinatorial models参考文献 6被引用 4

一句话总结

本文提出了一种用于仿射 Kac-Moody 代数 $\hat{\mathfrak{o}}_{2n}$ 的通用包络代数 $U(\hat{\mathfrak{o}}_{2n})$ 中 Pfaffian 类型 Segal-Sugawara 向量的新组合公式，采用外微分几何与表示论技术。关键结果是一个闭式表达式，可直接计算中心元 $\text{Pf}(\tilde{F}[-1])$ 的 Harish-Chandra 图像，并通过评估同态恢复了 $U(\mathfrak{o}_{2n})$ 中已知的经典 Pfaffian 公式。

ABSTRACT

A combinatorial formula for Pfaffian for the universal enveloping algebra of the affine Kac - Moody algebra of even orthogonal Lie algebra is proved. It allows easily to compute the image of this Segal-Sugawara vector under the Harish-Chandra homomorphism and to deduce formulas for classical Pfaffian of universal enveloping algebra of the even orthogonal Lie algebra.

研究动机与目标

• 推导 $U(\hat{\mathfrak{o}}_{2n})$ 中 Pfaffian 类型 Segal-Sugawara 向量的新组合公式，其中 $U(\hat{\mathfrak{o}}_{2n})$ 是仿射 Kac-Moody 代数 $\hat{\mathfrak{o}}_{2n}$ 的通用包络代数。
• 通过新公式实现 $\text{Pf}(\tilde{F}[-1])$ 中心元的 Harish-Chandra 图像的显式计算。
• 通过证明可通过评估同态从仿射公式推导出 $U(\mathfrak{o}_{2n})$ 中的经典 Pfaffian 公式，建立仿射与经典李代数设定之间的联系。
• 将文献 [4] 的组合方法推广至仿射设定，为表示论中非交换 Pfaffian 的框架提供扩展。

提出的方法

• 利用外微分几何及文献 [9] 和 [4] 的技术，为 $U(\hat{\mathfrak{o}}_{2n})$ 中的 $\text{Pf}(\tilde{F}[-1])$ 建立新的组合公式。
• 应用评估同态 $\varphi: U(t^{-1}\mathfrak{o}_{2n}[t^{-1}]) \to U(\mathfrak{o}_{2n}) \otimes z^{-1}\mathbb{C}\langle z^{-1}\rangle $，将仿射公式与经典情形关联。
• 利用在评估映射下 $\text{ad}_\tau$ 被识别为 $-\partial_z$ 的事实，将仿射公式中的微分算子进行变换。
• 运用生成函数恒等式，包括 $\sum_{a+b=p} \binom{a-1}{l-1}\binom{b-1}{l-1} = \binom{p-1}{2l-1}$，重新组织关于分拆的求和。
• 应用下降阶乘幂的二项式定理，简化涉及 $\Xi$ 和 $\Psi$ 算子的表达式。
• 通过证明仿射公式（定理 3.1）的评估结果即为已知的经典 Pfaffian 表达式，建立仿射公式与经典公式（[4] 中命题 4.4）之间的等价性。

实验结果

研究问题

• RQ1 能否为 $U(\hat{\mathfrak{o}}_{2n})$ 中的 Pfaffian 类型 Segal-Sugawara 向量推导出新的组合公式？
• RQ2 如何利用新公式高效计算 $\text{Pf}(\tilde{F}[-1])$ 的 Harish-Chandra 图像？
• RQ3 能否通过评估同态从仿射公式恢复 $U(\mathfrak{o}_{2n})$ 中的经典 Pfaffian 公式？
• RQ4 通过非交换 Pfaffian，仿射与经典设定之间的确切代数结构是什么？
• RQ5 算子 $\Xi$、$\tilde{\Theta}$、$\Theta$ 和 $\Psi$ 在评估映射下如何相互作用，以得到经典结果？

主要发现

• 定理 3.1 为 $U(\hat{\mathfrak{o}}_{2n})$ 中的 $\text{Pf}(\tilde{F}[-1])$ 提供了新的组合公式，其表达为 $\{-n,\dots,-1\}$ 的子集 $I, J$ 上的求和，各项包含非交换 Pfaffian 与子矩阵的行列式。
• 该公式允许通过将 Harish-Chandra 同态限制到 $U(t^{-1}\mathfrak{h}[t^{-1}])$，直接计算 $\text{Pf}(\tilde{F}[-1])$ 的 Harish-Chandra 图像。
• 推论 5.1 显式计算了 $\text{Pf}(\tilde{F}[-1])$ 在 Harish-Chandra 同态下的像，其为 Cartan 子代数上的对称多项式。
• 将评估同态 $\varphi$ 应用于仿射公式，通过将仿射算子转化为经典算子，恢复了 [4] 中的经典 Pfaffian 公式，特别是命题 4.4。
• 推导出的表达式 $\Omega^n = \sum_{l=0}^{\lfloor n/2 \rfloor} \frac{2^{n-2l}n!}{(n-2l)!l!l!} \Xi(\Xi - \Psi)\cdots(\Xi - (n-2l-1)\Psi) \tilde{\Theta}^l \Theta^l$ 与 [4] 中已知的经典结果一致。
• 通过评估映射，建立了仿射公式（定理 3.1）与经典公式（[4] 中命题 4.4）之间的等价性，确认了不同设定下的一致性。