Schur Eisenstein series and Schur MacMahon series

技術要約：シューア・アイゼンシュタイン級数とシューア・マクマホン級数

問題提起
本論文は、分割によってインデックス付けされた2つの準モジュラー形式の族、すなわち古典的なマクマホンの約数和（シューア・マクマホン級数へと一般化されたもの）と、多重アイゼンシュタイン級数（シューア・アイゼンシュタイン級数へと一般化したもの）の間の構造的関係を取り扱う。単一列の場合（マクマホン級数 $A_r$ と全2成分の多重アイゼンシュタイン級数 $G_{\{2\}r}$）の間の関係は著者によって既に確立されていたが、任意のヤング図形に対する統一的な枠組みが欠けていた。著者らは、これらの一般化された族を定義し、それらの間の明示的な遷移を確立し、古典的な $\mathfrak{sl}_2$ 作用下での微分構造を分析し、特に整数係数に関する準モジュラー形式の環の基底を形成する上での役割を調査することを目的としている。

手法
著者らは、統一的な言語として対称関数の理論を用いる。彼らは、対称関数の環 $\Lambda$（$\mathbb{Q}$ 上）から準モジュラー形式の環 $\mathcal{M}$ への3つの代数準同型を定義する：

1. $\Phi_\beta$: べき和 $p_r$ を、繰り上げられたシューア多重ゼータ値 $\beta_{2r} = \zeta(2r)/(2\pi i)^{2r}$ に写像する。
2. $\Phi_g$: $p_r$ をマクマホン級数 $P_r = \sum_{m \ge 1} (q^m/(1-q^m)^2)^r$ に写像する。この写像によるシューア関数 $s_\lambda$ の像が、シューア・マクマホン級数 $g(\lambda)$ である。
3. $\Phi_G$: $p_r$ を繰り上げられたアイゼンシュタイン級数 $G_{2r}$ に写像する。そのシューア関数 $s_\lambda$ の像が、シューア・アイゼンシュタイン級数 $G(\lambda)$ である。

核となる手法は以下の通りである：

• ホップ代数的遷移: $\Lambda$ 上の変形されたファア・ディ・ブルー余積 $\Delta_F$ を用いて、$\Phi_G = \Phi_g \circ \theta$ となる自己同型 $\theta$ を構成する。これは、これら2つの族の間の遷移を、ホップ代数における畳み込みとして解釈するものである。
• 組合せ論的分析: 中心階乗数（第1種および第2種）を用いて、遷移 $\theta$ の係数を明示的に計算する。
• 微分解析: $\mathcal{M}$ 上の古典的な $\mathfrak{sl}_2$ 三つ組の持ち上げとなる、$\Lambda$ 上の微分（$D_\Lambda, W_\Lambda, \delta_\Lambda$）（重み次数、微分 $q \frac{d}{dq}$、および演算子 $\delta = -\frac{1}{2}\frac{\partial}{\partial G_2}$）を定義する。
• 2進的（2-adic）可除性: Weierstrassの微分方程式の性質と、アイゼンシュタイン多項式の2進付値を用いて、線形独立性の結果を証明する。

主要な貢献と結果

1. 明示的遷移定理 (主定理 A):
   著者らは、シューア・アイゼンシュタイン級数 $G(\lambda)$ が、$\lambda$ の部分図形 $\mu$ を用いたシューア・マクマホン級数 $g(\mu)$ の線形結合として表されることを証明する。具体的には、$G(\lambda) = \beta(\lambda) + \sum_{0 < |\mu| < |\lambda|} d_\lambda(\mu) g(\mu) + g(\lambda)$ である。係数 $d_\lambda(\mu)$ は整数（繰り上げられたゼータ値の線形結合）であり、中心階乗数によって決定される。この遷移は、$\Lambda$ の自己同型 $\theta$ を通じて実現され、これはゼータ特性とマクマホン特殊化の畳み込みに関連するワインディング自己同型であることが示されている。

2. $\mathfrak{sl}_2$ 構造 (主定理 B):
   本論文は、$\mathcal{M}$ 上の古典的な $\mathfrak{sl}_2$ 三つ組 $(D, W, \delta)$ の持ち上げを $\Lambda$ 上に構成する。

   • 低減演算子 $\delta$ は、$\lambda$ から1つのボックスを取り除くことで得られるすべての分割への和として $G(\lambda)$ に作用する。
   • 昇格演算子 $D$ は、列級数 $G_{\{2\}k}$ を含む行列式公式を通じて $G(\lambda)$ に作用する。
   • 著者らは、この三つ組を $\theta$ によって共役変換することで、Andrews–Roseの微分公式に対応する、シューア・マクマホン級数 $g(\lambda)$ に適応した三つ組が得られることを示す。

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$ からシューア基底への遷移行列が、2を法として上三角単位行列であるという事実に依拠している。
   • これにより、部分のサイズが最大3の分割を用いることで、準モジュラー形式の環全体を生成できることが示され、これは $\mathcal{M} = \mathbb{Q}[G_2, G_4, G_6]$ である事実を反映している。

4. 整数生成に関する予想 (主予想 D):
   本論文は、整数格子 $\mathcal{M}_\mathbb{Z} = \mathcal{M} \cap \mathbb{Z}[[q]]$ と、整数係数を持つシューア・マクマホン級数によって生成される部分環 $\mathcal{G}_\mathbb{Z} = \mathbb{Z}[A_1, A_2, \dots]$ を定義する。

   • 著者らは、$\mathcal{G}_\mathbb{Z} = \mathcal{M}_\mathbb{Z}$ であること、すなわちシューア・マクマホン級数が準モジュラー形式の整数格子全体を生成することを予想している。
   • 彼らは、重み16までの等価性を検証する計算的証拠を提示し、重み $\le k$ の形式を生成するために必要な分割のサイズに関する精緻な境界 $B(k)$ を提案している。

意義と主張
本論文は、マクマホンの混合重み級数に対し、シューア・アイゼンシュタイン級数を通じて「自然な同次補正」を提供することを主張しており、これは単一列の結果を任意のヤング図形へと一般化したものである。これら2つの族の間の遷移をファア・ディ・ブルー・ホップ代数の観点から解釈することにより、定数項（ゼータ値）、フィルタ構造（マクマホン級数）、および同次構造（アイゼンシュタイン級数）を、単一の対称関数フレームワーク内で統一している。

基底定理の意義は、準モジュラー形式の空間全体を生成するための、組合せ論的に自然な特定の分割のサブセット（最大部分サイズが3の分割）を特定したことにあり、これは $\mathcal{M}$ の代数的構造に対する新しい視点を提供する。整数生成の予想は、シューア・マクマホン級数が単なる有理基底ではなく、完全な整数基底であり、準モジュラー形式の環におけるすべての分割可能な合同性を捉えていることを示唆している。著者らは、有理的な生成は証明されているものの、整数的な等価性は重み16までの計算的検証に支えられた予想であると述べている。