[论文解读] Newton polytopes for horospherical spaces

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

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

一句话总结

本文通过建立 $G$-不变的正则函数子空间与凸多面体之间的对应关系，将 Bernstein-Kushnirenko 定理推广到 $G/H$ 型的旗胞齐次空间。结果表明，$G/H$ 上通用方程组的解的个数等于相关 Newton 多面体的混合体积，通过 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.

研究动机与目标

• 将 Bernstein-Kushnirenko 定理从环流代数簇推广到包含极大幂零子群的 $G/H$ 型旗胞齐次空间。
• 将 $G/H$ 上 $G$-不变正则函数子空间的 Grothendieck 半群描述为在 Minkowski 和下构成的凸多面体半群。
• 利用 Newton 多面体的混合体积，推广 $G/H$ 上通用方程组的解的计数方法。
• 建立解数的两种等价表述：一种通过矩多面体上的积分，另一种通过扩展 Newton 多面体的混合体积。

提出的方法

• 构造 $G/H$ 上 $G$-不变正则函数子空间的 Grothendieck 半群，并证明其同构于在 Minkowski 和下构成的整数凸多面体半群。
• 将有限维 $G$-不变子空间的完备化定义为所有权重属于原始权重集凸包的正则函数张成的子空间。
• 在 $\mathbb{R}^n$ 中为 $\mathbb{Z}_{\geq 0}$ 的有限子集 $A$ 定义 Newton 多面体 $\tilde{\Delta}(A)$，将矩多面体提升至更高维空间。
• 利用与主权 $\lambda$ 关联的矩多面体 $\Delta_{GC}(\lambda)$ 定义线性系统对应的 Newton 多面体。
• 推导出通用方程组解的个数为 $n! \cdot V(\tilde{\Delta}_1, \ldots, \tilde{\Delta}_n)$，其中 $V$ 为混合体积。
• 证明解数与矩多面体上齐次多项式的混合积分相等，同时也与提升后 Newton 多面体的混合体积相等。

实验结果

研究问题

• RQ1 如何将 Bernstein-Kushnirenko 定理推广至旗胞齐次空间 $G/H$？
• RQ2 $G/H$ 上 $G$-不变正则函数子空间的 Grothendieck 半群结构为何？
• RQ3 Newton 多面体如何编码 $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$ 为 Newton 多面体。
• 该解数也等于在矩多面体上对齐次多项式进行混合积分的结果，提供了双重表述形式。
• 对于空间 $\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 多面体。