Dimension formulas for modular form spaces of rational weights, the classification of eta-quotient characters and an extension of Martin's theorem

技術的要約：有理数重みのモジュラー形式空間の次元公式、エータ商による指標の分類、およびマーティンの定理の拡張

問題提起
本論文は、有理数重みのモジュラー形式、特に分数次数のエータ商によって誘導される乗法系（multiplier systems）を持つものに対して、体系的な注意や明示的な計算ツールが不足しているという問題に対処している。整数重みや半整数重みの場合は次元公式が存在するが（多くの場合、ディリクレ指標やテータ級数の乗法系に依存する）、エータ商の分数次数の指数を持つ場合の一般的な有理数重み $k \in \mathbb{Q}$ に関する明示的な公式は、極めて乏しいか不完全である。さらに、$\Gamma_0(N)$ の二重被覆上のエータ商によって誘導される指標の分類、およびこれらの有理数重みの設定への乗法的性質（ヘッケ固有形式の振る舞い）の拡張は、未解決の課題として残されている。

手法
著者は、ピーターソン [Pet38] によって確立された手法に従い、古典的なリーマン・ロッホの定理およびリーマン・フルヴィッツの公式に基づく、因子理論的アプローチを採用している。核心となる技術的枠組みは以下の通りである：

1. D-被覆形式論 (D-Cover Formalism): 有理数次数の自明な交代因子 $(c\tau+d)^k$ における多価性を扱うために、$GL_2^+(\mathbb{R})$ の $D$-被覆を利用する。これにより、乗法系を被覆上の群の指標として扱うことが可能になる。
2. 因子構成 (Divisor Construction): コンパクトなモジュラー曲線 $X_{\Gamma_0(N)}$ 上の有理数重みの有理メロモルフィック・モジュラー形式に対し、$\mathbb{Q}$ 値の因子を割り当てる。これにより、有理数重みに対する価数公式（valence formula）が、重み $k$ と群の指数を用いて確立される。
3. 明示的な評価: エータ商の乗法系に対する因子論的公式の明示的な評価を行う。これには、デデキント和と変換公式を用いた、カスプにおけるエータ商の位数の計算が含まれる。
4. 線形代数と反転: 指数とカスプにおける位数の関係を解くために、バッタチャリヤの研究に基づく可逆行列変換を利用し、与えられた位数から指数を、あるいはその逆を求める。
5. ヘッケ作用素の拡張: 乗法的性質に関する応用として、ダブルコセット作用素のヴォールファートの理論を、任意の乗法系を持つ有理数重みおよびエータ商へと拡張し、これらの作用素がフーリエ係数に与える作用の明示的な公式を導出する。

主要な貢献と結果

1. 明示的な次元公式（主定理）:
   本論文は、$k \in \mathbb{Q}$ であり、$\chi$ が分数次数の指数 $r_n \in \mathbb{Q}$ を持つエータ商 $f = \prod_{n|N} \eta(n\tau)^{r_n}$ によって誘導される乗法系である場合の $\dim_{\mathbb{C}} M_k(\Gamma_0(N), \chi)$ の明示的な公式を提供する。

• この公式は、重み $k$ とレベル $N$ およびカスプにおける次数との間の特定の条件（具体的には $k > 2 - \dots$ または次元が十分に大きい場合）の下で有効である。
• 本論文は、乗法系がディリクレ指標やテータ級数によって誘導されないケースも含め、イブキヤマらによる先行研究を一般化している。
• 重み $1/2, 1, 3/2$ および小さなレベルにおける完全な次元のリストが、表として生成・提示されている。

2. エータ商による指標の分類:
   $\Gamma_0(N)$ の二重被覆上の整数次数のエータ商によって誘導される線形指標を完全に分類した。

• これらの指標と、特定の指数ベクトル（部分群 $Z(N)$ によるモジュロ）との間に全単射を確立した。
• 様々なレベルに対する具体的なカウントを提供している。例えば、固定された重み $k \in \frac{1}{2}\mathbb{Z}$ に対して、二重被覆上のエータ商による指標は正確に384個存在する（レベル $\Gamma_0(4)$ の場合）。

3. マーティンの定理の拡張:
   イヴ・マーティンによる、乗法的（multiplicative）な整数の重みおよびディリクレ指標の乗法系を持つエータ商の分類（1996年）を、より広い設定へと拡張した。

• 一般化された乗法性: 任意の乗法系を持つエータ商へと乗法性の定義を拡張した。
• 許容されるエータ商 (Admissible Eta-Quotients): 「許容される」エータ商（一次元の空間に含まれるもの、または特定のカスプ形式の条件を満たすもの）を特定し、それらが一般化されたヘッケ作用素（ヴォールファートの拡張）の固有形式であることを証明した。
• 結果の表: レベル $N \in \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 19, 21, 27\}$ における、2,277個の許容されるエータ商（タイプI）を含む表を提示している。
• 恒等式: これらのエータ商のフーリエ係数に関する新しい恒等式を導出し、特定の条件下で $c_f(n_1)c_f(n_2) = c_f(n_1 n_2)$ （$n_1, n_2$ が互いに素である場合）となることを示した。

4. 無限積への応用:
   次元公式の直接的な応用として、特定の $q$-積の $n$ 乗根のフーリエ係数の級数表現を導出した。あるエータ商がアイゼンシュタイン級数に比例する一次元空間に含まれることを特定することで、係数の明示的な公式が得られる。

意義と主張
本論文は、エータ商の乗法系を持つ有理数重みのモジュラー形式のための、初の完全に明示的な次元公式を提供することで、理論の空白を埋めるものであると主張している。これらの公式は単なる理論的なものではなく、広範な表の生成やSageMathプログラムによって示されているように、計算的に有効である。

マーティンの定理の拡張に関しては、既知の乗法的エータ商の範囲を大幅に広げたことを主張している。ディリクレ指標の乗法系という制約を緩和し、D-被覆を用いることで有理数重みを取り入れることにより、2,000個以上の新しいヘッケ固有形式を特定した。論文は、これらの結果が「一次元空間の特定」という手法に基づいていることを強調している。この手法により、一般の有理数重みに対するヘッケ理論（著者がまだ十分に発展していないと述べている）を完全には必要とせずに、フーリエ係数の非自明な関係を導出することが可能となっている。

本研究は、分数次数の指数を持つエータ商の算術的性質や、非合同（non-congruence）モジュラー形式をさらに探求するための、必要なツール（次元公式、指標の分類、作用素の挙動）を提供する基礎的なステップとして提示されている。