[论文解读] $C_2$-equivariant Homology Operations: Results and Formulas

Dylan Wilson|arXiv (Cornell University)|Apr 30, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用 6

一句话总结

本文为具有 $\bbF_2$ 系数的 Bredon 同调上的 $C_2$-等变同调操作提供了更正和扩展的公式，通过等变高阶代数建立了 Adem 关系和 Cartan 公式。主要贡献是一个完整且稳定的 $C_2$-等变同伦理论中幂操作的框架，包括对对偶 Steenrod 代数的显式计算，以及一个反例，表明在非正则表示中，Tate 滤子不会分裂。

ABSTRACT

In this note we state corrected and expanded versions of our previous results on power operations for $C_2$-equivariant Bredon homology with coefficients in the constant Mackey functor on $\mathbb{F}_2$. In particular, we give a version of the Adem relations. The proofs rely on certain results in equivariant higher algebra which we will supply in a longer version of this paper.

研究动机与目标

• 更正并扩展早期关于具有 $\bbF_2$ 系数的 Bredon 同调中 $C_2$-等变幂操作的结果。
• 为这些操作提供一组完整的公式，包括 Adem 关系和 Cartan 公式。
• 确立幂操作在等变对偶 Steenrod 代数上的作用。
• 阐明 Tate 构造和等变高阶代数在推导这些公式中的作用。
• 识别在非正则表示中分裂 Tate 滤子的障碍，表明其行为在经典预期之外不稳定。

提出的方法

• 该构造依赖于使用对称幂上的同伦固定点和 Tate 构造的 Tate 值 Frobenius 映射。
• 幂操作被定义为涉及生成元 $\overline{s}$ 和 Tate 同调环 $k^{t\Sigma_2}_\star = k_\star[[t]]/(s^2 = as + ut)$ 中的形式变量 $t$ 的复合。
• 该方法通过使用 $C_2$-$\infty$-范畴和高阶等变代数，将经典幂操作理论适配到 $C_2$-等变设置中。
• 关键计算使用 $\mathsf{Mod}^{h\Sigma_{[2]}}_k$ 上的对称单住结构，以及 $\mathrm{Sym}^{[2]}(M)$ 在 $M = \Sigma^{j\rho}k$ 时的行为。
• 该框架确保幂操作是稳定的，尽管等变设置与非等变情况不同。
• 通过构造 $M = \Sigma^{n\rho-2}k$ 的反例，表明在该度数中，没有稳定操作能细化平方映射 $x \mapsto x^2$。

实验结果

研究问题

• RQ1 与非等变情形相比，$C_2$-等变幂操作的 Adem 关系有何不同？
• RQ2 幂操作在等变对偶 Steenrod 代数上的精确作用是什么？
• RQ3 为何 $\mathrm{Sym}^{[2]}(M)$ 上的 Tate 滤子通常不会分裂，其后果是什么？
• RQ4 是否可以在 $C_2$-等变设置中稳定地定义幂操作，它们在非正则表示上的行为如何？
• RQ5 生成元 $\overline{s} = s + a$ 在 Tate 同调环中的作用是什么，它如何影响幂操作公式？

主要发现

• $C_2$-等变幂操作的 Adem 关系被明确表述，将经典结果扩展到了等变设置。
• 乘积的 Cartan 公式以形式幂级数的形式确立，包含在限制到非等变情形时消失的附加项。
• 幂操作在对偶 Steenrod 代数上的作用被计算为：$Q^{2^i\rho} \overline{\zeta}_i = \overline{\zeta}_{i+1}$，类似于经典的 Steinberger 计算。
• 对于 $M = \Sigma^{n\rho+1}k$，有 $\mathrm{Sym}^{[2]}(M) \simeq \bigoplus_{j\geq n+1} \Sigma^{(n+j)\rho+1}k \oplus \bigoplus_{j\geq n+1} \Sigma^{(n+j)\rho}k$，且操作对应于 $Q^{j\rho-\varepsilon}x$。
• 对于 $M = \Sigma^{n\rho-2}k$，有 $\mathrm{Sym}^{[2]}(M) \simeq \Sigma^{2n\rho-4}k \oplus \bigoplus_{j\geq n} \Sigma^{(n+j)\rho-2}k \oplus \bigoplus_{j\geq n} \Sigma^{(n+j)\rho-3}k$，且由于度数障碍，没有稳定操作能细化 $x \mapsto x^2$。
• 在一般情况下，$\mathrm{Sym}^{[2]}(M)$ 上的滤子不会分裂，特别是在非正则表示中，这一障碍与 Tate 构造的非分裂性相关。