[論文レビュー] Transitive powers of Young-Jucys-Murphy elements are central

I. P. Goulden, D. M. Jackson|ArXiv.org|Apr 9, 2007

Advanced Combinatorial Mathematics参考文献 8被引用数 4

ひとこと要約

この論文は、個々のべき乗が中心でないにもかかわらず、対称群代数におけるヤング・ユーシス・マーフィー要素の推移的べき乗が中心であることを証明する。これらの推移的べき乗の中心の類基底における分解における明示的な多項式係数（スターファクタリゼーション数）を導出し、ハーワイト数と関連する多項式性の性質を明らかにし、ELS V型の公式の可能性を示唆する。

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.

研究の動機と目的

• ヤング・ユーシス・マーフィー要素の推移的べき乗が対称群の群代数の中心にあることを確立すること。
• 中心の類基底に関する推移的べき乗の展開における係数（スターファクタリゼーション数）を特定すること。
• これらの係数が、共役類を添え字づける分割の部分に関して多項式的性質を示すことを証明すること。
• これらの係数と二重ハーワイト数との関係を探索し、ELS V型の公式の可能性を示唆すること。
• 生成関数および微分方程式を用いて、これらの係数の中心性および多項式的性質に関する未解決の問題を扱うこと。

提案手法

• 推移的作用をなす群元を抽出する「推移的射影作用素」T を定義し、$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 なぜヤング・ユーシス・マーフィー要素の推移的べき乗は、個々のべき乗が中心でないにもかかわらず、$\mathfrak{S}_n$ の群代数において中心なのであろうか？
• RQ2 明示的計算なしに、$a_g(\alpha)$ の部分に関する多項式的性質を、表現論的または幾何的議論によって説明できるだろうか？
• RQ3 係数公式に依存せずに、$a_g(\alpha)$ と既知の中心的要素 $b_g(\alpha)$ の間の直接的な代数的または幾何的証明が可能であろうか？
• RQ4 $a_g(\alpha)$ の多項式的性質は、二重ハーワイト数の公式と同様に、スターファクタリゼーション数に対するELS V型の公式の存在を示唆するだろうか？
• RQ5 本研究で用いられた生成関数のアプローチを、全類展開を計算することなく、より直接的に中心性を証明するために拡張できるだろうか？

主な発見

• 推移的べき乗 $\mathsf{T}X_n^r$ は、$\mathbb{C}\mathfrak{S}_n$ の中心 $Z(n)$ に属する。これはヤング・ユーシス・マーフィー要素に関する構造的問題を解決する。
• 展開 $\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)$ の多項式的性質は、スターファクタリゼーション数に対するELS V型の公式の可能性を示唆し、ハッジ積分および曲線のモジュライ空間と関連する。