[論文レビュー] Whittaker modules for the Schrödinger-Virasoro algebra

Xiufu Zhang, Shaobin Tan|ArXiv.org|Dec 17, 2008

Algebraic structures and combinatorial models参考文献 20被引用数 15

ひとこと要約

本稿は、シュレーディンガー＝ヴァイラソロ代数 $\chi$ の三角分解 $\chi = \chi^{-} \oplus \mathfrak{h} \oplus \chi^{+}$ を用いて、Whittaker モジュールを構成し分類する。非特異なホモモルフィズム $\psi: \chi^{+} \to \mathbb{C}$ の場合、完全に非可約 Whittaker モジュールを分類し、Whittaker ベクトルを特徴付ける。特異な $\psi$ の場合、すべてのモジュールが可約であることを証明し、特に $\psi \equiv 0$ かつ $\xi \neq 0$ の場合に $L_{\psi,\xi}$ のフィルトレーションを明示的に示す。主な貢献は、非可約 Whittaker モジュールの完全な分類であり、これは重みモジュールを超えて、無限次元リー代数への表現理論の拡張を実現する。

ABSTRACT

In this paper, Whittaker modules for the Schrödinger-Virasoro algebra $\mathfrak{sv}$ are defined. The Whittaker vectors and the irreducibility of the Whittaker modules are studied. $\mathfrak{sv}$ has a triangular decomposition according to the Cartan algebra $\mathfrak{h}:$ $$\mathfrak{sv}=\mathfrak{sv}^{-}\oplus\mathfrak{h}\oplus\mathfrak{sv}^{+}.$$ For any Lie algebra homomorphism $ψ:\mathfrak{sv}^{+} o\mathbb{C}$, we can define Whittaker modules of type $ψ.$ When $ψ$ is nonsingular, the Whittaker vectors, the irreducibility and the classification of Whittaker modules are completely determined. When $ψ$ is singular, by constructing some special Whittaker vectors, we find that the Whittaker modules are all reducible. Moreover, we get some more precise results for special $ψ$.

研究の動機と目的

• シュレーディンガー＝ヴァイラソロ代数 $\mathfrak{sv}$ に対する Whittaker モジュールを定義し、研究すること。これは重みモジュールでないモジュールである。
• ホモモルフィズム $\psi: \mathfrak{sv}^{+} \to \mathbb{C}$ のタイプに応じて、非可約 Whittaker モジュールを分類すること。非特異型と特異型の $\psi$ を区別する。
• Whittaker ベクトルを特徴付け、誘導モジュール $W_\psi$ および $L_{\psi,\xi}$ の構造を特定すること。
• $\psi \equiv 0$ の場合を詳細に分析し、$\xi \neq 0$ のとき $L_{\psi,\xi}$ が Verma モジュールによるフィルトレーションをもつこと、および $\xi = 0$ のとき特定の部分モジュールが最大であることを示すこと。

提案手法

• 三角分解 $\mathfrak{sv} = \mathfrak{sv}^{-} \oplus \mathfrak{h} \oplus \mathfrak{sv}^{+}$ を用いて、タイプ $\psi$ の Whittaker モジュールを定義する。ここで $\mathfrak{h} = \mathbb{C}L_0 \oplus \mathbb{C}M_0$ である。
• リー代数準同型 $\psi$ を用いて $\mathfrak{sv}^{+}$ の作用により、誘導モジュール $W_\psi$ および $L_{\psi,\xi}$ を構成する。
• 生成子 $L_n, M_n, Y_{n+1/2}$ のドット作用を基底ベクトルに適用し、Whittaker ベクトルおよびモジュール構造を分析する。
• 最大重量の技法とフィルトレーションの議論を用いて、特に $\psi \equiv 0$ の場合の可約性・非可約性を研究する。
• 帰納法と基底の分解を用いて、$\psi \equiv 0$ かつ $\xi \neq 0$ のとき $L_{\psi,\xi}$ が各部分モジュール $V^i$ と同型であることを証明する。
• 明示的な作用式、たとえば $\nu(b) \neq 0$ のとき $Y_{1/2 + b} \cdot v \neq 0$ を用いて、Whittaker ベクトルの非消滅性および非可約性を証明する。

実験結果

リサーチクエスチョン

• RQ1 どのタイプ $\psi: \mathfrak{sv}^{+} \to \mathbb{C}$ のとき、関連する Whittaker モジュールが非可約になるか？
• RQ2 特に $\psi$ が非特異なとき、$W_\psi$ および $L_{\psi,\xi}$ の Whittaker ベクトルの構造は何か？
• RQ3 $\psi$ が特異なとき、特に $\psi \equiv 0$ のとき Whittaker モジュールはどのように振る舞うか？
• RQ4 $L_{\psi,\xi}$ は部分モジュールのフィルトレーションに分解可能か？その商モジュールの性質は何か？
• RQ5 $\psi \equiv 0$ かつ $\xi = 0$ のとき $L_{\psi,0}$ は可約か？その最大の真部分モジュールの構造は何か？

主な発見

• 非特異な $\psi$ の場合、Whittaker モジュール $W_\psi$ および $L_{\psi,\xi}$ は非可約であり、それらの Whittaker ベクトルは完全に特徴付けられる。
• $\psi \equiv 0$ かつ $\xi \neq 0$ のとき、Whittaker モジュール $L_{\psi,\xi}$ はフィルトレーション $L_{\psi,\xi} = V^0 \supseteq V^1 \supseteq \cdots$ を持ち、$V^i / V^{i+1} \cong V(\xi, \zeta)$ となる。ここで $V(\xi, \zeta)$ は Verma モジュールである。
• $\psi \equiv 0$ かつ $\xi \neq 0$ のとき、$L_{\psi,\xi}$ は $\mathfrak{sv}$-モジュールとして各 $V^i$ と同型である。これは非自明な自己同型を示唆する。
• $\psi \equiv 0$ かつ $\xi = 0$ のとき、$L_{-2}\bar{w}$ で生成される部分モジュール $V$ は最大の真部分モジュールであり、$L_{\psi,0}/V$ は1次元自明モジュールである。
• 特異な $\psi$ の場合、特別な Whittaker ベクトルの構成により、$L_{\psi,\xi}$ は常に可約であることが示される。
• $\psi \equiv 0$ かつ $\xi \neq 0$ のとき、$L_{\psi,\xi}$ 内の Whittaker ベクトルの集合は $\mathbb{C}[L_0]\bar{w}$ に一致し、最高重量空間の特定の形を確認する。