Formal multiple Eisenstein series and their derivations

技術要約：形式的多重アイゼンシュタイン級数とその導関数

問題の所在
本論文は、多重アイゼンシュタイン級数の代数的構造と、多重ゼータ値（MZV）および（準）モジュラー形式との関係を扱っている。古典的な多重アイゼンシュタイン級数（Gangl–Kaneko–Zagierによって導入されたもの）やその正則化版は複雑な代数的関係を満たすが、解析的な収束や特定の $q$ 級数実現に依存することなく、これらの関係を捉える純粋に形式的な枠組みは欠けていた。具体的には、著者らは、古典的なアイゼンシュタイン級数の代数的性質（その導関数の振る舞いを含む）を反映し、かつ形式的多重ゼータ値の代数と厳密な関連を確立する「形式的」な代数を定義することを目的としている。

手法
著者らは、組合せ論的および代数的なアプローチを通じて、形式的多重アイゼンシュタイン級数の代数 $\mathcal{G}_f$ を構成する：

1. 代数的セットアップ： 彼らはアルファベット $\mathcal{A} = \{ \binom{k}{d} \mid k \ge 1, d \ge 0 \}$ を定義し、自由代数 $\mathbb{Q}\langle \mathcal{A} \rangle$ を考える。この空間に、$\binom{k_1}{d_1} \ast \binom{k_2}{d_2} = \binom{k_1+k_2}{d_1+d_2}$ という規則によって定義される「スタッフル（stuffle）」積（準シャッフル積）を付与する。これはMZVで用いられる標準的なスタッフル積を拡張したものである。
2. スワップ不変性（Swap Invariance）： 重要なステップとして、$\mathcal{A}$ における単語の生成級数に作用する線形写像 $\sigma$（「スワップ」）の導入がある。この写像は、多重アイゼンシュタイン級数の $q$ 級数展開において観察される分割の共役性に着想を得ている。代数 $\mathcal{G}_f$ は、$\sigma(w) - w$ の形の要素によって生成されるイデアルによる $(\mathbb{Q}\langle \mathcal{A} \rangle, \ast)$ の商として定義される。これにより、「スワップ不変性」が基本的な関係として課される。
3. 導関数： 著者らは、基礎となる自由代数上の3つの特定の導関数 $W, D, \delta$ を導入する。これらの導関数は $\sigma$-等変（スワップ写像と可換）であることを証明しており、これにより商代数 $\mathcal{G}_f$ 上にウェルディファインドな導関数として降下することが保証される。
   • $W$ は重み演算子として作用する。
   • $D$ は重みを2増加させる導関数として作用する（$q \frac{d}{dq}$ に類似）。
   • $\delta$ は、5つの特定の準シャッフル代数上の導関数の和として構成される、重み $-2$ のより複雑な導関数である。
4. MZVへの商： 著者らは、形式的多重ゼータ値の代数 $\mathcal{Z}_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$ の定義： 本論文は、形式的多重アイゼンシュタイン級数の代数として $\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$ 構造を、多重アイゼンシュタイン級数の設定へと一般化するものである。
• 形式的多重ゼータ値との接続： 定理 1.1 は、$G_f(k_1, \dots, k_r)$ を $\zeta_f(k_1, \dots, k_r)$ に写す全射代数準同型写像 $\pi: \mathcal{G}_f \to \mathcal{Z}_f$（形式的多重ゼータ値）の存在を証明している。この写像の核は明示的に記述されている。定理 2.17 は、このように定義された形式的多重ゼータ値が拡張ダブルシャッフル関係を満たすことを示し、形式的手法の整合性を確認している。
• 形式的準モジュラー形式： $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）。
• バランスされたセットアップ： 付録（およびセクション 6）では、Nils Matthes（およびBurmester）によって導入された「バランスされたセットアップ」について述べている。これは、異なるアルファベット上の自由代数の商として $\mathcal{G}_f$ との代替的な同型を与えるものであり、スタッフル積とスワップ不変性に対する異なる視点を提供する。

意義
本論文は、古典的な（準）モジュラー形式に対する「斬新かつ純粋に形式的なアプローチ」を提供すると主張している。$\mathcal{G}_f$ を構築することで、著者らは、 $q$ 級数の解析的性質やアイゼンシュタイン級数の収束に依存しない、形式的多重ゼータ値とモジュラー形式の間の新しい結びつきを構築している。

その意義は以下の点にある：

1. 統一： 「定数項」への射影が代数準同型となる単一の形式的枠組みの下で、多重ゼータ値と多重アイゼンシュタイン級数の代数的構造を統一している。
2. 導関数： 準モジュラー形式の $sl_2$-代数構造を多重アイゼンシュタイン級数の領域へと拡張し、以前は古典的な解析の設定においてのみ知られていた明示的な導関数の公式を提供している。
3. 形式的関係： 拡張ダブルシャッフル関係が、スワップ不変性、スタッフル積、および形式的多重ゼータ値を定義する特定の商の組み合わせと等価であることを示すことで、新たな視点を提供している。

著者らは、$\mathcal{G}_f$ が単一インデックスの要素によって生成されるという予想（予想 2.6）や、組合せ的多重アイゼンシュタイン級数の空間と同型であるという予想（予想 4.18）は依然として未解決であると注記している。本研究は、これらの接続をさらに探求するために必要な代数的基礎を確立するものである。