Trivial Source Ring in Modular Representation Theory

• Trivial source ring is the Grothendieck ring generated by trivial source (p‑permutation) modules that models the direct-sum and tensor-product structures in modular representation theory.
• It is characterized by coherent local character systems where Brauer constructions and species maps capture local invariants and primitive idempotents via Möbius–Brauer inversion.
• Its explicit computation through species tables, especially for groups like SL₂(q), and blockwise refinements underlie applications in block equivalence theory and modular character realization.

Searching arXiv for recent and foundational papers on the representation-theoretic trivial source ring and related species/idempotent results. In modular representation theory, the trivial source ring is the Grothendieck ring generated by trivial source modules—equivalently $p$-permutation modules—of a finite group. It packages, in a single commutative ring, the direct-sum and tensor-product structure of those modules that are built from permutation sources and are stable under the standard local operations of modular representation theory. Modern work has made this ring increasingly explicit: it can be described by coherent systems of local characters, its primitive idempotents admit Möbius–Brauer inversion formulas, its orthogonal unit group decomposes into Burnside-theoretic and character-theoretic factors, its image in the ring of $p$-rational characters is now understood, and for families such as $\mathrm{SL}_2(q)$ its species tables have been computed in closed form (Boltje et al., 2022, Barker, 2018, McHugh, 2020, Böhmler et al., 2021, Farrell et al., 2022, McHugh, 2023).

1. Definition and basic structure

Let $G$ be a finite group, $p$ a prime, and let $F$ be a field of characteristic $p$, or $(K,\mathcal O,F)$ a $p$-modular system. A finitely generated module is called a trivial source module if every indecomposable direct summand has trivial source; equivalently, in the formulations used in the literature, it is a $p$-permutation module, or a direct summand of a permutation module. The trivial source ring is the corresponding Grothendieck ring: addition is induced by direct sum and multiplication by tensor product. In characteristic $p$0 this is written $p$1, while over $p$2 one writes $p$3 or $p$4 (Barker, 2018, Boltje et al., 2022).

More explicitly, for trivial source modules $p$5,

$p$6

Krull–Schmidt yields a distinguished $p$7-basis indexed by indecomposable trivial source modules. In the $p$8-setting, reduction modulo $p$9 induces an isomorphism

$\mathrm{SL}_2(q)$0

preserving the standard basis and the vertices of indecomposable modules (Boltje et al., 2022). This makes the $\mathrm{SL}_2(q)$1- and $\mathrm{SL}_2(q)$2-forms interchangeable for many structural purposes.

The ring is often regarded as a modular analogue of the Burnside ring. That analogy is precise at several points: for $\mathrm{SL}_2(q)$3-groups, all indecomposable trivial source modules are permutation modules, so $\mathrm{SL}_2(q)$4 for a $\mathrm{SL}_2(q)$5-group $\mathrm{SL}_2(q)$6; more generally, many of the structural maps on the trivial source ring behave like modular refinements of Burnside-ring marks (Boltje et al., 2022, Barker, 2018).

Notation	Coefficients	Object
$\mathrm{SL}_2(q)$7	field $\mathrm{SL}_2(q)$8 of characteristic $\mathrm{SL}_2(q)$9	Grothendieck ring of trivial source $G$0-modules
$G$1, $G$2	DVR $G$3 in a $G$4-modular system	Grothendieck ring of trivial source $G$5-modules
$G$6	a block $G$7 of $G$8	Grothendieck group of trivial source modules in $G$9

For a fixed block $p$0, the block summand $p$1 is usually treated additively rather than multiplicatively, because tensor product does not in general stay inside a fixed block (McHugh, 2023).

2. Character-theoretic realization by coherent tuples

A decisive structural theorem identifies the trivial source ring with a ring of local character data subject to a coherence relation. For each $p$2-subgroup $p$3, let $p$4 be the quotient normalizer, and consider the product

$p$5

Boltje–Carman’s map

$p$6

sends a class $p$7 to the tuple of ordinary characters of the Brauer constructions $p$8. The central theorem states that $p$9 is injective and that its image consists exactly of the $F$0-stable tuples $F$1 satisfying the coherence condition

$F$2

for every $F$3 and every $F$4, where $F$5 denotes the $F$6-part of $F$7 (Boltje et al., 2022).

This description has a concrete interpretation. A class in the trivial source ring is determined by the ordinary characters of all of its Brauer constructions, but those local characters are not independent: they must agree when one passes from $F$8 to the larger subgroup $F$9. The trivial source ring is therefore a ring of coherent local character systems.

The same paper also introduces a species, or ghost-type, embedding

$p$0

obtained by evaluating the tuple $p$1 at $p$2-elements $p$3 of $p$4. This is the direct analogue of evaluating a Burnside element at subgroup marks, but now refined by Brauer characters on quotient normalizers (Boltje et al., 2022).

3. Canonical bases, species, and primitive idempotents

After scalar extension to characteristic $p$5, the trivial source ring becomes particularly tractable. Let $p$6. Barker introduces a canonical $p$7-basis indexed by pairs $p$8, where $p$9 is a $(K,\mathcal O,F)$0-subgroup and $(K,\mathcal O,F)$1, with

$(K,\mathcal O,F)$2

via the modules

$(K,\mathcal O,F)$3

where $(K,\mathcal O,F)$4 is the indecomposable projective $(K,\mathcal O,F)$5-module with simple head of Brauer character $(K,\mathcal O,F)$6. The classes $(K,\mathcal O,F)$7 form a $(K,\mathcal O,F)$8-basis of $(K,\mathcal O,F)$9 (Barker, 2018).

Primitive idempotents of $p$0 are indexed by pairs $p$1, where $p$2 is a $p$3-subgroup and $p$4 is a $p$5-conjugacy class of a $p$6-element of $p$7. Writing $p$8 for the associated species, one has a decomposition

$p$9

The main inversion formula expresses $p$0 in the canonical basis: $p$1 Here $p$2 is the Möbius function of the fixed-point poset of $p$3-subgroups normalized by $p$4 (Barker, 2018).

This formula is the modular analogue of the Gluck–Yoshida inversion formula for the Burnside ring. It shows that primitive idempotents are controlled by a blend of subgroup combinatorics and the modular character theory of all local quotient normalizers $p$5. A further restriction is provided by the Frattini-subgroup lemma: if $p$6, then

$p$7

so the idempotent expansion is supported only on a narrow interval inside the $p$8-subgroup lattice (Barker, 2018).

4. Units and the image in character rings

The involution induced by $p$9-duality,

$p$00

defines the orthogonal unit group

$p$01

Its structure admits a direct product decomposition. If $p$02 is a Sylow $p$03-subgroup and $p$04 is the fusion system of $p$05, then

$p$06

The second factor consists of $p$07-stable coherent tuples of local linear characters, satisfying the same type of coherence condition that appears in the character-tuple description of the ring itself. This group embeds into the group of $p$08-permutation autoequivalences of $p$09, which explains its role in block and equivalence theory (Boltje et al., 2022).

A different global invariant is the scalar-extension map

$p$10

Its image is generated by monomial $p$11-rational characters: $p$12 The cokernel is completely understood. If $p$13, then $p$14 is surjective for every finite group. If $p$15, then the cokernel is a finite-dimensional $p$16-vector space, and functorially it is uniserial: $p$17 Its generators are the quaternionic classes $p$18 attached to generalized quaternion groups $p$19, and non-surjectivity can occur only if a Sylow $p$20-subgroup has a subquotient isomorphic to $p$21 (McHugh, 2020). Thus the only obstruction to realizing all $p$22-rational characters from trivial source modules is genuinely quaternionic.

5. Species tables for $p$23

For $p$24, the trivial source ring has been made explicit through the computation of its species table, or trivial source character table, denoted $p$25. This table records the values of all species

$p$26

on the basis of indecomposable trivial source modules. Equivalently, it is the matrix of the isomorphism

$p$27

with respect to the basis indexed by indecomposable trivial source modules (Böhmler et al., 2021).

For odd $p$28, these tables were computed in the cases where $p$29 is odd, $p$30 for odd $p$31, and $p$32 when $p$33 (Böhmler et al., 2021). For even $p$34, the cross-characteristic cases $p$35 and $p$36 were later computed, thereby completing the even-$p$37 family (Farrell et al., 2022).

In the cyclic-defect cases, the species table has a rigid block form

$p$38

where rows are grouped by vertex and columns by the conjugacy classes of $p$39-subgroups $p$40. A universal vanishing pattern holds: $p$41 This reflects the basic fact that $p$42 unless $p$43 is contained in a vertex of $p$44. In the even-$p$45 cases the local blocks stabilize further. If $p$46, then

$p$47

while if $p$48, then

$p$49

(Farrell et al., 2022).

These formulas expose the local structure of the ring. The first block column $p$50 is determined by ordinary character values of the trivial source lifts on $p$51-elements of $p$52. The higher blocks $p$53 are determined by the Brauer quotients, equivalently by Green correspondents in quotient normalizers. In the $p$54-modular cases for $p$55 and $p$56, the tables also show that nonisomorphic trivial source modules may have the same ordinary character and are separated only by their nontrivial species values (Böhmler et al., 2021). The species table is therefore finer than the ordinary character list and is the appropriate linear invariant of the trivial source ring.

6. Blockwise refinements and strong isotypies

A blockwise refinement replaces the global index set of $p$57-subgroups by $p$58-Brauer pairs. For a block $p$59 of $p$60, the group $p$61 of trivial source $p$62-modules maps to

$p$63

via

$p$64

Its image is characterized by explicit coherence relations. One formulation is the condition

$p$65

for all $p$66, $p$67-elements $p$68, and $p$69 (McHugh, 2023).

After fixing a maximal Brauer pair $p$70, the same data can be reindexed by subgroups $p$71, producing an $p$72-fixed coherent tuple description, where $p$73 is the block fusion system. This defect-group form is technically cleaner and is the version used in the paper’s later applications (McHugh, 2023).

The principal application is to equivalence theory. The coherent-tuple description of $p$74, together with its twisted-diagonal bimodule analogue, provides the framework for strong isotypies. These are character-level objects indexed by local block data, and they are proved to be equivalent to $p$75-permutation equivalences. Moreover, every strong isotypy restricts to an isotypy in Broué’s sense (McHugh, 2023). In this way, the trivial source ring becomes a bridge between local character theory and global equivalences of blocks.

7. Position within modular representation theory

The trivial source ring occupies an intermediate position between the Burnside ring and the full modular representation ring. Like the Burnside ring, it is built from permutation-theoretic data and admits ghost/species maps governed by subgroup combinatorics. Unlike the Burnside ring, its local structure depends essentially on Brauer characters of quotient normalizers, on Green correspondence, and on block-theoretic invariants such as Brauer trees and fusion systems (Barker, 2018, Boltje et al., 2022).

Its modern theory combines several layers. The coherent-tuple description identifies the ring itself. The inversion formula describes its primitive idempotents. The orthogonal-unit theorem identifies a canonical subgroup relevant to $p$76-permutation autoequivalences. The map to the character ring shows that trivial source modules already account for all $p$77-rational characters when $p$78, and fail only by quaternionic obstructions when $p$79 (McHugh, 2020). Explicit species tables for $p$80 demonstrate that these structures are computable in concrete infinite families (Böhmler et al., 2021, Farrell et al., 2022).

The resulting picture is that the trivial source ring is not merely a Grothendieck ring of a convenient subcategory. It is a local-global character object, a modular table-of-marks analogue, and a natural receptacle for blockwise and equivalence-theoretic information.