algebra / Modular representation theory of finite groups; block theory

Donovan's conjecture on Morita finiteness of blocks with a given defect group

Field paper, Theorem 1.1: for each prime pp, algebraically closed KK of characteristic pp and bound MM, blocks of finite groups over KK with defect groups of order at most MM represent only finitely many KK-linear Morita classes; defect groups may be nonabelian and p=2p=2 is included. Integral companion, Theorem 1.1 and Corollary: the same over W(F‾p)W(\overline{\mathbb F}_p) and over each fixed complete DVR of characteristic zero with algebraically closed residue field, ramified included. Consequences: bounded Cartan entries and Loewy lengths. Not shown: explicit lists or bounds on the number of classes, or Morita finiteness over coefficient fields that are not algebraically closed.

45Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraSep 24, 2026Significance 45/100Registry: unreviewed

Donovan's conjecture on Morita finiteness of blocks with a given defect group

Prior state unknown→proved

Field paper, Theorem 1.1: for each prime pp, algebraically closed KK of characteristic pp and bound MM, blocks of finite groups over KK with defect groups of order at most MM represent only finitely many KK-linear Morita classes; defect groups may be nonabelian and p=2p=2 is included. Integral companion, Theorem 1.1 and Corollary: the same over W(F‾p)W(\overline{\mathbb F}_p) and over each fixed complete DVR of ch…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Field paper, Theorem 1.1: for each prime pp, algebraically closed KK of characteristic pp and bound MM, blocks of finite groups over KK with defect groups of order at most MM represent only finitely many KK-linear Morita classes; defect groups may be nonabelian and p=2p=2 is included. Integral companion, Theorem 1.1 and Corollary: the same over W(F‾p)W(\overline{\mathbb F}_p) and over each fixed complete DVR of characteristic zero with algebraically closed residue field, ramified included. Consequences: bounded Cartan entries and Loewy lengths. Not shown: explicit lists or bounds on the number of classes, or Morita finiteness over coefficient fields that are not algebraically closed.

Field paper, Theorem 1.1: for each prime pp, algebraically closed KK of characteristic pp and bound MM, blocks of finite groups over KK with defect groups of order at most MM represent only finitely many KK-linear Morita classes; defect groups may be nonabelian and p=2p=2 is included. Integral companion, Theorem 1.1 and Corollary: the same over W(F‾p)W(\overline{\mathbb F}_p) and over each fixed complete DVR of characteristic zero with algebraically closed residue field, ramified included. Consequences: bounded Cartan entries and Loewy lengths. Not shown: explicit lists or bounds on the number of classes, or Morita finiteness over coefficient fields that are not algebraically closed.

Recorded attempts

Evidence graph

Connected research record