[論文レビュー] Exodromy

Clark Barwick, Saul Glasman+1 more|arXiv (Cornell University)|Jul 9, 2018

Algebraic Geometry and Number Theory被引用数 6

ひとこと要約

この論文は、局所体のガロア群の位相をグローバル化する自然なプロファinite位相を、準コンpakts、準分離なスキーム 𝑋 の幾何的点の圏 Gal(𝑋) に導入し、Gal(𝑋) の表現と、プロファinite環または𝐐̂ℓ の代数的拡大を係数にもつ、構成可能性層の間の同値関係（exodromy同値）を確立する。主な貢献は、特徴が 0 で有限生成な体上の正規多様体が、そのガロア作用を伴うプロファinite分離空間の圏 Gal(𝑋) によって完全に決定されることを示す再構成定理であり、高次トポス論理とピクノティック／コンデンス形式主義を用いて、モノドロミーをエタール設定に一般化する。

ABSTRACT

Let $X$ be a quasicompact quasiseparated scheme. Write $\operatorname{Gal}(X)$ for the category whose objects are geometric points of $X$ and whose morphisms are specializations in the étale topology. We define a natural profinite topology on the category $\operatorname{Gal}(X)$ that globalizes the topologies of the absolute Galois groups of the residue fields of the points of $X$. One of the main results of this book is that $\operatorname{Gal}(X)$ variant of MacPherson's exit-path category suitable for the étale topology: we construct an equivalence between representations of $\operatorname{Gal}(X)$ and constructible sheaves on $X$. We show that this 'exodromy equivalence' holds with nonabelian coefficients and with finite abelian coefficients. More generally, by using the pyknotic/condensed formalism, we extend this equivalence to coefficients in the category of modules over profinite rings and algebraic extensions of $\mathbf{Q}_{\ell}$. As an 'exit-path category', the topological category $\operatorname{Gal}(X)$ also gives rise to a new, concrete description of the étale homotopy type of $X$. We also prove a higher categorical form of Hochster Duality, which reconstructs the entire étale topos of a quasicompact and quasiseparated scheme from the topological category $\operatorname{Gal}(X)$. Appealing to Voevodsky's proof of a conjecture of Grothendieck, we prove the following reconstruction theorem for normal varieties over a finitely generated field $k$ of characteristic $0$: the functor $X\mapsto\operatorname{Gal}(X)$ from normal $ k $-varieties to topological categories with an action of $\operatorname{G}_{k}$ and equivariant functors that preserve minimal objects is fully faithful.

研究の動機と目的

• エタール位相を用いて、トポロジカル空間からのモノドロミーをスキームへ一般化すること。
• 局所ガロア群の位相構造をグローバル化する、Gal(𝑋) に自然なプロファinite位相を導入すること。
• 非アーベルおよび有限アーベル係数を用いた、Gal(𝑋) の表現と構成可能性層の間のエキストロミ同値関係を確立すること。
• ピクノティック／コンデンス形式主義を用いて、この同値関係をプロファinite環や 𝐐̂ℓ の代数的拡大を係数にもつモジュール係数へ拡張すること。
• 𝑋 のエタールホモトピー型と、エタールトポス全体を Gal(𝑋) から再構成し、ホッホスター双対性の高次カテゴリカルな形を証明すること。

提案手法

• エタール位相における特殊化を射として持つ、𝑋 の幾何的点の圏 Gal(𝑋) を定義する。
• 局所体の残渣体のガロア群のプロファinite構造を refine する自然なプロファinite位相を Gal(𝑋) に導入する。
• 連続的表現の圏と 𝑋 上の構成可能性層の間の同値関係を構成する。非アーベルおよび有限アーベル係数について有効である。
• ピクノティック／コンデンス形式主義を用いて、エキストロミ同値関係をプロファinite環や 𝐐̂ℓ の代数的拡大を係数にもつものへ拡張する。
• 𝑋 のエタールホモトピー型が、Gal(𝑋) の形状として実現されることを証明し、エタールトポス全体がホッホスター双対性を用いて Gal(𝑋) から再構成可能であることを示す。
• ヴォエヴォズキーによるグローテンディーク予想の証明を応用し、関手 𝑋↦Gal(𝑋) が、特徴が 0 で有限生成な体上の正規 𝑘-多様体の圏において、完全に忠実であることを示す。

実験結果

リサーチクエスチョン

• RQ1 局所体の基本群の表現と局所系の古典的モノドロミー同値関係を、エタール設定におけるスキームへ一般化できるか。その際、プロファinite位相を備えた幾何的点の圏が用いられる。
• RQ2 エキストロミ同値関係をアーベル係数を超えて、非アーベルおよびプロファinite係数系へどのように拡張できるか。
• RQ3 圏 Gal(𝑋) が、スキーム 𝑋 のエタールホモトピー型およびエタールトポス全体をどの程度にまで符号化しているか。
• RQ4 特徴が 0 で有限生成な体上の正規多様体のエタールトポスは、そのガロア作用を伴う Gal(𝑋) 圏から再構成可能か。
• RQ5 ガロア作用が幾何的ファイバーに与える影響と、多様体の分離ホモトピー型との正確な関係は何か。

主な発見

• 非アーベル係数についてもエキストロミ同値関係が成立し、Gal(𝑋) の連続的表現と 𝑋 上の構成可能性層との間に自然な同値関係が確立される。
• ピクノティック／コンデンス形式主義を用いて、この同値関係はプロファinite環のモジュールや 𝐐̂ℓ の代数的拡大を係数とするものへ拡張可能である。
• 𝑋 のエタールホモトピー型は、位相的圏 Gal(𝑋) の形状として実現され、新たな具体的な記述が得られる。
• 高次カテゴリカルなホッホスター双対性により、準コンパクトかつ準分離なスキームのエタールトポス全体が、Gal(𝑋) から再構成可能である。
• 特徴が 0 で有限生成な体上の正規 𝑘-多様体について、関手 𝑋↦Gal(𝑋) は、最小対象を保存する連続的 𝐺𝑘-作用を伴う位相的圏の圏へ完全に忠実である。
• 体 𝑘 上の genus 𝑔 の曲線 𝐶 は、その 𝐺𝑘-作用を伴うプロファinite分離空間 ̂𝐶𝑔 から再構成可能であり、𝐶 の 𝑘′-点は、Gal(𝐶𝑘) の Gal(𝑘′⊗𝑘𝑘)-点と自然に同一視される。