[論文レビュー] Convex bodies and algebraic equations on affine varieties

Kiumars Kaveh, Askold Khovanskiĭ|ArXiv.org|Apr 25, 2008

Commutative Algebra and Its Applications参考文献 11被引用数 46

ひとこと要約

この論文は、アフィン代数的多様体上の正則関数の部分空間に付随する凸体（ニュートン凸体と呼ばれる）を導入することで、代数幾何と凸幾何の間に深い接点を確立する。バリエーション理論とヒルベルトの定理を用いて、この体積を n! でスケーリングしたものが、部分空間の自己交差指数に一致することを証明し、代数的交差数の幾何的解釈を提供するとともに、アレクサンドロフ–フェンケルおよびブランン–ミンコフスキーの不等式といった古典的結果の新しい、初等的な証明をもたらす。

ABSTRACT

Given an affine variety X and a finite dimensional vector space of regular functions L on X, we associate a convex body to (X, L) such that its volume is responsible for the number of solutions of a generic system of functions from L. This is a far reaching generalization of usual theory of Newton polytopes (which is concerned with toric varieties). As applications we give new, simple and transparent proofs of some well-known theorems in both algebraic geometry (e.g. Hodge Index Theorem) and convex geometry (e.g. Alexandrov-Fenchel inequality). Our main tools are classical Hilbert theory on degree of subvarieties of a projective space (in algebraic geometry) and Brunn-Minkowski inequality (in convex geometric).

研究の動機と目的

• 正則関数の部分空間の半群を用いて（準）アフィン多様体における交差論を構築すること。
• 代数的交差指数と凸体の混合体積の間の対応を確立すること。
• 凸幾何を用いて、正則関数の部分空間の自己交差指数の幾何的解釈を提供すること。
• 代数幾何および凸幾何の古典的定理（例えばホッジ指数定理やクシュニレンコ–ベルンシュタインの定理）の新しい、初等的な証明を提供すること。
• SAGBI基底を一般化し、その存在が多様体がトーリック多様体に退化することを示すこと。

提案手法

• アフィン多様体 X 上の正則関数の有限次元部分空間の半群 K(X) を定義し、点ごとの積を積演算として備える。
• 各 Lᵢ からの一般な切断の共通零点の数として、交差指数 [L₁,…,Lₙ] を定義し、n 次元の既約多様体に対してそれが適切に定義されることを証明する。
• 各部分空間 L ∈ K(X) に対して、ℤⁿ に値をとる整数値のバリエーションを介して、ℤ×ℤⁿ に値をとるグレーディングされた半群 G(L) ⊂ ℤ×ℤⁿ を定義し、G(L) が生成する凸錐の閉包と超平面の交わりとしてニュートン凸体を構成する。
• 射影的多様体の次数に関するヒルベルトの定理を用いて、dim(Lᵏ) の増大度とニュートン凸体の体積を関連付ける。
• ニュートン凸体の体積を n! でスケーリングしたものが、L の自己交差指数 [L,…,L] に一致することを証明する。
• ニュートン凸体にブランン–ミンコフスキーおよびアレクサンドロフ–フェンケルの不等式を適用し、代数的類似および幾何的不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 正則関数の部分空間の半群を用いて、アフィン多様体における交差論をどのように形式化できるか？
• RQ2 アフィン多様体上の正則関数の部分空間の自己交差指数の明確な幾何的意味は何か？
• RQ3 ブランン–ミンコフスキーおよびアレクサンドロフ–フェンケルの不等式といった凸幾何の古典的不等式は、関数部分空間に付随する凸体を通じて代数幾何からどのように導出可能か？
• RQ4 正則関数のグレーディング代数が SAGBI 基底をもつための条件は何か？そしてそれはトーリック多様体への退化とどのように関係するか？
• RQ5 ニュートン凸体の構成は、古典的なニュートンポリトープをどのように一般化し、ベルンシュタイン–クシュニレンコの定理のような既知の結果をどのように回復するか？

主な発見

• 部分空間 L ∈ K(X) に付随するニュートン凸体の体積に n! を乗じたものは、自己交差指数 [L,…,L] に一致し、代数幾何と凸幾何の間の直接的な接点を確立する。
• n 次元のアフィン多様体上での交差指数 [L₁,…,Lₙ] は、ℝⁿ 内の n 個の凸体の混合体積と類似した性質を示す。
• 表面における交差指数の代数的構造を用いて、曲線の場合への還元により、混合体積に関するアレクサンドロフ–フェンケルの不等式が証明される。
• 固定されたニュートンポリトープを持つ一般な方程式系の解の個数に関するクシュニレンコ–ベルンシュタインの定理に対して、新しい初等的証明が与えられる。
• バリエーションの錐が多面体的であり、かつ v(R) がその中にすべての整数点を含むならば、R は SAGBI 基底をもつことが示され、多様体がトーリック多様体に退化することを示唆する。
• 曲線 X と点 a ∈ X に対して、ニュートン線分 Δ(G(L)) の長さは (μₐ deg L)/d に等しい。ここで μₐ はバリエーションによって生成される半群の指数、d は写像 Φₗ の次数である。