[论文解读] The power operation structure on Morava E-theory of height 2 at the prime 3

Yifei Zhu|arXiv (Cornell University)|Oct 13, 2012

Algebraic Geometry and Number Theory参考文献 15被引用 9

一句话总结

本文计算了在 p=3 时高度-2 Morava E-理论的 Dyer-Lashof 代数结构，通过椭圆曲线的通用三次同源显式确定了幂运算。推导了总幂运算与单个幂运算的公式，建立了它们的代数关系，并将其与 K(1)-局部化联系起来，为该素数下 K(2)-局部交换 E-代数的 Dyer-Lashof 理论提供了完整的代数描述。

ABSTRACT

We give explicit calculations of the algebraic theory of power operations for a specific Morava E-theory spectrum and its K(1)-localization. These power operations arise from the universal degree-3 isogeny of elliptic curves associated to the E-theory.

研究动机与目标

• 为 p=3 时 K(2)-局部交换 E-代数的 Dyer-Lashof 理论提供完整的代数描述。
• 计算总幂运算 ψ₃ 及表示通用三次同源模空间问题的环 S₃。
• 通过 BΣₘ 的上同调与 E∗BΣₘ 的计算，推导单个幂运算及其代数关系。
• 建立高度-2 总幂运算 ψ₃ 与相应 K(1)-局部幂运算之间的联系。
• 以在恒等元处相对余切空间中几何动机的生成元为参数，给出幂运算的显式公式。

提出的方法

• 使用在分次环 S• = Z[1/4][a,b,Δ⁻¹] 上的通用椭圆曲线，其中 |a|=1, |b|=2，以建模在 p=3 时的 Morava E-理论。
• 通过通用三次同源定义 E₀ 上的总幂运算 ψ₃，并以参数 a 和 b 表示其公式。
• 计算表示同源模空间问题的环 S₃，表明其为基环上一个生成元的自由代数。
• 利用 BΣₘ 的上同调（来自 [Str98]）与 E∗BΣₘ 的结构，定义单个幂运算及其关系。
• 通过应用局部化映射，从高度-2 总运算 ψ₃ 推导出 K(1)-局部幂运算。
• 采用椭圆曲线上坐标的幂级数展开与群法则公式，显式计算同源的作用。

实验结果

研究问题

• RQ1 在 p=3 时，K(2)-局部交换 E-代数的 Dyer-Lashof 代数的显式代数结构是什么？
• RQ2 在 p=3 时高度-2 Morava E-理论上的总幂运算 ψ₃ 如何与 K(1)-局部幂运算相关联？
• RQ3 从恒等元处相对余切空间导出的参数在参数化 Dyer-Lashof 代数中起什么作用？
• RQ4 单个幂运算的公式如何依赖于模堆栈上坐标图的选择？
• RQ5 以通用椭圆曲线的参数 a 和 b 表示的幂运算的显式公式是什么？

主要发现

• 总幂运算 ψ₃ 在 E₀ 上被显式计算为关于参数 a 和 b 的幂级数，其系数涉及环 S₃。
• 证明了环 S₃ 为基环上一个生成元的自由代数，该生成元源于椭圆曲线在恒等元处的相对余切空间。
• 单个幂运算通过 BΣₘ 的上同调从总运算 ψ₃ 推导得出，其代数关系被显式确定。
• 通过将局部化映射应用于高度-2 总运算 ψ₃，得到了 K(1)-局部幂运算，其公式以 a 和 b 显式表示。
• 利用所选参数推导出幂运算的 Adem 型关系，该参数自然契合 [Rez09] 的分次框架。
• 本文所用参数与在 p=2 时类似计算中使用的参数一致，表明其在不同素数下可能为几何上自然的规范选择。