[论文解读] 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

一句话总结

本文建立了交换、单参数形式李群的模堆栈的代数几何基础，强调其作为 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.

研究动机与目标

• 建立交换、单参数形式李群的模堆栈的代数几何基础框架。
• 通过将堆栈表示为 n-芽模堆栈逆极限的方式，阐明其拟代数性质。
• 分析相对于固定素数 p 的堆栈高度分层，特别是其与 fpqc 下降的关系。
• 提供高度分层的几何解释，将其与形式群律的结构及其分类联系起来。
• 通过形式化形式群的堆栈结构，为未来在稳定同伦理论中的应用奠定基础。

提出的方法

• 利用 n-芽上的逆极限构造来构建形式李群的模堆栈，借助每个 n-芽堆栈均为代数的这一事实。
• 应用拟范畴和滤过极限的理论，以定义和操作堆栈的逆极限结构。
• 采用 fpqc 拓扑证明高度层是良好定义且与下降相容的，确保堆栈为 fpqc 堆栈。
• 利用 Lazard 环和通用形式群律，构造从 Spec Λ 到模堆栈的平坦、仿射且满射的映射，从而通过拟代数结构实现堆栈的表示。
• 应用拟范畴的泛映射性质，定义从拟对象到双范畴的函子，确保其与滤过极限相容。
• 应用 2-范畴理论中初始函子的概念，证明极限在与初始函子复合下保持不变，从而确立极限范畴的等价性。

实验结果

研究问题

• RQ1 如何通过拟代数方法系统地构造交换、单参数形式李群的模堆栈？
• RQ2 形式李群的模堆栈与 n-芽模堆栈逆极限之间存在何种关系？
• RQ3 堆栈的高度分层在 fpqc 拓扑下如何表现？是否与下降相容？
• RQ4 Lazard 环上的通用形式群律在何种意义上作为模堆栈的表示？
• RQ5 形式群的堆栈结构如何用于理解稳定同伦理论中的等价关系，例如由 Landweber 正合函子导出的等价？

主要发现

• 交换、单参数形式李群的模堆栈是拟代数的，同构于关于 n 的 n-芽模堆栈的逆极限。
• 每个 n-芽堆栈都是代数的，且逆极限构造使整个堆栈具备明确定义的拟代数结构。
• 堆栈的高度分层与 fpqc 拓扑相容，意味着层在 fpqc 局部定义且对下降封闭。
• Lazard 环上的通用形式群律诱导出从 Spec Λ 到模堆栈的平坦、仿射且满射的映射，为堆栈作为拟代数对象提供了表示。
• 该堆栈是 fpqc 堆栈，即满足 fpqc 下降，这证实了其几何一致性，并使其适用于下降理论构造。
• 逆极限结构确保堆栈继承其 n-芽分量的几何与范畴论性质，特别是通过拟范畴中滤过极限的泛性质。