[논문 리뷰] Derangements and tensor powers of adjoint modules for sl_n

Georgia Benkart, Stephen Doty|ArXiv.org|2001. 08. 15.

Algebraic structures and combinatorial models참고 문헌 5인용 수 8

한 줄 요약

이 논문은 $ℓ\mathfrak{sl}_n^{\otimes k}$ 를 $ℓ\mathfrak{sl}_n$-모듈로 명시적으로 분해하여, 기약 합성합성의 중복도가 유 derangement 수로 주어짐을 보여준다. $n \geq 2k$ 인 경우, 중심화자 대수 $ℓ\operatorname{End}_{ℓ\mathfrak{sl}_n}(\u2113\mathfrak{sl}_n^{\otimes k})$ 는 walled Brauer 대수 $B_{k,k}(n)$ 의 부분대수와 동형이며, $2k$ 개 원소의 derangement 로 인덱싱된 기저를 가지며, 그 차원은 $D_{2k}$ 이다.

ABSTRACT

We obtain the decomposition of the tensor space $\mathfrak{sl}_n^{\otimes k}$ as a module for $\mathfrak{sl}_n$, find an explicit formula for the multiplicities of its irreducible summands, and (when $n \ge 2k$) describe the centralizer algebra $C=End_{\mathfrak{sl}_n}(\mathfrak{sl}_n^{\otimes k})$ and its representations. The multiplicities of the irreducible summands are derangement numbers in several important instances, and the dimension of $C$ is given by the number of derangements of a set of $2k$ elements.

연구 동기 및 목표

• $ℓ\mathfrak{sl}_n^{\otimes k}$ 의 텐서 거듭제곱을 기약 $ℓ\mathfrak{sl}_n$-모듈로 완전히 분해하는 것.
• $\mathfrak{sl}_n^{\otimes k}$ 에서 각 기약 합성합성의 중복도를 조합론적 방법을 사용하여 계산하는 것.
• $n \geq 2k$ 인 경우 중심화자 대수 $\mathcal{C} = \operatorname{End}_{\mathfrak{sl}_n}(\mathfrak{sl}_n^{\otimes k})$ 의 구조를 묘사하는 것.
• 중심화자 대수 $\mathcal{C}$ 를 walled Brauer 대수 $B_{k,k}(n)$ 의 부분대수로 식별하고, derangement 로 인덱싱된 기저를 제공하는 것.
• $\mathcal{C} \times \mathfrak{sl}_n$ 에서의 이중 중심화자 정리에 기반한 $\mathfrak{sl}_n^{\otimes k}$ 의 이중모듈러스 구조를 확립하는 것.

제안 방법

• $ℓ\mathfrak{gl}_n$ 의 최고 무게 이론을 사용하여 기약 합성합성에 대해 쌍의 분할 $(\lambda, \mu)$ 로 표기하는 것.
• [BCHLLS] 의 조합론적 결과를 적용하여 텐서 곱과 분해의 구조를 분석하는 것.
• $V \otimes V^*$ 를 $\mathfrak{sl}_n$ 으로 투영하기 위한 등식 $p = \frac{1}{n}c$ 를 구성하는 것. 여기서 $c$ 는 추적을 통한 수축 사상이다.
• $\mathcal{C}$ 를 walled Brauer 대수 $B_{k,k}(n)$ 의 부분대수 $bB_{k,k}(n)b$ 와 동형으로 식별하는 것. 여기서 $b$ 는 $\mathfrak{sl}_n^{\otimes k}$ 로의 투영에 대응하는 등식이다.
• Schur 함자 $e(-)$ 를 사용하는 것. 여기서 $e$ 는 자명 표현에 대응하는 등식이며, 기약 $B_{k,k}(n)$-모듈과 기약 $\mathcal{C}$-모듈 간의 관계를 설정하는 데 사용된다.
• $\mathcal{C}$ 의 기저를 $B_{k,k}(n)$ 의 다이어그램을 통해 구성하는 것. 이는 금지된 쌍이 없는 다이어그램이며, $\{1, \dots, 2k\}$ 의 derangement 와 일대일 대응된다.

실험 결과

연구 질문

• RQ1 $\mathfrak{sl}_n^{\otimes k}$ 가 기약 $\mathfrak{sl}_n$-모듈로 어떻게 명시적으로 분해되는가?
• RQ2 $\mathfrak{sl}_n^{\otimes k}$ 의 기약 합성합성의 중복도는 무엇이며, derangement 수와 어떻게 관련되어 있는가?
• RQ3 $n \geq 2k$ 인 경우 중심화자 대수 $\mathcal{C} = \operatorname{End}_{\mathfrak{sl}_n}(\mathfrak{sl}_n^{\otimes k})$ 의 구조는 어떠한가?
• RQ4 중심화자 대수 $\mathcal{C}$ 는 walled Brauer 대수 $B_{k,k}(n)$ 와 어떻게 관련되어 있는가?
• RQ5 $\mathcal{C} \times \mathfrak{sl}_n$ 에서의 이중 중심화자 분해는 $\mathfrak{sl}_n^{\otimes k}$ 가 이중모듈러스로 어떻게 분해되는가?

주요 결과

• $\mathfrak{sl}_n^{\otimes k}$ 에서 고정 모듈 $\mathfrak{sl}_n$ 의 중복도는 $D_{k+1}$ 이며, 이는 $k+1$ 개 원소의 derangement 수이다.
• $n \geq 2k$ 인 경우, $\mathfrak{sl}_n^{\otimes k}$ 의 $\mathfrak{sl}_n$-불변 공간의 차원은 $D_k$ 이며, 이는 $k$ 개 원소의 derangement 수이다.
• $n \geq 2k$ 인 경우 중심화자 대수 $\mathcal{C} = \operatorname{End}_{\mathfrak{sl}_n}(\mathfrak{sl}_n^{\otimes k})$ 의 차원은 $D_{2k}$ 이며, 이는 $2k$ 개 원소의 derangement 수이다.
• $\mathcal{C}$ 는 walled Brauer 대수 $B_{k,k}(n)$ 의 부분대수 $bB_{k,k}(n)b$ 와 동형이며, $\{1, \dots, 2k\}$ 의 derangement 로 인덱싱된 기저를 가진다.
• 기약 $\mathcal{C}$-모듈은 $eM_{\lambda,\mu}$ 로 주어지며, 여기서 $M_{\lambda,\mu}$ 는 기약 $B_{k,k}(n)$-모듈이다. $eM_{\lambda,\mu} \neq 0$ 이 되는 것은 순서된 부분집합 $\underline{s}, \underline{t}$ 의 모든 쌍에서 $s_i \neq t_i$ 를 만족할 때이다.
• $\mathcal{C} \times \mathfrak{sl}_n$ 에서의 이중모듈러스로, $\mathfrak{sl}_n^{\otimes k} \cong \bigoplus_{r=0}^k \bigoplus_{\lambda,\mu \vdash r} eM_{\lambda,\mu} \otimes L(\lambda, \mu)$ 이다. 여기서 $L(\lambda, \mu)$ 는 최고 무게 $(\lambda, \mu)$ 를 가진 기약 $\mathfrak{sl}_n$-모듈이다.