[論文レビュー] Spectral sequences in unstable higher homotopy theory and applications to the coniveau filtration

Frédéric Déglise, Rakesh Pawar|arXiv (Cornell University)|Nov 1, 2024

Homotopy and Cohomology in Algebraic Topology被引用数 1

ひとこと要約

本稿は、∞-圏における不安定なスペクトル系列の枠組みを構築し、アーベルでない設定へのBloch-Ogus-Gabber定理の一般化を図り、補助的コホモトピーに対して不安定なGersten分解を確立する。正則スキームの次元 ≤2 における分離代数群スキームがホモトピーCohen-Macaulayであることを証明し、ザリスキ、ニスネヴィッチ、エタール位相における torsor の分類に関して、正確な完全系列と双対写像が得られる。これは古典的なWeilおよびMorelの結果を、より広いクラスのスキームおよび群スキームへと拡張する。

ABSTRACT

Comments are welcome

研究の動機と目的

• ∞-圏における高次ホモトピー論のための不安定なスペクトル系列形式主義を構築すること。
• 補助的コホモトピーを用いて、非アーベル設定へのBloch-Ogus-Gabber定理の一般化を図ること。
• モチビックおよびエタールホモトピー論におけるコネイヴェーションフィルトレーションに対して、不安定なGersten分解を確立すること。
• 正則スキーム上の分離代数群スキームがホモトピーCohen-Macaulayであることを証明し、古典的なtorsor分類結果を拡張すること。

提案手法

• 有限極限/余極限を備えた点付き∞-圏における不安定な完全対とスペクトル系列を構築する。
• 補助的コホモトピー関手を導入し、不安定なコネイヴェーション完全対を定義する。
• 不安定な八面体公理を適用してスペクトル系列の連続するページを関連付け、標準的補完を導出する。
• 不安定な設定におけるGabberのテクニックを用いて、補助条件を満たす切断されたCousin複体を構成する。
• ザリスキ／ニスネヴィッチ位相の小サイトにおける補助条件を用いて、群のホモトピーCohen-Macaulay層を定義する。
• 帰納的構成とZ′-同型条件を用いて、切断されたCousin複体の一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 不安定ホモトピー論におけるスペクトル系列を∞-圏で形式化することで、古典的結果を一般化できるか？
• RQ2 Bloch-Ogus-Gabber定理は、補助的コホモトピーを伴う非アーベルコホモロジーへ拡張可能か？
• RQ3 スキームの小サイト上での群の層が、どのような条件下でホモトピーCohen-Macaulayか？
• RQ4 ホモトピーCohen-Macaulay性が、さまざまな位相におけるtorsor分類に及ぼす影響は何か？
• RQ5 補助的条件の下で、不安定なGersten分解は、古典的およびモチビックコホモロジーとどのように関係するか？

主な発見

• 正則スキーム X の次元 ≤2 および分離X-群スキーム G に対して、t = Zar または Nis のとき、写像 H1(Xt, G) → ∏′x∈X(1) H1x(Xt, G)/G(K) は双対写像である。
• G が次元2の正則整域スキーム上で滑らかで再帰的または乗法的型のとき、写像 H1(Xet, G) → ∏′x∈X(1) H1x(Xet, G)/G(K) は同型である。
• X(p)/X(p+1) 上での補助条件および X≥p+2 における余核補助条件を満たす、Abel群層の複体 Cz∗(F) は一意に特徴づけられる。
• Cousin複体の構成は、各次数で正確性および補助条件を満たす、唯一の同型類の意味で一意である。
• 不安定スペクトル系列は、全射化のホモトピー群へ収束し、その項は補助的コホモトピーによって制御される。
• 理論は、標準的補完を介してスペクトル系列から不安定な分解を導出するための枠組みを提供する。