Pith. sign in

REVIEW 2 major objections 5 minor 27 references

The Euler characteristic of an endotrivial complex

T0 review · 2 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read The paper proves the Lefschetz homomorphism is surjective for $\mathbb{F}_2$ when Sylow 2-fusion is normalizer-controlled or dihedral, for odd p when the Sylow p-subgroup is cyclic or the group is p-nilpotent, and gives explicit p-rank $\ge

desk verdict Solid new surjectivity theorems for p=2 and odd p, but the advertised rank-i non-surjectivity examples are only established for rank 2—Theorem 5.10 breaks for n ≥ p. read the letter →

arxiv 2508.07404 v1 pith:PBT5UUFG submitted 2025-08-10 math.RT math.GRmath.KT

Nadia Mazza , Sam K. Miller This is my paper · ORCID
classification math.RTmath.GRmath.KT MSC 20J0519A2220C0520C20
keywords endotrivialcomplexesLefschetzhomomorphismEulercharacteristictrivialsourceringorthogonalunitsBorel-Smithfunctionsp-permutationmodulessurjectivity
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

This paper studies the Lefschetz homomorphism $\Lambda: \mathcal{E}_k(G) \to O(T(kG))$ from the group of endotrivial complexes to the orthogonal units of the trivial source ring, and asks when it is surjective. It proves surjectivity over $\mathbb{F}_2$ for groups whose Sylow 2-subgroup has fusion controlled by its normalizer and for groups with dihedral Sylow 2-subgroups, and over odd p for p-nilpotent groups and groups with cyclic Sylow p-subgroups. It then exhibits, for every odd p and every $n \geq 2$, groups of p-rank n for which $\Lambda$ is not surjective, so no general surjectivity theorem can hold for odd p. The paper also computes the kernel of $\Lambda$ completely for p = 2 and for odd p when the Sylow p-subgroup is cyclic. If these surjectivity results are right, every orthogonal unit in those cases is realized as the Euler characteristic of an actual endotrivial complex, tying algebraic invariants of the trivial source ring to homotopy-theoretic objects.

What carries the argument

The load-bearing objects are the h-mark homomorphism $h: \mathcal{E}_k(G) \to CF(G,p)$ and the classification theorem that identifies its image with the group $CF^b(G,p)$ of Borel-Smith functions, up to the torsion subgroup $\mathrm{Hom}(G,k^\times)$. A Borel-Smith function is a superclass function on p-subgroups satisfying parity conditions and a rank-two additivity relation; it records, for each p-subgroup P, the degree in which the Brauer construction of the complex has nonzero homology. On the target side, the decomposition $O(T(kG)) \cong (B(S)^G)^\times \times (\prod_{P} \mathrm{Hom}(N_G(P)/P, k^\times))'$ separates the problem: for p = 2 surjectivity of $\Lambda$ is equivalent to surj

What would settle it

For $G = N_{S_{2p}}(S)$ with $S \cong C_p \times C_p$ and $p$ odd, take the coherent character tuple $\chi$ that is trivial at every p-subgroup except $S$, where $\chi_S(x) = -1$ for $x \in N_G(S) \setminus N_G(A)$ and $\chi_S(x) = 1$ otherwise, with $A$ one of the two factors of $S$. The paper's Proposition 5.9 asserts this tuple is not in the image of $\Lambda$, because the tuple group $R_G$ needs at least three generators while the endotrivial quotient has two. Finding an endotrivial complex $C$ whose h-marks and characters realize $\chi$, or a direct proof that $R_G$ is generated by two el

Watch

Extended reading notes

Core claim

The central claim is that the Lefschetz homomorphism $\Lambda: \mathcal{E}_k(G) \to O(T(kG))$ is governed by the p-local structure of G and is surjective in precisely the cases it lists. Over $k = \mathbb{F}_2$, Theorem 4.5 proves surjectivity whenever $N_G(S)$ controls fusion in a Sylow 2-subgroup S, and Corollary 4.10 proves it whenever S is dihedral; this covers all groups with abelian or resistant Sylow 2-subgroups, including $A_5$, $A_6$, $A_7$, and $PSL_2(q)$ for odd prime powers q. For odd p, Theorem 5.1 proves surjectivity for p-nilpotent groups and Theorem 5.8 for groups with cyclic Sylow p-subgroups, using the periodicity $2\Phi(S)$. Proposition 5.9 and Theorem 5.10 then construct,

Load-bearing premise

All of the paper's rank, surjectivity, and kernel statements assume the previously proved classification of endotrivial complexes: that the h-mark map realizes exactly the Borel-Smith functions, with kernel the one-dimensional characters. If that classification had a counterexample, the whole argument would lose its foundation.

Editorial extensions

If this is right

  • Over $\mathbb{F}_2$, every orthogonal unit of the trivial source ring is the Euler characteristic of an endotrivial complex whenever the Sylow 2-fusion is normalizer-controlled or the Sylow 2-subgroup is dihedral; this includes all abelian and resistant Sylow 2-subgroups, and covers $A_5$, $A_6$, $A_7$, and $PSL_2(q)$ for odd q.
  • For odd p, all orthogonal units are realized for p-nilpotent groups and for groups with cyclic Sylow p-subgroups, so in these families the surjectivity question is closed.
  • For every odd p and every $n \geq 2$ there are groups of p-rank n whose Lefschetz homomorphism is not surjective, so a classification of surjectivity for odd p must involve restrictions stronger than rank or Sylow shape alone.
  • An endotrivial complex over $\mathbb{F}_2$ with trivial homology has zero Euler characteristic exactly when its h-mark function is even-valued, giving a complete kernel description; for odd p with cyclic Sylow subgroups the analogous criterion is congruence modulo $2\Phi(S)$.

Reading between the lines

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

  • The paper leaves open whether $\Lambda$ is surjective for every group over $\mathbb{F}_2$; if it is, then over $\mathbb{F}_2$ every p-permutation autoequivalence of the trivial source ring would be induced by a splendid Rickard autoequivalence, since orthogonal units are exactly what induce p-permutation equivalences. That implication goes beyond the paper's theorems.
  • The odd-p rank-counting criterion suggests a cheap way to search for more failures: compute the minimum number of generators of the reduced coherent character tuple group $R_G$ and compare it with the number of conjugacy classes of cyclic p-subgroups minus one. Applying this to families with quaternion or semidihedral Sylow subgroups would test the paper's expectation that most p-rank 2 groups fai
  • The kernel for odd p would be completely determined if one knew whether $H_C(P)=1$ for all cyclic p-subgroups P forces $H_C \equiv 1$; a small computer search over groups with non-cyclic Sylow p-subgroups could settle that open question, and a positive answer would complete the kernel description.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper studies the Lefschetz homomorphism Λ from the group of endotrivial complexes E_k(G) to the orthogonal unit group O(T(kG)) of the trivial source ring. The main results are: for p=2 and k=F_2, Λ is surjective whenever a Sylow 2-subgroup has fusion controlled by its normalizer (Theorem 4.5) and whenever the Sylow 2-subgroup is dihedral (Theorem 4.8 and Corollary 4.10); for odd p, Λ is surjective for p-nilpotent groups (Theorem 5.1) and for groups with cyclic Sylow p-subgroups (Theorem 5.8). The paper also claims counterexamples to surjectivity for p-rank at least 2 (Proposition 5.9 and Theorem 5.10) and gives partial results on ker Λ (Theorems 6.1 and 6.2). The arguments combine the author's prior classification of endotrivial complexes with Boltje-Carman's description of the orthogonal unit group, and in the p=2 case rely on Tornehave/Yalçın surjectivity for p-groups together with explicit bases for the dihedral cases.

Significance. If the stated results hold, this is a substantial contribution to the comparison between splendid Rickard equivalences and p-permutation equivalences: the surjectivity results give large families where every orthogonal unit is the Euler characteristic of an endotrivial complex, while the proposed counterexamples would show that the two families of equivalences genuinely diverge. The p=2 theorems are clean and the cyclic-Sylow odd-p theorem is nontrivial. The paper is honest that the classification theorem [Mil25a] is an external load-bearing input, and the kernel results are clearly presented as partial. However, the general-rank counterexample theorem, which is advertised in the introduction, has a serious gap for n ≥ p, so the scope of the paper's central claim is not currently established.

major comments (2)
  1. [§5.2, Theorem 5.10] The proof of Theorem 5.10 is incomplete for n ≥ p. The proof itself notes that E ≅ C_p^n is 'a p-subgroup (not necessarily Sylow)'. When n ≥ p, S_n has p-torsion, so the Sylow p-subgroup of G = (C_p ⋊ C_{p-1})^n ⋊ S_n is strictly larger than E, and there are cyclic p-subgroups not conjugate to subgroups of E; for p=3, n=3, the element ((a,a^{-1},1),(1 2 3)) has order 3 and lies outside E. Hence c(G) > n+1. The proof only establishes that R_G has at least n+1 generators, whereas Observation 5.3 requires at least c(G) generators. Thus non-surjectivity of Λ is not established for n ≥ p. Moreover, for n ≥ p the Sylow p-subgroup is not elementary abelian, contradicting the introduction's claim of groups with elementary abelian Sylow p-subgroups of rank i for every i ≥ 2. The theorem must be repaired, or the claim restricted to n < p with the introduction amended accordingly.
  2. [§5.1, proof of Theorem 5.8] The reduction step asserts that restriction induces an isomorphism T E(G) ≅ T E(N_G(C)) and adds the parenthetical 'this holds for any group containing S'. This is false in general: if H contains a Sylow p-subgroup S, then T E(H) has rank c(H), and G-conjugacy can be coarser than H-conjugacy, so restriction need not be bijective. In the specific case H = N_G(C), where C is the unique subgroup of order p in a cyclic Sylow p-subgroup, Burnside's fusion theorem does give equality of conjugacy classes of cyclic p-subgroups, so the claim is probably true; but it needs to be stated and proved. Please replace the parenthetical with the specific fusion argument.
minor comments (5)
  1. [Remark 4.6] 'Λ is injective' cannot be right. The paper's own Theorem 6.2 shows that for p=2 a nonzero endotrivial complex with even h-marks lies in ker Λ (e.g. h=2f for a nonzero Borel-Smith function), so Λ is not injective even for resistant Sylow 2-subgroups. The sentence presumably should say 'surjective', already proved in Theorem 4.5.
  2. [Theorem 4.5, final sentence] The notation mixes G and G′: the trace should be over N_{G′}(S) (or the common fusion system), not N_G(S). Please rewrite the last sentence of the proof.
  3. [Proposition 5.6] 'Let p be a prime and let G be a p-group with cyclic Sylow p-subgroup S' should read 'finite group' (and similarly in the following sentence).
  4. [Theorem 5.1, proof] The phrase 'NG(P)/CG(P) is a P-group' should be 'a p-group'; using 'P' for both a subgroup and a property is confusing.
  5. [Tables 3 and 4] The headers in Table 3 repeat K1 K2, and the bases for the fusion systems F^I/F^II would be easier to check if the conventions for H1, H2, K1, K2 were repeated in the table captions. Please clarify.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the paper leans on prior classifications by the same author, but those are external proved theorems whose assumptions do not include the paper's surjectivity claims.

full rationale

The central derivation chain is: (1) Theorem 2.13 quotes Miller's classification [Mil25a] that the h-mark map has image CF^b(G,p) and kernel Hom(G,k^×), giving the rank c(G) of E_k(G). This is load-bearing, but it is a prior published theorem about endotrivial complexes, not an assumption of the Lefschetz surjectivity results; the paper's conclusions are not built into that classification. (2) Theorem 3.10 identifies Λ with the pair (dim(h_C), H(C)), reformulating [Mil24a, Props 4.5–4.6]; again this is a prior result, not a circular redefinition of surjectivity. (3) The p=2 surjectivity results (Theorems 4.5, 4.8, Corollary 4.10) reduce surjectivity of Λ to surjectivity of the dimension map on Borel-Smith functions into the Burnside unit group, then use Tornehave/Yalçın's theorem for p-groups and explicit finite bases. These are independent computations. (4) The odd p results (Theorems 5.1 and 5.8) use [BC23] and standard group-theoretic facts (Frobenius normal p-complement theorem, Swan's periodic cohomology), plus the quoted classification; the surjectivity statements do not reduce by construction to the inputs. (5) The counterexamples (Propositions 5.9 and Theorem 5.10) use Observation 5.3, a rank argument comparing the number of generators of R_G with c(G), and explicit coherent character tuples; this is a genuine construction, not a relabeling of the conclusion. The manuscript's self-citations are numerous and load-bearing, but they are citations to externally established theorems with proofs, not to the target results. The proof gap noted by a skeptic for Theorem 5.10 when n ≥ p (S_n has p-torsion) is a correctness concern about the argument, not a circularity: the claim is not assumed in the hypotheses. Accordingly, no circular step meets the evidentiary threshold, and the paper should receive a low circularity score.

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

The paper introduces no fitted parameters and no new postulated entities. It works with established objects (endotrivial complexes, the trivial source ring, Burnside rings, Borel-Smith functions) and relies on prior classifications and standard group theory. The central claims rest on external theorems rather than on assumptions tailored to produce the target results.

assumptions (5)
  • domain assumption Classification of endotrivial complexes (Theorem 2.13, quoted from [Mil25a]): the h-mark map h: E_k(G) -> CF(G,p) has image CF^b(G,p) and kernel Hom(G,k^x).
    Used throughout to compute ranks, identify the image of the dimension map, and transfer surjectivity results from Borel-Smith functions to endotrivial complexes. If false, the paper's main theorems would not follow.
  • domain assumption Boltje-Carman description of the orthogonal unit group (Theorem 3.4, quoted from [BC23]): O(T(kG)) is isomorphic to (B(S)^G)^x times a product of character tuples.
    This decomposition is the target of Lambda and underlies the reduction of surjectivity to the dimension map and to coherent character tuples.
  • domain assumption Tornehave/Yalcın theorem: the dimension homomorphism dim: CF^b(S) -> B(S)^x is surjective for every 2-group S.
    Used in the p=2 arguments (Theorems 4.5 and 4.8) to lift units of the Burnside ring to Borel-Smith functions.
  • standard math Frobenius normal p-complement theorem (Gorenstein, Theorem 7.4.5).
    Used in the proof of Theorem 5.1 for p-nilpotent groups to conclude that the reduced coherent character tuple group is trivial.
  • standard math Burnside's fusion theorem (Aschbacher-Kessar-Oliver, Proposition 4.5).
    Used in Remark 5.5 and Proposition 5.6 to show that for cyclic Sylow p-subgroups, F_S(G) = F_S(N_G(S)), which is needed for the cyclic Sylow surjectivity proof.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Euler characteristic of an endotrivial complex." pith.science (2026). https://pith.science/paper/PBT5UUFG

@misc{pith2026250807404,
  author       = {Pith},
  title        = {Pith review of: The Euler characteristic of an endotrivial complex},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PBT5UUFG}},
  note         = {Machine review of arXiv:2508.07404}
}
abstract

Let $G$ be a finite group and $k$ a field of prime characteristic $p$. We examine the Lefschetz homomorphism $\Lambda: \mathcal{E}_k(G) \to O(T(kG))$ from the group of endotrivial complexes, i.e. the Picard group of the bounded homotopy category of $p$-permutation modules $K^b({}_{kG}\mathbf{triv})$, to the orthogonal unit group of the Grothendieck group of $K^b({}_{kG}\mathbf{triv})$, i.e. the trivial source ring. When $p = 2$ and $k = \mathbb{F}_2$, $\Lambda$ is surjective when $G$ has a Sylow $2$-subgroup with fusion controlled by its normalizer, and when $G$ has dihedral Sylow $2$-subgroups. When $p$ is odd, $\Lambda$ is surjective if $G$ has a cyclic Sylow $p$-subgroup or is $p$-nilpotent, but we exhibit examples of groups of $p$-rank 2 or greater for which $\Lambda$ is not surjective. We also examine the kernel of the Lefschetz homomorphism, determining it for all groups when $p = 2$ and for groups with cyclic Sylow $p$-subgroups when $p$ is odd.

Figures

Figures reproduced from arXiv: 2508.07404 by the authors.

Figure 1
Figure 1. The three fusion systems associated to D8. The fusion system F I D8 fuses the subgroups connected by the dotted I, and the fusion system F II D8 fuses the subgroups connected by both the dotted I and II. The picture is analogous for all D2n with n ≥ 3, as no subgroups of greater order are fused. We next recall Ek(S) ∼= CFb(S) and B(S) ×. Since CFb(−) is a biset functor, we have a decomposition CFb(S) = M N⊴S ∂ InfS … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 15 canonical work pages

  1. [1]

    Aschbacher, R

    M. Aschbacher, R. Kessar, and B. Oliver. Fusion Systems in Algebra and Topology . Cambridge University Press, 2011

    work page 2011

  2. [2]

    Bachmann

    T. Bachmann. Invertible Objects in Motivic Homotopy Theory . PhD thesis, Ludwig–Maximilians–Universit\" a t M\" u nchen, 2016

    work page 2016

  3. [3]

    L. Barker. Tornehave morphisms I : R esurrecting the virtual permutation sets annihilated by linearization. Comm. Algebra , 39:355--395, 2011

    work page 2011

  4. [4]

    Boltje and R

    R. Boltje and R. Carman. The orthogonal unit group of the trivial source ring. J. Algebra , 614(1):806--824, 2023

    work page 2023

  5. [5]

    Balmer and M

    P. Balmer and M. Gallauer. Permutation modules, Mackey functors, and Artin motives , chapter 3. EMS Press, 2023

    2023

  6. [6]

    Balmer and M

    P. Balmer and M. Gallauer. The geometry of permutation modules. Inv. Math. , 2025

    2025

  7. [7]

    S. Bouc. The functor of units of Burnside rings for p -groups. Comment. Math. Helv. , 82(3):583--615, 2007

    work page 2007

  8. [8]

    S. Bouc. Biset Functors for Finite Groups . Springer, 2010

    work page 2010

Show all 27 references
  1. [9]

    Boltje and P

    R. Boltje and P. Perepelitsky. p -permutation equivalences between blocks of group algebras. arXiv:2007.09253 [math.GR] , 2020

    2007 arXiv

  2. [10]

    Bouc and E

    S. Bouc and E. Yal c in. Borel-Smith functions and the Dade group. J. Algebra , 311:821--839, 2007

    2007

  3. [11]

    Fuhrmann

    Y. Fuhrmann. Modular fixed points in equivariant homotopy theory. arXiv:2506.21413 [math.AT] , 2025

    2025 arXiv

  4. [12]

    Gorenstein

    D. Gorenstein. Finite Groups . AMS Chelsea Publishing, 1968

    1968

  5. [13]

    Gorenstein and J

    D. Gorenstein and J. H. Walter. The characterization of finite groups with dihedral S ylow 2-subgroups. J. Algebra , 2(1):85--151, 1965

    1965

  6. [14]

    S. Illman. Equivariant singular homology and cohomology. Bull. Amer. Math. Soc , 79:188--192, 1973

    1973

  7. [15]

    Lassueur

    C. Lassueur. A tour of p -permutation modules and related classes of modules. Jahresbericht der Deutschen Mathematiker-Vereinigung , 125:137--189, 2023

    2023

  8. [16]

    Linckelmann

    M. Linckelmann. Introduction to Fusion Systems , chapter 3. EPFL Press English Imprint, 2007

    2007

  9. [17]

    Linckelmann

    M. Linckelmann. The Block Theory of Finite Group Algebras, Volume 1 . Cambridge University Press, 2018

    2018

  10. [18]

    S. K. Miller. Endotrivial complexes. J. Algebra , 650:173--218, 2024

    2024

  11. [19]

    S. K. Miller. On endosplit p -permutation resolutions and B rou\' e 's conjecture for p -solvable groups. arXiv:2408.04094 [math.RT] , 2024

    2024 arXiv

  12. [20]

    S. K. Miller. The classification of endotrivial complexes. Adv. Math. , 478:110414, 2025

    2025

  13. [21]

    S. K. Miller. Relatively endotrivial complexes. J. Pure. Appl. Algebra , 229(2):107867, 2025

    2025

  14. [22]

    R. Stancu. Almost all generalized extraspecial p -groups are resistant. J. Algebra , 249(1):120--126, 2002

    2002

  15. [23]

    R. G. Swan. Groups with periodic cohomology. Bull. Amer. Math. Soc. , 65:368--370, 1959

    1959

  16. [24]

    tom Dieck

    T. tom Dieck. Transformation groups . Walter de Gruyter, 1987

    1987

  17. [25]

    Tornehave

    J. Tornehave. The unit group for the B urnside ring of a 2-group. Aarhus Universitet Preprint series , 41, 1984

    1984

  18. [26]

    Yal c in

    E. Yal c in. An induction theorem for the unit groups of Burnside rings of 2-groups. J. Algebra , 289:105--127, 2005

    2005

  19. [27]

    Yal c in

    E. Yal c in. Equivariant M oore spaces and the D ade group. Adv. Math. , 309:209--237, 2017

    2017

Pith tools

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