Filtrations of Tope Spaces of Oriented Matroids

技术摘要：定向拟阵顶子空间滤过的研究

问题陈述
本文研究了定向拟阵 $M$ 的顶子空间（tope space）的结构，该空间定义为由 $M$ 的顶子（最大余向量）集合生成的自由模。具体而言，作者探讨了当该空间在域 $\mathbb{Z}/2\mathbb{Z}$ 上考虑时，其三种不同滤过之间的关系。这些滤过源于不同的数学背景：

1. 对偶 Varchenko–Gelfand 滤过（$P_\bullet$），源于顶子空间上 Heaviside 函数环的度滤过。
2. Kalinin 滤过（$K_\bullet$），由配备共轭对合的 Salvetti 复形的谱序列诱导。
3. Quillen 滤过（$Q_\bullet$），通过关联于与完全平坦旗相邻的仿射子空间的群代数的增广滤过构造而成。

尽管已知这些滤过的存在性，但它们之间的精确关系及其诱导映射到同调群的相容性尚未完全确立，特别是关于它们是否重合以及它们如何与 Orlik–Solomon 代数和 Salvetti 复形同调相关联的问题。

方法论
作者结合了组合代数、谱序列理论和 Salvetti 复形的拓扑学。

• 组合描述：本文利用“前缀链”（也称为砖块）来明确描述对偶 Varchenko–Gelfand 滤过的生成元。同时也利用仿射坐标子空间来描述 Quillen 滤过。
• 拓扑模型：Salvetti 复形（$Sal_M$）作为定向拟阵“复化”的拓扑模型。作者分析了该复形上的对合（共轭），指出其不动点对应于顶子集合。
• 谱序列：Kalinin 滤过通过分析 Salvetti 复形上对合关联的谱序列进行研究。作者证明了该序列对于定向拟阵在第一页退化，从而简化了滤过结构。
• 代数同构：作者利用了 Salvetti 复形同调与对偶 Orlik–Solomon 代数之间的 Björner–Ziegler 同构（$BZ^\vee$）。此外，还引入了 Cordovil 代数，作为比 Orlik–Solomon 代数更能捕捉 $\mathbb{Z}$ 上定向拟阵数据的交换类比。

主要结果

1. 滤过的重合（定理 A）：
   主要结果确立了对于任意定向拟阵 $M$，$\mathbb{Z}/2\mathbb{Z}$-顶子空间的三种滤过是相同的：
   $$Q_\bullet(M) = P_\bullet(M) = K_\bullet(M)$$
   证明过程通过建立包含链 $Q_\bullet \subseteq P_\bullet \subseteq K_\bullet$，并证明所有三种滤过的关联分次部分的维数相匹配，从而迫使它们相等。

2. 诱导映射的相容性（定理 B）：
   本文比较了这些滤过诱导到 Salvetti 复形同调 $H_p(Sal_M; \mathbb{Z}/2\mathbb{Z})$ 和对偶 Orlik–Solomon 代数 $OS^p(M; \mathbb{Z}/2\mathbb{Z})$ 的映射。

   • 证明了映射 $bvp$（来自 Kalinin 滤过/Viro 同态）与映射 $ap$（来自对偶 Varchenko–Gelfand 滤过/Denham 同构）相等。
   • 证明了涉及 Quillen 映射 $qp$ 和对偶 Björner–Ziegler 同构 $BZ^\vee$ 的图表是可交换的。
   • 因此，所有三种滤过在其关联分次部分与同调群之间（通过 $BZ^\vee$ 提供的识别）都导出相同的同构。

3. 扩展到整系数和余层（定理 C）：
   虽然 Quillen 和 Kalinin 滤过在 $\mathbb{Z}$ 上表现不佳（Quillen 滤过不稳定，且简单的 Kalinin 扩展未定义），但对偶 Varchenko–Gelfand 滤过在 $\mathbb{Z}$ 上是良定义的。

   • 作者证明了该滤过关于初始拟阵（删除/收缩运算）是函子性的。
   • 这使得可以在底层拟阵的多面体扇上构造 $\mathbb{Z}$-符号余层 的滤过。
   • 该整系数滤过的关联分次部分被识别为 Cordovil 余层（$A_p$），从而导出一个余层的短正合序列：
     $$0 \to P_{p+1} \to P_p \to A_p \to 0$$
   • 本文指出，虽然 Cordovil 代数的模 2 约化同构于 Orlik–Solomon 代数，但在此正合序列中将 Orlik–Solomon 代数直接提升到 $\mathbb{Z}$ 是不可能的（如示例 6.17 所示），因此对于整系数情形必须使用 Cordovil 代数。

意义与主张
本文声称统一了三种此前截然不同的定向拟阵顶子空间滤过方法。通过证明它们在 $\mathbb{Z}/2\mathbb{Z}$ 上的重合，作者提供了一个稳健的组合框架，将以下内容联系起来：

• 奇点理论：通过 Varchenko–Gelfand 度滤过及其与渐近滤过的关系。
• 实代数几何：通过 Kalinin 滤过及其与 Smith–Thom 不等式和 Viro 的拼合（patchworking）的联系。
• 组合同调：通过 Quillen 滤过及其与 Orlik–Solomon 代数的关系。

通过 Cordovil 代数向 $\mathbb{Z}$ 系数的扩展被呈现为研究具有实相结构的热带流形中整同调的必要细化。作者提出，该符号余层的整系数滤过提供了 Kalinin 滤过的热带/组合版本，为计算由拼合产生的超曲面实部在 $\mathbb{Z}$ 上的同调提供了工具。这项工作依赖并扩展了 Renaudineau、第一作者及其他人的先前成果，特别是将模 2 结果推广到 Orlik–Solomon 代数不足的整系数情形。