Suslin's cancellation conjecture on smooth real affine varieties with few real points

技术摘要：关于具有少量实点的光滑实仿射簇的 Suslin 消去猜想

问题陈述
本文研究了光滑实仿射代数上射影模的消去问题。具体而言，它探讨了在何种条件下，秩为 $r$ 的射影模 $P$ 是“可消去的”（cancellative），即对于任何射影模 $Q$，若 $P \oplus A^{\oplus m} \cong Q \oplus A^{\oplus m}$，则蕴含 $P \cong Q$。虽然 Suslin 已证明，在代数封闭域上的 $d$ 维光滑仿射代数上，每个秩为 $d$ 的射影模都是可消去的，但在实数域 $\mathbb{R}$ 上的情况更为微妙。先前的研究已经确定，当实点集 $X(\mathbb{R})$ 为空时，或者当 $X(\mathbb{R})$ 不包含紧连通分量时，秩为 $d$ 的模满足消去性质。本文的核心问题是：当实点集在“上同调意义上很小”（具体表现为 $X(\mathbb{R})$ 的某些上同调群消失）时，这些结果是否能推广到所有秩为 $d$（以及秩为 $d-1$）的射影模。

方法论
作者在 $\mathbb{A}^1$-同伦理论的框架内，利用动机障碍理论（motivic obstruction theory）进行研究。其核心策略是将消去问题归约为向分类空间映射的 $\mathbb{A}^1$-同伦类集合之间的稳定化映射的单射性问题。

1. 动机同伦设置： 光滑仿射方案 $X$ 上的秩为 $n$ 的向量丛的同构类集合 $V_n(X)$，被识别为有界点 $\mathbb{A}^1$-同伦类集合 $[X_+, BGL_n]_{\mathbb{A}^1}$。消去性质对应于稳定化映射 $s_{n,\infty}: [X_+, BGL_n]_{\mathbb{A}^1} \to [X_+, BGL]_{\mathbb{A}^1}$ 的单射性。
2. 障碍理论： 作者利用用于处理映射 $\pi_n: BGL_n \to BGL$ 的 Moore–Postnikov 塔。提升映射（从而实现稳定化映射的单射性）的障碍位于形式为 $H^i_{\text{Nis}}(X, \pi^{\mathbb{A}^1}_j(F)(\xi))$ 的 Nisnevich 上同调群中，其中 $F$ 是两个分类空间之间映射的同伦纤维，$\xi$ 是由向量丛确定的扭转（twist）。
3. 关键技术归约： 问题被归约为证明特定上同调群的消失。对于秩 $d$ 的消去，关键群为 $H^d_{\text{Nis}}(X, \pi^{\mathbb{A}^1}_d(\mathbb{A}^d \setminus \{0\})(L))$。对于秩 $d-1$，分析涉及 $H^d_{\text{Nis}}(X, \pi^{\mathbb{A}^1}_d(F_{d-1})(L))$ 和 $H^{d-1}_{\text{Nis}}(X, \pi^{\mathbb{A}^1}_{d-1}(F_{d-1})(L))$。
4. 上同调计算： 作者通过涉及 Milnor–Witt K-理论（$K^{MW}_*$）、Milnor K-理论（$K^M_*$）和 Grothendieck–Witt 群（$GW$）的精确序列来计算这些同伦层。他们利用 Rost–Schmid 复形来计算 Nisnevich 上同调，并通过 Jacobson 定理及 [CS96] 中的结果，将这些群与实点集 $X(\mathbb{R})$（配备欧几里得拓扑）的拓扑性质联系起来。

关键假设
结果依赖于实点集 $X(\mathbb{R})$（赋予欧几里得拓扑）特定上同调群的消失：

• 假设 (*): $H^d(X(\mathbb{R}), \mathbb{Z}/2) = 0$。这等价于 $X(\mathbb{R})$ 不包含紧连通分量。
• 假设 ():** 假设 (*) 成立，且对于 $X$ 上的每个线丛 $L$，$H^{d-1}(X(\mathbb{R}), \mathbb{Z}(L)) = 0$，其中 $\mathbb{Z}(L)$ 是由 $L$ 相关的丛所确定的常数层（constant sheaf）的扭转。
• 假设 ('):** $H^d(X(\mathbb{R}), \mathbb{Z}/2) = 0$ 且 $H^{d-1}(X(\mathbb{R}), \mathbb{Z}/2) = 0$。

主要结果

1. 定理 1 (主要消去定理)： 令 $A$ 为一个维度 $d \geq 3$ 的光滑 $\mathbb{R}$-代数，设 $X = \text{Spec}(A)$。

   • 若 $H^d(X(\mathbb{R}), \mathbb{Z}/2) = 0$（假设 *），则每个秩为 $d$ 的射影 $A$-模都是可消去的。
   • 若 $H^d(X(\mathbb{R}), \mathbb{Z}/2) = 0$ 且对于所有线丛 $L$ 均有 $H^{d-1}(X(\mathbb{R}), \mathbb{Z}(L)) = 0$（假设 **），则每个秩为 $d-1$ 的射影 $A$-模都是可消去的。

2. 定理 3 (技术性消失)： 在假设 (*) 下，$H^d_{\text{Nis}}(X, \pi^{\mathbb{A}^1}_d(\mathbb{A}^d \setminus \{0\})(L)) = 0$ 对每个线丛 $L$ 均成立。这是实现秩 $d$ 消去结果的关键技术步骤。

3. 推论 4.6： 在假设 (*) 下，余秩 0（即秩 $d$）情形下满足消去性质。这推广了 [DTZ18] 和 [Ban25] 的结果。

4. 定理 5.5： 在假设 (**) 下，弱 Euler 类群 $E^0_{d-1}(X)$、Euler 类群 $E_{d-1}(X)$、Chow–Witt 群 $\widetilde{CH}_{d-1}(X)$ 以及 Chow 群 $CH_{d-1}(X)$ 全部同构。这建立了在上述上同调消失条件下，由 Euler 类对余秩 1 向量丛进行强分类的结论。

意义与主张
本文声称扩展了已知实域上 Suslin 消去猜想的适用范围。虽然之前的研究要求实点集为空，或者要求实点集是非紧的（这隐含了 $H^d(X(\mathbb{R}), \mathbb{Z}/2)$ 的消失），但这项工作表明，仅需该特定上同调群消失，就足以确保所有秩为 $d$ 的射影模都满足消去性质，而不仅仅是稳定自由模。

此外，本文建立了一种联系，即对于秩为 $d-1$ 的模，如果上同调维度足够小（假设 **），则消去性质成立，从而将代数的消去性质直接与实点的拓扑性质联系起来。作者指出，由于 Mohan Kumar 在维度为 $p+2$ 的复代数上给出的反例（其中秩为 $p$ 的模不可消去），其结果在一般情况下无法进一步改进。

这项工作将以往零散的结果（例如针对空实点集的情形与针对可定向非紧情形）统一在一个单一的上同调框架之下，表明在 $\mathbb{R}$ 上，分裂（splitting）与消去这一“微妙”性质受控于实点集的特定上同调群的消失，这与在代数封闭域上由 Chern 类起决定作用的情况非常相似。