[論文レビュー] On the $D$-dimension of a certain type of threefolds

Jing Zhang|ArXiv.org|Oct 28, 2006

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

ひとこと要約

この論文は、すべての $j \geq 0$, $i > 0$ に対して $H^i(Y, \Omega^j_Y) = 0$ を満たす滑らかな三様 $Y$ の $D$-次元を調査し、$D$ を単純な横断的交叉を持つ境界除釈とする滑らかな完成 $X$ の $D$-次元が 2 になりえないことを示している。さらに、$Y$ がアフィンであることは、それが正則的分離可能であることと同値であり、$ \kappa(D,X) > 1$ のとき $Y$ は $\mathrm{Spec}\, \Gamma(Y, \mathcal{O}_Y)$ に同型であることが示され、高次元におけるコhomological vanishing、正則的分離可能性、およびアフィン性が統一される。

ABSTRACT

Let $Y$ be an algebraic manifold of dimension 3 with $H^i(Y, Ω^j_Y)=0$ for all $j\geq 0$, $i>0$ and $h^0(Y, {\mathcal{O}}_Y) > 1$. Let $X$ be a smooth completion of $Y$ such that the boundary $X-Y$ is the support of an effective divisor $D$ on $X$ with simple normal crossings. We prove that the $D$-dimension of $X$ cannot be 2, i.e., either any two nonconstant regular functions are algebraically dependent or there are three algebraically independent nonconstant regular functions on $Y$. Secondly, if the $D$-dimension of $X$ is greater than 1, then the associated scheme of $Y$ is isomorphic to Spec$Γ(Y, {\mathcal{O}}_Y)$. Furthermore, we prove that an algebraic manifold $Y$ of any dimension $d\geq 1$ is affine if and only if $H^i(Y, Ω^j_Y)=0$ for all $j\geq 0$, $i>0$ and it is regularly separable, i.e., for any two distinct points $y_1$, $y_2$ on $Y$, there is a regular function $f$ on $Y$ such that $f(y_1) eq f(y_2)$.

研究の動機と目的

• 滑らかな完成の $D$-次元を用いて、すべての $j \geq 0$, $i > 0$ に対して $H^i(Y, \Omega^j_Y) = 0$ を満たす三様 $Y$ を分類すること。
• このような三様に対して、$D$-次元 $\kappa(D,X)$ の取りうる値を特定すること。
• 任意の次元の代数多様体に対して、コhomological vanishing および正則的分離可能性の観点からアフィン性の特徴づけを確立すること。
• ファイバー空間構造および $D$-次元理論を用いて、表面からの結果を高次元の多様体へ一般化すること。

提案手法

• Iitaka の $D$-次元理論を用いて、$Y$ の滑らかな完成 $X$ 上の有効除算 $D$ に対して $\mathcal{O}_X(mD)$ の正則切断の成長を分析する。
• 前回の研究（[Zh1, Zh2]）で得られたファイバー空間構成を応用し、問題を一般ファイバーの $D$-次元の研究に還元する。
• Fujita のファイバー多様体の $D$-次元に関する結果を用いて、$\kappa(D,X) = 2$ を除外する。
• Zariski の主要定理および Neeman の定理を用いて、$Y$ から $\mathrm{Spec}\, \Gamma(Y, \mathcal{O}_Y)$ への単射の有理的同型写像がアフィン性を示すことを証明する。
• 次元に関する帰納法を用いて、アフィン性の基準を任意次元の代数多様体へ拡張する。
• 上半連続性と境界の連結性を活用し、$Y$ のグローバル構造を制御する。

実験結果

リサーチクエスチョン

• RQ1 $H^i(Y, \Omega^j_Y) = 0$ をすべての $j \geq 0$, $i > 0$ に対して満たす三様 $Y$ の滑らかな完成 $X$ の $D$-次元 $\kappa(D,X)$ は 2 になり得るか？
• RQ2 コhomological vanishing および正則的分離可能性が与えられたとき、このような三様 $Y$ がアフィンである条件は何か？
• RQ3 $\kappa(D,X) > 1$ のとき、$Y$ と $\mathrm{Spec}\, \Gamma(Y, \mathcal{O}_Y)$ は同型であるか？
• RQ4 コhomological vanishing 条件を満たす代数多様体に対して、正則的分離可能性はアフィン性を示唆するか？
• RQ5 $\kappa(D,X)$、$Y$ に完全な曲線が存在しないこと、および $Y$ のアフィン性の間の関係は何か？

主な発見

• すべての $j \geq 0$, $i > 0$ に対して $H^i(Y, \Omega^j_Y) = 0$ を満たす三様 $Y$ の滑らかな完成 $X$ の $D$-次元 $\kappa(D,X)$ は 2 になりえない。
• $\kappa(D,X) > 1$ のとき、$Y$ は $\mathrm{Spec}\, \Gamma(Y, \mathcal{O}_Y)$ に同型であり、$Y$ がアフィンであることと正則的分離可能であることとは同値である。
• 任意の次元 $d \geq 1$ に対して、代数多様体 $Y$ は、すべての $j \geq 0$, $i > 0$ に対して $H^i(Y, \Omega^j_Y) = 0$ かつ $Y$ が正則的分離可能なとき、かつそのときに限りアフィンである。
• $\kappa(D,X) > 1$ のとき、$X$ の $D$-次元は正確に 3 であり、有理的単射性と Neeman の定理の組み合わせにより $Y$ はアフィンである。
• $X$ の $D$-次元が 3 であることは、$Y$ のファイバー空間構造のすべての一般ファイバーが $D$-次元 2 のアフィン曲面であることと同値である。
• $Y$ がアフィンではなく、コhomological vanishing を満たすならば、すべての滑らかな完成 $X$ に対して $\kappa(X) = -\infty$ かつ $\kappa(D,X) = 1$ である。