[论文解读] Galois extensions of structured ring spectra

John Rognes|arXiv (Cornell University)|Feb 9, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 77被引用 64

一句话总结

本文为交换 $S$-代数（结构化环谱）建立了广义的伽罗瓦理论，通过同伦固定点和 smash 积条件引入了 $E$-局部 $G$-伽罗瓦扩张。主要结果是在有限群 $G$ 的子群与中间可分扩张之间建立了一个反变的双射伽罗瓦对应，将经典伽罗瓦理论推广至稳定同伦论，其应用涵盖 $K$-理论、Lubin-Tate 谱与复 cobordism。

ABSTRACT

We introduce the notion of a Galois extension of commutative S-algebras (E_infty ring spectra), often localized with respect to a fixed homology theory. There are numerous examples, including some involving Eilenberg-Mac Lane spectra of commutative rings, real and complex topological K-theory, Lubin-Tate spectra and cochain S-algebras. We establish the main theorem of Galois theory in this generality. Its proof involves the notions of separable and etale extensions of commutative S-algebras, and the Goerss-Hopkins-Miller theory for E_infty mapping spaces. We show that the global sphere spectrum S is separably closed, using Minkowski's discriminant theorem, and we estimate the separable closure of its localization with respect to each of the Morava K-theories. We also define Hopf-Galois extensions of commutative S-algebras, and study the complex cobordism spectrum MU as a common integral model for all of the local Lubin-Tate Galois extensions.

研究动机与目标

• 为交换 $S$-代数发展同伦论的类伽罗瓦理论的类比，将算术与几何概念推广至结构化环谱。
• 通过同伦固定点与 smash 积条件，定义并刻画 $E$-局部 $G$-伽罗瓦扩张，确保与稳定同伦论的兼容性。
• 在忠实的 $E$-局部 $G$-伽罗瓦扩张中，建立有限群 $G$ 的子群与中间可分扩张之间的双射伽罗瓦对应。
• 分析复 cobordism 谱 $MU$ 作为 Lubin-Tate 伽罗瓦扩张的通用整数模型的作用，通过 Hopf 余作用实现。
• 研究球谱的可分闭包及其 $K(n)$-局部化，利用 Minkowski 判别式定理。

提出的方法

• 通过两个关键同伦同构定义 $E$-局部 $G$-伽罗瓦扩张：$A \to B^{hG}$ 与 $B \bigwedge_A B \to \textstyle\bigprod_G B$，在 $E_*$-同调中成立。
• 使用可交换 $S$-代数范畴中的纤维化解析，确保扩张定义的同伦不变性。
• 应用 Goerss–Hopkins–Miller 理论控制 $E_\finity$ 映射空间，并构造 $E$-局部 $G$-伽罗瓦扩张。
• 通过乘法映射 $B \bigwedge_A B \to B$ 的双模截面（在同伦意义下）建立可分性。
• 利用 Hopkins–Miller 定理证明 Lubin-Tate 谱 $E_n$ 的自同态由其在 $\rho_0(E_n)$ 上的作用决定，从而将自同构与形式群律同构联系起来。
• 通过 Thom 对角线与 $S[BU]$-余作用，将 $MU$ 的复定向与 $K(n)$-局部化上的伽罗瓦型作用联系起来。

实验结果

研究问题

• RQ1 如何将经典伽罗瓦理论推广至结构化环谱的设定，特别是在稳定同伦论的背景下？
• RQ2 何种条件可确保一个交换 $S$-代数的映射为忠实的 $E$-局部 $G$-伽罗瓦扩张，其与同伦固定点和 smash 积的关系如何？
• RQ3 能否从扩张代数的自同态空间中恢复 $G$-伽罗瓦扩张的伽罗瓦群？
• RQ4 复 cobordism 谱 $MU$ 如何作为不同色级上 Lubin-Tate 伽罗瓦扩张的通用模型？
• RQ5 球谱 $S$ 的可分闭包及其 $K(n)$-局部化是什么？Minkowski 判别式定理在此情境下如何应用？

主要发现

• 主要定理在子群 $K \subset G$ 与可分 $A$-代数 $C = B^{hK}$ 的弱等价类之间建立了反变双射伽罗瓦对应，且 $C \to B$ 为忠实的。
• 对于一个忠实的 $E$-局部 $G$-伽罗瓦扩张 $A \to B$ 且 $B$ 连通的情形，伽罗瓦群 $G$ 弱同伦等价于 $\mathcal{C}_A(B,B)$，即 $B$ 作为交换 $A$-代数的自同态空间。
• 球谱 $S$ 是可分闭的，该结论通过将 Minkowski 判别式定理应用于其 $K(n)$-局部化而得证。
• 复 cobordism 谱 $MU$ 允许通过 $S[BU]$ 的 Hopf 余作用实现，该作用编码了概有限群 $\mathbb{G}_n$ 在 Lubin-Tate 谱 $E_n$ 上的伽罗瓦作用，即使不存在全局伽罗瓦群。
• 每个 $\mathbb{G}_n$ 的自同构 $g$ 均可唯一提升为 $E_n$ 的自同态，其由其在 $\pi_0(E_n)$ 上的作用与普遍变形决定。
• 其 $K(n)$-局部化 $L_{K(n)}S \to E_n$ 是一个 pro-$\mathbb{G}_n$-伽罗瓦扩张，伽罗瓦群 $\mathbb{G}_n$ 通过莫拉瓦稳定子群的概有限化作用。