arXiv subjects

Sarah Petersen

Publications and source records attributed to Sarah Petersen.

7 recordsLinked to original sources

arXiv2026

A spectrum-level splitting of the $ku_\mathbb{R}$-cooperations algebra

In the 1980's, Mahowald and Kane used integral Brown--Gitler spectra to decompose $ku \wedge ku$ as a sum of finitely generated $ku$-module spectra. This splitting, along with an analogous decomposition of $ko \wedge ko,$ led to a great deal of progress in stable homotopy computations and understanding of $v_1$-periodicity in the stable homotopy groups of spheres. In this paper, we construct a $C_2$-equivariant lift of Mahowald and Kane's splitting of $ku \wedge ku$. We also describe the resulting $C_2$-equivariant splitting in terms of $C_2$-equivariant Adams covers and record an analogous splitting for $H\underline{\mathbb{Z}} \wedge H \underline{\mathbb{Z}}$. Along the way, we give complete computations of the $ku_{\mathbb{R}}$ and $H \mathbb{Z}$ operations and cooperations algebras.

math.AT↗

arXiv2026

The real Brown-Peterson homology of $Ω^ρS^{ρ+ 1}$

We compute the $RO(C_2)$-graded real Brown--Peterson homology of the representation-loop space $Ω^ρS^{ρ+ 1}$, where $ρ$ is the regular representation of the cyclic group of order two. This calculation gives a $C_2$-equivariant analogue of the classical computation of Brown--Peterson homology of the double loop space $Ω^2 S^3$ due to Ravenel. Along the way, we develop comodule Nishida relations for $ρ$-loop spaces.

math.AT↗

arXiv2026

Graphs arising from the dual Steenrod algebra

We extend Wood's graph theoretic interpretation of certain quotients of the mod $2$ dual Steenrod algebra to quotients of the mod $p$ dual Steenrod algebra where $p$ is an odd prime and to quotients of the $C_2$-equivariant dual Steenrod algebra. We establish connectedness criteria for graphs associated to monomials in these algebra quotients and investigate questions about trees and Hamilton cycles in these settings. We also give graph theoretic interpretations of algebraic structures such as the coproduct and antipode arising from the Hopf algebra structure on the mod $p$ dual Steenrod algebra and the Hopf algebroid structure of the $C_2$-equivariant dual Steenrod algebra.

math.AT↗

arXiv2025

Splittings of truncated motivic Brown--Peterson cooperations algebras

We construct spectrum-level splittings of $BPGL \langle 1 \rangle \wedge BPGL \langle 1 \rangle$ at all primes $p$, where $BPGL \langle 1 \rangle$ is the first truncated motivic Brown--Peterson spectrum. Classically, $BP\langle 1 \rangle \wedge BP\langle 1 \rangle$ was first described by Kane and Mahowald in terms of Brown-Gitler spectra. This splitting was subsequently reinterpreted by Lellman and Davis-Gitler-Mahowald in terms of Adams covers. In this paper, we give motivic lifts of these splittings in terms of Adams covers, over the base fields $\mathbb{C}, \, \mathbb{R},$ and $\mathbb{F}_q$, where $\mathbb{F}_q \neq p$. As an application, we compute the $E_1$-page of the $BPGL\langle 1 \rangle$-based Adams spectral sequence as a module over $BPGL\langle 1 \rangle$, both in homotopy and in terms of motivic spectra. We also record analogous splittings for $BPGL \langle 0 \rangle \wedge BPGL \langle 0 \rangle$.

math.AT↗

arXiv2025

A Thom Spectrum Model for $C_2$-Integral Brown--Gitler Spectra

A Thom spectrum model for a $C_2$-equivariant analogue of integral Brown--Gitler spectra is established and shown to have a multiplicative property. The $C_2$-equivariant spectra constructed enjoy properties analogous to classical nonequivariant integral Brown--Gitler spectra and thus may prove useful for producing $C_2$-equivariant analogues of splittings of $BP \langle 1 \rangle \wedge BP \langle 1 \rangle$ and $bo \wedge bo.$

math.AT↗

arXiv2025

Equivariant Witt Complexes and Twisted Topological Hochschild Homology

The topological Hochschild homology of a ring (or ring spectrum) $R$ is an $S^1$-spectrum, and the fixed points of THH($R$) for subgroups $C_n\subset S^1$ have been widely studied due to their use in algebraic K-theory computations. Hesselholt and Madsen proved that the fixed points of topological Hochschild homology are closely related to Witt vectors. Further, they defined the notion of a Witt complex, and showed that it captures the algebraic structure of the homotopy groups of the fixed points of THH. Recent work of Angeltveit, Blumberg, Gerhardt, Hill, Lawson and Mandell defines a theory of twisted topological Hochschild homology for equivariant rings (or ring spectra) that builds upon Hill, Hopkins and Ravenel's work on equivariant norms. In this paper, we study the algebraic structure of the equivariant homotopy groups of twisted THH. In particular, we define an equivariant Witt complex and prove that the equivariant homotopy of twisted THH has this structure. Our definition of equivariant Witt complexes contributes to a growing body of research in the subject of equivariant algebra.

math.AT↗

arXiv2022

The $H \underline{\mathbb{F}}_2$-homology of $C_2$-equivariant Eilenberg-MacLane spaces

We extend Ravenel-Wilson Hopf ring techniques to $C_2$-equivariant homotopy theory. Our main application and motivation is a computation of the $RO(C_2)$-graded homology of $C_2$-equivariant Eilenberg-MacLane spaces. The result we obtain for $C_2$-equivariant Eilenberg-MacLane spaces associated to the constant Mackey functor $\underline{\mathbb{F}}_2$ gives a $C_2$-equivariant analogue of the classical computation due to Serre. We also investigate a twisted bar spectral sequence computing the homology of these equivariant Eilenberg-MacLane spaces and suggest the existence of another twisted bar spectral sequence with $E^2$-page given in terms of a twisted Tor functor.

math.AT↗