[논문 리뷰] Transitive powers of Young-Jucys-Murphy elements are central

I. P. Goulden, D. M. Jackson|ArXiv.org|2007. 04. 09.

Advanced Combinatorial Mathematics참고 문헌 8인용 수 4

한 줄 요약

이 논문은 대칭군 대수에서 Young-Jucys-Murphy 원소의 이행적 거듭제곱이 개별적으로 중심이 아니라는 점을 감안할 때도 중심임을 증명한다. 이러한 이행적 거듭제곱을 중심의 균류 기저에 대해 전개할 때의 명시적 다항계수—별로 부분화 수라고 불리는 수—를 유도하며, 이는 히르츠 수와 연결되는 다항성 성질을 드러내며 ELSV 유사 공식의 가능성을 시사한다.

ABSTRACT

Although powers of the Young-Jucys-Murphya elements X_i = (1 i) + ... +(i-1 i), i = 1, ..., n, in the symmetric group S_n acting on {1, ...,n} do not lie in the centre of the group algebra of S_n, we show that transitive powers, namely the sum of the contributions from elements that act transitively on {1, >...,n}, are central. We determine the coefficients, which we call star factorization numbers, that occur in the resolution of transitive powers with respect to the class basis of the centre of S_n, and show that they have a polynomiality property. These centrality and polynomiality properties have seemingly unrelated consequences. First, they answer a question raised by Pak about reduced decompositions; second, they explain and extend the beautiful symmetry result discovered by Irving and Rattan; and thirdly, we relate the polynomiality to an existing polynomiality result for a class of double Hurwitz numbers associated with branched covers of the sphere, which therefore suggests that there may be an ELSV-type formula associated with the star factorization numbers.

연구 동기 및 목표

• 대칭군의 군 대수의 중심에 속하는 Young-Jucys-Murphy 원소의 이행적 거듭제곱을 확립하는 것.
• 이행적 거듭제곱을 중심의 균류 기저에 대해 전개할 때의 계수(별로 부с분화 수)를 결정하는 것.
• 이 계수들이 균류 클래스를 인덱싱하는 분할의 부분들에 대해 다항성 성질을 보임을 증명하는 것.
• 이 계수들과 이중 히르츠 수 사이의 연결고리를 탐색하며, 잠재적인 ELSV 유사 공식을 제안하는 것.
• 생성함수와 미분방정식을 통해 중심성과 다항성에 대한 열린 질문들을 다루는 것.

제안 방법

• 군 원소가 [n]에 이행적으로 작용하는 것을 분리하는 전이 프로젝션 연산자 T를 정의하고, 이를 Young-Jucys-Murphy 원소 $X_n$의 거듭제곱에 적용한다.
• 포함-배제 원리를 사용하여 $\mathsf{T}X_n^r$을 $n$을 포함하는 전치의 부분집합에 대한 부호가 붙은 합으로 표현함으로써 닫힌 형태의 표현을 도출한다.
• 생성함수와 지수 생성함수 $\xi(x) = 2x^{-1}\sinh(x/2)$를 사용하여 계수의 구조를 코딩하며, $\sum \xi_{2j}x^{2j} = \log \xi(x)$이다.
• 공동모멘트 생성함수 $\Psi$를 유도하고, 이를 만족하는 조인컷 방정식을 도출하며, 해의 유일성에 의해 이와 계수의 생성함수와 동치임을 증명한다.
• 생성함수 $\Psi$를 사용하여 계수 $c_g(i,\alpha)$를 추출하며, 이들이 분할 $\alpha \cup i$의 부분들에 대해 대칭적이고 다항적임을 보인다.
• 최종적으로 $a_g(\alpha)$의 공식을 $\alpha$의 부분들에 대한 다항식으로 유도하며, $\xi_{2\beta}$와 $q_{2\beta}(\alpha)$를 포함하고, $g \leq 5$까지의 $Q_g$에 대한 명시적 표현을 제공한다.

실험 결과

연구 질문

• RQ1 왜 Young-Jucys-Murphy 원소의 이행적 거듭제곱은 $\mathfrak{S}_n$의 군 대수에서 중심이 되는가, 비록 개별 거듭제곱은 중심이 아니라는 점을 감안할 때도 말이다?
• RQ2 계수 $a_g(\alpha)$의 다항성은 명시적 계산 없이 표현 이론적 또는 기하학적 추론을 통해 설명될 수 있는가?
• RQ3 계수 공식에 의존하지 않고, 직접적인 대수적 또는 기하학적 증명을 통해 $a_g(\alpha)$와 알려진 중심 원소 $b_g(\alpha)$를 연결할 수 있는가?
• RQ4 계수 $a_g(\alpha)$의 다항성은 별로 부분화 수에 대한 ELSV 유사 공식의 존재를 암시하는가, 이는 이중 히르츠 수에 대한 것들과 유사하게 말이다?
• RQ5 이 논문에서 사용된 생성함수 접근법을 더 직접적으로 중심성을 증명할 수 있도록 확장할 수 있는가, 전체 균류 전개를 계산하지 않고서 말이다?

주요 결과

• 이행적 거듭제곱 $\mathsf{T}X_n^r$은 $\mathbb{C}\mathfrak{S}_n$의 중심 $Z(n)$에 속하며, Young-Jucys-Murphy 원소에 대한 핵심적인 구조적 질문을 해결한다.
• 전개 $\mathsf{T}X_n^r = \sum_{\alpha \vdash n, g \geq 0} a_g(\alpha) \mathsf{K}_\alpha$에서의 계수 $a_g(\alpha)$는 $\alpha$의 부분들에 대해 다항식이며, $a_g(\alpha) = \frac{(n + m - 2 + 2g)!}{n!} \alpha_1 \cdots \alpha_m Q_g(\alpha)$로 표현되며, 여기서 $m = l(\alpha)$이다.
• 다항식 $Q_g(\alpha)$는 $g = 0, \dots, 5$에 대해 명시적으로 계산되었으며, $Q_0 = 1$, $Q_1 = \frac{1}{24}q_2$, $Q_2 = \frac{1}{5760}(-2q_4 + 5q_{2^2})$ 등이며, $q_i(\alpha) = p_i(\alpha) + p_1(\alpha) - 2$를 포함한다.
• 계수의 생성함수 $\Psi$는 조인컷 방정식을 만족하며, 그 해는 기대되는 형태와 일치하여 공식이 유일성에 의해 증명된다.
• $a_g(\alpha)$는 $\alpha$의 부분들에 대해 대칭적이며, 재표기 불변성에 의해 표현의 중심성이 확인된다.
• $a_g(\alpha)$의 다항성은 별로 부с분화 수에 대한 잠재적인 ELSV 유사 공식을 암시하며, 이는 히르츠 수에 대한 것들과 유사하게 허지 적분과 곡선의 모듈리 공간과 연결된다.