Pith. sign in

REVIEW 2 major objections 3 minor 29 references

The classification of the trivial source modules in blocks with cyclic defect groups

T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that every non-projective indecomposable trivial source module in a block with a non-trivial cyclic defect group is determined by its Brauer-tree path, direction, and multiplicity, with distance fixed by an explicit…

desk verdict Completes the classification of trivial source modules in cyclic defect blocks with explicit distance formulas; the only real caveat is the sketched correction to the Hiss–Naehrig classification in Appendix A. read the letter →

arxiv 1908.07833 v2 pith:UBYENGLG submitted 2019-08-21 math.RT math.GR

Gerhard Hiss , Caroline Lassueur This is my paper · ORCID
classification math.RTmath.GR MSC 20C20
keywords trivialsourcemodulesp-permutationblockswithcyclicdefectgroupsBrauertreesliftablestableAuslander-Reitenquiveralgebrasendo-permutation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper sets out to classify, completely and explicitly, all indecomposable trivial source modules (direct summands of permutation modules) in a block—an indecomposable summand of the modular group algebra—whose defect group is a non-trivial cyclic $p$-group. Such cyclic-defect blocks are among the most thoroughly understood blocks in modular representation theory, yet a full description of their trivial source modules had previously been missing. The main result is an exact placement in the stable Auslander-Reiten quiver: a module with vertex $D_i$ sits at distance $d_+(X)=\ell_i p^{n-i}-1$ from the positive boundary, where $\ell_i$ is an alternating sum computed from the endo-permutation module $W$ attached to the block's source algebra. The second main theorem then enumerates the modules themselves, listing the Brauer-tree path, direction, and multiplicity that characterise each trivial source module. If the classification is right, every block with a non-trivial cyclic defect group has a complete, explicit description of its $p$-permutation modules.

What carries the argument

The load-bearing object is the pair attached to any cyclic-defect block: its strengthened Brauer tree (an ordinary Brauer tree with alternating signs on vertices) and an indecomposable capped endo-permutation $kD$-module $W$, which together determine the source algebra of $B$ up to equivalence. The proof reduces $B$ step by step to the simpler block $c$ of $C_G(D_1)$: Green correspondence preserves vertices, sources, and distances; induction from the inertia group preserves lengths, vertices, and sources; and the source algebra of $c$ is isomorphic to $\operatorname{End}_k(W)\otimes_k kD$. Under the resulting Morita equivalence, the unique trivial source $c$-module with vertex $D_i$ corresponds to the $kD$-module $U_{D_i}(W)=(\operatorname{Ind}_{D_i}^{D}\circ\operatorname{Cap}\circ\operatorname{Res}_{D_i}^{D})(W)$, so its composition length is $\ell_i p^{n-i}$. The paper computes this length by restricting the generators of the group of capped endo-permutation modules from $D$ to $D_i$ and summing the resulting alternating dimension series. Finally, Theorem 5.3 uses the path parametrisation of indecomposable modules together with published distance formulas for each path type, and selects exactly those whose distance to one of the two boundaries equals the value demanded by Theorem 5.1.

What would settle it

One concrete test: in a principal block with cyclic defect group $C_{p^n}$, the theorem predicts that every trivial source module with vertex $D_i$ lies exactly $p^{n-i}-1$ rows from the positive boundary of the stable Auslander-Reiten quiver. Compute that quiver explicitly and inspect the sources of the liftable modules at the predicted rows: if a module at such a row has a non-trivial source, or if a trivial source module appears at another row, the classification fails. A direct computational check on a small example, such as a block of a group with a cyclic Sylow $p$-subgroup of order $p^2$, would settle the claim.

Watch

Extended reading notes

Core claim

The central discovery is two-part. Theorem 5.1 says that if $X$ is a non-projective indecomposable trivial source $B$-module with vertex $D_i$, then its distance to the positive boundary of the stable Auslander-Reiten quiver is $d_+(X)=\ell_i p^{n-i}-1$, with $\ell_i=\sum_{0\le i_j<i}(-1)^j p^{i-i_j}+(-1)^{|\{j:0\le i_j<i\}|}$; here $\ell_i$ is the dimension of the cap of the restriction of $W$ to $D_i$, and $W$ is the indecomposable capped endo-permutation module determined by the source algebra of $B$. Theorem 5.3 turns this numerical criterion into a full list: for $e>1$, a non-projective indecomposable module is a trivial source module with vertex $D_i$ exactly when it belongs to one of seven path types on the Brauer tree and its direction $\varepsilon$ and multiplicity $\mu$ satisfy one of two arithmetic conditions in terms of $\ell_i p^{n-i}$ and $m$, the exceptional multiplicity. In the case $e=1$, each vertex $D_i$ carries exactly one trivial source module, a uniserial module whose length is $\ell_i p^{n-i}$ or $p^n-\ell_i p^{n-i}$ depending on the sign of the unique non-exceptional character. The classification is completed by a correction to the earlier list of liftable modules when the exceptional vertex is a leaf, and by the observation that cotrivial source modules are obtained from trivial source modules by the Heller operator.

Load-bearing premise

The classification inherits its completeness from the corrected enumeration of all indecomposable liftable modules given in Appendix A: every trivial source module is liftable, so if that enumeration missed any liftable module—for example in the special situation where the exceptional vertex is a leaf of the Brauer tree—then the new classification of trivial source modules would be incomplete as well.

Editorial extensions

If this is right

  • In every block with cyclic defect group $D=C_{p^n}$, the trivial source modules with vertex $D_i$ form an explicitly enumerated finite list; no search over the module category is needed.
  • For a principal block, every non-projective trivial source module with vertex $D_i$ lies at distance $p^{n-i}-1$ from the positive boundary (Corollary 5.2(d)).
  • The hooks of the block—the modules on the boundary of the stable Auslander-Reiten quiver—are trivial source modules exactly when the endo-permutation module $W$ is trivial and the hook's character is positive at a generator of $D_1$ (Corollary 5.2(c)).
  • The cotrivial source modules are classified by the same lists after replacing $\ell_i p^{n-i}-1$ with $p^n-\ell_i p^{n-i}$ (Remark 5.5).
  • The corrected enumeration of liftable modules (Appendix A) implies that in a block with $e=1$ every indecomposable module is liftable, and the unique trivial source module with vertex $D_i$ is uniserial of length either $\ell_i p^{n-i}$ or $p^n-\ell_i p^{n-i}$ according to the sign of the unique non-exceptional character (Theorem 5.3(a)).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: the classification yields an algorithm for listing all $p$-permutation modules of any cyclic-defect block directly from the signed Brauer tree and the coefficients $(a_1,\ldots,a_{n-1})$ of $W$, without constructing the whole module category.
  • Editorial inference: since the row position depends only on the restriction of $W$ to $D_i$, the formula suggests a general dictionary between elements of the group of capped endo-permutation modules and rows of the stable Auslander-Reiten quiver; extending this dictionary to blocks with other defect groups would be a natural next step.
  • Editorial inference: the arithmetic conditions in Theorem 5.3 could be read as a character-theoretic criterion for a liftable module to be a summand of a permutation module, since trivial source modules are detected by non-negative integer character values on generators of $D_1$.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper gives a complete classification of the indecomposable trivial source modules in a p-block with non-trivial cyclic defect group of order p^n. The authors first determine, in Theorem 5.1, the distance of any such module to the positive boundary of the stable Auslander-Reiten quiver in terms of the integer ℓ_i obtained from the Dade-group restriction of the endo-permutation module W parametrising the source algebra of the block. They then combine this distance formula with a corrected version (Appendix A) of the Hiss-Naehrig classification of indecomposable liftable modules in cyclic blocks, together with distance computations (Appendix B), to obtain a full classification in Theorem 5.3: each trivial source module with vertex D_i is described by a path on the Brauer tree, a direction, and a multiplicity, subject to explicit congruence conditions and closed-form expressions for the multiplicity. The paper also treats the exceptional case where the exceptional vertex is a leaf of the Brauer tree, corrects the statement of [HN12], and includes the case D ≅ C_2 separately.

Significance. If the results are correct, this is a substantial contribution: it completes the classification of trivial source modules in blocks with cyclic defect groups, a question that had been addressed only partially by Michler, Bessenrodt, and Koshitani-Kunugi. The proof strategy is strong: the reduction from the block B to the nilpotent centraliser block c via Green correspondence and source algebra equivalence is coherent, and the distance formula is derived from the Dade group structure of the endo-permutation module rather than assumed. The paper is careful to correct and extend a prior classification of the same first author, and it provides an explicit appendix with distance computations. The claims are falsifiable: Corollary 5.2 gives concrete values for principal blocks and for vertex D_1, and the divisibility conditions in Theorem 5.3 can be checked in examples. The main caveats concern the completeness of the corrected liftable-module classification and the sufficiency of the distance criterion in the proof of Theorem 5.3.

major comments (2)
  1. [Appendix A, Theorem A.1(c)(2') and (c)(3)] The correction to the Hiss-Naehrig classification in the case where the exceptional vertex is a leaf of the Brauer tree is not actually proved. The paragraph after the statement merely says that the simple module labelling the leaf is not a hook and that 'the rôles ... need to be swapped in the original proof.' Since Theorem 5.3(b) inherits exhaustiveness directly from Theorem A.1(c), a missed or misdescribed liftable module in this leaf case would propagate into the main classification. Please provide a complete proof of the modified statement, or a precise reference to a proof, together with a justification that the count e(2m+1) of liftable modules is unchanged by the correction.
  2. [Theorem 5.3(b), proof steps 3–8] The 'if' direction of the classification is not justified by the displayed distance equalities. In steps 3–8, the authors show that a liftable module X of a given path type has distance d(X,H) = ℓ_i p^{n-i} − 1 (or the equivalent negative-boundary condition), and then conclude 'by Theorem 5.1, X is a trivial source module'. But Theorem 5.1 only states a necessary condition: every trivial source module with vertex D_i has that distance. It does not state that any module with that distance is trivial source. A row of the stable AR-quiver can contain modules with different sources and vertices, so the distance equality alone does not identify the source as trivial. Please add an argument showing sufficiency—for example, by identifying the module explicitly as the Green correspondent of an induced module from the centraliser block (as in Lemma 4.6 and Corollary 4.5), or by proving a lemma that among the liftable modules of a given path type, the stated multiplicity condition characterises the modules whose trivial-source lift has non-negative character values on D_1.
minor comments (3)
  1. [Appendix B, Proposition B.1(c)–(e)] In the proof of parts (c), (d), and (e), the displayed formula for the even-l case reads e(µ−1)−1, while the statements and Theorem 5.3 use e(µ−1). Since (n−1)/2 + ηe = e + e(µ−2) = e(µ−1), the proof displays appear to contain arithmetic typos; please correct them.
  2. [§4.5 and Theorem 5.1] The index notation in the summation formula for ℓ_i is slightly ambiguous: the set {j | 0 ≤ i_j < i} is used before the indices i_j have been defined. For readability, define the sequence i_0 < i_1 < ... in the statement of Theorem 5.1 itself, rather than only in §4.5.
  3. [Lemma 4.2] The citation to Green's Theorem on Zeros of Characters is given as [CR81, (19.27)], but the proof would benefit from a short explanation of why the conjugates x_i x x_i^{-1} with x_i ∉ N_1 cannot lie in a subgroup that intersects D_1 trivially, rather than leaving this to the cited proof of [Alp86, §17, Theorem 3].

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction: the trivial-source classification is a selection from the external liftable-module classification, with the only caveat a terse self-correction in Appendix A.

full rationale

The central derivation is self-contained in the sense that no output is fed back as an input. Theorem 5.1 computes d_+(X) from the dimension of U_{D_i}(W), derived by Morita/source-algebra reduction to the nilpotent cyclic block c and by the Dade-group computation of Res^D_{D_i}(W); each equality in the proof is supplied by a lemma, not by reintroducing the theorem being proved. Theorem 5.3 then selects, among the liftable modules classified in Theorem A.1, those whose distance computed in Appendix B via Bleher-Chinburg's distance theorem matches the value from Theorem 5.1. This is a valid use of an external classification, not a prediction equal to its input. The only caveat is the Appendix A correction to [HN12], where the exceptional-leaf case is justified by the informal assertion that the roles of the leaf simple module and the length-m hook need to be swapped; that is a completeness and rigor concern, not circularity, because the corrected statement is not assumed as a consequence of the trivial-source result. The self-citation to [HN12] is load-bearing, but it is a published theorem with a co-author outside the present paper, and the paper explicitly modifies rather than silently imports it.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No parameters are fitted to data and no new entities are postulated. The central claim rests on imported structural theorems: the liftable-module classification, source algebra description, Bleher-Chinburg distances, Dade group classification, and Green correspondence. The paper's contribution is to derive the trivial source classification from these inputs.

assumptions (5)
  • domain assumption Corrected liftable-module classification (Theorem A.1, based on [HN12, Theorem 2.1])
    Invoked in the proof of Theorem 5.3(b) to enumerate candidates for trivial source modules; the completeness of the new classification is inherited from this enumeration.
  • domain assumption Source-algebra structure of the nilpotent cover: the source algebra of c is S ⊗_k kD ([Lin18, Corollary 8.11.11], [Lin96, Theorem 2.7])
    Section 4.4 uses this description to obtain the module U_Q(W) and therefore the distance formula; it also supplies the parameter W appearing throughout.
  • domain assumption Bleher-Chinburg distance theorem ([BC02, Theorem 3.5])
    Appendix B applies this theorem case by case to compute distances for each liftable module type; those distances feed directly into the classification conditions of Theorem 5.3.
  • domain assumption Dade group classification of capped endo-permutation modules over cyclic p-groups ([Dad78], [Thé95, Exercise 28.3], [Thé07, Theorem 5.2])
    Section 4.5 uses the generators WD(a0,...,a_{n-1}) to compute restrictions and the integers ℓ_i; this parametrization is the backbone of Theorem 5.1.
  • domain assumption Green correspondence preserves vertices, sources, and boundary distances ([Ben98, Theorem 6.6.5])
    Section 3.4 uses the Green correspondence to move between B and its Brauer correspondent b; the distance claims rely on this preservation.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The classification of the trivial source modules in blocks with cyclic defect groups." pith.science (2026). https://pith.science/paper/UBYENGLG

@misc{pith2026190807833,
  author       = {Pith},
  title        = {Pith review of: The classification of the trivial source modules in blocks with cyclic defect groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UBYENGLG}},
  note         = {Machine review of arXiv:1908.07833}
}
read the original abstract

Relying on the classification of the indecomposable liftable modules in arbitrary blocks with non-trivial cyclic defect groups we give a complete classification of the trivial source modules lying in such blocks, describing in particular their associated path on the Brauer tree of the block in the sense of Janusz (1969). The appendix contains a description of the minimal distance from an arbitrary non-projective indecomposable liftable module to the boundary of the stable Auslander-Reiten quiver of the block.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [1]

    J. L. Alperin, Local representation theory, Cambridge Studies in Advanced Mathematics, vol. 11, Cambridge University Press, Cambridge, 1986

    work page 1986

  2. [2]

    F. M. Bleher and T. Chinburg, Locations of modules for B rauer tree algebras , J. Pure Appl. Algebra 169 (2002), no. 2-3, 109--135

    work page 2002

  3. [3]

    D. J. Benson, Representations and cohomology I , second ed., Cambridge Studies in Advanced Mathematics, vol. 30, Cambridge University Press, Cambridge, 1998

    work page 1998

  4. [4]

    Bessenrodt, Modular representation theory for blocks with cyclic defect groups via the A uslander- R eiten quiver , J

    C. Bessenrodt, Modular representation theory for blocks with cyclic defect groups via the A uslander- R eiten quiver , J. Algebra 140 (1991), no. 1, 247--262

    work page 1991

  5. [5]

    Brauer, Investigations on group characters, Ann

    R. Brauer, Investigations on group characters, Ann. of Math. (2) 42 (1941), 936--958

    work page 1941

  6. [6]

    , On groups whose order contains a prime number to the first power. I, II. , Am. J. Math. 64 (1942), 401--420, 421--440

    work page 1942

  7. [7]

    C. W. Curtis and I. Reiner, Methods of representation theory. V ol. I , John Wiley & Sons, Inc., New York, 1981

    work page 1981

  8. [8]

    E. C. Dade, Blocks with cyclic defect groups, Ann. of Math. (2) 84 (1966), 20--48

    work page 1966

Show all 29 references
  1. [9]

    , Endo-permutation modules over p -groups I , II , Ann. of Math. 107, 108 (1978), 459--494, 317--346

    1978

  2. [10]

    Feit, Possible B rauer trees , Illinois J

    W. Feit, Possible B rauer trees , Illinois J. Math. 28 (1984), no. 1, 43--56

    1984

  3. [11]

    J. A. Green, Walking around the B rauer T ree , J. Austral. Math. Soc. 17 (1974), 197--213

    1974

  4. [12]

    Hiss and K

    G. Hiss and K. Lux, Brauer trees of sporadic groups, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1989

    1989

  5. [13]

    Hiss and N

    G. Hiss and N. Naehrig, The classification of the indecomposable liftable modules in blocks with cyclic defect groups, Bull. Lond. Math. Soc. 44 (2012), no. 5, 974--980

    2012

  6. [14]

    G. J. Janusz, Indecomposable modules for finite groups, Ann. of Math. (2) 89 (1969), 209--241

    1969

  7. [15]

    Koshitani and N

    S. Koshitani and N. Kunugi, Trivial source modules in blocks with cyclic defect groups, Math. Z. 265 (2010), no. 1, 161--172

    2010

  8. [16]

    Kn\" o rr, Relative projective covers

    R. Kn\" o rr, Relative projective covers . Pp. 28--32 in: Proceedings of the Symposium on Modular Representations of Finite Groups, Various Publ. Ser., 29, Aarhus Univ., Aarhus, 1978

    1978

  9. [17]

    Kupisch, Unzerlegbare M oduln endlicher G ruppen mit zyklischer p - S ylow- G ruppe , Math

    H. Kupisch, Unzerlegbare M oduln endlicher G ruppen mit zyklischer p - S ylow- G ruppe , Math. Z. 108 (1969), 77--104

    1969

  10. [18]

    Landrock, Finite group algebras and their modules, London Mathematical Society Lecture Note Series, vol

    P. Landrock, Finite group algebras and their modules, London Mathematical Society Lecture Note Series, vol. 84, Cambridge University Press, Cambridge, 1983

    1983

  11. [19]

    Linckelmann, Variations sur les blocs \`a groupes de d\' e faut cycliques , Th\` e se de doctorat, Universit\' e Paris VII, 1988

    M. Linckelmann, Variations sur les blocs \`a groupes de d\' e faut cycliques , Th\` e se de doctorat, Universit\' e Paris VII, 1988

    1988

  12. [20]

    , Variations sur les blocs \`a groupes de d\' e faut cycliques. Pp. 1--83 in: S\' e minaire sur les G roupes F inis, T ome IV . Publ. Math. Univ. Paris VII, vol. 34, 1989

    1989

  13. [21]

    Algebra 167 (1994), 821--854

    , The source algebras of blocks with a Klein four defect group, J. Algebra 167 (1994), 821--854

    1994

  14. [22]

    , The isomorphism problem for cyclic blocks and their source algebras, Invent. Math. 125 (1996), no. 2, 265--283

    1996

  15. [23]

    , The block theory of finite group algebras. V ol. II , London Mathematical Society Student Texts, vol. 92, Cambridge University Press, Cambridge, 2018

    2018

  16. [24]

    G. O. Michler, Green correspondence between blocks with cyclic defect groups II . Pp. 210--235 in: Represent. Algebr., Proc. int. Conf., Ottawa 1974, Lect. Notes Math. 488 , 1975

    1974

  17. [25]

    R. M. Peacock, Indecomposables in a block with a cyclic defect group, J. Algebra 37 (1975), no. 1, 74--103

    1975

  18. [26]

    Algebra 44 (1977), no

    , Ordinary character theory in a block with a cyclic defect group, J. Algebra 44 (1977), no. 1, 203--220

    1977

  19. [27]

    Th \'e venaz, Relative projective covers and almost split sequences, Comm

    J. Th \'e venaz, Relative projective covers and almost split sequences, Comm. Algebra 13 (1985), no. 7, 1535--1554

    1985

  20. [28]

    , G -algebras and modular representation theory , Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, 1995

    1995

  21. [29]

    , Endo-permutation modules, a guided tour. Pp. 115--147 in: Group representation theory. EPFL Press, Lausanne, 2007

    2007

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.