[논문 리뷰] Alcove walks, buildings, symmetric functions and representations

James Parkinson, Arun Ram|ArXiv.org|2008. 07. 23.

Advanced Combinatorial Mathematics참고 문헌 36인용 수 7

한 줄 요약

이 논문은 리 표현의 가중치 다중도, 맥도널드 구면 함수의 계수, 애파인 빌딩에서의 추적, 루프 군의 이중 코셋 교차와의 등가성을 구성적으로, 조합론적으로 증명한다. 리틀만 경로 모델과 알코브 워크를 사용하여, 가중치 공간이 비어 있지 않은 경우, 유형 λ와 가중치 µ인 경로를 명시적으로 구성한다. 이는 명시적인 경로 구성과 빌딩 내 추적을 통해 대칭 함수, 표현 이론, 기하학적 구조를 연결한다.

ABSTRACT

For a complex simple Lie algebra, the dimension $K_{λμ}$ of the $μ$ weight space of a finite dimensional representation of highest weight $λ$ is the same as the number of Littelmann paths of type $λ$ and weight $μ$. In this paper we give an explicit construction of a path of type $λ$ and weight $μ$ whenever $K_{λμ} e 0$. This construction has additional consequences, it produces an explicit point in the building which chamber retracts to $λ$ and sector retracts to $μ$, and an explicit point of the affine Grassmannian in the corresponding Mirković-Vilonen intersection. In an appendix we discuss the connection between retractions in buildings and alcove walks.

연구 동기 및 목표

• 표현론적 가중치 다중도와 빌딩 및 헤케 대수학에서 기하학적/조합론적 조건 사이의 등가성을 직접적이고 조합론적인 방법으로 증명하는 것.
• 모든 근본 코웨이트 λ와 Πλ에 속하는 가중치 µ에 대해, 유형 λ와 가중치 µ인 양의 접힘 알코브 워크를 명시적으로 구성하는 것.
• 경로 모델을 애파인 빌딩 내 추적과 연결하여 크리스탈 기저 이론과 추상적 빌딩 이론 사이의 다리를 쌓는 것.
• 기존 증명이 Theorem R(표현론)을 검은 상자처럼 사용하는 데에 대체로 구성적인 대안을 제공하는 것.
• 이러한 경로의 집합이 가중치 다중도에 대한 하한을 제공하고, 명시적 매개변수를 가진 루프 군 설정에서 미르코비치–비론렌 사이클의 밀집 부분집합을 이룬다는 것을 보여주는 것.

제안 방법

• 주로 리틀만 경로 이론과 양의 접힘 알코브 워크를 중심으로 하는 조합론적 프레임워크를 사용한다.
• 항등원에서 mλ ∈ W₀tλW₀로 가는 최소 길이의 알코브 워크 ⃗mλ를 구성한다. 여기서 mλ는 코셋의 최소 길이 표현이다.
• 모든 u ∈ W₀^λ(최소 길이 코셋 대표)에 대해 워크 ⃗u를 구성하고, ⃗u·⃗mλ의 연결을 형성한다.
• P(⃗λ)µ를 유형 ⃗u·⃗mλ로 시작하고 tμW₀의 알코브에서 끝나는 양의 접힘 알코브 워크의 집합으로 정의한다.
• 크리스탈 기저 기법을 적용하여, µ ∈ Πλ일 때 이러한 경로가 존재하고 최적 차원 ⟨λ + µ, ρ⟩를 가짐을 보인다.
• 부록을 통해 레이블된 알코브 워크를 카메라 및 섹터 추적과 연결하여 경로 접힘과 애파인 빌딩 내 추적 간의 관계를 수립한다.

실험 결과

연구 질문

• RQ1 표현론적 가중치 다중도와 빌딩 내 기하학적 조건 사이의 등가성을, Theorem R에 의존하지 않고 구성적으로 증명할 수 있는가?
• RQ2 가중치 공간이 비어 있지 않은 경우, 유형 λ와 가중치 µ인 경로의 명시적 조합론적 구성은 무엇인가?
• RQ3 알코브 워크는 추상 애파인 빌딩 내 추적과 루프 군의 이중 코셋 교차와 어떻게 관련이 있는가?
• RQ4 경로 모델이 맥도널드 구면 함수의 계수 cλµ(q⁻¹)에 대한 하한을 제공할 수 있는가?
• RQ5 경로 모델의 맥락에서 최적 차원 ⟨λ + µ, ρ⟩의 기하학적 및 대수학적 의미는 무엇인가?

주요 결과

• 모든 µ ∈ Πλ에 대해, tμW₀에서 끝나는 유형 ⃗u·⃗mλ인 양의 접힘 알코브 워크가 존재함을 보여주어 P(⃗λ)µ ≠ ∅임을 증명한다.
• µ ∈ Πλ일 때, 최적 차원 ⟨λ + µ, ρ⟩를 가진 경로가 P(⃗λ)µ에 존재한다. 여기서 ρ = ½∑α∈R⁺ α이다.
• 집합 P(⃗λ)µ는 특정 추적을 가진 빌딩 내 점들의 집합의 원소 수에 대한 하한을 제공한다.
• 이 구성은 루프 군 설정에서 명시적 스트링 매개변수를 가진 미르코비치–비론렌 사이클의 밀집 부분집합을 제공한다.
• 맥도널드 구면 함수의 계수 cλµ(q⁻¹)는 q > 1일 때 다음을 만족한다: cλµ(q⁻¹) ≥ q⁻¹/²(ℓ(tλ)−ℓ(mλ)) × ∑_{p∈P(⃗λ)µ} q^{f(p)/2}(1−q⁻¹)^{f(p)}.
• 유형 A₂에서 λ = ω₁ + ω₂일 때, 보다 효율적인 전개를 제공하는 대안 경로 모델 P′(⃗λ)µ가 제시되며, 다음의 간결한 공식을 얻는다: Pλ(x, q⁻¹) = xλ + xs₁λ + xs₂λ + xs₁s₂λ + xs₂s₁λ + xw₀λ + (2 + q⁻¹)(1 − q⁻¹).