We establish a novel approach to computing $G$-equivariant cohomology for a finite group $G$, and demonstrate it in the case that $G = C_{p^n}$.
For any commutative ring spectrum $R$, we prove a symmetric monoidal reconstruction theorem for genuine $G$-$R$-modules, which records them in terms of their geometric fixedpoints as well as gluing maps involving their Tate cohomologies. This reconstruction theorem follows from a symmetric monoidal stratification (in the sense of \cite{AMR-strat}); here we identify the gluing functors of this stratification in terms of Tate cohomology.
Passing from genuine $G$-spectra to genuine $G$-$\mathbb{Z}$-modules (a.k.a. derived Mackey functors) provides a convenient intermediate category for calculating equivariant cohomology. Indeed, as $\mathbb{Z}$-linear Tate cohomology is far simpler than $\mathbb{S}$-linear Tate cohomology, the above reconstruction theorem gives a particularly simple algebraic description of genuine $G$-$\mathbb{Z}$-modules. We apply this in the case that $G = C_{p^n}$ for an odd prime $p$, computing the Picard group of genuine $G$-$\mathbb{Z}$-modules (and therefore that of genuine $G$-spectra) as well as the $RO(G)$-graded and Picard-graded $G$-equivariant cohomology of a point.
For any finite group G, we define a bivariant functor from the Dress category of finite G-sets to the conjugation biset category, whose objects are subgroups of G, and whose morphisms are generated by certain bifree bisets. Any additive functor from the conjugation biset category to abelian groups yields a Mackey functor by composition. We characterize the Mackey functors which arise in this way.
For all subgroups $H$ of a cyclic $p$-group $G$ we define norm functors that build a $G$-Mackey functor from an $H$-Mackey functor. We give an explicit construction of these functors in terms of generators and relations based solely on the intrinsic, algebraic properties of Mackey functors and Tambara functors. We use these norm functors to define a monoidal structure on the category of Mackey functors where Tambara functors are the commutative ring objects.
For groups with a uniform bound on the length of chains of finite subgroups, we study the relationship between the Bredon cohomological dimension for proper actions and the notions of cohomological dimension one obtains by restricting the coefficients of Bredon cohomology to (cohomological) Mackey functors or fixed point functors. We also investigate the closure properties of the class of groups with finite Bredon cohomological dimension for Mackey functors.
Let $G$ be a finite group. In this paper, we begin by providing an exposition of $G$-Mackey functors and a symmetric monoidal product on the category of Mackey functors called the box product. After computing several examples of box products for the case of $G=C_p$, the cyclic group of order $p$, we move to the heart of the paper, which is to find and classify all $C_p$-Mackey functors invertible for the box product.
The box product of Mackey functors has been studied extensively in Lewis's notes. As shown in Thevenaz and Webb's paper, a Mackey functor may be identified with a module over a certain algebra, called the Mackey algebra. We aim at describing the box product, in the sense of Mackey algebra modules. For a cyclic $p$-group $G$, we recover a result from Mazur's thesis. We generalize it to a general finite group $G$ in this article.
The purpose of this paper is mainly to record how certain homotopy-theoretical constructions on ordinary G-equivariant cohomology spectra HM for a Mackey functor M, in particular products and duality, can be described on chain level. We will also discuss certain facts about modules over the constant Green functor $\underline{\mathbb{Z}}$.
We develop the fundamentals of Mackey functors in the setup of fusion systems including an acyclicity condition as well as a parametrization and an explicit description of simple Mackey functors. Using this machinery we extend Dwyer's sharpness results to exotic fusion systems $\mathcal{F}$ on a finite $p$-group $S$ with an abelian subgroup of index $p$.
In this paper we give detailed algebraic descriptions of the derived symmetric power and norm constructions on categories of Mackey functors, as well as the derived G-symmetric monoidal structure. We build on the results of [Ull2], in which it is shown that every Tambara functor over a finite group G arises as the zeroth stable homotopy group of a commutative ring G-spectrum. The norm / restriction adjunctions on categories of Tambara functors promised in [Ull2] are demonstrated algebraically. Finally, we give a new characterization of Tambara functors in terms of multiplicative push forwards …
We explain how to recover the top level of a cohomological G-Mackey functor $\underline{M}$ from the restriction of $\underline{M}$ to each of the Sylow subgroups of G. As an application, we compute the Mackey functor valued G-equivariant homology groups of a point with constant $\mathbb{Z}$-coefficients when G has order pq for odd primes p<q. We also indicate how the calculation goes for $G=A_4$.
In this paper, we give a description of polynomial functors from (finitely generated free) groups to abelian groups in terms of non-linear Mackey functors generalizing those given in a paper of Baues-Dreckmann-Franjou-Pirashvili published in 2001. This description is a consequence of our two main results: a description of functors from (fi nitely generated free) P-algebras (for P a set-operad) to abelian groups in terms of non-linear Mackey functors and the isomorphism between polynomial functors on (finitely generated free) monoids and those on (finitely generated free) groups. Polynomial fun…
We show that the category of $n$-excisive functors from the $\infty$-category of spectra to a target stable $\infty$-category $\mathbf{E}$ is equivalent to the category of $\mathbf{E}$-valued Mackey functors on an indexing category built from finite sets and surjections. This new classification of polynomial functors arises from an investigation of the structure present on cross effects. The path to this result involves a pair of surprising extension theorems for polynomial functors and a discussion of some interesting topics in semiadditive $\infty$- category theory, including a formula for t…
We show that the $\mathbb{Z}/2$-equivariant Morava K-theories with reality (as defined by Hu) are self-dual with respect to equivariant Anderson duality. In particular, there is a universal coefficients exact sequence in Morava K-theory with reality. As a particular example, we recover the self-duality of the spectrum $KO$. The study of $\mathbb{Z}/2$-equivariant Anderson duality made in this paper gives a nice interpretation of some symmetries of $RO(\mathbb{Z}/2)$-graded (i.e. bigraded) equivariant cohomology groups in terms of Mackey functor duality.
We study collections of additive categories $\mathcal{M}(G)$, indexed by finite groups $G$ and related by induction and restriction in a way that categorifies usual Mackey functors. We call them `Mackey 2-functors'. We provide a large collection of examples in particular thanks to additive derivators. We prove the first properties of Mackey 2-functors, including separable monadicity of restriction to subgroups. We then isolate the initial such structure, leading to what we call `Mackey 2-motives'. We also exhibit a convenient calculus of morphisms in Mackey 2-motives, by means of string diagra…
We establish natural splittings for the values of global Mackey functors at orthogonal, unitary and symplectic groups. In particular, the restriction homomorphisms between the orthogonal, unitary and symplectic groups of adjacent dimensions are naturally split epimorphisms. The interest in the splitting comes from equivariant stable homotopy theory. The equivariant stable homotopy groups of every global spectrum form a global Mackey functor, so the splittings imply that certain long exact homotopy group sequences separate into short exact sequences. For the real and complex global Thom spectra…
We state and prove a fusion system version of Mislin's theorem \cite{Mislin1990} on cohomology and control of fusion, following Symonds's proof \cite{Symonds2004} of Mislin's theorem using Mackey functors.
We give a functorial construction of equivariant spectra from a generalized version of Mackey functors in categories. This construction relies on the recent description of the category of equivariant spectra due to Guillou and May. The key element of our construction is a spectrally-enriched functor from a spectrally-enriched version of permutative categories to the category of spectra that is built using an appropriate version of K-theory. As applications of our general construction, we produce a new functorial construction of equivariant Eilenberg--MacLane spectra for Mackey functors and for…
For G a profinite group, we construct an equivalence between rational G-Mackey functors and a certain full subcategory of G-sheaves over the space of closed subgroups of G called Weyl-G-sheaves. This subcategory consists of those sheaves whose stalk over a subgroup K is K-fixed. This extends the classification of rational G-Mackey functors for finite G of Thévenaz and Webb, and Greenlees and May to a new class of examples. Moreover, this equivalence is instrumental in the classification of rational G-spectra for profinite G, as given in the second author's thesis.
Given a finite group $G$ acting on a ring $R$, Merling constructed an equivariant algebraic $K$-theory $G$-spectrum, and work of Malkiewich and Merling, as well as work of Barwick, provides an interpretation of this construction as a spectral Mackey functor. This construction is powerful, but highly categorical; as a result the Mackey functors comprising the homotopy are not obvious from the construction and have therefore not yet been calculated. In this work, we provide a computation of the homotopy Mackey functors of equivariant algebraic $K$-theory in terms of a purely algebraic constructi…
Spectral Mackey functors are homotopy-coherent versions of ordinary Mackey functors as defined by Dress. We show that they can be described as excisive functors on a suitable infinity-category, and we use this to show that universal examples of these objects are given by algebraic K-theory. More importantly, we introduce the unfurling of certain families of Waldhausen infinity-categories bound together with suitable adjoint pairs of functors; this construction completely solves the homotopy coherence problem that arises when one wishes to study the algebraic K-theory of such objects as spectra…
For a finite group $G$, the so-called $G$-Mackey functors form an abelian category $M(G)$ that has many applications in the study of $G$-equivariant stable homotopy. One would expect that the derived category $D(M(G))$ would be similarly important as the "homological" counterpart of the $G$-equivariant stable homotopy category. It turns out that this is not so -- $D(M(G))$ is pathological in many respects. We propose and study a replacement for $D(M(G))$, a certain triangulated category $DM(G)$ of "derived Mackey functors" that contains $M(G)$ but is different from $D(M(G))$. We show that stan…
We compute the spectrum of the category of derived Mackey functors (in the sense of Kaledin) for all finite groups. We find that this space captures precisely the top and bottom layers (i.e. the height infinity and height zero parts) of the spectrum of the equivariant stable homotopy category. Due to this truncation of the chromatic information, we are able to obtain a complete description of the spectrum for all finite groups, despite our incomplete knowledge of the topology of the spectrum of the equivariant stable homotopy category. From a different point of view, we show that the spectrum …
We study the "higher algebra" of spectral Mackey functors, which the first named author introduced in Part I of this paper. In particular, armed with our new theory of symmetric promonoidal $\infty$-categories and a suitable generalization of the second named author's Day convolution, we endow the $\infty$-category of Mackey functors with a well-behaved symmetric monoidal structure. This makes it possible to speak of spectral Green functors for any operad $O$. We also answer a question of A. Mathew, proving that the algebraic $K$-theory of group actions is lax symmetric monoidal. We also show …
In this paper we compute $RO(G)$-graded homotopy Mackey functors of $H\underline{\mathbb{Z}}$, the Eilenberg-Mac Lane spectrum of the constant Mackey functor of integers for cyclic p-groups and give a complete computation for $G = C_{p^2}$ . We also discuss homological algebra of $\underline{\mathbb{Z}}$-modules for cyclic $p$-groups, and interactions between these two. The goal of this paper is to understand various slice spectral sequences as $RO(G)$-graded spectral sequences of Mackey functors.
Let $G$ be a finite group. For a based $G$-space $X$ and a Mackey functor $M$, a topological Mackey functor $X\widetilde\otimes M$ is constructed, which will be called the stable equivariant abelianization of $X$ with coefficients in $M$. When $X$ is a based $G$-CW complex, $X\widetilde\otimes M$ is shown to be an infinite loop space in the sense of $\mathcal{G}$-spaces. This gives a version of the $RO(G)$-graded equivariant Dold-Thom theorem. Applying a variant of Elmendorf's construction, we get a model for the Eilenberg-Mac Lane spectrum $HM$. The proof uses a structure theorem for Mackey f…
We show that if G is a finite constant group acting on a scheme X such that the order of G is invertible in the residue fields of X, then the G-equivariant motivic stable homotopy category of X is equivalent to the stabilization of the category of motivic G-spaces with finite étale transfers over X at the trivial representation sphere. Along the way we obtain several results of independent interest, among them: we construct and study norms in the motivic homotopy theory of stacks, and we extend the homotopy t-structure to DM-stacks and establish some favorable properties.
Let $Q$ denote the cyclic group of order two. Using the Tate diagram we compute the $RO(Q)$-graded coefficients of Eilenberg-MacLane $Q$-spectra and describe their structure as a module over the coefficients of the Eilenberg-MacLane spectrum of the Burnside Mackey functor. If the underlying Mackey functor is a Green functor, we also infer the multiplicative structure on the $RO(Q)$-graded coefficients.
We establish Green equivalences for all Mackey 2-functors, without assuming Krull-Schmidt. By running through the examples of Mackey 2-functors, we recover all variants of the Green equivalence and Green correspondence known in representation theory and obtain new ones in several other contexts. Such applications include equivariant stable homotopy theory in topology and equivariant sheaves in geometry.
We define a genuine $\mathbb{Z}/2$-equivariant real algebraic $K$-theory spectrum $KR(A)$, for every genuine $\mathbb{Z}/2$-equivariant spectrum $A$ equipped with a compatible multiplicative structure. This construction extends the real $K$-theory of Hesselholt-Madsen for discrete rings and the Hermitian $K$-theory of Burghelea-Fiedorowicz for simplicial rings. We construct a natural trace map of $\mathbb{Z}/2$-spectra $tr\colon KR(A)\to THR(A)$ to the real topological Hochschild homology spectrum, which extends the $K$-theoretic trace of Bökstedt-Hsiang-Madsen. The trace provides a splitting …
We construct a map from the suspension $G$-spectrum $Σ_G^\infty M$ of a smooth compact $G$-manifold to the equivariant $A$-theory spectrum $A_G(M)$, and we show that its fiber is, on fixed points, a wedge of stable $h$-cobordism spectra. This map is constructed as a map of spectral Mackey functors, which is compatible with tom Dieck style splitting formulas on fixed points. In order to synthesize different definitions of the suspension $G$-spectrum as a spectral Mackey functor, we present a new perspective on spectral Mackey functors, viewing them as multifunctors on indexing categories for "r…
In this paper, we calculate the $RO(G)$-graded coefficients of $H\underline{\mathbb{Z}}$, the Eilenberg-MacLane spectrum of constant Mackey functor for quaternion group $Q_8$.
We prove that the $C_2$-equivariant Eilenberg-MacLane spectrum associated to the constant Mackey functor $\underline{\mathbb{F}}_2$ is equivalent to a Thom spectrum over ${Ω^ρS^{ρ+ 1}}$.
We describe the slice spectral sequence of a 32-periodic $C_{4}$-spectrum $K_{[2]}$ related to the $C_{4}$ norm ${N_{C_{2}}^{C_{4}}MU_{\bf R}}$ of the real cobordism spectrum $MU_{\bf R}$. We will give it as a spectral sequence of Mackey functors converging to the graded Mackey functor $\underline{π}_{*}K_{[2]}$, complete with differentials and exotic extensions in the Mackey functor structure. The slice spectral sequence for the 8-periodic real $K$-theory spectrum $K_{\bf R}$ was first analyzed by Dugger. The $C_{8}$ analog of $K_{[2]}$ is 256-periodic and detects the Kervaire invariant class…
We enlarge the category of bornological coarse spaces by adding transfer morphisms and introduce the notion of an equivariant coarse homology theory with transfers. We then show that equivariant coarse algebraic $K$-homology and equivariant coarse ordinary homology can be extended to equivariant coarse homology theories with transfers. In the case of a finite group we observe that equivariant coarse homology theories with transfers provide Mackey functors. We express standard constructions with Mackey functors in terms of coarse geometry, and we demonstrate the usage of transfers in order to p…
A functor on compact Hausdorf spaces is constructed as the sum of certain equivariant K-theory groups. It is shown that the functor takes values in lambda-rings and satisfies a Thom isomorphism. In the case that the space is a CW-complex constructed only of even cells the functor outputs the free lambda-ring on generators in one-to-one correspondence with those cells.
The aim of this paper is to study sub-algebras of the $\mathbb{Z}/2$-equivariant Steenrod algebra (for cohomology with coefficients in the constant Mackey functor $\mathbb{F}_2$) which come from quotient Hopf algebroids of the $\mathbb{Z}/2$-equivariant dual Steenrod algebra. In particular, we study the equivariant counterpart of profile functions, exhibit the equivariant analogues of the classical $\mathcal{A}(n)$ and $\mathcal{E}(n)$ and show that the Steenrod algebra is free as a module over these.
We compute the $C_p$-equivariant dual Steenrod algebras associated to the constant Mackey functors $\underline{\mathbb{F}}_p$ and $\underline{\mathbb{Z}}_{(p)}$, as $\underline{\mathbb{Z}}_{(p)}$-modules. The $C_p$-spectrum $\underline{\mathbb{F}}_p \otimes \underline{\mathbb{F}}_p$ is not a direct sum of $RO(C_p)$-graded suspensions of $\underline{\mathbb{F}}_p$ when $p$ is odd, in contrast with the classical and $C_2$-equivariant dual Steenrod algebras.
For $N_\infty$ operads $\mathcal O$ and $\mathcal O'$ such that there is an inclusion of the associated indexing systems, there is a forgetful functor from incomplete Tambara functors over $\mathcal O'$ to incomplete Tambara functors over $\mathcal O$. Roughly speaking, this functor forgets the norms in $\mathcal O'$ that are not present in $\mathcal O$. The forgetful functor has both a left and a right adjoint; the left adjoint is an operadic tensor product, but the right adjoint is more mysterious. We explicitly compute the right adjoint for finite cyclic groups of prime order.
