[논문 리뷰] Pattern avoidance seen in multiplicities of maximal weights of affine Lie algebra representations

Shunsuke Tsuchioka, Masaki Watanabe|arXiv (Cornell University)|2015. 09. 03.

Algebraic structures and combinatorial models참고 문헌 10인용 수 4

한 줄 요약

이 논문은 아핀 리 대수 $A^{(1)}_{n}$, $A^{(2)}_{2n}$, $D^{(2)}_{n+1}$의 통합 최고중량 표현에서 최대중량의 중복도가 패턴을 피하는 단어들에 의해 세어지며, 미즈라와 리베카의 추측을 증명하고 일반화함을 밝힌다. 카시와라의 크리스탈 이론과 RSK 대응을 이용하여, 조합적 패턴 회피와 $q$-이항항등식을 통해 이러한 중복도에 대한 명시적 공식을 도출한다.

ABSTRACT

We prove that the multiplicities of certain maximal weights of $\mathfrak{g}(A^{(1)}_{n})$-modules are counted by pattern avoidance on words. This proves and generalizes a conjecture of Misra-Rebecca. We also prove similar phenomena in types $A^{(2)}_{2n}$ and $D^{(2)}_{n+1}$. Both proofs are applications of Kashiwara's crystal theory.

연구 동기 및 목표

• 통합 최고중량 표현에서 수준-2의 $\widehat{\mathfrak{sl}}_p$에 대한 최대중량의 수에 관한 미즈라와 리베카의 추측을 증명하고 일반화한다.
• 유형 $A^{(1)}_{n}$을 초월하여 유형 $A^{(2)}_{2n}$과 $D^{(2)}_{n+1}$으로까지 중복도와 조합적 패턴 회피 간의 연결을 확장한다.
• 카시와라의 크리스탈 이론과 RSK 대응을 이용하여 중복도의 조합적 해석을 제공한다.
• $q$-이항계수와 $q$-라마누잔 정리를 사용하여 $\mathfrak{g}(A^{(1)}_{p-1})$의 수준-$k$ 표현에서 최대중량의 수에 대한 닫힌 형식의 공식을 유도한다.

제안 방법

• 저자들은 아핀 리 대수 위의 통합 최고중량 모듈의 구조를 분석하기 위해 카시와라의 크리스탈 이론을 사용한다.
• 선형 부등식을 만족하는 정수열 집합 $S^{(p,s)}_k$를 정의하여 최대중량의 집합과 이분기한다.
• 우선순위 파rameter $q_0$를 통해 $S^{(p,s)}_k$와 최대중량 사이의 이분기 구조를 구성한다. 이는 최대중량 조건을 보장한다.
• 크리스탈 이론과 $q$-이항항등식을 이용하여 이러한 집합의 크기를 평가한다.
• $\sum_{\lambda \in \mathsf{Par}, \ell(\lambda)\leq j, \lambda_1\leq k} q^{|\lambda|} = {k+j \brack j}$라는 $q$-이항항등식을 사용하여 평면 분할을 세고 중복도와 연결한다.
• 최종 공식은 원근의 근을 합하고 오일러의 올리브 함수 $\phi(d)$를 이용한 모비우스 역전개를 통해 유도된다.

실험 결과

연구 질문

• RQ1 아핀 리 대수 $\mathfrak{g}(A^{(1)}_{p-1})$의 수준-$k$ 통합 최고중량 모듈 $V(k\Lambda_0)$에서 최대중량의 수는 얼마인가?
• RQ2 $\mathfrak{g}(A^{(1)}_{p-1})$-모듈에서 최대중량의 중복도는 패턴을 피하는 단어와 어떻게 관련이 있는가?
• RQ3 유형 $A^{(2)}_{2n}$과 $D^{(2)}_{n+1}$에서 중복도의 조합적 구조는 패턴 회피를 통해 동일하게 특징지을 수 있는가?
• RQ4 $q$-라마누잔 정리는 아핀 리 대수 표현에서 중복도 집합의 크기를 평가하는 데 어떤 역할을 하는가?
• RQ5 모듈 $V(\Lambda)$의 크리스탈 구조는 패턴을 피하는 수열의 조합학을 어떻게 코딩하는가?

주요 결과

• $\mathfrak{g}(A^{(1)}_{p-1})$의 $V(k\Lambda_0)$에서 최대중량의 수는 $\frac{1}{p+k}\sum_{d \mid \gcd(k,p)} \phi(d) \binom{(p+k)/d}{k/d}$로 주어지며, 이는 미즈라와 리베카의 추측을 증명한다.
• $\Lambda = \Lambda_0 + \Lambda_s$인 $V(\Lambda)$에서 $\Lambda - \lambda^p_{\ell,s}$의 중복도는 $\mathsf{D}_{\ell,s}$이며, 이는 $(0,0)$에서 $(\ell+s,\ell)$까지의 격자경로 중 $y=x$ 아래에 머무르는 경로의 수로, 다이크 경로를 세는 것으로 알려져 있다.
• $\Lambda - \mu^p_{\ell,s}$의 중복도는 $\mathsf{D}_{\ell,p-s}$이며, 이는 다이킨 다이어그램의 자동형사상 $i \mapsto -i$에 따른 대칭성을 보여준다.
• $S^{(p,0)}_k$는 최대중량을 매개변수화하는 집합으로, 정수열 $T$와 $U$ 사이의 이분기와 일치한다. 여기서 $U$는 $\lambda_1 \geq \cdots \geq \lambda_{p-1} \geq 0$를 만족하고 $\sum \lambda_i \in p\mathbb{Z}$이며 $\lambda_1 \leq k$인 정수열의 집합이다.
• $U$의 크기는 $\frac{1}{p}\sum_{\zeta^p=1} {k+p-1 \brack p-1}\big|_{q=\zeta}$로 계산되며, $q$-라마누잔 정리를 통해 이는 $\gcd(k,p)$의 약수 $d$에 대한 합으로 간소화된다.
• 최종적으로 최대중량의 수에 대한 공식은 $\frac{1}{p+k}\sum_{d \mid k, d \mid p} \phi(d) \binom{(p+k)/d}{k/d}$로 유도되며, 이는 미즈라와 리베카의 추측식과 정확히 일치한다.