Set functors equipped with a double action
The paper under review contains a lot of interesting results. Only part of it can be summarized here. Let \(G\) and \(H\) be finite groups. A finite \(G\)-set-\(H\) is a finite set \(X\), with \(G\) acting from the left and \(H\) from the right such that both actions commute. If \(K\) is a third group and if \(Y\) is an \(H\)-set-\(K\) then it is possible to form a \(G\)-set-\(K\) \(X \times_H Y\). Let \(A\) be a fixed commutative ring. The author constructs the following \(A\)-linear category \({\mathcal C} = {\mathcal C}_A\): Its objects are all finite groups; for finite groups \(G\), \(H\) the set of morphisms \(G \to H\) is the Grothendieck group of finite \(G\)-sets-\(H\), with scalars extended to \(A\); the composition of morphisms is induced by \(\times_H\). The \(A\)-linear functors from \(\mathcal C\) to the category \(_A{\mathcal M}od\) of left \(A\)-modules form an abelian category \({\mathcal F}unct_A({\mathcal C})\). This category is the basic object of investigation in this paper. The author shows that (isomorphism classes of) simple objects in \({\mathcal F}unct_A ({\mathcal C})\) are in bijection with (isomorphism classes of) pairs \((H,V)\) where \(H\) is a finite group and \(V\) is a simple \(A \text{Out}(H)\)-module. The simple functor \(S_{H,V}\) corresponding to \((H,V)\) is the unique simple quotient of the functor \(L_{H,V}\) defined by \(L_{H,V}(X) = \text{Hom}(H,X) \otimes_{\text{End}(H)} V\) for every finite \(G\)-set \(X\); here the \(A\)-algebra \(\text{End}(H)\) has an ideal \(I_H\) such that \(\text{End}(H) = A\text{ Out}(H) \oplus I_H\), and \(V\) is considered as an \(\text{End}(H)\)-module with \(I_H\) acting trivially. An important object in \({\mathcal F}unct_A ({\mathcal C})\) is the Burnside functor \(b\) associating to a finite group \(G\) the Burnside ring \(b(G)\), with scalars extended to \(A\). Suppose that \(A = k\) is a field of characteristic zero. The author classifies the ``composition factors of \(b\): These are precisely the functors of the form \(S_{H,k}\) where \(H\) is a finite \(b\)-group and \(k\) is the trivial \(k \text{Out}(H)\)-module. They all have multiplicity one in \(b\). A finite group \(G\) is called a \(b\)-group if, for every nontrivial normal subgroup \(N\) of \(G\), the map \(b(G) \to b(G/N)\) associating to a finite \(G\)-set \(X\) the \(G/N\)-set \(N\setminus X\) of \(N\)-orbits on \(X\) vanishes on the primitive idempotent \(e^G_G\) in \(b(G)\). A finite soluble group \(G\) is a \(b\)-group if and only if every minimal normal subgroup \(N\) of \(G\) has exactly \(|N|\) complements in \(G\). Thus a finite nilpotent group \(G\) is a \(b\)-group if and only if \(G\) is isomorphic to \((\mathbb{Z}/n\mathbb{Z})^2\) for a square-free integer \(n\). Finite nonabelian simple groups and finite nonabelian symmetric groups are further examples of \(b\)-groups. Another important object in \({\mathcal F}unct_A({\mathcal C})\) is the functor associating to a finite group \(G\) the ring of complex-valued class functions on \(G\); in this case \(A = \mathbb{C}\). The author shows that this functor is ``semisimple: It is a ``locally finite direct sum of the functors \(S_{\mathbb{Z}/m\mathbb{Z},\zeta}\) where \(m\) is a positive integer and \(\zeta\) is a primitive character \(\text{mod }m\). Other topics considered in this paper include a theory (in fact, two theories) of vertices and sources and the connection with the theory of global Mackey functors.
- Ring of subquotients of a finite group. I: Linearization
- A general theory of canonical induction formulae
- Class group relations from Burnside ring idempotents
- Maximal subgroups of direct products
- Polynomial ideals and classes of finite groups
- Correspondence functors and lattices
- Idempotents of double Burnside algebras, \(L\)-enriched bisets, and decomposition of \(p\)-biset functors
- Correspondence functors and finiteness conditions
- Fibered \(p\)-biset functor structure of the fibered Burnside rings
- Generalized correspondence functors
- On the ideals and essential algebras of shifted functors of linear representations
- The functor of rational representations for \(p\)-groups.
- Simple functors
- A remark on the Dade group and the Burnside group
- Construction of functors between categories of G-sets
- Simple biset functors and double Burnside ring
- Simple modules over Green biset functors
- A conjecture on B-groups
- The coset poset and probabilistic zeta function of a finite group
- Fibered biset functors
- On the image of the trivial source ring in the ring of virtual characters of a finite group
- Correspondence functors and duality
- Some simple biset functors
- Diagonal \(p\)-permutation functors
- Tensor product of correspondence functors
- The algebra of Boolean matrices, correspondence functors, and simplicity
- On the representation types of category algebras of finite EI categories
- Expansivity and Roquette groups
- Relative B-groups
- Borel-Smith functions and the Dade group
- A ghost algebra of the double Burnside algebra in characteristic zero
- The functor of \(p\)-permutation modules for abelian groups
- Mackey functors, induction from restriction functors and coinduction from transfer functors
- Endo-p-permutation modules.
- A filtration of the modular representation functor
- Rational \(p\)-biset functors
- The Dade group of a \(p\)-group.
- On the essential algebra of the shifted Burnside biset functor
- Semisimplicity of the deformations of the subcharacter algebra of an abelian group
- Simple functors of admissible linear categories
- Tornehave morphisms I: Resurrecting the virtual permutation sets annihilated by linearization
- Cohomology with twisted coefficients of the classifying space of a fusion system
- RESTRICTING GLOBALLY-DEFINED MACKEY FUNCTORS TO NILPOTENT FINITE GROUPS
- Vanishing evaluations of simple functors
- Orthogonal units of the bifree double Burnside ring
- Representations of the double Burnside algebra and cohomology of the extraspecial p-group
- A characterization of finite EI categories with hereditary category algebras
- scientific article; zbMATH DE number 1522522 (Why is no real title available?)
- scientific article; zbMATH DE number 1522523 (Why is no real title available?)
- On primordial groups for the Green ring
- Representations of finite sets and correspondences
- A sectional characterization of the Dade group
- Splittings of global Mackey functors and regularity of equivariant Euler classes
- Global algebraic K‐theory
- Simple functors over the Green biset functor of section Burnside rings
- Semisimplicity of some deformations of the subgroup category and the biset category
- Projective resolutions of globally defined Mackey functors in characteristic zero
- Composition factors of functors
- On the depth of subgroups and group algebra extensions.
- The uncountable lattice of all subfunctors of the functor of rational representations
- Stabilizing bisets
- A ghost ring for the left-free double Burnside ring and an application to fusion systems
- Bisets as categories and tensor product of induced bimodules.
- Mackey functors and bisets.
- Another approach to correspondence functors
- A categorical decomposition of \(\mathbb{C}^\times\)-fibered \(p\)-biset functors
- p-bifree biset functors
- The composition factors of the functor of permutation modules
- Deflation and tensor induction on the Frobenius-Wielandt morphism
- Tornehave morphisms. III: The reduced tornehave morphism and the Burnside unit functor.
- The Roquette category of finite \(p\)-groups
- A study of a simple p-permutation functor
- Rhetorical biset functors, rational \(p\)-biset functors and their semisimplicity in characteristic zero
- Alcahestic subalgebras of the alchemic algebra and a correspondence of simple modules
- Tornehave morphisms. II: The lifted Tornehave morphism and the dual of the Burnside functor
This page was built for publication: Set functors equipped with a double action
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1921930)
