[論文レビュー] Applications of the Ohsawa-Takegoshi Extension Theorem to Direct Image Problems

Ya Deng|arXiv (Cornell University)|Mar 21, 2017

Geometry and complex manifolds参考文献 17被引用数 13

ひとこと要約

この論文は、滑らかな射影多様体上のねじれた多重正則バンドルの直接像の一般点における有効な全生成性の境界を確立するために、Ohsawa-Takegoshi $L^2$ 拡張定理を適用する。$Y$ が次元 $n$ の滑らかであるような準同型 $f: X \to Y$ に対して、$\epsilon(L,y)$ が点 $y$ におけるアーモニックラインバンドル $L$ のSeshadri定数であるとき、$f_*(K_X^{\otimes k}) \otimes L^l$ は一般点 $y \in Y$ で全生成である。その条件は $l \geq k(\lfloor n/\epsilon(L,y) \rfloor + 1)$ を満たす。この結果はFujita型予想を精緻化し、Demailly-Peternell-Schneiderの問いを一般化された設定で確認する。弱FanoおよびKLT Fano多様体に関する結果を拡張する。

ABSTRACT

In the first part of the paper, we study a Fujita-type conjecture by Popa and Schnell, and give an effective bound on the generic global generation of the direct image of the twisted pluricanonical bundle. We also point out the relation between the Seshadri constant and the optimal bound. In the second part, we give an affirmative answer to a question by Demailly-Peternell-Schneider in a more general setting. As an application, we generalize the theorems by Fujino and Gongyo on images of weak Fano manifolds to the Kawamata log terminal cases, and refine a result by Broustet and Pacienza on the rational connectedness of the image.

研究の動機と目的

• PopaとSchnellが提起したFujita型予想に応えるために、ねじれた多重正則バンドルの直接像の一般点における有効な全生成性の境界を提供すること。
• ファイブレーションにおける基底の反正則バンドル $-K_X$ の擬効性について、Demailly, Peternell, および Schneiderが提起した問いを解決すること。
• FujinoとGongyoによる弱Fano多様体の像に関する結果を、Kawamata log terminal (KLT) の場合に一般化すること。
• BroustetとPacienzaによる、適切な正則性仮定の下で、多様体の像の有理的連結性に関する結果を拡張すること。

提案手法

• 特異ヘルミート計量を用いたOhsawa-Takegoshi $L^2$ 拡張定理を用いて、ファイバー上に全切断を構成する。
• Seshadri定数 $\epsilon(L,y)$ を用いて、アーモニックラインバンドルの局所的正則性を定量化し、捩れのパラメータ $l$ の有効な境界を導出する。
• 特異計量 $h_0 = h_E h h_{D'}$ を持つ、$L = -m^2(K_{X'} + D') - 2f'^*A_Y + m^2D'$ というねじれたラインバンドルに $L^2$ 拡張定理を適用し、ファイバー上で乗数的理想層が自明であることを保証する。
• Hölderの不等式を用いて、特異計量下での切断の可積分性を検証し、ファイバー上でのコホロロジーの消滅を避ける。
• Stein因子分解を適用して、$X'$ 上のコホロロジーと $\tilde{Y}$ 上のコホロロジーを関連づけ、$-K_Y$ の有効性および擬効性を証明する。
• Boucksomらの有限準同型の下での擬効性に関する結果を用いて、$-K_Y$ が大きいことを導出する。

実験結果

リサーチクエスチョン

• RQ1 Ohsawa-Takegoshi拡張定理を用いて、多重正則バンドルの直接像の全生成性に対する有効な境界を導出できるか。
• RQ2 $-K_X$ が擬効的であり、その非ネフ集合が $Y$ に上方に写らないならば、$-K_Y$ は擬効的であると示せるか。
• RQ3 $f_*(K_X^{\otimes k}) \otimes L^l$ が $Y$ の一般点で全生成であるような、$l$ の最適な境界は何か。
• RQ4 弱Fano多様体に関する結果をKLT Fanoの場合に拡張できるか。
• RQ5 多様体の像が、その反正則バンドルの非ネフ集合をモジュロして有理的連結であるための条件は何か。

主な発見

• 滑らかな射影多様体 $X \to Y$ に対して $\dim Y = n$ であるとき、$f_*(K_X^{\otimes k}) \otimes L^l$ は一般点 $y \in Y$ で全生成である。その条件は $l \geq k(\lfloor n/\epsilon(L,y) \rfloor + 1)$ を満たす。ここで $\epsilon(L,y)$ は $L$ の点 $y$ におけるSeshadri定数である。
• 非常に一般な点 $y$ で $\epsilon(L,y) \geq 1$ ならば、境界は $l \geq k(n+1)$ に改善され、一般点においてPopaとSchnellのConjecture 1.1を確認する。
• $K_Y$ が擬効的である場合、$k$ に依存しない $l \geq n^2 + 2$ が得られ、$klt$ 対 $(X,\Delta)$ で $m(K_X + \Delta)$ が整数ラインバンドルである場合に成立する。
• Demailly-Peternell-Schneiderの問いに対して肯定的解答を与える：$-K_X$ が擬効的であり、その非ネフ集合が $Y$ に上方に写らないならば、$-K_Y$ は擬効的であり、やや強い仮定の下では実際に大きい。
• 像 $Y$ は $-K_Y$ の非ネフ集合をモジュロして有理的連結である。これはBroustetとPacienzaの結果を一般化する。
• 証明は、有限準同型とコホモロジーの降下を用いて、$H^0(Y, -lK_Y - A_Y)$ に非ゼロ切断の存在を示し、$-K_Y$ が大きいことを確立する。