[论文解读] On mixed multiplicities of ideals

Kiumars Kaveh, Askold Khovanskiĭ|arXiv (Cornell University)|Oct 29, 2013

Rings, Modules, and Algebras参考文献 10被引用 7

一句话总结

本文通过建立局部环中 $\mathfrak{m}$-殆零理想混合重数与代数簇上亚纯函数子空间交叠理论之间的几何联系，揭示了混合重数的几何解释。借助这一联系，作者推导出混合重数的反向亚历山德罗夫-芬克尔不等式，并将其推广至凸锥内凸体的混合体积，通过逼近与多重线性性证明该不等式。

ABSTRACT

Let R be the local ring of a point on a variety X over an algebraically closed field k. We make a connection between the notion of mixed (Samuel) multiplicity of m-primary ideals in R and intersection theory of subspaces of rational functions on X which deals with the number of solutions of systems of equations. From this we readily deduce several properties of mixed multiplicities. In particular, we prove a (reverse) Alexandrov-Fenchel inequality for mixed multiplicities due to Teissier and Rees-Sharp. As an application in convex geometry we obtain a proof of a (reverse) Alexandrov-Fenchel inequality for covolumes of convex bodies inscribed in a convex cone.

研究动机与目标

• 通过代数簇上亚纯函数子空间的交叠理论，建立局部环中 $\mathfrak{m}$-殆零理想混合重数的几何解释。
• 利用交叠理论方法，证明局部环中混合重数的反向亚历山德罗夫-芬克尔不等式。
• 通过逼近与多重线性性，将该不等式推广至凸锥内凸体的混合体积。
• 利用混合重数的代数不等式，通过逼近方法，为混合体积的亚历山德罗夫-芬克尔不等式提供几何证明。
• 通过亚纯函数子空间交叠理论框架，统一交换代数、代数几何与凸几何中的概念。

提出的方法

• 将 $n$ 个亚纯函数有限维子空间的交叠指标 $[L_1, \ldots, L_n]$ 定义为在扎里斯基开集内一般截面的公共零点个数。
• 利用交叠指标的多重可加性，将其延拓至子空间半群的格罗滕迪克群，从而与昭和的卡特尔 $b$-除子建立联系。
• 将局部环 $R = \mathcal{O}_{X,a}$ 中的每个 $\mathfrak{m}$-殆零理想与一个亚纯函数子空间相关联，从而实现混合重数的几何解释。
• 通过将问题约化为子空间交叠理论中的霍奇不等式，证明混合重数的反向亚历山德罗夫-芬克尔不等式。
• 通过有理多面体区域逼近一般 $C$-凸区域，并利用局部伯恩斯坦-库什尼连科定理，将单项式理想混合重数与混合体积关联。
• 利用混合体积的连续性与多重线性性，将不等式从多面体区域推广至一般凸区域。

实验结果

研究问题

• RQ1 如何通过亚纯函数子空间的交叠理论，几何化解释 $\mathfrak{m}$-殆零理想的混合重数？
• RQ2 亚纯函数子空间的交叠指标与理想混合重数之间存在何种关系？
• RQ3 混合重数的反向亚历山德罗夫-芬克尔不等式能否从交叠理论原理中导出？
• RQ4 理想混合重数与凸锥内凸体的混合体积之间有何关联？
• RQ5 能否通过逼近方法，利用混合重数的代数不等式，证明混合体积的亚历山德罗夫-芬克尔不等式？

主要发现

• 混合重数的反向亚历山德罗夫-芬克尔不等式成立：$e(I_1,I_1,I_3,\ldots,I_n)e(I_2,I_2,I_3,\ldots,I_n) \geq e(I_1,I_2,\ldots,I_n)^2$。
• 在 торик 变量局部环中，单项式 $\mathfrak{m}$-殆零理想的混合重数等于其对应凸区域混合体积的 $n!$ 倍。
• $C$-凸区域的混合体积满足与混合重数相同的反向亚历山德罗夫-芬克尔不等式：$V(\Gamma_1,\Gamma_1,\Gamma_3,\ldots,\Gamma_n)V(\Gamma_2,\Gamma_2,\Gamma_3,\ldots,\Gamma_n) \geq V(\Gamma_1,\Gamma_2,\ldots,\Gamma_n)^2$。
• 混合体积不等式的证明基于将一般凸区域逼近为有理多面体区域，并利用连续性与多重线性性。
• 混合重数不等式的证明依赖于子空间交叠理论中的霍奇不等式，该不等式等价于全局亚历山德罗夫-芬克尔不等式。
• 建立了局部伯恩斯坦-库什尼连科定理：对于具有整数顶点的多面体 $C$-凸区域，有 $e(I(\Gamma_1),\ldots,I(\Gamma_n)) = n! \cdot V(\Gamma_1,\ldots,\Gamma_n)$。