[論文レビュー] A simple proof of the Ohsawa-Takegoshi extension theorem

Bo-Yong Chen|arXiv (Cornell University)|May 12, 2011

Advanced Topics in Algebra参考文献 3被引用数 17

ひとこと要約

本稿では、重み関数 $\psi = -\log \eta$ を巧みに構成することで、$\bar{\partial}$-方程式を直接解くことにより、大澤・竹下の拡張定理の簡略化された証明を提示する。ここで $\eta = -\log(|z_n|^2 + \epsilon^2) + \log(-\log(|z_n|^2 + \epsilon^2))$ である。主な貢献は、ねじれた $\bar{\partial}$-方程式を用いる必要なく、$\bar{\partial}$-作用素に対する新しい $L^2$ 評価を導出し、次の鋭い拡張評価を得ることである：$\int_\Omega \frac{|F|^2}{|z_n|^2 (-\log|z_n|)^2} e^{-\varphi} \leq C_n \int_{\Omega \cap \{z_n=0\}} |f|^2 e^{-\varphi}$。

ABSTRACT

We give a direct proof of the Ohsawa-Takegoshi by solving directly the d-bar equation.

研究の動機と目的

• ねじれた $\bar{\partial}$-方程式に依存しない、直接的で初等的な大澤・竹下の拡張定理の証明を提供すること。
• 元の証明を簡略化するために、$\rho = \log(|z_n|^2 + \epsilon^2)$ から構成された新しい重み関数 $\psi = -\log \eta$ を用いること。
• 有界な擬凸領域において、重み $|z_n|^{-2} (-\log|z_n|)^{-2}$ を持つ $L^2$ 拡張評価を確立すること。
• 拡張定数 $C_n$ が、対数的減衰条件を除き領域の幾何構造に依存しないで、次元にのみ依存することを示すこと。

提案手法

• 重み関数 $\psi = -\log \eta$ を定義する。ここで $\eta = -\rho + \log(-\rho)$ かつ $\rho = \log(|z_n|^2 + \epsilon^2)$ であり、$\psi \in PSH(\Omega)$ である。
• $\phi = \varphi + \log|z_n|^2$ を定義し、$L^2(\Omega, \phi + \psi)$ 上での Hörmander の $L^2$ 評価を用いて、$\bar{\partial}u = v$ の解 $u$ を制御する。
• $\bar{\partial}$-閉形式 $v = f \bar{\partial}\chi(|z_n|^2 / \epsilon^2)$ を定義する。ここで $\chi$ は $|z_n|^2 \approx \epsilon^2$ の近傍に台を持つ滑らかな切断関数である。
• コーシー・シュワルツの不等式を適用し、Fubini の定理と $\eta \asymp -\rho$ の漸近的制御を用いて、$v$ および $\bar{\partial}\psi \wedge u$ の $L^2$ ノルムを評価する。
• $\int \left( \frac{\eta / (-\rho+1)^2}{1 + \eta / (-\rho+1)^2} - \frac{4r}{\eta} \right) |u|^2 e^{\psi - \phi} \geq c_n \int \frac{|u|^2}{|z_n|^2 \rho^2} e^{-\varphi}$ を用いて、$u$ の $L^2$ ノルムの下界を導出する。ここで $r = r_n$ は十分小さい。
• $F_\epsilon = \chi(|z_n|^2 / \epsilon^2) f - u$ を定義し、$\epsilon \to 0$ の弱収束をとることで、全域的正則拡張 $F$ を得る。

実験結果

リサーチクエスチョン

• RQ1 ねじれた $\bar{\partial}$-方程式を解かずに、大澤・竹下の拡張定理を証明することは可能か？
• RQ2 直接 $L^2$ 評価を可能にする最適な重み関数は何か？
• RQ3 標準的な $L^2$ 理論と巧みな重み関数を用いて、拡張の $L^2$ 評価をどのように導出できるか？
• RQ4 拡張定数 $C_n$ は次元 $n$ および領域の幾何構造にどのように依存するか？

主な発見

• 本稿では、$\Omega$ における正則拡張 $F$ の存在を確立し、次の鋭い評価を満たすことを示した：$\int_\Omega \frac{|F|^2}{|z_n|^2 (-\log|z_n|)^2} e^{-\varphi} \leq C_n \int_{\Omega \cap \{z_n=0\}} |f|^2 e^{-\varphi}$。
• $C_n$ は次元 $n$ のみに依存し、$\sup_\Omega |z_n|^2 < e^{-1}$ を満たす限り、具体的な領域 $\Omega$ には依存しない。
• 証明はねじれた $\bar{\partial}$-方程式の使用を避け、代わりに新規重み関数 $\psi$ を用いた $\bar{\partial}u = v$ の直接的 $L^2$ 解法を採用している。
• $\psi = -\log \eta$ が擬・サブハーモニックかつ有界であることが示され、Hörmander の $L^2$ 評価の適用が可能である。
• $u$ の $L^2$ ノルムは、コーシー・シュワルツと漸近的評価の組み合わせにより制御され、$\int \frac{|u|^2}{|z_n|^2 \rho^2} e^{-\varphi}$ に比例する下界が得られる。
• $\epsilon \to 0$ の弱収束において $F_\epsilon$ の極限として、所望の $L^2$ 評価を満たす well-defined な正則拡張 $F$ が得られる。