Hidden Structure of Jack Littlewood-Richardson Coefficients

技术摘要：Jack Littlewood-Richardson 系数的隐藏结构

问题陈述
本文研究了 Jack Littlewood-Richardson（LR）系数 $g^\lambda_{\mu\nu}(\alpha)$ 的代数结构，该系数出现在 Jack 对称函数乘积的展开式中。虽然已知这些系数是关于参数 $\alpha$ 的有理函数，但其分子多项式表现出复杂的行为。本文聚焦于特定的分拆三元组 $(\mu, \nu, \lambda) = (21, 21, 321)$，在该情况下，Schur LR 系数 $c^\lambda_{\mu\nu} = 2$。该情形此前在文献 [7] 中已被研究，其中发现了一个包含 26 项的"Stanley 和”（Stanley 图的线性组合）用于计算该系数。核心问题在于揭示这些系数内部的“隐藏结构”，特别是寻找在原始多项式形式中未显现的对称性和因式分解性质。

方法论
作者采用了一种多层面的代数方法：

1. Stanley 和与钩子空间：本文利用了文献 [7] 中建立的 Stanley 图和和的框架。它定义了一个“钩子空间”$R^\lambda_{\mu\nu}(W)$，即特定一族“窗口”分拆的评估映射的核模掉后的 Stanley 和空间。这使得可以将系数作为受线性关系约束的钩子变量多项式进行研究。
2. 图论对称性：分析表明，$(21, 21, 321)$ 情形下 Stanley 和的支撑集对应于彼得森图 $P$ 的顶点和边。作者识别出作用于分拆方格上的 $S_5$ 对称性，这对应于彼得森图的自同构群 $\text{Aut}(P)$。
3. 基变换与 $\ell$-变量：为了揭示更深层的对称性，作者引入了从钩子变量到 $\ell$-变量（$\ell_b = h^U_b + h^L_b$）的基变换。在此基下，钩子空间的关系被表达为涉及彼得森图邻接矩阵的“爪关系”（claw relations）。
4. 扩展到 $S_6 \times \mathbb{Z}_2$：通过利用 $S_6$ 的外自同构（exotic outer automorphism）和 Johnson 图 $J(6, 3)$ 的结构，作者证明了钩子空间中多项式的对称群从 $S_5 \times \mathbb{Z}_2$ 扩大到了 $S_6 \times \mathbb{Z}_2$。这涉及将彼得森图映射到 Johnson 图，并利用 $S_6$ 的特定表示论。
5. 超平面因式分解：本文研究了当多项式限制在由消失的钩子长度（$h^A_b = 0$）定义的边界超平面上的行为。

主要贡献与结果

• 增强的对称性：主要结果是证明了对于三元组 $(21, 21, 321)$ 的 Jack LR 多项式 $G_\star$，当在钩子空间中观察时，它在群 $S_6 \times \mathbb{Z}_2$ 下是不变的。该群被识别为 Johnson 图 $J(6, 3)$ 的自同构群。这种对称性是“非显式的”，意味着它并不明显地存在于原始的 26 项 Stanley 和中，后者仅表现出 $S_5$ 对称性。
• 超平面因式分解（定理 4.3）：本文证明了当多项式 $G_\star$ 限制在任意边界超平面 $h^A_b = 0$ 上时，26 个图的和坍缩为单个 Stanley 图，记为 $E(b, A)$。这个“边界数据”是 10 个钩子的乘积。这种简化是多项式在钩子空间中的结构以及在该空间中消失的特定“核函数”存在性的结果。
• 整除性猜想（猜想 6.4）：基于超平面简化以及相邻分拆三元组（相差一个方格移动或“枢轴”）之间的关系，作者猜想了一个通用的相容性关系。具体而言，对于两个相差在方格 $b$ 处有一个枢轴移动的三元组，它们的 Jack LR 系数之差可被共享的钩子长度 $h^U_{\sigma_1}(b) = h^L_{\sigma_2}(b)$ 整除。
  • 证据：本文明确验证了 $(21, 21, 321)$ 和 $(21, 21, 2211)$ 这一对情形，表明它们的差可被 $(3+2\alpha)$ 整除。
• 非负性：本文将这些结构发现与“强 Stanley 猜想”联系起来，该猜想认为 Jack LR 系数的分子是关于 $\alpha$ 的非负多项式。作者提供了一个坐标变换（观察 5.16），表明在特定代换下，该多项式会产生非负系数，尽管这仍然是一个依赖于所提出的 Stanley 和规则有效性的猜想。

意义与主张
本文声称揭示了 Jack LR 系数中超越其作为有理函数定义的“隐藏结构”。

• 结构洞察：$S_6 \times \mathbb{Z}_2$ 对称性的识别表明，Jack 系数与 Johnson 图的组合学以及根系统 $A_5$ 之间存在深层联系。
• 统一性：超平面因式分解性质意味着系数的复杂全局结构在局部上由简单的边界数据（单个图）决定。
• 推广：作者猜想整除性性质（猜想 6.4）和超平面简化适用于所有 Jack LR 系数，而不仅仅是所研究的特定情形。此外，本文推测这些性质可扩展到移位 Jack 系数和 Macdonald 多项式（猜想 6.6 和 6.9），这表明支配这些对称函数展开的是一种普适的结构原理。

本文并未声称已完全证明强 Stanley 猜想，但论证了所发现的对称性和因式分解性质为理解和潜在证明此类非负性结果提供了一个稳健的框架。本文高度依赖文献 [7] 中发现的特定 26 项 Stanley 和作为给定的研究对象，利用其性质推导出新的对称性和猜想。