arxiv: 2604.19123 · v2 · submitted 2026-04-21 · 🧮 math.RT · math.CT

Recognition: unknown

Ore's theorem for thick subcategories

Authors on Pith no claims yet

Pith reviewed 2026-05-10 02:01 UTC · model grok-4.3

classification 🧮 math.RT math.CT

keywords thick subcategoriesderived categoriesfinite groupsp-nilpotent groupsdistributive latticesrepresentation theoryperfect complexesOre's theorem

0 comments

The pith

The bounded derived category of representations of a finite group over a field of characteristic p has a distributive lattice of thick subcategories precisely when the group is p-nilpotent.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a precise group-theoretic condition under which the lattice of thick subcategories in the bounded derived category of finite-dimensional representations becomes distributive. It proves this occurs exactly for p-nilpotent groups when the base field is algebraically closed of characteristic p. The authors also supply necessary and sufficient criteria that decide the same property for the bounded derived category and the perfect complexes of any finite-dimensional algebra over such a field. A sympathetic reader cares because the result translates a lattice-theoretic feature of a triangulated category into a concrete property of the underlying group, linking representation theory directly to classical group structure. This supplies both a classification for groups and a general test for algebras.

Core claim

The bounded derived category of finite dimensional representations of a finite group G over an algebraically closed field k of characteristic p has a distributive lattice of thick subcategories if and only if G is p-nilpotent. The same holds for the perfect complexes. Along the way the paper gives necessary and sufficient criteria for the bounded derived category and for the perfect complexes of an arbitrary finite-dimensional k-algebra to have distributive lattices of thick subcategories.

What carries the argument

The lattice of thick subcategories of the bounded derived category (or of the perfect complexes) of a finite-dimensional algebra, together with the explicit criteria that decide when this lattice is distributive.

If this is right

For every finite-dimensional k-algebra there exist explicit necessary and sufficient conditions determining whether its thick-subcategory lattice is distributive.
These conditions specialize to finite groups to yield the exact characterization by p-nilpotence.
Both the bounded derived category and the subcategory of perfect complexes obey the same distributivity criteria.
The lattice property can be read off from the group structure without computing the full category.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result suggests that other lattice-theoretic or categorical properties of derived categories may likewise reduce to group-theoretic invariants for suitable classes of algebras.
One could test whether the same p-nilpotence condition governs distributivity in related categories, such as the stable module category.
The criteria for algebras might be applied to classify further families of algebras whose thick-subcategory lattices are distributive.

Load-bearing premise

The base field must be algebraically closed of characteristic p and the groups or algebras must be finite-dimensional over it.

What would settle it

Exhibit a finite group that is not p-nilpotent whose bounded derived category of representations nevertheless has a distributive lattice of thick subcategories, or exhibit a p-nilpotent group whose lattice fails to be distributive.

read the original abstract

We characterize those finite groups for which the bounded derived category of finite dimensional representations over an algebraically closed field of characteristic $p$ has distributive lattice of thick subcategories: they are precisely the $p$-nilpotent groups. Along the way we give necessary and sufficient criteria for the bounded derived category and perfect complexes of a finite dimensional $k$-algebra to have distributive lattices of thick subcategories.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Gratz and Stevenson characterize p-nilpotent groups exactly by the distributivity of the thick subcategory lattice in D^b(kG) and give explicit necessary-and-sufficient criteria for finite-dimensional algebras.

read the letter

The main point is that they identify the finite groups G where the lattice of thick subcategories in the bounded derived category of kG (k algebraically closed of char p) is distributive, and these turn out to be precisely the p-nilpotent ones. Along the way they state necessary and sufficient conditions on a general finite-dimensional k-algebra A so that both D^b(A) and its perfect complexes have distributive thick-subcategory lattices.

Referee Report

0 major / 3 minor

Summary. The paper establishes necessary and sufficient criteria for the lattice of thick subcategories of the bounded derived category D^b(A) (and of the perfect complexes) of a finite-dimensional algebra A over an algebraically closed field k to be distributive. Specializing to A = kG for a finite group G, it shows that this distributivity holds if and only if G is p-nilpotent (p = char(k)).

Significance. If the criteria hold, the result supplies a clean, group-theoretic characterization of a categorical property of derived categories of group algebras. The general criteria for finite-dimensional algebras are a useful intermediate step that may apply beyond groups. The manuscript ships explicit necessary-and-sufficient conditions rather than ad-hoc restrictions, which strengthens the claim.

minor comments (3)

§2 (criteria for algebras): the statement of the main criterion for D^b(A) would benefit from an explicit reminder of the standing finite-dimensionality hypothesis on A, even though it is stated in the introduction.
The proof that p-nilpotency implies distributivity for kG relies on the general algebra criterion; a short self-contained sketch of how the group algebra satisfies the criterion would improve readability.
Notation: the symbol for the lattice of thick subcategories is introduced without a dedicated display equation; adding one would help when the lattice operations are later invoked.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report, the accurate summary of our results, and the recommendation of minor revision. We are pleased that the significance of the group-theoretic characterization and the general criteria for algebras is recognized.

Circularity Check

0 steps flagged

Derivation self-contained via explicit general criteria

full rationale

The manuscript first establishes necessary and sufficient criteria for any finite-dimensional k-algebra A (k algebraically closed) such that the lattice of thick subcategories of D^b(A) and of perfect complexes is distributive. These criteria are then applied directly to the special case A = kG for finite G, producing the stated characterization by p-nilpotent groups. No central step reduces by definition, by fitted-parameter renaming, or by load-bearing self-citation to the target result; the finite-dimensionality hypothesis is the standard setting for the invoked thick-subcategory classification theorems and does not create circularity. The derivation therefore remains independent of its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The result rests on standard domain assumptions of representation theory rather than new free parameters or invented entities.

axioms (3)

domain assumption k is an algebraically closed field of characteristic p
Explicitly required for the representation category of finite groups.
domain assumption G is a finite group
The statement concerns finite groups.
domain assumption A is a finite-dimensional k-algebra
Required for the general criteria on derived categories and perfect complexes.

pith-pipeline@v0.9.0 · 5342 in / 1334 out tokens · 39963 ms · 2026-05-10T02:01:13.554732+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references

[1]

Cohomology of modules in the principal block of a finite group.New York J

Benson, D. Cohomology of modules in the principal block of a finite group.New York J. Math.1pp. 196-205
[2]

& Robinson, G

Benson, D., Carlson, J. & Robinson, G. On the vanishing of group cohomology.J. Algebra.131, 40-73 (1990)

1990
[3]

& Rickard, J

Benson, D., Carlson, J. & Rickard, J. Thick subcategories of the stable module category.Fund. Math. 153, 59-80 (1997)

1997
[4]

& Th´ evenaz, J

Carlson, J., Mazza, N. & Th´ evenaz, J. Endotrivial modules forp-solvable groups.Trans. Amer. Math. Soc.363, 4979-4996 (2011)

2011
[5]

& Scherer, J

Castellana, N., Crespo, J. & Scherer, J. On the homotopy groups of p-completed classifying spaces. Manuscripta Math.118, 399-409 (2005)

2005
[6]

& Lunts, V

Elagin, A. & Lunts, V. Derived categories of coherent sheaves on some zero-dimensional schemes.J. Pure Appl. Algebra.226, Paper No. 106939, 30 (2022)

2022
[7]

Blocks of tame representation type and related algebras

Erdmann, K. Blocks of tame representation type and related algebras. (Springer-Verlag, Berlin, 1990)

1990
[8]

¨Uber die Ideale arithmetischer Ringe.Comment

Fuchs, L. ¨Uber die Ideale arithmetischer Ringe.Comment. Math. Helv.23pp. 334-341 (1949)

1949
[9]

& Riedtmann, C

Gabriel, P. & Riedtmann, C. Group representations without groups.Comment. Math. Helv.54, 240-287 (1979) 10 SIRA GRATZ AND GREG STEVENSON

1979
[10]

& Stevenson, G

Gratz, S. & Stevenson, G. Approximating triangulated categories by spaces.Adv. Math.425Paper No. 109073, 44 (2023)

2023
[11]

& Stevenson, G

Greenlees, J. & Stevenson, G. Morita theory and singularity categories.Adv. Math.365Paper No. 107055, 51 (2020)

2020
[12]

Characters and blocks of finite groups

Navarro, G. Characters and blocks of finite groups. (Cambridge University Press, Cambridge,1998)

1998
[13]

Structures and group theory II.Duke Math

Ore, O. Structures and group theory II.Duke Math. J.4, 247-269 (1938)

1938
[14]

Dimensions of triangulated categories.J

Rouquier, R. Dimensions of triangulated categories.J. K-Theory.1, 193-256 (2008)

2008
[15]

Duality for bounded derived categories of complete intersections.Bull

Stevenson, G. Duality for bounded derived categories of complete intersections.Bull. Lond. Math. Soc.46, 245-257 (2014) Sira Gratz, Aarhus University, Department of Mathematics, Ny Munkegade 118, bldg. 1530 DK-8000 Aarhus C, Denmark Email address:sira@math.au.dk Greg Stevenson, Aarhus University, Department of Mathematics, Ny Munkegade 118, bldg. 1530 DK-...

2014