$\mathbb{A}^1$-fibration in algebraic geometry and $\mathbb{A}^1$-homotopy type

技術的要約：代数幾何学における $\mathbb{A}^1$-ファイブレーションと $\mathbb{A}^1$-ホモトピー型

問題設定
本論文は、基底空間 $Y$（通常は曲線または曲面）への $\mathbb{A}^1$-ファイブレーションを許容する代数多様体 $X$ の $\mathbb{A}^1$-ホモトピー型を復元するという問題に取り組んでいる。古典的な位相幾何学において、もしファイブレーション $F \to X \to Y$ が可縮なファイバー $F$ を持つならば、$X$ のホモトピー型は $Y$ のものと同型である。しかし、代数幾何学においては、$\mathbb{A}^1$-ファイブレーションはしばしば、余次元1の閉集合上で「悪い」あるいは退化したファイバー（既約でない、または非還元なファイバー）を持つ。中心となる問いは、モレルとヴォエヴォドスキーによって開発された不安定モチーフ・ホモトピー圏 $\mathcal{H}(k)$ の枠組みの中で、全空間 $X$ の大域的な $\mathbb{A}^1$-ホモトピー型が、基底 $Y$ とこれら退化したファイバーの幾何学的構成から完全に復元できるかどうかである。

手法
著者らは不安定モチーフ・ホモトピー論の手法、具体的には単体的プレシェーフ関手 $\text{Sing}_*$ および Nisnevich 局所弱同値の性質を用いている。手法は以下の主要なステップを経て進行する：

1. $\mathbb{A}^1$-束の局所的弱同値性： 著者らは、エタール局所的に自明な $\mathbb{A}^1$-束 $\rho: X \to C$ が、Nisnevich 局所弱同値 $\rho_*: \text{Sing}_*(X) \to \text{Sing}_*(C)$ を誘導することを示す。これは、本質的に滑らかなヘンゼル局所スキーム $O$ に対して、誘導される写像が単体的集合への自明な Kan ファイブレーションであることを示すことにより証明される。これは、アフィン基底（$\mathbb{A}^n_O$ のような）上の $\mathbb{A}^1$-束が、関連するコホモロジー群の消滅（$H^1_{\text{ét}}(\mathbb{A}^n_O, \text{Aut}(\mathbb{A}^1_k)) \cong 0$）により自明であるという事実に依拠している。
2. $\mathbb{A}^1$-ファイブレーションの分解： 構造定理（定理 2.19）を利用して、著者らは任意の $\mathbb{A}^1$-ファイブレーション $\pi: X \to C$ （ここで $X$ は滑らかなアフィン曲面、$C$ は滑らかな曲線）を、エタール局所的に自明な $\mathbb{A}^1$-束 $\theta: X \to \mathcal{C}$ と、それに続く有理写像 $\alpha: \mathcal{C} \to C$ へと分解する。ここで、$\mathcal{C}$ は退化したファイバーのデータ（成分数、多重度）を符号化する滑らかな代数空間である。
3. 単体的可縮性と $\mathbb{A}^1$-局所性： 論文では、$\text{Sing}_*(X)$ の $\mathbb{A}^1$-局所性（すなわち、$\text{Sing}_*(X)$ が $\mathbb{A}^1$-モデル構造においてファイブラントであるかどうか）を調査している。これには、$\text{Sing}_*$ と商の可換性の分析、および余ファイブレーション列への「弱五項補題」の適用が含まれる。
4. $\mathbb{A}^1$-連結成分の解析： 著者らは、$\mathbb{A}^1$-連結成分の層 $\pi^{\mathbb{A}^1}_0(X)$ を研究している。彼らは2種類の滑らかなアフィン曲面を区別している：$\mathbb{A}^1$-uniruled なもの（負の対数コダラ次元）と、そうでないもの（非負の対数コダラ次元）である。後者については、「ゴースト・ホモトピー」の手法を用いて、層 $S(X)$ が $S_2(X)$ で安定することを示す。

主要な貢献と結果

• 定理 2.22： 本論文は、$\rho: X \to C$ が滑らかな代数空間 $C$ 上のエタール局所的に自明な $\mathbb{A}^1$-束であれば、誘導される射 $\rho_*: \text{Sing}_*(X) \to \text{Sing}_*(C)$ は Nisnevich 局所弱同値であることを証明している。したがって、$\rho$ は $\mathbb{A}^1$-弱同値である。この結果は、ベクトル束がホモトピー同値であるという古典的な事実を、代数空間上の $\mathbb{A}^1$-束の設定へと一般化したものである。
• Koras-Russell 三重体の $\mathbb{A}^1$-局所性（定理 3.2）： 著者らは、第1種の Koras-Russell 三重体 $X$ に対して、$\text{Sing}_*(X)$ が単体的に可縮であり、かつ $\mathbb{A}^1$-局所的であることを証明している。この結果は、キャンセル予想に依存するのではなく、コファイブレーションの図式に適用された弱五項補題を直接用いることで確立されている。論文では、これらの三重体の $\mathbb{A}^1$-可縮性は [15] で既に証明されているが、$\text{Sing}_*(X)$ の $\mathbb{A}^1$-局所性の証明は新しい貢献であると述べている。また、もし Zariski のキャンセル予想が真であれば（すなわち $X \times \mathbb{A}^1 \cong \mathbb{A}^4$ であれば）、$\text{Sing}_*(X)$ は必然的に $\text{Sing}_*(\mathbb{A}^4)$ のレトラクトとして $\mathbb{A}^1$-局所的になるが、本論文の局所性の証明はこの未解決の予想には依存していない。
• 滑らかなアフィン曲面における $\pi^{\mathbb{A}^1}_0$ の $\mathbb{A}^1$-不変性（系 4.40）： 本論文は、任意の 滑らかな複素アフィン曲面 $X$ に対して、$\mathbb{A}^1$-連結成分の層 $\pi^{\mathbb{A}^1}_0(X)$ が $\mathbb{A}^1$-不変であることを確立している。
  • 非負の対数コダラ次元を持つ曲面（非 $\mathbb{A}^1$-uniruled）については、$S(X) \cong S_2(X)$ であることを示すことで、連鎖連結成分の安定化を通じて証明される。
  • $\mathbb{A}^1$-uniruled な曲面（負の対数コダラ次元）については、代数空間 $\mathcal{C}$ を通じた分解により結果が得られる。著者らは、基底曲線が $\mathbb{A}^1$-剛直であれば $\pi^{\mathbb{A}^1}_0(X) \cong \mathcal{C}$ となることを示す。基底が剛直でない場合、$\mathcal{C}$（したがって $X$）は $\mathbb{A}^1$-連結であることを証明する。
• $\mathbb{A}^1$-ホモトピー型の分類（セクション 5）： 論文は、基底代数空間 $\mathcal{C}$ の性質に基づいた $\mathbb{A}^1$-ruled 曲面の $\mathbb{A}^1$-ホモトピー型の分類を提供している。
  • $\mathcal{C}$ が $\mathbb{A}^1$-剛直である場合、 $X$ の $\mathbb{A}^1$-ホモトピー型は $\mathcal{C}$ の同型類と同型である。
  • $\mathcal{C}$ が $\mathbb{A}^1$-連結である場合（例：$\mathcal{C} \cong \mathbb{A}^1$ または複数の原点を持つ $\mathbb{P}^1$）、$\mathbb{A}^1$-ホモトピー型は、原点の数と退化したファイバーの構成によって決定され、しばしば $\mathbb{P}^1$ のウェッジ和や複数の原点を持つアフィン直線と同等の型となる。

意義と主張
本論文は、滑らかなアフィン複素曲面という特定の、しかし重要な文脈において、連結成分の層 $\pi^{\mathbb{A}^1}_0(X)$ の $\mathbb{A}^1$-不変性の問題を解決したと主張している。$\pi^{\mathbb{A}^1}_0(X)$ が $\mathbb{A}^1$-不変であるという一般的な予想は、一般の空間に対しては（Ayoub によって示されたように）偽であることが知られているが、本研究はすべての滑らかなアフィン曲面に対してその妥当性を実証している。

さらに、著者らは $\mathbb{A}^1$-ファイブレーションにおける退化したファイバーの幾何学的データと、それによって生じる $\mathbb{A}^1$-ホモトピー型との間の直接的な結びつきを確立している。ファイブレーションを代数空間 $\mathcal{C}$ へと分解することにより、「悪い」ファイバーがまさに $\mathcal{C}$ の構造（例えば、非分離性や多重点）の中に符号化されていることを示し、$X$ がこの代数空間と $\mathbb{A}^1$-弱同値であることを示している。これは、負の対数コダラ次元を持つ曲面の $\mathbb{A}^1$-ホモトピー型を計算するための具体的な手法を提供し、問題を 1 次元の代数空間と特定の点多重度の分類へと還元するものである。

また、本研究は Koras-Russell 三重体のような特定の多様体の $\mathbb{A}^1$-局所性の理解にも寄与しており、それらの $\mathbb{A}^1$-局所性を確認するとともに、キャンセル問題やエキゾチックな代数構造の構造に関するより広範な調査を支持している。