[論文レビュー] Universal Central Extensions of the Matrix Leibniz Superalgebras sl(m, n, A)

Naihong Hu, Dong Liu|ArXiv.org|Oct 19, 2006

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

ひとこと要約

この論文は、Leibniz超代数の圏における行列Leibniz超代数 𝔰𝔩(m,n,𝒜) の普遍中心拡大を決定し、それが特記事項の下で、Hochschildホモロジー上でのConnes作用素 𝒟 の像に同型な核をもつSteinberg Leibniz超代数 𝔰𝔱𝔩(m,n,𝒜) に同型であることを示している。m+n ≥ 3 であり、小規模な m+n については特性に関する制約がある。この結果は、Hochschildホモロジーおよび循環ホモロジーを用いて、以前のLie超代数の結果をLeibniz設定に拡張したものである。

ABSTRACT

The universal central extensions and their extension kernels of the matrix Lie superalgebra sl(m, n, A), the Steinberg Lie superalgebra st(m, n, A) in category {\bf SLeib} of Leibniz superalgebras are determined under a weak assumption (compared with \cite{MP}) using the first Hochschild homology and the first cyclic homology group.

研究の動機と目的

• Leibniz超代数、特に行列代数 𝔰𝔩(m,n,𝒜) における普遍中心拡大の理解のギャップを埋め、以前のLie超代数の結果を拡張すること。
• 以前の研究で制限的だった m+n ≥ 5 の仮定を、特性条件を伴って m+n ≥ 3 に弱めること。
• ホモロジー代数の道具を用いて、Leibniz超代数の圏 SLeib における 𝔰𝔠(m,n,𝒜) の普遍中心拡大を確立すること。
• 普遍中心拡大の核を、Hochschildホモロジー上でのConnes作用素 𝒟 の像として特徴づけること。
• Leibniz超代数への普遍中心拡大の理論を、Lie超代数へのそれから拡張し、ホモロジー的不変量を統一すること。

提案手法

• Leibniz超代数の設定において、普遍中心拡大の核として、第一Hochschildホモロジー群 HH₁(𝒜) を用いる。
• 𝒜 のテンソル冪上へのConnes作用素 𝒟 の作用を定義し、その像が拡大の核を捉えるようにする。
• SLeib における 𝔰𝔩(m,n,𝒜) の普遍中心拡大として、Steinberg Leibniz超代数 𝔰𝔱𝔩(m,n,𝒜) を構成する。
• 商写像 π: 𝔰𝔱𝔩(m,n,𝒜) → 𝔰𝔱(m,n,𝒜) の普遍性と、商のLie超代数構造を用いる。
• Hochschildホモロジー、循環ホモロジー、および中心拡大を結ぶ可換図式を確立し、Ker(π) ≅ Im(𝒟) を示す。
• Leibniz超代数とLie超代数の函手の間の随伴を適用し、L → L_SLie を用いて構造を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 圏 SLeib における行列Leibniz超代数 𝔰𝔩(m,n,𝒜) の普遍中心拡大は何か？
• RQ2 この普遍中心拡大の核は、可換代数 𝒜 のHochschildホモロジーおよび循環ホモロジー群とどのように関係するか？
• RQ3 以前のLie超代数の結果で仮定されていた m+n ≥ 5 の仮定を、Leibniz超代数の設定において m+n ≥ 3 に弱めることは可能か？
• RQ4 Connes作用素 𝒟 は、SLeib における普遍中心拡大の核を決定する上で果たす役割は何か？
• RQ5 SLeib における普遍中心拡大は、SLie における古典的普遍中心拡大とどのように関係するか？

主な発見

• SLeib 圏における 𝔰𝔩(m,n,𝒜) の普遍中心拡大は、m+n ≥ 3 かつ特性に関する制約のもとで、Steinberg Leibniz超代数 𝔰𝔱𝔩(m,n,𝒜) に同型である。
• この普遍中心拡大の核は、Hochschildホモロジー群 HH₁(𝒜) 上でのConnes作用素 𝒟 の作用の像に同型である。
• m+n = 3 の場合、char(K) ≠ 3 のとき成立する。m+n = 4 の場合、char(K) ≠ 2 のとき成立する。
• 核は一般に HH₁(𝒜) の部分群としての Im(𝒟) ⊆ HH₁(𝒜) に同型であり、これはLie超代数の場合とは異なり、真の部分群である。
• SLeib における普遍中心拡大は完全であり、被覆代数の完全性のおかげで拡大が普遍的である。
• HL₂(𝔰𝔱(m,n,𝒜)) ≅ Im(𝒟) が成り立ち、第二Leibnizコホモロジー群のホモロジー的特徴づけが得られる。