The Roquette category of finite p-groups

DOI10.4171/JEMS/573MaRDI QIDQ894195zbMATH OpenFDO

Authors Serge Bouc

Publication date 27 November 2015

Published in Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

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

zbMATH Keywords

\(p\)-groupbisetgenetic subgroupsrational biset functorRoquette

Mathematics Subject Classification ID

Special categories (18B99) Representation theory of groups (20C99) Category of groups (20J15)

Abstract: Let p be a prime number. This paper introduces the Roquette category R_p of finite p-groups, which is an additive tensor category containing all finite p-groups among its objects. In R_p, every finite p-group P admits a canonical direct summand, called the edge of P. Moreover P splits uniquely as a direct sum of edges of Roquette p-groups, and the tensor structure of R_p can be described in terms of such edges. The main motivation for considering this category is that the additive functors from R_p to abelian groups are exactly the rational p-biset functors. This yields in particular very efficient ways of computing such functors on arbitrary p-groups : this applies to the representation functors R_K, where K is any field of characteristic 0, but also to the functor of units of Burnside rings, or to the torsion part of the Dade group.

Review text

The author introduces the Roquette category \(\mathcal R_p\) of finite \(p\)-groups, for some fixed prime \(p\). He shows that \(\mathcal R_p\) is an additive tensor category such that any finite \(p\)-group can be seen as an object of \(\mathcal R_p\), and he also proves that every finite \(p\)-group \(P\) admits a canonical direct summand \(\partial P\), called the edge of \(P\). Moreover \(P\) splits as the direct sum of edges of so-called Roquette \(p\)-groups. The tensor structure on \(\mathcal R_p\) can be described in terms of edges. The author's motivation for this study is that the additive functors from \(\mathcal R_p\) to the category of abelian groups coincide with the so-called rational \(p\)-biset functors. Hence there are applications in computing representation functors \(R_K\) for any field \(K\) of characteristic \(0\), or the functor of units of Burnside rings, or the torsion part of the Dade group of a finite \(p\)-group. The article starts with a summary of the required background on biset functors, Roquette groups, expansive and genetic subgroups of \(p\)-groups and rational \(p\)-biset functors (see, e.g. \textit{S. Bouc} [J. Algebra 319, No. 4, 1776--1800 (2008; Zbl 1149.19001); J. Algebra 284, No. 1, 179--202 (2005; Zbl 1062.19001)]). Thereafter the author introduces the Roquette category \(\mathcal R_p\), for some fixed prime \(p\), and describes its tensor structure. The last section is a compilation of examples and applications.

Recommendations

• Rational \(p\)-biset functors
• \(K\)-theory, genotypes, and biset functors
• Biset functors for finite groups
• Rhetorical biset functors, rational \(p\)-biset functors and their semisimplicity in characteristic zero
• On the ideals and essential algebras of shifted functors of linear representations
• Idempotents of double Burnside algebras, \(L\)-enriched bisets, and decomposition of \(p\)-biset functors
• Borel-Smith functions and the Dade group
• scientific article; zbMATH DE number 1522522
• The functor of units of Burnside rings for \(p\)-groups
• Unit groups of representation rings and their ghost rings as inflation functors

Cites work

• Biset functors and genetic sections for p-groups
• Biset functors for finite groups
• Detection theorems for K-theory and L-theory
• Galois Groups and Fundamental Groups
• scientific article; zbMATH DE number 3294681 (Why is no real title available?)
• Rational \(p\)-biset functors
• Realisierung von Darstellungen endlicher nilpotenter Gruppen. (Realization of representations of finite-dimensional nilpotent groups)
• Rhetorical biset functors, rational \(p\)-biset functors and their semisimplicity in characteristic zero
• Set functors equipped with a double action
• The Dade group of (almost) extraspecial \(p\)-groups.
• The Dade group of a \(p\)-group.
• The functor of rational representations for \(p\)-groups.
• The functor of units of Burnside rings for \(p\)-groups
• Torsion endo-trivial modules

Cited in

(2)

• The functor of rational representations for \(p\)-groups.
• \(K\)-theory, genotypes, and biset functors

Describes a project that uses

Uses Software

• GAP

This page was built for publication: The Roquette category of finite \(p\)-groups

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