L^2 extension of -closed forms from a hypersurface

DOI10.1007/S11854-019-0062-2MaRDI QIDQ2299595zbMATH OpenOpenAlexFDO

Authors Dror Varolin, J. D. McNeal

Publication date 21 February 2020

Published in Journal d'Analyse Mathématique (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1502.08054

zbMATH Keywords

\(\bar\partial\)-closed form\(L^2\) extensionhypersurface

Mathematics Subject Classification ID

(overlinepartial) and (overlinepartial)-Neumann operators (32W05)

Abstract: We establish $L^2$ extension theorems for $$-closed $(0,q)$-forms with values in a holomorphic line bundle with smooth Hermitian metric, from a smooth hypersurface on a Stein manifold. Our result extends (and gives a new, perhaps more classical, proof of) a theorem of Berndtsson on compact K"ahler manifolds, which itself is a sharpening of the theorem of Koziarz. The proof makes use of the Kohn solution, which is the solution of an (interior) elliptic problem, to handle the well-known regularity issues. As such, our methods require the line bundle to be equipped with a smooth metric.

Review text

In this paper, the authors study the extension problems of Ohsawa-Takegoshi type in complex analytic geometry. To be precise, let \(X\) be a Stein manifold with Kähler form \(\omega\) and let \(\iota:Z\hookrightarrow X\) be a smooth hypersurface. Let \(L\to X\) be a holomorphic line bundle with smooth Hermitian metric \(e^{-\varphi}\). Assume the line bundle \(E_{Z}\to X\) associated to the smooth divisor \(Z\) has a section \(f_Z\in H^0(X,E_Z)\) and a smooth Hermitian metric \(e^{-\lambda_Z}\) such that \(Z\) is the divisor of \(f_Z\) and \[ \sup_X |f_Z|^2e^{-\lambda_Z}\le 1. \] The authors determine whether all \(L\)-valued \(\bar\partial\)-closed \((0,q)\)-forms on \(Z\) can be extended to \(L\)-valued \(\bar\partial\)-closed forms on \(X\) with certain \(L^2\) estimates. When \(q\ge1\), the authors introduce two different notions of extension. Under certain curvature assumptions, the authors are able to obtain affirmative results for the two types of extension. By comparing Berndtsson's result on compact Kähler manifold, the authors also obtain extension results with cohomology bounds in the Stein case. But they give an example in which there are \(\bar\partial\)-closed \((0,q)\)-forms that do not have \(\bar\partial\)-closed extensions with arbitrarily small \(L^2\) norm at the end of the paper. The proof of the main result is technical. To obtain \(L^2\) extension, the authors extend the form in an \(\varepsilon\)-neighborhood of the hypersurface \(Z\), then employ the twisted \(\bar\partial\)-equation to obtain a globally \(\bar\partial\)-closed form. To obtain the smooth extension, instead of minimizing over all possible extensions, the authors minimize over a subset of extensions that still have a uniform norm bound, but also carry a fixed amount of mass along the hypersurface.

Recommendations

• \(L^{2}\)-extension of \(\overline{\partial}\)-closed forms
• scientific article; zbMATH DE number 1275206
• The optimal jet L^2 extension of Ohsawa-Takegoshi type
• scientific article; zbMATH DE number 94037
• \(L^2\) extension of \(\bar{\partial} \)-closed forms on weakly pseudoconvex Kähler manifolds

Cites work

• \(L^{2}\)-extension of \(\overline{\partial}\)-closed forms
• A Takayama-type extension theorem
• A theorem of \(L^ 2\) extension of holomorphic sections of a Hermitian bundle
• Analytic inversion of adjunction: \(L^2\) extension theorems with gain
• Estimations $\mathrm{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
• Extensions with estimates of cohomology classes
• scientific article; zbMATH DE number 45273 (Why is no real title available?)
• scientific article; zbMATH DE number 1257330 (Why is no real title available?)
• scientific article; zbMATH DE number 1500726 (Why is no real title available?)
• On large values of \(L^ 2\) holomorphic functions
• On the extension of \(L^ 2\) holomorphic functions
• The extension theorem of Ohsawa-Takegoshi and the theorem of Donnelly-Fefferman
• Three variations on a theme in complex analytic geometry

Cited in

(11)

• \(L^2\) extension of \(\bar{\partial} \)-closed forms on weakly pseudoconvex Kähler manifolds
• Product domains, multi-Cauchy transforms, and the \(\bar{\partial}\) equation
• On the extension of \(L^{2}\) holomorphic functions VII: hypersurfaces with isolated singularities
• The one-sided \(\overline{\partial}\)- and \(\overline{\partial}^*\)-closure of the CR-forms in a fixed domain
• Ohsawa-Takegoshi L^2 extension theorem: revisited
• \(L^{2}\)-extension of \(\overline{\partial}\)-closed forms
• scientific article; zbMATH DE number 29707 (Why is no real title available?)
• scientific article; zbMATH DE number 94037 (Why is no real title available?)
• On Lewy extension for smooth hypersurfaces in ℂⁿ×ℝ
• On the Ohsawa-Takegoshi extension theorem
• A Hilbert bundle approach to the sharp strong openness theorem and the Ohsawa-Takegoshi extension theorem

This page was built for publication: \(L^2\) extension of \(\overline{\partial}\)-closed forms from a hypersurface

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2299595)