arXiv subjects

Clover May

Publications and source records attributed to Clover May.

9 recordsLinked to original sources

arXiv2026

Parametrized $\underline{\mathbb{F}}_2$-Cohomology of $B_{C_2}O(1)$

We compute the parametrized (or twisted) ordinary cohomology of the classifying space for real $C_2$-line bundles, $B_{C_2}O(1)$ with coefficients in the constant Mackey functor $\underline{\mathbb{F}}_2$. Parametrized cohomology refines $RO(G)$-graded Bredon cohomology by assembling equivariant cohomology for all local coefficients into a single graded ring. For this reason, our work also encodes a computation of the $RO(C_2)$-graded cohomology of all Thom spaces of real $C_2$-vector bundles over $B_{C_2}O(1)$. Along the way, we prove many general results that can be applied to computations of parametrized cohomology over general bases $B$. In particular, we introduce a collection of characteristic classes, give a definition of orientation for non-homogeneous bundles, import equivariant Steenrod operations to this context, and give general results relating to base change.

math.AT↗

arXiv2025

Equivariant $H\underline{\mathbb{F}}_p$-modules are wild

Let $k$ be an arbitrary field of characteristic $p$ and let $G$ be a finite group. We investigate the representation type, derived representation type, and singularity category of the $k$-linear (cohomological) Mackey algebra. We classify when the cohomological Mackey algebra is wild for $G$ a cyclic $p$-group. Furthermore, we show the cohomological Mackey algebra is derived wild whenever $G$ surjects onto a $p$-group of order more than two, and the Mackey algebra is derived wild whenever $G$ is a nontrivial $p$-group. Derived wildness has some immediate consequences in equivariant homotopy theory. In particular, for the constant Mackey functor $\underline{k}$, the classification of compact modules over the $G$-equivariant Eilenberg--MacLane spectrum $H\underline{k}$ is also wild whenever $G$ surjects onto a $p$-group of order more than two. Thus, in contrast to recent work at the prime $2$ by Dugger, Hazel, and the second author, no meaningful classification of compact $C_p$-equivariant $H\underline{\mathbb{F}}_p$-modules exists at odd primes. For the Burnside Mackey functor $\underline{A}_k$, there is no classification of compact $G$-equivariant $H\underline{A}_k$-modules whenever $G$ is a nontrivial $p$-group.

math.RT↗

arXiv2024

A Guide to Equivariant Parametrized Cohomology

This article investigates equivariant parametrized cellular cohomology, a cohomology theory introduced by Costenoble-Waner for spaces with an action by a compact Lie group $G$. The theory extends the $RO(G)$-graded cohomology of a $G$-space $B$ to a cohomology graded by $RO(\Pi B)$, the representations of the equivariant fundamental groupoid of $B$. This paper is meant to serve as a guide to this theory and contains some new computations. We explain the key ingredients for defining parametrized cellular cohomology when $G$ is a finite group, with particular attention to the case of the cyclic group $G=C_2$. We compute some examples and observe that $RO(\Pi B)$ is not always free. When $G$ is the trivial group, we explain how to identify equivariant parametrized cellular cohomology with cellular cohomology in local coefficients. Finally, we illustrate the theory with some new computations of parametrized cellular cohomology for several spaces with $G = C_2$ and $G=C_4$.

math.AT↗

arXiv2022

Equivariant $\underline{\mathbb{Z}/\ell}$-modules for the cyclic group $C_2$

For the cyclic group $C_2$ we give a complete description of the derived category of perfect complexes of modules over the constant Mackey ring $\underline{\mathbb{Z}/\ell}$, for $\ell$ a prime. This is fairly simple for $\ell$ odd, but for $\ell=2$ depends on a new splitting theorem. As corollaries of the splitting theorem we compute the associated Picard group and the Balmer spectrum for compact objects in the derived category, and we obtain a complete classification of finite modules over the $C_2$-equivariant Eilenberg--MacLane spectrum $H\underline{\mathbb{Z}/2}$. We also use the splitting theorem to give new and illuminating proofs of some facts about $RO(C_2)$-graded Bredon cohomology, namely Kronholm's freeness theorem and the structure theorem of C. May.

math.AT↗

arXiv2021

Genuine-commutative ring structure on rational equivariant $K$-theory for finite abelian groups

In this paper, we build on the work from our previous paper (arXiv:2002.01556) to show that periodic rational $G$-equivariant topological $K$-theory has a unique genuine-commutative ring structure for $G$ a finite abelian group. This means that every genuine-commutative ring spectrum whose homotopy groups are those of $KU_{\mathbb{Q},G}$ is weakly equivalent, as a genuine-commutative ring spectrum, to $KU_{\mathbb{Q},G}$. In contrast, the connective rational equivariant $K$-theory spectrum does not have this type of uniqueness of genuine-commutative ring structure.

math.AT↗

arXiv2020

The freeness theorem for equivariant cohomology of Rep($C_2$)-complexes

Let $C_2$ be the cyclic group of order two. We show that the $RO(C_2)$-graded Bredon cohomology of a finite Rep($C_2$)-complex is free as a module over the cohomology of a point when using coefficients in the constant Mackey functor $\underline{\mathbb{F}_2}$. This paper corrects some errors in Kronholm's proof of this freeness theorem. It also extends the freeness result to finite type complexes, those with finitely many cells of each fixed-set dimension. We give a counterexample showing the theorem does not hold for locally finite complexes.

math.AT↗

arXiv2020

Naive-commutative structure on rational equivariant $K$-theory for abelian groups

In this paper, we calculate the image of the connective and periodic rational equivariant complex $K$-theory spectrum in the algebraic model for naive-commutative ring $G$-spectra given by Barnes, Greenlees and K\k{e}dziorek for finite abelian $G$. Our calculations show that these spectra are unique as naive-commutative ring spectra in the sense that they are determined up to weak equivalence by their homotopy groups. We further deduce a structure theorem for module spectra over rational equivariant complex $K$-theory.

math.AT↗

arXiv2018

A structure theorem for $RO(C_2)$-graded Bredon cohomology

Let $C_2$ be the cyclic group of order two. We present a structure theorem for the $RO(C_2)$-graded Bredon cohomology of $C_2$-spaces using coefficients in the constant Mackey functor $\underline{\mathbb{F}_2}.$ We show that, as a module over the cohomology of the point, the $RO(C_2)$-graded cohomology of a finite $C_2$-CW complex decomposes as a direct sum of two basic pieces: shifted copies of the cohomology of a point and shifted copies of the cohomologies of spheres with the antipodal action. The shifts are by elements of $RO(C_2)$ corresponding to actual (i.e. non-virtual) $C_2$-representations. This decomposition lifts to a splitting of genuine $C_2$-spectra.

math.AT↗

arXiv2013

On involutions and generalized symmetric spaces of dicyclic groups

Let $G=\Dc_{n}$ be the dicyclic group of order $4n$. Let $\varphi$ be an automorphism of $G$ of order $k$. We describe $\varphi$ and the generalized symmetric space $Q$ of $G$ associated with $\varphi$. When $\varphi$ is an involution, we describe its fixed point group $H=G^{\varphi}$ along with the $H$-orbits and $G$-orbits of $Q$ corresponding to the action of $\varphi$-twisted conjugation.

math.GR↗