Congruences for hook lengths of partitions

技术摘要：分拆钩长（Hook Lengths）的同余性质

问题陈述
本文研究了特定整数分拆子集中，固定长度为 $t$ 的钩长数量的组合同余问题。虽然已知结果（由 Bessenrodt 以及 Bacher 和 Manivel 给出）表明，所有 $n$ 的分拆中长度为 $t$ 的钩长总数对于 $t$ 同余于 $0 \pmod t$，但最近由 Amdeberhan 等人的工作确立了在 $t$ 为偶数时，自共轭分拆（self-conjugate partitions）也满足类似的同余关系。本文旨在解决的主要问题是更直接地推导这些现有结果，将它们推广到涉及奇数 $t$ 的情况（在特定限制下），并将这些同余性质扩展到由 Ayyer 和 Kumari 定义的更广泛的 $z$-非对称分拆（$z$-asymmetric partitions）类。

研究方法
作者采用了Littlewood 分解，这是一种分拆理论中的经典双射，它将一个分拆 $\lambda$ 映射为一对（或一组）由 $t$-核（$t$-core）$\omega$ 和 $t$-商（$t$-quotient）$\nu$ 组成的元组。该方法依赖于两个主要的理论工具：

1. 加法定理（Addition Theorems）： 利用通过 Littlewood 分解导出的形式幂级数恒等式，将分拆子集中钩长的生成函数与底层核和商的生成函数联系起来。
2. 乘法定理（Multiplication Theorems）： 利用生成函数的乘积公式来推导分拆集的结构性质。

本文特别将这些定理应用于：

• 自共轭分拆 ($SC$)： 在这种情况下，Littlewood 分解会产生特定的商对称性。
• $z$-非对称分拆 ($P_z$)： 由 Frobenius 表示法 $\lambda = \binom{a_1+z, \dots, a_d+z}{a_1, \dots, a_d}$ 定义。
• 受限子集 ($BG_{z,t}$)： 一个由主钩长（principal hook lengths）条件定义的 $P_z$ 子集，这些条件确保 $t$-商的分量行为能够实现因子分解。

核心贡献与结果

1. 自共轭分拆的推导与推广：
   作者证明了自共轭分拆中 $a^*_t(n) \equiv 0 \pmod t$（其中 $t$ 为偶数）这一结论，是第二作者在前作中证明的一个加法定理的直接推论。他们通过将集合限制在 $BG_t$（即 $t$-核的关联向量满足特定条件的 $SC$分拆）中，进一步将其推广到奇数$t$ 的情况。他们建立了精确的计数公式：
   $$a^*_t(n) = (t-1) \sum_{j \ge 1} |BG_t(n - 2jt)|$$
   这表明对于奇数 $t$，有 $a^*_t(n) \equiv 0 \pmod{t-1}$。

2. 向 $z$-非对称分拆的扩展：
   本文为 $BG_{z,t}$ 集（一个特定的 $z$-非对称分拆子集）引入了一个加法-乘法定理（定理 1.9）。该定理提供了一个涉及定义在所有分拆上的形式幂级数 $f_t$ 和 $g_t$ 的生成函数恒等式，并专门应用于子集 $BG_{z,t}$。

   • 定理 1.9 建立了 $BG_{z,t}$ 中钩长的生成函数与 $q$-Pochhammer 符号乘积之间的关系。
   • 推论 1.10 导出了一个同余结果：$BG_{z,t}$ 中长度为 $t$ 的钩长数量（记作 $a_{z,t}(n)$）满足：
     $$a_{z,t}(n) \equiv 0 \pmod{2\lfloor (t-z)/2 \rfloor}$$
   • 该结果统一并扩展了先前的发现，恢复了自共轭情形（$z=0$）和“倍增不同（doubled distinct）”情形（$z=1$）。

3. 特定情形与生成函数：

   • 倍增不同分拆 ($DD = P_1$)： 本文提供了 $DD$分拆（其中$z=1$）的显式生成函数和同余性质，表明对于$t \ge 2$，集合$BG_{1,t}$中长度为$t$的钩长数量可被$2\lfloor (t-1)/2 \rfloor$ 整除。
   • 模态 Nekrasov–Okounkov 恒等式： 作者展示了一个限制在集合 $BG_{z,t}$ 上的 Nekrasov–Okounkov 恒等式的模态版本，推广了以往通过 Littlewood 分解导出的模态恒等式。

意义与主张
本文声称其主要意义在于提供了一个用于推导钩长同余性质的统一框架。通过利用与 Littlewood 分解相关的加法和乘法定理，作者表明：

• 已知的自共轭分拆同余性质并非孤立现象，而是分解底层代数结构的直接结果。
• 这些结果可以系统地扩展到与经典群（$O(2n, \mathbb{C})$, $Sp(2n, \mathbb{C})$, $SO(2n+1, \mathbb{C})$）的表示论相关的 $z$-非对称分拆。
• 对集合 $BG_{z,t}$ 的限制是必要的；作者指出，如果没有这些限制（例如考虑整个集合 $P_z$），对于奇数 $t-z$ 或特定的偶数情况，此类同余性质通常不成立，因为存在计数为 1 的反例。

这项工作并非提出新的实验应用，而是阐明了分拆背后现有数论性质的组合机制，为这些结果提供了更直接的路径，并扩大了其适用范围至 $z$-非对称分拆。