Mackey functors and bisets.

DOI10.1007/S10711-010-9467-XMaRDI QIDQ711658zbMATH OpenOpenAlexFDO

Authors Laurence R. Taylor, Ian Hambleton, Bruce E. Williams

Publication date 27 October 2010

Published in Geometriae Dedicata (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0806.4054

zbMATH Keywords

bisetsBurnside categoriesDress categoriesfinite groupsGrothendieck groupsMackey functors

Mathematics Subject Classification ID

Module categories in associative algebras (16D90) Algebraic (K)-theory and (L)-theory (category-theoretic aspects) (18F25) Frobenius induction, Burnside and representation rings (19A22) Group rings of finite groups and their modules (group-theoretic aspects) (20C05) Ordinary representations and characters (20C15) Homological methods in group theory (20J05)

Abstract: 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.

Review text

Let \(G\) be a finite group. The authors consider several categories attached to \(G\). The objects of the Dress category \(\mathcal D(G)\) are the finite \(G\)-sets, its morphisms are the \(G\)-equivariant maps, and the composition in \(\mathcal D(G)\) is the usual composition of maps. The objects of the Burnside category \(\mathbf A(G)\) are the subgroups of \(G\), a morphism \(H_1\to H_2\) in \(\mathbf A(G)\) is an element in the Grothendieck group of the category of finite bifree \(H_2\)-\(H_1\)-bisets, and the composition of morphisms in \(\mathbf A(G)\) is induced by the balanced product \(X\times_{H_2}Y\) of bifree bisets \(_{H_3}X_{H_2}\) and \(_{H_2}Y_{H_1}\). For subgroups \(H_1,H_2\) of \(G\), every finite bifree \(H_2\)-\(H_1\)-biset decomposes uniquely into orbits, and each orbit is determined by a triple \((L,\gamma,K)\) where \(L\) is a subgroup of \(H_2\), \(K\) is a subgroup of \(H_1\), and \(\gamma\colon L\to K\) is an isomorphism. If \(\gamma\) is conjugation by an element in \(G\) then the corresponding orbit is called a conjugation biset, and an arbitrary finite bifree \(H_2\)-\(H_1\)-biset is called a conjugation biset if its orbits are. The subcategory \(\mathbf B(G)\) of \(\mathbf A(G)\) has the same orbits as \(\mathbf A(G)\), but its morphisms are the integral linear combinations of isomorphism classes of conjugation bisets. Then \(\mathbf A(G)\) and \(\mathbf B(G)\) are Ab-categories, but not additive categories. Their additive completions are denoted by \(\mathbf A_\bullet(G)\) and \(\mathbf B_\bullet(G)\), respectively. The objects in \(\mathbf B_\bullet(G)\) are finite sequences of objects in \(\mathbf B(G)\), and the morphisms in \(\mathbf B_\bullet(G)\) are matrices of morphisms in \(\mathbf B_\bullet(G)\). A Mackey functor for \(G\) is defined as a bivariant functor \(\mathcal M\colon\mathcal D(G)\to\mathcal Ab\) satisfying a pullback axiom and an additivity axiom. Then \(\mathcal M\) is called conjugation invariant if \(C_G(H)\) acts trivially on \(\mathcal M(G/H)\), for every subgroup \(H\) of \(G\). The authors construct a bivariant functor \(j\colon\mathcal D(G)\to\mathbf B_\bullet(G)\) and prove: If \(F\colon\mathbf B_\bullet(G)\to\mathcal Ab\) is an additive functor then \(F\circ j\colon\mathcal D(G)\to\mathcal Ab\) is a conjugation invariant Mackey functor. Conversely, any conjugation invariant Mackey functor for \(G\) factors uniquely through an additive functor out of \(\mathbf B_\bullet(G)\).

Recommendations

• A Mackey-functor theoretic interpretation of biset functors
• Construction of functors between categories of G-sets
• The additive completion of the biset category
• Green functors and \(G\)-sets
• Fused Mackey functors

Cites work

• A remark on Mackey-functors
• A sectional characterization of the Dade group
• Axiomatic representation threory for finite groups
• Biset functors and genetic sections for p-groups
• Detection theorems for K-theory and L-theory
• Dress induction and the Burnside quotient Green ring
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1522523 (Why is no real title available?)
• Induction and structure theorems for orthogonal representations of finite groups
• Rational \(p\)-biset functors
• Set functors equipped with a double action
• The group of endo-permutation modules
• The Segal conjecture for elementary abelian p-groups
• The Structure of Mackey Functors
• Transformation groups
• Two classifications of simple Mackey functors with applications to group cohomology and the decomposition of classifying spaces

Cited in

(18)

• Green functors and \(G\)-sets
• The \(-_{+}\) and \(-^{+}\) constructions for biset functors
• Set functors equipped with a double action
• Construction of functors between categories of G-sets
• Inducing native Mackey functors to biset functors
• Fused Mackey functors
• The additive completion of the biset category
• Biset Functors as Module Mackey Functors and its Relation to Derivators
• Pullback and finite coproduct preserving functors between categories of permutation representations
• CROSS-EFFECTS OF MACKEY FUNCTORS
• Axiomatic Representation Theory of Finite Groups by way of Groupoids
• Mackey formula for bisets over groupoids
• Green correspondence on centric Mackey functors over fusion systems
• COHOMOLOGICAL MACKEY 2-FUNCTORS
• Bisets as categories and tensor product of induced bimodules.
• Blocks of Mackey categories
• A Mackey-functor theoretic interpretation of biset functors
• Partial Tambara structure on the Burnside biset functor, induced from a derivator-like system of adjoint triplets

This page was built for publication: Mackey functors and bisets.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q711658)