English

The Euler characteristic of an endotrivial complex

Representation Theory 2025-08-12 v1 Group Theory K-Theory and Homology

Abstract

Let GG be a finite group and kk a field of prime characteristic pp. We examine the Lefschetz homomorphism Λ:Ek(G)O(T(kG))\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 pp-permutation modules Kb(kGtriv)K^b({}_{kG}\mathbf{triv}), to the orthogonal unit group of the Grothendieck group of Kb(kGtriv)K^b({}_{kG}\mathbf{triv}), i.e. the trivial source ring. When p=2p = 2 and k=F2k = \mathbb{F}_2, Λ\Lambda is surjective when GG has a Sylow 22-subgroup with fusion controlled by its normalizer, and when GG has dihedral Sylow 22-subgroups. When pp is odd, Λ\Lambda is surjective if GG has a cyclic Sylow pp-subgroup or is pp-nilpotent, but we exhibit examples of groups of pp-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=2p = 2 and for groups with cyclic Sylow pp-subgroups when pp is odd.

Keywords

Cite

@article{arxiv.2508.07404,
  title  = {The Euler characteristic of an endotrivial complex},
  author = {Nadia Mazza and Sam K. Miller},
  journal= {arXiv preprint arXiv:2508.07404},
  year   = {2025}
}

Comments

26 pages

R2 v1 2026-07-01T04:43:13.920Z