[論文レビュー] Teissier's problem on inequalities of nef divisors over an arbitrary field

Steven Dale Cutkosky|arXiv (Cornell University)|Apr 4, 2013

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

ひとこと要約

この論文は、特徴量が0の代数閉体上での完全な代数多様体上のネフでバリエーションのあるラインバンドルに対するBoucksom, Favre, JonssonのDiskant型不等式および比例性に関する結果を、任意の体へと拡張する。正の交差積とFujita近似の理論を任意の体上で構築することで、特異点の解消が利用できない場合でも、Khovanskii–Teissier不等式における等号が成立するのは、ネフ除数が数的に比例するときである、という事実を確立する。主な貢献は、正の特徴量および非完備体を含む一般の体へのTeissierのネフ除数比例性問題の一般化である。

ABSTRACT

Boucksom, Favre and Jonsson establish in [4] an analog of Diskant's inequality in convex geometry for nef and big line bundles on a complete algebraic variety over an algebraically closed field of characteristic zero (Theorem F [4]), from which they deduce a solution (Theorem D [4]) to a problem of Teissier (Problem B [29]) on proportionality of nef divisors. In this paper we extend these results to a complete variety over an arbitrary field k.

研究の動機と目的

• 代数閉体上の特徴量0の完全な代数多様体上のネフでバリエーションのあるラインバンドルに対するDiskant型不等式および比例性結果を、代数閉体に限定せず任意の体へと一般化すること。
• 特徴量が正のとき特異点の解消が利用できないという障害を、滑らかさを要しない任意の体上の交差理論を構築することで克服すること。
• 多様体が幾何学的に整ではなく、一般に非還元的であっても、完全な多様体上のバリエーションのあるラインバンドルの体積が常に極限であることを確立すること。
• 任意の体上でのネフ除数に対するKhovanskii–Teissier不等式における等号が成立するのは、除数が数的に比例するときである、という条件を証明すること。
• 非完備体を含む任意の体上の完全な多様体に対するネフ除数の比例性問題を、Teissierの問題へと拡張すること。

提案手法

• Boucksom, Favre, Jonssonの正の交差積理論を適応し、被約モデル上の数的群の逆極限を用いて定義する。
• 基底変換により代数閉包へ移行し、[23]および[8]の結果を用いて、任意の体上でFujita近似が成り立つことを示すことで、体積が極限であることを保証する。
• 交差数 $ s_i = (eta^{d-i} eta^{i-1} eta) $ を用いてネフ除数の内接半径と外接半径を定義し、Teissierのアプローチを一般化する。
• 定理6.9（Diskant型不等式）を適用し、内接半径と外接半径の境界を得ることで、比例性の基準を導出する。
• 同次性および交差積の性質を用いて、ネフ除数の比例性とKhovanskii–Teissier不等式における等号の同値性を確立する。
• 非完備体に対応するため、一般のグレーデッド線形系では体積の極限が存在しない例を構成するが、完全な多様体上のバリエーションのあるラインバンドルに対してはそれが成立することを証明する。

実験結果

リサーチクエスチョン

• RQ1 ネフ除数に対するDiskant型不等式および比例性結果は、特徴量0の代数閉体から任意の体へと拡張可能か？
• RQ2 多様体が幾何学的に整でない場合でも、完全な多様体上のバリエーションのあるラインバンドルに対してFujita近似は成り立つか？
• RQ3 任意の体上の完全な多様体上のバリエーションのあるラインバンドルの体積は常に極限であるか？また、特異点の解消が利用できない状況で、その証明はどのように行えるか？
• RQ4 Khovanskii–Teissier不等式における等号が、ネフ除数の数的比例性を意味するのはどのような条件下か？
• RQ5 任意の体上でのネフ除数の内接半径と外接半径はどのように振る舞い、比例性を特徴付けるために使用可能か？

主な発見

• 任意の体上の完全な多様体上のバリエーションのあるラインバンドルの体積は、代数閉包への基底変換と[23]および[8]の結果を用いて極限として確立される。
• 定理5.1により、任意の体上でFujita近似が成り立つことが示され、これは定理3.3 [23]と定理7.2 [8]を組み合わせることで得られる。
• 定理6.9（Diskant型不等式）は、ネフ除数の内接半径と外接半径に対して鋭い境界を与える。これは[4]の結果を任意の体へ一般化する。
• 定理6.10は、$ r(eta;eta) \to 1 $ が成り立つのは、すべての $ i $ に対して $ s_i = 1 $ のときであり、これは $ \beta $ と $ \beta $ が比例することを意味し、結果としてKhovanskii–Teissier不等式における等号が成立することを示す。
• 定理6.13は、$ (\beta^d) > 0 $ を満たすネフ除数 $ \beta $ と $ \beta $ に対して、Khovanskii–Teissier不等式における等号が成立するのは、$ \beta $ と $ \beta $ が数的に比例するときである、と証明する。
• 多様体 $ X $ が還元的でない場合でも、$ \beta|X_{\text{red}} $ と $ \beta|X_{\text{red}} $ がバリエーションである限り、比例性の結果は成り立つ。これは非還元的スキームへと結果を拡張する。