2025-11-16T17:16:12.740249

Alcove walk models for parabolic MirkoviÄ-Vilonen intersections and branching to Levi subgroups

Haines

This article establishes alcove walk models for intersections of Schubert varieties and partially semi-infinite orbits in the affine Grassmannian of a split reductive group (we call such intersections parabolic MirkoviÄ-Vilonen intersections). More precisely, we describe explicit cellular pavings of these intersections, indexed by certain positively-folded alcove walks. We prove a parametrization of the irreducible components of maximal possible dimension, in terms of alcove walks of maximal possible dimension. We then deduce a new combinatorial description of branching to Levi subgroups of irreducible highest weight representations, and in particular we give a new algorithm for computing the characters of such representations.

academic

포물선 Mirković-Vilonen 교집합에 대한 Alcove Walk 모델과 Levi 부분군으로의 분기

기본 정보

논문 ID: 2405.17174
제목: Alcove walk models for parabolic Mirković-Vilonen intersections and branching to Levi subgroups
저자: Thomas J. Haines
분류: math.RT (표현론), math.AG (대수기하), math.CO (조합론)
발표 시간: 2024년 5월 (arXiv 사전인쇄본, 2024년 12월 31일 개정판)
논문 링크: https://arxiv.org/abs/2405.17174

초록

본 논문은 분할 기약군의 affine Grassmannian에서 Schubert 세포와 부분 반무한 궤도의 교집합(포물선 Mirković-Vilonen 교집합이라 함)에 대한 alcove walk 모델을 확립한다. 더 정확히 말하면, 이 논문은 특정한 양의 접힌 alcove walk들로 인덱싱되는 이러한 교집합의 명시적 세포 분할을 기술한다. 최대 가능 차원의 기약 성분의 매개변수화를 증명하며, 최대 가능 차원의 alcove walk들로 표현된다. 그 다음 기약 최고 가중치 표현에서 Levi 부분군으로의 분기에 대한 새로운 조합론적 기술을 도출하며, 특히 이러한 표현의 특성을 계산하기 위한 새로운 알고리즘을 제시한다.

연구 배경 및 동기

문제 배경

Mirković-Vilonen 교집합의 중요성: 고전적인 Mirković-Vilonen 교집합은 기하학적 Satake 동치에서 핵심적인 역할을 하며, 대수군 표현론과 affine Grassmannian 기하학을 연결하는 중요한 다리이다.
포물선 일반화의 필요성: 고전적인 경우(P = B, Borel 부분군)는 잘 이해되어 있지만, 일반 포물선 부분군 P의 경우에는 명시적인 조합론적 기술이 부족하다.
계산 과제: 기존 방법은 분기 중복도와 표현 특성을 계산할 때 효과적인 조합론적 알고리즘이 부족하며, 특히 Levi 부분군으로의 분기의 경우 그러하다.

연구 동기

기하학과 조합론의 통일: 순수 조합론적 대상인 alcove walk를 사용하여 복잡한 기하학적 교집합을 기술하고자 한다.
알고리즘 요구: 표현론에서 분기 중복도 계산을 위한 새로운 알고리즘 도구를 제공한다.
이론 완성: Gaussent-Littelmann의 gallery 방법을 더 일반적인 포물선 경우로 확장한다.

핵심 기여

명시적 세포 분할: 포물선 Mirković-Vilonen 교집합의 명시적 세포 분할을 양의 접힌 alcove walk들로 인덱싱하여 제시한다.
차원 특성화: 최대 차원 기약 성분과 최대 차원 alcove walk 사이의 전단사를 증명한다.
분기 공식: 분기 중복도 $[V^{\hat{G}}_\mu : V^{\hat{M}}_\lambda]$ 와 특정 alcove walk 개수 사이의 관계를 확립한다.
새로운 알고리즘: 최고 가중치 표현의 특성과 분기 중복도를 계산하기 위한 새로운 조합론적 알고리즘을 제공한다.
텐서곱 확장: 결과를 텐서곱 중복도 계산으로 확장한다.

방법 상세 설명

작업 정의

포물선 Mirković-Vilonen 교집합 연구: $K_P t^\lambda K/K \cap K t^\mu K/K$ 여기서:

$K = L^+G$ 는 loop 군의 양의 부분
$K_P = L^+M LN$ 은 포물선 부분군에 해당하는 부분군
$\mu \in X_*(T)^+$ , $\lambda \in X_*(T)^{+M}$ 는 우월 가중치

핵심 기술: Alcove Walk

Alcove Walk 정의

정의 4.2: 기본 alcove $b$ 와 단어 $s_\bullet = s_1s_2\cdots s_r\tau \in W$ 가 주어졌을 때, alcove 수열 $a_0, a_1, \ldots, a_r$ 은 $b$ -양의 접힌 alcove walk이다. 만약 다음을 만족하면:

$a_i \in \{a_{i-1}, w_{i-1}s_i w_{i-1}^{-1} a_{i-1}\}$
$a_{i-1} = a_i$ 이면, crossing $a_{i-1} \xrightarrow{s_i} w_{i-1}s_i w_{i-1}^{-1} a_{i-1}$ 은 $b$ -음의 방향

표시 시스템

각 단계 $a_{i-1} \xrightarrow{s_i} a_i$ 는 다음으로 표시된다:

$c^+_{s_i}$ : $b$ -양의 방향 crossing
$c^-_{s_i}$ : $b$ -음의 방향 crossing
$f^+_{s_i}$ : 양의 접힘

차원 정의

정의 4.7: alcove walk $a_\bullet$ 의 차원은 다음과 같이 정의된다: $\dim(a_\bullet) = c^+(a_\bullet) + f^+(a_\bullet)$

주요 정리

정리 A (정리 5.8)

포물선 Mirković-Vilonen 교집합은 세포 분할을 가진다: $K_P t^\lambda K/K \cap K t^\mu K/K \cong \bigsqcup_{a_\bullet \in P^{a_{IP}}_\mu(\lambda)} \mathbb{A}^{c^+(a_\bullet)}_k \times (\mathbb{A}^1_k - \mathbb{A}^0_k)^{f^+(a_\bullet)}$

여기서 alcove walk 집합은: $P^{a_{IP}}_\mu(\lambda) = \bigsqcup_{w \in W_0/W_{0,-\mu}} P^{a_{IP}}_{(t_{-w(\mu)})_0}(-\lambda_w)$

정리 B (정리 5.13)

전단사가 존재한다: $M^{a_{IP}}_\mu(\lambda) \xrightarrow{\sim} \text{Irred}_{\langle\rho,\mu+\lambda\rangle}(K_P t^\lambda K/K \cap K t^\mu K/K)$
분기 중복도는 최대 차원 alcove walk의 개수와 같다: $[V^{\hat{G}}_\mu : V^{\hat{M}}_\lambda] = \#M^{a_{IP}}_\mu(\lambda)$

기술 혁신점

축약 사상 기법: Bruhat-Tits 건물의 축약 사상 $\rho_{I_P, \mathcal{A}}$ 를 이용하여 기하학적 문제를 조합론적 문제로 변환한다.
우측 $W_0$ -극소 원소: $(t_{-w(\mu)})_0$ 을 coset $t_{-w(\mu)}W_0$ 의 우측 $W_0$ -극소 원소로 도입하여 alcove walk 유형 분석을 단순화한다.
차원 상한: 차원 상한 $\langle\rho, \mu+\lambda\rangle$ 을 증명하고 최대 차원에 도달하는 조건을 특성화한다.

실험 설정

Type $A_2$ 예시

$G = GL_3$ , $P = B$ (Borel 부분군), $\mu = (3,1,0)$ , 가중치 궤도를 고려한다:

$\lambda_1 = (1,1,2)$
$\lambda_2 = (2,1,1)$
$\lambda_3 = (1,2,1)$

계산 결과

각 $\lambda_i$ 에 대해 모든 최대 차원의 $a_U$ -양의 접힌 alcove walk를 찾는다:

$-\lambda_1$ 의 경우:

Type $s_{012}\tau$ : 차원은 $(A^1_k)^0 \times (A^1_k - A^0_k)^2$
Type $s_{1012}\tau$ : 차원은 $(A^1_k)^1 \times (A^1_k - A^0_k)^1$

유사하게 $\lambda_2, \lambda_3$ 의 경우를 계산하면, 각각 2개의 최대 차원 alcove walk를 가지며, 이는 알려진 중복도 $\dim V^{GL_3}_\mu(\lambda_i) = 2$ 와 일치한다.

실험 결과

주요 결과

차원 공식 검증: 계산된 모든 alcove walk 차원은 상한 $\langle\rho, \mu+\lambda\rangle$ 을 만족한다.
중복도 계산: Type $A_2$ 예시에서 각 가중치 $\lambda_i$ 에 해당하는 alcove walk의 개수는 정확히 가중치 중복도 2와 같다.
PRV 유사성: Levi 부분군으로의 분기에 대한 PRV 유사성을 증명한다(명제 5.18): $\lambda \in W\mu \cap X_*(T)^{+M}$ 이면, $[V^{\hat{G}}_\mu : V^{\hat{M}}_\lambda] = 1$ 이다.