$\mathbb A^1$-connected components of affine quadrics

問題設定
本論文は、標数0の体 $k$ 上の $\mathbb{A}^n_k$ における滑らかなアフィン二次超曲面 $X$ に対する $\mathbb{A}^1$-連結成分の層 $\pi^{\mathbb{A}^1}_0(X)$ の計算を扱っている。層 $\pi^{\mathbb{A}^1}_0(F)$ は、Morel–Voevodsky の非安定 $\mathbb{A}^1$-ホモトピー圏における基本的な不変量であるが、その明示的な計算は一般に困難である。標準的なアプローチには、素朴な $\mathbb{A}^1$-連結成分の関手 $S(F)$ とその反復 $S^n(F)$ を用いる方法がある。極限 $L(F) = \varinjlim S^n(F)$ は、普遍的な $\mathbb{A}^1$-不変商である。Morel は $\pi^{\mathbb{A}^1}_0(F)$ は常に $\mathbb{A}^1$-不変である（すなわち $\pi^{\mathbb{A}^1}_0(F) \cong L(F)$）と予想したが、一般的な層については反例が存在する。ただし、表現可能な層についてはこの予想は未解決のままである。

具体的な未解決問題として、与えられた多様体 $X$ に対して、有限個の整数 $n_X$ が存在し、体の値を持つ切断の列が安定化するかどうか、すなわち、すべての有限生成体拡大 $K/k$ に対して $\pi^{\mathbb{A}^1}_0(X)(K) = S^{n_X}(X)(K)$ が成り立つかという問いがある。先行研究では、固有スキーム（proper schemes）については $n=1$ で安定化することが示されているが、非固有な多様体については、一様な有限の境界は知られていなかった。本論文は、滑らかなアフィン二次形式における安定化点および $\pi^{\mathbb{A}^1}_0(X)(K)$ の明示的な構造を決定することを目的としている。

手法
著者らは、$\mathbb{A}^1$-ホモトピー論と二次形式の古典論を組み合わせて用いている。

1. 標準形への還元： 定理 3.2 を用いて、任意の滑らかなアフィン二次超曲面が、アフィン空間と、正則な二次形式 $\psi$ によって定義される超曲面 $Q_\psi : \psi(x_1, \dots, x_m) - 1 = 0$ の直積と同型であることを示す。
2. 反復関手の解析： 研究の焦点は、層の列 $S^n(Q_\psi)$ に置かれる。著者らは、2つの点が $S^n(X)$ において同一視されるかどうかを特徴付けるために、「ゴースト・ホモトピー（ghost homotopies）」（定義 2.7）の概念を利用する。具体的には、$n$-ゴースト・ホモトピーを分析することで、列がいつ安定化するかを判断する。
3. 二次形式の不変量： 分類は、二次形式 $\psi$ およびそれに関連する形式の異型性（isotropy）の性質に強く依存している。主要な不変量は以下の通りである：
   • ウィット指数 $i_0(\theta)$（最大等長部分空間の次元）。
   • 第1ウィット指数 $i_1(\theta)$（$\theta$ の自身の関数体上のウィット指数）。
   • 表現される値の集合 $D(\theta)$ および部分群 $\langle D(\theta) \rangle$。
4. 幾何学的構成：
   • 異型（Isotropic）の場合： $\psi$ が異型であるとき、著者らは明示的な $\mathbb{A}^1$-ホモトピーを構成し、二次曲面から $\mathbb{A}^1$ への射影を用いて、連結成分を群 $F^*/\langle D(\phi_F) \rangle$（ここで $\phi$ は次元 $n-1$ の関連する形式）に関連付ける。
   • 非異型（Anisotropic）の場合： $\psi$ が非異型であるとき、著者らは「良質な有理曲線（good rational curves）」（定義 4.12）を導入する。彼らは、有理曲線が二次形式に関連する特定の値判定条件を満たすかどうかに基づいて、列の安定化が決まることを証明する。不定性を解消するためにブローアップとNisnevich被覆を利用し、2-ゴースト・ホモトピーの下での点の同値性を確立する。

主な貢献と結果

• $n=2$ での安定化： 主要な結果（定理 1.1）は、任意の滑らかなアフィン二次超曲面 $Q_\psi$ と任意の有限生成体拡大 $F/k$ に対して、素朴な $\mathbb{A}^1$-連結成分の列が $n=2$ で安定化することを確立している。具体的には：

  • $\psi$ が異型であれば、$\pi^{\mathbb{A}^1}_0(Q_\psi)(F) \cong S(Q_\psi)(F) \cong F^*/\langle D(\phi_F) \rangle$ である。この場合、安定化は $n=1$ で起こる。
  • $\psi$ が非異型であれば、$\pi^{\mathbb{A}^1}_0(Q_\psi)(F) \cong S^2(Q_\psi)(F)$ である。この場合、$S(Q_\psi)(F) \neq S^2(Q_\psi)(F)$ であり、列が安定化するには正確に2回の反復を必要とする。
  • これにより、これらの非固有な多様体のクラスに対して、体の値を持つ切断の安定化に関する有限かつ一様な境界（$n=2$）が提供される。

• $\mathbb{A}^1$-連結性の特徴付け： Morel による特徴付け（空間が $\mathbb{A}^1$-連結であることと、その $\pi^{\mathbb{A}^1}_0$ の体の値を持つ切断が自明であることは同値である）と組み合わせることで、著者らはアフィン二次曲面がいつ $\mathbb{A}^1$-連結になるかの完全な特徴付けを与える（定理 1.2 および定理 5.1）。$\kappa = \psi \perp \langle -1 \rangle$ とする。二次曲面 $Q_\psi$ が $\mathbb{A}^1$-連結であるための必要十分条件は、以下のいずれかである：

  1. $i_0(\kappa) \ge 2$ である。
  2. $i_0(\kappa) = 1$ かつ $i_0(\psi) = 0$ かつ $i_1(\psi) \ge 2$ である。

• 明示的な同型写像： 論文では、異型の場合における連結成分の集合に対する明示的な同型写像を構成し、それらを特定の副形式によって表現される値が生成する部分群による乗法群の商として特定している。

意義
本論文は、滑らかなアフィン二次超曲面という特定の重要なクラスに対して、有限の安定化の問題を解決したと主張している。列が $n=2$ で安定化することを証明することにより、著者らは、普遍的な $\mathbb{A}^1$-不変商の一般的な定義において必要とされる「無限回の反復」が、これらの多様体においては不要であることを示している。

さらに、本研究は $\mathbb{A}^1$-ホモトピー論と二次形式の古典的な算術との間の架け橋となるものである。$\mathbb{A}^1$-連結性という位相的性質を、ウィット指数や二次形式の第1ウィット指数を含む具体的な代数的条件へと翻訳している。導入部で述べられているように、これは既知の結果を代数群や固有な多様体から、非固有なアフィン設定へと拡張するものであり、古典的な不変量を用いた $\mathbb{A}^1$-連結なアフィン二次曲面の完全な分類を提供している。これらの結果は、代数閉体または二次閉体の上では、任意の次元 $n \ge 2$ の滑らかなアフィン二次超曲面は、$\mathbb{G}_m \times \mathbb{A}^{n-2}_k$ と同型であるか、あるいは $\mathbb{A}^1$-連結であるかのいずれかであることを示唆している。