Endotrivial Complexes

• Endotrivial complexes are invertible objects in the bounded homotopy category of p-permutation modules, characterized by C* ⊗ C ≃ k[0].
• They extend endotrivial modules into a richer tensor-triangulated setting, with classification relying on local invariants and one-dimensional characters.
• Applications include establishing splendid Rickard equivalences and linking modular representation theory with equivariant topology through Borel–Smith functions.

Endotrivial complexes are the invertible objects in the bounded homotopy category of $p$-permutation modules for a finite group. For a finite group $G$, a field $k$ of characteristic $p$, and the bounded homotopy category

$K^b({}_{kG}\mathbf{triv}),$

where ${}_{kG}\mathbf{triv}$ denotes the category of finitely generated $p$-permutation (equivalently, trivial source) $kG$-modules, an endotrivial complex $C$ is characterized by

$C^*\otimes_k C \simeq k[0].$

Its equivalence class lies in the Picard group

$G$0

which extends the classical group of endotrivial modules from degree-zero objects to a tensor-triangulated context (Miller, 2024). The subject now encompasses a complete classification over fields of prime characteristic, relative variants defined by $G$1-projectivity, Euler-characteristic and Lefschetz invariants, and an integral generalization over arbitrary commutative Noetherian rings (Miller, 2024, Miller, 2024, Mazza et al., 10 Aug 2025, Gómez et al., 29 May 2026).

1. Foundational setup and categorical meaning

The category $G$2 is symmetric monoidal under degreewise tensor product over $G$3, with unit $G$4. If $G$5 is a bounded chain complex of $G$6-permutation $G$7-modules, its dual is

$G$8

and in this category one has

$G$9

Accordingly, $k$0 is endotrivial precisely when it is tensor-invertible, or equivalently when

$k$1

The group law on $k$2 is induced by tensor product,

$k$3

the identity is $k$4, and the inverse is $k$5 (Miller, 2023).

Classical endotrivial modules are recovered as complexes concentrated in degree $k$6: if $k$7 is an endotrivial $k$8-module, then $k$9 is an endotrivial complex. However, the extension from modules to complexes is genuinely richer. An endotrivial complex need not be quasi-isomorphic to an endotrivial module in degree $p$0; its local structure is encoded by a degree function on $p$1-subgroups, the $p$2-mark (Miller, 2024).

The bounded homotopy category is also the natural home of splendid Rickard theory. If $p$3 is endotrivial, then

$p$4

is a splendid Rickard autoequivalence of $p$5, and this construction yields an injective homomorphism

$p$6

where $p$7 denotes the group of splendid Rickard autoequivalences modulo homotopy (Miller, 2023).

2. Local invariants and the classification over fields

A central structural theorem is the Brauer-local criterion: a bounded complex $p$8 is endotrivial if and only if, for every $p$9, the Brauer construction $K^b({}_{kG}\mathbf{triv}),$0 has nonzero homology in exactly one degree, and in the endotrivial case that homology is one-dimensional (Miller, 2023). This leads to two local invariants. For an endotrivial complex $K^b({}_{kG}\mathbf{triv}),$1, one defines

$K^b({}_{kG}\mathbf{triv}),$2

as the unique degree with

$K^b({}_{kG}\mathbf{triv}),$3

and

$K^b({}_{kG}\mathbf{triv}),$4

which is a $K^b({}_{kG}\mathbf{triv}),$5-dimensional $K^b({}_{kG}\mathbf{triv}),$6-module. These assemble into an injective homomorphism

$K^b({}_{kG}\mathbf{triv}),$7

Projecting to the integer coordinate gives the $K^b({}_{kG}\mathbf{triv}),$8-mark homomorphism

$K^b({}_{kG}\mathbf{triv}),$9

The complete classification theorem states that for every finite group ${}_{kG}\mathbf{triv}$0,

${}_{kG}\mathbf{triv}$1

is a split exact sequence of abelian groups. Equivalently,

${}_{kG}\mathbf{triv}$2

noncanonically. Here ${}_{kG}\mathbf{triv}$3 is the group of Borel–Smith superclass functions on the ${}_{kG}\mathbf{triv}$4-subgroups of ${}_{kG}\mathbf{triv}$5; thus the free part of ${}_{kG}\mathbf{triv}$6 is described by Borel–Smith functions, while the torsion is exactly the group of one-dimensional ${}_{kG}\mathbf{triv}$7-modules (Miller, 2024).

For ${}_{kG}\mathbf{triv}$8-groups the picture simplifies drastically. Since every one-dimensional module over a ${}_{kG}\mathbf{triv}$9-group in characteristic $p$0 is trivial,

$p$1

In fact the paper proves

$p$2

as rational $p$3-biset functors, so the classification is functorial rather than merely pointwise (Miller, 2024).

The Borel–Smith conditions are the precise congruence and rank-two relations satisfied by $p$4-marks. For example, if $p$5, then

$p$6

If $p$7 is cyclic of order $p$8 for odd $p$9, or cyclic of order $kG$0, then

$kG$1

and if $kG$2 is quaternion of order $kG$3, then

$kG$4

These conditions identify exactly which integer-valued superclass functions occur as $kG$5-marks of endotrivial complexes (Miller, 2024).

A recurrent misconception is that the theory adds nothing beyond endotrivial modules and shifts. The classification shows otherwise: the free part is governed by local integer data on all $kG$6-subgroups, and an endotrivial complex can carry $kG$7-mark information not realizable by any degree-zero module (Miller, 2024).

3. Relative endotrivial complexes

A relative theory replaces projective error terms by $kG$8-projective ones, where a $kG$9-module or bounded complex $C$0 is $C$1-projective if

$C$2

for some $C$3. For a bounded complex $C$4, three notions are introduced:

1. Weakly $C$5-endotrivial:

$C$6

where $C$7 is a bounded chain complex of $C$8-projective $C$9-modules.

2. Strongly $C^*\otimes_k C \simeq k[0].$0-endotrivial:

$C^*\otimes_k C \simeq k[0].$1

where $C^*\otimes_k C \simeq k[0].$2 is a bounded $C^*\otimes_k C \simeq k[0].$3-projective $C^*\otimes_k C \simeq k[0].$4-chain complex.

3. $C^*\otimes_k C \simeq k[0].$5-endosplit-trivial:

$C^*\otimes_k C \simeq k[0].$6

where $C^*\otimes_k C \simeq k[0].$7 is a $C^*\otimes_k C \simeq k[0].$8-projective $C^*\otimes_k C \simeq k[0].$9-module.

These satisfy

$G$00

and when $G$01 all three coincide with ordinary endotriviality (Miller, 2024).

The relative groups of classes are denoted

$G$02

with $G$03. A relatively endotrivial complex has a unique indecomposable relatively endotrivial direct summand, called the cap, and this yields Dade-group-style descriptions for $G$04 and $G$05 (Miller, 2024).

The local criterion remains Brauer-theoretic. If $G$06 is a $G$07-permutation module, absolutely $G$08-divisible, and

$G$09

then $G$10 is weakly $G$11-endotrivial if and only if for all $G$12, $G$13 has nonzero homology concentrated in exactly one degree, with the nontrivial homology having $G$14-dimension one. For $G$15-endosplit-triviality, the analogous statement runs over all $G$16, and for $G$17 the local homology must again be one-dimensional (Miller, 2024).

The $G$18-mark technology extends as well. For weakly $G$19-endotrivial complexes,

$G$20

and for $G$21-endosplit-trivial complexes,

$G$22

In both cases the kernel is the module-theoretic torsion subgroup: $G$23 Hence $G$24 and $G$25 are finitely generated abelian, and the relative $G$26-mark captures the torsion-free part (Miller, 2024).

The relative theory is not merely a formal variation. The paper shows that the relative setting can be strictly larger than the ordinary one, and it does not fully classify all strongly $G$27-endotrivial complexes in general (Miller, 2024).

4. Euler characteristic, Lefschetz invariants, and orthogonal units

For an endotrivial complex $G$28, the Lefschetz invariant is

$G$29

where $G$30 is the trivial source ring. This defines the Lefschetz homomorphism

$G$31

with $G$32 the orthogonal unit group of the trivial source ring (Miller, 2023).

Under the Boltje–Carman decomposition, the paper identifies $G$33 explicitly in terms of local invariants: $G$34 where

$G$35

Thus the Euler characteristic of an endotrivial complex consists of the parity pattern of its $G$36-marks together with its local one-dimensional homology characters (Mazza et al., 10 Aug 2025).

This connects endotrivial complexes to $G$37-permutation equivalences and splendid Rickard theory. For a $G$38-group $G$39, the paper proves that

$G$40

is surjective, and deduces that every $G$41-permutation autoequivalence of a $G$42-group arises from a splendid Rickard autoequivalence (Miller, 2024). More generally, when $G$43 and $G$44, $G$45 is surjective when $G$46 has a Sylow $G$47-subgroup with fusion controlled by its normalizer, and when $G$48 has dihedral Sylow $G$49-subgroups. When $G$50 is odd, $G$51 is surjective if $G$52 has a cyclic Sylow $G$53-subgroup or is $G$54-nilpotent, but there are examples of groups of $G$55-rank $G$56 or greater for which $G$57 is not surjective (Mazza et al., 10 Aug 2025).

The kernel is similarly explicit in important cases. For $G$58, an endotrivial complex with trivial homology lies in $G$59 if and only if its $G$60-mark is even-valued. For odd $G$61 and cyclic Sylow $G$62-subgroups, the criterion is: $G$63 if and only if $G$64 is even-valued and, for every nontrivial $G$65-subgroup $G$66,

$G$67

where

$G$68

These results show that the Euler characteristic map is highly structured, but not universally surjective (Mazza et al., 10 Aug 2025).

5. Integral and Noetherian coefficient generalizations

The theory extends from fields to arbitrary commutative Noetherian rings. If $G$69 is a commutative Noetherian ring, let

$G$70

the bounded homotopy category of finitely generated $G$71-permutation $G$72-modules. An endotrivial complex over $G$73 is an invertible object of $G$74, so the relevant group is

$G$75

This is the Picard group of the derived category of permutation modules for $G$76 over $G$77 (Gómez et al., 29 May 2026).

For connected Noetherian $G$78, the main classification is

$G$79

a split exact sequence. Equivalently,

$G$80

where $G$81 is the subgroup of characters $G$82 such that the rank-one module $G$83 is $G$84-permutation, and $G$85 is the group of fiberwise Borel–Smith functions glued across connected components of the arithmetic fibers (Gómez et al., 29 May 2026).

In the integral case the classification becomes especially clean: $G$86 Here the line-bundle term $G$87 and the rank-one $G$88-permutation term $G$89 vanish, so integral endotrivial complexes are classified purely by Borel–Smith functions on prime-power subgroups (Gómez et al., 29 May 2026).

The global structure is controlled by descent. The paper proves

$G$90

and hence

$G$91

where $G$92 is the full subcategory of the orbit category on subgroups of prime-power order. Thus an endotrivial for $G$93 is exactly a restriction-coherent system of endotrivials on prime-power subgroups (Gómez et al., 29 May 2026).

A further structural result is that oriented endotrivial complexes are line bundles on the Balmer spectrum: they become shifts of the tensor unit on an open cover of $G$94. At the same time, the integral theory is not exhausted by topology: not every endotrivial with integer coefficients arises from a homotopy representation, and for non-nilpotent groups the natural map

$G$95

need not be surjective (Gómez et al., 29 May 2026).

6. Relations to endotrivial modules, orbit categories, and homotopical models

Endotrivial complexes extend several earlier frameworks for endotrivial modules rather than replacing them. In stable module theory, endotrivial modules are invertible objects in the stable module category, and for cyclic $G$96-groups and generalized quaternion groups one has

$G$97

This identification was computed homotopically by Galois descent and Picard spectral sequences, with explicit results such as

$G$98

showing that endotriviality can already be treated as a problem about Picard groups of stable homotopy theories (Meer et al., 2021). This provides a direct conceptual precursor to the complex-level Picard groups studied later.

Orbit-category and topos-theoretic approaches to endotrivial modules are likewise relevant. For the Sylow-trivial subgroup

$G$99

the comparison theorem

$k$00

identifies Balmer’s Čech-cohomological formula with Grodal’s category-cohomological formula. The same paper also proves

$k$01

where $k$02 is the Picard group of the ringed site $k$03, so Sylow-trivial modules become invertible $k$04-linear presheaves on the orbit category (Xu et al., 2023). This is not yet a theory of endotrivial complexes, but it shows that invertibility questions in modular representation theory can be recast as descent and sheaf-theoretic Picard problems.

A complementary geometric model identifies the relative endotrivial module group with prime-to-$k$05 torsion equivariant line bundles on the Brown complex: $k$06 Here $k$07 is the simplicial complex of non-trivial $k$08-subgroups. This realization encodes relative endotriviality by equivariant line bundles and weak homomorphisms, and it makes the connection between modular representation theory and equivariant topology explicit (Balmer, 2015).

Two clarifications follow from the later complex theory. First, endotrivial complexes are not merely endotrivial modules placed in degree $k$09; the classification by $k$10-marks shows that the complex theory has genuinely new free directions (Miller, 2024). Second, not every orthogonal unit in the trivial source ring is the Euler characteristic of an endotrivial complex; the failure of surjectivity of $k$11 in odd characteristic and in groups of $k$12-rank at least $k$13 shows that the passage from decategorified $k$14-permutation data to actual invertible complexes is constrained (Mazza et al., 10 Aug 2025).

Taken together, these results place endotrivial complexes at the intersection of modular representation theory, biset-functor methods, orbit-category cohomology, tensor-triangular geometry, and equivariant topology. Over fields of characteristic $k$15, they are completely classified by one-dimensional characters and Borel–Smith $k$16-marks; in the relative setting they admit $k$17-projective refinements with their own local invariants; and over general Noetherian rings they organize into a genuinely arithmetic Picard theory of permutation-module complexes (Miller, 2024, Miller, 2024, Gómez et al., 29 May 2026).