[論文レビュー] A product formula for volumes of varieties

Yūjirō Kawamata|ArXiv.org|Apr 8, 2007

Polynomial and algebraic computation参考文献 1被引用数 3

ひとこと要約

本稿は、滑らかで射影的多様体のファイバー空間設定における体積の積公式を確立する：全射的準同型 $ f: X \to Y $ に対して一般ファイバー $ F $ を持ち、両者とも一般型のとき、$ X $ の体積は $ \frac{v(X)}{d_X!} \geq \frac{v(Y)}{d_Y!} \cdot \frac{v(F)}{d_F!} $ を満たす。等号は $ X \cong Y \times F $ のときに成立する。この結果は、Fujitaの近似とViehwegの弱正則性を用いて全切断の数を抑え、体積不等式を導出する。

ABSTRACT

A simple application of the semipositivity.

研究の動機と目的

• 一般型の基底と一般ファイバーをもつファイバー空間 $ X \to Y $ の体積に対する乗法的下界を確立すること。
• 体積比較を通じて、双有理不変量をファイブレーションへと拡張すること。
• 体積不等式における等号が成立する条件を、特に同型型との関連で調査すること。
• 一般型多様体の文脈において、対数BMY不等式の体積論的類似を提供すること。

提案手法

• Fujitaの近似定理を適用し、体積の近似を、全切断の数が制御された非常に正則な因子を用いて一般ファイバー $ F $ の体積を近似する。
• Viehwegの弱正則性定理を用いて、線束の対称冪が一般に全切断をもつことを保証する。
• 全切断のランクの下界を、$ H^0(F, km_1mL) $ の次元を用いて $ f_*\mathcal{O}_X(km_1mK_{X/Y}) $ に対して構成する。
• テンソル積の議論を通じて、ベースとファイバーの寄与を組み合わせることで、$ \dim H^0(X, km_1mK_X) $ の成長を推定する。
• lim supの定義による $ \dim H^0(X, mK_X) $ の漸近的成長率を用いて、体積不等式を導出する。
• 誤差項を $ \epsilon $-近似で制御し、必要な漸近的条件を満たすように $ m_1 $ を調整する。

実験結果

リサーチクエスチョン

• RQ1 ファイバー空間 $ X \to Y $ の体積が、基底とファイバーの体積を含む乗法的不等式を満たす条件は何か？
• RQ2 一般型の成分をもつファイバー空間において、多様体 $ X $ の体積がその基底と一般ファイバーの体積の積によって下から抑えられるか？
• RQ3 ファイバー空間において、体積積公式における等号が成立する幾何的条件は何か？
• RQ4 体積不等式における等号は、ファイバー空間が同型型であることと同値か？
• RQ5 直接像の全生成性と正則性の性質は、ファイバー空間における体積推定にどのように寄与するか？

主な発見

• 一般型の基底 $ Y $ と一般ファイバー $ F $ をもつファイバー空間 $ f: X \to Y $ に対して、$ \frac{v(X)}{d_X!} \geq \frac{v(Y)}{d_Y!} \cdot \frac{v(F)}{d_F!} $ が成り立つ。
• 等号は $ X \cong Y \times F $ のときに成立し、積構造が重要なケースであることを示唆する。
• 証明は、Fujitaの近似とViehwegの弱正則性により、全切断の成長を制御することで、漸近的体積の下界を保証する。
• 体積近似における誤差項は $ \epsilon $ で制御され、$ m_1 $ が $ m_0 $ に対して十分に大きい場合に不等式が成り立つ。
• 条件 $ \frac{v(Y)-\epsilon}{v(Y)-2\epsilon} \geq \left(\frac{m_1}{m_1 - m_0}\right)^{d_Y} $ により、漸近的推定における基底体積項が支配的になる。
• 体積公式における等号が同型型性を示唆するという予想がなされ、体積乗法性とモジュライの有限性との深い関係が示唆される。