[論文レビュー] A solution of an $L^{2}$ extension problem with optimal estimate and applications

Qi’an Guan, Xiangyu Zhou|arXiv (Cornell University)|Oct 27, 2013

Geometry and complex manifolds参考文献 35被引用数 12

ひとこと要約

本稿は、複素多様体上の正則ベクトル束の正則切断に対する最適推定を伴う $L^{2}$ 拡張定理を、擬・シュレーディンガー重みと精確な測度構成を含む新規の重み付き $L^{2}$ 方法を用いて確立する。主な貢献は、古典的な $L^{2}$ 拡張定理の最適版を示し、複素幾何学における長年の予想（スーリャの予想および $L$-予想）を解消する鋭い推定である。

ABSTRACT

In this paper, we prove an $L^2$ extension theorem with optimal estimate in a precise way, which implies optimal estimate versions of various well-known $L^2$ extension theorems. As applications, we give proofs of a conjecture of Suita on the equality condition in Suita's conjecture, the so-called $L-$conjecture, and the extended Suita conjecture. As other applications, we give affirmative answer to a question by Ohsawa about limiting case for the extension operators between the weighted Bergman spaces, and we present a relation of our result to Berndtsson's important result on log-plurisubharmonicity of Bergman kernel.

研究の動機と目的

• 擬・シュレーディンガー重みと正則ベクトル束を含む一般設定における最適推定を伴う $L^{2}$ 拡張問題を解くこと。
• 既存の $L^{2}$ 拡張定理（特に大原＝竹下およびベルンディストの結果）を回復・強化する統一的枠組みを提供すること。
• 特にスーリャの予想（等号成立条件）および $L$-予想に関する複素解析における未解決の予想を解消すること。
• 大原の質問に答えること：重み付きベルマン空間間の拡張作用素の極限挙動は何か。
• $L^{2}$ 拡張結果とベルマン核の対数擬・シュレーディンガー性との明確な関係を確立すること。

提案手法

• 特異性が部分多様体 $S$ の近傍で制御されるような極関数の族 $\Psi \in \#_A(S)$ を導入する。
• テスト関数の $L^{2}$ 積分を含む上界不等式を用いて、$S_{\text{reg}}$ 上の最小正測度 $dV_M[\Psi]$ を定義する。
• 重み関数 $e^{-\Psi}$ を用いた重み付き $L^{2}$ 方法を適用し、近似形式の列を用いて解を構成する。
• 多様体 $M \setminus S$ においてレヴィの単調収束定理および優越収束定理を用い、極限に移行して大域的正則拡張を得る。
• 切断関数と擬・シュレーディンガー重み $\varphi$ を用いて成長を制御し、積分可能性を保証する。
• 対角線的議論とヒルベルト空間における弱コンパクト性を用いて、最適推定を満たす極限正則微分形式を抽出する。

実験結果

リサーチクエスチョン

• RQ1 擬・シュレーディンガー重み条件の下で、部分多様体 $S$ から環境多様体 $M$ への正則切断の最適 $L^{2}$ 推定は何か？
• RQ2 スーリャの予想における等号成立条件は、最適 $L^{2}$ 拡張推定を用いて特徴づけられ、証明可能か？
• RQ3 $L$-予想（$L^{2}$ 拡張の鋭い形）は、同じ条件下で成立するか？
• RQ4 大原が提起したように、重み付きベルマン空間間の拡張作用素の極限挙動は何か？
• RQ5 提案された $L^{2}$ 拡張結果は、ベルマン核の対数擬・シュレーディンガー性に関するベルンディストの定理とどのように関係するか？

主な発見

• 本稿は、推定における定数が鋭く、重みおよび部分多様体の幾何学的性質によって明示的に計算可能な最適推定を伴う $L^{2}$ 拡張定理を証明する。
• 最適推定は、定数 $C_b$ が最良の境界に達する、大原＝竹下 $L^{2}$ 拡張定理の鋭い形を示す。
• 著者らは、不等式 $\text{Cap}(K) \leq \pi \cdot \text{Area}(K)$ における等号成立条件に関するスーリャの予想を証明し、等号が成り立つのは $K$ が円板である場合に限ることを示す。
• $L$-予想（$L^{2}$ 拡張の鋭い形）は、主定理の系として確認される。
• 重み付きベルマン空間間の拡張作用素の極限における大原の質問に肯定的な回答が与えられ、作用素ノルムが極限で 1 に近づくことが示される。
• 結果として、ベルマン核の対数擬・シュレーディンガー性に関するベルンディストの定理への直接的な関係が確立され、最適 $L^{2}$ 拡張が特定の条件下でベルマン核の対数擬・シュレーディンガー性を示すことが示される。