[논문 리뷰] Newton-Okounkov convex bodies of Schubert varieties and polyhedral realizations of crystal bases

Naoki Fujita, Satoshi Naito|arXiv (Cornell University)|2016. 03. 04.

Algebraic structures and combinatorial models참고 문헌 26인용 수 4

한 줄 요약

이 논문은 특정 평가를 통해 슈베르트 다양체의 뉴턴-오쿠누요프 볼록체와 나카시마-제레브린스키 다임러 크리스탈의 다각형 실현 간의 정확한 대응을 확립한다. 특정 단어 순서와 최고차항 평가에 대해 뉴턴-오쿠누요프 볼록체가 다임러 크리스탈의 다각형 모델과 일치함을 증명하며, 카시와라의 호환성 변환이 유리 함수체 위의 평가 변화에 대응함을 추가로 보여준다.

ABSTRACT

A Newton-Okounkov convex body is a convex body constructed from a projective variety with a valuation on its homogeneous coordinate ring; this is deeply connected with representation theory. For instance, the Littelmann string polytopes and the Feigin-Fourier-Littelmann-Vinberg polytopes are examples of Newton-Okounkov convex bodies. In this paper, we prove that the Newton-Okounkov convex body of a Schubert variety with respect to a specific valuation is identical to the Nakashima-Zelevinsky polyhedral realization of a Demazure crystal. As an application of this result, we show that Kashiwara's involution (*-operation) corresponds to a change of valuations on the rational function field.

연구 동기 및 목표

• 뉴턴-오쿠누요프 볼록체를 사용하여 다임러 크리스탈의 구체적인 기하적 실현을 확립하기 위해.
• 특정 평가에 대해 슈베르트 다양체의 뉴턴-오쿠누요프 볼록체가 해당 다임러 크리스탈의 나카시마-제레브린스키 다각형 실현과 일치함을 증명하기 위해.
• 카시와라의 호환성의 기하적 의미를 슈베르트 다양체의 함수체 위의 평가 변화의 관점에서 명확히 하기 위해.

제안 방법

• 특정 단어 순서에 대해 슈베르트 다양체의 함수체에 최고차항 평가를 사용하여 뉴턴-오쿠누요프 볼록체를 구성한다.
• 평가의 반복 집합을 나카시마-제레브린스키 다각형 실현 사상 아래 크리스탈 기저의 이미지와 동일시한다.
• 지수 함수를 통한 슈베르트 다양체의 유리 함수체 위의 비선형 매개화를 이용하여 함수체를 r개 변수의 유리 함수체로 식별한다.
• 크리스탈 연산자로부터 유도된 조각별 선형 사상들을 사용하여 다각형 모델과 뉴턴-오쿠누요프 볼록체를 연결한다.
• 크리스탈 기저 이론과 다임러 모듈의 이론을 활용하여 표현 이론적 구조와代수기하학적 구조를 연결한다.
• 다임러 모듈의 쌍대화를 통한 변환 분석을 통해 카시와라의 호환성이 평가의 변화에 대응함을 보여준다.

실험 결과

연구 질문

• RQ1 특정 평가에 대해 슈베르트 다양체의 뉴턴-오쿠누요프 볼록체가 해당 다임러 크리스탈의 나카시마-제레브린스키 다각형 실현과 동형인지 여쭙기 위해.
• RQ2 뉴턴-오쿠누요프 볼록체의 구조가 크리스탈 기저의 조합론적 성질을 어떻게 반영하는가?
• RQ3 카시와라의 호환성이 슈베르트 다양체의 함수체 위의 평가 변화의 관점에서 기하학적으로 어떻게 해석될 수 있는가?
• RQ4 적절한 평가를 통해 다임러 크리스탈의 다각형 모델이 뉴턴-오쿠누요프 볼록체로 실현될 수 있는가?
• RQ5 뉴턴-오쿠누요프 볼록체를 정의하는 부등식들이 스트링 다각형과 다임러 크리스탈의 정의 조건과 어떻게 관련되어 있는가?

주요 결과

• 특정 평가 $v_{\bf i}$에 대해 슈베르트 다양체의 뉴턴-오쿠누요프 볼록체는 $w$와 $\rho$에 대응하는 나카시마-제레브린스키 다각형 실현과 정확히 일치한다.
• $G=SL_3(\bbC)$에 대해 다각형 실현 $\triangle_{\bf i}^{(\rho,w_0)}$ 는 $\{ (a_1,a_2,a_3) ∈ ℝ^3 ∣ 0\leq a_1\leq1, 0\leq a_3\leq1, a_3\leq a_2\leq a_1+1 \}$ 로 주어지며, 이는 뉴턴-오쿠누요프 볼록체와 일치한다.
• $G=Sp_4(\bb{C})$에 대해 다각형 실현 $\triangle_{{\bf i}}^{(\rho,w_0)}$ 는 $0\leq a_1\leq1$, $0\leq a_2\leq a_1+1$, $0\leq a_3\leq\min\{a_2+1,2a_2\}$, 및 $0\leq 2a_4\leq\min\{2,a_3\}$ 으로 정의되며, 이는 뉴턴-오쿠누요프 볼록체와 일치한다.
• $Sp_4(\bb{C})$에 대해 스트링 다각형 $\tld{\triangle}_{{\bf i}^{\rm op}}^{(\rho,w_0)}$ 는 $0\leq a_4\leq1$, $a_4\leq a_3\leq a_4+1$, $a_3\leq a_2\leq 2a_3-2a_4+1$, 및 $0\leq a_1\leq a_2-2a_3+a_4+1$ 으로 주어지며, 이는 쌍대성의 확인을 제공한다.
• 조각별 선형 사상 $η_{\bf i}$ 는 다각형 실현과 스트링 다각형 사이의 전단사 사상이며, 주어진 매개화 하에서 그들의 등가성을 증명한다.
• 카시와라의 호환성이 다각형 모델과 스트링 다각형 간의 쌍대성에 의해 보여지듯이, 유리 함수체 위의 평가 변화에 대응한다.