On the cohomological classification of vector bundles on smooth real affine surfaces and threefolds

技术摘要：关于光滑实仿射曲面与三维流形上向量丛的上同调分类

问题陈述
本文研究了光滑实仿射代数簇上向量丛的上同调分类，重点关注曲面与三维流形。核心问题涉及映射 $\phi_r(X)$，该映射将簇 $X$ 上秩为 $r$ 的向量丛 $E$ 映射为其陈类构成的元组 $(c_1(E), \dots, c_r(E))$，这些陈类位于陈群乘积 $\prod CH^i(X)$ 中。文章探讨了两个基本问题：

1. 满射性：$\phi_r(X)$ 的像是什么？哪些代数闭链元组可以作为陈类被实现？
2. 单射性：$\phi_r(X)$ 的纤维是什么？在什么条件下，向量丛可由其陈类在同构意义下唯一确定？

虽然这些问题在代数闭域上已有令人满意的解答（此时 $\phi_r$ 通常是双射），但在实数域 $\mathbb{R}$ 上的情况更为微妙，这源于实点集 $X(\mathbb{R})$ 带来的拓扑障碍。本文专门针对 Kucharz 提出的关于光滑实仿射三维流形上 $\phi_3(X)$ 的单射性以及 $\phi_2(X)$ 像的刻画等开放性问题进行了探讨。

方法论
作者综合运用了动机同伦论、代数 K 理论与经典代数拓扑。

• 动机障碍理论：文章利用动机空间 $BGL_n$ 的 Moore–Postnikov 塔形式体系。通过分析从 $BGL_n$ 到代表陈群的 Eilenberg–Mac Lane 空间乘积的映射的同伦层与 $k$-不变量，作者识别出了将上同调类提升为向量丛的具体障碍。
• Steenrod 运算：一个关键工具是利用定义在模 2 陈群上的 Steenrod 平方（$Sq$）（遵循 Voevodsky 和 Brosnan 的工作），以及它们通过闭链类映射 $\gamma$ 与拓扑 Stiefel–Whitney 类的相容性。
• K 理论与滤过：研究涉及按支撑余维数对 Grothendieck 群 $K_0(X)$ 进行的滤过。利用分片 $Gr^p K_0(X)$ 与陈群之间的关系来构造具有指定陈类的向量丛。
• 实点集拓扑：分析高度依赖于实点集 $X(\mathbb{R})$ 的拓扑，特别是紧致连通分量的存在与否，以及特定上同调群（如 $H^3(X(\mathbb{R}), \mathbb{Z}/2)$）的消失。
• 显式构造：利用 $\mathbb{P}^3_{\mathbb{R}}$ 中超曲面及其仿射补集的具体几何构型构造反例，借助先前工作的成果（例如 [AFL25]）以及 $K$ 理论中的显式计算。

主要贡献与成果

1. 曲面与三维流形上的秩 2 丛

   • 曲面：文章重访并推广了 Barge 和 Ojanguren [BO87] 的结果。它确立了对于光滑实仿射曲面 $X$，具有固定行列式 $L$ 的秩 2 丛由其 Euler 类在陈–Witt 群 $\widetilde{CH}^2(X, L)$ 中分类。文章阐明，如果 $X(\mathbb{R})$ 没有紧致连通分量，则映射 $\phi_2(X)$ 是双射。
   • 三维流形（问题 B）：文章肯定地回答了问题 (B)：对于光滑实仿射三维流形 $X$，$\phi_2(X)$ 的像恰好是满足关系 $Sq_{a_1}(a_2) = 0$ 的元组 $(c_1, c_2)$ 的集合，其中该关系在 $H^3(X(\mathbb{R}), \mathbb{Z}/2)$ 中成立，$a_i$ 为陈类的模 2 约化。这是利用动机障碍理论证明的，该理论将提升障碍识别为 $H^3(X, I^3(L))$ 中的一个类，而该类恰在此条件下消失。
   • 小实点集下的分类：如果对于所有线丛 $L$，均有 $H^3(X(\mathbb{R}), \mathbb{Z}/2) = 0$ 且 $H^2(X(\mathbb{R}), \mathbb{Z}(L(\mathbb{R}))) = 0$，则 $\phi_2(X)$ 是双射。这反映了代数闭域上的行为。

2. 秩 3 丛与 Kucharz 定理

   • Kucharz 定理的推广：利用 Jean Fasel 传达的论证，文章为刻画 $\phi_3(X)$ 像的 Kucharz 定理提供了一个高效的证明。它表明，元组 $(c_1, c_2, c_3)$ 可被实现当且仅当在模 2 陈群 $Ch^3(X)$ 中满足 $c_3 - Sq_{c_1}(c_2) = 0$。当 $X$ 为光滑实仿射三维流形时，该条件等价于拓扑关系 $a_3 - a_1 \cup a_2 - Sq(a_2) = 0$ 在 $H^3(X(\mathbb{R}), \mathbb{Z}/2)$ 中成立。
   • 对问题 (A) 的否定回答：文章证明 $\phi_3(X)$ 在一般情况下不是单射。通过利用 [AFL25] 中的例子，作者构造了一个光滑实仿射三维流形 $U$ 和一个具有平凡陈类的秩 3 向量丛 $E$，该丛不是稳定自由的。这提供了第一个已知的、定义在 3 维光滑仿射 $\mathbb{R}$-代数上的射影模，其陈类平凡但非稳定自由的实例。
   • 拓扑约束下的单射性：文章证明，如果 $H^3(X(\mathbb{R}), \mathbb{Z}/2) = 0$，则 $\phi_3(X)$ 是双射。这一结果去除了 Kucharz 观察中先前要求的有理数条件，表明 $\phi_3$ 的单射性与实点集的拓扑（特别是紧致连通分量的缺失）密切相关。

意义
本文确立了在“小”实点集（从上同调意义而言）的光滑实仿射代数簇上，向量丛的上同调分类与代数闭域上的分类相一致。它解决了关于秩 2 和秩 3 丛陈类刻画的开放性问题。至关重要的是，通过提供一个具体的反例，文章驳斥了 $\mathbb{R}$ 上秩 3 丛陈类映射的一般单射性，从而突显了代数几何与实点集拓扑之间微妙的相互作用。该工作还通过动机方法为 Kucharz 定理提供了简化的证明，并阐明了 Steenrod 运算在实情形中的作用。