[논문 리뷰] Tensor power multiplicities for symmetric and alternating groups and dimensions of irreducible modules for partition algebras

Georgia Benkart, Tom Halverson|arXiv (Cornell University)|2016. 05. 20.

Advanced Combinatorial Mathematics참고 문헌 15인용 수 5

한 줄 요약

이 논문은 카르탕 대수 $Η_k(n) = \operatorname{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$의 기약 모듈러의 차원 공식을 제2종 스틸링 수를 사용하여 유도하며, 이 차원들이 순열 모듈러 $\mathsf{M}_n$의 $k$중 텐서곱에서 기약 대칭군 모듈러의 다중도와 일치함을 보여준다. 이 결과는 모든 $n \geq 1$ 및 $k \geq 0$ 에 대해 성립하며, 유한군 중심화 대수의 일반화된 프로베니우스 호환성 원리를 통해 대칭군과 반대칭군, 준분할 대수의 중심화 대수로 일반화된다.

ABSTRACT

The partition algebra $\mathsf{P}_k(n)$ and the symmetric group $\mathsf{S}_n$ are in Schur-Weyl duality on the $k$-fold tensor power $\mathsf{M}_n^{\otimes k}$ of the permutation module $\mathsf{M}_n$ of $\mathsf{S}_n$, so there is a surjection $\mathsf{P}_k(n) o \mathsf{Z}_k(n) := \mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k}),$ which is an isomorphism when $n \ge 2k$. We prove a dimension formula for the irreducible modules of the centralizer algebra $\mathsf{Z}_k(n)$ in terms of Stirling numbers of the second kind. Via Schur-Weyl duality, these dimensions equal the multiplicities of the irreducible $\mathsf{S}_n$-modules in $\mathsf{M}_n^{\otimes k}$. Our dimension expressions hold for any $n \ge 1$ and $k\ge0$. Our methods are based on an analog of Frobenius reciprocity that we show holds for the centralizer algebras of arbitrary finite groups and their subgroups acting on a finite-dimensional module. This enables us to generalize the above result to various analogs of the partition algebra including the centralizer algebra for the alternating group acting on $\mathsf{M}_n^{\otimes k}$ and the quasi-partition algebra corresponding to tensor powers of the reflection representation of $\mathsf{S}_n$.

연구 동기 및 목표

• 대칭군 $\mathsf{S}_n$의 순열 모듈러 $\mathsf{M}_n$의 $k$중 텐서곱에 작용하는 중심화 대수 $\mathsf{Z}_k(n)$의 기약 모듈러에 대한 차원 공식을 유도하는 것.
• 이 차원들이 슈어-웨일 이중성에 의해 $\mathsf{M}_n^{\otimes k}$ 안에서 기약 $\mathsf{S}_n$-모듈러의 다중도와 일치함을 확립하는 것.
• 유한군 중심화 대수의 일반화된 프로베니우스 호환성 원리를 통해 결과를 대칭군을 초월해 반대칭군과 준분할 대수로 확장하는 것.
• 기본적인 $n \geq 2k$ 조건에 제한되지 않고 모든 $n \geq 1$ 및 $k \geq 0$ 에 대해 유효한 통합 프레임워크를 제공하는 것.

제안 방법

• 분할 대수 $\mathsf{P}_k(n)$와 대칭군 $\mathsf{S}_n$ 사이의 슈어-웨일 이중성을 활용하여 $\mathsf{P}_k(n) \twoheadrightarrow \mathsf{Z}_k(n)$ 의 전사 사상 수립.
• 유한군과 그 부분군이 유한차원 모듈러에 작용할 때 중심화 대수에 대한 일반화된 프로베니우스 호환성을 적용하여 다양한 군 작용에 따른 모듈러 분해를 가능하게 하는 것.
• 기약 $\mathsf{Z}_k(n)$-모듈러의 차원을 표현하기 위해 제2종 스틸링 수를 사용하여 폐쇄형 조합수학 공식을 제공하는 것.
• 반대칭군 $\mathsf{A}_n$ 이 $\mathsf{M}_n^{\otimes k}$ 에 작용하는 데 대해, 그 중심화 대수에 대한 유사한 차원 공식을 유도하는 것.
• 반사 표현에 관련된 $\mathsf{S}_n$의 준분할 대수를 분석하여, 동일한 호환성 원리에 따라 유사한 차원 표현을 도출하는 것.
• 차원 공식이 일반적으로 $n \geq 1$ 및 $k \geq 0$ 에 대해 유효함을 입증하며, 기존의 $n \geq 2k$ 제약 조건을 제거하는 것.

실험 결과

연구 질문

• RQ1 중심화 대수 $\mathsf{Z}_k(n) = \operatorname{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$의 기약 모듈러의 차원은 조합수로 어떻게 표현될 수 있는가?
• RQ2 $\mathsf{M}_n^{\otimes k}$ 안에서 기약 $\mathsf{S}_n$-모듈러의 다중도는 기약 $\mathsf{Z}_k(n)$-모듈러의 차원과 어떻게 관련이 있는가?
• RQ3 유한군과 그 부분군의 중심화 대수에 대해 프로베니우스 호환성 원리를 일반화할 수 있는가?
• RQ4 반대칭군 $\mathsf{A}_n$ 이 $\mathsf{M}_n^{\otimes k}$ 에 작용할 때, 그 중심화 대수의 기약 모듈러에 대한 대응 차원 공식은 무엇인가?
• RQ5 반사 표현과 관련된 $\mathsf{S}_n$의 준분할 대수는 텐서곱의 다중도와 기약 모듈러의 차원과 어떻게 관련이 있는가?

주요 결과

• 중심화 대수 $\mathsf{Z}_k(n)$의 각 기약 모듈러의 차원은 제2종 스틸링 수를 포함하는 공식으로 주어지며, 폐쇄형 표현을 제공한다.
• 이 차원들은 슈어-웨일 이중성에 의해 $\mathsf{M}_n^{\otimes k}$ 안에서 해당 기약 $\mathsf{S}_n$-모듈러의 다중도와 정확히 일치한다.
• 이 차원 공식은 기존의 $n \geq 2k$ 영역을 초월하여 모든 $n \geq 1$ 및 $k \geq 0$ 에 대해 유효하다.
• 유한군 중심화 대수에 대한 일반화된 프로베니우스 호환성 원리는 반대칭군 $\mathsf{A}_n$ 과 준분할 대수에 대해 유사한 결과를 도출하는 데 기여한다.
• 반대칭군 $\mathsf{A}_n$ 이 $\mathsf{M}_n^{\otimes k}$ 에 작용할 때, 그 중심화 대수의 기약 모듈러에 대한 차원 공식이 동일한 프레임워크를 통해 도출된다.
• 반사 표현과 관련된 $\mathsf{S}_n$의 준분할 대수 역시 동일한 조합수학적 기법과 이중성 원리를 사용하여 기약 모듈러의 차원 공식을 지원한다.