Rational Homotopy Type of Complements of Submanifold Arrangements

技術要約：部分多様体配置の補集合の有理ホモトピー型

問題設定
本論文は、滑らかなコンパクト代数多様体 $X$（複素数体 $\mathbb{C}$ 上）と、その部分多様体の集合 $\{Z_i\}$ に対する補集合 $U = X - \bigcup_{i \in N} Z_i$ の有理ホモトピー型を決定する問題に取り組んでいる。ここで、すべての集合論的な交わり $Z_I = \bigcap_{i \in I} Z_i$ は滑らかであるとする。正規交差因子（NCD）の補集合の有理ホモトピー型は、J. Morgan の研究（Leray スペクトル系列の利用）を通じてよく理解されているが、任意の滑らかな配置（交わりが余次元 $>1$ になる場合を含む）に対する統一的かつ明示的な可換微分次数付き代数（cdga）モデルは欠けていた。既存のアプローチは、多くの場合、NCD のケースに問題を帰着させるために、幾何学的分解（例えば、Hironaka の分解や De Concini-Procesi の wonderful compactification）に依存しているが、これらは計算量的に困難であったり、配置の組合せ論的構造を不明瞭にしたりすることがある。

手法
著者は、明示的な幾何学的分解を回避するホモロジー的な手法を開発している。この手法は、**混合ホッジ図式（Mixed Hodge Diagrams: MHD）および混合ホッジ複体（Mixed Hodge Complexes: MHC）**の理論、具体的には Cirici と Horel によって確立された関手的な枠組みに基づいている。

1. 格子形式（Lattice Formalism）: 本論文は、$(L, \leq)$-対象および $(L, \leq)$-鎖代数のための形式論を導入する。ここで $L$ は、配置の交わり構造を表すポセット（具体的には局所的な sup-lattice または幾何学的格子）である。これには、$(L, \leq)$-鎖代数としてのOrlik-Solomon (OS) 代数の構成が含まれる。
2. マイヤー・ヴィートリス分解（Mayer-Vietoris Resolution）: 配置上の層と OS 代数の畳み込みとして、「マイヤー・ヴィートリス複体」$MV^\circ$ が構成される。この複体は、導来押し出し $Rj_* j^* \mathbb{Q}$ をモデル化するものであるが、初期状態では非可換である。
3. Čech 構成: 非可換なマイヤー・ヴィートリス複体を、真の cdga へとアップグレードするために、著者は Čech 構成を適用する。
4. 混合ホッジ図式: 核となる技術的革新は、この分解に基づく**混合ホッジ図式（Mixed Hodge Diagram: MVHD）**の構築である。Cirici-Horel の定理（定理 1.2.13：重みフィルターに関する混合ホッジ図式の $E_1$ 項は、関手的に基礎となる有理 cdga と準同型である）を適用することで、著者は交わりのコホモロジーから直接、有理モデルを抽出する。

主要な貢献と結果

• 一般化された Morgan モデル (Theorem 0.1.2): 本論文は、補集合 $U$ の有理ホモトピー型に収束する第2象限の乗法スペクトル系列 $(E_r, d_r)$ を構成する。

  • $E_1$ 項は、$E_1^{pq} = \bigoplus_{|I|=-p} H^q_{Z_I}(X) \otimes \mathbb{Z} \cdot d\nu_I$ で与えられる。ここで $H^q_{Z_I}(X)$ は相対コホモロジーである。
  • 微分 $d_1$ は、包含写像およびグラスマン代数上の微分によって定義される。
  • 決定的なことに、$E_2 = E_\infty$ であり、関手的な準同型 $E_1 \xrightarrow{\sim} A_{PL}(U)$ が存在する。これは、NCD に対する Morgan の結果を、幾何学的分解を必要とせずに任意の滑らかな配置へと一般化したものである。

• 局所幾何学的配置に対する格子モデル (Theorem 0.1.6): 交わりポセットが**局所幾何学的格子（locally geometric lattice）**である配置（クリーンな交わりを一般化する条件）に対して、より経済的なモデルを提示する。

  • このモデルは、格子に関連付けられた Orlik-Solomon 代数 $OS(L)$ を利用する。
  • これは、準同型 $E_1 \xrightarrow{\sim} A_{PL}(U)$ を通じて有理ホモトピー型を回収する。ここで $E_1$ 項は、交わりのコホモロジーと OS 代数の次数付き成分とのテンソル積である。
  • この結果は、「立方体型（cubical）」モデル（Theorem 0.1.2）が、格子モデルの形式的な系であることを示唆している。

• コホモロジーとホッジ構造 (Theorem 0.1.3): 補集合のコホモロジーに対する、混合ホッジ構造を尊重する乗法スペクトル系列を確立する。これにより、$E_2$ 項が（デカラージュ後の）重みフィルターに関するコホモロジーの結合代数と同型であることが証明され、代数構造の自然な分裂が提供される。

応用
これらのモデルを用いて、既知の結果を統一的な方法で回収し、一般化する。

1. アフィン部分空間配置: Yuzvinsky の相対的な atomistic モデルをアフィン形式に一般化する。これにより、$c$-等余次元配置の補集合が**形式的（formal）**であることを証明する（Theorem 0.2.1）。
2. 彩色配置空間（Chromatic Configuration Spaces）: 配置空間 $F(M, n)$ に対する Kriz-Totaro モデルを、グラフ $G$ に関連する彩色配置空間 $F(M, G)$ へと一般化する（Theorem 0.2.4）。本論文は、グラフの辺に対応する生成元と、グラフのサイクルから導かれる関係式を含む、明示的な cdga モデルを提供し、これはグラフの自己同型群の下で共変である。

意義と主張
本論文は、滑らかな部分多様体配置の補集合の有理ホモトピー型を計算するための、統一的、関手的、かつ明示的な手法を提供すると主張している。

• 分解の回避: 主要な意義は、扱いが困難な wonderful compactification のような明示的な幾何学的分解を回避している点にある。このアプローチは純粋にホモロジー的かつ組合せ論的である。
• 関手性: 構築されたモデルは配置の射に対して関手的であり、有理ホモトピー型に対する群作用の研究を可能にする。
• 統一: 本フレームワークは、以前のバラバラなモデル（NCD に対する Morgan、線形配置に対する Yuzvinsky、配置空間に対する Kriz-Totaro）を、混合ホッジ図式と格子の組合せ論に基づく単一の理論的傘の下に統合する。
• ホッジ構造: 構築されたモデルは、補集合の混合ホッジ構造を自然に組み込んでおり、コホモロジー自体は純粋ではなくても、スペクトル系列の意味において、有理ホモトピー型が純粋なホッジ複体によってモデル化されることを示している。

本研究は、Cirici-Horel による混合ホッジ図式の発展であり、それを代数幾何学における配置補集合という特定の幾何学的文脈に適用したものであり、有理ホモトピー論のための強力なツールを提供している。