[論文レビュー] Derivations and automorphism groups of the original deformative Schrödinger-Virasoro algebras

Qifen Jiang, Song Wang|arXiv (Cornell University)|Sep 14, 2012

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

ひとこと要約

本稿は、ウィット代数とテンソル密度モジュールの半直積である、元の変形シュレーディンガー＝ヴァイラソロ代数の導来代数および自己同型群を決定する。次数付きリー代数の技法とコホモロジー解析を用いて、自己同型群を無限次元アーベル群と有限対称性を含む半直積として分類し、パラメータ $ a $ が整数であるか否かに応じて異なる構造を示す。

ABSTRACT

In this paper, we determine the derivation algebra and the automorphism group of the original deformative ${ m Schr\ddot{o}dinger}$-{ m Virasoro} algebras which is the semi-direct product Lie algebra of the Witt algebra and its tensor density module ${ m I^g}(a,b)$.

研究の動機と目的

• 元の変形シュレーディンガー＝ヴァイラソロ代数 $\mathbf{W}^g(a,b)$ の完全な導来代数を特定すること。ここで $\mathbf{W}^g(a,b)$ はウィット代数とテンソル密度モジュールの半直積である。
• 自己同型群 $\mathbf{W}^g(a,b)$ の分類を行い、その構造的要素と対称性を特定すること。
• $\mathbf{W}^g(a,b)$ の $\frac{1}{2}\mathbb{Z}$-次数付き構造を用いて代数的性質（完全性や中心）を分析すること。
• パラメータ $a$ の偶数整数によるシフトに対して不変であることを確立し、分類を簡略化すること。
• リー代数の括弧関係式から導かれる再帰的関係式を解くことにより、自己同型群の構造を解明すること。

提案手法

• $\mathbf{W}^g(a,b)$ の $\frac{1}{2}\mathbb{Z}$-次数付き構造を用いて、導来作用素および自己同型を同次成分に分解する。
• 特に次数付き成分の $H^1$-群を用いたコホモロジー的技法を適用し、非自明な外部導来作用素を排除する。
• リー括弧関係式 (1.1)–(1.6) から導かれる再帰的関係式を用いて、自己同型が基底要素に与える作用を特定する。
• パラメータ $\lambda_{\epsilon m-1}, \mu_{\epsilon m-1}$ に関する多項方程式系を解き、可能な自己同型を分類する。
• $a$ の値（整数対非整数）および $b$ に基づく場合分けを行い、自己同型群の異なる構造を導出する。
• パラメータ $\lambda_{\epsilon m-1}$ の再帰的関係式の高次インダクションステップを、コンピュータ支援計算を用いて解く。

実験結果

リサーチクエスチョン

• RQ1 元の変形シュレーディンガー＝ヴァイラソロ代数 $\mathbf{W}^g(a,b)$ の導来代数の構造は何か？
• RQ2 $\mathbf{W}^g(a,b)$ の自己同型群はパラメータ $a$ と $b$ にどのように依存するか？
• RQ3 $\frac{1}{2}\mathbb{Z}$-次数付き構造は、導来作用素および自己同型の分類において果たす役割は何か？
• RQ4 $\mathbf{W}^g(a,b)$ に非自明な外部導来作用素は存在するか？また、それらは $a$ と $b$ にどのように依存するか？
• RQ5 $a \in \mathbb{Z}$ と $a \notin \mathbb{Z}$ の場合に、自己同型群はどのように異なるか？

主な発見

• $a \notin \mathbb{Z}$ の場合、$\mathbf{W}^g(a,b)$ の導来代数は自明であり、$a \in \mathbb{Z}$ の場合、非自明であり、その構造は $b$ に依存する。
• $a \notin \mathbb{Z}$ の場合、$\mathbf{W}^g(a,b)$ の自己同型群は $(\mathbb{C}^\infty \rtimes \mathbb{C}^\infty) \rtimes (\mathbb{C}^* \times \mathbb{C}^*)$ に同型であり、ここで $\mathbb{C}^\infty$ はほとんどすべての成分がゼロである数列の空間を表す。
• $a \in \mathbb{Z}$ の場合、自己同型群は $(\mathbb{C}^\infty \rtimes \mathbb{C}^\infty) \rtimes (\mathbb{Z}_2 \ltimes (\mathbb{C}^* \times \mathbb{C}^*))$ に同型であり、追加の $\mathbb{Z}_2$ 対称性が存在することを示す。
• $b = 5$ の場合、関係式 $\mu_{\epsilon m-1} = m \mu_{\epsilon-1}$ および $\lambda_{\epsilon m-1} = m \lambda_{\epsilon-1}$ により、自己同型群の構造が完全に特定され、非整数 $a$ の場合と同じ構造をとる。
• $b = 3$ の場合、2つの異なる解の分岐が生じる：1つは $\mu_{\epsilon m-1} = m \mu_{\epsilon-1}$、もう1つは $\mu_{\epsilon m-1} = m^2 \mu_{\epsilon-1}$ であるが、両方とも対称性の制約により同じ自己同型群の構造をもたらす。
• $\mathbf{W}^g(a,b)$ の中心は $a = b = 0$ の場合 $\mathbb{C}I_0$ であり、それ以外の場合は自明である。この性質は自己同型群の構造に影響を与える。