[论文解读] Simple weight modules with finite-dimensional weight spaces over Witt superalgebras

Yaohui Xu, Rencai Lü|arXiv (Cornell University)|Jan 13, 2020

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

一句话总结

本文对 Witt 超代数 $W_{m,n}$ 上具有有限维权空间的简单权模进行了分类，表明每类此类模要么是张量模 $\Gamma(\lambda, V)$ 的简单商模，要么是最高权型模 $L(G, e_m, X)^B$。该分类将李代数领域的方法拓展至超代数领域，利用了尖点模理论与 $A_{m,0}$-覆盖技术。

ABSTRACT

Let $A_{m,n}$ be the tensor product of the Laurient polynomial algebra in $m$ even variables and the exterior algebra in $n$ odd variables over the complex field $\bC$, and the Witt superalgebra $W_{m,n}$ be the Lie superalgebra of superderivations of $A_{m,n}$. In this paper, we classify the simple weight $W_{m,n}$ modules with finite-dimensional weight spaces with respect to the standard Cartan algebra of $W_{m,0}$. Every such module is either a simple quotient of a tensor module or a module of highest weight type.

研究动机与目标

• 对 Witt 超代数 $W_{m,n}$ 上具有有限维权空间的简单权模进行分类，推广李代数情形下的结果。
• 通过超代数版本的现有技术，将尖点模的分类从 $W_{m,0}$ 扩展至 $W_{m,n}$。
• 确立 $W_{m,n}$ 上非尖点的简单权模均为最高权型或张量模的商模。
• 证明所有此类模均可通过 $GL_m(\mathbb{Z})$-扭作用从张量构造或最高权结构中得到。
• 利用适配于超代数的 $A_{m,0}$-覆盖方法，对这些模提供完整的结构分类。

提出的方法

• 将 $W_{m,0}$ 上的 $A_{m,0}$-覆盖方法适配至 $W_{m,n}$，以对尖点模进行分类，从而将李代数领域的结果推广至超代数领域。
• 利用标准 Cartan 子代数 $D_m = \text{span}\{t_i\partial/\partial t_i\}$ 通过 $D_m$ 的可对角化作用来定义权模。
• 对 $\lambda \in \mathbb{C}^m$ 及有限维简单 $\mathfrak{gl}(m,n)$-模 $V$，定义张量模 $\Gamma(\lambda, V)$，作为构造模块的基石。
• 通过 $GL_m(\mathbb{Z})$-扭作用对尖点 $W_G$-模进行构造，得到最高权型模 $L(G, e_m, X)^B$，其中 $G = \mathbb{Z}e_1 + \cdots + \mathbb{Z}e_{m-1}$。
• 应用辅助引理分析权集与权空间结构，证明非尖点模必属于两种标准类型之一。
• 利用支持集条件 $\text{Supp}(M) \subseteq \lambda + \mathbb{Z}^m$ 及 $\mathbb{Z}$-基的性质，通过反证法排除病态配置。

实验结果

研究问题

• RQ1 Witt 超代数 $W_{m,n}$ 上具有有限维权空间的简单权模的完整分类是什么？
• RQ2 $W_{m,0}$ 上的分类结果如何推广至 $n > 0$ 的超代数情形 $W_{m,n}$？
• RQ3 $A_{m,0}$-覆盖方法能否被适配以对 $W_{m,n}$ 上的尖点模进行分类？
• RQ4 $W_{m,n}$ 上所有非尖点的简单权模是否均为张量模的商模或最高权型模？
• RQ5 $GL_m(\mathbb{Z})$-扭作用在构造与分类这些模的过程中起什么作用？

主要发现

• 所有具有有限维权空间的简单权 $W_{m,n}$-模，要么是张量模 $\Gamma(\lambda, V)$ 的简单商模，要么是最高权型模 $L(G, e_m, X)^B$。
• 通过将 $A_{m,0}$-覆盖方法推广至超代数领域，实现了对简单尖点 $W_{m,n}$-模的分类，得到定理 3.11。
• 扩展的 Witt 超代数 $\tilde{W}_{m,n}$ 允许通过定理 4.4 对尖点模进行分类，其基础建立在 $W_{m,n}$-情形之上。
• 非尖点模被证明同构于 $L(G, e_m, X)^B$，其中 $X$ 是 $W_G$-模 $\Gamma(\lambda, V)$ 的简单商模，且 $G = \mathbb{Z}e_1 + \cdots + \mathbb{Z}e_{m-1}$。
• 通过 $\mathbb{Z}$-基与内积分析模的支持结构，当假设非标准配置时导致矛盾。
• 证明的关键在于表明：在有限维性与权空间条件约束下，某些权集无法共存，从而强制所有模落入两种标准类型。