Real algebraic varieties and their intersection cohomology

技术摘要：实代数簇及其交集上同调

问题陈述
本文探讨了由 Goresky 和 MacPherson 提出的一个基本问题，即关于实代数簇是否存在交集上同调群的问题。在复情形下，对于奇异簇 $Y$，交集上同调群 $IH^*(Y(\mathbb{C}), k)$ 提供了一个满足与基本类（fundamental class）作帽积（cap product）分解的庞卡莱自对偶理论。它们本质上表现为将光滑区域上的常层（constant sheaf）进行延拓的唯一的 Verdier 自对偶亏折层（perverse sheaf）；外在则表现为任何奇异性解析（resolution of singularities）下常层推前（pushforward）的一个直接和项（direct summand）（通过分解定理 Decomposition Theorem 可知）。

对于实簇 $Y$，与基本类在 $H^*(Y(\mathbb{R}), \mathbb{F}_2)$ 中的帽积通常不会诱导出一个同构，且此前并不存在能够满足类似对偶性和分解性质的规范性的“交集上同调”群族。McCrory-Parusiński 和 van Hamel 的先前构造虽然提供了解决方案，但在几何或等变方法上存在显著差异，有时缺乏有限性或完美配对（perfect pairing）性质。本文旨在构造一个行为类似于交集上同调的实类比对象，特别是在使用 $\mathbb{F}_2$ 系数的情况下。

方法论
作者采用了一种外在方法，将目标对象构造为奇异性解析 $f: X \to Y$ 下常层导出推前中的一个特定的直接和项。该方法论依赖于实代数簇上构造层（constructible sheaves）在 $\mathbb{F}_2$ 系数下的形式化理论。

关键技术步骤包括：

1. Krull-Schmidt 分解：论文利用了构造层导出范畴 $D^b_c(Y(\mathbb{R}), \mathbb{F}_2)$ 是 Krull-Schmidt 范畴这一事实。这确保了对于任何解析 $f: X \to Y$，推前 $Rf_* \mathbb{1}_{X(\mathbb{R})}$ 都可以唯一地分解为有限个不可约对象（indecomposable objects）的直和。
2. 双有理映射的分裂：一个关键引理确立了：对于两个光滑实簇之间的适当双有理映射 $g: W \to X$，规范映射 $\mathbb{1}_{X(\mathbb{R})} \to Rg_* \mathbb{1}_{W(\mathbb{R})}$ 是一个分裂单态射（split monomorphism）。这种分裂是由基本类在推前下的相容性所诱导的。
3. 独立于解析的选择：通过证明任何两个解析都被第三个解析所支配，并利用上述分裂性质，作者证明了推前的“稠密”和项（即在光滑区域上延拓常层的部分）是独立于解析的选择的。
4. 动机变体（Motivic Variant）：定义了一个次要构造 $E_{num}(Y_R)$，它利用从 Chow 群到 Borel-Moore 上同调的实循环类映射（real cycle class map）的像。该变体旨在实现 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$ 的平移下是 Verdier 自对偶的（即 $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$ 上该选择也是非规范的。

• 分解与下界：
  该构造提供了规范的比较映射 $\gamma^i: H^i(Y(\mathbb{R}), \mathbb{F}_2) \to E^i(Y(\mathbb{R}), \mathbb{F}_2)$，这些映射分解了与基本类作帽积的过程。此外，$E(Y_R)$ 的茎（stalks）为任何奇异性解析中纤维的 Betti 数提供了下界：
  $$\dim H^i(i_y^* E(Y_R)) \leq \dim H^i(F_y(\mathbb{R}), \mathbb{F}_2)$$

• 特殊情形的显式描述：

  • 小解析（Small Resolutions）：如果 $Y$ 拥有一个小解析 $f: X \to Y$，则 $E(Y_R) \cong Rf_* \mathbb{1}_{X(\mathbb{R})}$。
  • 孤立奇异性：对于满足特定例外除子（exceptional divisor）拓扑条件（例如平凡法丛）的具有孤立奇异性的簇，$E(Y_R)$ 被识别为来自吹胀（blowup）的常层推前。
  • Schubert 簇：在实旗簇（real flag varieties）上，实几何延拓的范畴被证明等价于相应复旗簇上的**偶奇性层（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$ 向量空间，解决了 Goresky-MacPherson 问题。其意义在于：

1. 外在定义：不同于复交集上同调的内在定义（通过亏折度界限/perversity bounds），此构造是纯粹外在的，通过解析来定义。这是由于实情形下缺乏亏折 $t$-结构，且实几何延拓并不满足亏折度界限。
2. 与奇性层（Parity Sheaves）的联系：实几何延拓在 Schubert 簇上与复簇上的偶奇性层之间的等价关系，表明了实代数几何与复群表示论之间存在深刻的结构联系。
3. 对现有工作的补充：作者将这项工作定位为对 McCrory-Parusiński 的几何方法和 van Hamel 的等变方法的自然推广。

论文对于对偶同构的唯一性保持了审慎态度（指出这是一种选择），并对初级构造与动机变体之间可能存在的差异表示关注。论文明确指出，该构造取决于簇的结构，而非仅仅取决于其底层的拓扑结构，这一点已通过具有同胚实点集的非同构簇的例子得到了证实。