Schur Eisenstein series and Schur MacMahon series

技术摘要：Schur Eisenstein 级数与 Schur MacMahon 级数

问题陈述
本文探讨了两类由分拆（partitions）索引的拟模形式（quasimodular forms）之间的结构关系：经典的 MacMahon 除数和（推广至 Schur MacMahon 级数）与多元 Eisenstein 级数（推广至 Schur Eisenstein 级数）。虽然此前已有作者建立了单列情况（MacMahon 级数 $A_r$ 与全 2 元多元 Eisenstein 级数 $G_{\{2\}r}$）之间的关系，但仍缺乏一个针对任意杨图（Young diagrams）的统一框架。作者旨在定义这些推广的族，建立它们之间的显式转换，分析它们在经典 $\mathfrak{sl}_2$ 作用下的微分结构，并研究它们在形成拟模形式环（特别是关于整系数方面）中所扮演的角色。

方法论
作者采用对称函数理论作为统一的语言。他们定义了三个从对称函数环 $\Lambda$（在 $\mathbb{Q}$ 上）到拟模形式环 $\mathcal{M}$ 的代数同态：

1. $\Phi_\beta$：将幂和 $p_r$ 映射到重整化后的 Schur 多元 $\zeta$ 值 $\beta_{2r} = \zeta(2r)/(2\pi i)^{2r}$。
2. $\Phi_g$：将 $p_r$ 映射到 MacMahon 级数 $P_r = \sum_{m \ge 1} (q^m/(1-q^m)^2)^r$。在这一映射下，Schur 函数 $s_\lambda$ 的像即为 Schur MacMahon 级数 $g(\lambda)$。
3. $\Phi_G$：将 $p_r$ 映射到重整化后的 Eisenstein 级数 $G_{2r}$。其对 $s_\lambda$ 的像为 Schur Eisenstein 级数 $G(\lambda)$。

核心方法论包括：

• Hopf 代数转换：利用 $\Lambda$ 上的变形 Faà di Bruno 余积 $\Delta_F$ 来构造一个自同构 $\theta$，使得 $\Phi_G = \Phi_g \circ \theta$。这通过将两族之间的转换解释为 Hopf 代数中的卷积。
• 组合分析：利用第一类和第二类中心阶乘数（central factorial numbers）来显式计算转换 $\theta$ 的系数。
• 微分微积分：定义 $\Lambda$ 上的导子（derivations）($D_\Lambda, W_\Lambda, \delta_\Lambda$)，用以提升经典 $\mathcal{M}$ 上的 $\mathfrak{sl}_2$-三元组作用（权重分级、导数 $q \frac{d}{dq}$ 以及算子 $\delta = -\frac{1}{2}\frac{\partial}{\partial G_2}$）。
• 2-进除性（2-adic Divisibility）：利用 Weierstrass 微分方程的性质以及 Eisenstein 多项式的 2-进估值来证明线性无关性结果。

主要贡献与结果

1. 显式转换定理（主定理 A）：
   作者证明了 Schur Eisenstein 级数 $G(\lambda)$ 可以表示为 Schur MacMahon 级数 $g(\mu)$ 的线性组合，其中 $\mu$ 是 $\lambda$ 的子图。具体而言，$G(\lambda) = \beta(\lambda) + \sum_{0 < |\mu| < |\lambda|} d_\lambda(\mu) g(\mu) + g(\lambda)$。系数 $d_\lambda(\mu)$ 是整数（重整化 $\zeta$ 值的线性组合），并由中心阶乘数决定。该转换通过 $\Lambda$ 的自同构 $\theta$ 实现，该自同构被证明是与 $\zeta$ 特征映射与 MacMahon 特化相关的绕行自同构（winding automorphism）。

2. $\mathfrak{sl}_2$-结构（主定理 B）：
   论文在对称函数环 $\Lambda$ 上构造了经典 $\mathfrak{sl}_2$-三元组 $(D, W, \delta)$ 的提升。

   • 降低算子 $\delta$ 通过对所有通过从 $\lambda$ 中移除单个方块得到的分拆进行求和来作用于 $G(\lambda)$。
   • 提升算子 $D$ 通过涉及列级数 $G_{\{2\}k}$ 的行列式公式作用于 $G(\lambda)$。
   • 作者展示了通过 $\theta$ 对该三元组进行共轭运算，可以得到一个适配于 Schur MacMahon 级数 $g(\lambda)$ 的相应三元组，从而恢复了 Andrews–Rose 导数公式。

3. 基定理（主定理 C）：
   作者证明了对于任何权重 $2n$，集合 $\{G(\lambda) \mid \lambda \vdash n, \lambda_1 \le 3\}$ 构成了拟模形式空间 $\mathcal{M}_{2n}$ 的一组基。

   • 证明依赖于从单项式基 $G_2^a G_4^b G_6^c$ 到 Schur 基的转换矩阵在模 2 下是上单位三角的。
   • 这确立了部分大小至多为 3 的分拆足以生成整个拟模形式环，镜像了 $\mathcal{M} = \mathbb{Q}[G_2, G_4, G_6]$ 这一事实。

4. 整系数扩张猜想（主猜想 D）：
   论文定义了整格 $\mathcal{M}_\mathbb{Z} = \mathcal{M} \cap \mathbb{Z}[[q]]$，以及由具有整数系数的 Schur MacMahon 级数生成的子环 $\mathcal{G}_\mathbb{Z} = \mathbb{Z}[A_1, A_2, \dots]$。

   • 作者猜想 $\mathcal{G}_\mathbb{Z} = \mathcal{M}_\mathbb{Z}$，即 Schur Mac McMahon 级数生成了整个拟模形式的整格。
   • 他们提供了计算证据，验证了该等式在权重高达 16 时成立，并提出了一个精细界限 $B(k)$，用于确定生成权重 $\le k$ 的形式所需的最小分拆规模。

意义与主张
该论文声称通过 Schur Eisenstein 级数，为 MacMahon 的混合权重级数提供了一个“自然的齐次修正”，并将此前从单列到任意杨图的结果进行了推广。通过将这两族之间的转换通过 Faà di Bruno Hopf 代数的视角进行解释，作者在单一的对称函数框架内统一了常数项（$\zeta$ 值）、过滤结构（MacMahon 级数）以及齐次结构（Eisenstein 级数）。

基定理的意义在于识别了一个特定的、组合上自然的候选分拆集合（最大部分大小为 3 的分拆），该集合可以生成整个拟模形式空间，为 $\mathcal{M}$ 的代数结构提供了新的视角。整系数猜想表明，Schur MacMahon 级数不仅是一个有理基，也是一个完备的整系数基，捕捉了拟模形式环中所有的除法同余关系。作者指出，虽然有理生成已得到证明，但整系数相等性仍是一个由权重 16 的计算验证所支持的猜想。