K-theory of Weighted Blowups

技术摘要：加权爆破的 K-理论

问题陈述
本文研究了平滑代数叠层（smooth algebraic stacks）之加权爆破（weighted blowups）的代数 K-理论计算。虽然经典的爆破是代数几何中的基本工具，且其不变量（如 Chow 环和 K-理论）已有成熟的公式（例如 [Ful98], [BGR+66]），但其加权推广形式——由 [QR21] 和 [ATW24] 近期形式化——呈现出显著的技术挑战。具体而言，加权爆破的 K-理论之所以复杂，是由两个因素导致的：其结果空间的固有“叠层性”（stackiness，即它们通常是 Deligne-Mumford 叠层而非方案）；以及其例外除子是一个加权射影束（weighted projective bundle）而非标准的射影束。现有文献已计算了这些对象的 Chow 环 ([AO25]) 和导出范畴 ([Li26])，但一个全面的 K-理论描述仍处于开放状态。

方法论
作者开发了一个框架，用于计算沿平滑中心 $X$ 的正则加权爆破 $\tilde{Y} \to Y$ 的 K-理论，其中假设 $Y$ 和 $X$ 是满足分解性质（resolution property，即它们是形如 $[Z/GL_n]$ 的全局商叠层）的平滑代数叠层。

该方法论通过以下几个关键技术步骤进行：

1. 等变 K-理论工具的扩展：

   • 作者将算子 K-理论（operational K-theory）和精细 Gysin 态射（refined Gysin morphisms）从分裂环面作用的情形（如 [AP15] 中所述）扩展到了一般平滑仿射代数群的作用情形。
   • 他们证明了这些等变 Gysin 映射的过剩相交公式（excess intersection formula）（定理 3.2）。
   • 他们将 K-理论的同伦不变性推广到了扭曲加权向量丛（twisted weighted vector bundles）（定理 2.15），这是处理加权爆破几何的关键步骤。
   • 他们为扭曲加权向量丛建立了分裂原理（splitting principle）（命题 2.20），使得计算可以简化为涉及线丛的情形。

2. 局部计算与全局化：

   • 计算始于局部模型：在仿射空间 $\mathbb{A}^d$ 中以权重 $w = (w_1, \dots, w_d)$ 对原点进行的加权爆破。利用加权射影束公式（定理 2.25）显式地计算了该局部模型的 K-理论。
   • 作者利用向加权法锥的变形（deformation to the weighted normal cone）将全局加权爆破与局部模型联系起来。他们构造了一个变形空间 $D_{X^\bullet/Y}$，并证明加权爆破可以被恢复为该变形空间的商。
   • 通过分析爆破映射的 Gysin 态射，他们确定了一个特定的类 $\gamma \in K^\circ(\tilde{X})$（其中 $\tilde{X}$ 是例外除子），该类控制了中心 $X$ 的 K-理论与爆破之间的相互作用。该类由法丛的加权 Euler 类 $\lambda_{\mathbb{G}_m}^{-1}(N^\vee_{X/Y})$ 表示。

3. 正合序列构造：

   • 证明的核心在于构造一个分裂短正合序列（定理 4.10），将爆破 $\tilde{Y}$、环境空间 $Y$ 以及中心 $X$ 的 K-理论联系起来：
     $$0 \to K^\circ(X) \xrightarrow{(f^!, i^*)} K^\circ(\tilde{X}) \oplus K^\circ(Y) \xrightarrow{(-j^* + f_*)} K^\circ(\tilde{Y}) \to 0$$
   • 此处，$f^!$ 是精细 Gysin 拉回，$i^*$ 是从环境空间到中心的拉回，$j^*$ 是从爆破到例外除子的拉回，$f_*$ 是推前。

主要结果

1. 主定理 (定理 1.1)：
   加权爆破 $\tilde{Y}$ 的 K-理论同构于一个由 $K^\circ(X)$ 和 $K^\circ(Y)$ 构造的特定模。具体而言：
   $$K^\circ(\tilde{Y}) \simeq \left( K^\circ(X)[t^{\pm 1}] \oplus K^\circ(Y) \right) / \langle (p(t^{-1}) \cdot \alpha, i^*\alpha) \rangle$$
   其中 $p(t^{-1}) = \lambda_{\mathbb{G}_m}^{-1}(N^\vee_{X/Y})$ 是法丛的加权 Euler 类，且乘法规则通过变量 $t$（代表线丛 $\mathcal{O}_{\tilde{X}}(1)$ 的类）显式定义。

2. 在满射下的简化 (定理 4.12)：
   当限制映射 $K^\circ(Y) \to K^\circ(X)$ 是满射时，公式显著简化，恢复了类似于 Keel 在经典爆破 Chow 理论中给出的结构。

3. 切复形的 $\lambda$-多项式 (定理 1.3)：
   作者计算了爆破态射的相对切复形的 $\lambda$-多项式，将其表示为爆破数据与与法丛相关的多项式 $Q_z(t)$ 的函数。

4. 在模空间中的应用 (定理 1.2)：
   作为具体的应用，作者计算了带有 2 个标记点的亏格 1 稳定曲线的模叠层 $\mathcal{M}_{1,2}$ 的 K-理论。利用 [Inc22] 中建立的 $\mathcal{M}_{1,2}$ 的加权爆破描述，他们导出了一个显式展示：
   $$K^\circ(\mathcal{M}_{1,2}) \simeq \mathbb{Z}[u^{\pm 1}, s^{\pm 1}] / I$$
   其中理想 $I$ 由涉及 Hodge 丛类和椭圆尾部（elliptic tail）除子的特定关系生成。

意义与主张
本文声称提供了满足分解性质的平滑叠层之加权爆破 K-理论的第一个完整描述。作者强调，他们的工作将算子 K-理论扩展到了平滑仿射群的作用，这是处理加权爆破中由于其叠层性质而导致标准逼近技术（如 [Tot97] 在 Chow 环中所使用的技术）失效所必需的推广。

其结果的意义在于：

• 理论统一： 提供了一个统一的框架，将经典的爆破公式推广到加权的、叠层的设置中。
• 显式计算： 提供了针对曲线模叠层（特别是 $\mathcal{M}_{1,2}$）的极少数显式 K-理论计算之一，补充了已知关于 $\mathcal{M}_{0,n}$、$\mathcal{M}_{1,1}$ 和 $\mathcal{M}_2$ 的结果。
• 工具开发： 建立了关于一般仿射群的等变算子 K-理论和 Gysin 映射的机制，这为未来涉及叠层的代数几何计算提供了便利。

作者指出，他们的方法依赖于分解性质，以确保相干层 K-理论与局部自由层 K-理论之间的同构，这是全局商叠层所满足的条件。他们并不声称将这些结果推广到不具备此性质的任意叠层。