[論文レビュー] Classification of irreducible Harish-Chandra modules over the loop-Virasoro algebra

Xiangqian Guo, Rencai Lü+1 more|arXiv (Cornell University)|Jan 28, 2008

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

ひとこと要約

この論文は、ループ・バライスロ代数上の無限次元ハリシュ・チャンドラモジュールを分類し、それが最高重みモジュール、最低重みモジュール、または中間系列モジュール（すべての重み空間が1次元）であることを示している。マティウの定理とヤコブソン根理論を用いて、最高重みモジュールにおける無限次元重み空間の可約性および可約性の必要十分条件を確立している。

ABSTRACT

The loop-Virasoro algebra is the Lie algebra of the tensor product of the Virasoro algebra and the Laurent polynomial algebra. This paper classifies irreducible Harish-Chandra modules over the loop-Virasoro algebra, which turn out to be highest weight modules, lowest weight modules and evaluation modules of the intermediate series (all wight spaces are 1-dimensional). As a by-product, we obtain a classification of irreducible Harish-Chandra modules over truncated Virasoro algebras. We also determine the necessary and sufficient conditions for highest weigh irreducible modules over the loop-Virasoro algebra to have all finite dimensional weight spaces, as well as the necessary and sufficient conditions for highest weigh Verma modules to be irreducible.

研究の動機と目的

• ループ・バライスロ代数（バライスロ代数とローレント多項式代数のテンソル積として得られるリー代数）上のすべての無限次元ハリシュ・チャンドラモジュールを分類すること。
• 無限次元ハリシュ・チャンドラモジュールの分類を、切り詰めたバライスロ代数および代数 $W(2,2)$ へと拡張することを副次的目的とする。
• ループ・バライスロ代数上の最高重みモジュールが、有限次元重み空間をもつハリシュ・チャンドラモジュールであるための必要十分条件を特定すること。
• ループ・バライスロ代数上の最高重みヴェルマモジュールが可約でないための条件を確立すること。

提案手法

• マティウの定理を用いて、無限次元ハリシュ・チャンドラモジュールを3種類に分類する：最高重みモジュール、最低重みモジュール、一様有界モジュール。
• 有限次元結合代数のヤコブソン根理論を適用し、一様有界モジュールが中間系列（すべての重み空間が1次元）であることを証明する。
• 三角分解 $\mathcal{L} = \mathcal{L}_- \oplus \mathcal{L}_0 \oplus \mathcal{L}_+$ を用いて、線形汎関数 $\varphi: \mathcal{L}_0 \to \mathbb{C}$ を介してヴェルマモジュール $\bar{V}(\varphi)$ と無限次元最高重みモジュール $V(\varphi)$ を定義する。
• 1次元重み空間をもつ重みモジュールを解析し、それが中間系列の評価モジュールであることを証明する。
• 指数多項式関数を用いて、$V(\varphi)$ がハリシュ・チャンドラモジュールであるような汎関数 $\varphi$ を特徴づけ、定理6.6における可約性・非可約性の条件に至る。

実験結果

リサーチクエスチョン

• RQ1 ループ・バライスロ代数上の無限次元ハリシュ・チャンドラモジュールは何か？
• RQ2 ループ・バライスロ代数上の最高重みモジュールが、有限次元重み空間をもつハリシュ・チャンドラモジュールであるための条件は何か？
• RQ3 ループ・バライスロ代数上の最高重みヴェルマモジュールが可約でないのはいつか？
• RQ4 分類結果は、切り詰めたバライスロ代数および $W(2,2)$ へどのように拡張されるか？
• RQ5 ループ・バライスロ代数上の重み空間が1次元であるモジュールは、どのように特徴づけられるか？

主な発見

• ループ・バライスロ代数上の無限次元ハリシュ・チャンドラモジュールは、最高重みモジュール、最低重みモジュール、および中間系列モジュールに限られる。
• 中間系列モジュールのすべての重み空間は1次元であり、このようなモジュールは中間系列の評価モジュールであることが示された。
• 最高重みモジュール $V(\varphi)$ がハリシュ・チャンドラモジュールであるための必要十分条件は、$\varphi(d_0 \otimes t^k)$ および $\varphi(c \otimes t^k)$ が $k$ に関する指数多項式関数であることである。
• ヴェルマモジュール $\bar{V}(\varphi)$ が可約であるための必要十分条件は、$\varphi(d_0 \otimes t^k)$ が $k$ に関する指数多項式関数であることである。
• 切り詰めたバライスロ代数上の無限次元ハリシュ・チャンドラモジュールの分類は、副次的結果として得られた。
• 一般化された評価モジュールの例が構成され、これはループ・バライスロ代数上で定義されたが、評価モジュールではなく、代数 $\mathrm{Vir} \otimes \mathbb{C}[t]/(t+1)^2\mathbb{C}[t]$ 上の無限次元ヴェルマモジュールである。