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

技術的概要：滑らかな実アフィン曲面および三次多様体上のベクトル束のコホモロジー的分類について

問題提起
本論文は、滑らかな実アフィン多様体、特に曲面および三次多様体上のベクトル束のコホモロジー的分類を調査する。中心的な問いは、多様体 $X$ 上のランク $r$ のベクトル束 $E$ に、そのチャーン類の組 $(c_1(E), \dots, c_r(E))$ をチャウ群の積 $\prod CH^i(X)$ へ対応させる写像 $\phi_r(X)$ に関するものである。以下の 2 つの根本的な問いが扱われる：

1. 全射性：$\phi_r(X)$ の像は何か？どのような代数サイクルの組がチャーン類として実現可能か？
2. 単射性：$\phi_r(X)$ のファイバーは何か？どのような条件下で、ベクトル束はそのチャーン類によって同型を除いて決定されるか？

これら問いに対しては、代数的閉体上では（$\phi_r$ がしばしば全単射となるため）満足すべき答えが存在するが、実数体 $\mathbb{R}$ 上では、実点集合 $X(\mathbb{R})$ に起因する位相的障害により状況はより微妙である。本論文は、滑らかな実アフィン三次多様体における $\phi_3(X)$ の単射性および $\phi_2(X)$ の像の characterization に関する Kucharz によって提起された未解決の問題に特化して取り組む。

手法
著者は、モチビックホモトピー論、代数的 K 理論、および古典的代数的位相幾何学の統合を駆使する。

• モチビック障害理論：モチビック空間 $BGL_n$ に対する Moore–Postnikov タワーの形式を用いる。チャウ群を表す Eilenberg–Mac Lane 空間の積への写像 $BGL_n$ のホモトピー層および $k$-不変量を解析することで、コホモロジー類をベクトル束へ持ち上げる際の特定の障害を特定する。
• Steenrod 作用素：重要な道具として、Voevodsky および Brosnan に倣って 2 乗剰余のチャウ群上で定義された Steenrod 二乗 ($Sq$) と、サイクル類写像$\gamma$ を通じた位相的 Stiefel–Whitney 類との両立性を用いる。
• K 理論と濾過：研究には、支持の余次元による Grothendieck 群 $K_0(X)$ の濾過が関与する。階化された部分 $Gr^p K_0(X)$ とチャウ群との関係を用いて、所定のチャーン類を持つ束を構成する。
• 実点集合の位相：解析は、特にコンパクトな連結成分の存在・非存在および $H^3(X(\mathbb{R}), \mathbb{Z}/2)$ のような特定のコホモロジー群の消滅といった、実点集合 $X(\mathbb{R})$ の位相に大きく依存する。
• 明示的構成：反例は、$\mathbb{P}^3_{\mathbb{R}}$ 内の超曲面およびそのアフィン補集合に関する特定の幾何学的設定を用いて構成され、先行研究（例：[AFL25]）の結果および K 理論における明示的計算が利用される。

主要な貢献と結果

1. 曲面および三次多様体上のランク 2 束

• 曲面：本論文は Barge および Ojanguren [BO87] の結果を再検討し、一般化する。滑らかな実アフィン曲面 $X$ に対して、固定された行列式 $L$ を持つランク 2 束は、そのオイラー類によってチャウ・ウィット群 $\widetilde{CH}^2(X, L)$ において分類されることを確立する。また、$X(\mathbb{R})$ にコンパクトな連結成分が存在しない場合、写像 $\phi_2(X)$ は全単射となることを明確にする。
• 三次多様体（問い B）：本論文は問い (B) を肯定的に回答する。滑らかな実アフィン三次多様体 $X$ に対する $\phi_2(X)$ の像は、$H^3(X(\mathbb{R}), \mathbb{Z}/2)$ における関係式 $Sq_{a_1}(a_2) = 0$ を満たす対 $(c_1, c_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] からの例を用いることで、著者は自明なチャーン類を持つが安定自由ではないランク 3 のベクトル束 $E$ を持つ滑らかな実アフィン三次多様体 $U$ を構成する。これは、次元 3 の滑らかなアフィン $\mathbb{R}$ 代数上の自明なチャーン類を持つが安定自由ではない射影加群の、既知の最初の事例である。
• 位相的制約下での単射性：本論文は、$H^3(X(\mathbb{R}), \mathbb{Z}/2) = 0$ ならば $\phi_3(X)$ は全単射であることを証明する。この結果は、Kucharz の観察において以前に必要とされていた有理性条件を排除し、$\phi_3$ の単射性が実点集合の位相（特に、コンパクトな連結成分の欠如）と密接に関連していることを示している。

意義
本論文は、「小規模な」（コホモロジー的意味での）実点集合を持つ滑らかな実アフィン多様体上のベクトル束のコホモロジー的分類が、代数的閉体上の分類と一致することを確立する。それは、ランク 2 および 3 の束に対するチャーン類の characterization に関する未解決の問題を解決する。決定的に、具体的な反例を提供することで、$\mathbb{R}$ 上のランク 3 束に対するチャーン類写像の一般単射性を否定し、代数的幾何学と実点集合の位相の間の微妙な相互作用を浮き彫りにする。また、この仕事はモチビック手法を通じて Kucharz の定理の簡潔な証明を提供し、実設定における Steenrod 作用素の役割を明確にする。