[論文レビュー] Whittaker categories for the Virasoro algebra

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

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

ひとこと要約

この論文は、Virasoro代数のWhittakerカテゴリを導入し、それまでのWhittakerモジュールに関する研究を拡張する。BatraとMazorchukの枠組みを用いて、カテゴリ内の単純モジュールを最低重量モジュールおよび単純Whittakerモジュールとして分類し、任意の有限合成長および1次元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.

研究の動機と目的

• Virasoro代数のWhittakerモジュール理論を、より大きな、より良い性質を持つカテゴリに埋め込むことで拡張すること。
• n⁺作用に関して局所的に有限な作用を持つVirasoroモジュールのカテゴリWにおける単純モジュールを分類すること。
• 有限合成長を持つモジュールの部分カテゴリW_fを研究すること、特に中心がスカラーで作用するものに注目すること。
• 任意の有限合成長および1次元Whittakerベクトル空間を持つモジュールを構成すること。これは、有限次元半単純リー代数の文脈では実現不可能な現象である。
• 中心Z ≅ ℂ[z]が、Virasoro代数のWhittakerカテゴリの構造的役割を理解すること。

提案手法

• 三角分解を持つリー代数におけるWhittakerカテゴリの枠組みを、BatraとMazorchukが提案したものに採用する。
• Virasoro代数の三角分解 𝔤 = 𝔫⁻ ⊕ 𝔥 ⊕ 𝔫⁺ を用いて、𝔫⁺作用に関して局所的に有限な作用を持つモジュールのカテゴリWを定義する。
• Serre部分カテゴリ理論を適用して、Wが 𝔤-Mod のSerre部分カテゴリであることを示す。
• Whittakerベクトル条件：すべてのx ∈ 𝔫⁺に対して x·w = ψ(x)w を満たす固定されたψ ∈ (𝔫⁺/[𝔫⁺,𝔫⁺])⁎ を用いて、誘導モジュールを構成する。
• W_fに属するモジュールにおける中心Z ≅ ℂ[z]の作用を分析し、カテゴリの分解とホモモーフィズムの研究に用いる。
• 誘導モジュールにおけるWhittakerベクトル空間の次元を分析するために、誘導と行列表現を用いる。

実験結果

リサーチクエスチョン

• RQ1 局所的に有限な𝔫⁺作用を持つVirasoroモジュールのカテゴリWの構造は何か？ これはアーベルカテゴリであるか、良好な性質を持つのか？
• RQ2 カテゴリWに現れる単純モジュールは何か？ それらは最低重量モジュールやWhittakerモジュールとどのように関係しているか？
• RQ3 W_fに属するモジュールで、任意の有限合成長および1次元Whittakerベクトル空間を持つものを作成可能か？
• RQ4 中心Z ≅ ℂ[z]の作用がカテゴリW_fをどのように分解するか？ これによりモジュール構造にどのような意味が生じるか？
• RQ5 有限次元半単純リー代数の文脈とは対照的に、Virasoro代数のWhittakerカテゴリは、Whittakerベクトル空間の次元の観点からどのように異なるか？

主な発見

• カテゴリWは 𝔤-Mod のSerre部分カテゴリであるため、良好なカテゴリ的性質が保証される。
• カテゴリW内の単純モジュールは、正確に単純最低重量モジュールおよび[16]に現れる単純Whittakerモジュールである。
• 部分カテゴリW_fは中心Z ≅ ℂ[z]の作用に従って分解され、構造的分析を洗練させることができる。
• 定理4.23における構成により、任意の有限合成長で1次元Whittakerベクトル空間を持つモジュールが得られる。
• ψ₂ = 0 かつ ψ₁ ≠ 0 の場合、Whittakerベクトル空間の次元は1より大きくなる可能性があり、モジュールは完全可約であることもある。これは、有限次元半単純の場合とは対照的である。
• ψ₂ = 0 の場合、Whittakerモジュールの構造は顕著に異なる。Whittakerベクトル空間は2次元になり得るし、モジュールは完全可約であることもある。これは命題4.30および推論4.31で示されている。