[論文レビュー] $C_2$-equivariant Homology Operations: Results and Formulas

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

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

ひとこと要約

本稿は、$C_2$-equivariantホモロジーにおける$\bbF_2$係数のBredonホモロジーにおける、修正および拡張された公式を提供し、等化関係とカルタンの公式を等化的高次代数を用いて確立する。主な貢献は、$C_2$-equivariantホモトピー理論におけるべき演算の完全で安定なフレームワークを確立することであり、双対ステーンロッド代数上の明示的計算と、正規表現を超える 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.

研究の動機と目的

• Bredonホモロジーにおける$\bbF_2$係数の$C_2$-equivariantべき演算に関する先行研究の修正および拡張を行う。
• これらの演算のための完全な公式群（Adem関係およびカルタンの公式を含む）を提供する。
• べき演算が等化的双対ステーンロッド代数に作用する様子を確立する。
• Tate構成と等化的高次代数がこれらの公式の導出に果たす役割を明確化する。
• 非正規表現におけるTate濃度の分解の障害を特定し、古典的期待を超える不安定な振る舞いを示す。

提案手法

• 構成は、対称冪へのホモトピー固定点およびTate構成を用いたTate値Frobenius写像に依拠する。
• べき演算は、Tateコホモロジー環$k^{t\Sigma_2}_\star = k_\star[[t]]/(s^2 = as + ut)$における生成子$\overline{s}$と形式的変数$t$を含む合成として定義される。
• $C_2$-$\infty$-圏と高次等化的代数を用いて、古典的べき演算理論を$C_2$-equivariant設定に適応する。
• 主要な計算では、$\mathsf{Mod}^{h\Sigma_{[2]}}_k$における対称モノイダル構造と、$M = \Sigma^{j\rho}k$に対する$\mathrm{Sym}^{[2]}(M)$の振る舞いを利用する。
• このフレームワークにより、等化的設定が非等化的設定とは異なっても、べき演算が安定であることが保証される。
• $M = \Sigma^{n\rho-2}k$を用いた反例を構成し、この次数において$ x \mapsto x^2 $を refine する安定な演算が存在しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 Adem関係における$C_2$-equivariantべき演算は、非等化的対応物とどのように異なるか？
• RQ2 べき演算が等化的双対ステーンロッド代数に作用する正確な様子は何か？
• RQ3 なぜ$\mathrm{Sym}^{[2]}(M)$におけるTate濃度が一般に分解しないのか、その結果は何か？
• RQ4 $C_2$-equivariant設定において、べき演算は安定に定義可能か？また、非正規表現上ではどのように振る舞うか？
• RQ5 生成子$\overline{s} = s + a$はTateコホモロジー環において果たす役割は何か？また、それがべき演算の公式にどのように影響を与えるか？

主な発見

• $C_2$-equivariantべき演算のAdem関係が明示的に定式化され、古典的結果が等化的設定に拡張された。
• 積に関するカルタンの公式が形式的級数の形で確立され、非等化的ケースへの制限時に消える追加項が存在する。
• 双対ステーンロッド代数へのべき演算の作用が計算され、$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 $を refine する安定な演算は存在しない。
• 一般に$\mathrm{Sym}^{[2]}(M)$における濃度は分解しないが、特に非正規表現ではその障害はTate構成の非分解性に起因する。