The Euler characteristic of an endotrivial complex
Abstract
Let be a finite group and a field of prime characteristic . We examine the Lefschetz homomorphism from the group of endotrivial complexes, i.e. the Picard group of the bounded homotopy category of -permutation modules , to the orthogonal unit group of the Grothendieck group of , i.e. the trivial source ring. When and , is surjective when has a Sylow -subgroup with fusion controlled by its normalizer, and when has dihedral Sylow -subgroups. When is odd, is surjective if has a cyclic Sylow -subgroup or is -nilpotent, but we exhibit examples of groups of -rank 2 or greater for which is not surjective. We also examine the kernel of the Lefschetz homomorphism, determining it for all groups when and for groups with cyclic Sylow -subgroups when is odd.
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