[논문 리뷰] Polyhedral realizations of crystal bases and convex-geometric Demazure operators

Naoki Fujita|arXiv (Cornell University)|2018. 10. 30.

Algebraic structures and combinatorial models참고 문헌 25인용 수 3

한 줄 요약

이 논문은 Nakashima-Zelevinsky 다면체—결정 기저를 유리 볼록 다면체 내의 격자 점으로서 실현한 것—이 파라다이어그램 다면체일 경우 격자 다면체임을 입증한다. 이를 위해 Kiritchenko의 볼록기하학적 Demazure 연산자를 사용한다. 핵심 결과는 이러한 연산자가 특정 벡터에 스케일된 Demazure 연산자를 반복 적용한 Minkowski 합으로 다면체를 계산한다는 것이다. 이는 $2\rho$에 대한 다면체가 파라다이어그램 다면체일 경우, 해당 타원형 다양체가 Gorenstein Fano임을 의미한다.

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.

연구 동기 및 목표

• Nakashima-Zelevinsky 다면체와 Kiritchenko의 볼록기하학적 Demazure 연산자 간의 연결 고리를 확립한다.
• 일부 Nakashima-Zelevinsky 다면체가 파라다이어그램 다면체일 경우 격자 다면체임을 증명한다.
• Demazure 연산자 프레임워크를 사용하여 관련 타원형 다양체가 Gorenstein Fano가 되는 충분한 조건을 제공한다.
• 파라다이어그램 다면체 조건 하에서 다면체의 Minkowski 가법성이 성립함을 보인다.
• Demazure 연산자를 통한 결정 기저 실현과 Newton-Okounkov 다면체의 묶음 기술을 통합한다.

제안 방법

• 결정 기저 $\mathcal{B}(\lambda)$에 대한 매개변수화 $\Psi_{\mathbf{i}}$에 의한 이미지로 Nakashima-Zelevinsky 다면체 $\Delta_{\mathbf{i}}(\lambda)$를 정의한다.
• Kiritchenko의 다면체에 대한 Demazure 연산자 $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})$임을 증명한다.
• Demazure 연산자 구성에 의해 $\Delta_{\mathbf{i}}(\lambda)$가 파라다이어그램 다면체일 경우 격자 다면체임을 보인다.
• Minkowski 합의 구조를 활용하여, 파라다이어그램 다면체일 경우 $\Delta_{\mathbf{i}}(\lambda + \mu) = \Delta_{\mathbf{i}}(\lambda) + \Delta_{\mathbf{i}}(\mu)$임을 증명한다.
• 플래그 다양체 $G/B$가 타원형 다양체 $X(\Delta_{\mathbf{i}}(\lambda))$로 평탄한 분열을 겪는 것을 활용하여, 정규화류와 Gorenstein Fano 성질을 분석한다.

실험 결과

연구 질문

• RQ1 Nakashima-Zelevinsky 다면체가 격자 다면체가 되는 조건은 무엇인가?
• RQ2 Kiritchenko의 볼록기하학적 Demazure 연산자를 사용하여 Nakashima-Zelevinsky 다면체의 구조를 계산할 수 있는가?
• RQ3 다음과 같은 Minkowski 가법성 $\Delta_{\mathbf{i}}(\lambda + \mu) = \Delta_{\mathbf{i}}(\lambda) + \Delta_{\mathbf{i}}(\mu)$이 성립하는 조건은 무엇인가?
• RQ4 관련 타원형 다양체 $X(\Delta_{\mathbf{i}}(\lambda))$가 Gorenstein Fano가 되는 조건은 무엇인가?
• RQ5 팬 구조 $\Sigma_{\mathbf{i}}$는 다면체의 가법성과 플래그 다양체의 기하학과 어떻게 관련되어 있는가?

주요 결과

• Nakashima-Zelevinsky 다면체 $\Delta_{\mathbf{i}}(\lambda)$는 파라다이어그램 다면체일 경우 격자 다면체이다.
• Demazure 연산자 순서 $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)$가 파라다이어그램 다면체일 경우, Minkowski 가법성 $\Delta_{\mathbf{i}}(\lambda + \mu) = \Delta_{\mathbf{i}}(\lambda) + \Delta_{\mathbf{i}}(\mu)$가 성립한다.
• 다면체 $\Delta_{\mathbf{i}}(2\rho)$가 파라다이어그램 다면체일 경우, 타원형 다양체 $X(\Delta_{\mathbf{i}}(2\rho))$는 Gorenstein Fano이다.
• 모든 $\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)$를 만족하여 결정 기저 매개변수화의 정수성 조건이 확인된다.