Real algebraic varieties and their intersection cohomology

技術要約：実代数多様体とその交差コホモロジー

問題提起
本論文は、実代数多様体に対する交差コホモロジー群の存在に関する、ゴレスキーとマクファーニーによる根本的な問いに取り組んでいる。複素数の設定では、特異な多様体 $Y$ に対して、交差コホモロジー群 $IH^*(Y(\mathbb{C}), k)$ は、基本類とのキャップ積を分解するポアンカレ自己双対理論を提供する。これらは、滑らかな領域上の定数層を拡張する一意なヴェルディエ自己双対パーバース層として本質的に現れ、また、任意の特異点分解による定数層の押し出しの直和成分として外延的に現れる（分解定理による）。

実多様体 $Y$ の場合、$H^*(Y(\mathbb{R}), \mathbb{F}_2)$ における基本類とのキャップ積は一般に同型を誘導せず、「交差コホモロジー」と呼ばれる性質を満たす標準的な族も存在しなかった。マクリューリー＝パルシンスキーやファン・ハメルによる先行研究は解決策を提示したが、幾何学的または共変的なアプローチにおいて大きく異なり、有限性や完全なペアリングの性質を欠く場合があった。本論文は、特に $\mathbb{F}_2$ 係数を用いて、交差コホモロジーのように振る舞う実的な類似物を構築することを目指している。

手法
著者は外延的なアプローチを採用し、望ましい対象を、特異点分解 $f: X \to Y$ に沿った定数層の派生押し出しの中の特定の直和成分として構成する。この手法は、実代数多様体上の構成的層の形式論（$\mathbb{F}_2$ 係数）に基づいている。

主な技術的ステップは以下の通りである：

1. クルル・シュミット分解： 本論文は、構成的層の派生圏 $D^b_c(Y(\mathbb{R}), \mathbb{F}_2)$ がクルル・シュミット的であることを利用している。これにより、任意の分解 $f: X \to Y$ に対する押し出し $Rf_* \mathbb{1}_{X(\mathbb{R})}$ が、既約な対象の有限個の直和へと一意に分解されることが保証される。
2. 双有理写像の分裂： 滑らかな実多様体間の固有双有理写像 $g: W \to X$ に対して、標準的な写像 $\mathbb{1}_{X(\mathbb{R})} \to Rg_* \mathbb{1}_{W(\mathbb{R})}$ が分裂単射となることを示す重要な補題を確立している。この分裂は、押し出しの下での基本類の適合性によって誘導される。
3. 分解の独立性： 任意の二つの分解が第三の分解によって支配されることを示し、分裂の性質を利用することで、「稠密な」押し出しの部分（滑らかな領域上の定数層を拡張する部分）が分解の選択に依存しないことを証明する。
4. モチーフ的変種： 二次的な構成として、$E_{num}(Y_R)$ を、Chow群からボレル・ムーアホモロジーへの実サイクル類写像の像を用いて定義する。この変種は、Zariski局所的（Zariski-local）であるように設計されており、これは主要な構成においては直ちに明らかではない性質である。

主要な貢献と結果

• 実幾何学的拡張の構成 ($E(Y_R)$):
  本論文は、$Y(\mathbb{R})$ 上の複体 $E(Y_R)$ を定義する。これは実幾何学的拡張と呼ばれ、任意の分解 $f: X \to Y$ に対する $Rf_* \mathbb{1}_{X(\mathbb{R})}$ の一意な直和成分として特徴付けられる。これは、滑らかな領域 $Y^{sm}(\mathbb{R})$ 上の定数層を拡張し、かつその性質を持つ真の直和成分を持たないものである。

• ポアンカレ双対性と自己双対性:
  $E(Y_R)$ は、多様体の次元 $d$ によるシフトを除いてヴェルディエ自己双対である（$DE(Y_R) \cong E(Y_R)[d]$）。その結果、超コホモロジー群 $E^i(Y(\mathbb{R}), \mathbb{F}_2)$ はポアンカレ双対同型を満たす：
  $$E^i(Y(\mathbb{R}), \mathbb{F}_2) \cong E^{d-i}(Y(\mathbb{R}), \mathbb{F}_2)^\vee$$
  この双対性は、派生圏における同型の選択によって誘導されるが、これは $\mathbb{F}_2$ 上であっても非標準的（non-canonical）である。

• 分解と下界:
  本構成は、基本類とのキャップ積を分解する標準的な比較写像 $\gamma^i: H^i(Y(\mathbb{R}), \mathbb{F}_2) \to E^i(Y(\mathbb{R}), \mathbb{F}_2)$ を提供する。さらに、$E(Y_R)$ の茎（stalk）は、任意の特異点分解のファイバーのベッチ数の下界を与える：
  $$\dim H^i(i_y^* E(Y_R)) \leq \dim H^i(F_y(\mathbb{R}), \mathbb{F}_2)$$

• 特殊なケースにおける明示的な記述:

  • スモール分解: もし $Y$ がスモール分解 $f: X \to Y$ を持つならば、$E(Y_R) \cong Rf_* \mathbb{1}_{X(\mathbb{R})}$ となる。
  • 孤立特異点: 特異例外因子に関する特定の位相的条件（例：自明な法束）を満たす孤立特異点を持つ多様体に対して、$E(Y_R)$ は爆発（blowup）からの定数層の押し出しと同定される。
  • シューベルト多様体: 実フラッグ多様体上では、実幾何学的拡張の圏は、対応する複素フラッグ多様体上の**偶数パリティ層（even parity sheaves）**の圏と等価であることが示されている。この等価性は次数を倍にする：$E^i(X(w)(\mathbb{R})) \cong H^{2i}(E(X(w)(\mathbb{C})))$。

• モチーフ的変種 ($E_{num}$):
  本論文は、実サイクル類写像を通じて定義される変種 $E_{num}(Y_R)$ を導入する。この対象はZariski局所的であり（その開集合への制限は、その開集合上の拡張となる）、$E(Y_R)$ と同様の双対性と有限性の性質を共有している。著者は、$E_{num}$ はより優れた形式的性質を持つものの、計算においては明示性に欠けること、また、$E(Y_R)$ と $E_{num}(Y_R)$ が異なるケースがあるかどうかは現時点では不明であることを述べている。

意義と主張
本論文は、実多様体のための、交差コホモロジーのように振る舞う $\mathbb{F}_2$ ベクトル空間の族を構成することにより、ゴレスキー＝マクファーニーの問いに対する解を提供すると主張している。その意義は以下の点にある：

1. 外延的な定義: 複素交差コホモロジーの（パーセビティ境界による）内的な定義とは異なり、この構成は純粋に外延的であり、分解を通じて定義される。これは、実の設定においてパーセビティ構造が欠如しており、実幾何学的拡張がパーセビティ境界を満たさないために必要とされる。
2. パリティ層との関連: 実シューベルト多様体上の実幾何学的拡張と複素多様体上の偶数パリティ層との間の等価性は、実代数幾何学と複素群の表現論との間の深い構造的関連を示唆している。
3. 既存の研究への補完: 著者は、本研究を、マクリューリー＝パルシンスキーの幾何学的アプローチやファン・ハメルの共変的アプローチを実の設定へと自然に一般化したものとして位置づけている。

本論文は、双対同型の非標準性（それが選択であることを注記している）や、主要な構成とモチーフ的変種との間に差異がある可能性について、控えめな姿勢を保っている。また、構成が単なる位相的性質ではなく、多様体の構造に依存することを、同相な実点集合を持つ非同型な多様体の例を用いて明示している。