[論文レビュー] On effective non-vanishing and base-point-freeness

Yūjirō Kawamata|ArXiv.org|Mar 27, 2000

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

ひとこと要約

本稿は、KLTペアにおけるCartier除集合の有効性と基点自由性を検討し、$ H^0(X,D) \neq 0 $ および $ |mD| $ が $ m \geq \dim X + 1 $ のとき自由であることを、nef かつ big 条件のもとで証明する。次に、$ \dim X \leq 4 $ の場合に非消滅性を確立し、次元 2 におけるFujitaの自由性予想を確認し、特定のアーリアントキャンティケイ除集合を備えた 4 次元Fano多様体の存在を示す。

ABSTRACT

Let $X$ be a complete normal variety, $B$ an effective $\mathbb{R}$-divisor on $X$, and $D$ a Cartier divisor on $X$. Assume that the pair $(X, B)$ is log terminal. We consider the problem whether $H^0(X, D) e 0$ and obtain some results in lower dimensions.

研究の動機と目的

• KLTペア $ (X,B) $ に対して $ D $ がnef かつ $ H = D - (K_X + B) $ がnef かつ big であるとき、$ H^0(X,D) \neq 0 $ であるという予想を解決すること。
• Fujitaの自由性予想の低次元における検証を目的とし、$ m \geq \dim X + 1 $ のとき $ |mD| $ が自由であることを確立すること。
• 非正なKodaira次元の場合に有用な対象として、対数的設定への半正則性定理の拡張を図ること。
• 特定のアーリアントキャンティケイ除集合を備えた 4 次元Fano多様体の存在を証明すること。
• 非消滅性の文脈において、最小中心とLC閾値を、消滅定理とRiemann–Roch技法を用いて分析すること。

提案手法

• [4] の半正則性定理を、被覆法と半正則曲率を持つ特異ヘルミート計量を用いて、対数的設定に一般化する。
• 基点自由定理を用いて、非消滅問題を $ D $ が非常にイタリアンである場合に還元する。
• Euler特徴の計算 $ \chi(X,tD) $ をRiemann–Roch定理を用いて行い、$ t $ に関する多項式表現を得る。
• 消滅定理（例：Kawamata–Viehweg）を用いて $ H^1(X, \mathcal{I}_W(mD)) = 0 $ を示し、コホロロジー写像の上への性質を示す。
• 摂動技法を用いて、最小中心 $ W $ 上にKLTペアを構成し、$ -(K_W + B') \sim_{\mathbb{Q}} r'D|_W $ かつ $ r' > \dim W - 3 $ であることを保証する。
• 符号解析を用いて $ p(-1) \geq 0 $ および $ p(m-1) \geq 0 $ から $ p(m) > 0 $ を導出し、したがって $ H^0(W,mD|_W) \neq 0 $ を得る。

実験結果

リサーチクエスチョン

• RQ1 KLTペア $ (X,B) $ に対して $ D $ がnef かつ $ H = D - (K_X + B) $ がnef かつ big であるとき、$ H^0(X,D) \neq 0 $ が成立するか？
• RQ2 同じ条件下で、$ m \geq \dim X + 1 $ のとき $ |mD| $ が自由であるか。これは低次元におけるFujitaの自由性予想の確認を意図する。
• RQ3 正則性のない対数的ペア（通常交差除集合および係数が1未満）に対し、半正則性定理を拡張できるか？
• RQ4 次元 4 において、一般な $ Y \in |D| $ が $ (X,B+Y) $ を純粋対数終末（PLT）にすることを保証する条件は何か？
• RQ5 アーリアントキャンティケイ除集合 $ D \sim -K_X $ が非常にイタリアンであり、$ H^0(X,D) \neq 0 $ であるとき、4 次元Fano多様体が canonical 特異点をもつことは成立するか？

主な発見

• 次元 2 の場合に、$ H^0(X,D) \neq 0 $ が成立し、$ m \geq 3 $ のとき $ |mD| $ が自由であることが確認され、Fujitaの自由性予想が次元 2 で正当化された。
• 次元 4 の場合、$ D \sim -K_X $ が非常にイタリアンであり、$ X $ がGorensteinのcanonical特異点をもつならば、$ H^0(X,D) \neq 0 $ であり、一般な $ Y \in |D| $ に対して $ (X,Y) $ はPLTである。これにより $ K_Y \sim 0 $ が導かれる。
• $ m \geq \dim X + 1 $ のとき $ |mD| $ は基点自由である。本稿では $ \dim X \leq 4 $ に対してこの事実を証明し、Fujitaの自由性予想を支持する。
• 特異ヘルミート計量と半正則曲率、およびゼロに近いLelong数を用いて、対数的半正則性定理が確立された。
• 次元 3 の最小中心 $ W $ に対して、$ r' > \dim W - 3 $ であると、$ H^0(W,mD|_W) \neq 0 $ が成り立つ。もし $ W $ が基点集合に含まれるならば、これは基点自由性に反する。
• Euler特徴 $ p(t) = \chi(W,tD|_W) $ は、消滅定理による符号制約から $ p(m) > 0 $ を満たし、$ W $ 上での非消滅性が証明される。