Some explicit counter-examples to Weibel's conjecture

技术摘要：Weibel 猜想的显式反例

问题陈述
本文探讨了由 Weibel 在 1980 年提出的关于交换 Noetherian 环负 K-理论消失性的问题。具体而言，问题 1 是：若 $R$ 是一个 Krull 维数为 $d$ 的交换 Noetherian 环，是否对于 $* < -d$，有 $K_*(R) = 0$？

虽然 Kerz–Strunk–Tamme 定理（2018）为 Noetherian 环提供了确定的肯定回答，但该问题对于非 Noetherian 环的状态仍然悬而未决。此前的研究表明，如果用“估值维数”（valuative dimension，即所有真双有理修改中 Krull 维数的上确界）代替 Krull 维数，则该消失性成立。然而，本文指出，对于非 Noetherian 环，其 Krull 维数可能严格小于其估值维数。本文探讨的核心问题是：在讨论负 K-理论的消失性时，Noetherian 条件是否是必不可少的。

方法论
作者利用一种类似于将球面 $S^d$ 构造为圆盘 $D^d$ 及其边界 $\partial D^d$ 的商的几何策略，构建了显式的反例。该构造依赖于三个主要部分：

1. Milnor 平方（Milnor Squares）： 环 $R$ 被构造为形式为 $R = R_\infty \times_{R_\infty/I_\infty} k$ 的拉回（Milnor 平方），其中 $k$ 是一个域。这种设置创建了一个“商”方案，其中“边界”被塌缩为一个点。
2. 正则方案的过滤极限： $R_\infty$ 被定义为正则方案（$X_n$ 或环面簇 $X_\Sigma$）的半局部化（semilocalizations）的过滤共极限（filtered colimit）。由于这些组成环是正则的，它们不存在负 K-理论。$K_*(R)$ 的非消失性完全源于 $R_\infty$ 与其商 $R_\infty/I_\infty$ 之间的相互作用。
3. 迭代吹胀与热带几何：
   • 对于 $d=2$： 构造始于一个包含由三角形排列的简单正规交叉（snc）除子的光滑曲面。作者在除子分支的交点处进行无穷序列的吹胀。这一过程迭代地用更小的面替换角点，从而创建一个类似于具有无穷多面的多面体的极限结构。
   • 对于 $d \ge 2$： 构造利用了环面簇（toric varieties）。作者考虑了一个通过细分扇形（fan）得到的光滑射影环面簇的过滤系统。其“边界”对应于稠密环面轨道（dense torus orbit）的补集。边界成分的交集模式通过**热带簇（tropical varieties）**进行追踪，这使得作者能够确保边界配置的极限在组合意义上表现得像一个 $(d-1)$ 维多面体。

关键结果

• 定理 2（主要结果）： 对于所有 $d \ge 2$，存在一个环 $R$，使得 $\text{Spec } R$ 恰好有两个点，$\text{Krull dim } R = 1$，且 $K_{-d}(R) \cong \mathbb{Z}$。
• 命题 4（$d=2$ 情况）： 提供了一个特定的构造，其中 $R$ 是由沿 snc 除子交点的曲面 $X_0$ 的一系列吹胀形成的。所得环 $R$ 的 Krull 维数为 1，且 $K_{-2}(R) \cong \mathbb{Z}$。
• 命题 6（$d \ge 2$ 情况）： 给出了一个使用环面簇的推广。通过取环面簇 $X_\Sigma$ 及其边界的半局部化的过滤极限，作者构造了一个 Krull 维数为 1 且 $K_{-d}(R)$ 非零的环 $R$。

非消失性的技术机制
$K_{-d}(R)$ 的非消失性源自与 Milnor 平方相关的 K-理论长正合序列。由于 $R_\infty$ 和 $k$ 是正则的，它们的负 K-群消失。该序列简化为同构：
$$K_{-d}(R) \cong K_{1-d}(R_\infty/I_\infty)$$
项 $K_{1-d}(R_\infty/I_\infty)$ 被识别为 cdh-上同调群 $H^{d-1}_{cdh}(\text{Spec } R_\infty/I_\infty, \mathbb{Z})$。由于边界的组合结构（被构造为类似于 $(d-1)$-球面或多面体），该上同调群同构于对应多面体的奇异上同调，从而在 $d-1$ 次数上产生 $\mathbb{Z}$。

意义与主张
本文声称提出了已知的第一批针对非 Noetherian 版本 Weibel 问题的反例。具体而言，它证明了当环不是 Noetherian 时，“Krull 维数 $d$”这一条件不足以保证对于 $* < -d$，$K_*(R)$ 的消失。

作者指出，虽然使用 Milnor 平方和有限多边形来产生负 K-类的方法是众所周知的（隐含在 Bass 的导体公式中），但使用无穷多边形（对于 $d=2$）以及通过热带追踪的环面簇（对于 $d \ge 2$）进行特定构造，构成了其新颖的贡献。论文明确指出，这些例子展示了为了使消失性定理成立，Noetherian 假设（或用 valuative dimension 代替 Krull 维数）的必要性。

工具说明
作者透明地承认了在开发这些例子过程中使用了计算机辅助，特别是在现有文献（Lazard）中识别无穷多边形构造，以及通过热带几何验证关于环面交集的细节方面。然而，核心概念框架以及针对 $d \ge 2$ 的环面构造的具体证明归功于作者本人。