On BP 2 -cooperations

DOI10.2140/AGT.2019.19.807MaRDI QIDQ2000782zbMATH OpenOpenAlexFDO

Authors Dominic Leon Culver

Publication date 28 June 2019

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1708.03001

zbMATH Keywords

Adams spectral sequenceBrown-Gitler modulesBrown-Peterson spectrumcooperations

Mathematics Subject Classification ID

Steenrod algebra (55S10) Operations and obstructions in algebraic topology (55S99) Adams spectral sequences (55T15)

Abstract: In this paper we develop techniques to compute the cooperations algebra for the second truncated Brown-Peterson spectrum $BP2$. We prove that the cooperations algebra $BP{2}_{\ast }BP2$ decomposes as a direct some of a $F_2$-vector space concentrated in Adams filtration 0 and a $F_2[v_0,v_1,v_2]$-module which is concentrated in even degrees and $v_2$-torsion free. A recursive procedure is also developed to provide an basis of the $v_2$-torsion free part.

Review text

In this paper, the author studies the cooperations \(\mathrm{BP} \langle 2 \rangle_* \mathrm{BP} \langle 2 \rangle\) for \(\mathrm{BP}\langle 2 \rangle\), the second truncated Brown-Peterson spectrum at the prime \(2\). By change of rings, the \(E_2\)-page of the relevant Adams spectral sequence is isomorphic to the cohomology of \((A//E(2))_*\), the subalgebra \(\mathbb{F}_2 [\zeta_1^2, \zeta_2^2 , \zeta^2_3, \zeta_4, \ldots]\) of the mod \(2\) Steenrod algebra, as a comodule over \(E(2)_*:=\Lambda (\zeta_1, \zeta_2, \zeta_3)\) (or, by duality, as a module over \(E(2):=\Lambda(Q_0, Q_1, Q_2)\), for \(Q_i\) the Milnor primitives). The main theoretical result shows that this cohomology splits as a \(\mathbb{F}_2 [v_0, v_1, v_2]\)-module as \(\mathcal{C} \oplus V\), where \(\mathcal{C}\) is \(v_2\)-torsion-free and is concentrated in even \((t-s)\) degree and \(V\) is annihilated by \(v_0\), \(v_1\), \(v_2\). Hence the Adams spectral sequence collapses, from which the author deduces results for \(\mathrm{BP} \langle 2 \rangle_* \mathrm{BP} \langle 2 \rangle\) and for the spectrum \(\mathrm{BP} \langle 2 \rangle \wedge \mathrm{BP} \langle 2 \rangle\). The proof relies on the analysis of \(\begin{pmatrix}A//E(2)\end{pmatrix}_*\) as a \(\Lambda(Q_0, Q_1, Q_2)\)-module, exploiting Margolis homology. The author shows that this module splits as \(S \oplus Q\), where \(S\) is free. The cohomology of \(Q\) is analysed by using the \(v_2\)-Bockstein spectral sequence, which is shown to collapse at \(E_1\). The second part of the paper develops techniques for calculating the \(E(2)\)-cohomology of \((A//E(2))_*\), based upon the splitting of \(E(2)\)-modules: \[ (A//E(2))_* \cong \bigoplus_{j \geq 0} \Sigma^{2j} \underline{\mathrm{bu}}_{\lfloor j/2 \rfloor } \] as (generalized) Brown-Gitler modules. (These Brown-Gitler modules are defined using the weight filtration of the subalgebras \((A//E(i))_*\), for \(i \in \mathbb{N}\); the \(\underline{\mathrm{bu}}_*\) correspond to \(i=1\).) This reduces to studying the cohomology of the Brown-Gitler modules, which is analysed by using Mahowald-type exact sequences that yield an inductive approach.

Recommendations

• The \(BP \langle 2\rangle \)-cooperations algebra at odd primes
• A note on the algebra \(P(n)_*(P(n))\) for the prime 2
• On the BP homology and cohomology of \(P^{2n}\wedge P^{2m}\)
• scientific article; zbMATH DE number 1215561
• Brown-Gitler spectra at \(BP<2>\)

Cites work

• A counterexample for lightning flash modules over E(e₁,e₂)
• bo-resolutions
• Commutativity conditions for truncated Brown-Peterson spectra of height 2
• scientific article; zbMATH DE number 3879716 (Why is no real title available?)
• Modules over the Steenrod algebra
• On the existence of a \(v_2^{32}\)-self map on \(M(1,4)\) at the prime 2
• On the structure of Hopf algebras
• The bo-Adams Spectral Sequence
• The Steenrod algebra and its dual
• The Ω-Spectrum for Brown-Peterson Cohomology Part II
• Uniqueness of BSO

Cited in

(9)

• Brown-Gitler spectra at \(BP<2>\)
• The bu cohomology of \(BP<n>\)
• A decomposition of \(BP\langle 2\rangle\) and \(v_ 1\)-torsion
• Uniqueness of \(BP \langle {n} \rangle\)
• On a conjecture of Mahowald on the cohomology of finite sub-Hopf algebras of the Steenrod algebra
• The \(BP \langle 2\rangle \)-cooperations algebra at odd primes
• $kq$-resolutions I
• Classifying and extending \(Q_0\) local \(\mathcal{A}(1)\)-modules
• The structure of the \(v_2\)-local algebraic \(\mathrm{tmf}\) resolution

This page was built for publication: On \(\mathrm{BP}\langle 2 \rangle\)-cooperations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2000782)