Algebraic cobordism rings of wonderful varieties and matroids

技术摘要：奇妙簇与拟阵的代数余维环

问题陈述
本文研究了与拟阵相关的特定类簇的代数余维环 $\Omega^*(X)$ 的计算与结构理解：即无环拟阵 $M$ 的 Bergman 扇对应的环面簇 $X_M$，以及复超平面排列 $H$ 的奇妙紧化（wonderful compactification）$W_H$。虽然 $X_M$ 和 $W_H$ 的 Chow 环 $CH^*(X_M)$、$CH^*(W_H)$ 以及 K-环 $K_0(X_M)$、$K_0(W_H)$ 已被广泛研究，并被证明具有丰富的组合结构（包括“Kähler 包”以及 Chow 环与 K-理论之间异常的整同构），但此前尚无关于其代数余维环 $\Omega^*(X_M)$ 和 $\Omega^*(W_H)$ 的显式表示。代数余维由 Levine 和 Morel 构建，是通用的定向上同调理论，由于它涉及过 Lazard 环 $L^*$ 的通用形式群律，这使得其计算比 Chow 理论或 K-理论要困难得多。

方法论
作者结合了组合代数、形式群律理论以及环面簇和吹胀（blow-ups）的几何学。

1. 环面簇框架： 作者利用了 Krishna 和 Uma 对光滑环面簇 $X_\Sigma$ 的代数余维环的描述。该表示涉及由环面除子对应的生成元，以及源自扇的组合特性和通用形式群律 $F_U$ 的关系。
2. 组合表示： 他们将用于拟阵环面簇 Chow 环的 Feichtner–Yuzvinsky 表示适配到代数余维的情境中。这涉及定义一个由由非空拟阵平坦（flats）索引的变量生成的环，并对来自不可比平坦和形式群律的关系进行取模。
3. 单纯表示： 一个关键的方法论步骤是推导出 $\Omega^*(X_M)$ 的“单纯”表示。这涉及通过在平坦格（lattice of flats）上进行 Möbius 反转来进行变量替换，从而将 Chow 和 K-理论背景下的“单纯生成元”提升到余维设置中。
4. 比较定理： 作者利用了代数余维、Chow 理论与复余维（$MU^*$）之间的比较定理。具体而言，他们利用了对于某些簇，自然映射 $\Omega^*(X) \to CH^*(X)$ 允许我们在 $CH^*(X)$ 是 $\mathbb{Z}$ 上的自由模时，将 $\Omega^*(X)$ 恢复为 $L^*$ 上的自由模这一事实。
5. 嵌入分析： 对于奇妙簇 $W_H$，作者分析了规范包含 $\iota: W_H \hookrightarrow X_{M_H}$。通过研究循环类映射以及 $W_H$ 作为射影空间的迭代吹胀的结构，他们证明了该包含诱导了相关上同调环的同构。

主要贡献与结果

1. $\Omega^*(X_M)$ 的单纯表示：
   主要结果是给出了与无环拟阵 $M$ 相关的环面簇 $X_M$ 的代数余维环的组合表示。该环被表示为一个由非空平坦 $G$ 索引的元素 $h_G$（单纯生成元的提升）生成的 $L^*$-代数，受限于涉及形式群律 $F_U$ 的关系：
   $$\Omega^*(X_M) \cong \frac{L^*[h_G : G \neq \emptyset]}{\langle (h_G - h_{G \vee H})(h_H - h_{G \vee H}) \rangle + \langle h_G : \text{rank}(G)=1 \rangle}$$
   至关重要的是，该表示产生了一个 $L^*$-代数同构：
   $$\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$$
   这一结果意味着，对于任何自由定向上同调理论 $h^*$，都有 $h^*(X_M) \cong \Omega^*(X_M) \otimes_{L^*} h^*(pt)$。

2. 异常同构的推广：
   上述同构 $\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$ 推广了最近由 Berget–Eur–Spink–Tseng 和 Larson–Li–Payne–Proudfoot 建立的“异常同构” $K_0(X_M) \cong CH^*(X_M)$。作者指出这种性质是罕见的；他们引用了 Speyer 的例子，即存在一个光滑射影环面簇使得 $CH^*(X) \not\cong K_0(X)$，从而证明了拟阵环面簇的同构是一种特殊的结构特征。

3. 奇妙簇的同构：
   作者证明了包含 $\iota: W_H \hookrightarrow X_{M_H}$ 诱导了代数余维环的同构：
   $$\iota^*: \Omega^*(X_{M_H}) \xrightarrow{\sim} \Omega^*(W_H)$$
   此外，他们确立了从代数余维到复余维的自然映射诱导了一个同构：
   $$\Omega^*(W_H) \xrightarrow{\sim} MU^*(W_H(\mathbb{C}))$$
   因此，奇妙簇的代数余维环与其复余维环一致，并且同构于其 Chow 环与 Lazard 环的张量积。

4. 对拟阵结构的依赖性：
   论文表明，在 $\Omega^*(pt)$（以及 $MU^*(pt)$）中的余维类 $[W_H \to pt]$ 仅取决于超平面排列 $H$ 的底层拟阵 $M_H$。通过利用 Cheng 关于切丛总 Chern 类的公式，验证了 $W_H$ 的 Chern 数完全由 $M_H$ 的组合特性决定，从而证明了这一点。

意义与主张

本文声称提供了 Bergman 扇环面簇和超平面排列奇妙紧化之代数余维环的首个显式组合表示。通过建立同构 $\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$，作者表明这些簇的复杂结构完全受其 Chow 环和通用形式群律的支配。

其意义在于：

• 统一性： 它将拟阵簇的 Chow 环、K-环和代数余维环的研究统一在一个单一的框架下，表明 Chow 理论与 K-理论之间的“异常同构”是涉及代数余维的更深层同构的一个影子。
• 计算可行性： 它提供了一种计算这些簇（通常难以计算）的代数余维类的方法。
• 拟阵不变量： 它证实了奇妙紧化（wonderful compactification）的深层几何不变量（如 $\Omega^*(pt)$ 中的余维类）是其底层拟阵 $M_H$ 的纯组合不变量，将这一性质从 Chow 和 K-理论扩展到了通用的定向上同调理论。

作者明确指出，虽然他们在相关背景下（通过 Ellis-Bloor）提供了 $M_{0,n}$ 的递归公式，但关于 $[W_H \to pt]$ 关于 Lazard 环生成元的显式递归公式仍是未来的研究方向。他们还指出，同构 $\Omega^*(X) \cong CH^*(X) \otimes L^*$ 并不适用于所有的光滑射影环面簇，凸显了拟阵簇的特殊性。