[논문 리뷰] Mirkovic-Vilonen cycles and polytopes

Joel Kamnitzer|ArXiv.org|2005. 01. 22.

Algebraic structures and combinatorial models참고 문헌 15인용 수 13

한 줄 요약

이 논문은 임의의 복소수 재구성 대칭군에 대해 Mirković-Vilonen (MV) 사이클과 다면체의 완전한 조합적 기술을 제공하며, 정수 격자 다면체가 MV 다면체일 조건을 다음과 같이 규명한다: 정의하는 초평면들이 Weyl 다면체의 초평면들과 평행하고, 2차 면들이 랭크 2 MV 다면체여야 한다. 주요 기여는 MV 다면체를 토로이드 플루커 관계를 통해 특성화하고, Lusztig의 보편 기저와 MV 다면체 집합 사이의 전단사 사상 수립이다.

ABSTRACT

We give an explicit description of the Mirkovic-Vilonen cycles on the affine Grassmannian for arbitrary complex reductive groups. We also give a combinatorial characterization of the MV polytopes. We prove that a polytope is an MV polytope if and only if it a lattice polytope whose defining hyperplanes are parallel to those of the Weyl polytopes and whose 2-faces are rank 2 MV polytopes. As an application, we give a bijection between Lusztig's canonical basis and the set of MV polytopes.

연구 동기 및 목표

• 모든 복소수 재구성 대칭군에 대해 Mirković-Vilonen 사이클과 다면체의 명시적이고 통일된 조합적 기술을 제공한다.
• MV 다면체를 정수 격자 다면체로 특성화하며, 그 초평면들이 Weyl 다면체 면들과 평행하고, 2차 면들이 랭크 2 MV 다면체여야 한다는 조건을 제시한다.
• 일반화된 미니멀의 조합론과 토로이드 플루커 관계를 이용하여 Lusztig의 보편 기저와 MV 다면체 집합 사이의 전단사 사상을 수립한다.
• 사이클의 기하학적 구성에 의존하지 않고 MV 다면체를 특성화하는 오랫동안 남아있던 문제를 해결한다.

제안 방법

• 실제 Weyl 다면체의 초평면들과 평행한 초평면을 가진 정수 격자 다면체인 '가짜 Weyl 다면체'를 정의하며, 챔버 무게를 사용해 초평면의 지지 초평면을 매개변수화한다.
• 반무한 세포의 교차로 정의된 GGMS 스트라타를 도입하며, 챔버 무게 위의 정수 함수를 통해 구조적 함수 $ D_\nu $ 로 매개변수화한다.
• Berenstein-Zelevinsky의 일반화된 미니멀 간의 토로이드 플루커 관계를 사용해, 유효한 MV 다면체 데이터를 특성화하는 간선 부등식을 유도한다.
• GGMS 스트라타가 MV 사이클이 되기 위한 조건을 보여줌으로써 MV 사이클과 MV 다면체 사이의 전단사 사상을 수립한다: 즉, 해당 함수 $ \psi_{M_\bullet} $ 가 볼록함수일 때에만 성립한다.
• 두 MV 다면체의 민코프스키 합이 다시 MV 다면체가 되는 것을 보이며, 합의 지지 함수가 개별 지지 함수의 합임을 보인다.
• Weyl 피라미드와 정점 자료를 사용해 초평면 자료 $ M_\bullet $ 와 정점 $ \mu_w $ 를 연결하며, 모든 $ w $ 에 대해 $ M_{\gamma} \in \mathbb{Z} $ 이면 $ \mu_w \in X_* $ 임을 보인다.

실험 결과

연구 질문

• RQ1 임의의 재구성 대칭군에 대해 아핀 그라스만이에서의 Mirković-Vilonen 사이클의 완전한 조합적 기술은 무엇인가?
• RQ2 어떤 정수 격자 다면체가 MV 사이클의 모멘트 맵으로 나타나며, 어떤 조건이 그것이 MV 다면체임을 보장하는가?
• RQ3 Lusztig의 보편 기저는 MV 다면체를 어떻게 매개변수화할 수 있으며, 그 뒤에 숨은 조합적 구조는 무엇인가?
• RQ4 토로이드 플루커 관계는 MV 다면체와 그 초평면 자료를 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 다면체가 MV 다면체일 조건은 정수 격자 다면체이면서, 정의하는 초평면들이 Weyl 다면체의 초평면들과 평행하고, 2차 면들이 랭크 2 MV 다면체여야 한다는 것이다.
• MV 다면체에 관련된 지지 함수 $ \psi_{M_\bullet} $ 가 볼록함수일 조건은 데이터 $ M_\bullet $ 가 토로이드 플루커 관계(간선 부등식)를 만족할 때이다.
• 두 MV 다면체의 민코프스키 합은 다시 MV 다면체이며, 그 지지 함수는 개별 지지 함수의 합이다.
• MV 다면체 집합과 $ G^\vee $ 의 보편 호모지 대수의 Lusztig 보편 기저 사이에 자연스러운 전단사 사상이 존재한다.
• MV 다면체의 정점 자료 $ \mu_w $ 가 코특성 격자 $ X_* $ 에 속해 있음은, 모든 $ w $ 에 대해 초평면 자료 $ M_{w \cdot \Lambda_i} $ 가 정수임과 동치이다.
• 이 구성은 모든 복소수 재구성 대칭군에 대해 통일적이며, 챔버 무게 위의 조합적 자료를 통해 MV 사이클의 완전한 기술을 제공한다.