[論文レビュー] There Exist Nontrivial Threefolds with Vanishing Hodge Cohomology

Jing Zhang|ArXiv.org|Apr 7, 2005

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

ひとこと要約

本稿は、モハン・クマールの非アフィン型の開表面を用いて、穴あきアフィン曲線上でのファイバー構成により、すべての $ i > 0 $、$ j \geq 0 $ に対して $ H^i(Y, \Omega^j_Y) = 0 $ を満たす非アフィン的でも非積型でもない3次元多様体の、初めて知られる例を構成する。主な貢献は、変形不変コホモロジー解析と、楕円ファイブレーション上の射影バンドルを用いた明示的幾何的実現によって、このような3次元多様体の存在を証明することにある。

ABSTRACT

We analyze the structure of the algebraic manifolds $Y$ 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$, by showing the deformation invariant of some open surfaces. Secondly, we show when a smooth threefold with nonconstant regular functions satisfies the vanishing Hodge cohomology. As an application, we prove the existence of nonaffine and nonproduct threefolds $Y$ with this property by constructing a family of a certain type of open surfaces parametrized by the affine curve $\C-\{0\}$ such that the corresponding smooth completion $X$ has Kodaira dimension $-\infty$ and $D$-dimension 1, where $D$ is the effective boundary divisor with support $X-Y$.

研究の動機と目的

• すべての $ i > 0 $、$ j \geq 0 $ に対して $ H^i(Y, \Omega^j_Y) = 0 $ を満たす非アフィン的でも非積型でもない3次元多様体の存在を証明すること。
• 3次元ファイブレーションの文脈において、ホッジコホモロジーが消える開表面の変形不変性を分析すること。
• $ \mathbb{C} - \{0\} $ の上にパラメータ付けられた開表面の族として、それらを全空間として明示的に構成すること。
• 曲線上にファイブレーションされた3次元多様体に対して、ホッジコホモロジーのグローバル消滅が成立する条件を、ファイバーごとのコホモロジー的性質に基づいて確立すること。

提案手法

• すべてのファイバーがホッジコホモロジーを消滅させるならば、適切な条件下で全空間も同様に消滅する可能性があることを示すために、変形理論とコホモロジー不変性を用いる。
• 各ファイバー $ C_t $ に対して、$ \mathcal{O}_{C_t} $ への非自明な拡張として一意に定まる2次元ベクトルバンドル $ E $ を、楕円ファイブレーション $ Z \to \mathbb{C} - \{0,1\} $ 上に構成する。
• 射影バンドル構成 $ X = \mathbb{P}_Z(E) $ とその標準的セクション $ D \subset X $ を用いて、開3次元多様体 $ Y = X - D $ を定義する。
• Nakayamaの補題と $ \mathbb{C} - \{0,1\} $ 上でのピカール群の自明性を活用し、$ H^1(Z, \mathcal{O}_Z) \cong \mathbb{C}[x, 1/x, 1/(x-1)] $ を介して、グローバルな非自明拡張の存在を保証する。
• Goodman と Hartshorne のコホモロジー転送技術を応用し、開ファイバー上のコホモロジーを閉ファイバーに結びつけることで、上半連続性定理の適用を可能にする。
• すべてのファイバーが消滅条件を満たすという事実と、コホモロジーの長完全系列を用いて、$ Y $ 上でのホッジコホモロジーの消滅を検証する。

実験結果

リサーチクエスチョン

• RQ1 非アフィン的でも非積型でもない3次元多様体で、ホッジコホモロジーが消えるものが存在するか？
• RQ2 すべてのファイバーが同様に消えるならば、$ H^i(Y, \Omega^j_Y) $ のグローバル消滅が成立するための条件は何か？
• RQ3 開表面の変形不変性の性質をどのように活用して、ホッジコホモロジーが消える3次元ファイブレーションを分類できるか？
• RQ4 非アフィンな開表面の族をファイバーとして用いることで、このような3次元多様体を構成することは可能か？

主な発見

• 本稿は、$ Y = X - D $ として実現される非アフィン的でも非積型でもない3次元多様体 $ Y $ を構成し、すべての $ i > 0 $、$ j \geq 0 $ に対して $ H^i(Y, \Omega^j_Y) = 0 $ を満たす。ここで $ X = \mathbb{P}_Z(E) $、$ D $ は射影バンドルの標準的セクションである。
• 3次元多様体 $ Y $ はアフィン曲線 $ \mathbb{C} - \{0\} $ 上にファイブレーションされ、各滑らかなファイバーはモハン・クマールの分類におけるタイプ(2)の開表面である。具体的には、$ E $ が $ \mathcal{O}_C $ への一意な非自明拡張であるときの $ \mathbb{P}_C(E) $ の標準的セクションの補集合である。
• この構成により、$ Y $ はKodaira次元 $ -\infty $ であり、$ D $-次元が1であることが保証される。ここで $ D $ は $ X - Y $ を支える境界除集合である。
• $ Y $ は非アフィン的であることが、そのファイバーが非アフィン的であることから示され、ファイブレーションの変形不変コホモロジー構造のおかげでホッジコホモロジーのグローバル消滅が保たれる。
• この例は、3次元においてホッジコホモロジーの消滅がアフィン性を意味しないことを示しており、ベースがアフィン的で、ファイバーがステインである場合でさえも同様である。
• 本稿は、グローバル消滅がファイバーごとの消滅と上半連続性およびコホモロジー転送技術の応用によって成立することを確認しているが、境界除集合がグローバルに正則でないという点を除いては、その成立が保証される。