Relative $\mathbb{A}^1$-Contractibility of Smooth Schemes

技术摘要：光滑概形的相对 $\mathbb{A}^1$-可缩性

问题陈述
本文研究了在不稳定 $\mathbb{A}^1$-同伦范畴 $\mathcal{H}(S)$ 中，光滑态射 $f: X \to S$ 的 $\mathbb{A}^1$-可缩性的相对形式。尽管域上的 $\mathbb{A}^1$-可缩簇已被广泛研究——揭示了低维下的刚性现象与高维下存在非同构的奇异簇之间的二分法——但这些性质在一般基概形 $S$（特别是有限克鲁尔维数的概形）上的行为仍 largely 未被探索。本文解决的核心问题包括：

1. 对于光滑态射，$\mathbb{A}^1$-可缩性是否为纤维性质？
2. 何种几何结构刻画了 $\mathbb{A}^1$-可缩态射，特别是在 $\mathbb{A}^n$-纤维丛的语境下？
3. 域上已知的刚性结果（例如 $\mathbb{A}^1$ 和 $\mathbb{A}^2$ 的唯一性）在多大程度上推广到相对情形，以及基概形的特征如何影响这些结果？

方法论
作者结合了不稳定动机同伦理论、基变换技术以及经典仿射代数几何。

• 同伦论工具：本研究依赖于不稳定 $\mathbb{A}^1$-同伦范畴的函子性质，特别是沿光滑态射的基变换以及关于尼森维奇超覆盖的局部化。一项关键技术涉及沿基概形分层的粘合论证，将全局问题归约到局部概形。该方法将稳定动机同伦理论中的类似结果 refined 到不稳定情形。
• 代数几何：对 $\mathbb{A}^n$-纤维丛的结构分析建立在 Asanuma 关于拟多项式代数的研究以及仿射纤维丛分类的基础上。作者利用了 Jouanolou–Thomason 技巧（用向量丛下的仿射主丛替换概形）以及关于向量丛主丛的结果。
• 维数分析：本文严格区分了低相对维数（$d \leq 2$）和高维数（$d \geq 3$）。在低维情形，作者将纤维判据与 Kambayashi、Miyanishi–Sugie、Russell 和 Sathaye 的经典定理相结合。在正特征情形，他们利用纯不可分态射和仿射空间的非平凡形式构造了反例。
• 无穷远几何：对于曲面的分类，本文利用了 [DDØ22] 中的技术，将 $\mathbb{A}^1$-可缩性与紧致化中边界穿孔管状邻域的稳态 $\mathbb{A}^1$-同伦型联系起来。

主要贡献与结果

1. 纤维刻画：
   核心理论结果确立：对于定义在有限克鲁尔维数的 qcqs 基概形 $S$ 上的光滑态射 $f: X \to S$，$f$ 是 $\mathbb{A}^1$-可缩的，当且仅当每个几何纤维 $X_s$ 在剩余域 $\kappa(s)$ 上是 $\mathbb{A}^1$-可缩的。这证实了 $\mathbb{A}^1$-可缩性是一种纤维性质，意味着同伦范畴 $\mathcal{H}(S)$ 无法检测光滑 $\mathbb{A}^1$-可缩簇族中纤维同构类型的变化。

2. $\mathbb{A}^n$-纤维丛的结构：
   作者提供了 $\mathbb{A}^n$-纤维丛（纤维同构于仿射空间的光滑态射）的几何描述。在温和假设下（例如 $f$ 为仿射或 $S$ 为正则），此类空间 admits 一个向量丛下的主丛塔结构的 Zariski 局部分解。这一结果建立在 Asanuma 的工作之上，解释了源于仿射纤维丛的 $\mathbb{A}^1$-可缩态射的普遍性。

3. 低维刚性：

   • 相对维数 1：在正规基概形 $S$ 上，相对维数为 1 的光滑态射是 $\mathbb{A}^1$-可缩的，当且仅当它是 Zariski 局部平凡的 $\mathbb{A}^1$-丛。此外，如果相对典范层是平凡的且存在截面，则该态射同构于平凡丛 $\mathbb{A}^1_S$。
   • 相对维数 2（特征零）：在剩余域特征为零的基上，$\mathbb{A}^1$-可缩性强制其具有 $\mathbb{A}^2$-纤维丛的结构。在戴德金概形上，如果此类态射是仿射的，则它们是 Zariski 局部平凡的。因此，此类基上的光滑仿射 $\mathbb{A}^1$-可缩曲面同构于 $\mathbb{A}^2_S$。
   • 刚性与消去律：本文建立了特征零下曲线和曲面的扎里斯基消去问题的相对版本，表明在适当条件下，$X \times_S \mathbb{A}^n_S \cong \mathbb{A}^{n+d}_S$ 蕴含 $X \cong \mathbb{A}^d_S$。

4. 正特征与混合特征中的病态现象：
   本文证明了特征零中观察到的刚性在正特征和混合特征中失效。

   • 非平凡性：存在定义在具有正特征剩余域的离散赋值环上的 $\mathbb{A}^2$-纤维丛，它们不是 Zariski 局部平凡的。
   • 消去律失效：展示了反例，其中 $X \times_S \mathbb{A}^1_S \cong \mathbb{A}^3_S$ 但 $X \not\cong \mathbb{A}^2_S$。
   • 奇异曲面：作者构造了正特征下的光滑、$\mathbb{A}^1$-连通仿射曲面，它们不同构于 $\mathbb{A}^2$ 且不 admit 来自 $\mathbb{A}^1$ 的支配可分态射。此类曲面是否可以是 $\mathbb{A}^1$-可缩的问题仍然开放。

意义与主张
本文声称发展了一套针对一般基上 $\mathbb{A}^1$-可缩态射的结构理论，深化了对动机同伦型如何在族中反映代数几何的理解。

• 它确立了“纤维”原则（在拓扑中为人熟知）在不稳定情形下对 $\mathbb{A}^1$-可缩性成立，前提是基具有有限克鲁尔维数。
• 它强调了一个鲜明的二分法：虽然维数 $d \geq 3$ 允许存在丰富的非平凡 $\mathbb{A}^1$-可缩簇族，但维数 $d \leq 2$ 在特征零下表现出强刚性，这与仿射代数几何中的经典结果相呼应。
• 这项工作强调了将特征零结果推广到正特征的局限性，特别是关于曲面分类和消去性质有效性的方面。
• 作者提出了关于正特征下是否存在“奇异”$\mathbb{A}^1$-可缩曲面的开放问题，表明此类对象的分类尚不完整，且可能比特征零情形更为丰富。

本文并未声称解决了正特征下奇异 $\mathbb{A}^1$-可缩曲面的存在性问题，而是指出了具体的障碍（可分性问题）并构造了挑战当前分类预期的候选对象。