[論文レビュー] Left-symmetric Superalgebra Structures on the Super-Virasoro Algebras

Xiaoli Kong, Chengming Bai|ArXiv.org|Jan 18, 2008

Advanced Topics in Algebra参考文献 18被引用数 6

ひとこと要約

本稿は、自然な次数付きおよび中心的条件の下で、超バーリゾロ代数上の同調的左対称超代数構造を分類する。すべてのこのような構造が、パラメータ $\epsilon$ でパラメータ化された1パラメータ族の代数に同型であることを証明し、$\epsilon$ に依存する構造定数と中心拡大を含む明示的な積則を提示する。これは、バーリゾロ代数における既知の結果を一般化する。

ABSTRACT

In this paper, we classify the compatible left-symmetric superalgebra structures on the super-Virasoro algebras satisfying certain natural conditions.

研究の動機と目的

• 自然な次数付きおよび中心的条件の下で、超バーリゾロ代数上の同調的左対称超代数構造を分類すること。
• 既知のバーリゾロ代数における同調的左対称代数の結果を超代数の文脈に拡張すること。
• 超代数の公理および超可換関係を満たす構造定数の完全な解集合を特定すること。
• パラメータ $\epsilon$ が非同型の左対称超代数構造を分類する役割を特定すること。

提案手法

• 超可換関係および関数子の恒等式を用いて、超バーリゾロ代数上の左対称超代数構造の定義方程式を導出する。
• 次数付きおよび中心的条件を課して、関数方程式系を解ける形に簡略化する。
• 構造定数 $f(m,n), g(m,r), h(r,m), \sigma(r,s), \varphi(m,n)$ を関係付ける13個の関数方程式 (4.7)–(4.13) を解く。
• 対称性およびインデックスに特化した代入（例えば $m=0$, $m=n=0$, $m=-2s$ とおく）を用いて、消滅および閉形式の解を導出する。
• 定理2.3（リー代数の中心拡大に関するもの）を適用し、$\varphi(m,n)$ が偶数部の中心拡大として特定されることを示す。
• 導出された式を $L_m \cdot L_n$, $L_m \cdot G_r$, $G_r \cdot L_m$, $G_r \cdot G_s$ の積則に代入して、最終的な解を構成する。

実験結果

リサーチクエスチョン

• RQ1 自然な次数付きおよび中心的条件を満たす超バーリゾロ代数上の完全な同調的左対称超代数構造は何か？
• RQ2 このような超代数の構造定数は、複素数パラメータ $\epsilon$ にどのように依存するか？
• RQ3 左対称超代数構造に非自明な中心拡大が存在し、それらが部分随伴超リー代数として超バーリゾロ代数をもたらすか？
• RQ4 パラメータ $\epsilon$ が非同型の左対称超代数構造を分類する役割は何か？
• RQ5 すべてのこのような同調的構造が、同型を除いて明示的に構成・分類可能か？

主な発見

• 自然な条件を満たす超バーリゾロ代数上のすべての同調的左対称超代数構造は、$\epsilon \in \mathbb{C}$ で $\mathrm{Re}\,\epsilon > 0$ または $\mathrm{Re}\,\epsilon = 0, \mathrm{Im}\,\epsilon > 0$ を満たす1パラメータ族 $V_\epsilon$ に同型である。
• 構造定数は明示的に与えられる：$L_m \cdot L_n = \frac{-n(1+\epsilon n)}{1+\epsilon(m+n)}L_{m+n} + \frac{c}{24}(m^3 - m + (\epsilon - \epsilon^{-1})m^2)\delta_{m+n,0}$。
• 奇数-奇数積は $G_r \cdot G_s = \frac{1+2\epsilon s}{1+\epsilon(r+s)}L_{r+s} + \frac{c}{24}(4r^2 - 1 + 2(\epsilon - \epsilon^{-1})r)\delta_{r+s,0}$ を満たす。
• 混合積は $L_m \cdot G_r = \frac{-(\frac{m}{2}+r)(1+2\epsilon r)}{1+2\epsilon(m+r)}G_{m+r}$ および $G_r \cdot L_m = \frac{-m(1+\epsilon m)}{1+2\epsilon(m+r)}G_{m+r}$ である。
• $\psi(m,r)$ および $\rho(r,m)$ は恒等的に消えるため、非ゼロ積の最小集合に簡略化される。
• $V_\epsilon$ は、与えられた定義域条件を満たす異なる $\epsilon$ に対して、互いに非同型である。