[论文解读] Polyhedral realizations of crystal bases and convex-geometric Demazure operators

Naoki Fujita|arXiv (Cornell University)|Oct 30, 2018

Algebraic structures and combinatorial models参考文献 25被引用 3

一句话总结

该论文通过基钦科的凸几何代数德马日尔算子，证明了当奈什卡-泽列夫斯基多面体（作为晶体基的格点在有理凸多面体中的实现）为帕拉多面体时，其为格点多面体。关键结果是这些算子将多面体表示为对特定向量施加缩放后的德马日尔算子的闵可夫斯基和，这表明若 $2\rho$ 的多面体为帕拉多面体，则其对应的环形代数簇为戈伦斯坦法诺环形代数簇。

ABSTRACT

The main object in this paper is a certain rational convex polytope whose lattice points give a polyhedral realization of a highest weight crystal basis. This is also identical to a Newton-Okounkov body of a flag variety, and it gives a toric degeneration. In this paper, we prove that a specific class of this polytope is given by Kiritchenko's Demazure operators on polytopes. This implies that polytopes in this class are all lattice polytopes. As an application, we give a sufficient condition for the corresponding toric variety to be Gorenstein Fano.

研究动机与目标

• 建立奈什卡-泽列夫斯基多面体与基钦科的凸几何德马日尔算子之间的联系。
• 证明当奈什卡-泽列夫斯基多面体为帕拉多面体时，其为格点多面体。
• 利用德马日尔算子框架，提供其对应环形代数簇为戈伦斯坦法诺环形代数簇的充分条件。
• 证明在帕拉多面体条件下，多面体的闵可夫斯基可加性成立。
• 通过德马日尔算子统一描述晶体基实现与牛顿-奥库诺夫体。

提出的方法

• 将奈什卡-泽列夫斯基多面体 $\Delta_{\mathbf{i}}(\lambda)$ 定义为晶体基 $\mathcal{B}(\lambda)$ 在参数化 $\Psi_{\mathbf{i}}$ 下的像。
• 使用基钦科的多面体上德马日尔算子 $D_i^{(k)}$，对向量 $\mathbf{a}_\lambda$ 构造一系列运算。
• 在帕拉多面体假设下，证明 $D_{i_N}^{(N)} \cdots D_{i_1}^{(1)}(\mathbf{a}_\lambda) = -\Delta_{\mathbf{i}}(\lambda) + (\hat{\lambda}_{i_1}, \ldots, \hat{\lambda}_{i_N})$。
• 应用德马日尔算子构造，证明当多面体为帕拉多面体时，$\Delta_{\mathbf{i}}(\lambda)$ 为格点多面体。
• 利用闵可夫斯基和结构，证明当多面体为帕拉多面体时，有 $\Delta_{\mathbf{i}}(\lambda + \mu) = \Delta_{\mathbf{i}}(\lambda) + \Delta_{\mathbf{i}}(\mu)$。
• 利用旗流形 $G/B$ 到环形代数簇 $X(\Delta_{\mathbf{i}}(\lambda))$ 的平坦退化，分析其典范类与戈伦斯坦法诺性质。

实验结果

研究问题

• RQ1 在何种条件下，奈什卡-泽列夫斯基多面体为格点多面体？
• RQ2 基钦科的凸几何德马日尔算子能否用于计算奈什卡-泽列夫斯基多面体的结构？
• RQ3 在何种条件下，闵可夫斯基可加性 $\Delta_{\mathbf{i}}(\lambda + \mu) = \Delta_{\mathbf{i}}(\lambda) + \Delta_{\mathbf{i}}(\mu)$ 对这些多面体成立？
• RQ4 在何种条件下，其对应的环形代数簇 $X(\Delta_{\mathbf{i}}(\lambda))$ 为戈伦斯坦法诺环形代数簇？
• RQ5 扇形结构 $\Sigma_{\mathbf{i}}$ 如何与多面体的可加性及旗流形的几何性质相关联？

主要发现

• 若奈什卡-泽列夫斯基多面体 $\Delta_{\mathbf{i}}(\lambda)$ 为帕拉多面体，则其为格点多面体。
• 德马日尔算子序列 $D_{i_N}^{(N)} \cdots D_{i_1}^{(1)}(\mathbf{a}_\lambda)$ 定义良好，并计算出 $-\Delta_{\mathbf{i}}(\lambda) + (\hat{\lambda}_{i_1}, \ldots, \hat{\lambda}_{i_N})$。
• 当 $\Delta_{\mathbf{i}}(\lambda)$、$\Delta_{\mathbf{i}}(\mu)$ 和 $\Delta_{\mathbf{i}}(\lambda + \mu)$ 均为帕拉多面体时，闵可夫斯基可加性 $\Delta_{\mathbf{i}}(\lambda + \mu) = \Delta_{\mathbf{i}}(\lambda) + \Delta_{\mathbf{i}}(\mu)$ 对所有 $\lambda, \mu \in P_+$ 成立。
• 若 $\Delta_{\mathbf{i}}(2\rho)$ 为帕拉多面体，则环形代数簇 $X(\Delta_{\mathbf{i}}(2\rho))$ 为戈伦斯坦法诺环形代数簇。
• 若对所有 $\lambda \in P_+$，$\Delta_{\mathbf{i}}(\lambda)$ 均为帕拉多面体，则所有 $\lambda \in P_{++}$ 对应的环形代数簇 $X(\Delta_{\mathbf{i}}(\lambda))$ 均相同。
• 实闭锥 $\mathcal{C}_{\mathbf{i}}$ 为有理凸多面体，且满足 $\mathcal{S}_{\mathbf{i}} = \mathcal{C}_{\mathbf{i}} \cap (P_+ \times \mathbb{Z}^N)$，从而确认了晶体基参数化的整性。