On the integrality of modular functions over $\mathbb{Z}[j]$ and Kronecker-type congruences

論文要約：$\mathbb{Z}[j]$ 上のモジュラー関数の整数性とクロネッカー型合同式について

1. 背景と問題設定 (Problem)

本論文は、モジュラー関数におけるクロネッカー合同式 (Kronecker congruence relation) の一般化を扱っています。

古典的な結果として、楕円モジュラー関数 $j(\tau)$ に対するモジュラー多項式 $\Phi_p(x, y)$ は、素数 $p$ に対して $\Phi_p(x, y) \equiv (x^p - y)(x - y^p) \pmod{p\mathbb{Z}[x, y]}$ を満たします。また、複素乗法（CM）の理論に基づき、虚二次体 $K$ のイデアル $\mathfrak{a}$ に対して $j(\mathfrak{p}^{-1}\mathfrak{a}) \equiv j(\mathfrak{a})^p \pmod{\mathfrak{P}}$ という合同式（ハッセの合同式）が知られています。

先行研究（Jung et al. [11]）では、より高次のレベル $N$ を持つモジュラー関数 $f$ に対し、ある種の積をとれば合同式が得られることを示しましたが、その結果はガロア共役の積として得られるものであり、「単一の関数」としての整数性は示されていませんでした。著者らは、**「特定の構成を持つ単一の関数 $F$ が $\mathbb{Z}[j]$ 上で整数である」**という予想を証明することを目的としています。

2. 研究手法 (Methodology)

本論文の最大の特徴は、類体論（Class Field Theory）に依存せず、フーリエ展開（$q$展開）と評価論（Valuation theory）を用いた直接的な解析手法を採用している点です。

主な手法的ステップは以下の通りです：

• 指数評価 (Exponential Valuations): Tate や Serre の枠組みに基づき、弱正則モジュラー関数に対してフーリエ係数の $p$ 進的な大きさを測る写像 $w_P$ を定義しました。
• 整数性の判定基準の確立: 関数 $g \in F_M$ が $\mathbb{Z}[j]$ 上で整数であるための必要十分条件として、「$g$ が弱正則であること」および「すべての $\alpha \in SL_2(\mathbb{Z})$ に対して $g \circ \alpha$ のフーリエ係数が代数的整数であること」を導きました（Proposition 6.2）。
• $p$ 乗の性質の利用: フーリエ展開の $p$ 乗が、フロベニウス写像的な挙動（$a_n^p \equiv a_n \pmod p$）を示すことを利用し、合同式の証明に用いました。

3. 主な貢献と結果 (Key Contributions and Results)

【主要定理：Theorem 8.1】
レベル $N$ のモジュラー関数 $f \in F_N$ が $\mathbb{Z}[j]$ 上で整数であるとき、$p \equiv \pm 1 \pmod N$ を満たす素数 $p$ に対して、以下の関数 $F$ は $\mathbb{Z}[j]$ 上で整数となります：
$$F = \frac{1}{p} \left( f \circ \begin{pmatrix} 1 & 0 \\ 0 & p \end{pmatrix}^p - f \right) \left( f \circ \begin{pmatrix} 1 & 0 \\ 0 & p \end{pmatrix} - \left( f \circ \begin{pmatrix} 1 & 0 \\ 0 & p \end{pmatrix} \right)^p \right)$$
これにより、以下のクロネッカー型合同式が導かれます：
$$\left( f \circ \begin{pmatrix} 1 & 0 \\ 0 & p \end{pmatrix}^p - f \right) \left( f \circ \begin{pmatrix} 1 & 0 \\ 0 & p \end{pmatrix} - \left( f \circ \begin{pmatrix} 1 & 0 \\ 0 & p \end{pmatrix} \right)^p \right) \equiv 0 \pmod{p\mathcal{O}_{F_{Np}}}$$

【その他の結果】

• Corollary 8.2: 関数 $G(\tau)$（$f$ の引数を入れ替えた形）についても同様の整数性を証明。
• Corollary 8.5 (CM点への応用): 虚二次体の $\tau_K$ を用いた特異値（singular values）の評価において、CM点における値が特定の合同式を満たすことを示しました。これは、モジュラー関数の値が類体（Ray Class Field）の生成元となる理論と密接に関連しています。

4. 本研究の意義 (Significance)

1. 予想の解決: 先行研究で残されていた「単一の関数としての整数性」という数学的予想を完全に解決しました。
2. 解析的手法の提示: 類体論という重厚な代数的道具を使わずに、フーリエ係数の評価という解析的・計算的なアプローチのみで、高次レベルのモジュラー関数の整数性を判定できることを示しました。これは、モジュラー形式の算術的性質の研究において非常に強力なツールとなります。
3. 理論の一般化: 古典的な $j$ 関数に関するクロネッカー合同式を、より広いクラスのモジュラー関数（高次レベル、高次属数）へと拡張し、その構造を明らかにしました。