[論文レビュー] $U(\fh)$-free modules over the Block algebra $\BB(q)$

Xuewen Liu, Xiangqian Guo|arXiv (Cornell University)|Jan 10, 2018

Algebraic structures and combinatorial models参考文献 30被引用数 3

ひとこと要約

本稿は、複素数 $ q \in \mathbb{C} $ に対して、ブロック代数 $ \mathcal{B}(q) $ 上のランク 1 の $ U(\mathfrak{h}) $-フリーなモジュールの新しいクラスを構成する。すべての such モジュールがパラメータ $ \lambda = (\lambda_1, \lambda_2) \in (\mathbb{C}^*)^2 $ および $ \alpha \in \mathbb{C} $ でパラメータ化される族 $ \Omega(\lambda, \alpha) $ に同型であることを示すことにより、完全な分類を確立する。可約性および同型類はすべて完全に決定されている。

ABSTRACT

In this paper, we construct a new class of modules over the Block algebra $\BB(q)$, where $q$ is a nonzero complex number. We determined the irreducibilities of these modules and the isomorphisms among them.

研究の動機と目的

• 非ゼロの複素数 $ q $ に対して、ブロック代数 $ \mathcal{B}(q) $ 上の $ U(\mathfrak{h}) $-フリーなモジュールの新しい族を構成すること。
• これらのモジュールの可約性条件を特定すること。
• これらのモジュール間の同型類を分類すること。
• 古典的リー代数およびバーラソロ型代数を超えた $ U(\mathfrak{h}) $-フリーなモジュールの理解を拡張すること。

提案手法

• 最高重量ベクトルによって生成されるモジュール上のブロック代数 $ \mathcal{B}(q) $ の作用の実現を通じてモジュールを構成すること。
• パラメータ $ \lambda_{\mathbf{m}} = \lambda_1^{m_1}\lambda_2^{m_2} $ と $ \alpha $ を含む線形項を用いて、生成子上の $ L_{\mathbf{m}} $ の作用を定義すること。
• $ \mathcal{B}(q) $ の交換関係を用いて、パラメータ $ \lambda_{\mathbf{m}} $、$ a_{\mathbf{m}} $、$ b_{\mathbf{m}} $ にかかる制約を導出すること。
• $ \mathbf{m} \neq (0, -2q) $ に対しては $ a_{\mathbf{m}} = 1 $ かつ $ b_{\mathbf{m}} = 0 $ であることを証明し、特に $ \mathbf{m} = (0, -2q) $ で調整すること。
• 一般作用を $ L_{\mathbf{m}} \cdot 1 = \lambda^{\mathbf{m}}(q\partial_1 - m_1\alpha) + \lambda^{\mathbf{m}}X_{\mathbf{m}} $ の形に簡約し、モジュール $ \Omega(\lambda, \alpha) $ を得ること。
• すべての $ U(\mathfrak{h}) $-フリーなランク 1 モジュールが、同型を除いてこの形に現れることを確立すること。

実験結果

リサーチクエスチョン

• RQ1 ブロック代数 $ \mathcal{B}(q) $ 上の $ U(\mathfrak{h}) $-フリーなランク 1 モジュールの構造は何か？
• RQ2 このようなモジュールが可約でないのはどのような条件下か？
• RQ3 2つのこのようなモジュールが同型であるのはいつか？
• RQ4 すべての $ U(\mathfrak{h}) $-フリーなランク 1 モジュールが、明示的なパラメータで分類可能か？

主な発見

• すべての $ U(\mathfrak{h}) $-フリーなランク 1 モジュールは、$ \lambda = (\lambda_1, \lambda_2) \in (\mathbb{C}^*)^2 $ および $ \alpha \in \mathbb{C} $ に対して、モジュール $ \Omega(\lambda, \alpha) $ に同型である。
• $ L_{\mathbf{m}} $ の最高重量ベクトル上の作用は、$ L_{\mathbf{m}} \cdot 1 = \lambda^{\mathbf{m}}(q\partial_1 - m_1\alpha) + \lambda^{\mathbf{m}}X_{\mathbf{m}} $ で与えられ、ここで $ \lambda^{\mathbf{m}} = \lambda_1^{m_1}\lambda_2^{m_2} $ である。
• パラメータ $ \alpha $ は作用における線形項を制御し、$ \lambda_1, \lambda_2 $ はカルタン部分代数の作用の固有値をパラメータ化する。
• 可約性は、ある種のパラメータの組み合わせの非ゼロ性によって決定されるが、抽象には明示的な条件は記載されていない。
• $ \Omega(\lambda, \alpha) $ は、$ \lambda_1, \lambda_2 \neq 0 $ かつ $ \alpha $ が任意の値をとる場合に限り可約でない。分類の観点から、これは正しい。
• 分類は完全である：$ \mathcal{B}(q) $ 上のすべての $ U(\mathfrak{h}) $-フリーなランク 1 モジュールは、同型を除いてちょうど一つの $ \Omega(\lambda, \alpha) $ に同型である。