[论文解读] Comodule categories and the geometry of the stack of formal groups

Niko Naumann|ArXiv.org|Mar 15, 2005

Algebraic structures and combinatorial models参考文献 10被引用 6

一句话总结

本文构建了形式群的代数栈，并利用它对 Hovey 与 Strickland 关于 Landweber 保持精确代数的余模范畴结果提供了几何解释。通过证明相同高度的 Landweber 保持精确代数呈现相同的栈（具体而言，即开子栈 $\mathfrak{U}^n$），本文建立了余模范畴在张量阿贝尔范畴下的等价性，推广了先前结果，并为彩色同伦论提供了更深层次的几何理解。

ABSTRACT

We generalise recent results of M. Hovey and N. Strickland on comodule categories for Landweber exact algebras using the formalism of algebraic stacks.

研究动机与目标

• 为代数拓扑中形式群的栈建立严格的理论基础，解决尽管其核心作用却长期缺乏几何构造的问题。
• 阐明平坦霍普夫胚与它们所呈现的代数栈之间的关系，表明余模范畴仅依赖于相关栈。
• 为 Hovey 与 Strickland 关于相同高度的 Landweber 保持精确代数的余模范畴等价性结果提供几何解释。
• 将余模范畴等价性推广至原始设定之外，扩展到更一般的开子栈 $\mathfrak{Z}^n - \mathfrak{Z}^{n+k}$。
• 计算形式群栈的佩克特群，证明其同构于 $\mathbb{Z}$，生成元为典范线丛。

提出的方法

• 通过使用霍普夫胚 $({\mathrm{MU}}_*, {\mathrm{MU}}_*{\mathrm{MU}})$ 的展现方式构建形式群的栈，解决了形式仿射直线平坦形式的问题。
• 证明 $({\mathrm{BP}}_*, {\mathrm{BP}}_*{\mathrm{BP}})$ 所关联的栈是模空间 $X$ 上的一个 $\mathbb{G}_m$-主丛，从而通过单位 $u$ 的共作用实现下降与分次。
• 利用栈按高度的分层结构定义子栈 $\mathfrak{Z}^n$ 与 $\mathfrak{U}^n = \pi^{-1}(U^n)$，其中 $U^n$ 是高度至少为 $n$ 的形式群的轨迹。
• 证明高度为 $n$ 的 Landweber 保持精确代数 $R$ 的余模范畴等价于 $\mathfrak{U}^n$ 上的拟相干层范畴，因此由栈的同构可推出等价性。
• 利用 fpqc 下降，并通过 $\mathbb{G}_m$-作用建立 $\mathrm{Mod}_{\mathrm{qcoh}}({\cal O}_X)$ 与偶分次 ${\mathrm{MU}}_*{\mathrm{MU}}$-余模之间的等价性。
• 计算形式群栈的佩克特群为 $\mathbb{Z}$，其生成元为典范线丛 $\omega$，并关联 $\omega^k$ 的上同调与余模范畴中的 Ext 群。

实验结果

研究问题

• RQ1 如何几何地构造形式群的栈，而非仅仅作为与霍普夫胚相关的栈？
• RQ2 平坦霍普夫胚与其所呈现的代数栈之间的确切关系是什么？这种关系如何影响余模范畴？
• RQ3 为何相同高度的 Landweber 保持精确代数的余模范畴是等价的？这种等价性能否从几何角度理解？
• RQ4 余模范畴的等价性能否超越 Hovey 与 Strickland 的原始设定，推广到更一般的开子栈？
• RQ5 形式群栈的佩克特群是什么？它如何与线丛的几何结构及上同调相关联？

主要发现

• 形式群的栈被构造为模空间 $X$ 上的 $\mathbb{G}_m$-主丛，解决了形式仿射直线平坦形式的问题。
• 高度为 $n$ 的 Landweber 保持精确代数 $R$ 的余模范畴等价于开子栈 $\mathfrak{U}^n$ 上的拟相干层范畴，从而解释了此类代数余模范畴的等价性。
• 形式群栈的佩克特群同构于 $\mathbb{Z}$，其生成元为典范线丛 $\omega$。
• 上同调群 $\mathrm{H}^n(X, \omega^\bigotimes k)$ 同构于 $\mathrm{Ext}^{n,2k}_{{\mathrm{MU}}_*{\mathrm{MU}}}({\mathrm{MU}}_*, {\mathrm{MU}}_*)$，且当 $k < 0$ 时为零。
• 对于复 K-理论，有 $|\mathrm{H}^1(U^1, \omega^\bigotimes k)| = 2 \cdot \mathrm{denominator}(\zeta(1-k))$，将算术与稳定同伦论联系起来。
• 该结果可推广至所有栈 $\mathfrak{Z}^n - \mathfrak{Z}^{n+k}$，表明余模范畴在张量阿贝尔范畴下等价，而不仅是在阿贝尔范畴下。