[論文レビュー] Newton polytopes for horospherical spaces

Kiumars Kaveh, Askold Khovanskiĭ|arXiv (Cornell University)|Jul 24, 2010

Advanced Combinatorial Mathematics参考文献 13被引用数 7

ひとこと要約

この論文は、$G/H$ におけるホロスフィカル同次空間に一般化されたBernstein-Kushnirenko定理を提示する。$G$-不変な正則関数の部分空間と凸多面体の間の対応関係を確立し、$G/H$ 上の一般化された方程式系の解の個数が関連するニュートン多面体の混合体積に等しいことを示す。これは、Grothendieck半群とモーメント多面体を用いて、再帰的群作用によるトロイカ幾何学の結果を拡張する。

ABSTRACT

A subgroup H of a reductive group G is horospherical if it contains a maximal unipotent subgroup. We describe the Grothendieck semigroup of invariant subspaces of regular functions on G/H as a semigroup of convex polytopes. From this we obtain a formula for the number of solutions of a generic system of equations on G/H in terms of mixed volume of polytopes. This generalizes Bernstein-Kushnirenko theorem from toric geometry.

研究の動機と目的

• トーリック多様体からホロスフィカル同次空間 $G/H$（$H$ が最大可解部分群を含む）へのBernstein-Kushnirenko定理の拡張を達成すること。
• $G/H$ 上の正則関数の $G$-不変部分空間のGrothendieck半群を、凸多面体の半群として記述すること。
• ニュートン多面体の混合体積を用いて、$G/H$ 上の一般化された方程式系の解の個数を一般化すること。
• 解の個数の2通りの同等な表現を確立すること：1つはモーメント多面体上の積分による表現、もう1つは拡大されたニュートン多面体の混合体積による表現。

提案手法

• $G/H$ 上の正則関数の $G$-不変部分空間のGrothendieck半群を構成し、Minkowski和に関する整数凸多面体の半群と同型であることを示す。
• 有限次元 $G$-不変部分空間の完成を、元の重み集合の凸包に属するすべての正則関数の張りとして定義する。
• 有限部分集合 $A \subset \mathbb{Z}_{\geq 0}$ に対して、$\mathbb{R}^n$ 内のニュートン多面体 $\tilde{\Delta}(A)$ を定義し、モーメント多面体を高次元空間に持ち上げる。
• 支配的重み $\lambda$ に関連するモーメント多面体 $\Delta_{GC}(\lambda)$ を用いて、線形系のニュートン多面体を定義する。
• 一般化された方程式系の解の個数を $n! \cdot V(\tilde{\Delta}_1, \ldots, \tilde{\Delta}_n)$ として導出する。ここで $V$ は混合体積を表す。
• 解の個数がモーメント多面体上の混合積分と等価であることを証明し、また、持ち上げられたニュートン多面体の混合体積とも等価であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ホロスフィカル同次空間 $G/H$ におけるBernstein-Kushnirenko定理をどのように一般化できるか？
• RQ2 $G/H$ 上の正則関数の $G$-不変部分空間のGrothendieck半群の構造は何か？
• RQ3 ニュートン多面体は、$G/H$ 上の一般化された方程式系の解の個数をどのように符号化するか？
• RQ4 解の個数を、モーメント多面体上の混合積分と、持ち上げられた多面体の混合体積の両方で表現できるか？

主な発見

• ホロスフィカル空間 $G/H$ 上の正則関数の $G$-不変部分空間のGrothendieck半群は、Minkowski和に関する整数凸多面体の半群と同型である。
• 有限次元 $G$-不変部分空間の完成は、その重み集合の凸包に対応し、トーリックの場合の一般化である。
• $G/H$ 上の一般化された方程式系 $f_1 = \cdots = f_n = 0$（$f_i$ が $G$-不変部分空間に属する）の解の個数は、$n! \cdot V(\tilde{\Delta}_1, \ldots, \tilde{\Delta}_n)$ で与えられる。ここで $\tilde{\Delta}_i$ はニュートン多面体である。
• この解の個数は、モーメント多面体上の混合積分とも等しく、双対的表現を提供する。
• $\mathbb{C}^n \setminus \{0\} \cong G/H$ の場合、解の個数は $n! \cdot I\phi(I_1, \ldots, I_n)$ で与えられる。ここで $I_i = \Delta(A_i)$ は区間であり、$\phi(k) = \frac{1}{(n-1)!}k^{n-1}$ である。
• 部分フラッグ多様体 $G/P_I$ に対して、$m$ 個の線形系の交差数は $m! \cdot V(\Delta_{GC}(\lambda_1), \ldots, \Delta_{GC}(\lambda_m))$ で与えられる。ここで $\Delta_{GC}(\lambda)$ はGelfand-Cetlin多面体である。