[論文レビュー] On the moduli stack of commutative, 1-parameter formal Lie groups

Brian D. Smithling|ArXiv.org|Aug 24, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用数 9

ひとこと要約

本稿は、可換で1パrameterの形式的リー群のモジュライスタックの代数幾何的基盤を構築し、n-ブドのモジュライスタックの逆極限としてのそのプロ代数的構造に焦点を当てる。スタックがプロ代数的であることを確立し、高さ層への主要な結果を示し、高さ層の分割がfpqc位相と整合することを示し、安定ホモトピー論における形式的群の理解を代数幾何学的枠組みで提供する。

ABSTRACT

We attempt to develop a general algebro-geometric study of the moduli stack of commutative, 1-parameter formal Lie groups. We emphasize the pro-algebraic structure of this stack: it is the inverse limit, over varying n, of moduli stacks of n-buds, and these latter stacks are algebraic. Our main results pertain to aspects of the height stratification relative to fixed prime p on the stacks of buds and formal Lie groups. We conclude with a largely expository account of some foundational material on limits in bicategories.

研究の動機と目的

• 可換で1パrameterの形式的リー群のモジュライスタックの基礎的代数幾何学的枠組みを確立すること。
• n-ブドのモジュライスタックの逆極限として表現することにより、スタックのプロ代数的性質を明確にすること。
• 固定された素数pに関するスタックの高さ層への分析、特にfpqc降下との関係を考察すること。
• 高さ層の幾何的解釈を提供し、形式的群法則の構造とその分類とを関連付けること。
• スタック的構造としての形式的群を形式化することで、安定ホモトピー論における将来的な応用の土台を築くこと。

提案手法

• 各n-ブドスタックが代数的であるという事実を活用し、n-ブドの逆極限構成によって形式的リー群のモジュライスタックを構築する。
• プロカテゴリおよびフィルター付き極限の理論を用いて、スタックの逆極限構造を定義・操作する。
• fpqc位相を用いて、高さ層が適切に定義されており、降下と整合することを示し、スタックがfpqcスタックであることを保証する。
• Lazard環と普遍形式的群法則を用いて、Spec Λからモジュライスタックへの平坦で、アフィンで、全射な写像を構成し、スタックをプロ代数的対象として提示する。
• プロカテゴリの普遍性を用いて、プロ対象から2カテゴリへの関手を定義し、フィルター付き極限と整合することを保証する。
• 2カテゴリ理論における初期関手の概念を適用し、初期関手との合成において極限が保存されることを証明し、極限カテゴリの同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 可換で1パrameterの形式的リー群のモジュライスタックは、どのようにしてプロ代数的手法を用いて体系的に構成できるか？
• RQ2 形式的リー群のモジュライスタックと、n-ブドのモジュライスタックの逆極限との関係は何か？
• RQ3 fpqc位相において、スタックの高さ層の分割はどのように振る舞い、降下と整合するか？
• RQ4 Lazard環上の普遍形式的群法則は、どのようにモジュライスタックの提示として機能するか？
• RQ5 形式的群のスタック的構造は、Landweber正確関手から生じるような安定ホモトピー論における同値関係を理解するためにどのように利用できるか？

主な発見

• 可換で1パrameterの形式的リー群のモジュライスタックは、nに関するn-ブドのモジュライスタックの逆極限として同型であり、プロ代数的である。
• 各n-ブドスタックは代数的であり、逆極限構成により、全スタックが明確なプロ代数的構造を有する。
• スタックの高さ層の分割はfpqc位相と整合する。すなわち、層はfpqc局所的に定義され、降下閉じている。
• Lazard環上の普遍形式的群法則は、Spec Λからモジュライスタックへの平坦で、アフィンで、全射な写像を誘導し、スタックをプロ代数的対象として提示する。
• スタックはfpqcスタックである。つまり、fpqc降下を満たしており、幾何的整合性が保証され、降下理論的構成に適していることが確認される。
• 逆極限構造により、スタックはそのn-ブド成分の幾何的および圏論的性質を、特にプロカテゴリにおけるフィルター付き極限の普遍性を通じて継承する。