×

zbMATH — the first resource for mathematics

Flops and clusters in the homological minimal model programme. (English) Zbl 1390.14012
A central problem in birational geometry of 3-folds is to construct all minimal models, (nonsingular spaces with birational morphisms) \(X_i\rightarrow\text{Spec}R\) of a singular space \(\text{Spec}R\), and to pass between them via flops in an effective manner.
The classical way to construct a minimal model, is to take \(\text{Proj}(R)\) of an appropriate finitely generated graded ring. This variety comes with an ample line bundle, not giving sufficient information for flopping between minimal models.
In this article, the author looks for a bundle on a variety giving necessary information. This means a bundle containing many summands, whose determinant bundle recovers the classically obtained ample bundle. Ideally, these are close to tilting bundles, for which the conditions are known to be satisfied.
Passing between minimal models is a hard problem in general. One solution is to achieve a GIT chamber decomposition which together contains all projective minimal models. Another is to find a curve, flop, compute all the geometry explicitly, and repeat. Both of these methods are known, and demands a lot of complicated computations.
This article illustrates in the cases where a larger tilting bundle exists, that the extra information encoded in the tilting algebra (the endomorphism ring) can be used to produce an effective homological method to pass between the minimal models, both in finding the floppable curves, and to produce the flop. This setup gives a map for navigating the through the GIT chambers, giving a finer control than the derived category approaches to GIT.
Given a crepant projective birational morphism \(X\rightarrow\text{Spec}(R)\) with one-dimensional fibres, \(R\) a 3-dimensional normal Gorenstein complete local ring (over \(\mathbb C\)), and \(X\) with only Gorenstein terminal singularities. Then associate a noncommutative ring \(\Lambda=\text{End}_R(N)\) for some reflexive \(R\)-module \(N\). This induces a derived equivalence \(\Psi_X:\text{D}^b(\text{coh}X)\rightarrow \text{D}^b(\text{mod}\Lambda)\). Notice that the author include the usual representation of \(\Lambda\) as a quiver with relations in the exposition. In the case where \(X\) is smooth, the loops encode the normal bundle of the curves. It is claimed that the article contains two key new ideas: The first says that certain factors of the algebra \(\Lambda\) encode noncommutative deformations of the curves and detects the floppable curves. The second says that when curves flop, we should not view the flop as a variation of GIT, but as a change in the algebra via a universal property whilst keeping the GIT stability constant.
Suppose that \(f:X\rightarrow\text{Spec}R\) is a crepant projective birational morphism where \(R\) is complete local with at most 1-dimensional fibres. Choose \(\bigcup_{i\in I}C_i\) in \(X\) and contract them to give \(g:X\rightarrow X_{\text{con}}\) supposing that \(g\) is an isomorphism away from \(\bigcup_{i\in I}C_i\). The author defines the mutation functor (very roughly) as \(\mu_I M:=M_{I^c}\oplus K_I\) where \(M_{I^c}\) is the complement of \(M_I\) and \(K_I=\ker({a_i\cdot}).\)
It is proved that the mutation functor is isomorphic to the inverse of the Bridgeland-Chen flop functor when the curves are floppable, Viewing the flop via this universal property gives new control to the process. The mutated algebra contains the information needed to iterate without the need of explicitly calculate the geometry at each step. This implies the GIT chamber structures and wall crossing together with many results in noncommutative minimal models: In particular, it induces an Auslander-McKay correspondence in dimension 3. The author describes explicitly the algorithm for jumping between the minimal models of \(\text{Spec}R\). The process is called the Homological MMP.
The first result, proved by iteration, is that \(\bigcup_{i\in I}C_i\) contracts to a point without contracting a divisor if and only if \(\dim_{\mathbb C}\Lambda_I<\infty.\)
The next step is to choose a subset of curves \(\{C_i\mid i\in I\}\) for an index set \(I\). Each curve \(C_i\) correspond to an indecomposable summand \(N_i\) of an \(R\)-module \(N\), and the tilting algebra is replaced with its mutated algebra \(\nu_I\Lambda:=\text{End}_R(\nu_i N).\) The mutation handles the cases with loops, 2-cycles, and no superpotential (saying that it can be generalized to singular minimal models). When \(C_i\) flops, denote the flop by \(X^+\).
The second main result states that: (1) The irreducible curve \(C_i\) flops if and only if \(\nu_i N\neq N\). (2) If \(\Gamma\) denotes the natural algebra associated to the flop \(X^+\), then \(\Gamma\cong\nu_i\Gamma.\) (3) If \(X\rightarrow\text{Spec}R\) is a minimal model, and \(\dim_{\mathbb C}\Lambda_i<\infty\), then \(\Phi_i\cong\Psi_{X^+}\circ\mathsf{Flop}\circ\Psi^{-1}_X\) where \(\mathsf{Flop}\) is the inverse of the flop functor of Bridgeland-Chen. One sees that the first part of the result gives a lower bound on the number of minimal models, while the second part allows to iterate.
The above describes the theory in the article of independent interest. In addition the article includes applications. For the applications to GIT, let \(\Gamma=\text{End}_R(N)\) be any algebra with \(\Gamma\in\text{CM}R.\) The dimension vector given by the ranks of the summands of \(N\) are denoted \(\mathsf{rk}\). When \(N\) is a generator, the GIT chamber decomposition \(\Theta(\Gamma)\) associated to \(\Gamma\) has coordinates \(\vartheta_i\) for \(i\neq 0\), \(\vartheta_0\) corresponding to the summand \(R\) of \(N\). \(C_+(\Gamma)=\{\vartheta\in\Theta(\Gamma)\mid\vartheta_i>0\text{ for all }i>0\},\) and \(\mathcal M_{\mathsf{rk},\phi}(\Lambda)\) denotes the moduli space of \(\phi\)-semistable \(\Lambda\)-modules of dimension vector \(\mathsf{rk}\). This review cannot include all applications, but an example is the first corollary: Choose \(C_i\) and suppose \(\dim_{\mathbb C}\Lambda_i<\infty\) (so that \(C_i\) flops). Then (1) \(\mathcal M_{\mathsf{rk},\phi}(\Lambda)\cong X\) for all \(\phi\in C_+(\Lambda)\). (2) \(\mathcal M_{\mathsf{rk},\phi}(\nu_i\Lambda)\cong X^+\) for all \(\phi\in C_+(\nu_i\Lambda)\). Thus one can view the flop as changing the algebra, but keeping the GIT chamber structure fixed. Mutation induces a derived equivalence, and then it is possible to track the moduli space back across the equivalence to obtain the flop as a moduli space on the original algebra. Thus a second corollary to the theory is a moduli-tracking theorem.
I would like to give one more of the corollaries given in the introduction, to illustrate the strength of the theory. It states verbatim that there exists a connected path in the GIT chamber decomposition of \(\Lambda\) where every minimal model of \(\text{Spec}R\) can be found, and each wall crossing in this path corresponds to the flop of a singular curve.
The other main application of the theory is a generalized Auslander-McKay correspondence. This lifts the Auslander-McKay correspondence from dimension 2 to 3-fold compound du Val singularities, and states that when \(R\) is a complete local cDV singularity there is a one-to-one correspondence from the set of basic maximal modification \(R\)-module generators to the set of minimal models \(f_i:X_i\rightarrow\text{Spec}R\). The article includes a study on the properties of this extended correspondence.
It is fair to remark that the search for the more ample bundles includes several areas of noncommutative geometry, including noncommutative deformations. Most of these theories are recalled and explored in an explicit way in the article, and the results is as always from this author very nice and important, leading to new questions and conjectures listed at the end of the article.

MSC:
14A22 Noncommutative algebraic geometry
14E30 Minimal model program (Mori theory, extremal rays)
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Auslander, M, Rational singularities and almost split sequences, Trans. Am. Math. Soc., 293, 511-531, (1986) · Zbl 0594.20030
[2] Bergh, PA, On the existence of cluster tilting objects in triangulated categories, J. Algebra, 417, 1-14, (2014) · Zbl 1309.13015
[3] Bocklandt, R; Schedler, T; Wemyss, M, Superpotentials and higher order derivations, J. Pure Appl. Algebra, 214, 1501-152, (2010) · Zbl 1219.16016
[4] Brenner, S., Butler, M.C.R.: A spectral sequence analysis of classical tilting functors. Handbook of Tilting Theory, London Math. Soc. Lecture Note Ser., vol. 332. Cambridge University Press, Cambridge, pp. 31-48 (2007) · Zbl 1155.18010
[5] Bridgeland, T, Flops and derived categories, Invent. Math., 147, 613-632, (2002) · Zbl 1085.14017
[6] Bridgeland, T; Stern, D, Helices on del Pezzo surfaces and tilting Calabi-Yau algebras, Adv. Math., 224, 1672-1716, (2010) · Zbl 1193.14022
[7] Burban, I; Iyama, O; Keller, B; Reiten, I, Cluster tilting for one-dimensional hypersurface singularities, Adv. Math., 217, 2443-2484, (2008) · Zbl 1143.13014
[8] Cartan, H., Eilenberg, S.: Homological Algebra. Princeton Landmarks in Mathematics. Princeton University Press, Princeton (1999) · Zbl 0933.18001
[9] Cassens, H., Slodowy, P.: On Kleinian singularities and quivers. Singularities (Oberwolfach, 1996), pp. 263-288, Progr. Math., vol. 162. Birkhuser, Basel (1998) · Zbl 0957.14004
[10] Chen, J-C, Flops and equivalences of derived categories for threefolds with only terminal Gorenstein singularities, J. Differ. Geom., 61, 227-261, (2002) · Zbl 1090.14003
[11] Clemens, H., Kollár, J., Mori, S.: Higher Dimensional Complex Geometry, Astérisque, vol. 166. Société Mathématique de France, Paris (1988) · Zbl 0689.14016
[12] Craw, A.: The McKay Correspondence and Representations of the McKay Quiver. University of Warwick Ph.D. thesis, xviii + 134 pp (June 2001) · Zbl 0186.07101
[13] Craw, A; Ishii, A, Flops of \(G\)-hilb and equivalences of derived categories by variation of GIT quotient, Duke Math. J., 124, 259-307, (2004) · Zbl 1082.14009
[14] Dao, H; Huneke, C, Vanishing of ext, cluster tilting and finite global dimension of endomorphism rings, Am. J. Math., 135, 561-578, (2013) · Zbl 1274.13031
[15] Donovan, W; Wemyss, M, Noncommutative deformations and flops, Duke Math. J., 165, 1397-1474, (2016) · Zbl 1346.14031
[16] Donovan, W., Wemyss, M.: Contractions and deformations, arXiv:1511.00406 · Zbl 1346.14031
[17] Donovan, W., Wemyss, M.: Twists and braids for 3-fold flops. JEMS (accepted, 2016). arXiv:1504.05320 · Zbl 1346.14031
[18] Donovan, W., Wemyss, M.: Noncommutative enhancements of contractions, arXiv:1612.01687 · Zbl 1346.14031
[19] Gulliksen, TH, On the deviations of a local ring, Math. Scand., 47, 5-20, (1980) · Zbl 0458.13010
[20] Hirano, Y., Wemyss, M.: Faithful actions from hyperplane arrangements, arXiv:1612.02582 · Zbl 1401.18033
[21] Iyama, O; Reiten, I, Fomin-Zelevinsky mutation and tilting modules over Calabi-Yau algebras, Am. J. Math., 130, 1087-1149, (2008) · Zbl 1162.16007
[22] Iyama, O; Wemyss, M, The classification of special Cohen Macaulay modules, Math. Z., 265, 41-83, (2010) · Zbl 1192.13012
[23] Iyama, O; Wemyss, M, Maximal modifications and Auslander-Reiten duality for non-isolated singularities, Invent. Math., 197, 521-586, (2014) · Zbl 1308.14007
[24] Iyama, O; Wemyss, M, Singular derived categories of \(\mathbb{Q}\)-factorial terminalizations and maximal modification algebras, Adv. Math., 261, 85-121, (2014) · Zbl 1326.14033
[25] Iyama, O., Wemyss, M.: Reduction of triangulated categories and Maximal Modification Algebras for \(cA_n\) singularities. Crelle (2015). https://doi.org/10.1515/crelle-2015-0031 · Zbl 1428.18012
[26] Kalck, M; Iyama, O; Wemyss, M; Yang, D, Frobenius categories, Gorenstein algebras and rational surface singularities, Compos. Math., 151, 502-534, (2015) · Zbl 1327.14172
[27] Karmazyn, J.: Quiver GIT for varieties with tilting bundles. Manuscr. Math. 154(1-2), 91-128 (2017) · Zbl 1401.14198
[28] Katz, S.: Small resolutions of Gorenstein threefold singularities. Algebraic geometry: Sundance 1988, pp. 61-70, Contemp. Math., vol. 116, Am. Math. Soc., Providence, RI (1991) · Zbl 0755.14002
[29] Kawamata, Y., Matsuda, K., Matsuki, K.: Introduction to the minimal model problem. Algebraic geometry, Sendai, 1985, pp. 283-360, Adv. Stud. Pure Math., vol. 10, North-Holland, Amsterdam (1987) · Zbl 1082.14009
[30] Kawamata, Y; Matsuki, K, The number of the minimal models for a 3-fold of general type is finite, Math. Ann., 276, 595-598, (1987) · Zbl 0596.14031
[31] Keller, B.: Derived categories and tilting. Handbook of tilting theory, pp. 49-104, London Math. Soc. Lecture Note Ser., vol. 332. Cambridge University Press, Cambridge (2007) · Zbl 1143.13014
[32] King, AD, Moduli of representations of finite-dimensional algebras, Quart. J. Math. Oxf. Ser. (2), 45, 515-530, (1994) · Zbl 0837.16005
[33] Kollár, J, Flops, Nagoya Math. J., 113, 15-36, (1989) · Zbl 0645.14004
[34] Kollár, J.: Flips, flops, minimal models etc. Surveys in differential geometry (Cambridge, MA, 1990), pp. 113-199. Lehigh Univ, Bethlehem, PA (1991) · Zbl 0458.13010
[35] Kollár, J; Mori, S, Classification of three-dimensional flips, J. Am. Math. Soc., 5, 533-703, (1992) · Zbl 0773.14004
[36] Kronheimer, PB, The construction of ALE spaces as hyper-Kähler quotients, J. Differ. Geom., 29, 665-683, (1989) · Zbl 0671.53045
[37] Laudal, O.A.: Noncommutative deformations of modules. The Roos Festschrift volume, 2. Homology Homotopy Applications, vol. 4(2), part 2, pp. 357-396 (2002) · Zbl 1013.16018
[38] Muto, T; Tani, T, Stability of quiver representations and topology change, J. High Energy Phys., 2001, 8, (2001)
[39] Nolla de Celis, A; Sekiya, Y, Flops and mutations for crepant resolutions of polyhedral singularities, Asian J. Math., 21, 1-46, (2017) · Zbl 1368.14024
[40] Orlov, D, Formal completions and idempotent completions of triangulated categories of singularities, Adv. Math., 226, 206-217, (2011) · Zbl 1216.18012
[41] Pinkham, H.: Factorization of birational maps in dimension 3. Singularities (P. Orlik, ed.), Proc. Symp. Pure Math., vol. 40, Part 2, pp. 343-371. American Mathematical Society, Providence (1983) · Zbl 0773.14004
[42] Ramras, M, Maximal orders over regular local rings of dimension two, Trans. Am. Math. Soc., 142, 457-479, (1969) · Zbl 0186.07101
[43] Reid, M.: Minimal models of canonical 3-folds. Algebraic varieties and analytic varieties (Tokyo, 1981), pp. 131-180. Adv. Stud. Pure Math., 1, North-Holland, Amsterdam (1983) · Zbl 1233.14012
[44] Schröer, S, A characterization of semiampleness and contractions of relative curves, Kodai Math. J., 24, 207-213, (2001) · Zbl 1075.14501
[45] Sekiya, Y; Yamaura, K, Tilting theoretical approach to moduli spaces over preprojective algebras, Algebr. Represent. Theory, 16, 1733-1786, (2013) · Zbl 1297.14013
[46] Toda, Y, Stability conditions and crepant small resolutions, Trans. Am. Math. Soc., 360, 6149-6178, (2008) · Zbl 1225.14030
[47] Toda, Y, On a certain generalization of spherical twists, Bull. Soc. Math. France, 135, 119-134, (2007) · Zbl 1155.18010
[48] Toda, Y, Noncommutative width and gopakumar-Vafa invariants, Manuscr. Math., 148, 521-533, (2015) · Zbl 1348.14040
[49] Bergh, M, Three-dimensional flops and noncommutative rings, Duke Math. J., 122, 423-455, (2004) · Zbl 1074.14013
[50] Van den Bergh, M.: Non-commutative crepant resolutions. The legacy of Niels Henrik Abel, pp. 749-770. Springer, Berlin (2004) · Zbl 1082.14005
[51] Weibel, C.A.: An introduction to homological algebra. Cambridge Studies in Advanced Mathematics, vol. 38. Cambridge University Press, Cambridge (1994). xiv+450 pp · Zbl 0797.18001
[52] Wemyss, M, The GL(2,\(\mathbb{C} \)) mckay correspondence, Math. Ann., 350, 631-659, (2011) · Zbl 1233.14012
[53] Wunram, J, Reflexive modules on quotient surface singularities, Math. Ann., 279, 583-598, (1988) · Zbl 0616.14001
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.