[论文解读] Classification of Harish-Chandra modules over the $W$-algebra W(2,2)

Dong Liu, Lingsheng Zhu|ArXiv.org|Jan 17, 2008

Algebraic structures and combinatorial models参考文献 10被引用 16

一句话总结

本文对 $W$-代数 $W(2,2)$ 上所有具有有限维权空间的不可约权模进行了分类，证明它们要么是最高权或最低权模，要么是中间系列的不可约模。该分类基于通过 Virasoro 子代数和模滤子分析权模结构，建立了该代数结构上 Harish-Chandra 模的完整分解。

ABSTRACT

In this paper, we classify all irreducible weight modules with finite dimensional weight spaces over the $W$-algebra $W(2, 2)$. Meanwhile, all indecomposable modules with one dimensional weight spaces over the $W$-algebra $W(2, 2)$ are also determined.

研究动机与目标

• 对 $W$-代数 $W(2,2)$ 上所有具有有限维权空间的不可约权模进行分类。
• 确定具有单维权空间的不可约权模的结构。
• 通过解决 Harish-Chandra 模的分类问题，扩展 $W(2,2)$ 的表示理论。
• 在 Harish-Chandra 条件下建立不可约权模的完整分类，区分有界与无界情形。

提出的方法

• 作者将 $W(2,2)$ 代数视为半直积 $\mathfrak{W} \ltimes \mathfrak{A}_{0,-1}$ 的中心扩张，其中 $\mathfrak{W}$ 为 Witt 代数，$\mathfrak{A}_{0,-1}$ 为中间系列模。
• 他们在 $\mathcal{L}$ 上引入 $\mathbb{Z}$-分次，定义 $\mathcal{L}_+$、$\mathcal{L}_-$ 和 $\mathcal{L}_0$，以分析模滤子和权空间结构。
• 该分类依赖于限制到与 Virasoro 代数 $\mathrm{Vir}[e]$ 同构的子代数，从而可应用已知的 Virasoro 模结果。
• 关键技巧在于通过归纳 $k_0$ 构造 $\mathcal{L}$-子模 $W^{(k)}$，证明某些权向量可生成真子模。
• 他们利用最高/最低权向量的结构及 $I(n)$ 的作用，排除中间情形，表明非一致有界的模必为最高或最低权模。
• 该证明结合了 Virasoro 模理论的结果，特别是非一致有界情形，推导出任何不可约 Harish-Chandra 模必为中间系列模或最高/最低权模类型。

实验结果

研究问题

• RQ1 所有具有有限维权空间的 $W(2,2)$ 上不可约权模是什么？
• RQ2 具有单维权空间的不可约权模在 $W(2,2)$ 上的行为如何？
• RQ3 能否将 $W(2,2)$ 上 Harish-Chandra 模的分类简化为已知类别，如最高/最低权模或中间系列模？
• RQ4 哪些结构性质可区分具有无限维权空间的不可约权模与具有有限维权空间的模？

主要发现

• 所有具有有限维权空间的 $W(2,2)$ 上不可约权模均为最高权或最低权模。
• 中间系列模——即所有权空间均为一维的不可约模——是不可约 Harish-Chandra 模的一个独立类别。
• 该分类是完整的：任何 $W(2,2)$ 上的不可约 Harish-Chandra 模同构于某个 $V'(α,β;0)$（$\alpha, \beta \in \mathbb{C}$），或为最高/最低权模。
• 具有无限维权空间的模不是 Harish-Chandra 模；其权集为 $\lambda + \mathbb{Z}$，且所有权空间均为无限维。
• $I(0)$ 在最高权向量上的作用不是半单的，这使得 $W(2,2)$ 在表示论中与扭曲 Heisenberg-Virasoro 代数相区别。
• 该证明表明，非一致有界的不可约权模必为最高或最低权模，从而完成了分类。