[논문 리뷰] FI_W-modules and stability criteria for representations of the classical Weyl groups

J. Wilson|arXiv (Cornell University)|2013. 09. 16.

Advanced Algebra and Geometry참고 문헌 35인용 수 11

한 줄 요약

이 논문은 고전적 웨일 군(S_n, B_n, D_n)의 표현 수열을 연구하기 위한 대수적 프레임워크로 FI_W-모듈을 도입하며, 유한 생성성은 균일한 표현 안정성으로 이어진다는 것을 증명한다—즉, 기약 분해 패턴이 n에 따라 안정화됨을 의미한다. 일반화된 플라그 다양체와 대칭화된 코인variant 대수의 코homology에 대해 특성 다항식을 수립하고, 머너건의 안정성 이론을 유형 B/C 및 D로 확장한다.

ABSTRACT

In this paper we develop machinery for studying sequences of representations of any of the three families of classical Weyl groups, extending work of Church, Ellenberg, Farb, and Nagpal on the symmetric groups S_n to the signed permutation groups B_n and the even-signed permutation groups D_n. For each family W_n, we present an algebraic framework where a sequence V_n of W_n-representations is encoded into a single object we call an FI_W-module. We prove that if an FI_W-module V satisfies a simple finite generation condition then the structure of the sequence is highly constrained. One consequence is that the sequence is uniformly representation stable in the sense of Church-Farb, that is, the pattern of irreducible representations in the decomposition of each V_n eventually stabilizes in a precise sense. Using the theory developed here we obtain new results about the cohomology of generalized flag varieties associated to the classical Weyl groups, and more generally the r-diagonal coinvariant algebras. We analyze the algebraic structure of the category of FI_W-modules, and introduce restriction and induction operations that enable us to study interactions between the three families of groups. We use this theory to prove analogues of Murnaghan's 1938 stability theorem for Kronecker coefficients for the families B_n and D_n. The theory of FI_W-modules gives a conceptual framework for stability results such as these.

연구 동기 및 목표

• 고전적 웨일 군 S_n, B_n, D_n의 표현 수열을 위한 통합된 대수적 프레임워크를 개발하기 위해.
• 대칭군에서의 FI-모듈 이론을 초과정육면체군 및 짝수부호치환군으로 일반화하기 위해.
• 특성 0에서 유한 생성된 FI_W-모듈이 균일한 표현 안정성을 가짐을 증명하기 위해.
• 이 프레임워크를 사용하여 일반화된 플라그 다양체의 코homology와 r-대칭 코인variant 대수를 분석하기 위해.
• Kronecker 계수에 대한 머너건의 1938년 안정성 정리의 유형 B/C 및 D에 대한 유사 정리를 수립하기 위해.

제안 방법

• FI_W 범주를 도입하고, W_n-표현 수열을 코딩하는 FI_W-모듈을 구성함.
• 임의의 FI_W-모듈을 생성하기 위해 자유 FI_W-모듈 M_W(m) 및 M_W(U)를 정의함.
• 제한 및 유도 함자를 사용하여 세 가지 웨일 군 가족 간의 FI_W-모듈을 연결함.
• FI_W-모듈의 범주가 Noetherian임을 적용하여, 유한 생성성이 안정성으로 이어짐을 증명함.
• 코homology 환과 대칭화된 코인variant 대수를 모델링하기 위해, 군형 FI_W-대수를 도입함.
• 특성 다항식과 무게 필터링을 사용하여 표현의 안정된 분해 패턴을 분석함.

실험 결과

연구 질문

• RQ1 어떤 조건에서 고전적 웨일 군에 대해 W_n-표현 수열이 균일한 표현 안정성을 보일 수 있는가?
• RQ2 FI-모듈 이론을 대칭군에서 초과정육면체군 및 짝수부호치환군으로 어떻게 일반화할 수 있는가?
• RQ3 B_n 및 D_n에 관련된 일반화된 플라그 다양체의 코homology의 구조는 무엇이며, 어떻게 안정화되는가?
• RQ4 머너건의 1938년 Kronecker 계수에 대한 안정성 정리는 유형 B/C 및 D로 일반화될 수 있는가?
• RQ5 W_n에 대해 r-대칭 코인variant 대수의 안정된 특성은 무엇을 묘사하는가?

주요 결과

• 특성 0에서 유한 생성된 FI_W-모듈은 균일한 표현 안정성을 가진다: 각 기약 표현의 중복도가 큰 n에 대해 안정화된다.
• 대칭화된 코인variant 대수 C^(r)_J(n)의 군형 조각의 특성은 최대 |J| 차수의 특성 다항식으로 결국 주어진다.
• 모든 체에서, C^(r)_J(n)의 군형 조각의 차원은 n에 대해 최종적으로 다항식이 된다.
• 코homology 환 H^*(G^n_W / B^n_W; C)는 유한 유형의 군형 FI_W-대수이며, 차수 m에서의 안정된 특성은 최대 m/2 차수의 특성 다항식으로 주어진다.
• 유형 B 및 D에서 작은 r 및 |J| ≤ 3에 대해 명시적인 특성 다항식을 계산하였으며, 색인의 순열에 대해 불변임을 보였다.
• 이 이론은 표현 이론에서의 안정 현상에 대한 개념적 프레임워크를 제공하며, 유형 A, B, C, D 간의 결과를 통합한다.