[論文レビュー] Representations of the Schrödinger-Virasoro algebras

Junbo Li, Yucai Su|arXiv (Cornell University)|Jan 15, 2008

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

ひとこと要約

この論文は、$s = 0$ または $1/2$ の場合のシュレーディンガー＝ヴァイラスロ代数 $\sigma[s]$ における非可約ハリシュ＝チャンドラモジュールを分類し、それらが最高/最低重量モジュールであるか、一様有界モジュールであることを証明する。さらに、中間系列のすべての不定値モジュールを分類し、$\mathcal{L}[0]$ の場合にはヴァイアラスロ代数の中間系列モジュールが正確に一致するが、$\mathcal{L}[1/2]$ の場合には $A_{a,b}$, $B_{a,b}$, $C_a$, $D_a$ の新しい変形が生じ、明示的な作用式によって完全に決定される。

ABSTRACT

In this paper it is proved that an irreducible weight module with finite-dimensional weight spaces over the Schrödinger-Virasoro algebras is a highest/lowest weight module or a uniformly bounded module. Furthermore, indecomposable modules of the intermediate series over these algebras are completely determined.

研究の動機と目的

• シュレーディンガー＝ヴァイアラスロ代数 $\mathcal{L}[s]$ ($s = 0$ および $s = 1/2$) における非可約ハリシュ＝チャンドラモジュールを分類すること。
• $\mathcal{L}[s]$ 上のすべての中間系列の不定値モジュールを特定すること。
• シュレーディンガーおよびヴァイアラスロ部分代数の作用による重み空間分解とモジュール構造を分析することにより、$\mathcal{L}[s]$ の表現論を理解すること。
• $s = 1/2$ の場合に、既知のヴァイアラスロモジュール構造を拡張する、中間系列モジュールの新しい変形を同定すること。

提案手法

• カルタン部分代数 $\mathcal{H} = \text{span}\{L_0, M_0, c\}$ を用いて重み空間分解を分析し、有限次元の重み空間によってハリシュ＝チャンドラモジュールを定義する。
• シュレーディンガー＝ヴァイアラスロ代数に制限して $\SS$-部分代数に作用させ、ヴァイアラスロの中間系列モジュールの分類技術を適用する。
• 特に $[L_m, Y_p] = (p - m/2)Y_{p+m}$ および $[Y_p, Y_{p'}] = (p' - p)M_{p'+p}$ といったリー括弧関係式を用いて、モジュール作用にかかる制約を導出する。
• パラメータ $a, b, \alpha$ に対するインデックスシフトとケース解析を用い、可能なモジュール構造を分類し、$M_n$ および $Y_p$ の非自明な作用によって変形を検出する。
• ジャコビ恒等式および交換関係を用いて、$g_p$ や $f_n$ などの構造定数に対する再帰関係を導出し、特定のパラメータ選択が変形を除外することを証明する。
• 特に $\mathcal{L}[0]$ の場合、$Y_0$ が半単純でないため、インデックスの偶奇性（$k \in \mathbb{Z}$ または $k \in \frac{1}{2} + \mathbb{Z}$）に基づくケース分けを用いて、$s = 0$ と $s = 1/2$ の場合を別々に取り扱う。

実験結果

リサーチクエスチョン

• RQ1 シュレーディンガー＝ヴァイアラスロ代数 $\mathcal{L}[s]$ 上の非可約ハリシュ＝チャンドラモジュールとして可能なものは何か？
• RQ2 $s = 0$ および $s = 1/2$ の場合に、$\mathcal{L}[s]$ 上に存在する中間系列の不定値モジュールは何か？
• RQ3 ヴァイアラスロ代数のものとは異なる、$\mathcal{L}[1/2]$ 上の中間系列モジュールの新しい変形は存在するか？
• RQ4 シュレーディンガー部分代数 $\SS$ の作用は、中間系列モジュールの構造にどのような制約を与えるか？
• RQ5 パラメータ $a, b, \alpha$ にどのような条件が成立すれば、一貫性のあるモジュール作用が得られ、またいつ変形が除外されるか？

主な発見

• 非可約ハリシュ＝チャンドラモジュール $\mathcal{L}[s]$ は、最高/最低重量モジュールまたは一様有界モジュールのいずれかである。
• $\mathcal{L}[0]$ の場合、すべての中間系列の不定値モジュールは、ヴァイアラスロ代数の中間系列モジュールに正確に一致し、$\SS$ の作用は自明である。
• $\mathcal{L}[1/2]$ の場合、$A_1(\alpha)$, $A_2(\alpha)$, $B_1(\alpha)$, $B_2(\alpha)$, $C_a$, $D_a$ およびそれらの変形 $C(\alpha, \alpha')$, $D(\beta, \beta')$ を含む、新しい不定値モジュールが存在する。これらはいずれのヴァイアラスロ中間系列モジュールとも同型でない。
• すべての同定されたモジュールにおいて、$M_n$ の重みベクトルへの作用は自明である：$M_n x_k = 0$（すべての $n, k$ に対して）、特に $A_2(\alpha)$ および $A_1(\alpha)$ においても同様である。
• $A_1(\alpha)$ および $A_2(\alpha)$ のパラメータ $\alpha$ は、非同型な変形をパラメータ化しており、ある $\alpha'$ に対して $A_1(\alpha)$ は $A_2(\alpha')$ の双対と同型である。
• $b = -1/2, b' = 1$ の場合、新しいモジュール $D_a$ 及びその変形 $D(\beta, \beta')$ が得られ、交換関係およびインデックス制約から明示的な作用式が導出される。