[論文レビュー] Extension of cohomology classes and holomorphic sections defined on subvarieties

Xiangyu Zhou, Langfeng Zhu|arXiv (Cornell University)|Sep 19, 2019

Geometry and complex manifolds参考文献 40被引用数 4

ひとこと要約

本稿は、任意の特異性をもつ quasi-plurisubharmonic 関数の乗数イデアル層によって定義される非還元的な解析的部分多様体上におけるコhomology類および正則切断の2つの新しい拡張定理を確立する。重み関数の同時近似と $ar{\partial}$-方程式を解く際の洗練された極限過程を導入することで、著者たちは自然な制限写像の単射性を証明し、Cao-Demailly-Matsumura が提起した問題を解決するとともに、Demailly の最適推定を伴う $L^2$ 拡張定理を一般化する。

ABSTRACT

In this paper, we obtain two extension theorems for cohomology classes and holomorphic sections defined on analytic subvarieties, which are defined as the supports of the quotient sheaves of multiplier ideal sheaves of quasi-plurisubharmonic functions with arbitrary singularities. The first result gives a positive answer to a question posed by Cao-Demailly-Matsumura, and unifies a few well-known injectivity theorems. The second result generalizes and optimizes a general $L^2$ extension theorem obtained by Demailly.

研究の動機と目的

• 任意の特異性をもつ quasi-plurisubharmonic 関数の乗数イデアル層によって定義される解析的部分多様体上におけるコhomology類の拡張に関する、Cao-Demailly-Matsumura が提起した問題を解決すること。
• 非還元的部分多様体上におけるコhomology類の新しい拡張結果を確立することで、複素幾何学における既存の単射性定理を統一・一般化すること。
• 特異的重みを組み込み、最小限の曲率仮定のもとで最適な $L^2$ 推定を達成することによって、Demailly の一般 $L^2$ 拡張定理を最適化すること。
• 2つの重み関数の同時近似と $\/bar{\partial}$-方程式の解法における極限プロセスの再順序化を含む、新しい技術的枠組みを構築すること。

提案手法

• 特異的メトリックをもつ正則線束の文脈において、2つの重み関数 $\psi$ と $\phi$ の二重近似技術を導入する。
• 重み関数の収束を $\/bar{\partial}$-方程式を解く前に行う、革新的な極限プロセスを適用し、$L^2$ ノルムのより良い制御を確保する。
• 局所化のために切断関数 $\sigma_{\varepsilon,t}$ を用い、$L^2$-ノルムが制御された $\bar{\partial}$-閉形式 $v_{k,\varepsilon,t}$ の列を構成する。
• $\bar{\partial}$-解 $w_{k,\varepsilon,t}$ を用いて正則極限 $F_{k,\varepsilon,t}$ を構成し、Montel の定理を用いてコンパクト集合上で一様極限を抽出する。
• 曲率形式が $\sqrt{-1}\Theta_{L,h} + (1+\alpha)\sqrt{-1}\partial\bar{\partial}\psi \geq 0$ を満たす特異的メトリック $h$ を用いることで、可積分性と単射性を保証する。
• 存在のための保証を得るために、元のメトリック $h$ を $h_1 = h e^{-\Phi(\Psi)}$ に置き換え、凸増加関数 $\Phi$ を用いることで、最適 $L^2$-境界をもつグローバルな正則拡張 $F$ の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 乗数イデアル層の商の台として現れる非還元的解析的部分多様体上に定義されたコhomology類が、最小限の曲率仮定のもとで、環境多様体上に拡張可能かどうか。
• RQ2 曲率条件 $\sqrt{-1}\Theta_{L,h} + (1+\alpha)\sqrt{-1}\partial\bar{\partial}\psi \geq 0$ の下で、制限写像 $H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(he^{-\psi})) \to H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(h))$ の単射性が成立するか。
• RQ3 重み関数 $\psi$ が任意の特異性をもつ場合に、Demailly の一般 $L^2$ 拡張定理を、鋭い $L^2$ 推定を達成するように最適化できるか。
• RQ4 部分多様体 $Y$ 上に定義された切断 $f$ のグローバルな正則拡張 $F$ が、$F - f \in \mathcal{I}(he^{-\psi})$ を満たし、$\|F\|^2_{L^2}$ が $\|f\|^2_{L^2}$ の定数倍で抑えられるように構成可能か。

主な発見

• 曲率条件 $\sqrt{-1}\Theta_{L,h} + \sqrt{-1}\partial\bar{\partial}\psi \geq 0$ および $\sqrt{-1}\Theta_{L,h} + (1+\alpha)\sqrt{-1}\partial\bar{\partial}\psi \geq 0$ の下で、すべての $q \geq 0$ に対して自然な準同型 $H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(he^{-\psi})) \to H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(h))$ は単射である。
• 商層 $\mathcal{I}(h)/\mathcal{I}(he^{-\psi})$ は解析的部分多様体 $Y$ 上に台を持つ。すべての $q \geq 0$ に対して、誘導写像 $H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(h)) \to H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(h)/\mathcal{I}(he^{-\psi}))$ は全射である。
• グローバルな正則拡張 $F \in H^0(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}'_\psi(h))$ が存在し、すべての $x \in U_i \cap X$ に対して $F - f_i \in \mathcal{I}(he^{-\psi})_x$ を満たす。これにより、拡張がイデアル層構造を尊重することが保証される。
• 拡張は最適な $L^2$ 推定 $\int_X \frac{|F|^2_{\omega,h}}{e^{\psi} R(\psi)} dV_{X,\omega} \leq \left(\frac{1}{\alpha R(\alpha_0)} + C_R\right) \int_Y |f|^2_{\omega,h} dV_{X,\omega}[\psi]$ を満たす。
• 証明により、一様定数 $C_0$ が存在し、$\varlimsup_{t \to -\infty} C(t) \leq C_0$ が成り立つことが示され、近似解の列の収束に不可欠である。
• 適切な凸増加関数 $\Phi$ を用いて $h$ を $h_1 = h e^{-\Phi(\Psi)}$ に置き換えることで、最適 $L^2$-境界をもつグローバルな正則拡張 $F$ の存在を保証し、推定の最適性が確認された。