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

Basic Information

• Paper ID: 2301.11593
• Title: The Donovan--Wemyss Conjecture via the Derived Auslander--Iyama Correspondence
• Authors: Gustavo Jasso, Bernhard Keller, Fernando Muro
• Classification: math.AG (Algebraic Geometry), math.QA (Quantum Algebra), math.RT (Representation Theory)
• Submission Date: January 27, 2023; Last Revised: May 11, 2024
• Paper Link: https://arxiv.org/abs/2301.11593

Abstract

This paper provides an outline of the proof of the Donovan-Wemyss conjecture in the context of the three-dimensional homological minimal model program. The proof relies on results by August, work by Hua and the second author, Wemyss's theory, and the derived Auslander-Iyama correspondence—a recent achievement of the first and third authors.

Research Background and Motivation

Core Problem

The central focus of this paper is resolving the Donovan-Wemyss Conjecture, an important geometric conjecture concerning compound Du Val (cDV) singularities. The conjecture is stated as follows:

Conjecture A (Donovan-Wemyss): Let $R_1$ and $R_2$ be isolated cDV singularities with crepant resolutions: $p_1: X_1 \to \text{Spec}(R_1), \quad p_2: X_2 \to \text{Spec}(R_2)$ Then the contraction algebras $\Lambda_{\text{con}}(p_1)$ and $\Lambda_{\text{con}}(p_2)$ are derived equivalent if and only if there exists an algebra isomorphism $R_1 \cong R_2$.

Significance of the Problem

1. Geometric Significance: cDV singularities are important objects in three-dimensional birational geometry and play a crucial role in the minimal model program (MMP)
2. Algebraic Structure: Contraction algebras encode substantial geometric information, including Reid width and Gopakumar-Vafa invariants
3. Classification Problem: The conjecture is essentially about classifying geometric objects using noncommutative algebraic structures

Limitations of Existing Methods

• The dimension and Gabriel quiver of contraction algebras are insufficient to distinguish different cDV singularities
• The existence of continuous families of cDV singularities complicates the classification problem
• More refined invariants are needed to distinguish non-isomorphic singularities

Core Contributions

1. Completed the proof of the Donovan-Wemyss Conjecture by combining multiple profound theoretical tools
2. Introduced restricted universal Massey products as a key invariant, which are Hochschild cohomology classes induced by the first non-trivial higher-order operation of the minimal $A_\infty$-algebra model of the 2Z-derived contraction algebra
3. Proved the uniqueness of 2Z-derived contraction algebras, showing they are uniquely determined by their zeroth cohomology plus minimal additional algebraic data
4. Established profound connections with the derived Auslander-Iyama correspondence, providing a representation-theoretic perspective on this geometric problem

Detailed Methodology

Problem Setup

Prove that the contraction algebras of two isolated cDV singularities are derived equivalent if and only if the singularities are isomorphic.

Core Architecture

1. 2Z-Cluster Tilting Object Theory

• Definition: An object $T \in \mathcal{T}$ is 2-cluster tilting if:
  • Rigidity: $\mathcal{T}(T, T[1]) = 0$
  • Generation: Every object admits a triangle of the form $T_1 \to T_0 \to X \to T_1[1]$
• 2Z-Cluster Tilting: Additionally satisfies $T \cong T[2]$

2. Characterization of Contraction Algebras

Theorem 1.3.1 (Wemyss): Let $R$ be an isolated cDV singularity. Then the contraction algebra of $R$ is precisely the endomorphism algebra of a 2Z-cluster tilting object in the singularity category $\text{Dsg}(R)$.

3. 2Z-Derived Contraction Algebra

Via the triangulated equivalence $\text{CM}(R) \simeq \text{Dsg}(R)$, the contraction algebra lifts to a DG algebra: $\Lambda_{\text{con}} := \text{REnd}(N)$ where $N$ is the corresponding 2Z-cluster tilting object.

Technical Innovations

1. Restricted Universal Massey Products

• Consider the minimal $A_\infty$-algebra structure $(A, m_4, m_6, m_8, \ldots)$
• Since $A$ is concentrated in even degrees and $m_n$ has degree $2-n$, odd terms $m_n = 0$
• Universal Massey Product: $\{m_4\} \in \text{HH}^{4,-2}(\Lambda[\iota^{\pm 1}], \Lambda[\iota^{\pm 1}])$
• Restricted Universal Massey Product: $j^*\{m_4\} \in \text{HH}^{4,-2}(\Lambda, \Lambda[\iota^{\pm 1}])$

2. Key Property Theorem

Theorem 3.2.5: The restricted universal Massey product $j^*\{m_4\}$ can be represented by an exact sequence of projective modules: $0 \to \Lambda \to P_3 \to P_2 \to P_1 \to P_0 \to \Lambda \to 0$ In particular, $\Omega^4_{\Lambda^e}(\Lambda) \cong \Lambda$.

3. Hochschild Cohomology Computation

Proposition 3.3.1: There exists a graded commutative algebra isomorphism: $\text{HH}^{\bullet,*}(\Lambda[\iota^{\pm 1}], \Lambda[\iota^{\pm 1}]) \cong \text{HH}^\bullet(\Lambda, \Lambda)[\iota^{\pm 1}, \delta]$ where $\delta$ is the fractional Euler derivation.

Proof Strategy

Step One: Reduction to Isomorphism Problem

Theorem 1.3.2 (August): Let $R$ be an isolated cDV singularity. Then the contraction algebras of $R$ form a single complete derived equivalence class.

Step Two: Derived Version

Theorem 2.2.1 (Hua-Keller): There exists an algebra isomorphism: $\text{HH}^0(\text{Dsg}(R)_{\text{dg}}) \cong \frac{\mathbb{C}\llbracket x,y,z,t \rrbracket}{(f, \partial_x f, \partial_y f, \partial_z f, \partial_t f)}$ where the right-hand side is the Tyurina algebra of $R$.

Step Three: Uniqueness Theorem

Theorem 3.1.1: If the contraction algebras $\Lambda(p_1) \cong \Lambda(p_2)$, then the 2Z-derived contraction algebras $\Lambda_{\text{con}}(p_1)$ and $\Lambda_{\text{con}}(p_2)$ are quasi-isomorphic.

Proof Strategy:

1. Utilize that the restricted universal Massey product is a unit in Hochschild-Tate cohomology
2. Establish uniqueness via the derived Auslander-Iyama correspondence
3. Complete the proof by combining precise Hochschild cohomology computations

Main Results

Theorem Verification

Complete proof of the Donovan-Wemyss Conjecture:

Main Theorem: Let $R_1, R_2$ be isolated cDV singularities with crepant resolutions $p_1, p_2$. Then the contraction algebras $\Lambda_{\text{con}}(p_1)$ and $\Lambda_{\text{con}}(p_2)$ are derived equivalent if and only if $R_1 \cong R_2$.

Generalized Results

1. Formality Characterization

Theorem 4.1.1: The 2Z-derived contraction algebra $\Lambda_{\text{con}}$ is formal if and only if:

• $\Lambda_{\text{con}} \cong \mathbb{C}$
• $R \cong \mathbb{C}\llbracket x,y,z,t \rrbracket/(xy - zt)$ (Atiyah flop)

2. DG Enhancement Uniqueness

Corollary 3.4.7: The singularity category $\text{Dsg}(R)$ of an isolated cDV singularity admits a unique DG enhancement.

3. Derived Auslander-Iyama Correspondence Characterization

Theorem 4.2.4: The 2Z-derived contraction algebra $\Lambda$ is uniquely determined (up to quasi-isomorphism) by its image $(\Lambda, \Lambda)$ under the derived Auslander-Iyama correspondence.

Related Work

Theoretical Foundations

1. Van den Bergh's Tilting Bundle Theory: Establishes connections between crepant resolutions and tilting objects
2. Wemyss's Homological MMP: Introduces cluster tilting theory into birational geometry
3. August's Derived Equivalence Classification: Proves that contraction algebras of a single singularity form a single derived equivalence class

Technical Tools

1. Hua-Keller's Hochschild Cohomology Computation: Connects geometric and algebraic invariants
2. Derived Auslander-Iyama Correspondence: Provides a bijective correspondence between $d$Z-cluster tilting objects and periodic algebras
3. $A_\infty$-Algebra Theory: Particularly Kadeishvili's homotopy transfer theorem

Conclusions and Discussion

Main Conclusions

1. Completely resolved the Donovan-Wemyss Conjecture, providing a complete algebraic characterization for the classification of cDV singularities
2. Established profound connections between geometry and algebraic representation theory, demonstrating the power of noncommutative algebraic geometry
3. Developed new technical tools, particularly the theory of restricted universal Massey products

Limitations

1. Applies only to isolated cDV singularities: The conjecture fails for non-isolated cases or singularities without crepant resolutions
2. Technical Complexity: The proof requires combining multiple profound theories, with high technical barriers
3. Computational Complexity: Computing restricted universal Massey products remains difficult in practice

Future Directions

1. Generalization to Higher Dimensions: Study analogous problems in four and higher dimensions
2. Noncommutative Crepant Resolutions: Develop more general noncommutative geometric theories
3. Computational Methods: Develop effective algorithms for computing relevant invariants

In-Depth Evaluation

Strengths

1. Theoretical Depth: Combines profound results from algebraic geometry, representation theory, and homological algebra
2. Technical Innovation: The introduction of restricted universal Massey products is an important new invariant
3. Completeness: Not only proves the main conjecture but provides rich generalizations and applications
4. Clarity of Exposition: Despite technical complexity, the paper is well-structured with rigorous logic

Impact

1. Academic Value: Resolves an important open problem in the field
2. Methodological Contribution: Demonstrates how to apply modern homological methods to classical geometric problems
3. Inspirational Value: Provides new ideas and tools for related research areas

Technical Assessment

1. Originality: The introduction of restricted universal Massey products is original
2. Rigor: The proof is rigorous with careful handling of technical details
3. Completeness: Covers all cases of the conjecture and provides abundant examples and counterexamples

References

The paper cites 25 important references, primarily including:

1. DW16, DW19 Donovan-Wemyss: Original definition and fundamental properties of contraction algebras
2. Wem18 Wemyss: Establishment of the homological minimal model program
3. Aug20 August: Finiteness of derived equivalence classes
4. HK18 Hua-Keller: Geometric interpretation of Hochschild cohomology
5. JM22 Jasso-Muro: Establishment of the derived Auslander-Iyama correspondence

These works collectively form the theoretical foundation of this paper's proof, demonstrating the collaborative and cumulative nature of contemporary algebraic geometry research.