Rational Homotopy Type of Complements of Submanifold Arrangements

技术摘要：子流形排列补集的有理同伦型

问题陈述
本文旨在解决确定有理同伦型的问题，对象为 $U = X - \bigcup_{i \in N} Z_i$，其中 $X$ 是一个复数域上的光滑紧致代数簇，而 $\{Z_i\}$ 是一组子簇，满足所有集合论意义上的交集 $Z_I = \bigcap_{i \in I} Z_i$ 均为光滑的。虽然正规交叉除子（NCD）补集的有理同伦型通过 J. Morgan 的工作（利用 Leray 谱序列）已得到充分理解，但对于任意光滑排列（其中交集的余维数可能大于 1）的统一且显式的交换微分分次代数（cdga）模型一直处于缺失状态。现有的方法通常依赖于通过解析奇异性（例如 Hironaka 的解析或 De Concini-Procesi 的奇妙紧化）将问题归约为 NCD 情况，但这在计算上可能难以处理，或者会掩盖排列的组合结构。

方法论
作者开发了一种避开显式几何解析的同调方法。该方法依赖于**混合 Hodge 图（MHD）和混合 Hodge 复形（MHC）**理论，特别是利用了 Cirici 和 Horel 建立的函子式框架。

1. 格理论形式化（Lattice Formalism）： 本文引入了 $(L, \leq)$-对象及 $(L, \leq)$-链代数的形式化方法，其中 $L$ 是一个偏序集（具体为局部上格或几何格），代表交集的结构。这包括将 Orlik-Solomon (OS) 代数构造为 $(L, \leq)$-链代数。
2. Mayer-Vietoris 解析： 构建了一个“Mayer-Vietoris 复形” $MV^\circ$，它是排列上的层与 OS 代数的卷积。该复形模拟了导出推前算子 $Rj_* j^* \mathbb{Q}$，但最初是非交换的。
3. Čech 构造： 为了获得一个交换模型，作者应用了 Čech 构造，将非交换的 Mayer-Vietoris 复形升级为真正的 cdga。
4. 混合 Hodge 图： 核心技术创新是基于该解析构造了一个混合 Hodge 图 (MVHD)。通过应用 Cirici-Horel 定理（定理 1.2.13）——即关于权重过滤的混合 Hodge 图的 $E_1$ 项在函子意义下与底层有理 cdga 拟同构——作者直接从交集的上同调中提取出有理模型。

主要贡献与结果

• 广义 Morgan 模型（定理 0.1.2）： 本文构造了一个第二象限乘法谱序列 $(E_r, d_r)$，收敛于补集 $U$ 的有理同伦型。

  • $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)$ 是相对上同调 $Z_I$ 在 $X$ 中的上同调。
  • 微分 $d_1$ 通过由包含映射和 Grassmann 代数上的导数诱导的自然映射来定义。
  • 至关重要的是，$E_2 = E_\infty$，并且存在一个函子拟同构 $E_1 \xrightarrow{\sim} A_{PL}(U)$。这在不要求归约为 NCD 情况的前提下，将 Morgan 对 NCD 的结果推广到了任意光滑排列。

• 局部几何排列的格模型（定理 0.1.6）： 对于交集偏序集为局部几何格（一个推广干净交集条件的条件）的排列，作者提供了一个更经济的模型。

  • 该模型利用了与格相关的 Orlik-Solomon 代数 $OS(L)$。
  • 它通过拟同构 $E_1 \xrightarrow{\sim} A_{PL}(U)$ 恢复有理同伦型，其中 $E_1$ 项涉及交集的上同调与 OS 代数的分次部分之张量积。
  • 该结果意味着“立方”模型（定理 0.1.2）是格模型的函子推论。

• 上同调与 Hodge 结构（定理 0.1.3）： 本文建立了一个尊重混合 Hodge 结构的补集上同调乘法谱序列。它证明了 $E_2$ 项同构于上同调关于权重过滤（经过 decalage 处理后）的结合上同调的结合代数，从而提供了代数结构的自然分裂。

应用
这些模型展示了其在统一地恢复和推广已知结果方面的效用：

1. 仿射子空间排列： 将 Yuzvinsky 的相对原子模型推广到仿射情形。本文证明了 $c$-等余维数排列的补集是形式的（Formal）（定理 0.2.1）。
2. 染色构型空间： 将配置空间 $F(M, n)$ 的 Kriz-Totaro 模型推广到与图 $G$ 相关的染色构型空间 $F(M, G)$（定理 0.2.4）。本文提供了一个显式的 cdga 模型，其生成元对应于 $G$ 的边，关系源自 $G$ 中的圈，并且在图的自同构群下是等变的。

意义与主张
本文声称为计算光滑子流形排列补集的有理同伦型提供了一种统一、函子化且显式的方法。

• 避免解析： 一个主要的意义在于避免了使用难以处理的显式几何解析（如奇妙紧化）。该方法是纯粹的同调与组合性的。
• 函子性： 所构造的模型对于排列的态射是函子的，允许研究作用在有理同伦型上的群作用。
• 统一性： 该框架在基于混合 Hodge 图和格组合论的单一理论框架下，统一了此前迥异的模型（Morgan 的 NCD 模型、Yuzvinsky 的线性排列模型以及 Kriz-Totaro 的配置空间模型）。
• Hodge 结构： 构造过程自然地纳入了补集的混合 Hodge 结构，证明了即使在上同调本身不是纯的（pure）的情况下，其有理同伦型也可以由谱序列意义下的纯 Hodge 复形来建模。

这项工作被视为对 Cirici-Horel 混合 Hodge 图理论的发展，并将其应用于特定的几何排列背景中，为代数几何中的有理同伦论提供了一个强大的工具。