On stable equivalences of Morita type with twisted diagonal vertices

Xin Huang

arxiv: 2512.06856 · v2 · submitted 2025-12-07 · 🧮 math.RT · math.GR

On stable equivalences of Morita type with twisted diagonal vertices

Xin Huang This is my paper

Pith reviewed 2026-05-17 01:06 UTC · model grok-4.3

classification 🧮 math.RT math.GR MSC 20C2016G10

keywords stable equivalences of Morita typetwisted diagonal verticesendopermutation modulesblock algebrasfinite groupsmodular representation theory

0 comments

The pith

Bimodules inducing stable equivalences of Morita type with twisted diagonal vertices have endopermutation modules as sources

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

The paper gives a new proof, using simplified terminology, of Puig's result on bimodules between block algebras of finite groups. When such a bimodule induces a stable equivalence of Morita type and carries a twisted diagonal vertex, its source must be an endopermutation module, at least over an algebraically closed field. The argument is extended to arbitrary fields once a mild assumption is added. A reader cares because this constrains the internal structure of the modules that realize stable equivalences, which are central objects in the modular representation theory of finite groups.

Core claim

If a bimodule of two block algebras of finite groups over an algebraically closed field induces a stable equivalence of Morita type and has a twisted diagonal vertex, then it has an endopermutation module as a source. The same holds over arbitrary fields under a mild assumption.

What carries the argument

The twisted diagonal vertex of the bimodule, which is used to determine the form of its source when the bimodule realizes a stable equivalence of Morita type.

If this is right

The source of any such bimodule is necessarily an endopermutation module when the field is algebraically closed.
The same conclusion holds over arbitrary fields once the mild assumption is satisfied.
The result admits a proof that uses only simplified notation and terminology.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The constraint on sources may help decide when a stable equivalence lifts to a derived or Morita equivalence between the blocks.
The approach could be tested on small groups whose blocks are already classified up to stable equivalence.
Links to the broader theory of endopermutation modules and their role in block fusion systems remain open for further exploration.

Load-bearing premise

The mild assumption needed to extend the result from algebraically closed fields to arbitrary fields must hold.

What would settle it

An explicit bimodule between two block algebras over an algebraically closed field that induces a stable equivalence of Morita type, possesses a twisted diagonal vertex, and has a source that is not an endopermutation module.

read the original abstract

We give a new proof, by using simplified terminology and notation, to a result of Puig stating that if a bimodule of two block algebras of finite groups over an algebraically closed field induces a stable equivalence of Morita type and has a twisted diagonal vertex, then it has an endopermutation module as a source. We also extend this result to arbitrary fields under a mild assumption.

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

A cleaner proof of Puig's theorem with an extension to general fields under a mild assumption.

read the letter

This paper gives a cleaner proof of Puig's result on sources for stable equivalences of Morita type with twisted diagonal vertices, plus an extension to arbitrary fields under a mild splitting assumption. The new proof uses standard vertex-source arguments and Green correspondence but with simplified notation that makes the steps easier to track. The extension is isolated in the final section, where the assumption on the endomorphism ring of the source is stated explicitly and the reduction to the algebraically closed case is carried out once it holds. This approach avoids hidden gaps and keeps the logic straightforward. The main limitation is that the core claim is not new; it reproduces Puig's theorem with a fresh write-up. The extension adds some value for work over general fields, but it depends on that assumption, and the paper does not test how restrictive it is in examples. The citation pattern is direct and appropriate, building on the prior result without forcing the conclusion through normalization choices. Readers working in modular representation theory of finite groups, especially on block algebras and equivalences, will get the most from this. It clarifies an existing result without reorganizing the field. The paper shows clear thinking on its own terms. It deserves a serious referee to verify the extension and see if the simplification helps others. I recommend sending it for peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript provides a new proof, using simplified terminology and notation, of Puig's result that a bimodule inducing a stable equivalence of Morita type between two block algebras of finite groups over an algebraically closed field, and possessing a twisted diagonal vertex, must have an endopermutation module as its source. It further extends the result to arbitrary fields under an explicit mild assumption (a splitting condition on the endomorphism ring of the source) whose role is isolated in the final section.

Significance. If the claims hold, the work strengthens the literature on stable equivalences in modular representation theory by replacing prior arguments with standard vertex-source techniques and Green correspondence in simplified form. The explicit isolation of the mild assumption allows a clean reduction to the algebraically closed case and broadens applicability; these features, together with the absence of hidden gaps in the central construction, constitute a genuine service to the field.

minor comments (2)

The mild assumption is stated explicitly in the final section, but a short remark or example clarifying when the splitting condition on the endomorphism ring holds for common fields or groups would improve accessibility without altering the argument.
While the simplified notation is a strength, a brief parenthetical comparison (in the introduction or §2) linking the new terminology for twisted diagonal vertices to Puig's original formulation would assist readers already familiar with the cited result.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the clear summary of its contributions, and the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; new proof and explicit assumption are self-contained

full rationale

The manuscript supplies an independent re-proof of the Puig result via standard vertex-source theory and Green correspondence, presented in simplified notation without reducing any central equation to a prior definition or fitted parameter by construction. The extension to arbitrary fields is conditioned on an explicitly isolated mild assumption (splitting condition on the source endomorphism ring) whose role is separated in the final section and does not presuppose the target statement. No self-citation load-bearing step, ansatz smuggling, or renaming of known results occurs; the derivation chain rests on external, falsifiable representation-theoretic facts rather than internal re-labeling of inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The argument relies on standard background results from the theory of vertices, sources, and stable equivalences of Morita type for block algebras; no new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)

domain assumption Standard facts about vertices and sources of bimodules in the representation theory of finite groups over fields.
Invoked as the setup for the theorem on twisted diagonal vertices.

pith-pipeline@v0.9.0 · 5342 in / 1313 out tokens · 46090 ms · 2026-05-17T01:06:07.247200+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

[1]

Puig, Characters and local structure in G-algebras, J

M, Brou´ e, L. Puig, Characters and local structure in G-algebras, J. Algebra 63 (1980) 306–317

work page 1980
[2]

Curtis, I

C.W. Curtis, I. Reiner, Methods of Representation Theory, with Applications to Finite Groups and Orders, vol. I, John Wiley and Sons, New York, London, Sydney, 1981

work page 1981
[3]

Feit, The Representation Theory of Finite Groups, North-Holland Mathematical Library, vol.25, North-Holland Publishing Company, Amsterdam, 1982

W. Feit, The Representation Theory of Finite Groups, North-Holland Mathematical Library, vol.25, North-Holland Publishing Company, Amsterdam, 1982

work page 1982
[4]

Kessar, M

R. Kessar, M. Linckelmann, Descent of equivalences and character bijections, Geometric and topological aspects of the representation theory of finite groups, Springer Proc. Math. Stat., 242 (2018) 181–212

work page 2018
[5]

Kessar, M

R. Kessar, M. Linckelmann, The source permutation module of a block of a finite group algebra, arXiv:2507.15125

work page arXiv
[6]

Linckelmann, The Block Theory of Finite Group Algebras I, London Math

M. Linckelmann, The Block Theory of Finite Group Algebras I, London Math. Soc. Student Texts, vol. 91, Cambridge University Press, 2018

work page 2018
[7]

Linckelmann, The Block Theory of Finite Group Algebras II, London Math

M. Linckelmann, The Block Theory of Finite Group Algebras II, London Math. Soc. Student Texts, vol. 92, Cambridge University Press, 2018

work page 2018
[8]

Liu, Sumands of stable equivalences of Morita type, Comm

Y. Liu, Sumands of stable equivalences of Morita type, Comm. Algebra 36 (2008) 3778–3782

work page 2008
[9]

Puig, Sur un th´ eor` eme de Green, Math

L. Puig, Sur un th´ eor` eme de Green, Math. Z.166 (1979) 117–129

work page 1979
[10]

Puig, Pointed groups and construction of characters, Math

L. Puig, Pointed groups and construction of characters, Math. Z. 176 (1981) 265–292

work page 1981
[11]

Puig, Nilpotent blocks and their source algebras, Invent

L. Puig, Nilpotent blocks and their source algebras, Invent. Math. 93 (1988) 77–116

work page 1988
[12]

Puig, On the Local Structure of Morita and Richard Equivalences between Brauer Blocks, Progress in Math., vol

L. Puig, On the Local Structure of Morita and Richard Equivalences between Brauer Blocks, Progress in Math., vol. 178, Birk¨ auser Verlag, Basel, 1999

work page 1999
[13]

Th´ evenaz,G-algebras and Modular Representation Theory, Oxford Science Publications, Clarendon, Oxford, 1995

J. Th´ evenaz,G-algebras and Modular Representation Theory, Oxford Science Publications, Clarendon, Oxford, 1995

work page 1995
[14]

Th´ evenaz, Endo-permutation modules, a guided tour, in: M

J. Th´ evenaz, Endo-permutation modules, a guided tour, in: M. Geck, D. Testerman, J. Th´ evenaz (Eds.), Group Representation Theory, EPFL Press, Lausanne, 2007, pp.115–147

work page 2007
[15]

Zimmermann, Representation Theory: A Homological Algebra Point of View, Algebra and Appli- cations, Springer, 2014

A. Zimmermann, Representation Theory: A Homological Algebra Point of View, Algebra and Appli- cations, Springer, 2014. 26

work page 2014

[1] [1]

Puig, Characters and local structure in G-algebras, J

M, Brou´ e, L. Puig, Characters and local structure in G-algebras, J. Algebra 63 (1980) 306–317

work page 1980

[2] [2]

Curtis, I

C.W. Curtis, I. Reiner, Methods of Representation Theory, with Applications to Finite Groups and Orders, vol. I, John Wiley and Sons, New York, London, Sydney, 1981

work page 1981

[3] [3]

Feit, The Representation Theory of Finite Groups, North-Holland Mathematical Library, vol.25, North-Holland Publishing Company, Amsterdam, 1982

W. Feit, The Representation Theory of Finite Groups, North-Holland Mathematical Library, vol.25, North-Holland Publishing Company, Amsterdam, 1982

work page 1982

[4] [4]

Kessar, M

R. Kessar, M. Linckelmann, Descent of equivalences and character bijections, Geometric and topological aspects of the representation theory of finite groups, Springer Proc. Math. Stat., 242 (2018) 181–212

work page 2018

[5] [5]

Kessar, M

R. Kessar, M. Linckelmann, The source permutation module of a block of a finite group algebra, arXiv:2507.15125

work page arXiv

[6] [6]

Linckelmann, The Block Theory of Finite Group Algebras I, London Math

M. Linckelmann, The Block Theory of Finite Group Algebras I, London Math. Soc. Student Texts, vol. 91, Cambridge University Press, 2018

work page 2018

[7] [7]

Linckelmann, The Block Theory of Finite Group Algebras II, London Math

M. Linckelmann, The Block Theory of Finite Group Algebras II, London Math. Soc. Student Texts, vol. 92, Cambridge University Press, 2018

work page 2018

[8] [8]

Liu, Sumands of stable equivalences of Morita type, Comm

Y. Liu, Sumands of stable equivalences of Morita type, Comm. Algebra 36 (2008) 3778–3782

work page 2008

[9] [9]

Puig, Sur un th´ eor` eme de Green, Math

L. Puig, Sur un th´ eor` eme de Green, Math. Z.166 (1979) 117–129

work page 1979

[10] [10]

Puig, Pointed groups and construction of characters, Math

L. Puig, Pointed groups and construction of characters, Math. Z. 176 (1981) 265–292

work page 1981

[11] [11]

Puig, Nilpotent blocks and their source algebras, Invent

L. Puig, Nilpotent blocks and their source algebras, Invent. Math. 93 (1988) 77–116

work page 1988

[12] [12]

Puig, On the Local Structure of Morita and Richard Equivalences between Brauer Blocks, Progress in Math., vol

L. Puig, On the Local Structure of Morita and Richard Equivalences between Brauer Blocks, Progress in Math., vol. 178, Birk¨ auser Verlag, Basel, 1999

work page 1999

[13] [13]

Th´ evenaz,G-algebras and Modular Representation Theory, Oxford Science Publications, Clarendon, Oxford, 1995

J. Th´ evenaz,G-algebras and Modular Representation Theory, Oxford Science Publications, Clarendon, Oxford, 1995

work page 1995

[14] [14]

Th´ evenaz, Endo-permutation modules, a guided tour, in: M

J. Th´ evenaz, Endo-permutation modules, a guided tour, in: M. Geck, D. Testerman, J. Th´ evenaz (Eds.), Group Representation Theory, EPFL Press, Lausanne, 2007, pp.115–147

work page 2007

[15] [15]

Zimmermann, Representation Theory: A Homological Algebra Point of View, Algebra and Appli- cations, Springer, 2014

A. Zimmermann, Representation Theory: A Homological Algebra Point of View, Algebra and Appli- cations, Springer, 2014. 26

work page 2014