[论文解读] Integrable systems, toric degenerations and Okounkov bodies

Megumi Harada, Kiumars Kaveh|arXiv (Cornell University)|May 23, 2012

Algebraic Geometry and Number Theory参考文献 25被引用 8

一句话总结

该论文通过 торические退化和牛顿-Окунков体，在光滑复射影簇上构造了完全可积系统。通过利用从该簇到其特殊纤维的辛同胚，并应用梯度-哈密顿流及 Łojasiewicz 型不等式，作者推导出连续的、彼此对易的函数，这些函数在开稠密子集上生成一个哈密顿环面作用，且其作用的矩映射像恰好是牛顿-Окунков体。

ABSTRACT

Let X be a smooth complex projective variety of dimension n equipped with a very ample Hermitian line bundle L. In the first part of the paper, we show that if there exists a toric degeneration of X satisfying some natural hypotheses (which are satisfied in many settings), then there exists a completely integrable system on X in the sense of symplectic geometry. More precisely, we construct a collection of real-valued functions H_1, ... H_n on X which are continuous on all of X, smooth on an open dense subset U of X, and pairwise Poisson-commute on U. Moreover, we show that in many cases, we can construct the integrable system so that the functions H_1, ..., H_n generate a Hamiltonian torus action on U. In the second part, we show that the toric degenerations arising in the theory of Newton-Okounkov bodies satisfy all the hypotheses of the first part of the paper. In this case the image of the "moment map" μ= (H_1, ..., H_n): X to R^n is precisely the Okounkov body Δ= Δ(R, v) associated to the homogeneous coordinate ring R of X, and an appropriate choice of a valuation v on R. Our main technical tools come from algebraic geometry, differential (Kaehler) geometry, and analysis. Specifically, we use the gradient-Hamiltonian vector field, and a subtle generalization of the famous Lojasiewicz gradient inequality for real-valued analytic functions. Since our construction is valid for a large class of projective varieties X, this manuscript provides a rich source of new examples of integrable systems. We discuss concrete examples, including elliptic curves, flag varieties of arbitrary connected complex reductive groups, spherical varieties, and weight varieties.

研究动机与目标

• 通过 торические退化，在光滑复射影簇上建立可积系统的通用构造。
• 证明此类可积系统自然地源自于齐次坐标环上的赋值所生成的牛顿-Окунков体。
• 证明所构造系统的矩映射像恰好是给定赋值对应的牛顿-Окунков体。
• 证明该可积系统在簇的开稠密子集上生成一个哈密顿环面作用。
• 通过一大类新的可积系统例子，统一辛几何、代数几何与表示论。

提出的方法

• 利用光滑射影簇 $X$ 到一个 торic簇 $X_0$ 的 торic退化，假设满足自然的几何与分析条件。
• 在开稠密子集 $U$ 上，构造从 $X$ 到 $X_0$ 的连续辛同胚，保持辛结构。
• 应用梯度-哈密顿向量场及广义的 Łojasiewicz 梯度不等式，以确保流的连续性与光滑性。
• 在 $X$ 上定义实值函数 $H_1, \dots, H_n$，它们在 $U$ 上光滑，彼此对易，且函数独立。
• 使用矩映射 $\mu = (H_1, \dots, H_n)$，其像为某个合适赋值 $v$ 对应的牛顿-Окунков体 $\Delta(R,v)$。
• 应用 GIT 和辛商构造，将系统与旗簇、球对称簇及权簇联系起来。

实验结果

研究问题

• RQ1 能否在满足适当几何与分析条件的 торic退化下，在光滑射影簇上构造出完全可积系统？
• RQ2 此类系统的矩映射像是否与齐次坐标环上赋值所生成的牛顿-Окунков体一致？
• RQ3 能否证明所构造的可积系统在簇的开稠密子集上生成一个哈密顿环面作用？
• RQ4 这些构造如何推广到旗簇与权簇等经典代数簇？
• RQ5 Łojasiewicz 梯度不等式在确保可积系统连续性与光滑性方面起到什么作用？

主要发现

• 本文在光滑射影簇 $X$ 上构造了一个完全可积系统 $\{H_1, \dots, H_n\}$，该系统在 $X$ 上连续，在开稠密子集 $U$ 上光滑，且两两对易。
• 该系统在 $U$ 上生成一个哈密顿环面作用，且矩映射 $\mu = (H_1, \dots, H_n)$ 将 $X$ 映满至牛顿-Окунков体 $\Delta(R,v)$。
• 对于旗簇 $X = \mathrm{GL}(n,\mathbb{C})/B$，矩映射像为字符串多面体 $\Delta_{\underline{w}_0}(\lambda)$，与表示论中的已知结果一致。
• 对于权簇 $X_{\lambda,\gamma}$，矩映射像为截断的字符串多面体 $\Delta_{\underline{w}_0}(\lambda,\gamma) = \Delta_{\underline{w}_0}(\lambda) \cap \pi_\lambda^{-1}(\gamma)$。
• 该构造与 GIT 和辛商可交换，如涉及 $X_\lambda$、$X_{\lambda,\gamma}$ 及其矩映射的交换图所示。
• 该方法具有广泛适用性，为椭圆曲线、球对称簇及其他复代数簇提供了新的可积系统。