[논문 리뷰] Affine Mirković-Vilonen polytopes

Pierre Baumann, Joel Kamnitzer외 1명|arXiv (Cornell University)|2011. 10. 17.

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

한 줄 요약

이 논문은 유한차원 대칭 Kac-Moody 대수에서 대칭 아핀 Kac-Moody 대수로 Mirković-Vilonen (MV) 다면체 구축을 확장한다. 이를 위해 근 격자 이중공간 내의 볼록 다면체에, 허수 근 δ에 평행한 변들에 정수 분할을 부여한 장식 다면체를 도입한다. 저자들은 이러한 장식 다면체가 정규 피라미드와 2차 면 조건에 의해 특징지어짐을 증명하고, 완비 전순서 대수와 그 모듈러 범주에서의 기울임 이론을 기반으로 한 대수기하 모델을 통해 루슈티그 데이터와의 연결을 수립한다.

ABSTRACT

Each integrable lowest weight representation of a symmetrizable Kac-Moody Lie algebra g has a crystal in the sense of Kashiwara, which describes its combinatorial properties. For a given g, there is a limit crystal, usually denoted by B(-\infty), which contains all the other crystals. When g is finite dimensional, a convex polytope, called the Mirković-Vilonen polytope, can be associated to each element in B(-\infty). This polytope sits in the dual space of a Cartan subalgebra of g, and its edges are parallel to the roots of g. In this paper, we generalize this construction to the case where g is a symmetric affine Kac-Moody algebra. The datum of the polytope must however be complemented by partitions attached to the edges parallel to the imaginary root δ. We prove that these decorated polytopes are characterized by conditions on their normal fans and on their 2-faces. In addition, we discuss how our polytopes provide an analog of the notion of Lusztig datum for affine Kac-Moody algebras. Our main tool is an algebro-geometric model for B(-\infty) constructed by Lusztig and by Kashiwara and Saito, based on representations of the completed preprojective algebra Λ of the same type as g. The underlying polytopes in our construction are described with the help of Buan, Iyama, Reiten and Scott's tilting theory for the category Λ-mod. The partitions we need come from studying the category of semistable Λ-modules of dimension-vector a multiple of δ.

연구 동기 및 목표

• 유한차원 대칭 Kac-Moody 대수에서부터 대칭 아핀 Kac-Moody 대수로 Mirković-Vilonen 다면체 구축을 일반화하기 위해.
• 아핀 경우에서 $ B(-iginfty) $의 원소와 다면체를 직접 기하학적 또는 조합론적으로 연결할 수 있는 방법의 부재를 해결하기 위해.
• Lusztig 데이터의 유사체를 포함한 $ B(-iginfty) $의 조합론적 자료를 캐릭터라이즈하는 새로운 종류의 장식 다면체를 정의하기 위해.
• 이러한 장식 다면체가 정규 피라미드와 2차 면 기하학에 의해 특징지어짐을 수립하기 위해.
• 완비 전순서 대수와 그 모듈러 범주에서의 기울임 이론을 통한 $ B(-iginfty) $의 대수기하 모델과의 연결을 수립하기 위해.

제안 방법

• 근 격자의 이중공간 $ ( ext{span}_{R} ext{I})^* $ 내에서 볼록 격자 다면체로 아핀 MV 다면체를 구성하며, 이는 근에 평행한 변들을 포함한다.
• 허수 근 $ oldsymbol{ ilde{}} $에 평행한 변들에 분할을 도입하여, $ \delta $의 배수인 차원 벡터를 가진 $ \Lambda $-모듈러의 준안정 범주로부터 유래한 추가 데이터를 캐릭터라이즈한다.
• $ B(-iginfty) $의 대수기하 모델을 MV 사이클을 통한 아핀 그라스만리안에 기반하여 구성하며, Braverman, Finkelberg, Gaitsgory의 작업을 확장한다.
• Buan, Iyama, Reiten, Scott가 개발한 $ \Lambda\text{-mod} $의 기울임 이론을 적용하여 기초 다면체를 기술한다.
• 정규 피라미드(웨일 피라미드의 더러운 버전)와 2차 면 조건(티프로프 플루커 항등식을 만족)에 의해 장식 다면체를 특징지운다.
• edge 길이와 분할 데이터가 $ q \to 0 $에서 양자 군 $ U_q(\mathfrak{n}_+) $의 PBW 기저의 조합론과 일치함을 보여, 이와의 연결을 수립한다.

실험 결과

연구 질문

• RQ1 Mirković-Vilonen 다면체는 어떻게 유한차원에서 대칭 아핀 Kac-Moody 대수로 일반화될 수 있는가?
• RQ2 표준 MV 다면체가 부족한 상황에서, 아핀 경우에 $ B(-iginfty) $를 재구성하기 위해 추가로 필요한 데이터는 무엇인가?
• RQ3 이러한 장식 다면체의 정규 피라미드와 2차 면이 그들의 구조와 조합론을 어떻게 제약하는가?
• RQ4 허수 근 $ \delta $는 다면체 구축에서 어떤 역할을 하는가? 그리고 그 기여는 어떻게 분할을 통해 캐릭터라이즈되는가?
• RQ5 완비 전순서 대수 $ \Lambda $를 통한 $ B(-iginfty) $의 대수기하 모델은 새로운 장식 다면체 구축과 어떻게 관련이 있는가?

주요 결과

• 아핀 MV 다면체는 $ (\mathbb{R}I)^* $ 내의 볼록 격자 다면체이며, 실근 및 허수 근에 평행한 변들을 포함하고, $ \delta $에 평행한 변들에 정수 분할이 부여된 장식을 가진다.
• 장식 다면체는 정규 피라미드(웨일 피라미드의 더러운 버전)와 2차 면 조건(티프로프 플루커 항등식을 만족)에 의해 유일하게 특징지워진다.
• $ \delta $-에 평행한 변들에 대한 분할은 $ \delta $의 배수인 차원 벡터를 가진 준안정 $ \Lambda $-모듈러의 범주에서 유래하며, 모듈러 범주 내의 튜브의 구조와 연결된다.
• 이 구축은 아핀 Kac-Moody 대수에 대한 루슈티그 데이터의 조합론적 유사체를 제공하며, 엣지 길이와 분할 데이터는 $ q \to 0 $에서 양자 군 $ U_q(\mathfrak{n}_+) $의 PBW 기저와 동일한 정보를 캐릭터라이즈한다.
• 이 모델은 아핀 그라스만리안 내의 MV 사이클을 통한 $ B(-iginfty) $의 대수기하적 실현과 호환되며, 다면체들은 이 사이클들이 순간 맵을 통해 이미지로 나타난다.
• $ \widetilde{A} $ 유형에서 이 구축은 $ \widehat{\mathfrak{sl}_2} $에서 이전의 작업과 일치하는 다면체를 회복한다.