Relative $\mathbb{A}^1$-Contractibility of Smooth Schemes

技術的概要：滑らかなスキームの相対 $\mathbb{A}^1$-可縮性

問題提起
本論文は、不安定 $\mathbb{A}^1$-ホモトピー圏 $\mathcal{H}(S)$ 内における、滑らかな射 $f: X \to S$ に対する $\mathbb{A}^1$-可縮性の相対形式を調査する。体上の $\mathbb{A}^1$-可縮多様体については、低次元における剛性と高次元における非同型なエキゾチック多様体の存在という二項対立が明らかになるまで、広範に研究されてきたが、一般の基底スキーム $S$（特に有限クルル次元を持つもの）上におけるこれらの性質の振る舞いは、ほとんど未開拓のままである。ここで扱われる中心的な問いは以下の通りである：

1. $\mathbb{A}^1$-可縮性は、滑らかな射に対してファイバーごとの性質か？
2. 具体的に $\mathbb{A}^n$-ファイバー空間の文脈において、$\mathbb{A}^1$-可縮な射を特徴づける幾何学的構造は何か？
3. 体上で知られている剛性結果（例えば $\mathbb{A}^1$ および $\mathbb{A}^2$ の一意性など）は、相対的な設定までどの程度拡張可能であり、基底スキームの標数がこれらの結果にどのように影響するか？

手法
著者らは、不安定なモチフィックホモトピー理論、基底変換の技術、および古典的なアフィン代数幾何学の組み合わせを採用している。

• ホモトピー論的ツール： この研究は、不安定 $\mathbb{A}^1$-ホモトピー圏の関手的性質、特に滑らかな射に沿った基底変換とニシネビッチ超被覆に関する局所化に依存している。主要な手法には、基底スキームの層化に沿った貼り合わせ論法が含まれ、これにより大域的な問いを局所スキームに還元する。このアプローチは、安定モチフィックホモトピー理論の類似する結果を不安定な設定に洗練させたものである。
• 代数幾何学： $\mathbb{A}^n$-ファイバー空間の構造分析は、準多項式環に関する浅沼（Asanuma）の仕事およびアフィンファイバー束の分類に基づいている。著者らは、ジョウアヌー＝トマソン・トリック（ベクトル束下のアフィン主束を用いてスキームを置換する）およびベクトル束主束に関する結果を利用している。
• 次元解析： 本論文は、低い相対次元（$d \leq 2$）と高い次元（$d \geq 3$）を明確に区別する。低次元では、著者らはファイバーごとの基準を、カンバヤシ、ミヤニシ＝スギエ、ラッセル、サタエによる古典的定理と統合する。正標数においては、純非分離射およびアフィン空間の自明でない形式を用いて反例を構成する。
• 無限遠の幾何学： 曲面の分類については、コンパクト化における境界の穴あき管状近傍の安定 $\mathbb{A}^1$-ホモトピー型と $\mathbb{A}^1$-可縮性を関連付ける [DDØ22] の手法を利用している。

主要な貢献と結果

1. ファイバーごとの特徴付け：
   主要な理論的結果として、有限クルル次元を持つ qcqs 基底スキーム $S$ 上の滑らかな射 $f: X \to S$ について、$f$ が $\mathbb{A}^1$-可縮であるための必要十分条件は、すべての幾何学的ファイバー $X_s$ が剰余体 $\kappa(s)$ 上で $\mathbb{A}^1$-可縮であることである、と確立された。これは、$\mathbb{A}^1$-可縮性がファイバーごとの性質であることを確認し、$\mathbb{A}^1$-可縮多様体の滑らかな族内におけるファイバーの同型類の変異をホモトピー圏 $\mathcal{H}(S)$ が検出しないことを意味する。

2. $\mathbb{A}^n$-ファイバー空間の構造：
   著者らは、$\mathbb{A}^n$-ファイバー空間（ファイバーがアフィン空間に同型である滑らかな射）の幾何学的記述を提供する。穏やかな仮定（例えば、$f$ がアフィンであるか、$S$ が正則であること）の下で、そのような空間は、ベクトル束下の主束の塔としてのザリスキ局所的な分解を許容する。浅沼の仕事に基づいたこの結果は、アフィンファイバー束から生じる $\mathbb{A}^1$-可縮な射の普遍性を説明する。

3. 低次元の剛性：

   • 相対次元 1： 正規な基底スキーム $S$ 上において、相対次元 1 の滑らかな射は、ザリスキ局所的に自明な $\mathbb{A}^1$-束であるとき、かつそのときに限り $\mathbb{A}^1$-可縮である。さらに、相対標準層が自明であり、かつ切断が存在する場合、その射は自明束 $\mathbb{A}^1_S$ に同型である。
   • 相対次元 2（標数 0）： 標数 0 の剰余体を持つ基底上では、$\mathbb{A}^1$-可縮性は $\mathbb{A}^2$-ファイバー空間の構造を強制する。デデキントスキーム上では、そのような射がアフィンであればザリスキ局所的に自明である。したがって、そのような基底上の滑らかなアフィンな $\mathbb{A}^1$-可縮曲面は $\mathbb{A}^2_S$ に同型である。
   • 剛性対相殺： 本論文は、標数 0 における曲線および曲面に対するザリスキ相殺問題の相対版を確立し、適切な条件下で $X \times_S \mathbb{A}^n_S \cong \mathbb{A}^{n+d}_S$ ならば $X \cong \mathbb{A}^d_S$ であることを示す。

4. 正標数および混合標数における病理：
   本論文は、標数 0 で観察される剛性が、正標数および混合標数では成立しないことを示す。

   • 非自明性： 正標数の剰余体を持つ離散付値環上の、ザリスキ局所的に自明ではない $\mathbb{A}^2$-ファイバー空間が存在する。
   • 相殺の失敗： $X \times_S \mathbb{A}^1_S \cong \mathbb{A}^3_S$ であるが $X \not\cong \mathbb{A}^2_S$ であるような反例が提示される。
   • エキゾチック曲面： 著者らは、$\mathbb{A}^2$ に同型ではなく、$\mathbb{A}^1$ から支配的かつ分離的な射を持たない、正標数における滑らかで $\mathbb{A}^1$-連結なアフィン曲面を構成する。そのような曲面が $\mathbb{A}^1$-可縮となり得るかどうかという問いは、未解決のままである。

意義と主張
本論文は、一般の基底上の $\mathbb{A}^1$-可縮な射に対する構造理論を展開し、族におけるモチフィックホモトピー型が代数幾何をどのように反映するかという理解を洗練させることを主張する。

• 位相幾何学で馴染み深い「ファイバーごと」の原理が、基底が有限クルル次元を持つ場合、不安定な設定における $\mathbb{A}^1$-可縮性に対して成立することを確立する。
• 明確な二項対立を浮き彫りにする：次元 $d \geq 3$ は非自明な $\mathbb{A}^1$-可縮多様体の豊富な族を許容する一方、次元 $d \leq 2$ は標数 0 において強い剛性を示し、アフィン代数幾何学の古典的結果を反映する。
• この研究は、曲面の分類および相殺性質の有効性に関して、標数 0 の結果を正標数へ拡張することの限界を強調する。
• 著者らは、正標数における「エキゾチック」な $\mathbb{A}^1$-可縮曲面の存在に関する未解決問題を定式化し、そのような対象の分類は不完全であり、標数 0 の場合よりも潜在的に豊かであることを示唆する。

本論文は、正標数におけるエキゾチックな $\mathbb{A}^1$-可縮曲面の存在を解決するものではなく、むしろ特定の障害（分離性の問題）を特定し、現在の分類の期待に挑戦する候補を構成するものである。