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

这是一篇关于模函数（modular functions）在 $\mathbb{Z}[j]$ 上整性（integrality）以及 Kronecker 型同余关系的研究论文。以下是对该论文的详细技术总结：

1. 研究问题 (The Problem)

论文的核心问题是探讨高层级（higher level）弱全纯模函数在椭圆模函数 $j$ 上的整性性质，并试图推广经典的 Kronecker 同余关系。

• 背景： 经典的 Kronecker 同余关系描述了模多项式 $\Phi_p(x, y)$ 在模 $p$ 下的分解，即 $\Phi_p(x, y) \equiv (x^p - y)(x - y^p) \pmod{p\mathbb{Z}[x, y]}$。
• 现有研究的局限： 先前的研究（如 Jung 等人的 Theorem A）虽然在更高层级的模曲线上取得了进展，但其结论是基于 Galois 共轭的乘积形式，而非针对单个函数。
• 核心猜想： 给定一个层级为 $N$、在 $\mathbb{Z}[j]$ 上整且具有有理 Fourier 系数的模函数 $f$，构造函数：
  $$F = \frac{1}{p} \left( f_p^p - f \begin{pmatrix} 1 & 0 \\ 0 & p \end{pmatrix} \right) \left( f_p - \left( f \begin{pmatrix} 1 & 0 \\ 0 & p \end{pmatrix} \right)^p \right)$$
  作者试图证明这个函数 $F$ 本身在 $\mathbb{Z}[j]$ 上是整的。

2. 研究方法 (Methodology)

作者避开了复杂的类域论（Class Field Theory）控制奇异值的方法，转而采用一种更直接的、基于解析与代数结合的方法。其技术路线如下：

• 指数估值理论 (Exponential Valuations)： 引入了基于 Fourier 展开系数的指数估值 $w_P$。通过研究 $q$-展开系数在素理想 $P$ 下的 $v_P$ 估值，建立了一套处理模函数整性的代数工具。
• 整性判别准则 (Integrality Criterion)： 证明了一个关键引理（Proposition 6.2）：一个模函数 $g \in F_M$ 在 $\mathbb{Z}[j]$ 上整，当且仅当 $g$ 是弱全纯的，且对于所有 $\alpha \in SL_2(\mathbb{Z})$，$g \circ \alpha$ 的 Fourier 系数都是代数整数。
• Fourier 展开的直接分析： 通过对 $\alpha \in SL_2(\mathbb{Z})$ 进行分类讨论（基于 $p$ 是否整除矩阵元素 $a$），利用 Frobenius 映射的性质（Lemma 7.3）和 $p$ 次幂的同余性质（Lemma 7.2），直接计算构造函数 $F$ 在 $\alpha$ 作用下的 Fourier 系数，证明其系数在模 $p$ 下消失。

3. 关键贡献与结果 (Key Contributions and Results)

主要定理 (Theorem 8.1)

这是论文的核心成果。作者证明了：若 $f \in F_N$ 在 $\mathbb{Z}[j]$ 上整，且素数 $p \equiv \pm 1 \pmod N$，则函数 $F$ 在 $\mathbb{Z}[j]$ 上也是整的。由此导出了如下 Kronecker 型同余关系：
$$\left( f_p^p - f \begin{pmatrix} 1 & 0 \\ 0 & p \end{pmatrix} \right) \left( f_p - \left( f \begin{pmatrix} 1 & 0 \\ 0 & p \end{pmatrix} \right)^p \right) \equiv 0 \pmod{p\mathcal{O}_{F_{Np}}}$$

推广结果 (Corollary 8.2 & 8.5)

• 形式变换： 证明了通过矩阵 $\begin{pmatrix} p & 0 \\ 0 & 1 \end{pmatrix}$ 变换后的函数 $G$ 同样具有整性。
• 复乘理论的应用： 利用复乘理论（Complex Multiplication），将该结论推广到了虚二次域 $K$ 的奇异值上。对于 $\tau_K \in H$，得到了如下同余关系：
  $$\left( f(\tau_{K/p})^p - f \begin{pmatrix} 1 & 0 \\ 0 & p \end{pmatrix} (\tau_K) \right) \left( f(\tau_{K/p}) - f \begin{pmatrix} 1 & 0 \\ 0 & p \end{pmatrix} (\tau_K)^p \right) \equiv 0 \pmod{p\mathcal{O}_{K(N_p)}}$$

4. 学术意义 (Significance)

1. 理论完善： 该论文解决了前人留下的猜想，将 Kronecker 同余关系从经典的 $j$ 函数及其多项式，成功推广到了更一般的层级 $N$ 的模函数上。
2. 方法论创新： 证明了不需要依赖类域论的奇异值控制，仅通过 Fourier 系数的估值分析和 $q$-展开原理（Katz's $q$-expansion principle）即可处理高层级模函数的整性问题。这为研究模形式的算术性质提供了一种更具解析色彩的工具。
3. 联系算术几何： 研究结果通过复乘理论与分层类域（Ray Class Fields）建立了联系，深化了模函数在数论中的应用。