Joint Deformations of Manifolds, Coherent Sheaves and Sections

技術要約：多様体、連接層、および切断の結合変形

問題提起
本論文は、標数0の体上の滑らかな多様体 $X$、その上の連接層 $F$、および大域切断 $\sigma \in H^0(X, F)$ の三つ組 $(X, F, \sigma)$ の変形理論を扱う。ペア $(X, Z)$（ここで $Z$ は因子）の変形理論は、複体 $\Theta_X \xrightarrow{\gamma} N_{Z|X}$ の超コホモロジーを通じて十分に理解されているが、重大な技術的欠落が存在する。すなわち、複体 $D = [\Theta_X \xrightarrow{\gamma} N_{Z|X}]$ は、自然には微分次数付きLie代数（DG-Lie代数）の構造を持たない。この欠如により、標準的な構成法であるMaurer–Cartan解やゲージ同値を用いて変形を研究することが困難になっている。特に、一次の障害（primary obstructions）やマッシー積（Massey products）を計算する際にこれが顕著となる。

著者らおよびその他の研究者による先行研究では、線束 $L$ と切断 $\sigma$ に対して、変形は複体 $P(X, L) \xrightarrow{e_\sigma} L$（ここで $P(X, L)$ は一次微分作用素の層）によって制御されることが確立されている。しかし、任意の連接層 $F$（局所自由でない場合を含む）とその切断に対する一般的な枠組みは欠けていた。

手法
著者らは、これらの変形を制御するメカニズムを構築するために、DG-Lie代数とデリーグ・グルポイド（Deligne groupoids）の理論を採用している。その手法は以下の段階を経て進行する：

1. 分解と構成： 連接層 $F$ に対して、著者らは有限の局所自由分解 $E^\bullet$ と、$\sigma$ のリフトとなる切断 $s \in H^0(X, E^0)$ を選択する。そして、評価射 $e_s: P^\bullet(X, E^\bullet) \to E^\bullet$ の写像コーンとして定義される、DG-Lieアルベル（DG-Lie algebroid）の層 $C^\bullet(X, E^\bullet, s)$ を構成する。ここで $P^\bullet(X, E^\bullet)$ は、スカラー記号を持つ一次微分作用素の層を表す。
2. 分解の独立性： ホモロジー代数の手法（具体的には「サイクルを殺す（killing cycles）」手続きと準同型写像の性質）を用いて、DG-Lieアルベル $C^\bullet(X, E^\bullet, s)$ の準同型類が、分解 $(E^\bullet, s)$ の選択に依存しないことを証明する。
3. 降下理論： 局所的なアフィン・パッチから大域的な多様体 $X$ へ移行するために、著者らは、$C^\bullet$ のアフィン開被覆への制限からなる半双可換（semicosimplicial）DG-Lie代数のThom–Whitney全単化（totalization）を利用する。そして、デリーグ・グルポイドに関するHinichの降下定理の変種（具体的にはFiorenza–Iacono–Martinengoによる拡張）を適用し、大域的な変形関手と、構成されたDG-Lie代数の導来大域切断との関係を記述する。
4. 形式的グルポイド： 著者らは、無限小変形の同値類を表す形式的グルポイド $G(X,F,\sigma)$ を定義する。そして、これらのグルポイドと、構成されたDG-Lie代数に関連するデリーグ・グルポイドとの間の同値性を確立する。

主要な貢献と結果

• 主定理 (Theorem 5.6): 三つ組 $(X, F, \sigma)$ の無限小変形は、導来大域切断のDG-Lie代数 $L$ によって制御される。具体的には、変形関手の同型が存在する：
  $$\text{Def}_{\text{Tot}(U, C^\bullet)} \cong \text{Def}_{(X,F,\sigma)}$$
  したがって、変形の接空間は $T^1_{(X,F,\sigma)} = H^1(X, C^\bullet(X, E^\bullet, s))$ と識別され、障害は $T^2_{(X,F,\sigma)} = H^2(X, C^\bullet(X, E^\bullet, s))$ に存在する。
• 切断への一般化： この枠組みは、評価写像のターゲットを分解の直和に置き換えることで、有限個の切断の列 $\sigma_1, \dots, \sigma_n$ へと自然に拡張される。
• 既知の結果の回収 (Section 6): $F = L$ が線束であり、$\sigma$ が因子 $Z$ を定義する場合、複体 $C^\bullet(X, L, \sigma)$ が古典的な複体 $\Theta_X \xrightarrow{\gamma} N_{Z|X}$ と準同型であることを示している。これにより、この複体の超コホモロジーがペア $(X, Z)$ の変形を制御するという既知の結果が回収される。
• 構造的洞察 (Example 6.2): 著者らは、$\Theta_X \xrightarrow{\gamma} N_{Z|X}$ が、射影をDG-Lie射とするような $\Theta_X$ 上のLie括弧と両立するDG-Lie代数の構造を持たないことを明示的に証明している。これは、有効なDG-Lie構造を得るために、中間的な微分作用素の層 $P(X, L)$ が必要であることを強調している。
• 滑らかさの判定基準 (Corollary 5.8): もし $H^1(X, F) = 0$ ならば、$(X, F, \sigma)$ の変形から $(X, F)$ の変形への忘却射は滑らかである。

意義
本論文は、多様体、連接層、および切断の結合変形のための、統一的かつ厳密なDG-Lie代数の枠組みを提供することで、その意義を主張している。このアプローチは、標準的な接・法複体がDG-Lie構造を持たない場合における、非局所自由な連接層と切断を扱う際の技術的な困難を解決する。構成された写像コーンの導来大域切断がこれらの変形を制御することを確立することにより、著者らは、より広いクラスの幾何学的対象に対して、標準的な変形理論のツール（障害理論やマッシー積など）の適用を可能にしている。さらに、本研究は、因子 $Z$ が特異である可能性のあるケースも含め、ペア $(X, Z)$ の変形に関する既存の結果を、対数ベクトル場（logarithmic vector fields）の層のみを制御因子とする必要なく、一般化している。