Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter September 17, 2015

Reduction of triangulated categories and maximal modification algebras for cAn singularities

  • Osamu Iyama EMAIL logo and Michael Wemyss

Abstract

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 𝒞 is such a category, we say that 𝒞 is Calabi–Yau with dim𝒞1. 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 CM¯R of Cohen–Macaulay modules. We explain the connection between Calabi–Yau reduction of CM¯R and both partial crepant resolutions and -factorial terminalizations of SpecR, and we show under quite general assumptions that Calabi–Yau reductions exist. In the remainder of the paper we focus on complete local cAn singularities R. By using a purely algebraic argument based on Calabi–Yau reduction of CM¯R, we give a complete classification of maximal modifying modules in terms of the symmetric group, generalizing and strengthening results in [I. Burban, O. Iyama, B. Keller and I. Reiten, Cluster tilting for one-dimensional hypersurface singularities, Adv. Math. 217 2008, 6, 2443–2484], [H. Dao and C. Huneke, Vanishing of Ext, cluster tilting and finite global dimension of endomorphism rings, Amer. J. Math. 135 2013, 2, 561–578], 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 k= we obtain many autoequivalences of the derived category of the -factorial terminalizations of SpecR.


Dedicated to Yuji Yoshino on the occasion of his 60th birthday.


Award Identifier / Grant number: 24340004

Award Identifier / Grant number: 23540045

Award Identifier / Grant number: 20244001

Award Identifier / Grant number: 22224001

Award Identifier / Grant number: EP/K021400/1

Funding statement: The first author was partially supported by JSPS Grant-in-Aid for Scientific Research 24340004, 23540045, 20244001 and 22224001, and the second author by EPSRC under grant EP/K021400/1.

Acknowledgements

The authors would like to thank Hailong Dao for many interesting discussions regarding this work, especially with regards to the class group calculation in Section 5.2.

References

[1] T. Adachi, O. Iyama and I. Reiten, τ-tilting theory, Compos. Math. 150 (2014), no. 3, 415–452. 10.1112/S0010437X13007422Search in Google Scholar

[2] T. Aihara and O. Iyama, Silting mutation in triangulated categories, J. Lond. Math. Soc. 85 (2012), no. 3, 633–668. 10.1112/jlms/jdr055Search in Google Scholar

[3] M. Auslander and M. Bridger, Stable module theory, Mem. Amer. Math. Soc. 94, American Mathematical Society, Providence 1969. 10.1090/memo/0094Search in Google Scholar

[4] M. Auslander and O. Goldman, Maximal orders, Trans. Amer. Math. Soc. 97 (1960), 1–24. 10.1090/S0002-9947-1960-0117252-7Search in Google Scholar

[5] N. Bourbaki, Commutative algebra, Chapters 1–7, Springer, Berlin 1998. Search in Google Scholar

[6] R.-O. Buchweitz, Maximal Cohen–Macaulay modules and Tate-cohomology over Gorenstein rings, preprint (1986), http://hdl.handle.net/1807/16682. Search in Google Scholar

[7] I. Burban, O. Iyama, B. Keller and I. Reiten, Cluster tilting for one-dimensional hypersurface singularities, Adv. Math. 217 (2008), no. 6, 2443–2484. 10.1016/j.aim.2007.10.007Search in Google Scholar

[8] J.-C. Chen, Flops and equivalences of derived categories for threefolds with only terminal Gorenstein singularities, J. Differential Geom. 61 (2002), no. 2, 227–261. 10.4310/jdg/1090351385Search in Google Scholar

[9] H. Dao, Remarks on non-commutative crepant resolutions of complete intersections, Adv. Math. 224 (2010), no. 3, 1021–1030. 10.1016/j.aim.2009.12.016Search in Google Scholar

[10] H. Dao and C. Huneke, Vanishing of Ext, cluster tilting and finite global dimension of endomorphism rings, Amer. J. Math. 135 (2013), no. 2, 561–578. 10.1353/ajm.2013.0021Search in Google Scholar

[11] D. Eisenbud, Homological algebra on a complete intersection, with an application to group representations, Trans. Amer. Math. Soc. 260 (1980), no. 1, 35–64. 10.1090/S0002-9947-1980-0570778-7Search in Google Scholar

[12] D. Happel and L. Unger, On a partial order of tilting modules, Algebr. Represent. Theory 8 (2005), no. 2, 147–156. 10.1007/s10468-005-3595-2Search in Google Scholar

[13] C. Huneke and R. Wiegand, Tensor products of modules and the rigidity of Tor, Math. Ann. 299 (1994), no. 3, 449–476. 10.1007/BF01459794Search in Google Scholar

[14] O. Iyama and I. Reiten, Fomin–Zelevinsky mutation and tilting modules over Calabi–Yau algebras, Amer. J. Math. 130 (2008), no. 4, 1087–1149. 10.1353/ajm.0.0011Search in Google Scholar

[15] O. Iyama and M. Wemyss, Maximal modifications and Auslander–Reiten duality for non-isolated singularities, Invent. Math. 197 (2014), no. 3, 521–586. 10.1007/s00222-013-0491-ySearch in Google Scholar

[16] O. Iyama and M. Wemyss, Singular derived categories of -factorial terminalizations and maximal modification algebras, Adv. Math. 261 (2014), 85–121. 10.1016/j.aim.2014.04.001Search in Google Scholar

[17] O. Iyama and Y. Yoshino, Mutation in triangulated categories and rigid Cohen–Macaulay modules, Invent. Math. 172 (2008), no. 1, 117–168. 10.1007/s00222-007-0096-4Search in Google Scholar

[18] Y. Liu and B. Zhu, Triangulated quotient categories, Comm. Alg. 41 (2013), no. 10, 3720–3738. 10.1080/00927872.2012.676116Search in Google Scholar

[19] A. Nolla de Celis and Y. Sekiya, Flops and mutations for crepant resolutions of polyhedral singularities, preprint (2011), http://arxiv.org/abs/1108.2352. 10.4310/AJM.2017.v21.n1.a1Search in Google Scholar

[20] I. Reiten and M. Van den Bergh, Two-dimensional tame and maximal orders of finite representation type, Mem. Amer. Math. Soc. 80 (1989), No. 408. 10.1090/memo/0408Search in Google Scholar

[21] C. Riedtmann and A. Schofield, On a simplicial complex associated with tilting modules, Comment. Math. Helv. 66 (1991), no. 1, 70–78. 10.1007/BF02566636Search in Google Scholar

[22] P. Roberts, Multiplicities and Chern classes in local algebra, Cambridge Tracts in Math. 133, Cambridge University Press, Cambridge 1998. 10.1017/CBO9780511529986Search in Google Scholar

[23] O. Solberg, Hypersurface singularities of finite Cohen–Macaulay type, Proc. London Math. Soc. (3) 58 (1989), no. 2, 258–280. 10.1112/plms/s3-58.2.258Search in Google Scholar

[24] M. Van den Bergh, Three-dimensional flops and noncommutative rings, Duke Math. J. 122 (2004), no. 3, 423–455. 10.1215/S0012-7094-04-12231-6Search in Google Scholar

[25] M. Wemyss, The GL(2,) McKay correspondence, Math. Ann. 350 (2011), no. 3, 631–659. 10.1007/s00208-010-0572-9Search in Google Scholar

[26] M. Wemyss, Aspects of the homological minimal model program, preprint (2014), http://arxiv.org/abs/1411.7189. Search in Google Scholar

[27] Y. Yoshino, Cohen–Macaulay modules over Cohen–Macaulay rings, London Math. Soc. Lecture Note Ser. 146, Cambridge University Press, Cambridge 1990. 10.1017/CBO9780511600685Search in Google Scholar

Received: 2014-5-22
Published Online: 2015-9-17
Published in Print: 2018-5-1

© 2018 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 8.5.2024 from https://www.degruyter.com/document/doi/10.1515/crelle-2015-0031/html
Scroll to top button