[논문 리뷰] A polytope combinatorics for semisimple groups

Jared E. Anderson|ArXiv.org|2001. 10. 19.

Finite Group Theory Research참고 문헌 9인용 수 6

한 줄 요약

이 논문은 반단순군의 기약 표현에서의 무게 중복도와 텐서곱 중복도를 계산하는 데 사용할 수 있는 조합론적 도구로, 루프 그라스만يان 내의 미르코비치-비론슨 사이클의 모멘트 맵 상의 상을 의미하는 MV-다면체를 도입한다. 핵심 결과는 이러한 중복도가 Weyl 군 궤도의 볼록포함의 내부에 특정 기하적 포함 조건을 만족하는 MV-다면체의 수로 세어지게 된다는 것이다.

ABSTRACT

Mirkovic and Vilonen discovered a canonical basis of algebraic cycles for the intersection homology of (the closures of the strata of) the loop Grassmannian. The moment map images of these varieties are a collection of polytopes, and they may be used to compute weight multiplicities and tensor product multiplicities for representations of a semisimple group. The polytopes are explicitly described for a few low rank groups.

연구 동기 및 목표

• 반단소군의 표현에서의 무게 및 텐서곱 중복도를 계산하기 위한 다면체 기반의 조합론적 프레임워크를 제공하는 것.
• 미르코비치와 비론슨의 MV-사이클의 기하적 구성 방식을 순수히 다면체어법으로 번역하는 것.
• 다면체 포함과 민코프스키 합을 이용하여 리틀우드-리치아드슨 계수를 명시적이고 계산 가능한 방법으로 제공하는 것.
• 모멘트 맵 상의 상을 통해 MV-사이클, 교차 호몰로지, 표현 이론적 불변량 사이의 연결 고리를 확립하는 것.
• MV-다면체의 대수에 대해, 보렐 부분군의 유니포텐트 라디칼 위의 함수와 동형인 호프 대수의 구조를 추측하는 것.

제안 방법

• 최대 토러스의 실 리 대수의 쌍대를 사용하여, 루프 그라스만يان 내의 MV-사이클의 모멘트 맵 상을 MV-다면체로 정의한다.
• 음의 루트에 대응하는 생성자와 대수기하학에서 유도된 추가 관계를 이용해 MV-다면체의 집합을 민코프스키 합을 통해 구성한다.
• 음의 루트 격자에 의해 인덱싱된 기저에 의해 MV-다면체가 단사적으로 매개화됨을 이용해 중복도를 세는 것.
• 정리 1을 적용: Vλ에서 ν의 무게 중복도는 Pφ + λ ⊆ conv(W·λ) 를 만족하는 φ ∈ Bν−λ 의 수이다.
• Vλ ⊗ Vμ에서 Vν의 텐서곱 중복도는 Pφ + λ ⊆ conv(W·λ) ∩ (conv(W·(−μ)) + ν) 를 만족하는 φ ∈ Bν−μ−λ 의 수이다.
• Sl₂, Sl₃, Sp₄, Sl₄ 등의 저랭크 군에 대해, 생성자와 관계를 갖는 교환 법칙을 갖는 대수를 통해 MV-다면체를 명시적으로 기술하며, 단항식이 민코프스키 합으로서 다면체를 나타낸다.

실험 결과

연구 질문

• RQ1 루프 그라스만يان 내의 MV-사이클 기하학은 어떻게 표현 이론적 불변량을 위한 조합론적 다면체 모델로 번역될 수 있는가?
• RQ2 MV-다면체와 반단소군의 기약 표현에서의 무게 중복도 사이의 정확한 관계는 무엇인가?
• RQ3 텐서곱 중복도(리틀우드-리치아드슨 계수)는 특정한 교차 조건을 만족하는 볼록포함과의 다면체 수로 계산될 수 있는가?
• RQ4 MV-다면체가 생성하는 공간의 대수적 구조는 무엇이며, 보렐 부분군의 유니포텐트 라디칼과 어떻게 관련이 있는가?
• RQ5 MV-대수의 코프로덕트에서 계수들이 양의 정수로 나타나는 이유는 무엇이며, 기하학적 또는 호몰로지적 의미는 무엇인가?

주요 결과

• Vλ에서 ν의 무게 중복도는 Pφ + λ 가 Weyl 군 궤도 W·λ 의 볼록포함 내에 있을 때, 그러한 MV-다면체 Pφ 의 수와 같다.
• Vλ ⊗ Vμ에서 Vν의 텐서곱 중복도는 Pφ + λ 가 conv(W·λ) 와 (conv(W·(−μ)) + ν) 의 교차 내에 있을 때, 그러한 MV-다면체 Pφ 의 수와 같다.
• Sl₂에 대해, MV-다면체는 Z[a] 대수의 단항식 ak 에 대응하는 구간 [kα, 0] 으로 표현되며, α 는 음의 루트이다.
• Sl₃에 대해, MV-다면체는 네 개의 원소로 생성되며 관계 a₁a₂ = b₁ + b₂ 를 갖는다. 다면체는 a₁ 과 a₂ 를 동시에 포함하지 않는 단항식의 민코프스키 합으로 나타난다.
• Vλ ⊗ Vμ에서 Vλ+μ−δ 의 중복도는 δ 를 양의 루트의 합으로 표현하는 방법의 수로 위에서 유계이며, λ 와 μ 가 충분히 클 경우 이 경계는 정확하다.
• 추측된 MV-대수의 호프 대수에서의 코프로덕트는 공통의 무게에서만 만날 수 있는 부분다면체 쌍으로 다면체를 분해하는 것으로 해석되며, 양의 정수 계수는 교차 중복도를 반영한다.