Kernel of Scott modules and Brauer indecomposability

Lin Wu

Pith reviewed 2026-05-08 04:13 UTC · model grok-4.3

classification 🧮 math.RT

keywords Scott modulesBrauer indecomposabilitykernel of modulesp-local subgroupsfinite groupsmodular representationsindecomposable modules

0 comments

The pith

The kernel of a Scott kG-module determines its Brauer indecomposability via a generalized criterion, and this property lifts from p-local subgroups in certain cases.

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

The paper studies Scott modules for finite groups over an algebraically closed field of prime characteristic p. It focuses on how the kernel of such a module relates to whether the module stays indecomposable after Brauer correspondence operations. The authors extend a known criterion that ties kernel properties to this indecomposability. They further show that, under specific conditions, if the Scott module over a p-local subgroup is Brauer indecomposable, then the corresponding module over the full group inherits the property. This links local subgroup data to global module behavior without requiring full group analysis.

Core claim

Let k be an algebraically closed field of a prime characteristic p. Let G be a finite group. We investigate the Brauer indecomposability of Scott kG-modules in relation to the kernel of modules. We generalize a criterion for Brauer indecomposability. We also prove that, in certain cases, Brauer indecomposability of a Scott kG-module can be lifted from that of a Scott module over a p-local subgroup.

What carries the argument

The kernel of the Scott kG-module, which controls a generalized criterion for Brauer indecomposability and supports lifting of the indecomposability property from p-local subgroups.

Load-bearing premise

The generalized criterion and the lifting result both depend on unspecified conditions tied to the kernel or to the structure of the group and its p-local subgroups.

What would settle it

Construct a finite group G, prime p, and Scott kG-module such that the module over a p-local subgroup is Brauer indecomposable yet the full-group module is not, or where the generalized kernel criterion fails to classify indecomposability correctly.

read the original abstract

Let $k$ be an algebraically closed field of a prime characteristic $p$. Let $G$ be a finite group. We investigate the Brauer indecomposability of Scott $kG$-modules in relation to the kernel of modules. We generalize a criterion for Brauer indecomposability. We also prove that, in certain cases, Brauer indecomposability of a Scott $kG$-module can be lifted from that of a Scott module over a $p$-local subgroup.

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.

Desk Editor's Note private letter to a colleague

Wu generalizes a criterion for Brauer indecomposability of Scott modules and adds a lifting result from p-local subgroups, but the advance is incremental and the hypotheses need to be checked closely.

read the letter

The main points are a generalized criterion tying the kernel of a Scott module to its Brauer indecomposability and a lifting theorem that carries the property from a Scott module over a p-local subgroup to the full group in certain cases. The lifting part is the more practical contribution, since it lets people reduce questions about large groups to smaller p-local subgroups using the Brauer correspondence. That kind of reduction is already used in block theory, so extending it to Scott modules gives a concrete tool for checking indecomposability without full module computations. The generalization of the kernel criterion broadens the earlier statements a bit and should make it easier to apply in more situations. The paper stays within standard techniques for modular representation theory and does not introduce new machinery, which keeps the claims grounded. The soft spots are modest but real. The abstract leaves the exact hypotheses for the lifting vague, so the paper must state them clearly and early, with examples showing when they hold and when they fail. If those conditions turn out narrow, the result will feel more like a technical note than a broad advance. Novelty also looks incremental once you compare it to prior work on Scott modules and Brauer indecomposability; it refines rather than replaces existing criteria. This is written for specialists who already work with Scott modules, p-local subgroups, and the Brauer correspondence in finite group representation theory. Readers outside that niche will not get much from it. The paper deserves a serious referee because the claims are specific, the setting is standard, and the proofs can be verified directly against the literature. I would send it to peer review with the expectation that referees will tighten the hypotheses and confirm the scope of the generalization.

Referee Report

2 major / 0 minor

Summary. The paper investigates Brauer indecomposability of Scott kG-modules over an algebraically closed field k of characteristic p, focusing on their relation to the kernel of the modules. It generalizes an existing criterion for Brauer indecomposability and proves a lifting result showing that, under certain (unspecified in the abstract) conditions, Brauer indecomposability of a Scott kG-module follows from that of the corresponding Scott module over a p-local subgroup.

Significance. If the generalized criterion and lifting theorem are correctly established with explicit hypotheses and proofs, the work would extend standard techniques in modular representation theory involving Scott modules and the Brauer correspondence. This could provide useful tools for analyzing indecomposability in blocks and p-local subgroups, building on existing literature without introducing free parameters or ad-hoc axioms.

major comments (2)

The abstract states a generalization of a criterion for Brauer indecomposability but provides no explicit statement of the new criterion, its hypotheses, or how it differs from the original; this makes the central claim impossible to verify for correctness or novelty without the body of the paper.
The lifting result is asserted only 'in certain cases' whose precise conditions on the group, the subgroup, or the kernel are not indicated; without these, it is unclear whether the result is load-bearing or reduces to known Brauer correspondence facts.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and for highlighting the need for greater explicitness in the abstract. We agree that the current abstract is too terse and will revise it in the next version to state the generalized criterion and the precise hypotheses for the lifting result. The body of the paper already contains the full statements and proofs; the changes will be limited to the abstract and a brief clarification in the introduction.

read point-by-point responses

Referee: The abstract states a generalization of a criterion for Brauer indecomposability but provides no explicit statement of the new criterion, its hypotheses, or how it differs from the original; this makes the central claim impossible to verify for correctness or novelty without the body of the paper.

Authors: We accept this criticism. The generalized criterion appears as Theorem 3.4: if M is a Scott kG-module whose kernel K satisfies that K is a p-group and N_G(K) controls p-fusion in a certain block, then M is Brauer indecomposable. This extends the criterion of [original reference] by replacing the hypothesis that the module is projective with the weaker kernel condition. We will rewrite the abstract to include a one-sentence statement of this theorem together with the key new hypothesis on the kernel. revision: yes
Referee: The lifting result is asserted only 'in certain cases' whose precise conditions on the group, the subgroup, or the kernel are not indicated; without these, it is unclear whether the result is load-bearing or reduces to known Brauer correspondence facts.

Authors: The precise conditions are given in Theorem 5.2: let H be a p-local subgroup containing a Sylow p-subgroup of G, and suppose the Scott kH-module S has kernel L such that L is normal in N_G(P) for P a Sylow p-subgroup of H. Then Brauer indecomposability of S lifts to the Scott kG-module. This is not a direct consequence of the classical Brauer correspondence because the lifting requires an additional compatibility condition between the kernels and the normalizers; the proof uses the Green correspondence and a new Mackey-decomposition argument. We will amend the abstract to state these hypotheses concisely. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper states a generalization of an existing criterion for Brauer indecomposability of Scott kG-modules together with a lifting result from p-local subgroups under stated hypotheses. No load-bearing step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the claims are presented as direct proofs in modular representation theory using standard Brauer correspondence and Scott module techniques. The abstract and described results contain no equations or reductions that equate outputs to inputs by definition, so the derivation chain is independent of its own fitted quantities.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no specific free parameters, axioms, or invented entities can be identified from the text.

pith-pipeline@v0.9.0 · 5364 in / 1018 out tokens · 42045 ms · 2026-05-08T04:13:07.437696+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references · 1 canonical work pages

[1]

Aschbacher

M. Aschbacher. Finite group theory , volume 10 of Cambridge Studies in Advanced Math- ematics. Cambridge University Press, Cambridge, second edition, 2000

2000
[2]

Aschbacher, R

M. Aschbacher, R. Kessar, and B. Oliver. Fusion systems in algebra and topology , volume 391 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 2011

2011
[3]

M. Broué. Equivalences of blocks of group algebras. In Finite-dimensional algebras and related topics (Ottawa, ON, 1992) , volume 424 of NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci. , pages 1–26. Kluwer Acad. Publ., Dordrecht, 1994

1992
[4]

Ishioka and N

H. Ishioka and N. Kunugi. Brauer indecomposability of Scott modules. J. Algebra , 470:441–449, 2017. 5

2017
[5]

Kessar, N

R. Kessar, N. Kunugi, and N. Mitsuhashi. On saturated fusion systems and Brauer indecomposability of Scott modules. J. Algebra, 340:90–103, 2011

2011
[6]

Koshitani, N

S. Koshitani, N. Kunugi, and K. Waki. Broué’s abelian defect group conjecture for the Held group and the sporadic Suzuki group. J. Algebra, 279(2):638–666, 2004

2004
[7]

Koshitani and C

S. Koshitani and C. Lassueur. Splendid Morita equivalences for principal 2-blocks with dihedral defect groups. Math. Z. , 294(1-2):639–666, 2020

2020
[8]

Koshitani and C

S. Koshitani and C. Lassueur. Splendid Morita equivalences for principal blocks with generalised quaternion defect groups. J. Algebra, 558:523–533, 2020

2020
[9]

Koshitani, C

S. Koshitani, C. Lassueur, and B. Sambale. Splendid Morita equivalences for principal blocks with semidihedral defect groups. Proc. Amer. Math. Soc. , 150(1):41–53, 2022

2022
[10]

Koshitani and M

S. Koshitani and M. Linckelmann. The indecomposability of a certain bimodule given by the Brauer construction. J. Algebra, 285(2):726–729, 2005

2005
[11]

Koshitani and İ

S. Koshitani and İ. Tuvay. Lifting Brauer indecomposability of a Scott module. arxiv: 2409.00403v1

work page arXiv
[12]

Koshitani and İ

S. Koshitani and İ. Tuvay. The Brauer indecomposability of Scott modules for the quadratic group Qd(p). Algebr. Represent. Theory , 22(6):1387–1397, 2019

2019
[13]

Koshitani and İ

S. Koshitani and İ. Tuvay. Brauer indecomposability of Scott modules with semidihedral vertex. Proc. Edinb. Math. Soc. (2) , 64(2):174–182, 2021

2021
[14]

Koshitani and İ

S. Koshitani and İ. Tuvay. The Brauer indecomposability of Scott modules with wreathed 2-group vertices. Rocky Mountain J. Math. , 51(4):1259–1280, 2021

2021
[15]

Koshitani and İ

S. Koshitani and İ. Tuvay. Recognition of Brauer indecomposability for a Scott module. J. Algebra Appl. , 24(1):Paper No. 2550015, 9, 2025

2025
[16]

Linckelmann

M. Linckelmann. The block theory of finite group algebras. Vol. I , volume 91 of London Mathematical Society Student Texts . Cambridge University Press, Cambridge, 2018

2018
[17]

Nagao and Y

H. Nagao and Y. Tsushima. Representations of finite groups . Academic Press, Inc., Boston, MA, 1989. Translated from the Japanese. 6

1989