[論文レビュー] A class of non-weight modules over the Schrödinger-Virasoro algebras

Yumei Wang, Honglian Zhang|arXiv (Cornell University)|Sep 14, 2018

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

ひとこと要約

この論文は、L0、M0、Y0で生成される部分代数の普遍包あらゆる代数を用いて、Schrödinger-Virasoro代数 sv(0) 上の自由階数1モジュールを構成し、分類する。このようなモジュールは、λ ∈ ℂ* および α ∈ ℂ によってパラメータ化され、Φ(λ, α) と表されることが証明され、さらに sv(1/2) 上では、U(CL0 ⊕ CM0) 上の自由階数1モジュールは存在しないことが示され、この代数的構造における非存在性の問いが解決される。

ABSTRACT

We construct and classify the free $U(\mathbb{C}L_0\oplus \mathbb{C}M_0\oplus\mathbb{C}Y_0)$-modules of rank $1$ over the Schrödinger-Virasoro algebra $\mathfrak{sv}(s)$ for $s=0$.Moreover, we show that the class of free $U(\mathbb{C}L_0\oplus\mathbb{C}M_0)$-modules of rank $1$ over the Schrödinger-Virasoro algebra $\mathfrak{sv}(s)$ for $s=\frac{1}{2}$ is nonexistent.

研究の動機と目的

• L0、M0、Y0 で生成される部分代数に関して、Schrödinger-Virasoro代数 sv(0) 上の自由階数1モジュールを構成し、分類すること。
• L0 と M0 で生成される部分代数に関して、sv(1/2) 上に自由階数1モジュールが存在するかどうかを特定すること。
• sv(1/2) の場合におけるこのようなモジュールの非存在性を解消し、sv(0) に対して完全な分類を提供すること。
• 非重みモジュールの理論を、特に特定の部分代数上の自由モジュールの文脈において、Schrödinger-Virasoro代数へと拡張すること。

提案手法

• sv(0) 上の階数1自由モジュールの族 Φ(λ, α) を、多項式代数 ℂ[s, t, v] 上での基底元 Lm、Mm、Ym の作用を明示的に定義することによって構成する。
• U(CL0 ⊕ CM0 ⊕ CY0) の構造を用いて、L0、M0、Y0 を含む微分作用素を介してモジュール作用を定義する。
• 交換関係と帰納法を用いて、定義された作用が sv(0) のリー代数関係を満たすことを検証し、モジュール構造が適切に定義されていることを保証する。
• Lm、Mm、Ym の作用を生成元 1 に制限することで、L0 と M0 に関する多項式を決定する問題に還元する、体系的な分類の議論を適用する。
• sv(1/2) に対して、U(CL0 ⊕ CM0)-上の自由階数1モジュールが存在すると仮定し、Yp の作用と [Yp, Mm] = 0 の関係を分析することで矛盾を導く。
• p ≠ q のとき (q − p)Mp+q が消えないことを利用して、hp(L0, M0) が C[M0] に属すると仮定した場合の不整合性を示し、非存在性を証明する。

実験結果

リサーチクエスチョン

• RQ1 U(CL0 ⊕ CM0 ⊕ CY0) 上の自由階数1モジュールとしての sv(0) 上に、自由階数1モジュールが存在するか？
• RQ2 このようなモジュールが λ ∈ ℂ* および α ∈ ℂ のパラメータで完全に分類可能か？
• RQ3 sv(1/2) 上に、U(CL0 ⊕ CM0) 上の自由階数1モジュールが存在するか？
• RQ4 リー代数関係が、このようなモジュールにおける Yp と Mm の作用にどのような制約を課えるか？

主な発見

• U(CL0 ⊕ CM0 ⊕ CY0) 上の自由階数1モジュールとしての sv(0) 上のすべての自由階数1モジュールは、ある λ ∈ ℂ* および α ∈ ℂ に対して Φ(λ, α) に同型である。
• 分類は完全である：任意の such モジュール M は、一意な λ と α に対して M ≅ Φ(λ, α) を満たす。
• Yp の作用と [Yp, Yq] 関係を分析した結果、sv(1/2) 上には U(CL0 ⊕ CM0) 上の自由階数1モジュールは存在しないことが示された。
• 生成元 1 への Yp の作用は C[M0] に属すべきであるが、p ≠ q のとき (q − p)Mp+q が消えないことと矛盾する。
• 証明は、普遍包あらゆる代数の構造と非自明な交換関係、特に [Yp, Mm] = 0 および [Yp, Yq] = (q − p)Mp+q に依存している。
• 非存在性の結果は、hp(L0, M0) が要求される形と sv(1/2) の代数的関係との不整合性に起因する。