Formal multiple Eisenstein series and their derivations

技术摘要：形式化多元爱森斯坦级数及其导数

问题陈述
本文探讨了多元爱森斯坦级数的代数结构及其与多元 zeta 值（MZVs）及（拟）模形式之间的关系。虽然经典的多元爱森斯坦级数（由 Gangl–Kaneko–Zagier 引入）及其正则化版本满足复杂的代数关系，但仍缺乏一个纯粹的形式化框架，能够在不依赖于解析收敛性或特定 $q$-级数实现的情况下捕捉这些关系。具体而言，作者试图定义一个“形式化”代数，以镜像经典爱森斯坦级数的代数性质（包括其在导数下的行为），并建立该形式化代数与形式化多元 zeta 值代数之间的严谨联系。

方法论
作者通过组合与代数方法构建了形式化多元爱森斯坦级数代数，记作 $\mathcal{G}_f$：

1. 代数设置： 他们定义了一个字母表 $\mathcal{A} = \{ \binom{k}{d} \mid k \ge 1, d \ge 0 \}$，并考虑自由代数 $\mathbb{Q}\langle \mathcal{A} \rangle$。他们为该空间配备了一个“stuffle”乘积（一种准分划乘积/quasi-shuffle product），其规则为 $\binom{k_1}{d_1} \ast \binom{k_2}{d_2} = \binom{k_1+k_2}{d_1+d_2}$，这扩展了用于 MZVs 的标准 stuffle 乘积。
2. 交换不变性（Swap Invariance）： 关键的一步是引入了一个线性映射 $\sigma$（“交换”映射），作用于 $\mathcal{A}$ 中单词的生成级数。该映射的动机来自于多元爱森stein 级数 $q$-级数展开中观察到的分划共轭现象。代数 $\mathcal{G}_f$ 被定义为由元素 $\sigma(w) - w$ 生成的理想所构成的 $(\mathbb{Q}\langle \mathcal{A} \rangle, \ast)$ 的商代数。这使得“交换不变性”成为一项基本关系。
3. 导数： 作者在底层自由代数上引入了三个特定的导数：$W$、$D$ 和 $\delta$。他们证明这些导数是 $\sigma$-等变的（与交换映射交换），从而确保它们在商代数 $\mathcal{G}_f$ 上是良定义的导数。
   • $W$ 作为权重算子。
   • $D$ 是一个增加权重的导数（类似于 $q \frac{d}{dq}$）。
   • $\delta$ 是一个更复杂的权重为 $-2$ 的导数，由五个特定准分划代数上的导数求和构造而成。
4. 向 MZVs 的商映射： 他们将形式化多元 zeta 值代数 $\mathcal{Z}_f$ 定义为 $\mathcal{G}_f$ 对由不属于 $\binom{1, \dots, 1, k_1, \dots, k_r}{d_1, \dots, d_s, 0, \dots, 0}$ 形式的单词生成的理想 $N$ 的商。这对应于向“常数项”的投影。

主要贡献与结果

• $\mathcal{G}_f$ 的定义： 本文正式定义了 $\mathcal{G}_f$ 为形式化多元爱森斯坦级数代数。研究表明，单下标元素 $G_f(k_1, \dots, k_r)$（其中 $d_i=0$）满足与经典爱森斯坦级数相同的代数关系，包括递归公式（推论 2.11）和广义欧拉关系（推论 2.12）。
• $sl_2$-代数结构： 主要结果（定理 1.2，定理 4.12）确立了 $\mathcal{G}_f$ 是一个 $sl_2$-代数。导数 $W, D, \delta$ 满足交换子关系：
  $$[W, D] = 2D, \quad [W, \delta] = -2\delta, \quad [\delta, D] = W.$$
  这将在拟模形式的 $sl_2$-结构推广到了多元爱森斯坦级数的范畴。
• 与形式化 MZVs 的联系： 定理 1.1 证明了存在一个全纯代数同态 $\pi: \mathcal{G}_f \to \mathcal{Z}_f$（形式化多元 zeta 值），它将 $G_f(k_1, \dots, k_r)$ 映射到 $\zeta_f(k_1, \dots, k_r)$。该映射的核被明确描述。定理 2.17 表明，通过这种方式定义的形式化多元 zeta 值满足扩展的双分划关系（extended double shuffle relations），证实了形式化方法的自洽性。
• 形式化拟模形式： 由 $G_f(2), G_f(4), G_f(6)$ 生成的子代数 $\mathcal{M}_f \subset \mathcal{G}_f$ 被证明作为 $sl_2$-代数同构于经典拟模形式代数 $\tilde{M}$（定理 5.4）。该子代数满足拉曼努金微分方程和 Chazy 方程。
• 形式化模形式与尖点形式： 作者将形式化模形式 $\mathcal{M}_f$ 定义为 $\mathcal{M}_f$ 中 $\delta$ 的核，并将形式化尖点形式 $\mathcal{S}_f$ 定义为 $\mathcal{M}_f$ 中 $\pi$ 的核。他们证明这些空间与它们的经典对应空间是同构的（命题 5.7，推论 5.9）。
• 平衡设置（Balanced Setup）： 附录（及第 6 节）描述了由 Nils Matthes（及 Burmester）引入的“平衡设置”，它提供了一种通过不同字母表的自由代数的商来实现 $\mathcal{G}_f$ 的另一种同构方式，从而为 stuffle 乘积和交换不变性提供了不同的视角。

意义

本文声称提供了一种“新颖且纯粹形式化的处理（经典）（拟）模形式）的方法”。通过构建 $\mathcal{G}_f$，作者建立了一个连接形式化多元 zeta 值与模形式的新纽带，该纽带不依赖于 $q$-级数的解析性质或爱森斯坦级数的收敛性。

其意义在于：

1. 统一性： 它将多元 zeta 值与多元爱森斯坦级数的代数结构统一在一个单一的形式化框架下，在该框架中，“常数项”投影是一个代数同态。
2. 导数： 它将拟模形式的 $sl_2$-代数结构扩展到了多元爱森斯坦级数的领域，并为此前仅在经典解析设置中已知的导数提供了显式公式。
3. 形式化关系： 它为扩展的双分划关系提供了新的视角，表明这些关系等价于交换不变性、stuffle 乘积以及定义形式化 MZVs 的特定商运算的结合。

作者指出，虽然有猜想认为 $\mathcal{G}_f$ 由单下标元素生成（猜想 2.6），并且与组合多元爱森斯坦级数空间同构（猜想 4.18），但这些仍是开放性问题。这项工作为进一步探索这些联系奠定了代数基础。