[논문 리뷰] Vertex operators and the class algebras of symmetric groups

Alain Lascoux, Jean‐Yves Thibon|ArXiv.org|2001. 02. 06.

Advanced Algebra and Logic인용 수 5

한 줄 요약

이 논문은 모든 대칭군 대수에서 Jucys-Murphy 원소의 멱합에 대한 곱셈을 균일하게 구현하는 정점 연산자를 도입하여 ${\cal W}_{1+\infty}$ 대수의 표현을 드러낸다. 또한 행렬 적분을 통해 Goupil-Poulalhon-Schaeffer 연산자를 새로운 방식으로 유도하고, 정규화된 공轭류의 구조 상수의 $n$-독립성에 기반해 Kerov-Olshanski의 청산도에 대한 다항함수를 재유도한다.

ABSTRACT

We exhibit a vertex operator which implements multiplication by power-sums of Jucys-Murphy elements in the centers of the group algebras of all symmetric groups simultaneously. The coefficients of this operator generate a representation of ${\cal W}_{1+\infty}$, to which operators multiplying by normalized conjugacy classes are also shown to belong. A new derivation of such operators based on matrix integrals is proposed, and our vertex operator is used to give an alternative approach to the polynomial functions on Young diagrams introduced by Kerov and Olshanski.

연구 동기 및 목표

• 모든 $n$에 대해 대칭군 대수의 중심에서 Jucys-Murphy 원소의 멱합에 대한 곱셈을 동시에 구현하는 정점 연산자를 구성하는 것.
• 유도된 연산자가 ${\cal W}_{1+\infty}$ 대수의 표현을 생성함을 보여주며, Frenkel과 Wang의 Virasoro 결과를 확장하는 것.
• 행렬 적분과 가우시안 함수적 적분을 사용하여 Goupil-Poulalhon-Schaeffer 연산자를 새로운 방식으로 유도하는 것.
• 정규화된 공轭류에서의 구조 상수가 $n$에 독립적임을 증명하여, 청산도에 대한 Kerov와 Olshanski의 다항함수를 재유도하는 것.
• 정규화된 공轭류에 대한 곱셈을 구현하는 연산자가 $U({\cal W}_{1+\infty})$ 내의 교환 부분대수를 이룬다는 것을 확립하는 것.

제안 방법

• 정점 연산자는 $\mathbb{C}{\mathfrak{S}}_n$에서 Jucys-Murphy 원소의 $k$-번째 멱합인 $p_k(\Xi_n)$에 대한 곱셈을 실현하는 미분 연산자 ${\sf D}_k$의 생성함수로 구성된다.
• 이 연산자는 $\mathfrak{gl}_\infty$와 $\widehat{\mathfrak{gl}}_\infty$의 Fock 공간 표현에 대한 고전적 정점 연산자 $\Gamma(z_1,z_2)$로 표현된다.
• 공액관계 $[\sf{D}_k, \alpha_l]$를 계산하고, 표준 생성자로의 폐쇄형 표현을 통해 ${\cal W}_{1+\infty}$의 전하 1 표현을 생성함을 보여준다.
• 행렬 적분 기법을 적용하기 위해 모든 $n$에 대한 생성함수를 결합하고, 수정된 가우시안 측도로 감소시키며, 위크의 공식을 사용해 평가한다.
• 공생 구조 $\Gamma(F) = \delta\sigma_1 \sum f_{\alpha\beta} p_\alpha \otimes p_\beta$를 사용하여, 축약된 분할 $\rho$에 대해 $\sf{H}_\rho$의 작용을 미분 연산자로 도출한다.
• 구조 상수가 $n$에 독립적임을 보여줌으로써 Kerov-Olshanski 함수와의 연결을 확립하며, $p_\mu(\Xi_n)$의 정규화된 공轭류에서의 계수는 $n$에 무관하므로, 이는 이동된 멱합 $\tilde{p}_k(\lambda)$에 대한 다항식임을 의미한다.

실험 결과

연구 질문

• RQ1 모든 대칭군 대수에서 Jucys-Murphy 원소의 멱합에 대한 곱셈을 통합하는 단일 정점 연산자가 존재하는가?
• RQ2 유도된 연산자가 ${\cal W}_{1+\infty}$ 대수의 표현을 생성하는가? 만약 그렇다면, 구조 상수는 알려진 생성자와 어떻게 관련되어 있는가?
• RQ3 구면 함수에 의존하지 않고, 행렬 적분 기법을 사용하여 Goupil-Poulalhon-Schaeffer 연산자를 재유도할 수 있는가?
• RQ4 정규화된 공轭류에서의 구조 상수의 $n$-독립성은 정점 연산자 체계의 결과인가?
• RQ5 정규화된 공轭류에 대한 곱셈을 구현하는 연산자가 $U({\cal W}_{1+\infty})$ 내의 교환 부분대수를 이룬다.

주요 결과

• 정점 연산자 $\Gamma(z_1,z_2)$는 모든 대칭군 대수의 중심에 대해 통합된 작용을 생성하며, 모든 $n$에 대해 $p_k(\Xi_n)$에 대한 곱셈을 실현한다.
• 공액관계 $[\sf{D}_k, \alpha_l]$는 ${\cal W}_{1+\infty}$의 전하 1 표현을 생성하며, 표준 생성자로의 폐쇄형 표현이 명시적으로 제공된다.
• 정규화된 공轭류 $\sf{a}_{\rho;n}$의 구조 상수는 $n$에 독립적이며, 이는 함수 $f_\rho(\lambda)$가 이동된 멱합 $\tilde{p}_k(\lambda)$에 대한 다항식임을 의미한다.
• Goupil-Poulalhon-Schaeffer 연산자 $\sf{H}_\rho$는 행렬 적분을 통해 재유도되어, 구면 함수를 사용하지 않고도 생성함수의 직접적인 조합론적 증명을 제공한다.
• 정규화된 공轭류에 대한 곱셈을 구현하는 연산자 $\sf{A}_\rho$는 $R_0$ 표현을 통해 $U({\cal W}_{1+\infty})$의 이미지에 속하며, 서로 가환하는 연산자 $P_k$의 다항식이므로 성립한다.
• 관계식 $P_n = \sum_{k=0}^{n-1} \binom{n}{k} \sf{D}_k$는 $P_k$와 ${\sf D}_k$를 연결하며, $P_k$ 기저를 통해 $\sf{A}_\rho$가 $U({\cal W}_{1+\infty})$에 속한다는 것을 확인한다.