On the Finiteness of the Derived Equivalence Classes of some Stable Endomorphism Rings

TL;DR

This paper proves that certain stable endomorphism rings in Frobenius categories have finitely many derived equivalence classes, specifically those obtained through iterated mutation, with applications to the Homological Minimal Model Programme and contraction algebras.

Contribution

It establishes finiteness of derived equivalence classes of stable endomorphism rings in Frobenius categories and characterizes these classes via iterated mutation, impacting the study of contraction algebras.

Findings

Finitely many basic algebras in the derived class of stable endomorphism rings.

Derived equivalence classes correspond to objects obtained by iterated mutation.

Finiteness result supports a key conjecture in the Homological Minimal Model Programme.

Abstract

We prove that the stable endomorphism rings of rigid objects in a suitable Frobenius category have only finitely many basic algebras in their derived equivalence class and that these are precisely the stable endomorphism rings of objects obtained by iterated mutation. The main application is to the Homological Minimal Model Programme. For a 3-fold flopping contraction $f \colon X \to \mathrm{Spec}\ R$, where $X$ has only Gorenstein terminal singularities, there is an associated finite dimensional algebra $A_{\mathrm{con}}$ known as the contraction algebra. As a corollary of our main result, there are only finitely many basic algebras in the derived equivalence class of $A_{\mathrm{con}}$ and these are precisely the contraction algebras of maps obtained by a sequence of iterated flops from $f$. This provides evidence towards a key conjecture in the area.