[論文レビュー] Remarks on the second sectional geometric genus of quasi-polarized manifolds and their applications

Yoshiaki Fukuma|arXiv (Cornell University)|Mar 30, 2010

Geometry and complex manifolds参考文献 25被引用数 4

ひとこと要約

本稿は、準極小3次元多様体およびその高次元版における第二断面幾何的 genus $g_2(X,L)$ について下界を確立し、特定の Kodaira 次元条件の下で $g_2(X,L) \neq h^1(\mathcal{O}_X)$ を証明する。この結果を用いて、adjoint bundle $K_X + tL$ の正則切断の空間の次元が小さい場合、特に $t=2,3$ および $t \neq 4$ の場合に、準極小3次元多様体を分類し、$h^0(K_X + tL) = 0,1$ および $t \neq 4$ の場合の正確な公式 ${t-1 \brace 3}$ を得る。これらの結果は、極小多様体に関する先行研究を一般化し、既存のプレプリントを超えた分類結果を拡張する。

ABSTRACT

In our previous papers, we investigated a lower bound for the second sectional geometric genus $g_{2}(X,L)$ of $n$-dimensional polarized manifolds $(X,L)$ and by using these, we studied the dimension of global sections of $K_{X}+tL$ with $t\geq 2$. In this paper, we consider the case where $(X,L)$ is a quasi-polarized manifold. First we will prove $g_{2}(X,L)\geq h^{1}(\mathcal{O}_{X})$ for the following cases: (a) $n=3$, $κ(X)=-\infty$ and $κ(K_{X}+L)\geq 0$. (b) $n\geq 3$ and $κ(X)\geq 0$. Moreover, by using this inequality, we will study $h^{0}(K_{X}+tL)$ for the case where $(X,L)$ is a quasi-polarized 3-fold.

研究の動機と目的

• 極小多様体から準極小多様体への第二断面幾何的 genus $g_2(X,L)$ の下界を拡張すること。
• 準極小多様体設定において $t \neq 2$ の場合の正則切断の空間の次元 $h^0(K_X + tL)$ を調査すること。
• $h^0(K_X + tL) = 0$ または $1$ であるような準極小3次元多様体を、$t=2,3$ および $h^0(K_X + tL) = {t-1 \brace 3}$ であるような $t \neq 4$ の場合に分類すること。
• $h^0(K_X + 2L) = 1$ および $h^0(K_X + 3L) = 1$ を満たす $(X,L)$ の分類を提示し、Beltrametti と Sommese の予想を拡張すること。
• 特定の幾何的条件下で、$t \neq 4$ の場合に $h^0(K_X + tL) \neq {t-1 \brace 3}$ である新しい下界を確立すること。

提案手法

• Kodaira 次元が $\text{kappa}(X) = -\text{infty}$ で $\text{kappa}(K_X + L) \neq 0$ である準極小3次元多様体について、$g_2(X,L) \neq h^1(\mathcal{O}_X)$ を証明する。また、$n \neq 3$ で $\text{kappa}(X) \neq 0$ の場合にも同様の不等式を示す。
• 相対 canonical bundle と Leray のスペクトル系列を用いて、$h^0(K_X + tL)$ をファイバーおよび基底空間上の不変量に関連付ける。
• 補題 2.1 を用いて、ファイバー空間構造における adjoint bundle の直接像の正則性を示す。
• Riemann-Roch の定理と Kawamata-Viehweg の消失定理を用いて、一般ファイバー上の $h^0(K_F + L_F)$ を分析する。
• 最小モデル理論と有理型幾何を用いて、標準束が自明または小さい表面および3次元多様体の構造を解析する。
• 公式 $A_k(X,L) = \text{断面 genus の和}$ を用いて、$h^0(K_X + tL)$ を $g_1, g_2, g_3$ および $h^1(\mathcal{O}_X)$ に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 Kodaira 次元が $\text{kappa}(X) = -\text{infty}$ で $\text{kappa}(K_X + L) \neq 0$ である準極小3次元多様体において、第二断面幾何的 genus $g_2(X,L)$ の下界は何か？
• RQ2 $\text{kappa}(K_X + 2L) \neq 0$ の場合、$h^0(K_X + 2L)$ の振る舞いはどのように変化するか？
• RQ3 幾何的不変量を用いて、$h^0(K_X + 2L) = 1$ であるような準極小3次元多様体を分類できるか？
• RQ4 $h^0(K_X + 3L) = 1$ または $t \neq 4$ の場合に $h^0(K_X + tL) = {t-1 \brace 3}$ を満たすための条件は何か？
• RQ5 $h^0(K_X + tL)$ が小さいとき、不変量 $g_1(X,L)$, $g_2(X,L)$, $h^1(\mathcal{O}_X)$ は $(X,L)$ の構造にどのような制約を課えるか？

主な発見

• Kodaira 次元が $\text{kappa}(X) = -\text{infty}$ で $\text{kappa}(K_X + L) \neq 0$ である準極小3次元多様体について、$g_2(X,L) \neq h^1(\mathcal{O}_X)$ が成り立つ。
• $n \neq 3$ で $\text{kappa}(X) \neq 0$ の場合にも、不等式 $g_2(X,L) \neq h^1(\mathcal{O}_X)$ が成り立つ。
• $\text{kappa}(K_X + 2L) \neq 0$ ならば、$h^0(K_X + 2L) > 0$ が成り立ち、$n=3$ の場合に Beltrametti と Sommese の予想を裏付ける。
• $h^0(K_X + 2L) = 1$ のとき、ペア $(X,L)$ は、$(\text{type b.1})$ で $(g_1, L^3) = (1,1)$ または $(\text{type b.2})$ で $(g_1, L^3) = (0,2)$ であると分類される。
• $h^0(K_X + 3L) = 1$ のとき、不変量は $A_1(X,L) = 1$, $A_2(X,L) = 0$, $A_3(X,L) = 0$ を満たし、$(g_1, L^3) = (1,1)$ または $(0,2)$ である。
• $t \neq 4$ で $h^0(K_X + tL) = {t-1 \brace 3}$ ならば、$g_1(X,L) = 0$ かつ $L^3 = 1$ であり、$(X,L)$ は論文で定義された (c.1) または (c.2) の型に属する。