Induction formulae for Mackey functors with applications to representations of the twisted quantum double of a finite group (Q403107): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The paper under review studies Mackey functors and provides more methods for calculating them in certain cases. The induction theorems for these functors show how algebraic invariants of finite groups can be computed from the corresponding invariants of families of subgroups. The main object of study are the low and upper plus functors that are introduced in [\textit{R. Boltje}, J. Algebra 206, No. 1, 293--343, Art. No. JA987419 (1998; Zbl 0913.20001)]. The splitting theorem is given for the low plus functors from the restriction functors to Mackey functors that is an adjoint of the forgetful functor. Let \(A\) be a Mackey functor to abelian groups. Let \({\mathcal G}_A(H)\) free abelian group on the set of \(K\)-orbits of elements of bases of \(A(K)\), \(K \leq H\). Let \(N_H(K, {\sigma})\) consist of elements of \(H\) that conjugate the element of the base to itself and \(W_H(K, {\sigma}) = N_H(K, {\sigma})/K\). Let the obstruction group \(\text{Obs}_A(H)\) be the direct sum of the finite groups \(\mathbb{Z}|W_H(K, {\sigma})|\mathbb{Z}\), \(K \leq H\). Then \(A_+(H)\) is the kernel of the natural projection map. For applications, the author presents an alternative proof of Boltje's integrality result for canonical induction formulae, and show an integrality condition for the crossed Mackey functors. Also, he proves a canonical induction of the quantum double of the group \(D^{\omega}(G)\). That is a quasi-triangular, quasi-Hopf algebra with underlying vector space \((FG)^*{\otimes}_FFG\) for an algebraically closed field \(F\). Here \(\omega\) is a \(3\)-cocylce with values in \(\mathbb{C}^{\times}\). It was shown first that the functor \(RD^{\omega}(G)\) is a Mackey functor and present a canonical choice of Brauer's induction theorem on representations of \(D^{\omega}(G)\). | |||
Property / review text: The paper under review studies Mackey functors and provides more methods for calculating them in certain cases. The induction theorems for these functors show how algebraic invariants of finite groups can be computed from the corresponding invariants of families of subgroups. The main object of study are the low and upper plus functors that are introduced in [\textit{R. Boltje}, J. Algebra 206, No. 1, 293--343, Art. No. JA987419 (1998; Zbl 0913.20001)]. The splitting theorem is given for the low plus functors from the restriction functors to Mackey functors that is an adjoint of the forgetful functor. Let \(A\) be a Mackey functor to abelian groups. Let \({\mathcal G}_A(H)\) free abelian group on the set of \(K\)-orbits of elements of bases of \(A(K)\), \(K \leq H\). Let \(N_H(K, {\sigma})\) consist of elements of \(H\) that conjugate the element of the base to itself and \(W_H(K, {\sigma}) = N_H(K, {\sigma})/K\). Let the obstruction group \(\text{Obs}_A(H)\) be the direct sum of the finite groups \(\mathbb{Z}|W_H(K, {\sigma})|\mathbb{Z}\), \(K \leq H\). Then \(A_+(H)\) is the kernel of the natural projection map. For applications, the author presents an alternative proof of Boltje's integrality result for canonical induction formulae, and show an integrality condition for the crossed Mackey functors. Also, he proves a canonical induction of the quantum double of the group \(D^{\omega}(G)\). That is a quasi-triangular, quasi-Hopf algebra with underlying vector space \((FG)^*{\otimes}_FFG\) for an algebraically closed field \(F\). Here \(\omega\) is a \(3\)-cocylce with values in \(\mathbb{C}^{\times}\). It was shown first that the functor \(RD^{\omega}(G)\) is a Mackey functor and present a canonical choice of Brauer's induction theorem on representations of \(D^{\omega}(G)\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Stratos Prassidis / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 19A22 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16G30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20C25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57T05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16S35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6335820 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Brauer's induction theorem | |||
Property / zbMATH Keywords: Brauer's induction theorem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Burnside ring | |||
Property / zbMATH Keywords: Burnside ring / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Green functor | |||
Property / zbMATH Keywords: Green functor / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
representation ring | |||
Property / zbMATH Keywords: representation ring / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Mackey functor | |||
Property / zbMATH Keywords: Mackey functor / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
plus construction | |||
Property / zbMATH Keywords: plus construction / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
twin functor | |||
Property / zbMATH Keywords: twin functor / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
twisted group algebra | |||
Property / zbMATH Keywords: twisted group algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
twisted quantum double | |||
Property / zbMATH Keywords: twisted quantum double / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2014.03.017 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2000058780 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3050437 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The representation theory of fully group-graded algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5749457 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A general theory of canonical induction formulae / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hochschild Constructions for Green Functors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The \(p\)-blocks of the Mackey algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Artin's L-series with general group characters / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Beziehungen zwischen Klassenzahlen von Teilkörpern eines galoisschen Körpers. Herrn Professor Dr. Erhard Schmidt in dankbarer Verehrung zum 75. Geburtstag / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mackey functors, induction from restriction functors and coinduction from transfer functors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Tate cohomology sequence for generalized Burnside rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4724810 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The equivalence of various generalizations of group rings and modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transformation groups and representation theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi Hopf algebras, group cohomology and orbifold models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The ring of monomial representations. I: Structure theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4097455 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Braided compact closed categories with applications to low dimensional topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Idempotent formula for the Burnside algebra with applications to the \(p\)-subgroup simplicial complex. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Axiomatic representation threory for finite groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized Burnside rings and group cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Brauer ring of a field / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3684285 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4317887 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3804915 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4891334 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Group cohomology and gauge equivalence of some twisted quantum doubles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Structure of the Brauer ring of a field extension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Crossed Burnside rings and Bouc's construction of Green functors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Crossed Burnside rings. I: The fundamental theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Crossed Burnside rings. II: The Dress construction of a Green functor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The crossed Burnside rings. III: The Dress construction for a Tambara functor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pointed groups and construction of modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Explicit Brauer induction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multiple Burnside rings and Brauer induction formulae / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some remarks on G-functors and the Brauer morphism. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The ring of equivariant vector bundles on finite sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The representation ring of the quantum double of a finite group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Representation Ring of the Twisted Quantum Double of a Finite Group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: TOPOLOGICAL QUANTUM FIELD THEORIES ASSOCIATED TO FINITE GROUPS AND CROSSED G-SETS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On G-functors. I: Transfer theorems for cohomological G-functors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Idempotents of Burnside rings and Dress induction theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the unit groups of Burnside rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The generalized Burnside ring of a finite group / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 23:44, 8 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Induction formulae for Mackey functors with applications to representations of the twisted quantum double of a finite group |
scientific article |
Statements
Induction formulae for Mackey functors with applications to representations of the twisted quantum double of a finite group (English)
0 references
29 August 2014
0 references
The paper under review studies Mackey functors and provides more methods for calculating them in certain cases. The induction theorems for these functors show how algebraic invariants of finite groups can be computed from the corresponding invariants of families of subgroups. The main object of study are the low and upper plus functors that are introduced in [\textit{R. Boltje}, J. Algebra 206, No. 1, 293--343, Art. No. JA987419 (1998; Zbl 0913.20001)]. The splitting theorem is given for the low plus functors from the restriction functors to Mackey functors that is an adjoint of the forgetful functor. Let \(A\) be a Mackey functor to abelian groups. Let \({\mathcal G}_A(H)\) free abelian group on the set of \(K\)-orbits of elements of bases of \(A(K)\), \(K \leq H\). Let \(N_H(K, {\sigma})\) consist of elements of \(H\) that conjugate the element of the base to itself and \(W_H(K, {\sigma}) = N_H(K, {\sigma})/K\). Let the obstruction group \(\text{Obs}_A(H)\) be the direct sum of the finite groups \(\mathbb{Z}|W_H(K, {\sigma})|\mathbb{Z}\), \(K \leq H\). Then \(A_+(H)\) is the kernel of the natural projection map. For applications, the author presents an alternative proof of Boltje's integrality result for canonical induction formulae, and show an integrality condition for the crossed Mackey functors. Also, he proves a canonical induction of the quantum double of the group \(D^{\omega}(G)\). That is a quasi-triangular, quasi-Hopf algebra with underlying vector space \((FG)^*{\otimes}_FFG\) for an algebraically closed field \(F\). Here \(\omega\) is a \(3\)-cocylce with values in \(\mathbb{C}^{\times}\). It was shown first that the functor \(RD^{\omega}(G)\) is a Mackey functor and present a canonical choice of Brauer's induction theorem on representations of \(D^{\omega}(G)\).
0 references
Brauer's induction theorem
0 references
Burnside ring
0 references
Green functor
0 references
representation ring
0 references
Mackey functor
0 references
plus construction
0 references
twin functor
0 references
twisted group algebra
0 references
twisted quantum double
0 references
0 references
0 references