[论文解读] 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

一句话总结

该论文证明了对称群代数中杨-朱科斯-墨菲元素的传递幂属于中心，尽管单个幂并不中心。它推导出这些传递幂在中心的共轭类基下的显式多项式系数（称为星因子分解数），揭示了与赫维茨数相关联的多项式性质，并暗示存在类似 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.

研究动机与目标

• 建立杨-朱科斯-墨菲元素的传递幂属于对称群群代数中心的结论。
• 确定传递幂在中心的共轭类基展开中的系数（星因子分解数）。
• 证明这些系数在索引共轭类的分拆各部分中表现出多项式性质。
• 探索这些系数与双赫维茨数之间的联系，暗示可能存在 ELSV 型公式。
• 通过生成函数和微分方程解决关于这些系数的中心性与多项式性质的开放问题。

提出的方法

• 定义传递投影算子 T，用于分离在 [n] 上作用传递的群元素，将其应用于杨-朱科斯-墨菲元素 $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)$ 在 $\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)$，解决了关于杨-朱科斯-墨菲元素的一个关键结构性问题。
• 在展开式 $\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 的公式，类似于双赫维茨数的公式，进而与 Hodge 积分和曲线模空间相关联。