[论文解读] Newton-Okounkov polytopes of Schubert varieties arising from cluster structures

Naoki Fujita, Hironori Oya|arXiv (Cornell University)|Feb 23, 2020

Algebraic structures and combinatorial models参考文献 47被引用 10

一句话总结

本文通过从簇结构构造推广的扩展 g-向量的赋值，建立了簇代数与施伯特流形上牛顿–奥库诺夫体之间的联系。证明了由此产生的牛顿–奥库诺夫体实现了串多面体与中岛–ゼーレフスキー多面体，为施伯特流形中的簇理论、toric退化与表示论多面体提供了一个统一的框架。

ABSTRACT

The theory of Newton-Okounkov bodies is a generalization of that of Newton polytopes for toric varieties, and it gives a systematic method of constructing toric degenerations of projective varieties. In this paper, we study Newton-Okounkov bodies of Schubert varieties from the theory of cluster algebras. We construct Newton-Okounkov bodies using specific valuations which generalize extended g-vectors in cluster theory, and discuss how these bodies are related to string polytopes and Nakashima-Zelevinsky polytopes.

研究动机与目标

• 建立簇代数结构与施伯特流形上牛顿–奥库诺夫体之间的系统性联系。
• 从簇结构构造推广扩展 g-向量的赋值，从而实现表示论基的多面体化。
• 通过簇代数与牛顿–奥库诺夫理论统一施伯特流形的 toric 退化构造。
• 通过簇的热带化变换关联串多面体与中岛–ゼーレフスキー多面体。

提出的方法

• 使用簇代数种子在施伯特流形的函数域上构造赋值 $ v_{\mathbf{s}} $，推广扩展 g-向量。
• 利用 $ \mathbb{Z}^J $ 上的全序 $ \leq_{\varepsilon} $，从簇变量的洛朗单项式定义最低项赋值。
• 对极化施伯特流形 $ (X(w), \mathcal{L}) $ 应用牛顿–奥库诺夫体构造，使用赋值 $ v_{\mathbf{s}} $，得到一个凸多面体。
• 证明通过簇变换序列，所得牛顿–奥库诺夫体与串多面体及中岛–ゼーレフスキー多面体同构。
• 利用无幺元胞 $ U_w^- $ 上的 $ \mathcal{A} $-簇结构，将 $ \mathbb{C}[U_w^-] $ 实现为簇代数，表明坐标环由簇变量生成。
• 利用上全局基与限制映射，证明多面体中的格点参数化了 canonical 基元素。

实验结果

研究问题

• RQ1 如何利用簇代数结构为施伯特流形构造牛顿–奥库诺夫体？
• RQ2 由簇值赋值产生的牛顿–奥库诺夫体是否与已知的表示论多面体（如串多面体与中岛–ゼーレフスキー多面体）一致？
• RQ3 热带化簇变换能否提供一种几何机制，以关联串多面体与中岛–ゼーレフスキー多面体？
• RQ4 无幺元胞的坐标环 $ \mathbb{C}[U_w^-] $ 是否同构于具有满秩交换矩阵的种子生成的簇代数？
• RQ5 上全局基在将这些多面体实现为牛顿–奥库诺夫体的过程中起什么作用？

主要发现

• 由施伯特流形 $ X(w) $ 上的簇值赋值 $ v_{\mathbf{s}} $ 构造的牛顿–奥库诺夫体，与同一施伯特流形相关的串多面体同构。
• 该牛顿–奥库诺夫体同样与中岛–ゼーレフスキー多面体重合，通过簇理论建立了这两个表示论多面体之间的直接联系。
• 无幺元胞的坐标环 $ \mathbb{C}[U_w^-] $ 同构于簇代数 $ \mathscr{A}(\mathbf{A}_{t_0}, \varepsilon^{\bm{i}}) $，且该代数等于上簇代数 $ \mathscr{U}(\mathbf{A}_{t_0}, \varepsilon^{\bm{i}}) $。
• 牛顿–奥库诺夫体中的格点参数化了 $ \mathbb{C}[U_w^-] $ 的上全局基，确认了多面体在基参数化中的作用。
• 热带化簇变换在串多面体与中岛–ゼーレフスキー多面体之间诱导了变换，为它们的等价性提供了几何实现。
• 赋值 $ v_{\mathbf{s}} $ 推广了扩展 g-向量，并将牛顿–奥库诺夫体实现为施伯特流形的 toric 退化，与 GHKK 框架一致。