[论文解读] Representations of Truncated Current Lie Algebras

Benjamin J. Wilson|ArXiv.org|Jun 20, 2007

Algebraic structures and combinatorial models参考文献 8被引用 9

一句话总结

本文为截断电流李代数 $\hat{\mathfrak{g}} = \mathfrak{g} \otimes \Bbbk[t]/(t^{N+1})$ 建立了最高权表示理论，给出了 Verma 模的统一可约性判别准则：$\hat{\mathfrak{g}}$-Verma 模可约当且仅当最高权泛函 $\Lambda$ 满足 $\langle\Lambda, h_\alpha \otimes t^N\rangle = 0$ 对某个正根 $\alpha \in \Delta_+$ 成立。该判别准则仅依赖于最高权的第 $N$ 个分量 $\Lambda_N \in \mathfrak{h}^*$，且由于 $t^N$ 的幂零性，Shapovalov 表达式得以简化，使得双线性型可对角化。

ABSTRACT

Let g denote a Lie algebra, and let T(g) denote the tensor product of g with a ring of truncated polynomials. The Lie algebra T(g) is called a truncated current Lie algebra. The highest-weight representation theory of T(g) is developed, and a reducibility criterion for the Verma modules is described.

研究动机与目标

• 为截断电流李代数 $\hat{\mathfrak{g}} = \mathfrak{g} \otimes \Bbbk[t]/(t^{N+1})$ 建立最高权表示理论。
• 在最高权泛函 $\Lambda \in \hat{\mathfrak{h}}^*$ 的框架下，为 $\hat{\mathfrak{g}}$ 上的 Verma 模建立一般可约性判别准则。
• 利用截断多项式环中 $t$ 的幂零性，统一并简化 Shapovalov 表达式的计算。
• 证明可约性仅取决于最高权 $\Lambda = (\Lambda_0, \dots, \Lambda_N)$ 的第 $N$ 个分量 $\Lambda_N \in \mathfrak{h}^*$，而与低阶分量无关。

提出的方法

• 选择三角分解 $\mathfrak{g} = \mathfrak{g}_+ \oplus \mathfrak{h} \oplus \mathfrak{g}_-$，由此诱导出 $\hat{\mathfrak{g}} = \hat{\mathfrak{g}}_+ \oplus \hat{\mathfrak{h}} \oplus \hat{\mathfrak{g}}_-$ 的分解。
• 构造 Verma 模 $\mathbf{M}(\Lambda)$ 为具有最高权 $\Lambda \in \hat{\mathfrak{h}}^*$ 的普遍最高权模。
• 通过权格点中向下路径的基底计算 Shapovalov 表达式，矩阵元素由路径复合定义。
• 由于 $t^N$ 的幂零性，Shapovalov 矩阵中的许多元素消失，从而实现双线性型的对角化。
• 行列式被简化为对角元素的乘积，从而简化了可约性分析。
• 假设根空间 $\mathfrak{g}^\alpha \times \mathfrak{g}^{-\alpha} \to \Bbbk$ 上存在非退化配对，以定义 $h_\alpha \in \mathfrak{h}$，确保与三角分解的相容性。

实验结果

研究问题

• RQ1 何时 $\hat{\mathfrak{g}}$ 上的 Verma 模 $\mathbf{M}(\Lambda)$ 是可约的？
• RQ2 可约性对最高权 $\Lambda = (\Lambda_0, \dots, \Lambda_N)$ 各分量的依赖关系如何？
• RQ3 $t$ 的幂零性如何简化 $\hat{\mathfrak{g}}$ 上 Shapovalov 表达式的计算？
• RQ4 是否可以建立一个统一的判别准则，适用于不同李代数 $\mathfrak{g}$ 的可约性条件？
• RQ5 第 $N$ 个分量 $\Lambda_N$ 在决定 $\mathbf{M}(\Lambda)$ 可约性方面起什么作用？

主要发现

• 对于 $\hat{\mathfrak{g}}$，Verma 模 $\mathbf{M}(\Lambda)$ 可约当且仅当存在某个 $\alpha \in \Delta_+$ 使得 $\langle\Lambda, h_\alpha \otimes t^N\rangle = 0$。
• 可约性仅取决于最高权泛函的第 $N$ 个分量 $\Lambda_N \in \mathfrak{h}^*$。
• 当 $\mathfrak{g} = \mathrm{sl}(3,\Bbbk)$ 时，可约性精确发生在 $\Lambda_N$ 属于 $\mathfrak{h}^*$ 中三个与根正交的超平面之一时。
• 对于 Virasoro 代数 $\mathfrak{a}$，当存在非零整数 $m$ 使得 $2m\langle\Lambda_N, L_0\rangle + \frac{m^3 - m}{12}\langle\Lambda_N, c\rangle = 0$ 时，模可约，对应于无穷多个超平面的并集。
• 由于 $t^N$ 的幂零性，Shapovalov 表达式显著简化，使得双线性型可对角化，且行列式计算被简化为对角元素的乘积。
• 统一判别准则适用于不同的李代数 $\mathfrak{g}$，表明无论底层代数为何，可约性均由同一条件决定。