技術的要約：実代数多様体上のベクトル束の代数化可能性

1. 問題設定

本論文は、実ベクトル束の代数化問題を研究している。$X$ を滑らかなアフィン実代数多様体（Bochnak, Coste, および Roy の定義による）とし、$X(\mathbb{R})$ をその実点集合（ユークリッド位相を備えたもの）とする。中心となる問いは、位相的な実ベクトル束 $V$ が $X(\mathbb{R})$ 上の与えられたとき、どのような条件下で $V$ が代数化可能であるか、すなわち、$V$ の位相的な実現と同型であるような $X$ 上の代数的なベクトル束（$X(\mathbb{R})$ の近傍で定義されるもの）が存在するかどうかである。

代数的な束が「代数的な」特性類（サイクル類写像による Chow 群の像）を持つことは確立されているが、その逆、すなわち代数的な特性類が代数化可能性に対して十分であるかどうかは、長年の研究対象となってきた。先行研究では、低次元の多様体（次元 $\le 3$）や球面、射影空間などの特定の場合について、位相的または解析的な手法を用いてこの逆が成り立つことが確認されている。しかし、次元 4 においては障害が存在することが知られていた。本論文は、モチーフホモトピー論を用いることで、次元 3 および 4 の滑らかなアフィン実代数多様体に対する完全な特徴付けを提供することを目的としている。

2. 手法

著者は、Morel、Asok、Fasel らによって開発されたフレームワークであるモチーフホモトピー論を採用している。核心となる手法の柱は以下の通りである：

• ベクトル束の表現可能性： 滑らかなアフィンスキーム $X$ に対して、代数的なベクトル束の集合 $\text{Vect}_n(X)$ は、$\mathbb{A}^1$-ホモトピー類 $[X, BGL_n]_{\mathbb{A}^1}$ の集合と一対一対応するという定理を利用する。
• ポストニコーフ・タワーと障害理論： 分類空間への写像のリフトの問題は、相対的なポストニコーフ・タワーを通じて分析される。代数化への障害は、分類空間の間の写像のファイバーのホモトピー層を係数とする $X$ のコホモロジー類として特定される。
• 強 $\mathbb{A}^1$-不変層： 分析は、強 $\mathbb{A}^1$-不変な層（例：Milnor-Witt K理論層 $\mathbf{K}^{MW}_*$、Milnor K理論層 $\mathbf{K}^M_*$、および基本イデアルの冪 $\mathbf{I}^n$）の性質に大きく依存している。
• Rost-Schmid 複体： 強 $\mathbb{A}^1$-不変な層のコホモロジー群の計算には、Rost-Schmid 複体を用いた明示的な計算が行われる。
• 実サイクル類写像： 代数的なコホモロジー（Chow 群）と位相的なコホモロジー（スティフェル・ホイッツリー類およびポントリャーギン類）との接続は、実サイクル類写像（シグネチャ写像）を通じて確立される。

3. 主要な貢献と結果

3.1 次元 3：スティフェル・ホイッツリー類による特徴付け

次元 3 の滑らかなアフィン実代数多様体について、本論文は代数化可能性のための必要十分条件を確立している。

• 定理 3.2.4： $X$ を次元 3 の滑らかなアフィン実代数多様体とする。位相的な実ベクトル束 $V$ が $X(\mathbb{R})$ 上で代数化可能であるための必要十分条件は、その第 1 および第 2 スティフェル・ホイッツリー類 $w_1(V)$ と $w_2(V)$ が代数的である（すなわち、サイクル類写像による Chow 環の像に含まれる）ことである。
• 手法： 証明では、自明な束を切り離すことでランク $\ge 3$ のケースをランク 3 に帰着させている。$BGL_3$ のポストニコーフ・タワーを利用し、関連するコホモロジー群（$\pi^{\mathbb{A}^1}_i$ を含む）がゼロであるか、あるいは $X$ のコホモロジー次元がより高い障害を防いでいることにより、次元 3 では障害が消失することを示している。ランク 2 については、サイクル類写像の性質を利用して、捻れたオイラー類が $w_2$ が代数的であれば代数的なことを示している。

3.2 次元 4：新たな障害

次元 4 において、本論文は代数的な特性類だけでは不十分であることを示している。第 1 ポントリャーギン類 $p_1$ および第 4 スティフェル・ホイッツリー類 $w_4$ に関連する新たな障害が現れる。

• 定理 4.1.8： $X(\mathbb{R})$ がコンパクトである次元 4 の滑らかなアフィン実代数多様体を $X$ とする。位相的な束 $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$ について、ポントリャーギン類は $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$ は特定の写像である）。
• 意義： この定理は、すべてのスティフェル・ホイッツリー類が代数的であっても、ポントリャーギン類が $c_2$ と $c_1$ によって決定される特定の代数的制約を満たさない場合、束が代数化できない可能性があることを明らかにしている。障害は、写像 $(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)$ のファイバーのコホモロジー群 $H^4(X, \pi^{\mathbb{A}^1}_3(F))$ に存在する。

3.3 応用

本論文はこれらの一般的な定理を特定の幾何学的設定に適用している：

• 円周との直積（定理 4.2.2）： $Y$ を $Y(\mathbb{R})$ がコンパクトかつ向き付け可能である次元 3 の滑らかなアフィン実代数多様体とする。$X = Y \times S^1$ とする。$X(\mathbb{R})$ 上の位相的な束 $V$ が代数化可能であるための必要十分条件は、すべてのスティフェル・ホイッツリー類が代数的であり、かつポントリャーギン類が消滅すること（$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$ について、本論文は代数的なベクトル束の簡約化されたグレゼンディック群 $\tilde{K}^0(X)$ の明示的な分解を提供している。これは、$\tilde{K}^0(X)$ を代数的なコホモロジーと Chow 群から構成される群 $G$ に関連付ける短完全系列を確立している。具体的には、$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$-不変層の性質を利用することで、障害群が非自明であることを示す計算手法を提供している。

著者は、範囲に関する限定的な記述についても、代数的なベクトル束の定義が（$\mathbb{R}$ の非代数閉性により）$X(\mathbb{R})$ の近傍に限定されていることや、非向き付け可能ケースにおける特定の写像 $k'_j$ が明示的に特定されていないことなどに触れ、控えめなトーンを維持している。本研究は、ベクトル束に関する実代数幾何学の問題にモチーフホモトピー論を適用するための基礎的な一歩として機能している。