[論文レビュー] Newton-Okounkov bodies, semigroups of integral points, graded algebras and intersection theory

Kiumars Kaveh, Askold Khovanskiĭ|arXiv (Cornell University)|Apr 21, 2009

Polynomial and algebraic computation参考文献 20被引用数 53

ひとこと要約

この論文は、ニュートン多面体の一般化としてのニュートン・オクウンコフ体を導入し、整数点の半群、順序付き代数、交線理論を結びつける。代数幾何と凸幾何の深い関係を示すために、一般化されたアレクサンドロフ＝フェンケルの不等式と、新しい形のホッジ指数定理を証明し、古典的な結果（例えばベルンシュタイン＝クシュニレニコフの定理やブリュン＝ミンコフスキー型不等式）を、多様体上の任意の線形系列へと拡張する。

ABSTRACT

Generalizing the notion of Newton polytope, we define the Newton-Okounkov body, respectively, for semigroups of integral points, graded algebras, and linear series on varieties. We prove that any semigroup in the lattice Z^n is asymptotically approximated by the semigroup of all the points in a sublattice and lying in a convex cone. Applying this we obtain several results: we show that for a large class of graded algebras, the Hilbert functions have polynomial growth and their growth coefficients satisfy a Brunn-Minkowski type inequality. We prove analogues of Fujita approximation theorem for semigroups of integral points and graded algebras, which imply a generalization of this theorem for arbitrary linear series. Applications to intersection theory include a far-reaching generalization of the Kushnirenko theorem (from Newton polytope theory) and a new version of the Hodge inequality. We also give elementary proofs of the Alexandrov-Fenchel inequality in convex geometry and its analogue in algebraic geometry.

研究の動機と目的

• 整数点の半群と凸幾何の間の橋渡しを、Z^n 内の有理コーンによる漸近的近似によって行う。
• 線形系列の任意のグレーデッド代数に関連するヒルベルト関数の漸近的性質を解明し、多項式的成長とブリュン＝ミンコフスキー型不等式を満たすかどうかを検証する。
• 古典的なアレクサンドロフ＝フェンケルの不等式が、ニュートン・オクウンコフ体の構成を通じて代数幾何からどのように導かれるかを明らかにする。
• 完全多様体やキャリアー除法子を超えて、線形系列の交線指数をどの程度一般化できるかを特定する。
• 大きな部分空間上の交線指数関数が、ブリュン＝ミンコフスキー不等式に類似した凹性を満たすかどうかを検証する。

提案手法

• 整数点の半群を価値関数による極限として定義し、Z^n 内の正則化プロセスを用いてニュートン・オクウンコフ体を構成する。
• Z^n 内の任意の半群が、凸コーン内の部分格子によって漸近的に近似可能であることを証明し、体積に基づく漸近的解析を可能にする。
• 有理関数部分空間のグロテンディーク群上の交線指数の多重加法性を用いて、除法子を超えた交線理論を一般化する。
• ベルティーニ＝レフシェッツの定理を応用し、高次元多様体上の交線指数を、低次元部分多様体上の指数に還元する。
• 表面への還元と、滑らかな表面におけるホッジ指数定理の適用により、代数的アレクサンドロフ＝フェンケル不等式の代数的類似を導出する。
• 大きな部分空間の半群上で、交線指数関数の m 乗根の凹性を証明することで、一般化されたブリュン＝ミンコフスキー不等式を確立する。

実験結果

リサーチクエスチョン

• RQ1 代数多様体上の任意の線形系列に対して、ニュートン多面体の構成をどのように一般化できるか。
• RQ2 線形系列に関連するグレーデッド代数のヒルベルト関数の漸近的挙動は何か。多項式的成長を示し、ブリュン＝ミンコフスキー型不等式を満たすか。
• RQ3 古典的なアレクサンドロフ＝フェンケルの不等式が、ニュートン・オクウンコフ体の構成を通じて代数幾何から導けるか。
• RQ4 完全多様体やキャリアー除法子を超えて、線形系列の交線指数をどの程度一般化できるか。
• RQ5 大きな部分空間上の交線指数関数は、ブリュン＝ミンコフスキー不等式に類似した凹性を満たすか。

主な発見

• ニュートン・オクウンコフ体の構成は、ニュートン多面体を一般化し、グレーデッド代数および線形系列の漸近的挙動を凸幾何的モデルとして提供する。
• 任意のグレーデッド代数に関連するヒルベルト関数は多項式的成長を示し、その主要係数はブリュン＝ミンコフスキー型不等式を満たす。
• 代数的アレクサンドロフ＝フェンケル不等式の類似が成り立つ：$L_1, \forall L_n$ に対して、不等式 $[L_1,L_1,L_3,\nolinebreak\break\\dots,L_n][L_2,L_2,L_3,\nolinebreak\break\\dots,L_n] \leq [L_1,L_2,L_3,\dots,L_n]^2$ が証明された。
• 一般化されたブリュン＝ミンコフスキー不等式が確立された：関数 $F(L) = [m*L, L_{m+1}, \dots, L_n]^{1/m}$ は、大きな部分空間の半群上で凹性を示す。
• 古典的なアレクサンドロフ＝フェンケルの不等式は、有理多面体による近似の極限として、代数的類似から回復される。
• 滑らかな表面への還元とホッジ指数定理の適用により、古典的なアレクサンドロフ＝フェンケル不等式とその代数的類似の両方について、初等的な証明が与えられた。