[논문 리뷰] On enumeration in classical invariant theory

Bruce W. Westbury|arXiv (Cornell University)|2014. 02. 25.

Advanced Algebra and Geometry참고 문헌 14인용 수 3

한 줄 요약

이 논문은 재수적 군 아래에서 표현의 텐서 거듭제곱의 불변 부분공간의 프로베누스 특성다항식을 계산하는 공식을 제시한다. 이를 위해 플레티즘과 대칭함수 이론을 사용한다. 주요 결과는 다항함수자리 $ P(V) $에 대한 불변자의 특성다항식을 원래 표현 $ V $ 자체의 불변자 특성다항식으로 표현하며, 이는 고전적 불변량 이론에서 조합론적 대칭함수 기법을 통해 불변량을 세는 데 기여한다.

ABSTRACT

In this paper we study the Frobenius characters of the invariant subspaces of the tensor powers of a representation V. The main result is a formula for these characters for a polynomial functor of V involving the characters for V. The main application is to representations V for which these characters are known. The best understood case is for V the vector representation of a symplectic group or special linear group. Other cases where there are some related results are the defining representations of the symmetric groups and the adjoint representations of the general linear groups. This formula uses methods of enumerative combinatorics and in particular is similar to the cycle index series of regular graphs.

연구 동기 및 목표

• 표현의 텐서 거듭제곱에서 $ G $-불변 부분공간의 프로베누스 특성다항식을 계산하는 일반적인 방법을 개발하는 것.
• 표현 $ V $에 다항함수자리를 적용한 경우의 불변자 특성다항식을 $ V $ 자체의 불변자 특성다항식으로 표현하는 것.
• 대칭함수와 플레티즘을 이용한 조합론적 프레임워크를 제공하여 불변량을 세는 것.
• 고전적 불변량 이론에서 불변환의 힐버트 급수와 차원에 관한 기존 결과를 확장하는 것.

제안 방법

• 논문은 대칭군의 표현과 텐서 불변량을 연결하기 위해 다항함수자리 이론과 관련된 슈어 함자리를 사용한다.
• 플레티즘과 대칭함수의 스칼라곱을 적용하여 불변 부분공간의 프로베누스 특성다항식을 위한 생성함수를 구성한다.
• 주요 공식은 카우치 항등식과 특성다항식 이론을 통해 유도되며, $ I_r(P(V)) $ 와 $ I_{rk}(V) $ 사이의 관계를 식 $ \left\langle h_r[X \cdot \mathbf{ch}P[Y]], I_{rk}(V)[Y] \right\rangle_Y $ 를 통해 기술한다.
• 이 방법은 순환 지수 생성함수와 수열 조합론을 활용하며, 정규 그래프와 카드 나누기와 유사한 유사성을 띈다.
• 다항함수자리의 특성다항식을 계산하기 위해 공식 $ \mathbf{ch}P = \frac{1}{r!} \sum_{\pi \in \mathfrak{S}_r} \operatorname{Tr}(\rho(\pi)) p_{\lambda(\pi)} $ 를 사용한다.
• 이 프레임워크는 $ \mathrm{SL}(n) $, $ \mathrm{Sp}(2n) $, 대칭군, $ \mathrm{GL}(n) $ 등의 알려진 예시를 통해 검증되었으며, 기존 결과와 일관됨을 보였다.

실험 결과

연구 질문

• RQ1 다항함수자리 $ P $에 대해 $ \otimes^r P(V) $ 의 $ G $-불변 부분공간의 프로베누스 특성다항식은 어떻게 계산할 수 있는가?
• RQ2 $ P(V) $의 불변자와 원래 표현 $ V $의 불변자 간의 관계는 무엇인가?
• RQ3 $ P(V) $의 불변환의 링에 대한 힐버트 급수는 대칭함수와 $ V $의 알려진 불변자로 표현될 수 있는가?
• RQ4 플레티즘과 대칭함수 이론은 고전적 불변량 이론에서 불변량을 세는 데 얼마나 활용될 수 있는가?

주요 결과

• 표현 $ \otimes^r P(V) $ 의 $ G $-불변 부분공간의 프로베누스 특성다항식은 $ \left\langle h_r[X \cdot \mathbf{ch}P[Y]], I_{rk}(V)[Y] \right\rangle_Y $ 로 주어지며, 여기서 $ I_{rk}(V) $ 는 $ \otimes^{rk}V $ 의 불변자 특성다항식이다.
• 만약 $ V $ 가 $ \mathrm{SL}(n) $ 의 정의 표현이라면, $ r = mn $ 이면 $ I_r(V) = s_{m^n} $ 이고, 그렇지 않으면 0이다.
• 만약 $ V $ 가 $ \mathrm{Sp}(2n) $ 의 정의 표현이라면, $ I_r(V) = \sum_{\lambda \vdash 2r, \text{even columns}, \ell(\lambda) \leq 2n} s_\lambda $ 이다.
• 만약 $ V $ 가 $ \mathrm{GL}(n) $ 의 고유 표현이라면, $ I_r(V) = \sum_{\lambda \vdash r} s_\lambda * s_\lambda $ 이며, 여기서 $ * $ 는 내부곱이다.
• 다항함수자리 $ P(V) $ 에서 차수 $ r $ 의 동차 불변량 공간의 차원은 $ \left\langle h_r[\mathbf{ch}P], I_{rk}(V) \right\rangle $ 이다.
• 정점 수 $ n $ 인 $ k $-정규 그래프의 수는 $ \left\langle h_n[h_k], h_{nk/2}[h_2] \right\rangle $ 로 주어지며, 이는 공식의 수열 조합론적 강력함을 보여준다.