×

Derived categories of Gushel-Mukai varieties. (English) Zbl 1401.14181

Working over an algebraically closed field of characteristic 0, the authors show that the derived category of a Gushel-Mukai (GM) variety admits a semiorthogonal decomposition with a GM category as its component. This GM category is proved to be a \(K3\) or Enriques category depending on the parity of the dimension of the Gushel-Mukai variety. They compute the Hochschild homology, Hochschild cohomology and the numerical Grothendieck group of this GM category. These computations allow them to conclude that for any Gushel-Mukai variety of odd dimension or a very general Gushel Mukai variety of even dimension greater than 2, the GM category is not equivalent to the derived category of any variety. They introduce the notions of generalized dual GM varieties and generalized GM partners, and conjecture that they have equivalent GM categories. They show this conjecture in a special case for a certain codimension 1 family of GM fourfolds. They also conjecture that GM category of a rational GM fourfold is equivalent to the derived category of a \(K3\) surface. This conjecture together with their result on the non-geometricity of the GM category for a very general GM fourfold, is the first conjectural example of an irrational GM fourfold. Lastly, in the appendix they prove that the GM varieties of a fixed dimension form a smooth and irreducible Deligne-Mumford stack and they compute the dimension of this stack.

MSC:

14J45 Fano varieties
14E08 Rationality questions in algebraic geometry

References:

[1] Addington, N., Hassett, B., Tschinkel, Y. and Várilly-Alvarado, A., Cubic fourfolds fibered in sextic del Pezzo surfaces, Preprint (2016), arXiv:1606.05321.
[2] Addington, N. and Thomas, R., Hodge theory and derived categories of cubic fourfolds, Duke Math. J.163 (2014), 1885-1927. doi:10.1215/00127094-2738639 · Zbl 1309.14014
[3] Beauville, A., Variétés de Prym et jacobiennes intermediaires, Ann. Sci. Éc. Norm. Supér. (4), 10, 309-391, (1977) · Zbl 0368.14018 · doi:10.24033/asens.1329
[4] Böhning, C., Graf Von Bothmer, H.-C. and Sosna, P., On the Jordan-Hölder property for geometric derived categories, Adv. Math.256 (2014), 479-492. doi:10.1016/j.aim.2014.02.016 · Zbl 1311.14021
[5] Bondal, A., Representations of associative algebras and coherent sheaves, Izv. Akad. Nauk SSSR Ser. Mat., 53, 25-44, (1989)
[6] Bondal, A. and Kapranov, M., Representable functors, Serre functors, and mutations, Math. USSR-Izv.35 (1990), 519-541. doi:10.1070/IM1990v035n03ABEH000716 · Zbl 0703.14011
[7] Calabrese, J. and Thomas, R., Derived equivalent Calabi-Yau threefolds from cubic fourfolds, Math. Ann.365 (2016), 155-172. doi:10.1007/s00208-015-1260-6 · Zbl 1342.14036
[8] Conte, A. and Murre, J. P., The Hodge conjecture for fourfolds admitting a covering by rational curves, Math. Ann.238 (1978), 79-88. doi:10.1007/BF01351457 · Zbl 0373.14006
[9] Debarre, O., Iliev, A. and Manivel, L., Special prime Fano fourfolds of degree 10 and index 2, in Recent advances in algebraic geometry, (Cambridge University Press, Cambridge, 2015), 123-155. doi:10.1017/CBO9781107416000.009 · Zbl 1326.14094
[10] Debarre, O. and Kuznetsov, A., Gushel-Mukai varieties: linear spaces and periods, Kyoto J. Math., to appear. Preprint (2017), arXiv:1605.05648.
[11] Debarre, O. and Kuznetsov, A., Gushel-Mukai varieties: classification and birationalities, Algebr. Geom.5 (2018), 15-76. · Zbl 1408.14053
[12] Debarre, O. and Kuznetsov, A., Gushel-Mukai varieties: moduli stacks and coarse moduli spaces (2018), in preparation.
[13] Debarre, O. and Voisin, C., Hyper-Kähler fourfolds and Grassmann geometry, J. Reine Angew. Math.649 (2010), 63-87. · Zbl 1217.14028
[14] Fulton, W., Intersection theory, , second edition (Springer, Berlin, 1998). doi:10.1007/978-1-4612-1700-8 · Zbl 0885.14002
[15] Gushel, N. P., On Fano varieties of genus 6, Izv. Math., 21, 445-459, (1983) · Zbl 0554.14014 · doi:10.1070/IM1983v021n03ABEH001801
[16] Hassett, B., Special cubic fourfolds, Compos. Math., 120, 1-23, (2000) · Zbl 0956.14031 · doi:10.1023/A:1001706324425
[17] Huybrechts, D., Lectures on K3 Surfaces, (2016), Cambridge University Press: Cambridge University Press, Cambridge · Zbl 1360.14099 · doi:10.1017/CBO9781316594193
[18] Huybrechts, D., The K3 category of a cubic fourfold, Compos. Math., 153, 586-620, (2017) · Zbl 1440.14180 · doi:10.1112/S0010437X16008137
[19] Iliev, A., Kapustka, G., Kapustka, M. and Ranestad, K., EPW cubes, J. Reine Angew. Math., to appear. Preprint (2016), arXiv:1505.02389.
[20] Iliev, A. and Manivel, L., Fano manifolds of degree ten and EPW sextics, Ann. Sci. Éc. Norm. Supér. (4)44 (2011), 393-426. doi:10.24033/asens.2146 · Zbl 1258.14050
[21] Küchle, O., On Fano 4-folds of index 1 and homogeneous vector bundles over Grassmannians, Math. Z., 218, 563-575, (1995) · Zbl 0826.14024 · doi:10.1007/BF02571923
[22] Kuznetsov, A., Derived categories of cubic and V_{14} threefolds, Tr. Mat. Inst. Steklova, 246, 183-207, (2004) · Zbl 1107.14028
[23] Kuznetsov, A., Hyperplane sections and derived categories, Izv. Math., 70, 447-547, (2006) · Zbl 1133.14016 · doi:10.1070/IM2006v070n03ABEH002318
[24] Kuznetsov, A., Homological projective duality, Publ. Math. Inst. Hautes Études Sci., 105, 157-220, (2007) · Zbl 1131.14017 · doi:10.1007/s10240-007-0006-8
[25] Kuznetsov, A., Derived categories of Fano threefolds, Tr. Mat. Inst. Steklova, 264, 116-128, (2009) · Zbl 1312.37015 · doi:10.1134/S0081543809050095
[26] Kuznetsov, A., Hochschild homology and semiorthogonal decompositions, Preprint (2009),arXiv:0904.4330.
[27] Kuznetsov, A., Derived categories of cubic fourfolds, in Cohomological and geometric approaches to rationality problems, (Birkhäuser, Boston, MA, 2010), 219-243. doi:10.1007/978-0-8176-4934-0_9 · Zbl 1202.14012
[28] Kuznetsov, A., Semiorthogonal decompositions in algebraic geometry, in Proceedings of the international congress of mathematicians (Seoul, 2014), Vol. II (Kyung Moon Sa, Seoul, 2014), 635-660. · Zbl 1373.18009
[29] Kuznetsov, A., Height of exceptional collections and Hochschild cohomology of quasiphantom categories, J. Reine Angew. Math., 708, 213-243, (2015) · Zbl 1331.14024
[30] Kuznetsov, A., On Küchle varieties with Picard number greater than 1, Izv. Math., 79, 698-709, (2015) · Zbl 1342.14087 · doi:10.1070/IM2015v079n04ABEH002758
[31] Kuznetsov, A., Calabi-Yau and fractional Calabi-Yau categories, J. Reine Angew. Math., to appear. Preprint (2016), arXiv:1509.07657.
[32] Kuznetsov, A., Derived categories view on rationality problems, 67-104, (2016), Springer: Springer, Cham · Zbl 1368.14029
[33] Kuznetsov, A., Küchle fivefolds of type c5, Math. Z., 284, 1245-1278, (2016) · Zbl 1352.14029 · doi:10.1007/s00209-016-1707-9
[34] Kuznetsov, A. and Perry, A., Derived categories of cyclic covers and their branch divisors, Selecta Math. (N.S.)23 (2017), 389-423. doi:10.1007/s00029-016-0243-0 · Zbl 1365.14021
[35] Kuznetsov, A. and Perry, A., Categorical joins, in preparation (2018).
[36] Lazarsfeld, R., Positivity in algebraic geometry I. Classical setting: line bundles and linear series, (2004), Springer: Springer, Berlin · Zbl 1093.14501
[37] Logachev, D., Fano threefolds of genus 6, Asian J. Math., 16, 515-559, (2012) · Zbl 1263.14040 · doi:10.4310/AJM.2012.v16.n3.a9
[38] Macrì, E. and Stellari, P., Fano varieties of cubic fourfolds containing a plane, Math. Ann.354 (2012), 1147-1176. doi:10.1007/s00208-011-0776-7 · Zbl 1266.18016
[39] Markarian, N., The Atiyah class, Hochschild cohomology and the Riemann-Roch theorem, J. Lond. Math. Soc. (2), 79, 129-143, (2009) · Zbl 1167.14005 · doi:10.1112/jlms/jdn064
[40] Mukai, S., Biregular classification of Fano 3-folds and Fano manifolds of coindex 3, Proc. Natl Acad. Sci. USA, 86, 3000-3002, (1989) · Zbl 0679.14020 · doi:10.1073/pnas.86.9.3000
[41] Mumford, D., Lectures on curves on an algebraic surface, (Princeton University Press, Princeton, NJ, 1966); with a section by G. M. Bergman. · Zbl 0187.42701
[42] Nagel, J., The generalized Hodge conjecture for the quadratic complex of lines in projective four-space, Math. Ann., 312, 387-401, (1998) · Zbl 0940.14005 · doi:10.1007/s002080050227
[43] O’Grady, K. G., Irreducible symplectic 4-folds and Eisenbud-Popescu-Walter sextics, Duke Math. J., 134, 99-137, (2006) · Zbl 1105.14051 · doi:10.1215/S0012-7094-06-13413-0
[44] O’Grady, K. G., Dual double EPW-sextics and their periods, Pure Appl. Math. Q., 4, 427-468, (2008) · Zbl 1152.14010 · doi:10.4310/PAMQ.2008.v4.n2.a6
[45] O’Grady, K. G., EPW-sextics: taxonomy, Manuscripta Math., 138, 221-272, (2012) · Zbl 1261.14027 · doi:10.1007/s00229-011-0472-7
[46] O’Grady, K. G., Double covers of EPW-sextics, Michigan Math. J., 62, 143-184, (2013) · Zbl 1276.14008 · doi:10.1307/mmj/1363958245
[47] O’Grady, K. G., Periods of double EPW-sextics, Math. Z., 280, 485-524, (2015) · Zbl 1327.14061 · doi:10.1007/s00209-015-1434-7
[48] O’Grady, K. G., Moduli of double EPW-sextics, Mem. Amer. Math. Soc., 240, (2016) · Zbl 1408.14116
[49] Okawa, S., Semi-orthogonal decomposability of the derived category of a curve, Adv. Math., 228, 2869-2873, (2011) · Zbl 1230.14020 · doi:10.1016/j.aim.2011.06.043
[50] Orlov, D., Smooth and proper noncommutative schemes and gluing of DG categories, Adv. Math., 302, 59-105, (2016) · Zbl 1368.14031 · doi:10.1016/j.aim.2016.07.014
[51] Perry, A., Hochschild cohomology and group actions, Preprint (2018).
[52] Polishchuk, A., Lefschetz type formulas for dg-categories, Selecta Math. (N.S.), 20, 885-928, (2014) · Zbl 1321.18007 · doi:10.1007/s00029-013-0143-5
[53] Sernesi, E., Deformations of Algebraic Schemes, (2006), Springer: Springer, Berlin · Zbl 1102.14001
[54] Shepherd-Barron, N. I., The rationality of quintic Del Pezzo surfaces—a short proof, Bull. Lond. Math. Soc., 24, 249-250, (1992) · Zbl 0781.14037 · doi:10.1112/blms/24.3.249
[55] The Stacks Project Authors, Stacks project, http://stacks.math.columbia.edu (2017).
[56] Thomas, R., Notes on HPD, in Proceedings of the AMS summer institute in algebraic geometry, Utah 2015, to appear. Preprint (2017), arXiv:1512.08985.
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.