---
title: Global Spectral Mackey Functors
url: https://www.emergentmind.com/topics/global-spectral-mackey-functors
type: topic
---

# Global Spectral Mackey Functors

Global spectral Mackey functors are spectral refinements of Mackey-type coefficient systems in which restriction, transfer, and conjugation data are organized by a span category and take values in spectra rather than abelian groups. In Schwede’s global homotopy framework, if \(E\in \mathbf{GH}\) is a global spectrum, then for each integer \(k\) the assignment
\[
\underline{\pi}_k(E)\colon \mathcal{A}\to \mathbf{Ab},\qquad G\mapsto \pi_k^G(E)
\]
is a global functor on the global Burnside category, and every global functor arises as \(\underline{\pi}_0(E)\) for some global spectrum [2006.09435]. In a closely related \(\infty\)-categorical formulation, global spectral Mackey functors are product-preserving functors from a global span category of finite groupoids and faithful maps to spectra, and the resulting global Mackey functor category is equivalent to the global stable homotopy theory of spectra [2508.11525].

## 1. Foundational definitions and ambient frameworks

In Schwede’s framework of global homotopy theory, an unstable global object is an orthogonal space, namely a continuous functor
\[
X\colon \mathcal{L}\to \mathbf{Top},
\]
where \(\mathcal{L}\) is the category of finite-dimensional inner product spaces and linear isometric embeddings. A stable global object is an orthogonal spectrum, and inverting global equivalences yields the global stable homotopy category \(\mathbf{GH}\). For each compact Lie group \(G\), a global spectrum \(E\) has genuine \(G\)-equivariant homotopy groups
\[
\pi_k^G(E)=[S^k,E]^G,
\]
and global homotopy theory packages all such groups together with their restriction and transfer maps as \(G\) varies [2006.09435].

The algebraic carrier of this structure is the global Burnside category \(\mathcal{A}\), whose objects are compact Lie groups and whose morphisms encode restriction along homomorphisms, transfer along inclusions of closed subgroups, and conjugation, subject to Mackey-type relations. A global functor is an additive functor
\[
F\colon \mathcal{A}\to \mathbf{Ab}.
\]
From this perspective, a global spectral Mackey functor is precisely a global functor of the form \(\underline{\pi}_k(E)\) coming from a global spectrum \(E\) [2006.09435].

A broader \(\infty\)-categorical formulation replaces compact Lie groups by finite groupoids and span categories. For a finite group \(G\), the category of spectral Mackey functors is
\[
\Mack_G(\Sp)=\Fun^\times(\Span(\mathbb{F}_G),\Sp),
\]
and this category is equivalent to the \(\infty\)-category \(\Sp_G\) of genuine \(G\)-spectra. Globally, one obtains
\[
\Mack_{gl}(\Sp)(G)=\Fun^\times(\Span_{faithful}(\mathcal{C}_{/G}),\Sp),
\]
and the global \(\infty\)-category \(\Mack_{gl}(\Sp)\) is equivalent to \(\Sp_{gl}\), the global homotopy theory of spectra [2508.11525].

## 2. Spectral enrichment, higher algebra, and categorical models

For a fixed finite group \(G\), Barwick’s effective Burnside \(\infty\)-category \(\mathcal{A}(\Fin_G)\) gives a canonical spectral Mackey model: a spectral \(G\)-Mackey functor is an additive functor
\[
\mathcal{A}(\Fin_G)\to \Sp.
\]
This produces a stable presentable symmetric monoidal \(\infty\)-category, and there is a symmetric monoidal equivalence
\[
\Sp^G \simeq \Fun_{\mathrm{add}}(\mathcal{A}(\Fin_G),\Sp),
\]
so genuine \(G\)-spectra and spectral \(G\)-Mackey functors coincide at the level of homotopy theory [2008.02368].

A categorical precursor of this equivalence is the construction of equivariant spectra from categorical Mackey functors. In that setting one starts from a \(PC\)-functor
\[
E^{op}\to Perm,
\]
where \(E\) is a permutative-category enrichment of the Burnside category of finite \(G\)-sets and \(Perm\) is the \(PC\)-category of permutative categories. Applying K-theory to morphism permutative categories yields a spectral Burnside category \(B\), and a spectrally enriched functor
\[
K_\bullet(Perm)\to S
\]
then produces a spectral Mackey functor \(B^{op}\to S\), hence a genuine \(G\)-spectrum. This recovers equivariant Eilenberg–Mac Lane spectra for Mackey functors and suspension spectra for finite \(G\)-sets [1405.6126].

The higher algebra of spectral Mackey functors is controlled by generalized Day convolution. For a left complete disjunctive triple \((C,C_\dagger,C^\dagger)\), the effective Burnside \(\infty\)-category \(A^{\mathrm{eff}}(C)\) admits a symmetric promonoidal enhancement, and this induces a symmetric monoidal structure on
\[
Mack(C,C_\dagger,C^\dagger;\Sp).
\]
This makes it possible to define spectral Green functors as algebra objects and to formulate multiplicative constructions such as equivariant algebraic K-theory, along with an equivariant Barratt–Priddy–Quillen theorem identifying the K-theory of finite \(G\)-sets with the equivariant sphere spectrum [1505.03098].

At the level of \(\pi_0\), multiplicative structure is reflected by Tambara functors. Derived symmetric powers and norm constructions on Mackey functors admit explicit algebraic descriptions, and every Tambara functor arises as \(\pi_0\) of a commutative ring \(G\)-spectrum [1304.5648]. This supplies the algebraic shadow of multiplicative spectral Mackey theory.

## 3. Global constraints from classical groups

A distinctive feature of genuinely global spectral Mackey functors is that values at classical groups are strongly constrained. For \(G(n)=O(n),U(n),Sp(n)\), let
\[
i_n\colon G(n-1)\hookrightarrow G(n)
\]
be the standard inclusion, and define
\[
F(G;k)=\ker\big(F(i_k^*)\colon F(G(k))\to F(G(k-1))\big).
\]
Then for every global functor \(F\) and every \(n\ge 1\), there is an isomorphism
\[
\bigoplus_{k=0}^n F(G;k)\xrightarrow{\cong} F(G(n)),
\]
and the adjacent-rank restriction maps
\[
F(G(n))\to F(G(n-1))
\]
are naturally split epimorphisms for the orthogonal, unitary, and symplectic towers [2006.09435].

Applied to global spectral Mackey functors \(F=\underline{\pi}_m(E)\), these splittings force a layered description of the equivariant homotopy groups
\[
\pi_m^{G(n)}(E)\cong \bigoplus_{k=0}^n \ker\big(\pi_m^{G(k)}(E)\to \pi_m^{G(k-1)}(E)\big).
\]
For cofiber sequences attached to tautological representations, the usual long exact sequences therefore break into short exact sequences. In the global Thom spectra \(\mathbf{MO}\) and \(\mathbf{MU}\), this yields regularity statements: Euler classes of tautological orthogonal and unitary representations, and of their sums over products of classical groups, are non-zero-divisors in the corresponding equivariant bordism rings [2006.09435].

The same paper emphasizes that this behavior is genuinely global rather than merely equivariant. It gives examples showing that for a general genuine \(G(n)\)-spectrum not arising from a global spectrum, restriction need not be surjective. A common misconception is therefore that every spectral Mackey phenomenon visible for a fixed \(G\) automatically globalizes; the splitting theorems show that globality imposes additional algebraic rigidity [2006.09435].

## 4. Equivariant and global algebraic K-theory

Equivariant algebraic K-theory provides a major source of spectral Mackey functors. If a finite group \(G\) acts on a ring \(R\), and \(R_\theta[H]\) denotes the twisted group ring for a subgroup \(H\le G\), then for each \(n\ge 0\) there is a Mackey functor
\[
\underline{K}_n^G(R)(G/H)=K_n(R_\theta[H]),
\]
whose restriction and transfer maps are induced by restriction and extension of scalars along maps of twisted group rings, and whose conjugation maps come from the corresponding ring isomorphisms. These Mackey functors are the homotopy Mackey functors of the equivariant algebraic K-theory spectral Mackey functor associated to \(R\) [2102.06724].

A global \(\infty\)-categorical reformulation identifies both equivariant and global algebraic K-theory with spectral Mackey functors produced by monoidal Borel constructions. For a finite group \(G\), the classical point-set constructions of Guillou–May and Merling agree with the spectral Mackey functor \(\mathbb{K}\circ T_*(\mathcal{C})\). Globally, Schwede’s global algebraic K-theory agrees, under the equivalence
\[
\Sp_{gl}\simeq \Mack_{gl}(\Sp),
\]
with the global spectral Mackey functor obtained by applying non-equivariant K-theory to the global monoidal Borel construction \(S_*(\mathcal{C})\) [2508.11525].

The connective range admits an especially strong converse. Every connective genuine \(G\)-spectrum is equivalent to the equivariant algebraic K-theory of a categorical Mackey functor in the sense of Bohmann–Osorno, and after localizing at K-equivalences the homotopy theory of symmetric monoidal Mackey functors is equivalent to the homotopy theory of connective genuine \(G\)-spectra [2312.04705]. Taken together, these results place algebraic K-theory at the center of the passage from categorical Mackey data to spectral and global spectral Mackey objects.

## 5. Incomplete and rational variants

A substantial generalization replaces complete transfer structure by a transfer system \(O\) on a finite group \(G\). An \(O\)-Mackey functor is a product-preserving functor
\[
M\colon \mathcal{A}^O\to \mathbf{Ab},
\]
where \(\mathcal{A}^O\) is a Lindner-type span category in which transfers exist only along subgroup inclusions allowed by \(O\). These incomplete Mackey functors are motivated by incomplete \(G\)-spectra and by \(N_\infty\)-operads, whose allowed norm maps are governed by transfer systems [2410.10962].

Rationally, the incomplete Burnside ring controls a maximal idempotent splitting of the category of \(O\)-Mackey functors. The resulting decomposition is indexed by conjugacy classes of subgroups \(H\) with \(H\to G\) in \(O\), or more precisely by inseparability classes \([H]^O\), and each split piece admits an intrinsic description in terms of normalizers and relative families [2410.10962]. This gives an algebraic model for rational incomplete Mackey structure that is designed to interface with incomplete spectral Mackey functors.

For finite abelian \(G\) and disk-like transfer systems, the homological algebra becomes explicit. The category of rational incomplete Mackey functors has global dimension
\[
\gldim(O\mhyphen_\mathbb{Q}^G)=\max_{H\in \Sub_G^O}\dim([H]^O),
\]
and if \(O_1\le O_2\) are disk-like transfer systems, then
\[
\gldim(O_2\mhyphen_\mathbb{Q}^G)\le \gldim(O_1\mhyphen_\mathbb{Q}^G).
\]
This suggests that, at least rationally and in the disk-like case, adding transfer data simplifies the derived algebra of incomplete spectral Mackey functors and shortens the corresponding Ext-theoretic range [2605.03068].

## 6. Alternative meanings of “global”: finite sets and surjections

The literature also uses spectral Mackey methods in a different global direction, indexed not by groups but by finite sets and surjections. For a stable target \(\mathbf{E}\) and \(n\ge 0\), the category of \(n\)-excisive functors
\[
Sp^\omega\to \mathbf{E}
\]
is equivalent to the category of \(\mathbf{E}\)-valued Mackey functors on the category \(\mathcal{F}^{\le n}\) of finite sets of cardinality at most \(n\) and surjective maps [1610.03127]. Under this equivalence, the value of the Mackey functor at a finite set \(U\) is the \(U\)-indexed cross-effect of the polynomial functor evaluated at sphere spectra.

A multiplicative refinement organizes all arities simultaneously. For each \(d\ge 1\), the category of reduced \(d\)-excisive endofunctors on spectra admits a canonical \(Epi_d\)-parametrized symmetric monoidal stable enhancement \(\underline{Exc}_d\), and there is a canonical symmetric monoidal equivalence
\[
\underline{Exc}_d \simeq \underline{Sp}_{Epi_d}.
\]
Evaluating at \([r]\in Epi_d\) yields
\[
Exc^{\lrcorner}_{d,r}\simeq \mackey(Epi_{d,r};Sp).
\]
In this sense, Goodwillie polynomial functors are classified by spectral Mackey functors indexed by the global combinatorics of finite sets and surjections rather than by orbit categories of groups [2604.02232].

Taken together, these results show that the adjective “global” is used in several precise but non-identical ways. In Schwede’s sense it refers to simultaneous equivariance over all compact Lie groups; in the groupoid-valued span formalism it refers to all finite groups or finite groupoids; in Goodwillie calculus it refers to simultaneous control of all arities through surjection categories [2006.09435].

## 7. Tensor-triangular geometry and chromatic structure

The tensor-triangular geometry of spectral Mackey functor categories reveals a chromatic truncation phenomenon. For a finite group \(G\), Kaledin’s derived Mackey functors are equivalent, as tensor triangulated categories, both to \(\HZ_G\)-modules and to spectral Mackey functors with \(\HZ\)-coefficients. Their Balmer spectrum is completely computable:
\[
\Spc(\DHZ_G^c)\cong \Con(G)\times \Spec(\mathbb{Z})
\]
set-theoretically, where \(\Con(G)\) denotes conjugacy classes of subgroups. Under the comparison map to \(\Spc(\SH(G)^c)\), this spectrum captures precisely the height \(0\) and height \(\infty\) chromatic layers of the equivariant stable homotopy category [2008.02368].

A later stratification theory extends this perspective to broader families of spectral \(G\)-Mackey functors. Using Balmer–Favi support and a local-to-global principle for weakly noetherian tt-spectra, it classifies the localizing tensor-ideals of certain categories of spectral \(G\)-Mackey functors for all finite groups \(G\). In particular, the Balmer spectrum of the category of \(E(n)\)-local spectral Mackey functors bijects onto the height \(\le n\) chromatic layers of the Balmer spectrum of the equivariant stable homotopy category, and the topologies are conjecturally the same [2106.15540].

This chromatic viewpoint clarifies the role of spectral Mackey functors in equivariant stable homotopy theory. Rather than being merely a convenient model for genuine \(G\)-spectra, the Mackey formalism isolates specific chromatic layers, organizes their tensor-ideal structure, and provides a uniform language for comparisons among derived Mackey functors, equivariant spectra, and algebraic models [2008.02368].

Source: https://www.emergentmind.com/topics/global-spectral-mackey-functors