[Paper Review] Auslander-Reiten Duality and Maximal Modifications for Non-isolated Singularities

Osamu Iyama, Michael Wemyss|arXiv (Cornell University)|Jul 8, 2010

Algebraic structures and combinatorial models21 references12 citations

TL;DR

This paper extends Auslander-Reiten duality to non-isolated singularities with a one-dimensional singular locus, introduces CT modules and maximal modifying modules as generalizations of cluster tilting and NCCR concepts, and develops a mutation theory for modifying modules that works in arbitrary dimensions—showing derived equivalence of endomorphism algebras for maximal modifying modules over 3D Gorenstein rings, with mutation behavior in dimension three depending on whether a certain factor algebra is artinian.

ABSTRACT

We first generalize classical Auslander-Reiten duality for isolated singularities to cover singularities with a one-dimensional singular locus. We then define the notion of CT modules for non-isolated singularities and we show that these are intimately related to noncommutative crepant resolutions (NCCRs). When R has isolated singularities, CT modules recover the classical notion of cluster tilting modules but in general the two concepts differ. Then, wanting to generalize the notion of NCCRs to cover partial resolutions of Spec R, in the main body of this paper we introduce a theory of modifying and maximal modifying modules. Under mild assumptions all the corresponding endomorphism algebras of the maximal modifying modules for three-dimensional Gorenstein rings are shown to be derived equivalent. We then develop a theory of mutation for modifying modules which is similar but different to mutations arising in cluster tilting theory. Our mutation works in arbitrary dimension, and in dimension three the behavior of our mutation strongly depends on whether a certain factor algebra is artinian.

Motivation & Objective

• To generalize classical Auslander-Reiten duality from isolated singularities to those with a one-dimensional singular locus.
• To define and study CT modules in the context of non-isolated singularities and relate them to noncommutative crepant resolutions (NCCRs).
• To extend the notion of NCCRs to partial resolutions by introducing modifying and maximal modifying modules.
• To establish derived equivalence of endomorphism algebras associated with maximal modifying modules over three-dimensional Gorenstein rings.
• To develop a mutation theory for modifying modules that generalizes cluster tilting mutations but differs in behavior, especially in dimension three.

Proposed method

• Generalize Auslander-Reiten duality to rings with one-dimensional singular loci using homological algebra techniques in non-isolated singularity settings.
• Define CT modules for non-isolated singularities as a natural extension of cluster tilting modules, focusing on their relationship with NCCRs.
• Introduce the concept of modifying and maximal modifying modules as a framework for studying partial resolutions of Spec R.
• Establish derived equivalence of endomorphism algebras of maximal modifying modules under mild assumptions, particularly in the 3D Gorenstein case.
• Construct a mutation procedure for modifying modules that operates in arbitrary dimension and depends on the artinian property of a certain factor algebra in dimension three.
• Use homological and representation-theoretic tools to analyze the behavior of mutations, especially in relation to the structure of the endomorphism algebras.

Experimental results

Research questions

• RQ1 How can Auslander-Reiten duality be extended to non-isolated singularities with a one-dimensional singular locus?
• RQ2 What is the relationship between CT modules and noncommutative crepant resolutions (NCCRs) in the non-isolated setting?
• RQ3 How do maximal modifying modules generalize NCCRs in the context of partial resolutions?
• RQ4 Under what conditions are the endomorphism algebras of maximal modifying modules derived equivalent in three-dimensional Gorenstein rings?
• RQ5 How does the mutation of modifying modules differ from cluster tilting mutation, particularly in dimension three?

Key findings

• Auslander-Reiten duality is successfully generalized to non-isolated singularities with a one-dimensional singular locus.
• CT modules for non-isolated singularities are shown to be closely related to NCCRs, generalizing the classical cluster tilting case.
• Maximal modifying modules over three-dimensional Gorenstein rings yield endomorphism algebras that are derived equivalent under mild assumptions.
• A mutation theory for modifying modules is developed that applies in arbitrary dimension and exhibits distinct behavior in dimension three.
• In dimension three, the mutation process depends critically on whether a certain factor algebra is artinian, indicating a structural dichotomy in the behavior of the mutation.