[Paper Review] Non-commutative crepant resolutions

Michel Van den Bergh|arXiv (Cornell University)|Nov 4, 2002

Algebraic structures and combinatorial models20 references15 citations

TL;DR

This paper introduces non-commutative crepant resolutions (NCCRs) as a non-commutative analogue of crepant resolutions in algebraic geometry, particularly for Gorenstein singularities. It proves the existence of NCCRs in certain cases and provides evidence supporting Bondal and Orlov's conjecture that different crepant resolutions of a Gorenstein singularity have equivalent derived categories.

ABSTRACT

We introduce the notion of a "non-commutative crepant" resolution of a singularity and show that it exists in certain cases. We also give some evidence for an extension of a conjecture by Bondal and Orlov, stating that different crepant resolutions of a Gorenstein singularity have the same derived category.

Motivation & Objective

• To define and formalize the concept of non-commutative crepant resolutions (NCCRs) as a non-commutative generalization of crepant resolutions.
• To establish conditions under which NCCRs exist, particularly for certain Gorenstein singularities.
• To provide evidence supporting the Bondal-Orlov conjecture on derived equivalence of crepant resolutions.
• To bridge non-commutative algebraic geometry with classical resolution theory in the context of singularities.

Proposed method

• Introduce the notion of a non-commutative crepant resolution as a non-commutative algebraic structure that plays the role of a crepant resolution in the derived category setting.
• Use the framework of maximal Cohen-Macaulay modules and tilting bundles to construct NCCRs in specific cases.
• Apply techniques from homological algebra and derived categories to analyze the structure of singularities.
• Leverage the theory of reflexive modules and ring-theoretic properties of Gorenstein rings to ensure the crepant condition.
• Establish a correspondence between NCCRs and crepant resolutions via derived equivalence.
• Use categorical invariance properties to compare different resolutions and test the Bondal-Orlov conjecture.

Experimental results

Research questions

• RQ1 Under what conditions does a non-commutative crepant resolution exist for a given Gorenstein singularity?
• RQ2 How do non-commutative crepant resolutions relate to classical crepant resolutions in algebraic geometry?
• RQ3 To what extent do different crepant resolutions of a Gorenstein singularity have equivalent derived categories?
• RQ4 Can the Bondal-Orlov conjecture be extended or verified using non-commutative methods?
• RQ5 What algebraic structures (e.g., tilting bundles, reflexive modules) characterize NCCRs?

Key findings

• Non-commutative crepant resolutions exist for certain Gorenstein singularities, particularly in the context of finite quotient singularities.
• The derived category of a non-commutative crepant resolution is equivalent to that of a crepant resolution when both exist.
• The construction of NCCRs relies on the existence of a tilting bundle with specific homological properties.
• The paper provides evidence that different crepant resolutions of a Gorenstein singularity have equivalent derived categories, supporting the Bondal-Orlov conjecture.
• The framework of NCCRs allows for a non-commutative approach to resolving singularities while preserving key geometric invariants via derived categories.
• The results suggest that derived categories serve as a natural invariant for crepant resolutions, even in the non-commutative setting.