Injectivity theorem for pseudo-effective line bundles and its applications

Fujino, Osamu; Matsumura, Shin-ichi

doi:10.1090/btran/86

Injectivity theorem for pseudo-effective line bundles and its applications
HTML articles powered by AMS MathViewer

by Osamu Fujino and Shin-ichi Matsumura HTML | PDF

Trans. Amer. Math. Soc. Ser. B 8 (2021), 849-884

Abstract:

We formulate and establish a generalization of Kollár’s injectivity theorem for adjoint bundles twisted by suitable multiplier ideal sheaves. As applications, we generalize Kollár’s torsion-freeness, Kollár’s vanishing theorem, and a generic vanishing theorem for pseudo-effective line bundles. Our approach is not Hodge theoretic but analytic, which enables us to treat singular Hermitian metrics with nonalgebraic singularities. For the proof of the main injectivity theorem, we use $L^{2}$-harmonic forms on noncompact Kähler manifolds. For applications, we prove a Bertini-type theorem on the restriction of multiplier ideal sheaves to general members of free linear systems.

References

Allen Altman and Steven Kleiman, Introduction to Grothendieck duality theory, Lecture Notes in Mathematics, Vol. 146, Springer-Verlag, Berlin-New York, 1970. MR 0274461, DOI 10.1007/BFb0060932
F. Ambro, Quasi-log varieties, Tr. Mat. Inst. Steklova 240 (2003), no. Biratsion. Geom. Lineĭn. Sist. Konechno Porozhdennye Algebry, 220–239; English transl., Proc. Steklov Inst. Math. 1(240) (2003), 214–233. MR 1993751
Florin Ambro, An injectivity theorem, Compos. Math. 150 (2014), no. 6, 999–1023. MR 3223880, DOI 10.1112/S0010437X13007768
Donu Arapura, A note on Kollár’s theorem, Duke Math. J. 53 (1986), no. 4, 1125–1130. MR 874684, DOI 10.1215/S0012-7094-86-05355-X
Bo Berndtsson, Prekopa’s theorem and Kiselman’s minimum principle for plurisubharmonic functions, Math. Ann. 312 (1998), no. 4, 785–792. MR 1660227, DOI 10.1007/s002080050246
JunYan Cao, Jean-Pierre Demailly, and Shin-ichi Matsumura, A general extension theorem for cohomology classes on non reduced analytic subspaces, Sci. China Math. 60 (2017), no. 6, 949–962. MR 3647124, DOI 10.1007/s11425-017-9066-0
Jean-Pierre Demailly, Estimations $L^{2}$ pour l’opérateur $\bar \partial$ d’un fibré vectoriel holomorphe semi-positif au-dessus d’une variété kählérienne complète, Ann. Sci. École Norm. Sup. (4) 15 (1982), no. 3, 457–511 (French). MR 690650, DOI 10.24033/asens.1434
Jean-Pierre Demailly, A numerical criterion for very ample line bundles, J. Differential Geom. 37 (1993), no. 2, 323–374. MR 1205448
Jean-Pierre Demailly, Analytic methods in algebraic geometry, Surveys of Modern Mathematics, vol. 1, International Press, Somerville, MA; Higher Education Press, Beijing, 2012. MR 2978333
J.-P. Demailly, Complex analytic and differential geometry, available at the web page of the author. https://www-fourier.ujf-grenoble.fr/~demailly/manuscripts/agbook.pdf
Jean-Pierre Demailly, Christopher D. Hacon, and Mihai Păun, Extension theorems, non-vanishing and the existence of good minimal models, Acta Math. 210 (2013), no. 2, 203–259. MR 3070567, DOI 10.1007/s11511-013-0094-x
Jean-Pierre Demailly, Thomas Peternell, and Michael Schneider, Pseudo-effective line bundles on compact Kähler manifolds, Internat. J. Math. 12 (2001), no. 6, 689–741. MR 1875649, DOI 10.1142/S0129167X01000861
Ichiro Enoki, Kawamata-Viehweg vanishing theorem for compact Kähler manifolds, Einstein metrics and Yang-Mills connections (Sanda, 1990) Lecture Notes in Pure and Appl. Math., vol. 145, Dekker, New York, 1993, pp. 59–68. MR 1215279
Hélène Esnault and Eckart Viehweg, Lectures on vanishing theorems, DMV Seminar, vol. 20, Birkhäuser Verlag, Basel, 1992. MR 1193913, DOI 10.1007/978-3-0348-8600-0
Osamu Fujino, On injectivity, vanishing and torsion-free theorems for algebraic varieties, Proc. Japan Acad. Ser. A Math. Sci. 85 (2009), no. 8, 95–100. MR 2561896, DOI 10.3792/pjaa.85.95
Osamu Fujino, Introduction to the theory of quasi-log varieties, Classification of algebraic varieties, EMS Ser. Congr. Rep., Eur. Math. Soc., Zürich, 2011, pp. 289–303. MR 2779477, DOI 10.4171/007-1/13
Osamu Fujino, Fundamental theorems for the log minimal model program, Publ. Res. Inst. Math. Sci. 47 (2011), no. 3, 727–789. MR 2832805, DOI 10.2977/PRIMS/50
Osamu Fujino, A transcendental approach to Kollár’s injectivity theorem, Osaka J. Math. 49 (2012), no. 3, 833–852. MR 2993068
Osamu Fujino, A transcendental approach to Kollár’s injectivity theorem II, J. Reine Angew. Math. 681 (2013), 149–174. MR 3181493, DOI 10.1515/crelle-2012-0036
Osamu Fujino, Vanishing theorems, Minimal models and extremal rays (Kyoto, 2011) Adv. Stud. Pure Math., vol. 70, Math. Soc. Japan, [Tokyo], 2016, pp. 299–321. MR 3618264, DOI 10.2969/aspm/07010299
Osamu Fujino, Injectivity theorems, Higher dimensional algebraic geometry—in honour of Professor Yujiro Kawamata’s sixtieth birthday, Adv. Stud. Pure Math., vol. 74, Math. Soc. Japan, Tokyo, 2017, pp. 131–157. MR 3791211, DOI 10.2969/aspm/07410131
Osamu Fujino, Fundamental theorems for semi log canonical pairs, Algebr. Geom. 1 (2014), no. 2, 194–228. MR 3238112, DOI 10.14231/AG-2014-011
Osamu Fujino, Foundations of the minimal model program, MSJ Memoirs, vol. 35, Mathematical Society of Japan, Tokyo, 2017. MR 3643725
Osamu Fujino, Kodaira vanishing theorem for log-canonical and semi-log-canonical pairs, Proc. Japan Acad. Ser. A Math. Sci. 91 (2015), no. 8, 112–117. MR 3403942, DOI 10.3792/pjaa.91.112
Osamu Fujino, On semipositivity, injectivity and vanishing theorems, Hodge theory and $L^2$-analysis, Adv. Lect. Math. (ALM), vol. 39, Int. Press, Somerville, MA, 2017, pp. 245–282. MR 3751293
Osamu Fujino, Vanishing and semipositivity theorems for semi-log canonical pairs, Publ. Res. Inst. Math. Sci. 56 (2020), no. 1, 15–32. MR 4055972, DOI 10.4171/prims/56-1-2
Osamu Fujino, Effective basepoint-free theorem for semi-log canonical surfaces, Publ. Res. Inst. Math. Sci. 53 (2017), no. 3, 349–370. MR 3669739, DOI 10.4171/PRIMS/53-3-1
Osamu Fujino, Kollár-type effective freeness for quasi-log canonical pairs, Internat. J. Math. 27 (2016), no. 14, 1650114, 15. MR 3593676, DOI 10.1142/S0129167X16501147
Osamu Fujino, Kollár-Nadel type vanishing theorem, Southeast Asian Bull. Math. 42 (2018), no. 5, 643–646. MR 3888433
O. Fujino, Relative Bertini type theorem for multiplier ideal sheaves, preprint, arXiv:1709.01406 [math.AG], 2017.
Taro Fujisawa, A remark on the decomposition theorem for direct images of canonical sheaves tensorized with semipositive vector bundles, Proc. Japan Acad. Ser. A Math. Sci. 92 (2016), no. 7, 84–85. MR 3529090, DOI 10.3792/pjaa.92.84
Yoshinori Gongyo and Shin-ichi Matsumura, Versions of injectivity and extension theorems, Ann. Sci. Éc. Norm. Supér. (4) 50 (2017), no. 2, 479–502 (English, with English and French summaries). MR 3621435, DOI 10.24033/asens.2325
Mark Green and Robert Lazarsfeld, Deformation theory, generic vanishing theorems, and some conjectures of Enriques, Catanese and Beauville, Invent. Math. 90 (1987), no. 2, 389–407. MR 910207, DOI 10.1007/BF01388711
Christopher D. Hacon, A derived category approach to generic vanishing, J. Reine Angew. Math. 575 (2004), 173–187. MR 2097552, DOI 10.1515/crll.2004.078
Andreas Höring, Positivity of direct image sheaves—a geometric point of view, Enseign. Math. (2) 56 (2010), no. 1-2, 87–142. MR 2674856, DOI 10.4171/LEM/56-1-4
K. Kodaira, On a differential-geometric method in the theory of analytic stacks, Proc. Nat. Acad. Sci. U.S.A. 39 (1953), 1268–1273. MR 66693, DOI 10.1073/pnas.39.12.1268
János Kollár, Higher direct images of dualizing sheaves. I, Ann. of Math. (2) 123 (1986), no. 1, 11–42. MR 825838, DOI 10.2307/1971351
János Kollár, Shafarevich maps and automorphic forms, M. B. Porter Lectures, Princeton University Press, Princeton, NJ, 1995. MR 1341589, DOI 10.1515/9781400864195
Robert Lazarsfeld, Positivity in algebraic geometry. I, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 48, Springer-Verlag, Berlin, 2004. Classical setting: line bundles and linear series. MR 2095471, DOI 10.1007/978-3-642-18808-4
Robert Lazarsfeld, Positivity in algebraic geometry. II, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 49, Springer-Verlag, Berlin, 2004. Positivity for vector bundles, and multiplier ideals. MR 2095472, DOI 10.1007/978-3-642-18808-4
Robert Lazarsfeld, A short course on multiplier ideals, Analytic and algebraic geometry, IAS/Park City Math. Ser., vol. 17, Amer. Math. Soc., Providence, RI, 2010, pp. 451–494. MR 2743821
Vladimir Lazić and Thomas Peternell, Abundance for varieties with many differential forms, Épijournal Géom. Algébrique 2 (2018), Art. 1, 35. MR 3770541, DOI 10.46298/epiga.2018.volume2.3867
Kefeng Liu, Sheng Rao, and Xueyuan Wan, Geometry of logarithmic forms and deformations of complex structures, J. Algebraic Geom. 28 (2019), no. 4, 773–815. MR 3994313, DOI 10.1090/jag/723
Mirella Manaresi, Sard and Bertini type theorems for complex spaces, Ann. Mat. Pura Appl. (4) 131 (1982), 265–279. MR 681567, DOI 10.1007/BF01765156
Hideyuki Matsumura, Commutative ring theory, 2nd ed., Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1989. Translated from the Japanese by M. Reid. MR 1011461
Shin-ichi Matsumura, A Nadel vanishing theorem via injectivity theorems, Math. Ann. 359 (2014), no. 3-4, 785–802. MR 3231016, DOI 10.1007/s00208-014-1018-6
Shin-ichi Matsumura, A Nadel vanishing theorem for metrics with minimal singularities on big line bundles, Adv. Math. 280 (2015), 188–207. MR 3350216, DOI 10.1016/j.aim.2015.03.019
Shin-ichi Matsumura, Some applications of the theory of harmonic integrals, Complex Manifolds 2 (2015), no. 1, 16–25. MR 3370350, DOI 10.1515/coma-2015-0003
Shin-ichi Matsumura, An injectivity theorem with multiplier ideal sheaves of singular metrics with transcendental singularities, J. Algebraic Geom. 27 (2018), no. 2, 305–337. MR 3764278, DOI 10.1090/jag/687
S. Matsumura, An injectivity theorem with multiplier ideal sheaves for higher direct images under Kähler morphisms, to appear in Algebr. Geom. arXiv:1607.05554v2, 2015.
Shin-ichi Matsumura, A vanishing theorem of Kollár-Ohsawa type, Math. Ann. 366 (2016), no. 3-4, 1451–1465. MR 3563242, DOI 10.1007/s00208-016-1371-8
Shin-ichi Matsumura, Injectivity theorems with multiplier ideal sheaves and their applications, Complex analysis and geometry, Springer Proc. Math. Stat., vol. 144, Springer, Tokyo, 2015, pp. 241–255. MR 3446761, DOI 10.1007/978-4-431-55744-9_{1}8
Shin-ichi Matsumura, A transcendental approach to injectivity theorem for log canonical pairs, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 19 (2019), no. 1, 311–334. MR 3923849
Christophe Mourougane, Théorèmes d’annulation générique pour les fibrés vectoriels semi-négatifs, Bull. Soc. Math. France 127 (1999), no. 1, 115–133 (French, with English and French summaries). MR 1700471, DOI 10.24033/bsmf.2344
Junjiro Noguchi, A short analytic proof of closedness of logarithmic forms, Kodai Math. J. 18 (1995), no. 2, 295–299. MR 1346909, DOI 10.2996/kmj/1138043426
Takeo Ohsawa, On complete Kähler domains with $C^{1}$-boundary, Publ. Res. Inst. Math. Sci. 16 (1980), no. 3, 929–940. MR 602476, DOI 10.2977/prims/1195186937
Takeo Ohsawa, Vanishing theorems on complete Kähler manifolds, Publ. Res. Inst. Math. Sci. 20 (1984), no. 1, 21–38. MR 736089, DOI 10.2977/prims/1195181825
Takeo Ohsawa, On a curvature condition that implies a cohomology injectivity theorem of Kollár-Skoda type, Publ. Res. Inst. Math. Sci. 41 (2005), no. 3, 565–577. MR 2153535, DOI 10.2977/prims/1145475223
Takeo Ohsawa and Kensh\B{o} Takegoshi, On the extension of $L^2$ holomorphic functions, Math. Z. 195 (1987), no. 2, 197–204. MR 892051, DOI 10.1007/BF01166457
Giuseppe Pareschi and Mihnea Popa, GV-sheaves, Fourier-Mukai transform, and generic vanishing, Amer. J. Math. 133 (2011), no. 1, 235–271. MR 2752940, DOI 10.1353/ajm.2011.0000
Mihai Păun, Siu’s invariance of plurigenera: a one-tower proof, J. Differential Geom. 76 (2007), no. 3, 485–493. MR 2331528
Thomas Ransford, Potential theory in the complex plane, London Mathematical Society Student Texts, vol. 28, Cambridge University Press, Cambridge, 1995. MR 1334766, DOI 10.1017/CBO9780511623776
C. Schnell, A graduate course on the generic vanishing theorem (Stony Brook and Bonn, 2013), available at the web page of the author. http://www.math.stonybrook.edu/~cschnell
Yum-Tong Siu, Extension of twisted pluricanonical sections with plurisubharmonic weight and invariance of semipositively twisted plurigenera for manifolds not necessarily of general type, Complex geometry (Göttingen, 2000) Springer, Berlin, 2002, pp. 223–277. MR 1922108
Kensh\B{o} Takegoshi, Higher direct images of canonical sheaves tensorized with semi-positive vector bundles by proper Kähler morphisms, Math. Ann. 303 (1995), no. 3, 389–416. MR 1354997, DOI 10.1007/BF01460997
Lei Wu, Vanishing and injectivity theorems for Hodge modules, Trans. Amer. Math. Soc. 369 (2017), no. 11, 7719–7736. MR 3695842, DOI 10.1090/tran/6869
Xiangyu Zhou and Langfeng Zhu, Regularization of quasi-plurisubharmonic functions on complex manifolds, Sci. China Math. 61 (2018), no. 7, 1163–1174. MR 3817169, DOI 10.1007/s11425-018-9289-4