Some examples of DG-Lie formality transfer

問題の所在
本論文は、微分次数付き（DG）リー代数の「形式性転移（formality transfer）」の問題を扱っている。具体的には、2つのDGリー代数 $L$ と $M$ が射 $f: L \to M$ によって結ばれているとき、形式性（コホモロジー代数と準同型であること）という性質が、どのような条件下で転移するかを調査している。

ホモトピーアーベリアン性（homotopy abelianity）のような特定の性質は、コホモロジーにおける誘導写像（例えば単射性や全射性）に関する特定の条件の下で転移することがよく知られているが、著者らは、形式性は同様の振る舞いをしないことに注意を向けている。ホモトピーアーベリアンのための標準的な転移定理は、形式性へと直ちに一般化することはできない。例えば、射 $f: L \to M$ が $M$ を形式的とし、かつ $f: H^*(L) \to H^*(M)$ が単射である場合でも、$L$ が形式性を欠くことがある。本論文は、厳密な形式性転移定理を可能にするための、正しいコホモロジー的障害および条件を特定することを目的としている。

手法
著者らは、形式性への障害を分析するために、シュヴァレー・アイレンベルグ（Chevalley–Eilenberg）コホモロジーとスペクトル系列の枠組みを利用している。彼らの手法は以下の通りである：

1. シュヴァレー・アイレンベルク二重複体： 著者らは、DGリー代数 $L$ と $L$ 加群 $M$ に随伴する二重複体 $CE(L, M)$を用いる。全複体のコホモロジー$H^*_{CE}(L, M)$ が、障害を検出するための主要な道具となる。
2. スペクトル系列： 二重複体の第1次フィルタリングに関連するコホモロジー的スペクトル系列 $(E(L, M)^{p,q}_r, d_r)$ を分析する。
3. オイラー類と微分： 中心的な技術的装置は、オイラー導来によって定義される $E(L, M)^{1,0}_2$ における「オイラー類」$e_f$ である。著者らは、スペクトル系列における高次の微分（$d_r$）の消滅が形式性と同値であるという事実を利用している。具体的には、DGリー代数 $L$ が形式的であるための必要十分条件は、そのスペクトル系列 $E(L, L)_r$ が $E_2$ ページで退化することである、という結果を用いている。
4. 誘導写像： 著者らは、射 $f: L \to M$ が $(L, L)$、$(M, M)$、および $(L, M)$ のスペクトル系列の間にどのように誘導写像を引き起こすかを研究し、オイラー類と微分がこれらの写像の下でどのように振る舞うかを追跡する。

主要な貢献と結果
主要な貢献は、ホモトピーアーベリアンの性質に関する既存の結果を形式性の性質へと一般化した、一般的な形式性転移定理（定理 1.2 / 定理 2.5）の定式化と証明である。

• 主定理： $f: L \to M$ をDGリー代数の射とする。

  • 逆方向の転移（Backward Transfer）： $M$ が形式的であり、誘導写像 $f^*: H^2_{CE}(H^*(L), H^*(L)) \to H^2_{CE}(H^*(L), H^*(M))$ が単射であれば、$L$ は形式的である。
  • 順方向の転移（Forward Transfer）： $L$ が形式的であり、誘導写像 $f^*: H^2_{CE}(H^*(M), H^*(M)) \to H^2_{CE}(H^*(L), H^*(M))$ が単射であれば、$M$ は形式的である。

• 系： 著者らは、射が切断（section）または退縮（retraction）を持つ場合の具体的な系を導出している。例えば、$M$ が形式的であり、$s \circ f = \text{Id}_{H^*(L)}$ を満たす $H^*(L)$-加群の射 $s: H^*(M) \to H^*(L)$ が存在するならば、$L$ は形式的である。

• 応用：

  1. 普遍包絡環： 著者らは、DGリー代数 $L$ について、$L$ の形式性は、DG結合的代数としてもDGリー代数としても、その普遍包絡環 $U(L)$ の形式性と同値であることを証明している。これは、ポーリンカー・ビルクホフ・ウィットニー（PBW）の定理と、$U(L)$ の $L$ 加群としての分解を用いて確立される。
  2. 不変部分代数： $M$ が形式的なDGリー代数であり、$L \subseteq M$ が $L$ 加群の退縮（例えば、有限群の作用による不変部分代数や線形簡約な代数群による不変部分代数）を許容する部分代数である場合、$L$ もまた形式的であることを示している。
  3. Kodaira–Spencer 形式性： 本論文は、滑らかな射影多様体 $X$ が Kodaira–Spencer 形式的（すなわち、それを制御するDGリー代数が形式的）であり、有限群 $G$ が $X$ に自由に作用している場合、商空間 $X/G$ もまた Kodaira–Spencer 形式的であることを証明している。
  4. 反例： 論文には、コホモロジー $H^*(L) \to H^*(M)$ の単射性だけでは形式性転移には不十分であることを示す反例（小節 3.4）が示されており、シュヴァレー・アイレンベルグ・コホモロジーの条件の必要性が強調されている。

意義と主張
本論文は、「便利な再定式化」および「わずかな一般化」を提供していると主張している。著者らは、逆方向の転移の結果（主定理の項目 1）は以前に [19] で証明されており、Kaledin–Lehn 形式性予想の文脈で適用されたことを述べている。

本研究の意義は、以下の点にある：

1. 全体像の完成： 順方向の転移結果（定理の項目 2）を追加し、逆方向の転移に対して異なる、より単純な証明を提供することで、本論文は、より対称的でアクセスしやすい形式性転移の枠組みを提供している。
2. 障害の明確化： 単純なコホモロジー写像の単射性・全射性による形式性転移の失敗を克服するために必要な正確な条件として、特定のシュヴァレー・アイレンベルグ・コホモロジーにおける写像の単射性を明示的に特定している。
3. 応用の統一： 有限群による商における形式性の保存や、普遍包絡環におけるリー代数と結合的代数の形式性の同値性といった、既知の様々な現象を、単一の理論的傘の下に統一している。

著者らは、その理論的枠組みは一般的であるが、「既知の興味深い応用のほとんどすべて」は、これらの結果に関する特定の系（系 1.4）に依存していることを認め、範囲について控えめな姿勢を保っている。本論文は、これらの結果に関する新しい実験的な応用を提案するのではなく、変形理論や代数幾何学における既存の応用のための理論的基礎を固めるものである。