[論文レビュー] Congruences for traces of singular moduli and Hurwitz - Kronecker class numbers

Pavel Guerzhoy|arXiv (Cornell University)|Feb 23, 2026

Advanced Mathematical Identities被引用数 0

ひとこと要約

論文本体は、再帰的な U-operator の作用と過剰収束法を通じて、特異モジュラスの痕跡と Hurwitz–Kronecker 类数の諜の同値を研究する p-進・半積分ウェイトのモジュラー形式フレームワークを開発し、一般的な同値と小素数での新たな同値を導出する；また特定の L-値が消える場合に痕跡と類数を結ぶ適用を modulo 11 で示す。

ABSTRACT

Traces of singular moduli were introduced and studied by Zagier in 1998. Being simultaneously the (traces of) values of a modular function ($j$-invariant) and Fourier coefficients of modular forms - which constitutes Zagier's duality - these integers are quite interesting. Since then, a substantial amount of research was devoted to various properties of these numbers, congruences in particular. We present an alternative point of view on these congruences, specifically, we view them as congruences between certain weight $3/2$ modular forms under repeated action of $U$-operator. That allows us to obtain a general result which includes some previously known results as special cases. Our approach is especially effective when the prime modulus is relatively small. In these cases, we obtain explanations for certain numerical observations and quantification of some previously known qualitative results. As an application, we obtain modulo $11$ congruences between the traces of singular moduli and class numbers of quadratic fields in the case when the twisted central special value of the $L$-function associated with the elliptic curve of conductor $11$ vanishes.

研究の動機と目的

• weight 3/2 のモジュラー形式と U-operator を用いた特異モジュラスの痕跡の同値を説明する。
• 既知の同値を包含し、特に小さな素数に対して新たな同値を生み出す統一的な枠組みを提供する。
• 中心 L 値のゼロ化と痕跡と類数の間の同値を具体的な場合（例えば modulo 11）で結びつける。
• 半積分ウェイト形式の族の収束と勾配挙動を制御する改良した Zagier–Eisenstein 系列 tilde{H} を発展・利用する。

提案手法

• Kohnen の plus spaces における Fourier 係数として B(D,d) の痕跡を weight 3/2 モジュラー形式として再解釈する。
• U-operator の繰り返し作用の下で形 g_D の p-進極限を構築・研究し tilde{g}_D を得る。
• 改良された Zagier–Eisenstein 系列 tilde{H} と p-進極限との関係を導入・分析する。
• 過剰収束半積分ウェイトモジュラー形式理論（Ramsey）を用いて p-進勾配ゼロで cusp forms へ収束することを正当化する。
• p-進極限を Eisenstein と Kohnen の plus 部分空間の cusp forms と比較して同値を得るとともに、L-値に関する Waldspurger 型の関係を活用する。
• 小素数の場合の明示的な modulo p 同値を導出し、U_{p^2} の勾配を用いて収束率を定量化する。

実験結果

リサーチクエスチョン

• RQ1 特異モジュラスの痕跡 B(D,d) をどのように weight 3/2 モジュラー形式として符号化し、U-operator で操作して同値を生み出せるか。
• RQ2 U-operator の下で g_D のどの p-進極限が存在し、安定化後どの部分空間へ落ち着くのか。
• RQ3 改良された Zagier–Eisenstein 系列 tilde{H} が p-進同値をどう支配し、類数および L-値とどう関係するのか。
• RQ4 中心 L-values のゼロ化の下で、痕跡と Hurwitz–Kronecker 類数の間の具体的なモジュロ小素数同値を得られるか（例えば modulo 11）。
• RQ5 これらの同値の p-進収束の速さはどのようで、p に依存するか。

主な発見

• 一般的な p-進的枠組みは、繰り返しの U 操作の下で g_D のある種の p-進極限が存在し、Kohnen の plus 部分空間またはその p-進類似体に落ちることを示す。
• D = p^{2t}D_0 かつ p^{2} ∤ D_0 のとき極限 tilde{g}_D が存在し、その p-進性（epsilon ≠ 0）が tilde{g}_D を符号付き部分空間に置き、D が完全平方なら tilde{g}_D は tilde{H} に cusp form の補正とともに関連する。
• 素数 p に対して cusp forms の空間が小さいまたは自明な場合（例: p = 3,5,7,11,13）、極限は tilde{H} を含む明示的な関係へ簡略化され、場合によっては Shimura 対応に結びつく G の倍数を含む。
• 具体的な X_0(11) の設定では、L(E^{-d},1) の消滅は B(1,11^{2n}d) ≡ 2 B(d) mod 11 のような基本異常量の分割挙動を持つ既約標準識別子に結びつき、分解における λ が非零である場合は Waldspurger 型公式の c(d) = 0 への非自明な関係を示す。
• 定理 3 は、指定された小素数 p に対して tilde{g}_D - g_D の ord_p の収束速度を ord_p( tilde{g}_D - g_D )|U^{2n} = O(sn) で与え、s は p に依存し、これらの勾配を数値的に裏付ける証拠を提供する。
• この研究は L-値の消滅を、痕跡と Hurwitz 類数のモジュロ小素数同値へ結びつけ、例えば E ≃ X_0(11) の場合に 11-模様の同値を示す。