[論文レビュー] On the global generation of direct images of pluri-adjoint line bundles

Masataka Iwai|arXiv (Cornell University)|Dec 18, 2017

Algebraic Geometry and Number Theory参考文献 10被引用数 4

ひとこと要約

本稿は、$L^2$推定や乗数イデアル sheaf などの解析的手法を用いて、滑らかでかつ Kawamata log canonical 対の上での多価双対線束の直接像のグローバル生成および一般グローバル生成に対して有効な境界を与える。相対的自由性の仮定を排除し、より鋭い境界を達成している：正則点におけるグローバル生成では $b \geq \frac{n(n-1)}{2} + a(n+1)$、対応する log の場合の一般グローバル生成に対しても同じ境界が成立し、Fujiki のクラス $\mathcal{C}$ に属する複素解析的多様体に対しても成立する。結果として、代数幾何における Fujita 型予想が解析的手法によって拡張される。

ABSTRACT

We study the Fujita-type conjecture proposed by Popa and Schnell. We obtain an effective bound on the global generation of direct images of pluri-adjoint line bundles on the regular locus. We also obtain an effective bound on the generic global generation for a Kawamata log canonical $\mathbb{Q}$-pair. We use analytic methods such as $L^2$ estimates, $L^2$ extensions and injective theorems of cohomology groups.

研究の動機と目的

• 写像 $f: X \to Y$ の正則点の集合上で、多価双対線束の直接像のグローバル生成に対する有効的かつ鋭い境界を提供すること。
• Dutta らの結果に見られるように、$K_X^\otimes a$ の相対的自由性を仮定しないこと。
• 滑らかでない場合のグローバル生成結果を、Kawamata log terminal 対、特に Fujiki のクラス $\mathcal{C}$ に属する複素解析的多様体を含む log canonical 情形に拡張すること。
• 最適な条件下で、Kawamata log terminal 対に対して一般グローバル生成の境界を確立すること。

提案手法

• コhomology 群内のセクションの成長を制御するために、特に $L^2$ 推定と $L^2$ 拡張定理を用いる解析的手法を用いる。
• 擬・プラスリシュティブ関数 $\varphi$ に関連する乗数イデアル層 $\mathcal{J}(e^{-\varphi})$ を用いて特異性を測定し、消失の順序を制御する。
• 相対 canonical バンドル上で $a$ 階の Bergman 型計量 $h_{a,B}$ を適用し、$L^2$-可積分性と制限写像の全射性を保証する。
• 補助線束 $\overline{L}$ 上に特異 Hermitian 計量 $h_{\overline{L}}$ を構成し、正性を保証するとともに、一般ファイバーにおける乗数イデアル層の挙動を制御する。
• 一般 $y \in Y$ に対して $\mathcal{J}(h_F^{1/a}|_{X'_y}) = \mathcal{O}_{X'_y}$ が成り立つことを利用して、制限写像の全射性を保証する。
• Demailly, Cao, Lazarsfeld の乗数イデアル層および大きな線束に関する結果を用い、正の曲率を持つ計量の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 写像 $f: X \to Y$ の正則点において、$K_X^{\otimes a}$ の相対的自由性を仮定せずに、$f_*(K_X^{\otimes a}) \otimes L^{\otimes b}$ のグローバル生成を確立できるか？
• RQ2 一般 $f$ の正則値における $f_*(K_X^{\otimes a}) \otimes L^{\otimes b}$ のグローバル生成を保証する $b$ の最適な有効境界は何か？
• RQ3 一般グローバル生成の境界を、複素解析的多様体を含む log canonical 情形にまで拡張できるか？
• RQ4 境界が基底 $Y$ の次元 $n$ と $L$ の正則性にどのように依存するか？
• RQ5 $b \geq \frac{n(n-1)}{2} + a(n+1)$ という同じ境界が、滑らかでない場合と log canonical 対の両方で達成可能か？

主な発見

• 次元 $n$ の滑らかな写像 $f: X \to Y$ に対して、すべての $b \geq \frac{n(n-1)}{2} + a(n+1)$ に対して、$f_*(K_X^{\otimes a}) \otimes L^{\otimes b}$ はグローバルに生成される。これは以前の境界を改善する。
• この境界 $b \geq \frac{n(n-1)}{2} + a(n+1)$ は、$X$ が Fujiki のクラス $\mathcal{C}$ に属する正則な複素解析的多様体で、$(X,\Delta)$ が Kawamata log terminal $\mathbb{Q}$-対である場合でも、一般点における一般グローバル生成に成立する。
• $K_Y$ が擬効果的である場合にも拡張可能であり、一般グローバル生成には $b \geq \frac{n(n-1)}{2} + 2$ で十分である。
• 証明は代数的手法を避けており、代わりに $L^2$ 拡張定理や乗数イデアル層を用いた解析的手法により境界を達成する。
• 著者の境界は、Dutta と Murayama が代数幾何を用いて最近得たものと一致しており、log canonical 情形における境界の最適性を確認する。
• この手法は滑らかな場合（$\Delta = 0$）と log の場合（$\Delta \geq 0$）の両方に適用可能であり、解析的正性の技術を用いて統一的に取り扱う。