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

技術要約：滑らかな実アフィン多様体におけるサスリンンの消去予想

問題設定
本論文は、滑らかな実アフィン代数上の射影加群に関する消去問題（cancellation problem）を扱っている。具体的には、どのような条件の下で、ランク $r$ の射影加群 $P$ が「消去可能（cancellative）」であるか、すなわち、任意の射影加群 $Q$ に対して $P \oplus A^{\oplus m} \cong Q \oplus A^{\oplus m}$ ならば $P \cong Q$ が成り立つ条件を調査している。サスリンは、代数閉体上の次元 $d$ の滑らかなアフィン代数上のランク $d$ の射影加モジュールの消去可能性を証明したが、実数体 $\mathbb{R}$ 上の場合はより繊細な状況となる。先行研究では、$X(\mathbb{R})$ が空集合である場合、あるいは $X(\mathbb{R})$ にコンパクトな連結成分が存在しない場合に、ランク $d$ の消去可能性が成立することが確立されている。本論文の中心的な問いは、実軌道（real locus）が「コホモロジー的に小さい」、具体的には $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 tower）を利用する。写像のリフト（およびしたがって安定化写像の単射性）に対する障害は、Nisnevichコホモロジー群 $H^i_{\text{Nis}}(X, \pi^{\mathbb{A}^1}_j(F)(\xi))$ に存在する。ここで $F$ は分類空間間の写像のホモトピーファイバーであり、$\xi$ は束によって決定されるツイストである。
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. コホモロジー計算: 著者らは、ミルナー・ウィットK理論（$K^{MW}_*$）、ミルナーK理論（$K^M_*$）、およびグロタンディーク・ウィット群（$GW$）を含む完全系列を用いて、これらのホモトピー層を計算する。また、Rost–Schmid複体を利用してNisnevichコホモロジーを計算し、Jacobsonの定理および[CS96]の結果を通じて、これらの群を実軌道 $X(\mathbb{R})$ の位相的性質に関連付ける。

主要な仮説
結果は、実軌道 $X(\mathbb{R})$（ユークリッド位相を付与されたもの）の特定のコホモロジー群の消滅に基づいている：

• 仮説 (*): $H^d(X(\mathbb{R}), \mathbb{Z}/2) = 0$。これは、$X(\mathbb{R})$ がコンパクトな連結成分を持たないことと同値である。
• 仮説 ():** 仮説 (*) が成立し、かつすべてのラインバンドル $L$ に対して $H^{d-1}(X(\mathbb{R}), \mathbb{Z}(L)) = 0$ である（ここで $\mathbb{Z}(L)$ は $L$ に随伴するトーソルによる定数層のツイストである）。
• 仮説 ('):** $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 (技術的消滅): 仮説 (*) の下で、すべてのラインバンドル $L$ に対して $H^d_{\text{Nis}}(X, \pi^{\mathbb{A}^1}_d(\mathbb{A}^d \setminus \{0\})(L)) = 0$ である。これは、ランク $d$ の消去結果を可能にする極めて重要な技術的ステップである。

3. 系 4.6: 仮説 (*) の下で、コーランク 0（ランク $d$）において消去が成立する。これは [DTZ18] および [Ban25] による結果を一般化したものである。

4. 定理 5.5: 仮説 (**) の下で、弱オイラー類群 $E^0_{d-1}(X)$、オイラー類群 $E_{d-1}(X)$、Chow–Witt群 $\widetilde{CH}_{d-1}(X)$、およびChow群 $CH_{d-1}(X)$ はすべて同型である。これは、これらのコホモロジー的消滅条件が存在する場合における、コーランク 1 のベクトル束の強力な分類を確立している。

意義と主張
本論文は、実体上のサスリンンの消去予想の既知の範囲を拡張することを主張している。これまでの結果は、実軌道が空であるか、あるいは $H^d(X(\mathbb{R}), \mathbb{Z}/2)$ の消滅を意味する特定の非コンパクト性を有することを要求していたが、本研究は、この特定のコホモロジー群の消滅が、単に安定自由なものだけでなく、すべての ランク $d$ の射影加モジュールの消去を保証するのに十分であることを示している。

さらに、本論文は、コホモロジー次元が十分に小さい場合（仮説 **）、ランク $d-1$ の加モジュールの消去特性が成立することを確立し、消去という代数的性質を実軌道の位相的性質に直接結びつけている。著者らは、Mohan Kumarによる、次元 $p+2$ の複素代数においてランク $p$ の加モジュールが消去可能ではないという反例を引用し、本研究の結果が一般には改善できないことを述べている。

本研究は、以前のバラバラな結果（例：空の実軌道の場合と、向き付け可能な非コンパクトな軌道の場合）を単一のコホモロジー的枠組みの下に統合しており、$\mathbb{R}$ 上での分割（splitting）と消去の「繊細な」性質が、代数閉体上の状況においてチェルン類が十分であるのと同様に、実点の特定のコホモロジー群の消滅によって制御されていることを示している。