Profinite Borel completeness and smooth Artin motives

技術的要約：プロ有限性、ボレル完全性、および滑らかなアルチン・モチーフ

問題提起
本論文は、二つの異なる数学的枠組み、すなわち一般の基底スキーム $S$ 上の滑らかなアルチン・モチーフの $\infty$-圏と、エタール基本群 $\pi_1^{\text{ét}}(S)$ の表現論との関係を取り上げている。Voevodskyは、体 $F$ 上のアルチン・モチーフと絶対ガロア群 $\text{Gal}(F^{\text{sep}}/F)$ の派生置換加群との間の同値性を確立したが、ガロア群がプロ有限エタール基本群 $\pi_1^{\text{ét}}(S)$ に置き換わる一般の基底スキーム $S$ においても、この同値性が拡張されるかどうかは未解決の問題であった。

二次的な基礎的問題として、プロ有限群の共変ホモトピー論における問題がある。有限群の場合、ボレル完全スペクトルの部分圏は（Mathew–Naumann–Noelを通じて）関手圏としてよく理解されている。しかし、プロ有限群の場合、軌道 $G/1$ は有限な $G$-集合ではないため、ボレル完全性の直接的な一般化を困難にしている。本論文は、プロ有限群に対して複数の異なる「ボレル完全性」の概念が存在するかどうか、そしてそれらが層理論やモチーフとどのように関連しているかを調査している。

手法
著者は、まず必要な共変ホモトピー論を展開し、次にそれをモチーフの理論に適用するという二段構えのアプローチを用いている。

1. プロ有限群のための共変ホモトピー論：

   • 本論文は、連結な可換環スペクトル $R$ を係数とする、有限群におけるボレル完全スペクトルの記述を再検討する。
   • プロ有限群 $G = \lim_i G_i$ に対して、二つのボレル完全性の概念を定義する：
     • レベルワイズ・ボレル完全性 ($Sp^{\text{lwBorel}}_G$)： 圏論的な固定点に沿った、有限商 $G_i$ のボレル完全な圏の極限として定義される。
     • ボレル完全性 ($Sp^{\text{Borel}}_G$)： すべての開正規部分群の軌道の双対の余極限として構成される特定の代数対象 $A$ に関する完全性として定義される。
   • 著者は、これらの構造を分析するために、スペクトル・マッキー関手および共変環スペクトルの加群圏の理論を利用する。主要な技術的ツールは、$t$-構造とハイパー完備化を通じてこれら二つの概念の関係を特定することである。

2. モチーフと対応：

   • 著者は、有限対応（finite correspondences）を係数として用いる、有効なVoevodskyモチーフの $\infty$-圏 $DM^{\text{eff}}_{\tau}(S; R)$ （ここで $\tau = \text{Nisnevich}$ または $\text{étale}$）を構成する。
   • 滑らかなアルチン・モチーフ $DAM_{\tau}(S; R)$ は、有限エタール $S$-スキームのモチーフによって生成される局所化部分圏として定義される。
   • 著者は、第一部で定義された共変圏とこれらのモチーフとの間の架け橋を、Grothendieckによる有限エタール $S$-スキームと有限離散 $G$-集合との間の同値性を利用して構築する。
   • 決定的な点として、本論文は「移送（transfers）」（有限対応）の挙動を、有限エタール $S$-スキーム上のエタール層の文脈で調査し、エタール層が自然に移送を持つことを証明する。

主要な貢献と結果

• ボレル完全性の区別： 本論文は、プロ有限群において「レベルワイズ」なボレル完全性と、標準的な「ボレル完全性」（代数 $A$ によって定義される）が一般に異なることを特定している。

  • 定理 3.30： ボレル完全な $G$-スペクトルの圏は、レベルワイズ・ボレル完全な $G$-スペクトルの圏のハイパー完備化と等価である。これは、二つの概念の間の正確な構造的関係を提供している。

• 層および表現との同値性：

  • 命題 4.8 および 4.13： 本論文は、共変スペクトルのボレル完全な圏と、有限 $G$-集合上の層の圏および離散加群の派生圏を結ぶ可換図式を確立する。
  • 具体的には、レベルワイズ・ボレル完全な加群の圏は有限 $G$-集合上の層の圏と等価であり、ボレル完全な圏は（$G$ の仮想コホモロジー次元に関する特定の条件下で）ハイパー層（hypersheaves）に対応する。

• Voevodskyの定理の一般化（Nisnevichの場合）：

  • 定理 5.19： 有限のKrull次元を持つ連結なノーター型スキーム $S$ に対して、滑らかなアルチン・モチーフ（Nisnevich位相）の $\infty$-圏と、プロ有限群 $\pi_1^{\text{ét}}(S, s)$ 上の置換加群の派生圏との間に、対称モノイダル同値が存在する：
    $$DAM^{\text{Nis}}(S; R) \simeq D\text{Perm}(\pi_1^{\text{ét}}(S, s); R)$$
  • この結果は、アルチン・モチーフのガロア表現による古典的な記述が、Nisnevich位相において一般の基底スキームへと拡張されることを確認するものである。

• エタールの場合と移送：

  • 定理 5.34： 本論文は、有限エタール $S$-スキーム上のエタール層が自動的に移送を持つことを証明する。これにより、有限エタールスキーム上の移送を持つエタール層の圏が、明示的な対応への言及なしに、有限エタールスキーム上のエタール層の圏と一致することが示される。
  • 定理 5.37： 派生置換加群、ボレル完全スペクトル、および（Nisnevichおよびétaleの両方の位相における）滑らかなアルチン・モチーフを結びつける包括的な可換図式が提示される。
  • 系 5.31： ハイパー完備なエタールの場合において、係数環 $R$ が正の標数 $n$ を持ち、$S$ の剰余標数が $n$ と素数であるという仮定の下で、滑らかなアルチン・モチーフの圏は、有限エタールスキーム上の移送を持つハイパー層の圏と等価である。

意義と主張
本論文は、アルチン・モチーフのVoevodskyによる記述が一般の基底スキームに対して成立するかという問いを解決することを主張している。それはNisnevich位相については肯定しており、エタール位相についてはハイパー完備化の役割を強調することで、より微細な回答を与えている。

その意義は以下の通りである：

1. 統一された枠組み： モチーフの理論とプロ有限群の共変ホモトピー論を統一し、滑らかなアルチン・モチーフがエタール基本群によって制御されていることを示している。
2. プロ有限共変性の明確化： プロ有限の設定において、レベルワイズなボレル完全性とハイパー完備なボレル完全性の微妙な違いを明らかにし、後者がエタール層（ハイパー層）の全構造を捉えるための正しい概念であることを特定している。
3. 移送の移送： エタール層が有限エタールスキーム上で本質的に移送を保持しているという独立した証明を提供している。これは、他の文献における特定のホム集合の同一視に依存していた既知の結果である。

著者は、Nisnevichの場合は綺麗な同値が得られる一方で、エタールの場合は層とハイパー層を区別する必要があり、非ハイパー完備なエタールの場合における置換加群への同値性は、本研究では行われていないさらなる写像空間の計算を必要とすることを注記している。これらの結果は、これらの圏のBalmerスペクトルに関するBalmer–GallauerおよびDubey–Gómezの最近の研究に依拠した、基礎的な一歩として提示されている。