[论文解读] Quasi-elliptic cohomology and its Spectrum

Zhen Huan|arXiv (Cornell University)|Mar 20, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 3

一句话总结

本文通过引入一种新的正交 G-谱类别 GwS，并利用固定点函子的同伦右伴随，构建了一个表示拟椭圆上同调的正交 G-谱。该构造广泛适用于如 Tate K-上同调与广义 Morava E-上同调等等变上同调理论，为全局同伦理论提供了新框架，或可作为全局椭圆上同调的理论基础。

ABSTRACT

Ginzburg, Kapranov and Vasserot conjectured the existence of equivariant elliptic cohomology theories. In this paper, to give a description of equivariant spectra of the theories, we study an intermediate theory, quasi-elliptic cohomology. We formulate a new category of orthogonal G-spectra and construct explicitly an orthogonal G-spectrum of quasi-elliptic cohomology in it. The idea of the construction can be applied to a family of equivariant cohomology theories, including Tate K-theory and generalized Morava E-theories. Moreover, this construction provides a functor from the category of global spectra to the category of orthogonal G-spectra. In addition, from it we obtain some new idea what global homotopy theory is right for constructing global elliptic cohomology theory.

研究动机与目标

• 为解决直接构造等变椭圆上同调理论所需的正交 G-谱的挑战，因这些理论过于复杂而难以直接实现。
• 开发一种新的正交 G-谱类别 GwS，以支持中间理论（如拟椭圆上同调）的谱构造。
• 探究类别 GwS 是否适合作为等变椭圆谱的载体，并用于构建全局椭圆上同调理论。
• 建立从全局谱到正交 G-谱的函子，推进对全局同伦理论的理解。
• 通过拟椭圆上同调，为 Ganter 的建议提供一个超交换全局上同调理论的具体模型。

提出的方法

• 引入一种新的正交 G-谱类别 GwS，以应对固定点函子缺乏右伴随的问题。
• 利用固定点函子的同伦右伴随，构造表示拟椭圆上同调的正交 G-谱。
• 将该构造应用于形如 $ QE^{*}_{G}(X) = \left(\prod_{\sigma \in G^{\text{tors}}} E^{*}_{\Lambda(\sigma)}(X^{\sigma})\right)^{G} $ 的理论，其中 $ E $ 具有 K-上同调的特征。
• 通过涉及正交分量范数的凸组合定义结构映射 $ \mu^{QE}_{(g,h)} $，确保结合律与中心性。
• 通过显式公式定义谱结构，涉及 $ v_1, v_2 $ 和 $ w_1, w_2 $，当 $ \|v_2\|^2 + \|w_2\|^2 \geq 1 $ 时满足基点条件。
• 通过构造中的显式路径提升与基于范数的插值，验证了结合律公理（结合律、单位元、对称性）。

实验结果

研究问题

• RQ1 尽管固定点函子缺乏右伴随，是否仍可为拟椭圆上同调构造正交 G-谱？
• RQ2 类别 GwS 是否适合作为表示等变上同调理论（如 Tate K-上同调与广义 Morava E-上同调）的框架？
• RQ3 通过同伦伴随构造拟椭圆上同调谱，是否为实现全局椭圆上同调提供了一条可行路径？
• RQ4 所构造的正交 G-谱是否可被实现为某个正交谱的底层正交谱？抑或需要一种新的全局同伦理论？
• RQ5 拟椭圆上同调谱的结合结构在复合与对称性下如何表现？

主要发现

• 在类别 GwS 中，利用同伦右伴随，显式构造了表示拟椭圆上同调的正交 G-谱。
• 该构造可推广至任意具有 K-上同调特征的等变上同调理论 $ E $，从而为 $ QE^{*}_{G}(X) = \left(\prod_{\sigma} E^{*}_{\Lambda(\sigma)}(X^{\sigma})\right)^{G} $ 构造谱。
• 谱结构满足所有结合律公理：结合律、单位元中心性与对称性，通过基于范数的插值公式验证。
• 所得到的正交 G-谱并非任何正交谱的底层正交谱，表明需要一种新的全局同伦理论。
• 该构造提供了一个从全局谱到正交 G-谱的函子，暗示了通往超交换全局上同调理论的路径。
• 结合结构通过凸组合定义：$ (1 - \sqrt{\|v_2\|^2 + \|w_2\|^2}) \cdot \mu_F + \sqrt{\|v_2\|^2 + \|w_2\|^2} \cdot (v_2 + w_2) $，当范数超过 1 时取基点。