×

Positivity of the diagonal. (English) Zbl 1408.14026

Let \(X\) be a smooth projective variety. A cycle class is said to be big if it lies in the interior of the closed cone generated by classes of effective cycles. A cycle is called homologically big if it is homologically equivalent to the sum of an effective \(\mathbb{Q}\)-cycle and a complete intersection of ample \(\mathbb{Q}\)-divisors. Furthermore a cycles class is said to be nef if it has non-negative intersection against every subvariety of the complementary dimension. One of the main results of this article is the following: If \(X\) is a smooth projective variety and the diagonal \(\Delta_X\subset X\times X\) is homologically big, then \(H^{i,0}(X)\) vanishes for \(i>0\). In particular, no varieties with trivial canonical bundle can have homologically big diagonal. As an application, the author classifies low-dimensional varieties with big and nef diagonals as follows. A smooth projective surface with nef and big diagonal is either \(\mathbb{P}^2\) or a fake projective plane. A smooth projective threefold with nef and homologically big diagonal is either \(\mathbb{P}^3\), a del Pezzo quintic threefold \(V_5\), or the Fano threefold \(V_{22}\).

MSC:

14C25 Algebraic cycles
14C30 Transcendental methods, Hodge theory (algebro-geometric aspects)

Software:

fakequadrics
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

References:

[1] Bauer, I.; Catanese, F.; Grunewald, F., The classification of surfaces with \(p_g = q = 0\) isogenous to a product of curves, Special Issue: In honor of Fedor Bogomolov. Part 1, Pure Appl. Math. Q., 4, 2, 547-586, (2008) · Zbl 1151.14027
[2] Bayer, A.; Macrì, E., MMP for moduli of sheaves on K3s via wall-crossing: nef and movable cones, Lagrangian fibrations, Invent. Math., 198, 3, 505-590, (2014) · Zbl 1308.14011
[3] Bertram, A.; Coskun, I., The birational geometry of the Hilbert scheme of points on surfaces, (Birational Geometry, Rational Curves, and Arithmetic, (2013), Springer New York), 15-55 · Zbl 1273.14032
[4] Bloch, S.; Kas, A.; Lieberman, D., Zero cycles on surfaces with \(p_g = 0\), Compos. Math., 33, 2, 135-145, (1976) · Zbl 0337.14006
[5] Bloch, S.; Srinivas, V., Remarks on correspondences and algebraic cycles, Amer. J. Math., 105, 5, 1235-1253, (1983) · Zbl 0525.14003
[6] Campana, F.; Peternell, T., Projective manifolds whose tangent bundles are numerically effective, Math. Ann., 289, 1, 169-187, (1991) · Zbl 0729.14032
[7] Cartwright, D. I.; Steger, T., Enumeration of the 50 fake projective planes, C. R. Math. Acad. Sci. Paris, 348, 1-2, 11-13, (2010) · Zbl 1180.14039
[8] Debarre, O.; Ein, L.; Lazarsfeld, R.; Voisin, C., Pseudoeffective and nef classes on abelian varieties, Compos. Math., 147, 6, 1793-1818, (2011) · Zbl 1234.14008
[9] Debarre, O.; Jiang, Z.; Voisin, C., Pseudo-effective classes and pushforwards, Pure Appl. Math. Q., 9, 4, 643-664, (2013) · Zbl 1319.14010
[10] J.-P. Demailly, Complex analytic and differential geometry, Available at http://www-fourier.ujf-grenoble.fr/ demailly/; J.-P. Demailly, Complex analytic and differential geometry, Available at http://www-fourier.ujf-grenoble.fr/ demailly/
[11] Demailly, J.-P.; Peternell, T.; Schneider, M., Compact complex manifolds with numerically effective tangent bundles, J. Algebraic Geom., 3, 2, 295-345, (1994) · Zbl 0827.14027
[12] Džambić, A., Fake quadrics from irreducible lattices acting on the product of upper half planes, Math. Ann., 360, 1-2, 23-51, (2014) · Zbl 1323.14017
[13] Fu, L., On the coniveau of certain sub-Hodge structures, Math. Res. Lett., 19, 5, 1097-1116, (2012) · Zbl 1284.14015
[14] Fujino, O.; Sato, H., Smooth projective toric varieties whose nontrivial nef line bundles are big, Proc. Japan Acad. Ser. A Math. Sci., 85, 7, 89-94, (2009) · Zbl 1189.14056
[15] Fulger, M.; Lehmann, B., Morphisms and faces of pseudo-effective cones, Proc. Lond. Math. Soc. (3), 112, 4, 651-676, (2016) · Zbl 1348.14039
[16] Fulger, M.; Lehmann, B., Positive cones of dual cycle classes, Algebr. Geom., 4, 1, 1-28, (2017) · Zbl 1376.14009
[17] Guletskiĭ, V.; Pedrini, C., The Chow motive of the godeaux surface, (Algebraic Geometry, (2002), de Gruyter Berlin), 179-195 · Zbl 1054.14009
[18] Horikawa, E., Algebraic surfaces of general type with small \(C_1^2\). I, Ann. of Math. (2), 104, 2, 357-387, (1976) · Zbl 0339.14024
[19] Hsiao, J.-C., A remark on bigness of the tangent bundle of a smooth projective variety and D-simplicity of its section rings, J. Algebra Appl., 14, 7, (2015) · Zbl 1334.13021
[20] Hwang, J.-M., Geometry of minimal rational curves on Fano manifolds, (School on Vanishing Theorems and Effective Results in Algebraic Geometry, Trieste, 2000, ICTP Lect. Notes, vol. 6, (2001), Abdus Salam Int. Cent. Theoret. Phys Trieste), 335-393 · Zbl 1086.14506
[21] Iskovskikh, V.; Prohorov, Y.; Parshin, A. N.; Shafarevich, I. R.; Tregub, S., Algebraic geometry: Fano varieties. V, (1999), Springer-Verlag · Zbl 0903.00014
[22] Kanemitsu, A., Fano 5-folds with nef tangent bundles, (2015) · Zbl 1398.14047
[23] Lanteri, A.; Struppa, D., Projective manifolds with the same homology as \(\mathbf{P}^k\), Monatsh. Math., 101, 1, 53-58, (1986) · Zbl 0579.14032
[24] Lieberman, D. I., Numerical and homological equivalence of algebraic cycles on Hodge manifolds, Amer. J. Math., 90, 366-374, (1968) · Zbl 0159.50501
[25] Linowitz, B.; Stover, M.; Voight, J., Fake quadrics, (2015)
[26] Mok, N., The uniformization theorem for compact Kähler manifolds of nonnegative holomorphic bisectional curvature, J. Differential Geom., 27, 2, 179-214, (1988) · Zbl 0642.53071
[27] Mok, N., On Fano manifolds with nef tangent bundles admitting 1-dimensional varieties of minimal rational tangents, Trans. Amer. Math. Soc., 354, 7, 2639-2658, (2002), (electronic) · Zbl 0998.32013
[28] Nakayama, N., Zariski-decomposition and abundance, MSJ Memoirs, vol. 14, (2004), Mathematical Society of Japan Tokyo · Zbl 1061.14018
[29] Ott, A., On Fano threefolds with \(b_2 \geq 2\), (2005), Diploma thesis
[30] Ottem, J. C., Nef cycles on some hyperkahler fourfolds, (2015)
[31] Prasad, G.; Yeung, S.-K., Fake projective planes, Invent. Math., 168, 2, 321-370, (2007) · Zbl 1253.14034
[32] Rossi, M.; Terracini, L., Fibration and classification of a smooth projective toric variety of low Picard number, (2015)
[33] Steffens, A., Remarks on Seshadri constants, Math. Z., 227, 3, 505-510, (1998) · Zbl 0927.14002
[34] Tankeev, S. G., On the standard conjecture of Lefschetz type for complex projective threefolds. ii, Izv. Math., 75, 5, 1047, (2011) · Zbl 1234.14009
[35] Alexeev, V., Divisors of Burniat surfaces, (Development of Moduli Theory, Kyoto 2013, Adv. Stud. Pure Math., vol. 69, (2016), Math. Soc. Japan Tokyo), 287-302 · Zbl 1369.14050
[36] Voisin, C., Hodge theory and complex algebraic geometry. II, Cambridge Studies in Advanced Mathematics, vol. 77, (2007), Cambridge University Press Cambridge, translated from the French by Leila Schneps · Zbl 1129.14020
[37] Voisin, C., Coniveau 2 complete intersections and effective cones, Geom. Funct. Anal., 19, 5, 1494-1513, (2010) · Zbl 1205.14009
[38] Watanabe, K., Fano 5-folds with nef tangent bundles and Picard numbers greater than one, Math. Z., 276, 1-2, 39-49, (2014) · Zbl 1288.14030
[39] Watanabe, K., Fano manifolds with nef tangent bundle and large Picard number, Proc. Japan Acad. Ser. A Math. Sci., 91, 6, 89-94, (2015) · Zbl 1388.14124
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.