Reduction of triangulated categories and Maximal Modification Algebras for cA_n singularities

In this paper we define and study triangulated categories in which the Hom-spaces have Krull dimension at most one over some base ring (hence they have a natural 2-step filtration), and each factor of the filtration satisfies some Calabi-Yau type property. If C is such a category, we say that C is Calabi-Yau with dimension at most one. We extend the notion of Calabi-Yau reduction to this setting, and prove general results which are an analogue of known results in cluster theory. Such categories appear naturally in the setting of Gorenstein singularities in dimension three as the stable categories of Cohen-Macaulay modules. We explain the connection between Calabi-Yau reduction of $\underline{\rm CM} R$ and both partial crepant resolutions and Q-factorial terminalizations of Spec R, and we show under quite general assumptions that Calabi-Yau reductions exist. In the remainder of the paper we focus on complete local cA_n singularities R. By using a purely algebraic argument based on Calabi-Yau reduction of $\underline{\rm CM} R$, we give a complete classification of maximal modifying modules in terms of the symmetric group, generalizing and strengthening results in [BIKR] and [DH], where we do not need any restriction on the ground field. We also describe the mutation of modifying modules at an arbitrary (not necessarily indecomposable) direct summand. As a corollary when the field is the complex numbers, we obtain many autoequivalences of the derived category of the Q-factorial terminalizations of Spec R.

[1]  M. Bridger,et al.  Stable Module Theory , 1969 .

[2]  Osamu Iyama,et al.  Silting mutation in triangulated categories , 2010, J. Lond. Math. Soc..

[3]  N. Bourbaki Commutative Algebra: Chapters 1-7 , 1989 .

[4]  Hailong Dao,et al.  Vanishing of Ext, cluster tilting modules and finite global dimension of endomorphism rings , 2010, 1005.5359.

[5]  M. Wemyss,et al.  Auslander-Reiten Duality and Maximal Modifications for Non-isolated Singularities , 2010 .

[6]  Mutation in triangulated categories and rigid Cohen–Macaulay modules , 2006, math/0607736.

[7]  Maurice Auslander,et al.  The Brauer group of a commutative ring , 1960 .

[8]  Osamu Iyama,et al.  Singular derived categories of -factorial terminalizations and maximal modification algebras , 2011, 1108.4518.

[9]  H. Dao Remarks on non-commutative crepant resolutions of complete intersections , 2009, 0911.4541.

[10]  Michel Van den Bergh Three-dimensional flops and noncommutative rings , 2002 .

[11]  Yu Liu,et al.  Triangulated quotient categories , 2012 .

[12]  I. Reiten,et al.  $\tau $-tilting theory , 2012, Compositio Mathematica.

[13]  Nicolas Bourbaki,et al.  Non Commutative Algebra , 1994 .

[14]  I. Reiten,et al.  Cluster tilting for one-dimensional hypersurface singularities , 2007, 0704.1249.

[15]  M. Wemyss Aspects of the Homological Minimal Model Program , 2014 .

[16]  David Eisenbud,et al.  Homological algebra on a complete intersection, with an application to group representations , 1980 .

[17]  D. Happel,et al.  On a Partial Order of Tilting Modules , 2005 .

[18]  Ragnar-Olaf Buchweitz,et al.  Maximal Cohen-Macaulay Modules and Tate-Cohomology Over Gorenstein Rings , 1986 .

[19]  Lieven Le Bruyn,et al.  Two Dimensional Tame and Maximal Orders of Finite Representation Type , 1989 .

[20]  T. Adachi,et al.  ON τ-TILTING THEORY , 2014 .

[21]  A. Schofield,et al.  On a simplical complex associated with tilting modules , 1991 .

[22]  Osamu Iyama,et al.  Fomin-Zelevinsky mutation and tilting modules over Calabi-Yau algebras , 2006 .

[23]  Yuhi Sekiya,et al.  Flops and mutations for crepant resolutions of polyhedral singularities , 2011, 1108.2352.

[24]  Ø. Solberg Hypersurface Singularities of Finite Cohen‐Macaulay Type , 1989 .

[25]  Osamu Iyama,et al.  Maximal modifications and Auslander–Reiten duality for non-isolated singularities , 2010, 1007.1296.

[26]  C. Huneke,et al.  Tensor products of modules and the rigidity of Tor , 1994 .

[27]  M. Wemyss The $${{\rm GL}(2,\mathbb{C})}$$ McKay correspondence , 2011 .

[28]  P. Roberts Multiplicities and Chern Classes in Local Algebra , 1998 .

[29]  Mark Ramras,et al.  On the Vanishing of Ext , 1971 .

[30]  Jiun C. Chen Flops and Equivalences of Derived Categories for Threefolds with Only Terminal Gorenstein Singularities , 2002 .

[31]  Y. Yoshino,et al.  Cohen-Macaulay modules over Cohen-Macaulay rings , 1990 .