[论文解读] $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

一句话总结

该论文建立了从斯坦曼流形 $X$ 中的光滑超曲面 $Z$ 到具有光滑厄米度量的全纯线丛上取值的 $ar\partial$-闭 $(0,q)$-形式的 $L^2$ 延拓定理。利用科恩对 $ar\partial$-诺依曼问题的解法，作者证明了在 $φ - \lambda_Z$ 与 $φ - (1+\delta)\lambda_Z$ 的曲率型正性条件下，任何 $L^2$-有界的 $ar\partial$-闭形式在 $Z$ 上均可延拓为 $X$ 上光滑且 $ar\partial$-闭的延拓形式，且其 $L^2$-范数受控，将伯恩斯坦的结论推广至非紧致情形，并给出了一个全新的经典证明。

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.

研究动机与目标

• 将 $L^2$-有界、$\bar\partial$-闭的 $(0,q)$-形式从光滑超曲面 $Z$ 延拓至周围斯坦流形 $X$，且 $L^2$-范数受控。
• 通过将其适配至非紧致斯坦流形，为伯恩斯坦的 $L^2$ 延拓定理提供一个全新的经典证明。
• 通过采用科恩对 $ar\partial$-诺依曼问题的解法，处理 $X$ 上 $ar\partial$-闭形式的正则性问题。
• 厘清形式在 $Z$ 上的内在限制与环境限制之间的区别，并在光滑度量假设下建立两种情形的延拓定理。
• 证明横截形式（即被限制到 $Z$ 时为零的形式）可被延拓为 $L^2$-范数任意小的形式，从而支持基于分解的延拓策略。

提出的方法

• 证明依赖于科恩对 $ar\partial$-诺依曼问题的解法，该方法解决了非椭圆情形下 $q > 0$ 时求解 $ar\partial$ 方程所固有的正则性问题。
• 作者通过凯勒度量 $\omega$ 所诱导的正交投影 $P$，将环境形式分解为内在部分与横截部分。
• 对于内在部分，通过定理 2 实现延拓，该定理提供了一个通用常数 $C$，使得延拓的 $L^2$-范数被 $C/\delta$ 倍于 $Z$ 上的 $L^2$-范数所控制。
• 对于横截部分，通过使用截断函数 $\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}$ 将横截分量分离，并构造一个 $L^2$-范数小且在 $Z$ 上与 $\xi$ 匹配的形式。

实验结果

研究问题

• RQ1 在光滑超曲面 $Z$ 上的 $L^2$-有界、$\bar\partial$-闭 $(0,q)$-形式能否被延拓为斯坦流形 $X$ 上的 $ar\partial$-闭形式，且 $L^2$-范数受控？
• RQ2 内在限制与环境限制的概念有何不同？在何种条件下二者与 $ar\partial$-闭性相容？
• RQ3 对于横截形式（即其内在限制为零的形式），能否实现 $L^2$-范数任意小的 $L^2$ 延拓？
• RQ4 对度量 $φ$ 与 $\lambda_Z$ 的何种曲率条件足以保证此类延拓并具有通用常数？
• RQ5 是否存在一个全新的经典证明，可避免使用当前理论方法，从而证明伯恩斯坦的 $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$-范数被 $\frac{C}{\delta}$ 倍于 $Z$ 上的 $L^2$-范数所控制。
• 定理 2 提供了内在 $L^2$ 延拓结果，表明任何在 $Z$ 上关于 $|df_Z|^{-2}e^{-\lambda_Z}$ 具有有限 $L^2$-范数的 $ar\partial$-闭形式 $\eta$，均可被光滑且 $ar\partial$-闭地延拓为 $X$ 上的形式 $u$，满足 $\|u\|_{L^2}^2 \leq \frac{C}{\delta} \|\eta\|_{L^2}^2$。
• 延拓估计中的常数 $C$ 是通用的，且与数据无关，包括 $\delta$、$\varphi$、$\lambda_Z$ 与 $\omega$。
• 对于横截形式 $\xi$（即满足 $\iota^*\xi = 0$ 的形式），命题 6.2 表明存在一个 $ar\partial$-闭延拓 $u$，使得 $\|u\|_{L^2}^2 < \varepsilon$ 对任意 $\varepsilon > 0$ 成立，从而支持基于分解的延拓策略。
• 定理 4 的证明通过将任一环境形式 $\xi$ 分解为其内在部分与横截部分而归约为定理 3，其中内在部分由定理 2 处理，横截部分则以任意小范数延拓。
• 该方法通过使用科恩解法而非当前理论技术，成功地将伯恩斯坦的结果从紧致凯勒流形推广至斯坦流形，提供了一种更经典且更正则的处理方式。