geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Be?linson-Bernstein localization?
By the Burnside category of a finite group $G$ one means either
the category of correspondences in finite G-sets (Prop. below)
or an abelianization of that
either by group completion of its monoidal hom-groupoids to an additive 1-category (Def. below);
or by forming the K-theory of a permutative category of the hom-groupoids to a spectra-enriched (∞,1)-category (Def. below).
The plain Burnside ring is the endomorphism ring of the terminal G-set in the additive version of the category (Example below).
The functors/additive functors/enriched (∞,1)-functors from the Burnside category to, in particular, the category of abelian groups/(∞,1)-category of spectra are called Mackey functors.
A functor out of the Burnside category is called a Mackey functor, specifically if it is an Ab-enriched functor to Ab out of the additive category-version of the Burnside category. A spectra-enriched functor out of the spectral Burnside category to Spectra is called a spectral Mackey functor, for emphasis. These spectral Mackey functors on the Burnside category are equivalent to genuine G-spectra in equivariant stable homotopy theory.
There are various incarnations of the Burnside category as enriched categories, in varying degree of sophistication of the enriching “cosmos”. They are all induced from the canonical structure of permutative categories on the correspondences between two fixed finite G-sets (made explicit as Prop. below). This yields the Burnside category as
(the permutative category of finite G-sets)
For $G$ be a finite group, write $G FinSet_{sk}$ for the skeleton of the category of finite G-sets.
Its objects may be identified with pairs $(n,\rho)$ consisting of a natural number $n$, reflecting the finite set $\{1,2, \cdots, n\}$, and a group homomorphism $\rho \;\colon\; G \longrightarrow S_n = Aut(\{1,2, \cdots, n\})$ from $G$ to the symmetric group on $n$ elements, reflecting the automorphism group of that finite set.
Its morphisms $(n_1,\rho_1) \overset{ f }{\longrightarrow} (n_2, \rho_2)$ are functions $f \;\colon\; \{1, 2, \cdots, n_1\} \longrightarrow \{1,2, \cdots, n_2\}$ that intertwine $\rho_1$ and $\rho_2$.
The coproduct $\sqcup$ of G-sets (disjoint union) makes this skeleton a permutative category $\big( G FinSet_{sk}, \sqcup \big)$.
In the same way its slice category over any object $X \in G FinSet_{sk}$ becomes a permutative category $\big( G FinSet_{sk}/_{X}, \sqcup \big)$ under disjoint union of domains.
Similarly, the Cartesian product of finite $G$-sets can be restricted to these skeleta to produce bipermutative categories $\big( G FinSet_{sk}/_{X}, \sqcup, \times \big)$.
Finally, restriction to isomorphisms (passage to cores) yields the bipermutative groupoids $\big( Core(G FinSet_{sk})/_{X}, \sqcup, \times \big)$.
(e.g. Guillou-May 11, Def. 1.3, Bohmann-Osorno 14, Def. 1.4)
(PermCat-enriched Burnside category)
The (2,1)-category of correspondences $Corr(G FinSet)$ is equivalent to the (2,1)-category whose objects are the finite G-sets and whose hom-categories are the permutative cores of skeleta of slice categories of G-sets from Def. , over the Cartesian product of source and domain G-sets:
This locally skeletal (2,1)-category is the PermCat-enriched Burnside category $G Burn_{pc}$_
It may be regarded as an enriched category over the multicategory PermCat of permutative categories (a $\mathbf{PC}$-cateory in the sense of Guillout 10).
(Guillou-May 11, Def. 1.6, Bohmann-Osorno 14, Def. 7.1, 7.2)
(additive Burnside category)
The additive Burnside category $G Burn_{ad}$ of $G$ is the additive category obtained from the PermCat-enriched Burnside category $G Burn_{pc}$ (Def. ) under replacing each hom-permutative category $Core(G FinSet_{sk}/_{S_1 \times S_2})$ with its Grothendieck group, hence with the abelian group which is the group completion
of the commutative monoid of isomorphism classes of objects in $Core(G FinSet_{sk}/_{S_1 \times S_2})$, under disjoint union:
(Burnside ring is endomorphism ring of additive Burnside category)
The endomorphism ring of the terminal G-set (the point $\ast$ equipped with the, necessarily, trivial action) in the additive Burnside category (Def. ) is the Burnside ring $A(G)$:
(Spectra-enriched Burnside category)
Since construction of K-theory spectra of permutative categories applies hom-object-wise to PermCat-enriched categories (this Prop.)
the image of the PermCat-enriched Burnside category $G \mathcal{E}$ from Def. under forming hom-object-wise the K-theory spectra of permutative categories yields a Spectra-enriched category
This is called the spectral Burnside category.
(Guillou-May 11, Def. 1.12, Bohmann-Osorno 14, Def. 7.3)
(G-spectra are spectral presheaves on the spectral Burnside category)
There is a zig-zag of Quillen equivalences
between the model category of Spectra-enriched presheaves over the spectral Burnside category from Def. (“spectral Mackey functors”) and that of genuine G-spectra.
This equivalence is such that the spectral Mackey functor corresponding to a fibrant G-spectrum $E$ assigns to the transitive G-set $G/H$ the fixed point spectrum $E^H$:
(GuillouMay 11, theorem 1.13, corollary 1.14, remark 2.5).
Lecture notes include:
The spectrally-enriched version and its role in the equivalent description of G-spectra via spectral Mackey functors is due to
A beautified review is given in
making use of
Last revised on January 2, 2019 at 14:29:26. See the history of this page for a list of all contributions to it.