Freeness and equivariant stable homotopy

DOI10.1112/TOPO.12227MaRDI QIDQ6096941zbMATH OpenOpenAlexFDO

Authors Michael A. Hill

Publication date 15 September 2023

Published in Journal of Topology (Search for Journal in Brave)

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

zbMATH Keywords

equivariant cohomologyspectral sequencesequivariant spectraequivariant stable homotopy theoryequivariant spectral sequences

Mathematics Subject Classification ID

Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Products and intersections in homology and cohomology (55N45) Equivariant homology and cohomology in algebraic topology (55N91) Equivariant homotopy theory in algebraic topology (55P91) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43) Equivariant homotopy groups (55Q91) Relations between equivariant and nonequivariant homotopy theory in algebraic topology (55P92) Generalized cohomology and spectral sequences in algebraic topology (55T25) Equivariant operations and obstructions in algebraic topology (55S91) Dyer-Lashof operations (55S12)

Abstract: We introduce a notion of freeness for $RO$-graded equivariant generalized homology theories, considering spaces or spectra $E$ such that the $R$-homology of $E$ splits as a wedge of the $R$-homology of induced virtual representation spheres. The full subcategory of these spectra is closed under all of the basic equivariant operations, and this greatly simplifies computation. Many examples of spectra and homology theories are included along the way. We refine this to a collection of spectra analogous to the pure and isotropic spectra considered by Hill--Hopkins--Ravenel. For these spectra, the $RO$-graded Bredon homology is extremely easy to compute, and if these spaces have additional structure, then this can also be easily determined. In particular, the homology of a space with this property naturally has the structure of a co-Tambara functor (and compatibly with any additional product structure). We work this out in the example of $B{U}_{mathbbR}$ and coinduced versions of this. We finish by describing a readily computable bar and twisted bar spectra sequence, giving Bredon homology for various $E_{infty}$ pushouts, and we apply this to describe the homology of $BB{U}_{mathbbR}$.

Recommendations

• The \(H \underline{\mathbb{F}}_2\)-homology of \(C_2\)-equivariant Eilenberg-Mac Lane spaces
• Publication:4896544
• A survey of equivariant stable homotopy theory
• Equivariant cohomology for cyclic groups of square-free order
• Computations in \(C_{pq}\)-Bredon cohomology

Cites work

• scientific article; zbMATH DE number 3522858 (Why is no real title available?)
• scientific article; zbMATH DE number 3996665 (Why is no real title available?)
• A \(C_2\)-equivariant analog of Mahowald's Thom spectrum theorem
• A freeness theorem for \(RO(\mathbb Z/2)\)-graded cohomology
• A structure theorem for \(RO(C_2)\)-graded Bredon cohomology
• Algebraic cobordism and 𝐾-theory
• An equivariant tensor product on Mackey functors
• Bigraded cohomology of \(\mathbb{Z}/2\)-equivariant Grassmannians
• Cohomologie modulo 2 des complexes d'Eilenberg-MacLane
• Conjugation spaces
• Conjugation spaces and equivariant Chern classes
• Conjugation spaces are cohomologically pure
• Conjugations on complex manifolds and equivariant homotopy of 𝑀𝑈
• EQUIVARIANT UNIVERSAL COEFFICIENT AND KÜNNETH SPECTRAL SEQUENCES
• Graded Tambara functors
• Homology of the classical groups over the Dyer-Lashof algebra
• Lectures on the Eilenberg-Moore spectral sequence
• On multiplicative transfer
• On the André-Quillen homology of Tambara functors
• On the algebras over equivariant little disks
• On the fractions of semi-Mackey and Tambara functors
• On the slice spectral sequence
• Real orientations of Lubin-Tate spectra
• Real-oriented homotopy theory and an analogue of the Adams-Novikov spectral sequence
• SUR LES GROUPES D'EILENBERG-MAC LANE. II
• Steenrod and Dyer-Lashof Operations on BU
• Steenrod operations in the Eilenberg-Moore spectral sequence
• Subalgebras of the \(\mathbb{Z}/2\)-equivariant Steenrod algebra
• The \(C_2\)-spectrum \(\mathrm{Tmf}_1(3)\) and its invertible modules
• The \(RO(C_2)\)-graded cohomology of \(C_2\)-surfaces in \(\underline{\mathbb{Z} / 2}\)-coefficients
• The cohomology of classifying spaces of 𝐻-spaces
• The freeness theorem for equivariant cohomology of rep \((C_2)\)-complexes
• The slice spectral sequence for the \(C_{4}\) analog of real \(K\)-theory
• The topological Singer construction
• The 𝑅𝑂(𝐺)-graded equivariant ordinary homology of 𝐺-cell complexes with even-dimensional cells for 𝐺=ℤ/𝕡
• \(G\)-symmetric monoidal categories of modules over equivariant commutative ring spectra
• \(G\)-symmetric spectra, semistability and the multiplicative norm

Cited in

(9)

• Typical representatives of free homotopy classes in multi-punctured plane
• Odd primary analogs of real orientations
• Free adjunction of morphisms
• An algebraic model for rational naïve-commutative ring \(SO(2)\)-spectra and equivariant elliptic cohomology
• Freeness of equivariant cohomology and mutants of compactified representations
• Topology. Abstracts from the workshop held July 24--30, 2022
• The \(\mathrm{RO}(C_4)\) cohomology of the infinite real projective space
• A survey of computations of Bredon cohomology
• The \(H \underline{\mathbb{F}}_2\)-homology of \(C_2\)-equivariant Eilenberg-Mac Lane spaces

This page was built for publication: Freeness and equivariant stable homotopy

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