$\mathbb A^1$-connected components of affine quadrics

问题陈述
本文研究了光滑仿射二次超曲面 $X$ 在特征为 0 的域 $k$ 上的 $\mathbb{A}^1$-连通分量层 $\pi^{\mathbb{A}^1}_0(X)$ 的计算问题。虽然层 $\pi^{\mathbb{A}^1}_0(F)$ 是 Morel–Voevodsky 不稳定 $\mathbb{A}^1$-同伦范畴中的一个基本不变量，但对其进行显式计算通常是非常困难的。一种标准的方法是利用朴素 $\mathbb{A}^1$-连通分量函子 $S(F)$ 及其迭代 $S^n(F)$。极限 $L(F) = \varinjlim S^n(F)$ 是通用的 $\mathbb{A}^1$-不变商。尽管 Morel 猜想 $\pi^{\mathbb{A}^1}_0(F)$ 总是 $\mathbb{A}^1$-不变的（这意味着 $\pi^{\mathbb{A}^1}_0(F) \cong L(F)$），但对于一般的层已存在反例，不过该猜想对于可表层（representable sheaves）而言仍是一个开放问题。

一个特定的开放问题是：对于给定的簇 $X$，是否存在一个有限整数 $n_X$，使得序列在域值截面（field-valued sections）层面趋于稳定，即对于所有有限生成域扩张 $K/k$，都有 $\pi^{\mathbb{A}^1}_0(X)(K) = S^{n_X}(X)(K)$。先前的研究表明，对于紧致方案（proper schemes），稳定发生在 $n=1$ 时；但对于非紧致簇，目前尚不知道是否存在统一的有限界。本文旨在确定光滑仿射二次型（smooth affine quadrics）的稳定点以及 $\pi^{\mathbb{A}^1}_0(X)(K)$ 的显式结构。

方法论
作者结合了 $\mathbb{A}^1$-同伦理论与二次型的经典理论。

1. 归约为标准型： 利用定理 3.2，作者证明任何光滑仿射二次超曲面都同构于一个仿射空间与一个由 $\psi(x_1, \dots, x_m) - 1 = 0$ 定义的超曲面 $Q_\psi$ 的乘积，其中 $\psi$ 是一个正则二次型。
2. 迭代函子分析： 研究重点在于层序列 $S^n(Q_\psi)$。作者利用“幽灵同伦”（ghost homotopies，定义 2.7）的概念来刻画在 $S^n(X)$ 中何时两个点被识别。具体而言，他们通过分析 $n$-幽灵同伦来确定序列何时稳定。
3. 二次型不变量： 分类高度依赖于二次型 $\psi$ 及其相关型的各向同性（isotropy）性质。关键不变量包括：
   • 维特指数（Witt index）$i_0(\theta)$（最大各向同性子空间的维数）。
   • 第一维特指数（first Witt index）$i_1(\theta)$（$\theta$ 在其自身函数域上的维特指数）。
   • 表示值集合 $D(\theta)$ 以及子群 $\langle D(\theta) \rangle$。
4. 几何构造：
   • 各向同性情形： 当 $\psi$ 是各向同性时，作者构造了显式的 $\mathbb{A}^1$-同伦，并利用二次型到 $\mathbb{A}^1$ 的投影将连通分量与群 $F^*/\langle D(\phi_F) \rangle$ 联系起来，其中 $\phi$ 是一个维度为 $n-1$ 的相关型。
   • 各向异性情形： 当 $\psi$ 是各向异性时，作者引入了“良性有理曲线”（good rational curves，定义 4.12）。他们证明了序列的稳定取决于二次型中的有理曲线是否满足特定的赋值条件。他们利用吹胀（blow-ups）和 Nisnevich 覆盖来解决不确定性，并建立点在 2-幽灵同伦下的等价关系。

主要贡献与结果

• 在 $n=2$ 时稳定： 主要结果（定理 1.1）确立了对于任何光滑仿射二次超曲面 $Q_\psi$ 以及任何有限生成域扩张 $F/k$，序列在 $n=2$ 时稳定。具体而言：

  • 如果 $\psi$ 是各向同性的，则 $\pi^{\mathbb{A}^1}_0(Q_\psi)(F) \cong S(Q_\psi)(F) \cong F^*/\langle D(\phi_F) \rangle$。在此情况下，稳定发生在 $n=1$。
  • 如果 $\psi$ 是各向异性的，则 $\pi^{\mathbb{A}^1}_0(Q_\psi)(F) \cong S^2(Q_\psi)(F)$。在这种情况下，$S(Q_\psi)(F) \neq S^2(Q_\psi)(F)$，意味着序列需要恰好两次迭代才能稳定。
  • 这为这类非紧致簇的域值截面的稳定性提供了一个有限且统一的界限（$n=2$）。

• $\mathbb{A}^1$-连通性的刻画： 结合稳定性结果与 Morel 的刻画（一个空间是 $\mathbb{A}^1$-连通的，当且仅当其 $\pi^{\mathbb{A}^1}_0$ 的域值截面是平凡的），作者提供了关于仿射二次型何时为 $\mathbb{A}^1$-连通的完整刻画（定理 1.2 和定理 5.1）。令 $\kappa = \psi \perp \langle -1 \rangle$。二次型 $Q_\psi$ 是 $\mathbb{A}^1$-连通的，当且仅当：

  1. $i_0(\kappa) \ge 2$；或
  2. $i_0(\kappa) = 1$，$i_0(\psi) = 0$，且 $i_1(\psi) \ge 2$。

• 显式同构： 本文在各向同性情形下构造了连通分量集的显式同构，将其识别为域的乘法群对由特定子型表示的值所生成的子群的商。

意义
本文声称解决了针对光滑仿射二次超曲面这一重要且特定类别的有限稳定性问题。通过证明序列在 $n=2$ 时稳定，作者证明了对于这些簇而言，通用 $\mathbb{A}^1$-不变商的定义中所要求的“无限次迭代”是不必要的。

此外，这项工作架起了 $\mathbb{A}^1$-同伦理论与经典二次型算术之间的桥梁。它将 $\mathbb{A}^1$-连通性这一拓扑性质转化为涉及维特指数和第一维特指数的具象代数条件。正如引言中所述，这把已知关于代数群和紧致簇的结果扩展到了非紧致仿射情形，从而通过经典不变量完成了对 $\mathbb{A}^1$-连通仿射二次型的完整分类。研究结果意味着，在代数封闭或二次封闭域上，任何维度 $n \ge 2$ 的光滑仿射二次超曲面要么同构于 $\mathbb{G}_m \times \mathbb{A}^{n-2}_k$，要么是 $\mathbb{A}^1$-连通的。