技术摘要：实代数簇上向量丛的可代数化问题

1. 问题陈述

本文研究了实向量丛的可代数化问题（algebraizability problem）。设 $X$ 为一个光滑仿射实代数簇（根据 Bochnak, Coste 和 Roy 的定义），并令 $X(\mathbb{R})$ 表示其在欧几里得拓扑下的实点集。核心问题是：给定 $X(\mathbb{R})$ 上的一个拓扑实向量丛 $V$，在什么条件下 $V$ 是可代数化的？即，是否存在一个定义在 $X(\mathbb{R})$ 邻域上的代数向量丛 $X$，其拓扑实现与 $V$ 同构？

虽然已知代数丛具有“代数”特征类（循环类映射下 Chow 群的像），但其逆命题——即代数特征类是否足以判定可代数化——一直是长期研究的主题。先前的研究证实了该逆命题在低维簇（维度 $\le 3$）以及球面和射影空间等特定情形下成立，通常使用拓扑或解析方法。然而，在维度 4 中已知存在障碍。本文旨在利用动机同伦论（motivic homotopy theory），为维度为 3 和 4 的光滑仿射实代数簇提供完整的刻画。

2. 研究方法

作者采用了动机同伦论，特别是由 Morel, Asok, Fasel 等人发展的框架。其核心方法论支柱包括：

• 向量丛的可表示性： 利用定理，对于光滑仿射方案 $X$，代数向量丛集合 $\text{Vect}_n(X)$ 与 $\mathbb{A}^1$-同伦类映射集 $[X, BGL_n]_{\mathbb{A}^1}$ 存在双射。
• Postnikov 塔与障碍理论： 将向分类空间的映射提升问题通过相对 Postnikov 塔进行分析。可代数化的障碍被识别为 $X$ 的上同调类，其系数为分类空间之间映射的纤维的同伦层。
• 强 $\mathbb{A}^1$-不变层： 分析高度依赖于强 $\mathbb{A}^1$-不变层的性质（例如 Milnor-Witt K-理论层 $\mathbf{K}^{MW}_*$、Milnor K-理论层 $\mathbf{K}^M_*$ 以及基本理想的幂 $\mathbf{I}^n$）。
• Rost-Schmid 复形： 使用 Rost-Schmid 复形对强 $\mathbb{A}^1$-不变层的上同调群进行显式计算。
• 实循环类映射： 通过实循环类映射（特征映射/signature maps）建立代数上同调（Chow 群）与拓扑上同调之间的联系，从而将代数特征类与其拓扑对应物（Stiefel-Whitney 类和 Pontryagin 类）联系起来。

3. 核心贡献与结果

3.1 维度 3：通过 Stiefel-Whitney 类进行刻画

对于维度为 3 的光滑仿射实代数簇，本文确立了可代数化的充分必要条件。

• 定理 3.2.4： 设 $X$ 为维度为 3 的光滑仿世实代数簇。一个拓扑实向量丛 $V$ 在 $X(\mathbb{R})$ 上是可代数化的，当且仅当其第一和第二 Stiefel-Whitney 类 $w_1(V)$ 和 $w_2(V)$ 是代数的（即位于来自 Chow 环的循环类映射的像中）。
• 方法论： 证明过程通过拆分平凡丛将秩 $\ge 3$ 的情况简化为秩 3 的情况。它利用 $BGL_3$ 的 Postnikov 塔，表明在维度 3 下障碍消失，因为相关的上同调群（涉及 $\pi^{\mathbb{A}^1}_i$）为零，或者 $X$ 的上同调维度阻止了更高阶障碍的产生。对于秩 2 的情况，通过证明若 $w_2$ 是代数的，则扭曲 Euler 类也是代数的，从而利用了循环类映射在扭曲上同调上的性质。

3.2 维度 4：新的障碍

对于维度 4，本文证明了代数特征类并不充分。与第一 Pontryagin 类 $p_1$ 和第四 Stiefel-Whitney 类 $w_4$ 相关的新的障碍出现了。

• 定理 4.1.8： 设 $X$ 为一个 $X(\mathbb{R})$ 为紧致的维度为 4 的光滑仿射实代数簇。令 $M_i$ 为可定向连通分支，$N_j$ 为不可定向连通分支。一个拓扑丛 $V$ 是可代数化的，当且仅当存在代数类 $c_1 \in CH^1(X)$、$c_2 \in CH^2(X)$ 以及 $\alpha \in H^3_{\text{alg}}(X; \mathbb{Z}/2)$，使得：
  1. $\gamma(c_1) = w_1(V)$ 且 $\gamma(c_2) = w_2(V)$。
  2. 对于每个可定向分支 $M_i$，Pontryagin 类满足 $p_1(V|_{M_i}) = k_i(c_2 + c_1^2)$，其中 $k_i: CH^2(X) \to H^4(M_i; \mathbb{Z})$ 是一个特定的群同态。
  3. 对于每个不可定向分支 $N_j$，关系式 $(w_4(V) + w_1(V)w_3(V))|_{N_j} = \alpha|_{N_j} \cup w_1(N_j) + k'_j(c_2 + c_1^2)$ 成立，其中 $k'_j$ 是一个特定的映射。
• 重要性： 该定理指出，即使所有的 Stiefel-Whitney 类都是代数的，如果 Pontryagin 类不满足由 $c_2$ 和 $c_1$ 决定的特定代数约束，该丛仍可能无法代数化。障碍存在于上同调群 $H^4(X, \pi^{\mathbb{A}^1}_3(F))$ 中，其中 $F$ 是映射 $(c_2, c_4, p_1): BSL_\infty \to K(\mathbf{K}^M_2, 2) \times K(\mathbf{K}^M_4, 4) \times K(\mathbf{I}_4, 4)$ 的纤维。

3.3 应用

本文将这些一般性定理应用于特定的几何环境：

• 与圆的乘积（定理 4.2.2）： 设 $Y$ 为一个维度为 3 且 $Y(\mathbb{R})$ 为紧致可定向的光滑仿射实代数簇，令 $X = Y \times S^1$。$X(\mathbb{R})$ 上的拓扑丛 $V$ 是可代数化的，当且仅当所有 Stiefel-Whitney 类都是代数的且 Pontryagin 类消失（$p_1(V) = 0$）。这是由于相关的障碍映射 $k$ 消失，因为 $CH^2(X)$ 是 2-阶循环的，而 $H^4(X(\mathbb{R}); \mathbb{Z}) \cong \mathbb{Z}$。
• $\tilde{K}^0(X)$ 的结构（定理 4.2.5）： 对于一个 $X(\mathbb{R})$ 为紧致可定向的维度为 4 的簇 $X$，本文提供了代数向量丛约化 Grothendieck 群 $\tilde{K}^0(X)$ 的显式分解。它建立了一个短正合序列，将 $\tilde{K}^0(X)$ 与一个由代数上同调和 Chow 群构造的群联系起来。具体而言，若 $X(\mathbb{R})$ 是可定向的，$\tilde{K}^0(X)$ 同构于由代数上同调群的维度和 $CH^2(X)$ 的结构所决定的自由部分与挠部分的直和。

4. 重要性与主张

本文声称利用动机同伦论的系统化机制，解决了维度为 3 和 4 的光滑仿射实代数簇的可代数化问题。

• 统一性： 它将之前的拓扑结果（例如对于 $S^n$ 或 $\mathbb{R}P^n$）统一到了基于 $\mathbb{A}^1$-同伦类和障碍理论的一般框架中。
• 维度 4 的精确性： 它明确地刻画了“代数特征类蕴含可代数化”猜想在维度 4 中的失效情况。本文提供了必须满足的精确代数公式（涉及 $p_1$ 和 $w_4$），超越了仅仅提出反例的层面。
• 计算工具： 通过利用 Rost-Schmid 复形和强 $\mathbb{A}^1$-不变层的性质，本文提供了一种确定障碍群的计算方法，这些群在维度 4 中被证明是非平凡的。

作者对研究范围保持了谦逊的态度，指出由于 $\mathbb{R}$ 的非代数封闭性，代数向量丛的定义被限制在 $X(\mathbb{R})$ 的邻域内，并且指出虽然建立了不可定向情形下特定映射 $k'_j$ 的存在性及其性质，但并未对其进行显式识别。这项工作是应用动机同伦论解决有关向量丛的实代数几何问题的基础性步骤。