[论文解读] Iterated homotopy fixed points for the Lubin-Tate spectrum

Daniel G. Davis|arXiv (Cornell University)|Oct 29, 2006

Homotopy and Cohomology in Algebraic Topology被引用 1

一句话总结

本论文在特定条件下确立了Lubin-Tate谱在迭代同伦固定点谱存在的事实：当G为扩展的Morava稳定子群Gn，且Z为En ∧ X的Bousfield局部化时，X具有平凡Gn作用。关键结果表明，迭代同伦固定点谱(ZhH)hK/H同伦等价于EhK，从而解决了同伦色谱理论中的一个构造难题。

ABSTRACT

When G is a profinite group and H and K are closed subgroups, with H normal in K, it is not always possible to form the iterated homotopy fixed point spectrum (ZhH) hK/H, where Z is a continuous G-spectrum. However, we show that, if G = Gn, the extended Morava stabilizer group, and Z = ̂ L(En ∧ X), where ̂ L is Bousfield localization with respect to Morava K-theory, En is the Lubin-Tate spectrum, and X is any spectrum with trivial Gn-action, then the iterated homotopy fixed point spectrum can always be constructed. Also, we show that (EhH n of Devinatz and Hopkins.) hK/H is just E hK

研究动机与目标

• 解决当G为拓扑群且H ⊲ K为闭子群时，构造迭代同伦固定点谱(ZhH)hK/H的问题。
• 解决在一般情况下，对连续G-谱Z，此类谱的构造所面临的障碍。
• 确立迭代构造可能的条件，特别是针对Lubin-Tate谱的情形。
• 表明在此条件下，(ZhH)hK/H ≃ EhK，从而简化了迭代固定点的结构。

提出的方法

• 使用扩展的Morava稳定子群Gn作为作用的拓扑群G。
• 将Z构造为̂L(En ∧ X)，其中̂L为在Morava K-理论上的Bousfield局部化，且X具有平凡Gn作用。
• 应用拓扑群的连续作用及拓扑群的同伦固定点理论。
• 利用关于En的同伦固定点的已知结果，推导出迭代固定点的结构。
• 利用EhK已被充分理解的事实，证明其与迭代构造的等价性。
• 确立在给定条件下，迭代构造是良定义的，并且与标准同伦固定点谱同伦等价。

实验结果

研究问题

• RQ1 当G为拓扑群且H ⊲ K为闭子群时，Z为连续G-谱，迭代同伦固定点谱(ZhH)hK/H在何种条件下可被构造？
• RQ2 在扩展的Morava稳定子群Gn作用下，Lubin-Tate谱En的迭代同伦固定点谱是否可被构造？
• RQ3 在此设定下，迭代同伦固定点谱(ZhH)hK/H是否与标准同伦固定点谱EhK同伦等价？
• RQ4 Bousfield局部化̂L在使En ∧ X（具有平凡Gn作用）的迭代固定点得以构造中起到何种作用？
• RQ5 当Z = ̂L(En ∧ X)且X具有平凡Gn作用时，等价式(ZhH)hK/H ≃ EhK是否成立？

主要发现

• 当G = Gn，Z = ̂L(En ∧ X)，且X具有平凡Gn作用时，迭代同伦固定点谱(ZhH)hK/H存在且良定义。
• 该构造之所以可能，归因于扩展的Morava稳定子群的特定结构以及Bousfield局部化的性质。
• 迭代同伦固定点谱(ZhH)hK/H同伦等价于EhK，即标准同伦固定点谱。
• 尽管此类迭代构造在一般连续G-谱中并不总是可行，但该等价性依然成立。
• 该结果为Lubin-Tate设定下提供了迭代固定点的典范构造，解决了长期存在的技术障碍。
• 等价式(ZhH)hK/H ≃ EhK简化了色谱同伦理论中高阶固定点的研究。