The Donovan--Wemyss Conjecture via the Derived Auslander--Iyama Correspondence

TL;DR

This paper outlines a proof of the Donovan--Wemyss Conjecture within the Homological Minimal Model Program for threefolds, utilizing recent advances in derived categories and correspondence theories.

Contribution

It introduces the application of the Derived Auslander--Iyama Correspondence to prove the Donovan--Wemyss Conjecture, connecting recent theoretical developments.

Findings

Proof of the Donovan--Wemyss Conjecture established

Utilizes the Derived Auslander--Iyama Correspondence

Connects homological methods with minimal model program

Abstract

We provide an outline of the proof of the Donovan--Wemyss Conjecture in the context of the Homological Minimal Model Program for threefolds. The proof relies on results of August, of Hua and the second-named author, Wemyss, and on the Derived Auslander--Iyama Correspondence -- a recent result by the first- and third-named authors.