Abstract
The main purpose of this paper is to generalize the celebrated L 2 extension theorem of Ohsawa and Takegoshi in several directions: The holomorphic sections to extend are taken in a possibly singular hermitian line bundle, the subvariety from which the extension is performed may be non reduced, the ambient manifold is Kähler and holomorphically convex, but not necessarily compact.
Similar content being viewed by others
References
Demailly J-P. 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), 1982, 15: 457–511
Demailly J-P. Complex Analytic and Differential Geometry. Https://www-fourier.ujf-grenoble.fr/~demailly/manu scripts/agbook.pdf, 2009
Demailly J-P. Analytic Methods in Algebraic Geometry. Somerville: International Press, 2012; Beijing: Higher Education Press, 2012
Demailly J-P. On the cohomology of pseudoeffective line bundles. In: Fornaess J, Irgens M, Wold E, eds. Complex Geometry and Dynamics. Abel Symposia, vol. 10. Cham: Springer, 2015, 51–99
Demailly J-P. Extension of holomorphic functions defined on non reduced analytic subvarieties. In: The Legacy of Bernhard Riemann after One Hundred and Fifty Years. Advanced Lectures in Mathematics, vol. 35.1. ArXiv:1510.05230v1, 2015
Demailly J-P, Peternell T, Schneider M. Pseudo-effective line bundles on compact Kähler manifolds. Internat J Math, 2001, 6: 689–741
Donnelly H, Fefferman C. L 2-cohomology and index theorem for the Bergman metric. Ann of Math (2), 1983, 118: 593–618
Folland G B, Kohn J J. The Neumann Problem for the Cauchy-Riemann Complex. Princeton: Princeton University Press, 1972; Tokyo: University of Tokyo Press, 1972
Fujino O. A transcendental approach to Kollár’s injectivity theorem II. J Reine Angew Math, 2013, 681: 149–174
Fujino O, Matsumura S. Injectivity theorem for pseudo-effective line bundles and its applications. ArXiv:1605.02284v1, 2016
Guan Q, Zhou X. A proof of Demailly’s strong openness conjecture. Ann of Math, 2015, 182: 605–616
Hiêp P H. The weighted log canonical threshold. C R Math Acad Sci Paris, 2014, 352: 283–288
Kazama H. \(\bar \partial \)-cohomology of (H,C)-groups. Publ Res Inst Math Sci, 1984, 20: 297–317
Lempert L. Modules of square integrable holomorphic germs. ArXiv:1404.0407v2, 2014
Matsumura S. An injectivity theorem with multiplier ideal sheaves of singular metrics with transcendental singularities. J Algebraic Geom, in press, arXiv:1308.2033v4, 2013
Matsumura S. An injectivity theorem with multiplier ideal sheaves for higher direct images under Kähler morphisms. ArXiv:1607.05554v1, 2016
Ohsawa T. On a curvature condition that implies a cohomology injectivity theorem of Kollár-Skoda type. Publ Res Inst Math Sci, 2005, 41: 565–577
Ohsawa T, Takegoshi K. On the extension of L 2 holomorphic functions. Math Z, 1987, 195: 197–204
Acknowledgements
This work was supported by the Agence Nationale de la Recherche grant “Convergence de Gromov-Hausdorff en géométrie kählérienne ”, the European Research Council project “Algebraic and Kähler Geometry” (Grant No. 670846) from September 2015, the Japan Society for the Promotion of Science Grant-in-Aid for Young Scientists (B) (Grant No. 25800051) and the Japan Society for the Promotion of Science Program for Advancing Strategic International Networks to Accelerate the Circulation of Talented Researchers.
Author information
Authors and Affiliations
Corresponding author
Additional information
In memory of Professor LU QiKeng (1927–2015)
Rights and permissions
About this article
Cite this article
Cao, J., Demailly, JP. & Matsumura, Si. A general extension theorem for cohomology classes on non reduced analytic subspaces. Sci. China Math. 60, 949–962 (2017). https://doi.org/10.1007/s11425-017-9066-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11425-017-9066-0
Keywords
- compact Kähler manifold
- singular hermitian metric
- coherent sheaf cohomology
- Dolbeault cohomology
- plurisubharmonic function
- L 2 estimates
- Ohsawa-Takegoshi extension theorem
- multiplier ideal sheaf