pith. sign in

arxiv: 2505.15150 · v2 · pith:ZJ46TIWCnew · submitted 2025-05-21 · 🧮 math.RT · math.GR· math.KT

p-Biset Functor of Monomial Burnside Rings

\.Ibrahim Kaan Aslan , Olcay Co\c{s}kun This is my paper

Pith reviewed 2026-05-22 14:27 UTC · model grok-4.3

classification 🧮 math.RT math.GRmath.KT
keywords monomial Burnside ringsbiset functorscomposition factorsp-groupsrestriction kernelssimple modulesAut(H)characteristic zero
0
0 comments X

The pith

The monomial Burnside biset functor over a field of characteristic zero has composition factors whose minimal groups are cyclic p-groups or direct products of a cyclic p-group with a cyclic group of order p, together with identified simpleC

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper gives explicit descriptions of the restriction kernels of the monomial Burnside biset functor at every finite p-group over a field of characteristic zero. It then determines the complete list of composition factors of this functor. A sympathetic reader would care because full classifications of composition factors for biset functors are uncommon and this supplies one concrete case. The factors turn out to live only at minimal groups of two specific forms, with particular simple modules over the group algebra of the automorphism group appearing as their evaluations.

Core claim

We investigate the structure of the monomial Burnside biset functor over a field of characteristic zero, with particular focus on its restriction kernels. For each finite p-group G, we give an explicit description of the restriction kernel at G, and determine the complete list of composition factors of the functor. We prove that these composition factors have minimal groups H isomorphic either to a cyclic p-group or to a direct product of such a group with a cyclic group of order p. Furthermore, we identify the simple C[Aut(H)]-modules that appear as evaluations of these composition factors at their minimal groups.

What carries the argument

The monomial Burnside biset functor together with its restriction kernels in the category of p-biset functors.

Load-bearing premise

The standard definition and properties of the monomial Burnside biset functor and its restriction maps hold for p-groups over a field of characteristic zero.

What would settle it

A composition factor whose minimal group is neither a cyclic p-group nor a direct product of a cyclic p-group with a cyclic group of order p, or whose evaluation at the minimal group is not one of the identified simple C[Aut(H)]-modules, would falsify the claimed list.

read the original abstract

We investigate the structure of the monomial Burnside biset functor over a field of characteristic zero, with particular focus on its restriction kernels. For each finite \( p \)-group \( G \), we give an explicit description of the restriction kernel at \( G \), and determine the complete list of composition factors of the functor. We prove that these composition factors have minimal groups \( H \) isomorphic either to a cyclic \( p \)-group or to a direct product of such a group with a cyclic group of order \( p \). Furthermore, we identify the simple \( \mathbb{C}[\Aut(H)] \)-modules that appear as evaluations of these composition factors at their minimal groups. Explicit classifications of composition factors for biset functors are rare, and our results provide one of the few complete examples of such classifications.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript studies the monomial Burnside biset functor over a field of characteristic zero. For each finite p-group G it supplies an explicit description of the restriction kernel at G via direct computation on generators, and it determines the complete list of composition factors of the functor. The composition factors are shown to have minimal groups H isomorphic to a cyclic p-group or to C_{p^k} × C_p; the corresponding simple C[Aut(H)]-modules are identified by evaluating the functor at these minimal groups and verifying irreducibility under the Aut action. The proofs proceed by induction on group order and rely on the standard axioms of biset functors together with semisimplicity of group algebras in characteristic zero.

Significance. If the explicit kernel descriptions and the classification of composition factors hold, the work supplies one of the few complete, explicit classifications of composition factors for any biset functor. Such classifications remain rare; the paper therefore furnishes a concrete, fully worked example in the setting of monomial Burnside rings for p-groups and advances the structural theory of these functors.

minor comments (3)
  1. [Section introducing restriction kernels] §2 (or the section introducing the monomial Burnside ring): the generators of the monomial Burnside ring at a general p-group G are used to compute the restriction kernel, but the precise linear dependence relations among these generators are not displayed for a small non-cyclic example such as the dihedral group of order 8; adding one such concrete matrix would make the kernel description easier to verify.
  2. [Composition-factor classification] The statement that the evaluations at minimal groups are simple C[Aut(H)]-modules is asserted after checking irreducibility; a short table listing the dimension of each such simple module for the first few cyclic and C_{p^k}×C_p groups would help the reader confirm the count of composition factors.
  3. [Preliminaries on biset functors] A reference to the precise theorem on semisimplicity of C[Aut(H)] that is invoked when the characteristic-zero hypothesis is used would be useful, even if it is standard.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful and positive report on our manuscript concerning the p-biset functor of monomial Burnside rings. The summary accurately captures the main results on restriction kernels and the classification of composition factors, and we are gratified by the assessment of its significance as one of the few explicit classifications available. The recommendation for minor revision is noted; we will incorporate any editorial or presentational improvements in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper derives explicit restriction kernels at each p-group G via direct computation on generators of the monomial Burnside ring and classifies composition factors by induction on group order. Minimal groups H (cyclic p-groups or C_{p^k} × C_p) are identified from the vanishing of restriction maps when |H| is minimal for a given simple module, with evaluations yielding irreducible C[Aut(H)]-modules. These steps rest solely on standard biset functor axioms, restriction maps in the p-group category, and semisimplicity of group algebras in characteristic zero. No load-bearing step reduces by construction to a fitted input, self-definition, or unverified self-citation chain; the central claims are independently verifiable from the functorial properties.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard definitions and properties of biset functors and monomial Burnside rings from prior literature in representation theory; no new free parameters, invented entities, or ad-hoc axioms are evident from the abstract.

axioms (1)
  • domain assumption The monomial Burnside biset functor satisfies the usual axioms of biset functors over a field of characteristic zero.
    Invoked implicitly when describing restriction kernels and composition factors for p-groups.

pith-pipeline@v0.9.0 · 5679 in / 1353 out tokens · 68972 ms · 2026-05-22T14:27:51.628051+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    Barker, Fibred permutation sets and the idempotents and units of monomial Burnside rings, Journal of Algebra, 281 (2) (2004), 535-566

    L. Barker, Fibred permutation sets and the idempotents and units of monomial Burnside rings, Journal of Algebra, 281 (2) (2004), 535-566

    work page 2004

  2. [2]

    Bidwell and M.J

    J.T.S. Bidwell and M.J. Curran, Automorphisms of finite abelian groups, Math- ematical Proceedings of the Royal Irish Academy, Vol. 110A, No 1 (2010) 57-71

    work page 2010

  3. [3]

    Boltje, A Canonical Brauer Induction Formula, Asterisque, 181-182 (1990), 31-59

    R. Boltje, A Canonical Brauer Induction Formula, Asterisque, 181-182 (1990), 31-59

    work page 1990

  4. [4]

    Boltje, Representation rings of finite groups, their species, and idempotent formulae, preprint, (2001)

    R. Boltje, Representation rings of finite groups, their species, and idempotent formulae, preprint, (2001)

    work page 2001

  5. [5]

    Boltje, O

    R. Boltje, O. Co¸ skun, Fibered biset functors , Advances in Mathematics, 339 (2018), 540-598

    work page 2018

  6. [6]

    Boltje, O

    R. Boltje, O. Co¸ skun, C ¸ . Karag¨ uzel,The functor of trivial source modules , preprint

    work page

  7. [7]

    Boltje, D

    R. Boltje, D. Yılmaz, A-fibered Burnside Ring as A-fibered Biset Functor in Characteristic Zero, Algebras and Representation Theory, 24 (5) (2021), 1359- 1385

    work page 2021

  8. [8]

    Bouc, Foncteurs d’ensembles munis d’une double action , Journal of Algebra 183 (1996), 664-736

    S. Bouc, Foncteurs d’ensembles munis d’une double action , Journal of Algebra 183 (1996), 664-736

    work page 1996

  9. [9]

    Bouc, Biset functors for finite groups , volume 1990 of Lecture Notes in Mathematics, Springer, 2010

    S. Bouc, Biset functors for finite groups , volume 1990 of Lecture Notes in Mathematics, Springer, 2010

    work page 1990

  10. [10]

    Bouc, Idempotents of double Burnside algebras, L-enriched bisets, and de- composition of p-biset functors, Journal of Algebra 504 (2018) 129-175

    S. Bouc, Idempotents of double Burnside algebras, L-enriched bisets, and de- composition of p-biset functors, Journal of Algebra 504 (2018) 129-175

    work page 2018

  11. [11]

    Bouc, Some Simple Biset Fucntors , Journal of Group Theory, 26 (2023), 1-27

    S. Bouc, Some Simple Biset Fucntors , Journal of Group Theory, 26 (2023), 1-27

    work page 2023

  12. [12]

    S. Bouc, J. Th´ evenaz The group of endo-permutation modules , Inventiones Mathematicae, 139 (2000), 275-349

    work page 2000

  13. [13]

    Co¸ skun, D

    O. Co¸ skun, D. Yılmaz,Fibered p-biset functor structure of the fibered Burnside Rings, Algebras and Representation Theory, 22 (1) (2019), 21-41

    work page 2019

  14. [14]

    Dokchitser, GroupNames - G = C2 × He3 ⋊ C2, https://people.maths

    T. Dokchitser, GroupNames - G = C2 × He3 ⋊ C2, https://people.maths. bris.ac.uk/~matyd/GroupNames/97/C2xHe3sC2.html

    work page

  15. [15]

    Dress, The ring of monomial representations I

    A. Dress, The ring of monomial representations I. Structure Theory , Journal of Algebra, 18 (1971), 137-157 47

    work page 1971

  16. [16]

    Piatetski-Shapiro, Complex Representations of GL(2, K) for Finite Fields K, Contemporary Mathematics, Volume 16, American Mathematical Society, 1983

    I. Piatetski-Shapiro, Complex Representations of GL(2, K) for Finite Fields K, Contemporary Mathematics, Volume 16, American Mathematical Society, 1983

    work page 1983

  17. [17]

    Snaith, Explicit Brauer Induction, Inventiones Mathematicae, 94 (1988), 455-478

    V.P. Snaith, Explicit Brauer Induction, Inventiones Mathematicae, 94 (1988), 455-478

    work page 1988

  18. [18]

    Symonds, A Splitting Principle for Group Representations , Commentarii Mathematici Helvetici, 66 (1991), 169-184

    P. Symonds, A Splitting Principle for Group Representations , Commentarii Mathematici Helvetici, 66 (1991), 169-184. 48

    work page 1991