[论文解读] 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$ 下降的背景下，证明并推广了莫拉瓦的环变换定理。