[論文レビュー] Remarks on Ein-Lazarsfeld criterion of spannedness of adjoint bundles of polarized threefolds

Takao Fujita|ArXiv.org|Nov 30, 1993

Algebraic Geometry and Number Theory参考文献 5被引用数 38

ひとこと要約

この論文は、偏極三様体上の随伴バンドルの生成性に関するEin-Lazarsfeldの基準を精緻化し、同じ曲線および曲面の交点条件のもとで、必要な三重交点数 $B^3 \geq 92$ を $B^3 \geq 51$ にまで低減する。点での吹き上げ写像の制限写像および代数的Lelong数の精密な解析を用いて、$BC \geq 3$、$B^2S \geq 7$、$B^3 \geq 51$ のとき、$K + B$ が点 $x$ で生成されることを証明する。これは[EL]で確立された閾値を改善するものである。

ABSTRACT

Let B be a nef and big line bundle on a smooth complex threefold X with canonical bundle K. Let x be a point on X and suppose that BC\ge3 for any curve C passing x, B^2S\ge7 for any surface S containing x, and B^3\ge51. Then K+B is spanned at x. (Ein-Lazarsfeld proved the assertion assuming B^3\ge92.) Corollary: K+3L is spanned if L is an ample line bundle with L^3>1.

研究の動機と目的

• 偏極 $n$-様体に対して $K + nL$ が生成されないのは $L^n = 1$ のときであるという予想に取り組み、特に $n = 3$ の場合に焦点を当てる。
• 滑らかな三様体上の随伴バンドル $K + B$ の生成性に関するEin-Lazarsfeldの基準を、必要な $B^3$ の閾値を低減することで精緻化する。
• 元の基準における $B^3 \geq 92$ の条件が、$K + B$ が点で生成されることを保証する限り、$B^3 \geq 51$ に弱めることが可能かどうかを検討する。
• 制限写像および代数的Lelong数に対する精密な推定を用いて、随伴線バンドルの生成性に関するより鋭い数値的基準を提供する。
• 幾何的悪性集合の理解が深まれば、$B^3 > 27$ で十分である可能性があると示唆する。

提案手法

• Theorem 0 を適用する。[EL]に記載の通り、$K + B$ が点 $x$ で生成されるための十分条件は、$x$ での吹き上げ写像 $\pi_1: M_1 \to M$ において、ある正性および引き戻しの正性条件が成り立つことである。
• 吹き上げ $\pi_1$ を用い、$\sigma_3 = 9/2$ に対して $\pi_1^*B - \sigma_3 E$ の大規模性が、$K + B$ が点 $x$ で生成されない場合に $B^3 \geq 51$ であることから導かれる。
• 例外的除法 $E \cong \mathbb{P}^2$ 上の線バンドルの線形系統の次元を抑えられるように、写像 $H^0(M_1, s\pi_1^*B - jE) \to H^0(E, \mathcal{O}_E(j))$ のランクを推定する。
• 連続的な吹き上げにおける悪性場所および悪性集合の再帰的解析を行い、$\mu_{(i)}$-値を用いて消失順序の増大を制御し、悪性場所が存在しなくなることを保証する。
• Hironaka分解を適用し、代数的Lelong数 $\Xi_P$ を用いて引き戻しバンドルの正性を測定し、非ネフまたは非大規模な振る舞いを検出する。
• 特定の仮定の下で、$\epsilon > 0$ が十分小さいとき $\Xi_P(\pi_1^*B - \epsilon E) = 0$ が成り立つことを利用し、議論において鋭い境界を適用できる。

実験結果

リサーチクエスチョン

• RQ1 滑らかな三様体上の $K + B$ の生成性に関するEin-Lazarsfeld基準における三重交点数 $B^3 \geq 92$ を $B^3 \geq 51$ に低減できるか。
• RQ2 点 $x$ において $K + B$ が生成されない場合、$B^3 \geq 51$ のもとで $\pi_1^*B - \frac{9}{2}E$ の大規模性がどのように導かれるか。
• RQ3 例外的除法 $E$ 上の制限写像の分析を精緻化することで、生成性に関する数値的基準を改善可能か。
• RQ4 閾値 $B^3 \geq 51$ はさらに低減可能か、それとも現在の技術的条件下で最適に近いか。
• RQ5 この手法は特異点や対数正則なペアに拡張可能か。また、より高次元の多様体に対しても基準を一般化できるか。

主な発見

• 滑らかな三様体上の $K + B$ の生成性に関するEin-Lazarsfeld基準が改善された：$BC \geq 3$、$B^2S \geq 7$、$B^3 \geq 51$ のとき、$K + B$ は点 $x$ で生成される。$B^3$ の必要閾値は92から51に低減された。
• 点 $x \in \operatorname{Bs}|K + B|$ を仮定すると、例外的除法上の制限写像の精密な推定により、$B^3 \geq 51$ のもとで $\pi_1^*B - \frac{9}{2}E$ が大規模であることが示される。
• 初期仮定 $\operatorname{Bs}|s(\pi_1^*B - \epsilon E)| \cap E = \emptyset$ が成り立たない場合でも、悪性場所における $\mu_{(i)}$-値を $\sqrt{321\alpha\beta}/9$ 略超の値に抑えられることで、議論は依然として成立する。
• 補題4.2は、$L^3 > 1$ を満たす非常に正の線バンドル $L$ に対して $K + 3L$ が生成されることを確認し、偏極三様体上の随伴バンドルへ結果を拡張する。
• 論文は、$B^3 \geq 51$ の閾値が最適ではない可能性を示唆し、悪性集合の幾何的性質がよりよく理解されれば $B^3 > 27$ で十分である可能性がある。
• 類似の基準は、対数正則なペアや高次元多様体へ拡張可能であり、今後の研究で非常に正則性の問題への応用が期待される。