On higher Du Bois singularities and $K$-regularity

技术摘要：论高阶 Du Bois 奇异性与 K-正则性

问题陈述
本文探讨了刻画代数簇 $K$-正则性的问题，即代数 K-群 $K_m(X)$ 在多大程度上不满足 $\mathbb{A}^1$-不变性。若自然映射 $K_m(X) \to K_m(X \times \mathbb{A}^r)$ 对所有 $r \geq 0$ 均为同构，则称方案 $X$ 是 $K_m$-正则的。虽然正则方案对于所有 $m$ 都是 $K_m$-正则的，但奇异方案的行为更为复杂。核心问题在于建立几何奇异性（特别是高阶 Du Bois 奇异性）与代数性质 $K$-正则性之间的精确关系。这包括研究 Vorst 猜想——该猜想假设对于维数为 $d$ 的仿射方案，正则性等价于 $K_{d+1}$-正则性——并寻求针对特定奇异性类别的加强版猜想。

研究方法
作者综合运用了 Hodge 理论方法与代数 K-理论。主要技术框架包括：

1. Du Bois 复形与 cdh 微分： 利用 Du Bois 复形 $\underline{\Omega}^p_{X/F}$（源自 Deligne 的混合 Hodge 理论）及其与 cdh 微分 $\Omega^p_{cdh, X/F}$ 的关系。本文依赖于由 Cortiñas, Haesemeyer, Schlichting, Walker 和 Weibel (CHSW) 建立的这两个对象之间的同构关系。
2. 高阶 Du Bois 奇异性： 将经典的 Du Bois 奇异性概念扩展到“高阶”类似物。一个局部完全相交 (lci) $X$ 被称为 $m$-Du Bois 奇异的，如果自然映射 $\Omega^p_{X/F} \to \underline{\Omega}^p_{X/F}$ 对于 $p \leq m$ 是同构。对于一般簇，本文使用了“前 $m$-Du Bois” (pre-$m$-Du Bois) 奇异性的概念，其定义为对于 $p \leq m$，上同调层 $H^i\underline{\Omega}^p_{X/F}$ 在 $i > 0$ 时消失。
3. 消失定理： 证明过程高度依赖于 Du Bois 复形上同调的消失定理（例如 Steenbrink 消失定理、Mustată-Popa 的余维数界限）以及关于 lci 方案的 Kähler 微分之挠性与反身性的结果（Graf, Miller-Vassiliadou）。
4. 通过 NK-群研究 $K$-正则性： 通过局部-全局谱序列，将对 $K$-正则性的研究简化为对 Bass 的 $NK$-群的研究。本文利用$NK$-群在$L^p_{X/\mathbb{Q}} \to \Omega^p_{X/\mathbb{Q}}$之锥的上同调中的分解（其中$L$ 为余切复形）。

核心贡献与结果

• 高阶 Du Bois 与 $K$-正则性的关系（定理 C）：
  本文建立了高阶 Du Bois 奇异性与 $K$-正则性之间的双向关系。

  • 若簇 $X$ 的维数为 $d$ 且具有 Du Bois 奇异性，则它是 $K_{-d+1}$-正则的。
  • 若 $X$ 是前 $m$-Du Bois 的，则对于取决于奇异点维数的特定界限 $t$，它是 $K_{-t}$-正则的。
  • 反之，对于仿射簇（无论是 lci 还是满足 Kähler 微分深度条件的簇），$K$-正则性蕴含了前 $m$-Du Bois 奇异性。

• 通过极小指数进行的数值刻画（定理 A）：
  对于具有孤立奇异性的复数超曲面 $X$（维数为 $d$），本文给出了一个使用 Saito 的极小指数 $\tilde{\alpha}_X$ 来判定 $K_m$-正则性的数值判据：
  $$X \text{ 是 } K_m\text{-正则的} \iff \tilde{\alpha}_X \geq \left\lceil \frac{m+d}{2} \right\rceil.$$
  这使得能够对特定奇异性（如超曲面 $x^2 + y^3 + z^7 = 0$）进行显式的 $K$-正则性检测。

• 加强版 Vorst 猜想（定理 B）：
  本文证明了对于仿射局部完全相交簇，$K_2$-正则性蕴含正则性。这加强了 Vorst 原有的猜想（原猜想要求 $K_{d+1}$-正则性）以及之前的扩展（之前的扩展仅在正规簇或特定余维数界限下要求 $K_2$-正则性）。证明过程利用了 $m$-Du Bois 奇异性的奇异点余维数界限（$\text{codim } X_{\text{sing}} \geq 2m+1$），结合了由 $NK$-群消失性导出的正则性判据。

• 射影簇与局部与全局正则性（定理 D）：
  本文通过 Hodge-to-de Rham 谱序列的退化来刻画射影簇的 $K_m$-正则性。具体而言，$X$ 是 $K_m$-正则的，当且仅当映射 $H^i(X, L^p_{X/F}) \to H^i(X, \Omega^p_{X/F})$ 对于 $i-p \geq -m+1$ 是同构。
  这一结果被用于构造示例（例 7.4），展示了局部 $K_m$-正则性并不意味着全局 $K_m$-正则性，从而强调了仿射情形中不存在的区别。

• Bass 问题与 Du Bois 不变量（第 6 节）：
  本文分类了曲面的 Du Bois 不变量（$b_{p,q} = \dim H^q \underline{\Omega}^p$），并利用这些不变量来处理 Bass 问题：即 $K_m(X) \cong K_m(X \times \mathbb{A}^1$ 是否蕴含 $K_m(X) \cong K_m(X \times \mathbb{A}^2)$。

  • 对于曲面，当且仅当 $b_{0,1}$ 和 $b_{1,1}$ 同时为零或同时非零时，答案为正。
  • 本文构造了具有任意非负整数值 $b_{0,1}$ 和 $b_{1,1}$ 的曲面示例，为 Bass 问题提供了具有正向或负向回答的新实例。
  • 对于具有孤立奇异性的齐次超曲面，本文证明了对于非正 $K$-群，Bass 问题具有正向回答。

意义
本文声称为特征为零的局部完全相交簇提供了一个“Vorst 猜想的加强形式”，将正则性阈值从 $K_{d+1}$ 降低到了 $K_2$。通过将 Hodge 理论（通过 Du Bois 复形和极小指数）与代数 K-理论联系起来，这项工作为构造 $K$-正则簇以及理解 $\mathbb{A}^1$-不变性的失效提供了新的工具。研究结果细化了对奇异性几何（特别是奇异点的余维数和微分形式的行为）如何决定方案的代数 K-理论性质的理解。最后，本文提出了关于非仿射簇的 $K_2$-正则性，以及正特征下高阶 $F$-单射性与 $K$-正则性之间关系的进一步问题。