[論文レビュー] 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.

研究の動機と目的

• ナカシマ＝ゼレヴィンスキーの多面体とキリチェンコの凸幾何的デマール演算子との間の関係を確立すること。
• 特定のナカシマ＝ゼレヴィンスキーの多面体がパラ多面体であるとき、それらが格子多面体であることを証明すること。
• デマール演算子の枠組みを用いて、関連するトーリック多様体がゴレンシュタイン・ファノであるための十分条件を提供すること。
• パラ多面体条件の下で、多面体のミンコフスキー加法性が成り立つことを示すこと。
• デマール演算子を通じて、クリスタル基底の実現とニュートン＝オクウンコフ体の記述を統一すること。

提案手法

• パラメトライゼーション $\Psi_{\mathbf{i}}$ によるクリスタル基底 $\mathcal{B}(\lambda)$ の像としてナカシマ＝ゼレヴィンスキーの多面体 $\Delta_{\mathbf{i}}(\lambda)$ を定義する。
• キリチェンコの多面体上のデマール演算子 $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})$ を計算する。
• すべての $\lambda, \mu \in P_+$ に対して、$\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)$ が成り立つ。
• $\Delta_{\mathbf{i}}(2\rho)$ がパラ多面体である場合、トーリック多様体 $X(\Delta_{\mathbf{i}}(2\rho))$ はゴレンシュタイン・ファノである。
• $\Delta_{\mathbf{i}}(\lambda)$ がすべての $\lambda \in P_+$ に対してパラ多面体であるならば、すべての $\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)$ を満たす。これはクリスタル基底のパラメトライゼーションの整数性を確認する。