[論文レビュー] Quasi-coherent sheaves on the moduli stack of formal groups

Paul G. Goerss|ArXiv.org|Feb 7, 2008

Algebraic Geometry and Number Theory参考文献 42被引用数 42

ひとこと要約

本稿は、形式群のモジュライスタック上の準連接層の高さフィルトレーションおよび幾何的点の形式的近傍を用いて、代数的チロコロジカル収束および破断正方形分解を確立する。スタックが標準的な有限性性質を欠くにもかかわらず、著者は自己完備的な幾何的基盤を提供し、スタックの構造が有限スペクトルのチロコロジカル分解を制御することを示している。

ABSTRACT

The central aim of this monograph is to provide decomposition results for quasi-coherent sheaves on the moduli stack of one-dimensional formal groups. These results will be based on the geometry of the stack itself, particularly the height filtration and an analysis of the formal neighborhoods of the geometric points. The main theorems are algebraic chromatic convergence results and fracture square decompositions. There is a major technical hurdle in this story, as the moduli stack of formal groups does not have the finitness properties required of an algebraic stack as usually defined. This is not a conceptual problem, but in order to be clear on this point and to write down a self-contained narrative, I have included a great deal of discussion of the geometry of the stack itself, giving various equivalent descriptions.

研究の動機と目的

• 形式群のモジュライスタックの幾何がチロコロジカルホモトピー理論をどのように支配するかを統一的かつ自己完備的に記述すること。
• 形式群のモジュライスタックが標準的な有限性性質を欠いているという技術的障壁を克服すること。
• スタック上の準連接層に対して代数的チロコロジカル収束および破断正方形分解を確立すること。
• スタック上の高さフィルトレーションが有限スペクトルのチロコロジカル分解を規定することという、長年の直感を明確にし、体系化すること。
• ホプフアレーブロイド、コモジュール、スタック上の準連接層の間の関係を形式化すること、特にランドアウアー正確理論およびモラヴァ K-理論の文脈において。

提案手法

• 準連接層の分解を組織づける中心的原則として、形式群のモジュライスタック上の高さフィルトレーションを用いる。
• 幾何的点の形式的近傍を分析して、局所から大域への分解結果を導出する。
• 導来完備化および局所コホモロジ―技術を用いて、層およびその台を研究する。
• 降下理論を用いて、ホプフアレーブロイド上のコモジュールの圏とスタック上の準連接層の圏の同値性を確立する。
• 有限性の欠如に対処するため、$fpqc$位相および層論的降下を用いる。
• モジュライスタックの普遍性を用いて、環上の形式的群の法則とそれに対応するコホモロジーテイリーとの関係を関係づける。

実験結果

リサーチクエスチョン

• RQ1 形式群のモジュライスタック上の準連接層は、その幾何的構造を用いてどのように分解可能か？
• RQ2 高さフィルトレーションは、スペクトルのチロコロジカル分解を制御する上で果たす正確な役割は何か？
• RQ3 破断正方形分解は、特に形式的近傍を通じてスタックの幾何からどのように生じるか？
• RQ4 ホプフアレーブロイド上のコモジュールの圏とスタック上の準連接層の圏の間の対応は、どのような意味で成立し、ホモトピー理論とどのように関係するか？
• RQ5 文献に散在する結果に依存せずに、自己完備的かつ幾何的動機付けに基づくチロコロジカルホモトピー理論の記述を構築可能か？

主な発見

• 形式群のモジュライスタック上の高さフィルトレーションは、安定ホモトピー理論におけるチロコロジカルフィルトレーションに対応する、自然な準連接層の分解を誘導する。
• 準連接層の破断正方形分解は、異なる高さの点の形式的近傍の相互作用を通じて実現される。
• ホプフアレーブロイド上のコモジュールの圏は、スタックが有限性性質を欠いていても、その関連するスタック上の準連接層の圏と同値である。
• スタックの幾何に適用された完備化および局所コホモロジ―技術を用いて、代数的にチロコロジカル収束結果が確立される。
• スタックの構造は、$v_n$-周期的現象の振る舞いを説明し、$v_n$ がスタック上のラインバンドルの切断として実現されることを示す。
• 理論は、スタックおよび$fpqc$降下の文脈において、モラヴァのリング変換定理を正当化し、一般化する。