{"id":"arxiv/2604.23096","url":"https://arxiv.org/abs/2604.23096","tags":["math.NT"],"score":0,"title":"On the integrality of modular functions over $\\mathbb{Z}[j]$ and Kronecker-type congruences","domain":"math.NT","source":"arxiv","authors":["Ho Yun Jung","Ja Kyung Koo","Dong Hwa Shin"],"reviews":0,"subject":"math.NT","summary":"Let $N$ be a positive integer and let $f$ be a meromorphic modular function of level $N$ with rational Fourier coefficients. For a prime $p$, define a function $f_p$ on the complex upper half-plane $\\mathbb{H}$ by \\begin{equation*} f_p(τ)=f\\left(\\fracτ{p}\\right)\\quad(τ\\in\\mathbb{H}). \\end{equation*} Let $j$ be the elliptic modular function. We show that if $p\\equiv 1$ or $-1\\Mod{N}$ and $f$ is integral over $\\mathbb{Z}[j]$, then \\begin{equation*} \\frac{1}{p}(f_p^p-f)(f_p-f^p) \\end{equation*} is also integral over $\\mathbb{Z}[j]$. This result generalizes the classical Kronecker congruence…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-25","reactions":{}}