[論文レビュー] Universal central extensions of $\mathfrak{sl}(m, n, A)$ of small rank over associative superalgebras

Xabier García‐Martínez, M. Ladra|arXiv (Cornell University)|May 15, 2014

Advanced Topics in Algebra参考文献 10被引用数 3

ひとこと要約

本稿は、単位的超代数 $A$ 上のリー超代数 $τ(m,n,A)$ および $τ(m,n,A)$ の普遍中心拡大と第二ホモロジー群の分類を完了した。$m+n=3,4$ の小規模な場合において、以前未解決だった $τ(2,1,A)$, $τ(3,1,A)$, $τ(2,2,A)$ の3つのケースを解消した。超2コサイクルと準同型構成を用いて、これらのケースで $τ(m,n,A)$ が $τ(m,n,A)$ の普遍中心拡大であることを確立した。また、循環ホモロジーと $mA + [A,A]$ を含むイデアルによる商 $A$ の表現を用いて、$τ(m,n,A)$ および $τ(m,n,A)$ の第二ホモロジー群 $τ_2(τ(m,n,A))$ と $τ_2(τ(m,n,A))$ を明示的に記述した。これらの結果は、すべての $m+n \geq 3$ に対して統一的かつ完全な枠組みを提供する。主たる貢献は、こうした超代数の第二ホモロジーの完全な特徴付けである。

ABSTRACT

We complete the solution of the problem of finding the universal central extension of the matrix superalgebras $\mathfrak{sl}(m, n, A)$ where $A$ is an associative superalgebra and computing $H_2\big(\mathfrak{sl}(m, n, A)\big)$. The Steinberg Lie superalgebra $\mathfrak{st}(m, n, A)$ has a very important role and we will also find out $H_2\big(\mathfrak{st}(m, n, A)\big)$. In Chen and Sun (arXiv:1311.7079, 2013) it is solved the problem where $m+n \geq 5$ and in Chen and Guay (Algebr. Represent. Theory, 2013) it is solved when $n=0$, so here we work out the three remaining cases $\mathfrak{sl}(2, 1, A), \mathfrak{sl}(3, 1, A)$ and $\mathfrak{sl}(2, 2, A)$.

研究の動機と目的

• 単位的超代数 $A$ 上で $m+n=3,4$ の場合の $\mathfrak{sl}(m,n,A)$ および $\mathfrak{st}(m,n,A)$ の普遍中心拡大の分類を完了すること。これは、以前未解決であったケースである。
• すべての $m+n \geq 3$ に対して $\operatorname{H}_2(\mathfrak{sl}(m,n,A))$ および $\operatorname{H}_2(\mathfrak{st}(m,n,A))$ を計算し、超代数的設定下での第二ホモロジーの特徴付けを完全化すること。
• $\mathfrak{st}(m,n,A)$ が残りの3つのケース、すなわち $\mathfrak{sl}(2,1,A)$, $\mathfrak{sl}(3,1,A)$, $\mathfrak{sl}(2,2,A)$ に対して、$\mathfrak{sl}(m,n,A)$ の普遍中心拡大であることを確立すること。
• $m+n \geq 5$ および $n=0$ の場合の $\mathfrak{sl}(m,n,A)$ に関する先行研究の結果を統合し、すべての $m+n \geq 3$ に対して完全な枠組みに拡張すること。

提案手法

• 超2コサイクルを用いて Lie 超代数の準同型 $\rho: \mathfrak{st}(m,n,A)^\sharp \to \widetilde{\mathfrak{st}}(m,n,A)$ を構成し、中心拡大の普遍性を検証する。
• 生成元 $F_{ij}(a)$ が超トレースおよび括弧積の恒等式から導かれる関係を満たす、シュタインバーグ超代数 $\mathfrak{st}(m,n,A)$ を普遍中心拡大として用いる。
• 写像 $v_{ijkl}(a)$ に対するコサイクル条件 (C1)–(C3) の検証：反対称性、階数付きジャコビ恒等式、超代数の交換子に関しての不変性。
• 第二ホモロジー群を用いた普遍中心拡大の核の明示的計算：同型 $\ker(\rho) \cong \operatorname{H}_2(\mathfrak{sl}(m,n,A))$ を用いる。
• パリティ変換関手 $\Pi$ と $A_m = A / (mA + [A,A])$ のような商代数を用いて、$\operatorname{H}_2(\mathfrak{st}(m,n,A))$ の構造を記述する。
• 文献 [3]、[4] および本稿の結果を統合し、すべての $m+n \geq 3$ に対して $\operatorname{H}_2(\mathfrak{sl}(m,n,A))$ および $\operatorname{H}_2(\mathfrak{st}(m,n,A))$ の完全な分類を得る。

実験結果

リサーチクエスチョン

• RQ1 単位的超代数 $A$ に対して、$\mathfrak{sl}(2,1,A)$ の普遍中心拡大は何か？
• RQ2 $\mathfrak{sl}(3,1,A)$ および $\mathfrak{st}(3,1,A)$ の第二ホモロジー群の構造は何か？
• RQ3 $\mathfrak{sl}(2,2,A)$ および $\mathfrak{st}(2,2,A)$ の第二ホモロジー群は超代数 $A$ にどのように依存するか？
• RQ4 $\mathfrak{sl}(m,n,A)$ の普遍中心拡大は、すべての $m+n \geq 3$ に対して完全に特徴付け可能か？
• RQ5 小規模な場合における $\operatorname{H}_2(\mathfrak{sl}(m,n,A))$ と $\operatorname{H}_2(\mathfrak{st}(m,n,A))$ の正確な関係は何か？

主な発見

• $\mathfrak{sl}(2,1,A)$ の普遍中心拡大は $\mathfrak{st}(2,1,A)$ であり、$\operatorname{H}_2(\mathfrak{st}(2,1,A)) = 0$ である。
• $\mathfrak{sl}(3,1,A)$ の場合、普遍中心拡大は $\mathfrak{st}(3,1,A)$ であり、$\operatorname{H}_2(\mathfrak{st}(3,1,A)) = \Pi(A_2)^6$ である。ここで $A_2 = A / (2A + [A,A])$ である。
• $\mathfrak{sl}(2,2,A)$ の場合、普遍中心拡大は $\mathfrak{st}(2,2,A)$ であり、$\operatorname{H}_2(\mathfrak{st}(2,2,A)) = A_2^4 \oplus A_0^2$ である。ここで $A_2 = A / (2A + [A,A])$、$A_0 = A / (0A + [A,A])$ である。
• $m+n \geq 5$ または $m=2,n=1$ の場合、$\mathfrak{sl}(m,n,A)$ の第二ホモロジー群は $\operatorname{HC}_1(A)$ に等しい。残りのケースでは $\operatorname{HC}_1(A) \oplus \operatorname{H}_2(\mathfrak{st}(m,n,A))$ に等しい。
• すべての $m+n \geq 3$ に対して $\operatorname{H}_2(\mathfrak{sl}(m,n,A))$ および $\operatorname{H}_2(\mathfrak{st}(m,n,A))$ の完全な分類が得られ、循環ホモロジーと商代数を用いた明示的公式が与えられた。
• 本稿の結果は、$m+n \geq 5$ および $n=0$ の場合の $\mathfrak{sl}(m,n,A)$ に関する先行研究を統合・拡張し、これらの超代数のホモロジー的特徴付けを完全に完了した。