[논문 리뷰] A combinatorial approach to classical representation theory

Martin Rubey, Bruce W. Westbury|arXiv (Cornell University)|2014. 08. 15.

Advanced Combinatorial Mathematics참고 문헌 32인용 수 7

한 줄 요약

이 논문은 고전적 표현 이론에 대한 조합적 프레임워크를 제시하며, 다이어그램 범주를 사용하여 고전적 군과 대칭군의 작용 하에서의 불변량 기저를 명시적으로 구성한다. 심플렉틱 군에 대한 제2기본정리에 대해 다이어그램적이고 명료한 증명을 제공하며, $(n+1)$-비교행 매칭과 $k$-정규 그래프에 대해 순환 선별 현상(cyclic sieving phenomenon)을 확립한다. 명시적인 프로베누스 특성 공식과 표현 간의 분해 규칙은 모든 표현에 대해 통일적으로 유도된다.

ABSTRACT

A fundamental problem from invariant theory is to describe the endomorphism algebra of multilinear functions on a representation V invariant under the action of a group G. According to Weyl's classic, a first main (later: fundamental) theorem of invariant theory provides a finite spanning set for this algebra, whereas a a second main theorem describes the linear relations between those basic invariants. We use diagrammatic methods to carry Weyl's programme a step further, providing explicit bases for the subspace of the r-th tensor powers of V invariant under the action of G, that are additionally preserved by the action of the long cycle of the symmetric group on r letters. The representations we study are essentially those that occur in Weyl's book: the defining representations of the symplectic groups, the defining representations of the symmetric groups considered as linear representations, and the adjoint representations of the linear groups. In particular, we present a transparent, combinatorial proof of a second fundamental theorem for the defining representation of the symplectic groups Sp(2n). Our formulation is explicit and provides a very precise link to (n+1)-noncrossing perfect matchings, going beyond a dimension count. Extending our argument to the k-th symmetric powers of these representations, the combinatorial objects involved turn out to be (n+1)-noncrossing k-regular graphs. As corollaries we obtain instances of the cyclic sieving phenomenon for these objects and the natural rotation action. In general, we derive branching rules for the diagram algebras corresponding to the representations in a uniform way. We also compute the Frobenius characteristics of modules of the diagram algebras restricted to the action of the symmetric group and obtain the isotypic decomposition of the r-th tensor power of V when n is large enough in comparison to r.

연구 동기 및 목표

• 무거운 대수적 기계장치를 피하는 조합적·다이어그램적 접근을 통해 고전적 표현 이론을 개발한다.
• $\fS_r$의 장 사이클 작용 하에서 유지되는 $G$-불변 텐서 $\bigotimes^r V$의 명시적 기저를 구성한다.
• $\r{Sp}(2n)$의 정의 표현에 대해 $(n+1)$-비교행 완전 매칭을 사용하여 완전하고 명시적인 제2기본정리를 확립한다.
• 이 프레임워크를 $k$-제곱의 대칭 표현으로 확장하여, 관련 조합적 대상으로 $(n+1)$-비교행 $k$-정규 그래프를 식별한다.
• 이러한 조합적 집합 위에서의 회전 작용에 대해 순환 선별 현상의 사례를 확립한다.

제안 방법

• 엔도모르피즘 대수 $\r{End}_G(\bigotimes^r V)$ 를 모델링하기 위해 브라우어, 분할, 방향 브라우어 범주와 같은 다이어그램 범주를 사용한다.
• 다이어그램 범주의 엔도모르피즘 대수에서 실제 $G$-불변 엔도모르피즘 대수로의 호모모르피즘을 구성하여 제1기본정리를 실현한다.
• 특히 $s_\nu * s_\nu$ 와 $p_\nu$ 를 포함하여, 대칭 함수와 셀러 함수를 통한 $G \times \fS_r$-모듈의 프로베누스 특성 계산.
• 다이어그램 범주 사상의 핵을 조합적 제약 조건(비교행성, 정규성 등)을 사용하여 제2기본정리로 식별한다.
• 모리타 동치와 인플레이션 함자(기능)를 사용하여 다이어그램 대수의 모듈과 군 $G$의 기약 표현을 연결한다.
• 장 사이클이 $\fS_r$ 에서 작용하는 데에 대해 불변인 기저를 명시적으로 구성함으로써, 매칭과 그래프 위에서의 회전 작용을 통한 순환 선별 현상을 가능하게 한다.

실험 결과

연구 질문

• RQ1 조합적·다이어그램적 방법이 $\r{Sp}(2n)$의 정의 표현에 대한 제2기본정리에 대해 명료한 증명을 제공할 수 있는가?
• RQ2 $\r{Sp}(2n)$, $\r{S}_n$, $\r{GL}(n)$ 의 정의 표현에 대해 $\bigotimes^r V$ 의 불변량을 매개변수화하는 조합적 대상은 무엇인가?
• RQ3 $\bigotimes^r V$ 에서의 $G$-불변 텐서에 대해 장 사이클이 $\fS_r$ 에서 작용하는 데에 대해 유지되는 기저가 존재하는가?
• RQ4 조합적 모델이 명시적으로 제공되는 경우, $\r{GL}(n)$ 의 수반 표현의 텐서 제곱에 대해 순환 선별 현상이 실현될 수 있는가?
• RQ5 다이어그램 대수의 프로베누스 특성과 분해 규칙을 고전적 군 전반에 걸쳐 통일적으로 계산할 수 있는가?

주요 결과

• $\r{Sp}(2n)$ 에 대해 완전하고 명시적인 제2기본정리가 확립되었으며, 불변량은 $(n+1)$-비교행 완전 매칭으로 매개변수화된다.
• 연구된 표현의 $k$-제곱 대칭 표현의 경우, 관련 조합적 대상은 $(n+1)$-비교행 $k$-정규 그래프이다.
• $\fS_r$-모듈의 불변량의 프로베누스 특성은 $\sum_{\lambda \vdash r} p_\lambda = \sum_{\lambda} s_\lambda * s_\lambda$ 로 주어지며, 여기서 $p_\lambda$ 는 힘의 합 대칭 함수이다.
• 큰 $n$ 에 대해 $\bigotimes^r V$ 의 이소형 분해는 일반 정리에 의해 결정되며, 분해 규칙을 통일적으로 기술한다.
• $n \geq 2r$ 인 경우, 순열 집합 위에서 장 사이클의 작용에 대해 순환 선별 현상이 성립하며, 생성 다항식은 $P(q) = \mathbf{fd} \sum_{\lambda \vdash r} p_\lambda$ 이다.
• 모든 $n$ 에 대해 장 사이클 작용에 대해 유지되는 $G$-불변 텐서의 기저를 조합적으로 명시적으로 구성함으로써, 오랫동안 열려 있던 문제를 해결하였다.