Generating toric noncommutative crepant resolutions.

*(English)*Zbl 1263.14006The concept of a noncommutative crepant resolution (NCCR) of a singularity was introduced by Van den Bergh. An algebra acts as a substitute of an ordinary crepant resolution. This generalization stems from the fact that, for 3-dimensional terminal Gorenstein singularities, the derived category of representations of the substitute algebra is equivalent to the derived category of coherent sheaves of a commutative crepant resolution. The substitute algebra has the form \(A=\text{End}_R(T)\) where \(T\) is a reflexive \(R\)-module, and can be seen as a path algebra of a quiver \(Q\) with relations. The vertices corresponds to the direct summands of \(T\), and the set of arrows is a basic set of maps between them. Defining the dimension vector \(\alpha\) which assigns to a vertex the rank of the corresponding summand of \(T\), the singularity \(\text{Spec}(R)\) can be recovered as the moduli space parameterizing \(\alpha\)-dimensional semisimple representations, and often a commutative resolution can be constructed by constructing the moduli space of stable \(\alpha\)-dimensional representations, for some stability condition.

The author goes through the basic theory of crepant resolutions in a very nice way, so that the generalization to the noncommutative situation follows easily: A not necessarily commutative algebra \(A\) is a noncommutative crepant resolution of the (commutative) singularity \(R\) if

(1) \(A\cong\text{End}(T)\), where \(T\) is a finitely generated reflexive \(R\)-module

(2) \(A\) is homologically homogeneous, i.e., alle simple \(A\)-modules have the same projective dimension.

Van den Berg proved that, with respect to derived categories, in dimension 3, these algebras behave like crepant resolutions.

Now, in the 3-dimensional Gorenstein case, the NCCR’s can be constructed using the concept of a maximal modification algebra (MMA): An algebra \(A\) is called a modification algebra if it is of the form \(\text{End}(T)\) with \(T\) a reflexive module, and \(A\) is Cohen-Macaulay as an \(R\)-module. An NCCR is always an MMA, and in dimension 3, when \(R\) is a Gorenstein singularity, all NCCR’s are MMA’s.

To introduce the toric aspect, the author gives a very neat introduction to toric algebraic geometry. Then the noncommutative crepant resolutions can be obliged to carry an additional toric structure: All summands of \(T\) is supposed to have rank \(1\) and are graded (by the toric variety \(M\) in question). Then \(\text{End}(T)\) is called a toric noncommutative crepant resolution.

The interesting problem is to classify all possible toric noncommutative crepant resolutions of a given singularity. The author gives an algorithm to construct all such for any toric 3-dimensional Gorenstein singularity. This is (basically) done by using the algorithm to construct quivers \(Q\) that are also dimers, and then letting the algebra be the corresponding Jacobi algebra, which is the quiver algebra of \(Q\) with some particular “dimer relations”. The toric conditions are strongly related to the representations of the quiver.

A method given by Craw and Quintero-Velez is used to embed the quivers of the toric NCCR algebras inside a real \(3\)-torus, such that the relations of the quiver algebra are precisely the homotopy relations. When the singularity is Gorenstein, the quiver can be projected to a 2-torus to obtain a dimer model.

The algorithm has to do with embedding the quivers into a torus, working on the varieties, and taking the corresponding quivers back to algebras (NCCR).

The algorithm is proven to be effective, in particular on the example of singularities from reflexive polygons and abelian quotients of the conifold. Then all dimer models corresponding to such a singularity are connected by mutations. Of course, generalizations of the algorithm to non toric, not Gorenstein, or higher dimensions are considered.

The article is very pedagogical, stringent, and it is a really good introduction to NCCR.

The author goes through the basic theory of crepant resolutions in a very nice way, so that the generalization to the noncommutative situation follows easily: A not necessarily commutative algebra \(A\) is a noncommutative crepant resolution of the (commutative) singularity \(R\) if

(1) \(A\cong\text{End}(T)\), where \(T\) is a finitely generated reflexive \(R\)-module

(2) \(A\) is homologically homogeneous, i.e., alle simple \(A\)-modules have the same projective dimension.

Van den Berg proved that, with respect to derived categories, in dimension 3, these algebras behave like crepant resolutions.

Now, in the 3-dimensional Gorenstein case, the NCCR’s can be constructed using the concept of a maximal modification algebra (MMA): An algebra \(A\) is called a modification algebra if it is of the form \(\text{End}(T)\) with \(T\) a reflexive module, and \(A\) is Cohen-Macaulay as an \(R\)-module. An NCCR is always an MMA, and in dimension 3, when \(R\) is a Gorenstein singularity, all NCCR’s are MMA’s.

To introduce the toric aspect, the author gives a very neat introduction to toric algebraic geometry. Then the noncommutative crepant resolutions can be obliged to carry an additional toric structure: All summands of \(T\) is supposed to have rank \(1\) and are graded (by the toric variety \(M\) in question). Then \(\text{End}(T)\) is called a toric noncommutative crepant resolution.

The interesting problem is to classify all possible toric noncommutative crepant resolutions of a given singularity. The author gives an algorithm to construct all such for any toric 3-dimensional Gorenstein singularity. This is (basically) done by using the algorithm to construct quivers \(Q\) that are also dimers, and then letting the algebra be the corresponding Jacobi algebra, which is the quiver algebra of \(Q\) with some particular “dimer relations”. The toric conditions are strongly related to the representations of the quiver.

A method given by Craw and Quintero-Velez is used to embed the quivers of the toric NCCR algebras inside a real \(3\)-torus, such that the relations of the quiver algebra are precisely the homotopy relations. When the singularity is Gorenstein, the quiver can be projected to a 2-torus to obtain a dimer model.

The algorithm has to do with embedding the quivers into a torus, working on the varieties, and taking the corresponding quivers back to algebras (NCCR).

The algorithm is proven to be effective, in particular on the example of singularities from reflexive polygons and abelian quotients of the conifold. Then all dimer models corresponding to such a singularity are connected by mutations. Of course, generalizations of the algorithm to non toric, not Gorenstein, or higher dimensions are considered.

The article is very pedagogical, stringent, and it is a really good introduction to NCCR.

Reviewer: Arvid Siqveland (Kongsberg)

##### MSC:

14A22 | Noncommutative algebraic geometry |

14M25 | Toric varieties, Newton polyhedra, Okounkov bodies |

18E30 | Derived categories, triangulated categories (MSC2010) |

14E15 | Global theory and resolution of singularities (algebro-geometric aspects) |

##### Keywords:

quiver with relation; maximal modification algebra; noncommutative crepant resolution; toric geometry; graded rank 1 Cohen-Macaulay modules; dimer models; dimers; mutations##### References:

[1] | Bocklandt, R., Calabi-Yau algebras and quiver polyhedra · Zbl 1278.16017 |

[2] | Bocklandt, R., Consistency conditions for dimer models · Zbl 1244.14042 |

[3] | Bridgeland, T., Flops and derived categories, Invent. math., 147, 613-632, (2002) · Zbl 1085.14017 |

[4] | Brion, M., Sur LES modules de covariants, Ann. sci. ec. norm. super. (4), 26, 1-21, (1993) · Zbl 0781.13002 |

[5] | Broomhead, N., Dimer models and Calabi-Yau algebras · Zbl 1237.14002 |

[6] | Bruns, W.; Herzog, J., Cohen-Macaulay rings, Cambridge stud. adv. math., vol. 39, (1993), Cambridge University Press Cambridge · Zbl 0788.13005 |

[7] | Craw, A.; Quintero-Velez, A., Cellular resolutions of noncommutative toric algebras from superpotentials · Zbl 1280.16023 |

[8] | Derksen, H.; Weyman, J.; Zelevinsky, A., Quivers with potentials, I: mutations · Zbl 1204.16008 |

[9] | Fomin, S.; Zelevinsky, A., Cluster algebras, I: foundations, J. amer. math. soc., 15, 497-529, (2002) · Zbl 1021.16017 |

[10] | Franco, S.; Hanany, A.; Kennaway, K.D.; Vegh, D.; Wecht, B., Brane dimers and quiver gauge theories, Jhep, 0601, 096, (2006) |

[11] | Gorodentsev, A., Exceptional objects and mutations in derived categories, () · Zbl 0722.14007 |

[12] | Bruns, W.; Gubeladze, J., Divisorial linear algebra of normal semigroup rings · Zbl 1046.13014 |

[13] | Gulotta, D., Properly ordered dimers, R-charges, and an efficient inverse algorithm, Jhep, 0810, 014, (2008) · Zbl 1245.81091 |

[14] | Hacon, C.D.; McKernan, J., Flips and flops, Proceedings ICM · Zbl 1243.14019 |

[15] | Hanany, A.; Herzog, C.P.; Vegh, D., Brane tilings and exceptional collections, J. high energy phys., 0607, 001, (2006), 44 pp |

[16] | Hanany, A.; Kennaway, K.D., Dimer models and toric diagrams |

[17] | Hille, L.; Perling, M., Exceptional sequences of invertible sheaves on rational surfaces · Zbl 1237.14043 |

[18] | Ishii, A.; Ueda, K., On moduli spaces of quiver representations associated with brane tilings |

[19] | Ishii, A.; Ueda, K., Dimer models and the special mckay correspondence · Zbl 1338.14019 |

[20] | Iyama, O.; Wemyss, M., Auslander and Reiten duality and maximal modifications for non-isolated singularities · Zbl 1308.14007 |

[21] | King, A., Moduli of representations of finite dimensional algebras, Quart. J. math. Oxford ser. (2), 45, 515-530, (1994) · Zbl 0837.16005 |

[22] | Le Bruyn, L., Noncommutative geometry and Cayley-smooth orders, Pure appl. math., vol. 290, (2007), Chapman and Hall/CRC, 592 pp |

[23] | Martinez-villa, R., Skew group algebras and their yoneda algebras, Math. J. okayama univ., 43, 1-16, (2001) · Zbl 1023.16013 |

[24] | Mozgovoy, S., Crepant resolutions and brane tilings, I: toric realization |

[25] | Perling, M., Examples for exceptional sequences of invertible sheaves on rational surfaces · Zbl 1310.14028 |

[26] | Perling, M., Divisorial cohomology vanishing on toric varieties, Doc. math., 16, 209-251, (2011) · Zbl 1226.14063 |

[27] | C. Quarles, Krull-Schmidt rings and noncommutative resolutions of singularities, Master thesis, University of Washington, 2005. |

[28] | Stanley, R., Cohen-Macaulay rings and constructible polytopes, Bull. amer. math. soc., 81, 1, 133-135, (1975) · Zbl 0304.52005 |

[29] | Tsukiyama, S.; Ide, M.; Ariyoshi, I.; Shirakawa, I., A new algorithm for generating all the maximal independent sets, SIAM J. comput., 6, 3, 505-517, (1977) · Zbl 0364.05027 |

[30] | Van den Bergh, M., Non-commutative crepant resolutions, (), 749-770 · Zbl 1082.14005 |

[31] | M. Van den Bergh, Modules of covariants, in: Proceedings of ICM 1994, 1995, pp. 352-362. · Zbl 0851.13001 |

[32] | Van den Bergh, M., Three-dimensional flops and noncommutative rings, Duke math. J., 122, 3, 423-455, (2004) · Zbl 1074.14013 |

[33] | Wemyss, M., Reconstruction algebras of type A · Zbl 1270.16022 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.