[論文レビュー] Automorphisms and Verma modules for Generalized Schrödinger-Virasoro algebras

Shaobin Tan, Xiufu Zhang|ArXiv.org|Apr 10, 2008

Advanced Topics in Algebra参考文献 7被引用数 4

ひとこと要約

本稿は、特徴が 0 の体上に定義された一般化されたシュレーディンガー＝ヴィラスール代数 𝔤sv[G,α] を導入し、加法的部分群 G と 2α∈G かつ α∉G を満たす元 α によってパrameter化されている。同様に、自己同型群を完全に特定し、Verma 加群 V(c,h) の既約性を分類し、V(c,h) が既約であるための必要十分条件は c≠0 または h≠0 であり、V(0,0) は一様次元の商を持つ。また、h≠0 のとき V(0,h) は一意な極大部分加群を持つ。

ABSTRACT

Let $\mathbb{F}$ be a field of characteristic 0, $G$ an additive subgroup of $\mathbb{F}$, $α\in \mathbb{F}$ satisfying $α otin G, 2α\in G$. We define a class of infinite-dimensional Lie algebras which are called generalized Schrödinger-Virasoro algebras and use $\mathfrak{gsv}[G,α]$ to denote the one corresponding to $G$ and $α$. In this paper the automorphism group and irreducibility of Verma modules for $\mathfrak{gsv}[G,α]$ are completely determined.

研究の動機と目的

• 古典的シュレーディンガー＝ヴィラスール代数の自然な拡張として、無限次元 Lie 代数の新規クラスである一般化されたシュレーディンガー＝ヴィラスール代数 𝔤sv[G,α] を定義し、その性質を調査すること。
• 2つのこのような一般化代数 𝔤sv[G,α] と 𝔤sv[G',α'] の同型となるための必要十分条件を特定すること。
• 与えられた条件を満たす任意の加法的部分群 G と α に対して、𝔤sv[G,α] の自己同型群を完全に特徴付けること。
• 𝔤sv[G,α] 上に Verma 加群 V(c,h) を定義し、一般にその既約性を特定すること。
• h≠0 のとき V(0,h) の一意な極大部分加群が U(L−) への自然な射影の核であることを確立し、V(0,0) が自明な商を持つこと。

提案手法

• 加法的部分群 G と α に依存する特定の交換関係を持つ、基底 {L_u, M_u, Y_{u+α} | u∈G} を持つ Lie 代数として、一般化されたシュレーディンガー＝ヴィラスール代数 𝔤sv[G,α] を定義する。
• 𝔤sv[G,α] が T=G∪(α+G) に沿った T-次数付けを持ち、部分空間 I=M⊕Y が一意な極大部分イデアルであることを示す。
• Cartan 子代数 𝔤sv[G,α]_0 と根空間分解の構造を用いて、重み加群を分析する。
• Borel 子代数の一次元表現からの誘導加群として Verma 加群 V(c,h) を構成する。
• 降下作用素 L_{-i}、M_{-j}、Y_{α-k} を用いた再帰的還元技法を適用し、循環加群の構造を分析する。
• L_{j^{(0)}} と Y_{-(α−k^{(0)})} の作用に関する補題を用いて、M および Y の生成子における単項式の長さを短縮し、最終的に非ゼロの重みベクトルが存在する場合、v_h が部分加群に含まれることを示す。

実験結果

リサーチクエスチョン

• RQ1 2つの一般化されたシュレーディンガー＝ヴィラスール代数 𝔤sv[G,α] と 𝔤sv[G',α'] が同型であるための必要十分条件は何か？
• RQ2 一般化されたシュレーディンガー＝ヴィラスール代数 𝔤sv[G,α] の自己同型群 Aut(𝔤sv[G,α]) の完全な構造は何か？
• RQ3 Verma 加群 V(c,h) が 𝔤sv[G,α] 上で既約となる c および h の値は何か？
• RQ4 h≠0 のとき V(0,h) の一意な極大部分加群の構造は何か？
• RQ5 商 V(0,0)/N(0,0) は何か？ そしてこれは自明な表現に何を意味するか？

主な発見

• 𝔤sv[G,α] の自己同型群は完全に特定されており、群 G および要素 α と整合するスケーリングおよびシフト対称性によって誘導される自己同型から構成される。
• Verma 加群 V(c,h) は、c≠0 または h≠0 である場合に限り既約である。c=0 かつ h=0 のとき、V(0,0) は既約でなく、一様次元の商を持つ。
• h≠0 のとき、Verma 加群 V(0,h) は一意な極大部分加群 N(0,h) を持ち、商 V(0,h)/N(0,h) はベクトル空間として普遍包あらわし代数 U(L−) に同型である。
• V(0,h) の一意な極大部分加群 N(0,h) は、L_0 およびすべての正の根生成子の作用を零にするすべてのベクトルから成り、h≠0 のとき真部分加群である。
• V(0,0) において、ベクトル v_h は部分加群 N(0,0) に含まれず、商 V(0,0)/N(0,0) は自明な加群 ℱ に同型である。
• 既約性の証明は、降下作用素を用いた M および Y の生成子における単項式の再帰的還元に依拠しており、c≠0 または h≠0 のとき、任意の非ゼロ重みベクトルが全加群を生成することを示している。