[논문 리뷰] New versions of Schur-Weyl duality

Stephen Doty|ArXiv.org|2007. 04. 14.

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

한 줄 요약

이 논문은 고전적 설정을 초월하여 $ \mathsf{GL}_n$ 의 수반 표현을 포함하는 새로운 이중성을 도입함으로써 슈어-베일 이중성을 확장한다. 이중에서 $ \mathfrak{sl}_n^{\otimes r}$ 의 중심자 대칭은 벽이 있는 브라우어 대칭의 부분대칭인 '혼란 대칭'(deranged algebra)과 동형임을 보이며, 이 대칭의 차원은 $2r$ 개의 원소의 혼란 수와 같다. 이는 혼란 수와 관련된 조합론적 구조를 가진 새로운 슈어-베일 이중성의 실현을 제공한다.

ABSTRACT

After reviewing classical Schur-Weyl duality, we present some other contexts which enjoy similar features, relating to Brauer algebras and classical groups.

연구 동기 및 목표

• 표준 표현 $V = \mathbb{C}^n$ 가 수반 표현 $\mathfrak{sl}_n$ 로 대체될 경우 고전적 슈어-베일 이중성을 일반화하는 것.
• 표준 표현 $V$ 가 수반 표현 $\mathfrak{sl}_n$ 로 대체될 때, $\operatorname{End}_{\mathsf{GL}_n}(\mathfrak{sl}_n^{\otimes r})$ 의 중심자 대칭을 규명하는 것.
• 대칭군이 혼란과 관련된 벽이 있는 브라우어 대칭의 부분대칭으로 대체되는 새로운 슈어-베일 이중성을 수립하는 것.
• 표현 이론이 $\mathfrak{sl}_n^{\otimes r}$ 에서 혼란 수를 통해 조합론과 연결되며, 특히 자명 모듈러 및 수반 모듈러의 중복도를 통해 연결되는지 밝히는 것.

제안 방법

• $\mathfrak{gl}_n = \mathfrak{sl}_n \oplus \mathbb{C}$ 의 분해를 이용하여 $\mathfrak{gl}_n^{\otimes r}$ 를 $\mathfrak{sl}_n^{\otimes r}$ 를 포함하는 직합으로 표현하고, $\mathfrak{sl}_n^{\otimes r}$ 를 $V^{r,r} = V^{\otimes r} \otimes V^{*\otimes r}$ 의 직합성분으로 통합하는 것.
• 벽이 있는 브라우어 대칭 내의 등급원 $e = \prod_i (1 - n^{-1} c_{i,-i})$ 에 대응하는 사영 연산자 $e$ 를 이용해 $\mathfrak{sl}_n^{\otimes r}$ 를 식별하는 것.
• 중심자 대칭 $\mathcal{C} = \operatorname{End}_{\mathsf{GL}_n}(\mathfrak{sl}_n^{\otimes r})$ 를 벽이 있는 브라우어 대칭 $\mathcal{B}_{r,r}^{(n)}$ 의 부분대칭인 $e \mathcal{B}_{r,r}^{(n)} e$ 로 실현하는 것.
• 기저가 $i$ 와 $-i$ 를 연결하는 수평 엣지가 없는 다이어그램과 일대일 대응되며, 이러한 다이어그램은 $2r$ 개의 원소의 혼란과 일치함을 보이는 것.
• 포함-배제 원리를 사용하여 $e \mathcal{B}_{r,r}^{(n)} e$ 의 차원을 $N(2r) = \sum_{j=0}^{2r} (-1)^{2r-j} \binom{2r}{j} j!$ 로 계산하며, 이는 $2r$ 개의 물체의 혼란 수이다.
• 고전적 이중성의 일반화 형태로, $n \geq 2r$ 일 때 $\rho(\mathbb{C}\mathsf{GL}_n) = \operatorname{End}_{e\mathcal{B}_{r,r}^{(n)}e}(\mathfrak{sl}_n^{\otimes r})$ 와 $\sigma(e\mathcal{B}_{r,r}^{(n)}e) = \operatorname{End}_{\mathsf{GL}_n}(\mathfrak{sl}_n^{\otimes r})$ 가 성립함을 보이는 것.

실험 결과

연구 질문

• RQ1 $\mathsf{GL}_n$ 의 작용 하에서 $\mathfrak{sl}_n^{\otimes r}$ 의 중심자 대칭은 무엇인가요?
• RQ2 $\mathfrak{sl}_n^{\otimes r}$ 의 표현 이론은 혼란의 조합론과 어떻게 관련이 있나요?
• RQ3 표준 표현 $V$ 가 아니라 수반 표현 $\mathfrak{sl}_n$ 으로 대체될 경우 슈어-베일 이중성은 확장될 수 있나요?
• RQ4 수반 표현 $\mathfrak{sl}_n^{\otimes r}$ 에 사영하는 데 대응하는 $e \mathcal{B}_{r,r}^{(n)} e$ 가 벽이 있는 브라우어 대칭 내에서 어떤 구조를 가지나요?
• RQ5 $\mathfrak{sl}_n^{\otimes r}$ 에서 기약 $\mathsf{GL}_n$-모듈러의 중복도는 무엇이며, 이는 혼란 수와 어떻게 관련이 있나요?

주요 결과

• 중심자 대칭 $\operatorname{End}_{\mathsf{GL}_n}(\mathfrak{sl}_n^{\otimes r})$ 는 벽이 있는 브라우어 대칭 $\mathcal{B}_{r,r}^{(n)}$ 의 부분대칭인 $e \mathcal{B}_{r,r}^{(n)} e$ 와 동형이다.
• 중심자 대칭의 차원은 $N(2r)$ 로, $2r$ 개의 물체의 혼란 수이며, 포함-배제 원리를 통해 계산된 식: $N(2r) = \sum_{j=0}^{2r} (-1)^{2r-j} \binom{2r}{j} j!$.
• $e \mathcal{B}_{r,r}^{(n)} e$ 는 기저가 $2r$ 개의 원소의 혼란과 일대일 대응되므로 '혼란 대칭'으로 알려져 있다.
• $\mathfrak{sl}_n^{\otimes r}$ 에서 자명 모듈러의 중복도는 $N(r)$ 으로, $r$ 개의 물체의 혼란 수이다.
• $\mathfrak{sl}_n^{\otimes r}$ 에서 수반 표현 $\mathfrak{sl}_n$ 의 중복도는 $N(r-1)$ 으로, $r-1$ 개의 물체의 혼란 수이다.
• $n \geq 2r$ 일 때, 슈어-베일 이중성이 성립한다: $\rho(\mathbb{C}\mathsf{GL}_n) = \operatorname{End}_{e\mathcal{B}_{r,r}^{(n)}e}(\mathfrak{sl}_n^{\otimes r})$ 와 $\sigma(e\mathcal{B}_{r,r}^{(n)}e) = \operatorname{End}_{\mathsf{GL}_n}(\mathfrak{sl}_n^{\otimes r})$ 이며, 이는 고전적 이중성을 수반 표현으로 일반화한다.