Non-abelian Extensions of Lie algebras with derivations

以下は、Jun Jiang と Kanghe Xu による論文「Non-Abelian Extensions of Lie Algebras with Derivations（導分を備えたリー代数の非可換拡大）」の詳細な技術的概要です。

1. 問題提起

本論文は、導分を備えたリー代数（LieDer 対と呼ばれる）の理論における、相互に関連する 2 つの問題に取り組みます。

1. 非可換拡大の分類: ある LieDer 対 $(g, D)$ を、別の LieDer 対 $(h, K)$ によって拡大する非可換拡大をどのように分類するか。非可換拡大とは、LieDer 対の次の短完全系列である。
   $$0 \longrightarrow (h, K) \xrightarrow{i} (\hat{g}, \hat{D}) \xrightarrow{p} (g, D) \longrightarrow 0$$
   ここで、$\hat{D}$ は $K$ と $D$ と両立する $\hat{g}$ 上の導分である。

2. 導分の拡張可能性: リー代数の非可換拡大 $0 \to h \to \hat{g} \to g \to 0$ と、導分の対 $(K, D) \in \text{Der}(h) \times \text{Der}(g)$ が与えられたとき、$\hat{D}|_h = K$ かつ $D \circ p = p \circ \hat{D}$ となる $\hat{g}$ 上の導分 $\hat{D}$ が存在するための条件は何か。著者は、この存在問題に対する障害類を求めようとする。

2. 手法

著者は、これらの問題に対処するために、古典的なリー代数コホモロジーの結果を LieDer 対の文脈へ一般化する、4 つの異なるが統一的な数学的枠組みを採用しています。

• 非可換コホモロジー: 非可換 2-コサイクル $(\varrho, \omega, \chi)$ を用いて、2 次非可換コホモロジー群 $H^2_{\text{nab}}(g, D; h, K)$ を定義します。
• 微分付きgradedリー代数（DGLA）とデリニュ・グロイド: 非可換 2-コサイクルに対応する Maurer-Cartan 要素を持つ特定の DGLA $L_{g,h}$ を構成します。拡大の同値類は、関連するデリニュ・グロイドの連結成分の集合（$\pi_0$）と同一視されます。
• リー 2-代数: 厳密な導分を備えた厳密なリー 2-代数（Lie2Der 対）のホモトピー圏を利用します。特定の Lie2Der 対間の準同型のホモトピー類と、非可換コホモロジーとの間の同型を確立します。
• $(g, D)$-カーネル: 分類問題を存在問題とパラメータ化問題に分解するために、$(g, D)$-カーネル（$D$ と $K$ と両立する $g$ から $h$ の外導分への準同型）の概念を導入します。

3. 主要な貢献と結果

A. 非可換コホモロジーによる分類（第 2 節）

• 定義: 著者は、リー括弧と導分 $D$ および $K$ を含む特定の両立条件を満たす 3 項組 $(\varrho, \omega, \chi)$ を非可換 2-コサイクルとして定義します。
  • $\varrho: g \to \text{Der}(h)$ （作用）
  • $\omega: \wedge^2 g \to h$ （曲率/拡大項）
  • $\chi: g \to h$ （導分の持ち上げ項）
• 定理 2.7: 非可換拡大の同値類の集合 $\text{Ext}_{\text{nab}}(g, D; h, K)$ と、2 次非可換コホモロジー群 $H^2_{\text{nab}}(g, D; h, K)$ の間には全単射が存在します。

B. DGLA およびデリニュ・グロイドのアプローチ（第 3 節）

• 構成: 次数 1 の Maurer-Cartan 要素が非可換 2-コサイクルの集合 $Z^2_{\text{nab}}(g, D; h, K)$ と完全に一致する DGLA $L_{g,h}$ が構成されます。
• 結果: この DGLA に付随するデリニュ・グロイドの連結成分の集合は、$H^2_{\text{nab}}(g, D; h, K)$ と同型です。これにより、拡大のホモトピー的性質が特徴づけられます。

C. リー 2-代数表現（第 4 節）

• 表現: 著者は、$h$ の導分から構成される、導分を備えた特定の厳密なリー 2-代数 $(h_{\text{Der}}, K_{\text{Der}})$ を構成します。
• 表現可能性: 彼らは、LieDer 対 $(g, D)$ をその拡大の集合 $\text{Ext}_{\text{nab}}(g, D; h, K)$ に写す関手が、Lie2Der 対のホモトピー圏において表現可能であることを証明します。具体的には以下の通りです。
  $$\text{Ext}_{\text{nab}}(g, D; h, K) \cong \text{hHom}_{\text{LD}}((g, D), (h_{\text{Der}}, K_{\text{Der}}))$$
  ここで $\text{hHom}$ は準同型のホモトピー類を表します。

D. $(g, D)$-カーネルと障害理論（第 5 節）

• カーネルの定義: $(g, D)$-カーネルとは、$D$ と $K$ との両立条件を満たす $k: g \to \text{Out}(h)$ という準同型のことです。
• 分解: 拡大の分類は以下に分割されます。
  1. 存在: どのカーネルが「積分可能」（すなわち、実際の拡大から生じる）か？
  2. パラメータ化: 固定された積分可能なカーネルに対して、拡大の集合は何か？
• 定理 5.8: 固定された積分可能なカーネル $k$ に対して、拡大の集合は $h$ の中心を係数とする 2 次 LieDer コホモロジー群 $H^2_{\text{LieDer}}(g, D; z(h), K)_k$ 上でモデル化されたアフィン空間です。
• 定理 5.15（存在の障害）: カーネル $k$ が積分可能であるための必要十分条件は、特定のコホモロジー類 $ch(k) \in H^3_{\text{LieDer}}(g, D; z(h), K)_k$ が消滅することです。この類は、カーネルが導分と両立する作用へ持ち上げられないことに基づいて構成されます。

E. 導分の拡張可能性（第 6 節）

• 応用: 著者は、導分の拡張問題に対して前述の枠組みを適用します。
• 両立性: 対 $(K, D)$ が両立的であるとは、導分の性質から導かれる特定の方程式を満たす線形写像 $\chi: g \to h$ が存在する場合を指します。
• 定理 6.4: 導分の対 $(K, D)$ が $\hat{g}$ へ拡張可能であるための必要十分条件は以下の通りです。
  1. 両立的であること。
  2. 障害類 $W(K, D) \in H^2(g, z(h))$ が消滅すること。
  • 障害類は $W(K, D) = [d^F_\varrho \chi + \delta(\omega)]$ として定義されます。ここで $\varrho$ と $\omega$ は拡大構造から導出されます。
• 整合性: 中心拡大の場合、この結果は先行文献（例：[25]）で定義された既知の障害類を回復します。

4. 意義

• 統合: 本論文は、コホモロジー、DGLA、リー 2-代数、カーネルという、導分を備えたリー代数という特定の文脈における非可換拡大への 4 つの主要なアプローチを成功裏に統合しました。
• 一般化: これは、リー代数の非可換拡大（$D=0$ の場合）および LieDer 対の中心拡大に関する古典的結果を、完全な非可換の場合へ一般化しています。
• 障害理論: 導分の存在下で以前は理解が浅かった問題に対して、具体的かつ計算可能な障害類（カーネルの積分可能性には $H^3$、導分の拡張可能性には $H^2$）を提供します。
• 圏論的洞察: リー 2-代数のホモトピー圏における表現可能性を確立することにより、拡大の代数的理論をより高次の圏論的構造と結びつけ、変形理論やより高次のリー理論における将来の研究のための新たな道具を提供します。

要約すると、この研究は LieDer 対の非可換拡大のための包括的な構造理論を提供し、分類ツールと導分の拡張可能性に対する明示的な障害基準の両方を提供しています。