nLab
Mackey functor

Context

Homotopy theory

Stable Homotopy theory

Contents

Idea

Quite generally, the term Mackey functor refers to an additive functor from a (subcategory of) a category of correspondences (in a disjunctive category 𝒞\mathcal{C}) to possibly any other additive category which however usually is the “base” abelian category. More generally the term now refers to the fairly obvious homotopy theoretic or higher categorical refinements of this concept.

Therefore the concept of Mackey functors is similar to that of sheaves with transfer and as such appears (implicitly) in the discussion of motives (explicitly e.g. in Kahn-Yamazaki 11, section 2, where 𝒞\mathcal{C} is a category of suitable schemes).

The concept was however introduced and named as such in the context of representation theory (Dress 71) and equivariant homotopy theory/equivariant cohomology (May 96). In that context it first received its full (∞,1)-category-theoretic forumation and discussion (Barwick 14).

Definition

We follow the modern account in (Barwick 14).

Let 𝒞\mathcal{C} be a disjunctive (∞,1)-category and write Corr 1(𝒞) Corr_1(\mathcal{C})^\otimes for the (∞,1)-category of correspondences in 𝒞\mathcal{C}, regarded as a symmetric monoidal (∞,1)-category with respect to its coproduct (which is a biproduct by disjunctiveness of 𝒞\mathcal{C}).

Write 𝒞=\mathcal{C} = Spectra {}^\otimes for the (∞,1)-category of spectra regarded as a symmetric monoidal (∞,1)-category with respect to the smash product of spectra. More generally 𝒜\mathcal{A} could be any symmetric monoidal stable (∞,1)-category

Then a (spectral) Mackey functor on 𝒞\mathcal{C} is a monoidal (∞,1)-functor of the form

S:Corr 1(𝒞) 𝒜 . S \;\colon\; Corr_1(\mathcal{C})^\otimes \longrightarrow \mathcal{A}^{\otimes} \,.

Notice that this means that SS is in particular

  1. a covariant (∞,1)-functor () *:𝒞𝒜(-)_\ast \colon\mathcal{C} \to \mathcal{A};

  2. a contravariant (∞,1)-functor, hence () *:𝒞 op𝒜(-)^\ast \colon\mathcal{C}^{op} \to \mathcal{A};

  3. satisfying the Beck-Chevalley condition.

(More generally one may specify suitably chosen sub-(,1)(\infty,1)-categories 𝒞 ,𝒞 𝒞\mathcal{C}^\dagger, \mathcal{C}_\dagger \subset \mathcal{C} and restrict Corr 1Corr_1 to correspondences whose left leg is in 𝒞 \mathcal{C}_\dagger and whose right leg is in 𝒞 \mathcal{C}^\dagger (Barwick 14, section 5).)

Examples

Dress’ Mackey functors

For 𝒜\mathcal{A} taken to be (the derived category) of an abelian category (or better: postcomposed with a homological functor ) this definition reduces (Barwick 14) to that of Mackey functors as originally defined in (Dress 71).

Genuine equivariant spectra

For GG a finite group let 𝒞=GSet\mathcal{C}= G Set be its category of permutation representations. Then Corr 1(𝒞)Corr_1(\mathcal{C}) is essentially what is called the Burnside category of GG ()possibly after abelianizing/stabilizing the hom-spaces suitably, but as (Barwick 14) highlights, this is unnecessary when one is mapping out of this into something abelian/stable, as is the case here.

Then Mackey functors on 𝒞\mathcal{C} are equivalently genuine G-spectra (Guillou-May 11, theorem 0.1, Barwick 14, below example B.6).

(…)

For EE a genuine G-spectrum then the corresponding Mackey functor us given by the assignment

G/HE(G/H)=[Σ + G/H,E] G, G/H \mapsto E(G/H) = [\Sigma^\infty_+ G/H, E]_G \,,

where on the right we have the GG-equivariant mapping spectrum from the (equivariant) suspension spectrum of the orbit G/HG/H to EE.

(e.g. Guillou-May 11, remark 2.5)

(…)

References

The original article is

  • A. W. M. Dress, Notes on the theory of representations of finite groups. Part I: The Burnside ring of a finite group and some AGN-applications, Bielefeld, 1971,

Reviews and surveys include

  • Peter May, section IX.4 of Equivariant homotopy and cohomology theory CBMS Regional Conference Series in Mathematics, vol. 91, Published for the Conference Board of the Mathematical Sciences, Washington, DC, 1996. With contributions by M. Cole, G. Comeza˜na, S. Costenoble, A. D. Elmenddorf, J. P. C. Greenlees, L. G. Lewis, Jr., R. J. Piacenza, G. Triantafillou, and S. Waner. (pdf)

  • Peter Webb, A Guide to Mackey Functors

  • Michael Hill, Michael Hopkins, Douglas Ravenel, section 4 of The Arf-Kervaire problem in algebraic topology: Sketch of the proof (pdf)

    (with an eye towards application to the Arf-Kervaire invariant problem)

See also

  • Tammo tom Dieck, Transformation groups, Studies in Mathematics, vol. 8, Walter de Gruyter, Berlin, New York, 1987, x + 311 pp.,

  • chapter 1 of Serge Bouc, Green Functors and G-sets, LNM 1671 (1997; paperback 2008) doi:10.1007/BFb0095821

  • Tammo tom Dieck, Equivariant homology and Mackey functors, Mathematische Annalen 206, no.1, pp. 67–78, 1973 doi:10.1007/BF01431529

  • D. Tambara, The Drinfeld center of the category of Mackey functors, J. Algebra 319, 10, pp. 4018-4101 (2008) doi:10.1016/j.jalgebra.2008.02.011

  • Elango Panchadcharam, Categories of Mackey Functors, PhD thesis, Macquarie Univ. 2006

A comprehensive construction of equivariant stable homotopy theory in terms of Mackey functors is in the series

Application of Mackey functors to the theory of motives includes

  • Bruno Kahn, Takao Yamazaki, Voevodsky’s motives and Weil reciprocity, Duke Mathematical Journal 162, 14 (2013) 2751-2796 (arXiv:1108.2764)

Revised on April 16, 2014 21:33:29 by David Corfield (46.208.3.134)