On the Motivic Homotopy Type of Algebraic Stacks

技術要約：代数スタックのモチーフ的ホモトピー型について

問題提起
本論文は、モチーフ的ホモトピー論およびモチーフの理論を、スキームから一般的な代数スタックへと拡張するという課題に取り組んでいる。スタックの問題をスキームのケースに還元するためのホモトピー的降下（homotopical descent）の手法は存在するが、歴史的にこの還元は、特定のクラスのスタック（例えば、Nisnevich局所的に商スタックであるもの、すなわち線形簡約なスタブライザーを持つもの）に限定されていた。任意の代数スタックに対して標準的なモチーフおよびモチーフ的ホモトピー論の形式体系が「正しい」結果をもたらすことを確立するには、大きな空白が存在していた。特に、局所商構造や特定の分離仮定を持たないスタックの場合である。さらに、以前はNisnevich局所的な切断を持つ滑らかなプレゼンテーションの存在を必要としていた、スタックに対する安定モチーフホモトピー圏の異なる定義を統一する必要があった。

手法
著者らは、**滑らかなNisnevich被覆（smooth-Nisnevich coverings）**に基づく枠組みを開発している。代数スタックの射 $f: Y \to X$ は、それが滑らかであり、かつ任意の体 $\text{Spec } K \to X$ からの射が $Y$ へ持ち上げられるとき、滑らかなNisnevich被覆であると定義される。

核心となる手法上の貢献は、あらゆる代数スタックに対してこのような被覆を構成することであり、これにより分離性、有限型、あるいはスタブライザーの性質に関する従来の制約を取り除いている。著者らは以下を利用する：

1. 分割被覆（Splitting Covers）： 滑らかな射は、分割被覆（基底の有限分割において射が切断を持つもの）を持つための必要十分条件として、それが滑らかなNisnevich被覆であること。
2. ヒルベルト・スタック（Hilbert Stacks）： 存在性の証明は、ヒルベルト・スタック（準有限またはエタールな族をパラメータ化するもの）の性質に依拠している。滑らかな被覆のヒルベルト・スタックを分析することにより、著者らは、表現可能であり、かつ望ましい持ち上げ特性を持つ新しい被覆を構成する。
3. チェッホ・ナーブ（Čech Nerves）： 一度、滑らかなNisnevich被覆 $p: \mathcal{X} \to X$ （ここで $\mathcal{X}$ はスキームである）が確立されれば、著者らは関連するチェッホ・ナーブ $\mathcal{X}_\bullet$ を分析する。彼らは、このシンプリシャル・スキームがMorel-Voevodskyの$\mathbb{A}^1$-ホモトピー圏において同値性を誘導することを証明する。

主要な貢献と結果

• 定理 1.2（滑らかなNisnevich被覆の存在）： 本論文は、任意の代数スタック $X$ に対して、$\mathcal{X}$ がスキームであるような滑らかなNisnevich被覆 $p: \mathcal{X} \to X$ が存在することを証明している。

  • $X$ が擬コンパクトかつ擬分離（qcqs）でアフィン・スタブライザーを持つ場合、$\mathcal{X}$ はアフィンとして選ぶことができる。
  • $X$ がデリーニュ・マムフォード・スタックである場合、$p$ はエタールとして選ぶことができる。
  • この結果は、以前の文献（例：[LMB00], [Čes15], [Pir18]）で必要とされていた分離仮定やNoether的仮定を排除することで、先行研究を一般化している。

• 定理 1.3（ホモトピー的降下）： 体 $k$ 上の滑らかなNisnevich被覆 $p: \mathcal{X} \to X$ とそのチェッホ・ナーブ $\mathcal{X}_\bullet$ を考える。射 $\mathcal{X}_\bullet \to X$ は、Morel-Voevodskyの$\mathbb{A}^1$-ホモトピー圏 $\mathcal{H}(k)$ において同値性を誘導する。

  • これにより、任意の代数スタックのNisnevichホモトピー型がシンプリシャル・スキームによって記述できることが確立され、あらゆるスタックに対してホモトピー的降下の議論が可能となった。

• 滑らかなスタックのモチーフ的性質（定理 3.4）： この降下の結果の帰結として、滑らかな代数スタック $X$ のモチーフ $M(X)$ は、滑らかなスキームのモチーフと同じ基本特性を満たす：

  • Nisnevich降下。
  • 射影束公式（Projective bundle formula）。
  • 吹出し公式（Blow-up formula）。
  • Gysin三角形。
  • これらの結果は、以前はNisnevich局所的に商スタックに限定されていた[CD20]の結果を一般化するものである。

• 安定ホモトピー圏の統一（系 3.13）： 本論文は、任意の擬分離な代数スタック $X$ に対して、極限拡張された安定モチーフホモトピー圏 $\mathcal{SH}^\wedge(X)$（[KR21]より）と、lisse-拡張された圏 $\mathcal{SH}^{\otimes}_{ext}(X)$（[Cho21]より）が同値であることを示している。この同値性は、定理 1.2 がすべてのスタックがNisnevich局所的な切断を持つ滑らかなプレゼンテーションを持つことを保証しているために成立する。

• コンパクトサポートを持つモチーフのポアンカレ双対性（定理 3.10）： アフィン・スタブライザーを持つ次元 $d$ の滑らかな代数スタック $X$ に対し、著者らは滑らかなNisnevich被覆上のホモトピー極限を通じてコンパクトサポートを持つモチーフ $M^c(X)$ を定義する。彼らは同型式 $M^c(X) \cong M(X)^\vee(d)[2d]$ を証明する。

意義
本論文は、任意の代数スタックに対する滑らかなNisnevich被覆の存在が、モチーフ的ホモトピー論を一般的なスタックの設定に適用することを正当化する基礎的な結果であることを主張している。滑らかなスタックのモチーフが滑らかなスキームのモチーフと同様に振る舞うことを示すことにより、著者らは、様々なモチーフの形式体系が、制限的な「局所商」条件を必要とせずに一貫した結果を生み出すことを確認している。

さらに、本論文は、定理 1.2 における有界性の結果がモチーフ理論を超えた応用を持つことを述べている。具体的には、完全Noether環上の固有な射に関するグロタンディークの問い（$H^2(X, \mathbb{G}_m) \to \varprojlim H^2(X_n, \mathbb{G}_m)$ の単射性）を研究するために、ピカール・スタックに対してElkikの近似技法を適用することへの応用である。

著者らは、同様の存在定理が最近 [CD24] で証明されたことを認めた上で、彼らの貢献には、qcqsかつアフィン・スタブライザーを持つスタックに対する具体的な有界性の結果、および安定モチーフホモトピー圏の統一とモチーフ的コホモロジーの性質への明示的な適用が含まれていることを強調している。