[논문 리뷰] Pieri rules for classical groups and equinumeration between generalized oscillating tableaux and semistandard tableaux

Soichi Okada|arXiv (Cornell University)|2016. 06. 08.

Algebraic structures and combinatorial models참고 문헌 7인용 수 3

한 줄 요약

이 논문은 고전적 군의 표현 이론을 통해 일반화된 진동 표와 준표준 표 사이의 등수관계를 확립한다. 특히 심플렉틱군과 올림픽군에 대한 새로운 피에리 규칙을 통해, 주어진 형상과 길이 제약 조건을 만족하는 진동 표의 수가 대응하는 무게와 형상 조건을 만족하는 준표준 표의 수와 같음을 증명한다. 이는 버릴의 추측의 정밀화된 형태에 대한 표현론적 기초를 제공한다.

ABSTRACT

We present several equinumerous results between generalized oscillating tableaux and semistandard tableaux and give a representation-theoretical proof to them. As one of the key ingredients of the proof, we provide Pieri rules for the symplectic and orthogonal groups.

연구 동기 및 목표

• 진동 표와 표준 표에 대한 버릴의 추측의 정밀화된 형태를 일반화하고, 표현론적 증명을 제공하는 것.
• 길이, 형상, 열/행 내용에 대한 제약 조건 하에서 일반화된 진동 표와 준표준 표 사이의 등수관계를 수립하는 것.
• 등수관계 증명을 위한 기본 도구로써 심플렉틱군과 올림픽군에 대한 새로운 피에리 규칙을 유도하는 것.
• 대칭과 외적 힘의 정의 표현의 텐서 곱에서의 표현론적 다중도와 조합론적 표 수를 통합하는 것.
• 특성 제약식과 LR 계수를 사용하여 이전의 이항 결과를 가중치와 부호가 있는 표 설정으로 확장하는 것.

제안 방법

• 정의 표현 $V = \mathbb{C}^{2n}$ 와 대칭 및 외적 힘의 텐서 곱 분해를 기술하는 데 사용되는 심플렉틱군 $\mathbf{Sp}_{2n}$ 과 올림픽군 $\mathbf{O}_N$ 에 대한 피에리 규칙을 유도한다.
• 피에리 규칙을 반복 적용하여 $S^\alpha(V)$ 와 $\bigwedge^\alpha(V)$ 에서 불가약한 $\mathbf{Sp}_{2n}$-모듈 $V_{\langle(m)\rangle}$ 의 다중도를 계산한다.
• 고전적 피에리 규칙을 $\mathbf{GL}_{2n}$ 에 적용하여 $S^\alpha(V)$ 와 $\bigwedge^\alpha(V)$ 를 분할 $\lambda$ 를 인덱스로 하는 불가약한 $\mathbf{GL}_{2n}$-모듈로 분해한다. 이때 $l(\lambda) \leq 2n$ 이다.
• 다중도 $V_{\langle(m)\rangle}$ 가 $S^\alpha(V)$ 에서의 열-엄격 표의 수와 관련이 있으며, 이는 무게 $\alpha$ 와 형상 $\lambda$ 를 가지며 $c(\lambda) = m$ 인 조건을 만족한다.
• 표현 $\mathbf{GL}_{2n}$ 에서 $\mathbf{Sp}_{2n}$ 과 $\mathbf{O}_N$ 으로의 제한 다중도 공식을 적용하고, 유효한 형상을 식별하기 위해 특성 사영 $\pi$ 를 사용한다.
• 리틀우드-리치아드슨 규칙과 조건 $c(\lambda) = m$ 을 적용하여, 오직 $m$ 개의 홀수 길이의 열을 가진 분할만 다중도에 기여함을 보인다.

실험 결과

연구 질문

• RQ1 표현 이론을 통해 일반화된 진동 표와 준표준 표 사이의 등수관계를 어떻게 증명할 수 있는가?
• RQ2 대칭 및 외적 힘의 텐서 곱 분해를 지배하는 심플렉틱군과 올림픽군에 대한 피에리 규칙은 무엇인가?
• RQ3 표현 $\mathbf{GL}_{2n}$ 에서 $\mathbf{Sp}_{2n}$ 과 $\mathbf{O}_N$ 으로의 제한 다중도는 특정 형상과 무게 조건을 만족하는 표의 수와 어떻게 관련이 있는가?
• RQ4 $l(\lambda) \leq 2n$ 과 $c(\lambda) = m$ 조건이 텐서 곱 분해에서의 불가약 성분을 특성화할 수 있는가?
• RQ5 리틀우드-리치아드슨 계수는 진동 표 수열과 준표준 표 수를 연결하는 데 어떤 역할을 하는가?

주요 결과

• 길이 $k$, 형상 $(m)$ 이며 모든 $i$ 에 대해 $l(\lambda^{(i)}) \leq n$ 인 진동 표의 수는 크기 $k$, 형상 $\lambda$ 를 가지며 $l(\lambda) \leq 2n$ 과 $c(\lambda) = m$ 조건을 만족하는 표준 표의 수와 같다.
• 길이 및 무게 제약 조건을 만족하는 세포의 교차 포함 및 제거를 반복하는 분할 수열의 수는 무게 $\alpha$ 와 형상 $\lambda$ 를 가지며 $l(\lambda) \leq 2n$ 과 $c(\lambda) = m$ 조건을 만족하는 열-엄격 표의 수와 같다.
• 길이 및 무게 제약 조건을 만족하는 수직 스트립의 추가 및 제거를 반복하는 분할 수열의 수는 무게 $\alpha$ 와 형상 $\lambda$ 를 가지며 $l(\lambda) \leq 2n$ 과 $c(\lambda) = m$ 조건을 만족하는 행-엄격 표의 수와 같다.
• 올림픽군의 경우, 형상 $(1^m)$ 이며 $l(\lambda^{(i)}) \leq n$ 인 진동 표의 수는 크기 $k$ 를 가지며 $l(\lambda) \leq N$ 과 $r(\lambda) = m$ 조건을 만족하는 표준 표의 수와 같다.
• 모든 진동 표 $O$ 에 대해 $2^{d(O)}$ 의 합을 구할 때, $d(O)$ 는 길이가 $n$ 에서 $n$ 이하로 떨어지는 단계의 수를 세는 것으로, $l(\lambda) \leq 2n$ 과 $r(\lambda) = m$ 또는 $2n - m$ 인 표준 표의 수와 같다.
• 제한 다중도 공식 $[\operatorname{Res}^{\mathbf{GL}_{2n}}_{\mathbf{Sp}_{2n}}V_{\lambda}:V_{\langle(m)\rangle}] = \sum_{\kappa \in \mathcal{E}'} \operatorname{LR}^{\lambda}_{\kappa,(m)}$ 는 리틀우드-리치아드슨 규칙과 형상 제약 조건을 통해 등수관계를 확인한다.