[論文レビュー] $L^2$ Extension of $\bar\partial$-closed forms from a hypersurface

Jeffery D. McNeal, Dror Varolin|arXiv (Cornell University)|Feb 27, 2015

Algebraic Geometry and Number Theory参考文献 3被引用数 3

ひとこと要約

本稿は、Stein多様体 $X$ 内の滑らかな超曲面 $Z$ から、滑らかなヘルミート計量を持つ正則線束値の $ar\partial$-閉 $(0,q)$-形式に対する $L^2$ 拡張定理を確立する。Kohnによる $ar\partial$-Neumann問題の解法を用いて、$φ - \lambda_Z$ および $φ - (1+\delta)\lambda_Z$ に関する曲率型の正性条件のもとで、$Z$ 上で $L^2$-有界かつ $ar\partial$-閉であるような任意の形式は、$X$ 上で滑らかで $ar\partial$-閉な拡張に拡張可能であり、その $L^2$-ノルムは制御可能である。本研究は、Berndtsson の結果を非コンパクトな設定に拡張するとともに、新たな古典的証明を与える。

ABSTRACT

We establish $L^2$ extension theorems for $\bar \partial$-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ähler 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.

研究の動機と目的

• 滑らかな超曲面 $Z$ 上の $L^2$-有界かつ $ar\partial$-閉な $(0,q)$-形式を、環境となるStein多様体 $X$ 上で $L^2$-ノルムを制御可能な $ar\partial$-閉形式に拡張すること。
• Berndtsson の $L^2$ 拡張定理をコンパクトKähler多様体上で証明する既存の方法を非コンパクトなStein多様体に適応し、新たな古典的証明を提供すること。
• $\bar\partial$-閉形式の $X$ 上での正則性に関する問題を、$ abla\partial$-Neumann問題のKohn解法を用いて扱うこと。
• 形式の制限に関する内在的制限と環境的制限の違いを明確にし、滑らかな計量の仮定の下で両者の拡張定理を確立すること。
• 制限に沿って消える形式（すなわち、内在的制限がゼロである形式）が、任意に小さい $L^2$-ノルムで拡張可能であることを示し、分解に基づく拡張戦略を可能にすること。

提案手法

• 証明は、$q > 0$ に対して非楕円的となる $ abla\partial$ 方程式を解く際の正則性問題を解消するKohnによる $ abla\partial$-Neumann問題の解法に依存する。
• 著者らは、ケーラー計量 $\omega$ によって誘導される直交射影 $P$ を用いて、環境形式を内在的成分と横方向成分に分解する。
• 内在的成分については、定理2を用い、$L^2$-ノルムが $Z$ 上のノルムの $C/\delta$ 倍以内に抑えられるような普遍定数 $C$ が存在することを示す。
• 横方向成分については、切断関数 $\rho_\varepsilon$ と形式 $\alpha$ の滑らかな拡張 $\tilde{\alpha}$ を用いて $u = \bar\partial \hat{\alpha}$ を構成し、$\xi = \alpha \wedge d\bar{f}_Z$ となるようにする。これにより $u|_Z = \xi$ かつ $\|u\|_{L^2}$ を任意に小さくできる。
• 曲率条件 $\sqrt{-1}(\partial\bar\partial(\varphi - \lambda_Z) + \mathrm{Ricci}(\omega)) \wedge \omega^q \geq 0$ および $\sqrt{-1}(\partial\bar\partial(\varphi - (1+\delta)\lambda_Z) + \mathrm{Ricci}(\omega)) \wedge \omega^q \geq 0$ を用いて、$L^2$ 評価に必要な正性を保証する。
• 定理4の証明では、局所的モデル $X = B \times \mathbb{D}$ を用いて横方向成分を分離し、$Z$ 上で $\xi$ と一致するが $L^2$-ノルムが小さい形式を構成する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな超曲面 $Z$ 上の $L^2$-有界かつ $ abla\partial$-閉な $(0,q)$-形式は、$L^2$-ノルムを制御可能な $\nabla\partial$-閉形式として、Stein多様体 $X$ 上に拡張可能か？
• RQ2 内在的制限と環境的制限の概念はどのように異なり、$\nabla\partial$-閉性を保つためにどのような条件が必要か？
• RQ3 横方向の形式（内在的制限がゼロである形式）は、任意に小さい $L^2$-ノルムで拡張可能か？
• RQ4 拡張可能であることを保証するための、計量 $\varphi$ および $\lambda_Z$ に関する曲率条件は何か？また、普遍定数が得られる条件は？
• RQ5 現在論理的技法を用いない、Berndtsson の $L^2$ 拡張定理の新たな古典的証明は存在するか？

主な発見

• 定理1は、曲率条件 $\sqrt{-1}(\partial\bar\partial(\varphi - \lambda_Z) + \mathrm{Ricci}(\omega)) \wedge \omega^q \geq 0$ および $\sqrt{-1}(\partial\bar\partial(\varphi - (1+\delta)\lambda_Z) + \mathrm{Ricci}(\omega)) \wedge \omega^q \geq 0$ の下で、環境的 $L^2$ 拡張を確立し、拡張後の $L^2$-ノルムが $Z$ 上のノルムの $\frac{C}{\delta}$ 倍以内に抑えられることを示す。
• 定理2は、内在的 $L^2$ 拡張結果を提供し、$|df_Z|^{-2}e^{-\lambda_Z}$ に関する $L^2$-ノルムが有限である任意の $ abla\partial$-閉形式 $\eta$ に対して、$X$ 上に滑らかで $ abla\partial$-閉な拡張 $u$ が存在し、$\|u\|_{L^2}^2 \leq \frac{C}{\delta} \|\eta\|_{L^2}^2$ を満たすことを示す。
• 拡張推定における定数 $C$ は普遍的であり、$\delta$、$\varphi$、$\lambda_Z$、$\omega$ などのデータとは無関係に一定である。
• 制限に沿って消える形式（すなわち、$\iota^*\xi = 0$ を満たす形式）$\xi$ については、命題6.2が、任意の $\varepsilon > 0$ に対して $\|u\|_{L^2}^2 < \varepsilon$ を満たす $ abla\partial$-閉拡張 $u$ が存在することを示しており、分解に基づく拡張戦略を可能にする。
• 定理4の証明は、任意の環境形式 $\xi$ をその内在的成分と横方向成分に分解することで、定理3に帰着される。内在的成分は定理2で処理され、横方向成分は任意に小さいノルムで拡張可能である。
• 本手法は、現在論理的技法を避ける代わりにKohnの解法を用いることで、Berndtsson の結果をコンパクトKähler多様体からStein多様体へと拡張し、より古典的かつ正則性の良いアプローチを提供する。