Cancellation and splitting of Symplectic modules in the critical range and Euler class group

この論文「CANCELLATION AND SPLITTING OF SYMPLECTIC MODULES IN THE CRITICAL RANGE AND EULER CLASS GROUP（臨界範囲における斜交モジュールのキャンセルと分裂、およびオイラー類群）」は、Rakesh Pawar と Husney Parvez Sarwar によって執筆された代数幾何学およびモチビックホモトピー理論に関する研究です。

以下に、この論文の技術的な要約を問題設定、手法、主要な貢献、結果、そして意義の観点から詳細に記述します。

1. 問題設定と背景

この研究は、可換環論と代数幾何学における古典的な問題である**射影加群の「キャンセル定理（Cancellation Theorem）」と「分裂定理（Splitting Theorem）」を、斜交（Symplectic）モジュールの文脈で拡張し、さらにオイラー類群（Euler class group）とチャウ群（Chow group）**の間の関係性を解明することを目的としています。

• 古典的な結果:

  • Serre の定理: 次元 $d$ の環上のランク $r > d$ の射影加群は、直和分解 $P \cong Q \oplus R$ を持つ（分裂）。
  • Bass の定理: $P \oplus Q \cong P' \oplus Q$ ならば $P \cong P'$（キャンセル）。
  • Murthy と Suslin の結果: 代数的閉体上の滑らかなアフィン代数 $R$（次元 $d$）において、ランク $d$ の射影加群 $P$ について、トップ・チャーン類がゼロであることと分裂することの同値性、およびキャンセル性が成り立つことが示されている。
  • Fasel の結果: ランク $d-1$ の場合、$d!$ が環で可逆であればキャンセル性が成り立つ（Fasel の定理）。
  • Murthy の分裂予想: ランク $d-1$ の射影加群 $P$ について、トップ・チャーン類がゼロであることと $P \cong Q \oplus R$ であることの同値性。これは一般には未解決であった。

• 本研究の焦点:

  1. 斜交モジュール（斜交形式を持つ射影加群）に対する、Fasel の定理および Murthy の分裂予想の類似定理を「臨界範囲（critical range）」（ランクと次元の関係）で確立すること。
  2. Mrinal Das が提起した、$(d-1)$ 次オイラー類群 $E_{d-1}(R)$ と $(d-1)$ 次チャウ群 $CH_{d-1}(X)$ の間の自然な写像が同型かどうかという疑問に答えること。

2. 手法と理論的枠組み

本研究は、**Morel-Voevodsky によって開発されたモチビックホモトピー理論（Motivic Homotopy Theory）**を主要な道具として用いています。具体的には以下の手法が駆使されています。

• $\mathbb{A}^1$-ホモトピー圏: 滑らかなスキームの圏を $\mathbb{A}^1$-弱同値で局所化したホモトピー圏 $H_{\mathbb{A}^1}(k)$ を舞台とします。
• ** obstruction theory（障害理論）:** 加群の分類や分裂の問題を、$\mathbb{A}^1$-ホモトピー群の層（homotopy sheaves）の Nisnevich コホモロジー群における「持ち上げ問題（lifting problem）」として定式化します。
• Moore-Postnikov タワー: ファイバー列 $F \to E \to B$ に対して、Moore-Postnikov タワーを構成し、各段階での持ち上げ可能性を解析します。これにより、高次ホモトピー群の消滅（vanishing）が重要な役割を果たします。
• 斜交群と分類空間: 斜交群 $Sp_{2n}$ の分類空間 $BSp_{2n}$ と、無限斜交群の分類空間 $BSp$の間のファイバー列$F'n \to BSp{2n} \to BSp$ を利用します。
• 二次多様体（Quadrics）のコホモロジー: 偶数次の二次多様体 $Q_{2d-2}$ の $\mathbb{A}^1$-ホモトピー層 $\pi^{\mathbb{A}^1}_d(Q_{2d-2})$ の最高次コホモロジー群 $H^d(X, \pi^{\mathbb{A}^1}_d(Q_{2d-2}))$ の消滅条件を詳細に調査します。これが主要な技術的ブレイクスルーとなります。

3. 主要な貢献と結果

論文は以下の 3 つの主要な定理と、それに関連する結果によって構成されています。

A. 斜交モジュールのキャンセル定理（Corank 2 斜交キャンセル）

定理 1.2 (Theorem 4.3):
$X = \text{Spec } R$ を代数的閉体 $k$ 上の次元 $2n$ の滑らかなアフィンスキームとし、$(2n)!$ が $k$ で可逆であると仮定します。
このとき、ランク $2n-2$ の斜交ベクトル束 $E, E'$ について、
$$E \oplus H(R) \cong E' \oplus H(R) \implies E \cong E'$$
が成り立ちます。ここで $H(R)$ は斜交双曲平面です。

• 意義: これはランクが次元より 2 小さい場合（corank 2）の斜交版 Fasel の定理に相当し、Mohan Kumar の反例によってこの範囲が最適（optimal）であることが示されています。

B. 斜交モジュールの分裂定理（Lower Corank 斜交分裂）

定理 1.3 (Theorem 4.7):
$P$ をランク $2n$ の斜交 $R$-加群とします。

1. 次元 $2n$ の場合: $P \cong Q \oplus H(R)$ であるための必要十分条件は、オイラー類 $e_{2n}(P)$ が $\widetilde{CH}_{2n}(X)$ においてゼロであることです。
2. 次元 $2n+1$ の場合: 特定のホモトピー層のコホモロジーがゼロであれば、同様にオイラー類がゼロであることと分裂することが同値です。

• 意義: これは Murthy の分裂予想の斜交版であり、特に代数的閉体で標数 0 の場合に完全に解決されます。

C. オイラー類群とチャウ群の比較

定理 1.4 (Theorem 3.18) と 定理 1.7 (Corollary 5.7):
Das の問い（$d \ge 4$ において $E_{d-1}(R) \to CH_{d-1}(X)$ が同型か？）に対して、以下の結果を得ました。

• 写像 $\psi: E_{d-1}(A) \to CH_{d-1}(X)$ は常に全射である。
• 同型性の条件:
  • $d=4$ の場合、$\psi$ は同型。
  • 標数 0 の場合、$\psi$ は同型。
  • $d \ge 5$ の場合、$\psi$ の核は $d! \cdot (d-1)! \cdot (d-2)!$-ねじれ（torsion）である。
  • さらに $d!$ が $k$ で可逆であれば、核は $(d-1)! \cdot (d-2)!$-ねじれ。
  • Asok-Fasel の予想（Conjecture 3.10）が成り立てば（標数 0 の場合は成り立つ）、$d \ge 5$ でも $\psi$ は同型となる。
• 技術的基盤: この結果は、偶数次二次多様体 $Q_{2d-2}$ の $\mathbb{A}^1$-ホモトピー層の最高次コホモロジー $H^d(X, \pi^{\mathbb{A}^1}_d(Q_{2d-2}))$ の消滅性（またはねじれ性）の分析に基づいています。

4. 重要な技術的ブレイクスルー

本研究の核心は、偶数次二次多様体 $Q_{2d-2}$ の $\mathbb{A}^1$-ホモトピー層 $\pi^{\mathbb{A}^1}_d(Q_{2d-2})$ のコホモロジー消滅定理の確立にあります。

• 定理 3.18: 代数的閉体 $k$（標数 $\neq 2$）上の次元 $d$ の滑らかなアフィンスキーム $X$ について、
  • $d=2, 3, 4$ の場合、$H^d(X, \pi^{\mathbb{A}^1}_d(Q_{2d-2})) = 0$ が示されました。
  • $d \ge 5$ の場合、このコホモロジー群は特定の階乗の積でねじれることが示され、Asok-Fasel の予想が真であればゼロとなることが示されました。
• この消滅結果が、斜交モジュールの分裂・キャンセルの証明における障害項の消滅を保証し、またオイラー類群からチャウ群への写像の核の構造を決定づけています。

5. 意義と結論

この論文は、モチビックホモトピー理論の強力な手法を用いて、古典的な射影加群論の未解決問題や拡張問題に対して決定的な進展をもたらしました。

1. 斜交版の理論の確立: 射影加群のキャンセル・分裂理論を斜交モジュールの文脈で体系的に確立し、Murthy の予想の斜交版を解決しました。
2. 代数的 K 理論と幾何学の橋渡し: オイラー類群（代数的 K 理論的な対象）とチャウ群（幾何学的な対象）の間の関係を、$\mathbb{A}^1$-ホモトピー理論を通じて精密に記述しました。特に、高次元における両者の差が「ねじれ」に限定されることを示しました。
3. 手法の一般化: 二次多様体の $\mathbb{A}^1$-ホモトピー層のコホモロジー消滅に関する結果は、他の障害理論的な問題（obstruction theoretic arguments）においても独立した興味を持つ有用なツールとなります。

総じて、この研究は代数的 K 理論、モチビックホモトピー理論、および代数幾何学の交差点において、滑らかなアフィン多様体上のベクトル束の分類に関する理解を深める重要な貢献です。