[论文解读] Whittaker categories for the Virasoro algebra

Matthew Ondrus, Emilie Wiesner|arXiv (Cornell University)|Aug 12, 2011

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

一句话总结

本文引入并分析了维拉索罗代数的Whittaker范畴，扩展了此前关于Whittaker模的研究。基于Batra与Mazorchuk的框架，本文将该范畴中的单模分类为最低权模与单个Whittaker模，并构造了具有任意有限合成长度及一维Whittaker向量空间的模——这一现象在有限维半单李代数中无法实现。

ABSTRACT

This paper builds on earlier work, where the authors described Whittaker modules for the Virasoro algebra. Using a framework of Batra and Mazorchuk, the current paper investigates a category of Virasoro algebra modules that includes Whittaker modules. Results in this paper include a classification of the simple modules in the category and a description of certain induced modules that are a natural generalization of simple Whittaker modules.

研究动机与目标

• 将维拉索罗代数的Whittaker模理论通过将其嵌入一个更大且更良态的范畴中加以扩展。
• 对具有局部有限n+作用的维拉索罗代数模范畴W中的简单模进行分类。
• 研究合成长度有限的子范畴W_f，特别是其中中心作用为纯量的情形。
• 构造具有任意有限合成长度及一维Whittaker向量空间的模，这一现象在有限维半单李代数设定下不可能实现。
• 理解中心Z ≅ ℂ[z]在维拉索罗代数Whittaker范畴结构中的作用。

提出的方法

• 采用Batra与Mazorchuk关于具有三角分解的李代数中Whittaker范畴的框架。
• 利用维拉索罗代数的三角分解𝔤 = 𝔫⁻ ⊕ 𝔥 ⊕ 𝔫⁺来定义具有局部有限𝔫⁺-作用的模的范畴W。
• 应用Serre子范畴理论，证明W是𝔤-Mod的Serre子范畴。
• 通过Whittaker向量条件x·w = ψ(x)w（对所有x ∈ 𝔫⁺及固定的ψ ∈ (𝔫⁺/[𝔫⁺,𝔫⁺])⁎）来构造诱导模。
• 分析中心Z ≅ ℂ[z]在W_f中模上的作用，以分解范畴并研究同态。
• 使用归纳法与矩阵表示法，分析诱导模中Whittaker向量空间的维数。

实验结果

研究问题

• RQ1 范畴W（即具有局部有限𝔫⁺-作用的维拉索罗代数模）的结构如何？它是否是阿贝尔范畴或具有良好性质的范畴？
• RQ2 范畴W中出现的简单模有哪些？它们与最低权模及Whittaker模有何关系？
• RQ3 能否在W_f中构造出具有任意有限合成长度且Whittaker向量空间为一维的模？
• RQ4 中心Z ≅ ℂ[z]的作用如何分解范畴W_f？这对模的结构有何含义？
• RQ5 维拉索罗代数的Whittaker范畴与有限维半单李代数的Whittaker范畴有何不同，特别是在Whittaker向量空间维数方面？

主要发现

• 范畴W是𝔤-Mod的Serre子范畴，确保了良好的范畴性质。
• 范畴W中的简单模恰好是简单的最低权模与文献[16]中的简单Whittaker模。
• 子范畴W_f根据中心Z ≅ ℂ[z]的作用而分解，从而实现了更精细的结构分析。
• 定理4.23中的构造可产生具有任意有限合成长度且Whittaker向量空间为一维的模。
• 当ψ₂ = 0且ψ₁ ≠ 0时，Whittaker向量空间的维数可超过1，且模可以完全可约——这与有限维半单情形相反。
• 当ψ₂ = 0时，Whittaker模的结构有显著不同：Whittaker向量空间可为二维，且模可能完全可约，如命题4.30与推论4.31所示。