---
title: Source Permutation Module in Block Theory
url: https://www.emergentmind.com/topics/source-permutation-module
type: topic
---

# Source Permutation Module in Block Theory

Searching arXiv for recent and foundational papers on source permutation modules and closely related permutation-module literature.
In modular representation theory, the **source permutation module** is a block-local refinement of the Sylow permutation module. For a finite group \(G\), a field \(k\) of prime characteristic \(p\), a block \(B\) of \(kG\) with defect group \(P\), and a source idempotent \(i\in B^P\), it is defined by
\[
Bi\otimes_{kP}k.
\]
The notion was introduced to isolate the part of the block Sylow permutation module that is controlled by the defect group and that remains stable under splendid equivalences. In this form, it serves as the “correct block-theoretic analogue” of the Sylow permutation module \(\mathrm{Ind}_S^G(k)=kG\otimes_{kS}k\), while retaining links to weights, Green correspondence, and endomorphism algebras [2507.15125].

## 1. Definition and block-theoretic origin

A permutation module for a finite group is, in the standard sense, a \(kG\)-module of the form \(kX\) for a finite \(G\)-set \(X\), equivalently a finite direct sum of modules \(k(G/H)\) for subgroups \(H\leq G\) [2003.04373]. The classical modular object relevant here is the **Sylow permutation module**
\[
\Ind_S^G(k)=kG\otimes_{kS}k,
\]
where \(S\) is a Sylow \(p\)-subgroup of \(G\) [2507.15125].

Because \(kG\) decomposes into blocks, the Sylow permutation module decomposes as
\[
kG\otimes_{kS}k \;\cong\; \bigoplus_B B\otimes_{kS}k,
\]
with \(B\) ranging over the blocks of \(kG\). The modules \(B\otimes_{kS}k\) are natural block summands, but they are **not invariant under splendid Morita equivalence**. This failure is the immediate motivation for passing from the block algebra to its source algebra data [2507.15125].

If \(B\) has defect group \(P\) and \(i\in B^P\) is a source idempotent, the source permutation module is defined by
\[
Bi\otimes_{kP}k.
\]
The construction is formulated in the language of source algebras and defect pointed groups: \(i\) is a primitive idempotent in the fixed-point algebra \(B^P\), and the tensor product uses the trivial \(kP\)-module. A basic structural fact is that the isomorphism class of \(Bi\otimes_{kP}k\) does **not** depend on the choice of \(P\) or of \(i\), provided \(i\) comes from a defect pointed group of \(B\) [2507.15125].

## 2. Relation to source algebras and the Sylow permutation module

Let
\[
A=iBi
\]
be the source algebra of \(B\). The canonical Morita equivalence between \(B\) and \(A\) identifies the endomorphism algebra of the source permutation module with the corresponding endomorphism algebra over the source algebra:
\[
\End_B(Bi\otimes_{kP}k)\;\cong\;\End_A(A\otimes_{kP}k).
\]
This makes \(\End_B(Bi\otimes_{kP}k)\) a **source-algebra invariant**, and hence a much better behaved block invariant than the raw block component \(B\otimes_{kS}k\) [2507.15125].

The relation with the Sylow permutation module is precise. If \(k\) is large enough, namely a splitting field for the relevant source algebra, then
\[
Bi\otimes_{kP}k
\]
is isomorphic to a direct summand of
\[
B\otimes_{kS}k.
\]
More sharply, every indecomposable summand of \(B\otimes_{kS}k\) with vertex \(P\) is already a summand of \(Bi\otimes_{kP}k\). In that sense, the source permutation module captures exactly the **full-vertex part** of the block Sylow permutation module [2507.15125].

There is also a Brauer-correspondent control statement. If \(C\) denotes the Brauer correspondent of \(B\) in \(N_G(P)\), and \(j\in C^P\) is a source idempotent, then \(Bi\otimes_{kP}k\) is a direct summand of
\[
\Ind_{N_G(P)}^G(Cj\otimes_{kP}k).
\]
This places the source permutation module within the usual local-global architecture of block theory [2507.15125].

## 3. Weights, Green correspondence, and internal structure

One of the main reasons the source permutation module is useful is that it retains the classical “weight” content of the Sylow permutation module. A principal theorem states that **every Green correspondent of a \(B\)-weight is a direct summand of \(Bi\otimes_{kP}k\)**. Consequently, the source permutation module contains at least \(w(B)\) non-isomorphic indecomposable summands, where \(w(B)\) is the number of \(B\)-weights [2507.15125].

At the same time, the module is controlled on the projective side. The paper proves that \(Bi\otimes_{kP}k\) has **no nonzero projective direct summand**. It also proves that every simple \(B\)-module appears both as a quotient and as a submodule of \(Bi\otimes_{kP}k\). This gives the module simultaneous access to the top and the socle of the block [2507.15125].

A common misconception is that the block component \(B\otimes_{kS}k\) already provides the correct block-local replacement for the Sylow permutation module. The introduction of \(Bi\otimes_{kP}k\) shows that this is not the relevant invariant: the raw block summand is natural, but it is not preserved by splendid Morita equivalence, whereas the source permutation module is constructed precisely to rectify that defect [2507.15125].

## 4. Invariance under splendid equivalence and the self-injectivity problem

The central structural theorem is its invariance under splendid equivalence. If \(B\) and \(C\) are blocks with defect groups \(P\) and \(Q\), and a \(B\)-\(C\)-bimodule \(M\) induces a **splendid stable equivalence of Morita type**, then
\[
Bi\otimes_{kP}k
\]
is the **non-projective part** of
\[
M\otimes_C(Cj\otimes_{kQ}k)\cong Mj\otimes_{kQ}k,
\]
with \(i\) and \(j\) source idempotents for \(B\) and \(C\). If the equivalence is in fact a splendid Morita equivalence, then the source permutation modules correspond directly [2507.15125].

This invariance is the basis for the paper’s treatment of endomorphism algebras. A key theorem states that if the endomorphism algebra of the full Sylow permutation module is self-injective, then so is
\[
\End_B(Bi\otimes_{kP}k).
\]
The converse is not asserted in this form, but the source permutation module is the object for which self-injectivity interacts well with local structure and splendid equivalences [2507.15125].

The same framework yields consequences for Alperin’s weight conjecture. Using the facts that Green correspondents of weights occur as summands and that every simple \(B\)-module occurs in the top and socle, the paper derives
\[
\ell(B)\ge w(B).
\]
Under additional splendid stable equivalence hypotheses, self-injectivity of \(\End_B(Bi\otimes_{kP}k)\) forces
\[
\ell(B)=w(B),
\]
that is, Alperin’s weight conjecture for \(B\) [2507.15125].

## 5. Computed families and explicit cases

The source permutation module can be calculated explicitly in several important defect types. The resulting endomorphism algebras are notably better behaved than those of the full Sylow permutation module.

| Defect type / case | Endomorphism algebra of \(\End_B(Bi\otimes_{kP}k)\) | Consequence |
|---|---|---|
| Cyclic defect group | Direct product of self-injective Nakayama algebras | Self-injective |
| Klein four defect group | \(k\), or \(k\times k\times k\), or \(k\times N\) | Self-injective |
| Certain symmetric-group blocks | Better behaved than \(\End(kG\otimes_{kS}k)\) in the cited cases | Motivates block refinement |

For blocks with cyclic defect group \(P\), the paper proves that
\[
\End_B(Bi\otimes_{kP}k)
\]
is a direct product of self-injective Nakayama algebras. This yields self-injectivity uniformly in that family [2507.15125].

For blocks with defect group \(P\cong V_4\) in characteristic \(2\), the endomorphism algebra is shown to be one of
\[
k,\qquad k\times k\times k,\qquad k\times N,
\]
where \(N\) is a \(4\)-dimensional basic Nakayama algebra with two simple modules and projective indecomposables of length \(2\). In every case it is self-injective. The paper also stresses that replacing the source permutation module by a Heller translate can destroy self-injectivity, which underscores that the exact module \(Bi\otimes_{kP}k\) is the relevant object [2507.15125].

For symmetric groups, the source permutation module is studied partly in response to a question of Diaconis–Giannelli–Guralnick–Law–Navarro–Sambale–Spink. When \(n=p\) and the principal block has cyclic defect, the source permutation module is the non-projective part of the Sylow permutation module for \(p\le 5\), but not in general. For \(p\ge 7\), the full endomorphism algebra of \(kS_n\otimes_{kS}k\) is **not self-injective**; an explicit \(S_7\) example exhibits this failure. The source permutation module is introduced precisely as the better block invariant in such situations [2507.15125].

## 6. Position within the theory of permutation modules

The source permutation module belongs to the broader theory of permutation modules, but it is more specific than the usual linearization \(kX\) of a finite \(G\)-set. In the general modular setting, permutation modules generate large parts of representation theory: every modular representation becomes, after adding a suitable complement, the endpoint of a finite exact complex of permutation modules [2003.04373]. In tensor-triangular geometry, finitely generated permutation modules form the category \(\mathrm{perm}(G;k)\), and their direct summands are the **\(p\)-permutation modules** or **trivial source modules** [2210.08311].

This context helps clarify the role of \(Bi\otimes_{kP}k\). It is not merely another permutation module attached to a \(G\)-set, but a block-theoretic object extracted from a source algebra and a defect pointed group. A plausible implication is that its significance comes from combining two layers of structure that are usually treated separately: the combinatorics of permutation modules and the local structure of blocks. The 2025 construction makes that combination explicit by showing that the block-level replacement for \(\Ind_S^G(k)\) should be formed at the source-algebra level rather than at the level of the block summand \(B\otimes_{kS}k\) [2507.15125].

In that sense, the source permutation module is best viewed as a local-global bridge. It is local through the defect group \(P\) and source idempotent \(i\); global through its recovery of weights, its interaction with induction from Brauer correspondents, and its control of block invariants such as self-injectivity and weight counts.

Source: https://www.emergentmind.com/topics/source-permutation-module