REVIEW 1 major objections 5 minor 11 references
Isotypic blocks of finite groups algebras that are not $p$-permutation equivalent
T0 review · 1 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Isotypy need not lift to a p-permutation equivalence.
desk verdict Short, credible note that answers Boltje–Perepelitsky's open question with a KP-class obstruction; the example leans on a standard realization theorem the paper states sloppily but cites correctly. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the Külshammer–Puig class $\kappa_{(P,e)} \in H^2(N_G(P,e)/P C_G(P), k^\times)$, a cohomological invariant attached to a self-centralizing Brauer pair $(P,e)$; it records the projective representation obstruction of the unique irreducible module of the block of $P C_G(P)$. The argument uses two facts about this class: Lemma 3.1 shows that Frobenius conjugation replaces the class by its $p$th power, and [4, Theorem 13.4] shows that any p-permutation equivalence must identify the two classes. Since the isotypy of Theorem 2.13 places no constraint on these classes, a class that is not Frobenius-fixed is a certificate that the isotypy does not lift, and under the hypothesis of Theorem 3.3 it certifies that no p-permutation equivalence can exist at all.
What would settle it
Compute the Külshammer–Puig class $\kappa_{(P,b)}$ at the subgroup $P$ in the block built in Example 3.4; if it turned out that $\kappa_{(P,b)}^p = \kappa_{(P,b)}$, the stated obstruction would disappear and the construction would no longer support the conclusion. Alternatively, exhibiting an explicit p-permutation equivalence between $OG\sigma(b)$ and $OGb$ would directly contradict Theorem 3.3.
Extended reading notes
Core claim
On the paper's own terms, the isotypy between Galois conjugate blocks is real and useful, but it is not a hidden p-permutation equivalence. Theorem 3.2 shows that if a self-centralizing subgroup $P$ of the defect group carries a Külshammer–Puig class not fixed by the Frobenius map, the particular isotypy of Theorem 2.13 does not lift. Theorem 3.3 goes further: under the additional hypothesis that every automorphism of the defect group inducing an automorphism of the fusion system restricts to an inner automorphism of $P$, the two Galois conjugate blocks have no p-permutation equivalence whatsoever. Example 3.4 supplies such blocks by taking $P = E_4^2$ and $A = A_7$ and invoking a realization theorem for fusion systems. The conclusion is that the cohomology class survives as the distinguishing invariant even when the local fusion data is identical.
Load-bearing premise
The whole construction of examples rests on an external existence theorem saying that every prescribed local fusion pattern and cohomology class actually comes from a real finite group with a block; if that theorem fails for the specific $A_7$ pattern, the counterexamples do not exist.
Editorial extensions
If this is right
- If an isotypy between Galois conjugate blocks does not lift to a p-permutation equivalence, it also cannot lift to a splendid Rickard equivalence.
- A Frobenius-fixed Külshammer–Puig class is necessary for the isotypy of Theorem 2.13 to lift; when the class is not fixed, the isotypy is genuinely weaker than a p-permutation equivalence.
- The examples show that the local fusion system and Brauer pairs of Galois conjugate blocks can be identical while the blocks still fail to be p-permutation equivalent.
- Any criterion for lifting an isotypy to a p-permutation equivalence must account for Külshammer–Puig classes, not only for fusion data.
Reading between the lines
- The paper leaves open whether the Külshammer–Puig obstruction is the only obstruction to lifting an isotypy; one test would be to search for non-liftable isotypies in which all relevant Külshammer–Puig classes are Frobenius-fixed.
- The construction recipe is not tied to $p = 2$: replacing $A_7$ with any group satisfying the four listed conditions would produce further examples, potentially at every prime where such a subgroup exists.
- Because the groups in Example 3.4 arise from a fusion-system realization theorem, the counterexamples are existence proofs rather than explicit small matrices; a concrete computation of the resulting block's Külshammer–Puig class would make the obstruction directly checkable.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the relation between isotypy and p-permutation equivalence for blocks of finite group algebras. It shows that, under a condition on a self-centralizing Brauer pair whose Külshammer-Puig class is not fixed by the Frobenius automorphism, the isotypy between a block and its Galois conjugate constructed by Kessar cannot lift to a p-permutation equivalence (Theorem 3.2). It then proves a stronger criterion: if, in addition, every automorphism of the defect group that induces an automorphism of the block's fusion system restricts to an inner automorphism of the chosen subgroup, then no p-permutation equivalence exists at all (Theorem 3.3). Example 3.4 constructs such blocks using a realization theorem for saturated fusion systems, taking P=E_{2^4}, A=A_7, and p=2. The proofs are short and rely on known results: preservation of Külshammer-Puig classes under p-permutation equivalences [4, Theorem 13.4] and a realization theorem quoted from [2, Proposition IV.5.35].
Significance. If the construction is sound, the paper provides the first examples of Galois conjugate blocks that are isotypic but not p-permutation equivalent, thereby clarifying the hierarchy of block equivalences and isolating the Külshammer-Puig class as an obstruction to lifting isotypy. The argument is elegant and the example is explicit, with the auxiliary group-theoretic and cohomological computations being standard. The paper is honest about relying on Kessar's isotypy theorem and on the realization theorem of Aschbacher–Kessar–Oliver; it does not claim to prove those inputs. However, the realization theorem is quoted in a form that is not precise in the paper's own notation, and since the existence of the counterexamples is entirely delegated to that lemma, the statement and its applicability need to be corrected before the main claim can be accepted as fully rigorous.
major comments (1)
- [Lemma 2.9 and Example 3.4] Lemma 2.9 is the sole external input that guarantees the existence of the blocks in Example 3.4, but as stated it is not a valid statement in the paper's own notation. It says that there is a block b of OG such that "(Q,b) is a b-Brauer pair for any p-subgroup Q≤G"; by §2.4 a b-Brauer pair is a pair (Q,e) with e a block idempotent of O C_G(Q), so the second component cannot be the global block b. The intended statement must supply local blocks e_Q for Q≤D, with (Q,e_Q)≤(D,e_D), and then assert F=F_{(D,e_D)}(G,b) and κ_{(P,e_P)}=κ (or κ^{-1}, depending on the convention; §2.7 records that [2] uses the inverse class). Example 3.4 then uses "the Brauer pair (P,b)" in place of (P,e_P) and applies Theorem 3.3. Because the constructed counterexamples are entirely delegated to this lemma, the author should quote [2, Prop. IV.5.35] exactly, state which convention for the Külshammer-Puig class is used, and verify that all hypotheses, including the applicability to F_D(L) and P=O_p(F), are satisfied. This is a load-bearing point that needs correction.
minor comments (5)
- [Theorem 2.13] The displayed formula for the isometry I_P reads I_P(χ)(g)=χ(g_p g_{p'}). Since g_p and g_{p'} commute, this equals χ(g) and hence defines the identity map; it cannot be an isometry between the distinct blocks e_P and σ(e_P). The intended Kessar isometry must involve the Frobenius action on character values, for example I_P(χ)(g)=χ(g_{p'}g_p)^σ or an equivalent formula. As printed, the proof of Theorem 2.13 is not coherent, even though the theorem itself is quoted from [7] and the rest of the paper uses only the relative Brauer pairs and the identity isomorphism of D.
- [Example 3.4] In the final paragraph of Example 3.4, the notation "N_G(P,b)" and "the Brauer pair (P,b)" should be replaced by "N_G(P,e_P)" and "the Brauer pair (P,e_P)", where e_P is the unique local block satisfying (P,e_P)≤(D,e_D); otherwise the statements are not meaningful under the definitions of §2.4.
- [Lemma 2.9] The notation "F=F_{(D,b)}(G,b)" in Lemma 2.9 conflicts with the notation of §2.5, where the fusion system of a block is written F_{(D,e_D)}(G,b); the second subscript should be e_D, not the global block b.
- [Lemma 3.1] In the proof of Lemma 3.1, the sentence "Since αp = αp" is confusing; the argument should write α^p for the p-th power of the factor set and use the convention that the reduction of α is α itself, namely \overline{α^p}=α^p.
- [Section 2] In §2.2, the map name "BPR" appears without the superscript R in a few places; this is likely a typo for BP^R(G) and should be harmonized with the notation introduced in §2.4.
Circularity Check
No significant circularity: the central obstruction argument is self-contained and imports only external theorem statements.
full rationale
The paper's central claim is that Kessar's isotypy between Galois conjugate blocks need not lift to a p-permutation equivalence, and that in some examples no p-permutation equivalence exists at all. The proof does not assume the conclusion. Theorem 3.2 derives a contradiction from the assumption that the specific isotypy of Theorem 2.13 lifts: lifting forces equality of Külshammer-Puig classes via the p-permutation equivalence, while Lemma 3.1 independently computes the class at the Galois conjugate pair as the Frobenius twist. This is a genuine reduction using an invariant that is not fitted to the target statement. Theorem 3.3 strengthens this by using the fusion-system condition to force the relevant automorphism to be inner, again without assuming the non-existence of the p-permutation equivalence. Example 3.4 constructs blocks using the external realization theorem of Aschbacher–Kessar–Oliver, quoted as Lemma 2.9. That theorem is not proved in the paper, but it is an independent external result, not a self-citation and not a renamed version of the paper's conclusion. The paper also relies on Kessar's isotypy construction and on Boltje–Perepelitsky's preservation theorem, both external, with no circular dependence on the author's own prior work. The concern that Lemma 2.9 may be imprecisely stated or may require additional hypotheses is a correctness or verification risk about an external premise, not an instance of circularity: the paper's derivation does not reduce to its own inputs. No fitted parameters are renamed as predictions, and no uniqueness result is imported from the author's own prior papers. The central mathematical content—the failure of Külshammer-Puig class preservation—is independent of the conclusions and is not constructed so as to force the answer. Accordingly, the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Külshammer-Puig class preservation under p-permutation equivalences ([4, Theorem 13.4])
- domain assumption Realization of saturated fusion systems as block fusion systems with prescribed Külshammer-Puig class (Lemma 2.9, [2, Proposition IV.5.35])
- domain assumption Boltje-Perepelitsky theorems on γ-Brauer pairs and induced isotypies ([4, Theorems 10.11, 11.2, 15.4])
- domain assumption The p-modular system (K,O,k) is large enough for G and k is algebraically closed
- standard math Standard facts about A_8, A_7 and H_2(A_7,Z) used in Example 3.4
Cite this review
Pith. "Pith review of Isotypic blocks of finite groups algebras that are not $p$-permutation equivalent." pith.science (2026). https://pith.science/paper/CWRIC5UM
@misc{pith2026250603446,
author = {Pith},
title = {Pith review of: Isotypic blocks of finite groups algebras that are not $p$-permutation equivalent},
year = {2026},
howpublished = {\url{https://pith.science/paper/CWRIC5UM}},
note = {Machine review of arXiv:2506.03446}
}
abstract
We show that Kessar's isotypy between Galois conjugate blocks of finite group algebras does not always lift to a $p$-permutation equivalence. We also provide examples of Galois conjugate blocks which are isotypic but not $p$-permutation equivalent. These results help to clarify the distinction between a $p$-permutation equivalence and an isotypy, and may be useful in determining necessary and sufficient conditions for when an isotypy lifts to a $p$-permutation equivalence.
Reference graph
Works this paper leans on
-
[2]
M. Aschbacher, R. Kessar, and B. Oliver. Fusion Systems in Algebra and Topology. London Mathematical Society Lecture Note Series. Cambridge University Press, 2011
work page 2011
-
[1]
J. L. Alperin and M. Brou´ e. Local methods in block theory. Ann. of Math., 110(1):143–157, 1979
work page 1979
-
[3]
D. J. Benson and R. Kessar. Blocks inequivalent to their frobenius twists. Journal of Algebra , 315:588–599, 2007
work page 2007
-
[4]
R. Boltje and P. Perepelitsky. p-permutation equivalences between blocks of group algebras. Journal of Algebra , 664:815–887, 2025
work page 2025
-
[5]
M. Brou´ e. Isom´ etries parfaites, types de blocs, cat´ egories d´ eriv´ ees. In Repr´ esentations lin´ eaires des groupes finis - Luminy, 16-21 mai 1988, number 181-182 in Ast´ erisque, pages 61–92. Soci´ et´ e math´ ematique de France, 1990
work page 1988
-
[6]
M. Brou´ e. Rickard equivalences and block theory. In Groups ’93 Gal- way/St Andrews , London Mathematical Society Lecture Note Series, pages 58–79. Cambridge University Press, 1995
work page 1995
-
[7]
R. Kessar. On isotypies between Galois conjugate blocks. In Build- ings, finite geometries and groups , volume 10 of Springer Proceedings in Mathematics, pages 153–162. Springer, New York, NY, 2012
work page 2012
-
[8]
M. Linckelmann. The Block Theory of Finite Group Algebras , volume 1 of London Mathematical Society Student Texts . Cambridge University Press, 2018
work page 2018
Show all 11 references
-
[9]
Nagao and Y
H. Nagao and Y. Tsushima. Representations of Finite Groups. Academic Press, San Diego, 1989
1989
-
[10]
J. Rickard. Splendid equivalences: derived categories and permutation modules. Proceedings of the London Mathematical Society , 72:331–358, 1996
1996
-
[11]
C. A. Weibel. An Introduction to Homological Algebra , volume 38 of Cambridge studies in advanced mathematics . Cambridge University Press, 1994. 15
1994
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.