Burnside category

Last updated January 21, 2024

In category theory and homotopy theory the Burnside category of a finite group G is a category whose objects are finite G-sets and whose morphisms are (equivalence classes of) spans of G-equivariant maps. It is a categorification of the Burnside ring of G.

Definitions

Let G be a finite group (in fact everything will work verbatim for a profinite group). Then for any two finite G-sets X and Y we can define an equivalence relation among spans of G-sets of the form $X\leftarrow U\rightarrow Y$ where two spans $X\leftarrow U\rightarrow Y$ and $X\leftarrow W\rightarrow Y$ are equivalent if and only if there is a G-equivariant bijection of U and W commuting with the projection maps to X and Y. This set of equivalence classes form naturally a monoid under disjoint union; we indicate with $A(G)(X,Y)$ the group completion of that monoid. Taking pullbacks induces natural maps $A(G)(X,Y)\times A(G)(Y,Z)\rightarrow A(G)(X,Z)$ .

Finally we can define the Burnside categoryA(G) of G as the category whose objects are finite G-sets and the morphisms spaces are the groups $A(G)(X,Y)$ .

Properties

A(G) is an additive category with direct sums given by the disjoint union of G-sets and zero object given by the empty G-set;
The product of two G-sets induces a symmetric monoidal structure on A(G);
The endomorphism ring of the point (that is the G-set with only one element) is the Burnside ring of G;
A(G) is equivalent to the full subcategory of the homotopy category of genuine G-spectra spanned by the suspension spectra of finite G-sets.
The Burnside category is self-dual.^[1]

Mackey functors

If C is an additive category, then a C-valued Mackey functor is an additive functor from A(G) to C. Mackey functors are important in representation theory and stable equivariant homotopy theory.

To every G-representation V we can associate a Mackey functor in vector spaces sending every finite G-set U to the vector space of G-equivariant maps from U to V.
The homotopy groups of a genuine G-spectrum form a Mackey functor. In fact genuine G-spectra can be seen as additive functor on an appropriately higher categorical version of the Burnside category.

Related Research Articles

In mathematics, especially in category theory and homotopy theory, a groupoid generalises the notion of group in several equivalent ways. A groupoid can be seen as a:

In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure of the categories involved. Hence, a natural transformation can be considered to be a "morphism of functors". Informally, the notion of a natural transformation states that a particular map between functors can be done consistently over an entire category.

In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems, such as the construction of a free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology.

In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.

In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices.

In category theory, the coproduct, or categorical sum, is a construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces. The coproduct of a family of objects is essentially the "least specific" object to which each object in the family admits a morphism. It is the category-theoretic dual notion to the categorical product, which means the definition is the same as the product but with all arrows reversed. Despite this seemingly innocuous change in the name and notation, coproducts can be and typically are dramatically different from products.

In mathematics, the derived categoryD(A) of an abelian category A is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on A. The construction proceeds on the basis that the objects of D(A) should be chain complexes in A, with two such chain complexes considered isomorphic when there is a chain map that induces an isomorphism on the level of homology of the chain complexes. Derived functors can then be defined for chain complexes, refining the concept of hypercohomology. The definitions lead to a significant simplification of formulas otherwise described (not completely faithfully) by complicated spectral sequences.

In algebraic topology, a branch of mathematics, a spectrum is an object representing a generalized cohomology theory. Every such cohomology theory is representable, as follows from Brown's representability theorem. This means that, given a cohomology theory

$,$

In mathematics, the Grothendieck group, or group of differences, of a commutative monoid $M$ is a certain abelian group. This abelian group is constructed from $M$ in the most universal way, in the sense that any abelian group containing a homomorphic image of $M$ will also contain a homomorphic image of the Grothendieck group of $M$ . The Grothendieck group construction takes its name from a specific case in category theory, introduced by Alexander Grothendieck in his proof of the Grothendieck–Riemann–Roch theorem, which resulted in the development of K-theory. This specific case is the monoid of isomorphism classes of objects of an abelian category, with the direct sum as its operation.

In mathematics, a triangulated category is a category with the additional structure of a "translation functor" and a class of "exact triangles". Prominent examples are the derived category of an abelian category, as well as the stable homotopy category. The exact triangles generalize the short exact sequences in an abelian category, as well as fiber sequences and cofiber sequences in topology.

In mathematics, specifically in category theory, F-algebras generalize the notion of algebraic structure. Rewriting the algebraic laws in terms of morphisms eliminates all references to quantified elements from the axioms, and these algebraic laws may then be glued together in terms of a single functor F, the signature.

This is a glossary of properties and concepts in category theory in mathematics.

In mathematics, a quotient category is a category obtained from another category by identifying sets of morphisms. Formally, it is a quotient object in the category of categories, analogous to a quotient group or quotient space, but in the categorical setting.

Segal's Burnside ring conjecture, or, more briefly, the Segal conjecture, is a theorem in homotopy theory, a branch of mathematics. The theorem relates the Burnside ring of a finite group G to the stable cohomotopy of the classifying space BG. The conjecture was made in the mid 1970s by Graeme Segal and proved in 1984 by Gunnar Carlsson. As of 2016, this statement is still commonly referred to as the Segal conjecture, even though it now has the status of a theorem.

In category theory, a span, roof or correspondence is a generalization of the notion of relation between two objects of a category. When the category has all pullbacks, spans can be considered as morphisms in a category of fractions.

In mathematics, a topos is a category that behaves like the category of sheaves of sets on a topological space. Topoi behave much like the category of sets and possess a notion of localization; they are a direct generalization of point-set topology. The Grothendieck topoi find applications in algebraic geometry; the more general elementary topoi are used in logic.

In mathematics, the Landweber exact functor theorem, named after Peter Landweber, is a theorem in algebraic topology. It is known that a complex orientation of a homology theory leads to a formal group law. The Landweber exact functor theorem can be seen as a method to reverse this process: it constructs a homology theory out of a formal group law.

In mathematics, especially in algebraic topology, the homotopy limit and colimit^{pg 52} are variants of the notions of limit and colimit extended to the homotopy category $. The main idea is this: if we have a diagram$

In algebra, Quillen's Q-construction associates to an exact category an algebraic K-theory. More precisely, given an exact category C, the construction creates a topological space $so that is the Grothendieck group of C and, when C is the category of finitely generated projective modules over a ring R, for, is the i -th K-group of R in the classical sense. One puts$

This is a glossary of properties and concepts in algebraic topology in mathematics.

References

↑ Dugger, Daniel (2022). "GYSIN FUNCTORS, CORRESPONDENCES, AND THE GROTHENDIECK-WITT CATEGORY" (PDF). Theory and Application of Categories . 38 (6): 158.

Guillou, Bertrand; May, J.P. (2011). "Models of G-spectra as presheaves of spectra". arXiv: 1110.3571 [math.AT].
Barwick, Clark (2014). "Spectral Mackey functors and equivariant algebraic K-theory (I)". arXiv: 1404.0108 [math.AT].

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Dugger, Daniel (2022). "GYSIN FUNCTORS, CORRESPONDENCES, AND THE GROTHENDIECK-WITT CATEGORY" (PDF). Theory and Application of Categories . 38 (6): 158.

[1]