Searcharxiv⌕ Search

arXiv subjects

Ho Yun Jung

Publications and source records attributed to Ho Yun Jung.

14 recordsLinked to original sources
arXiv2026

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

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 relation for $j$.

math.NT↗
arXiv2025

Inverse limits of CM points on certain Shimura varieties

Let $N$ be a positive integer, and let $D\equiv0$ or $1\Mod{4}$ be a negative integer. We define the sets $\mathcal{CM}(D,\,Y_1(N)^\pm)$ and $\mathcal{CM}(D,\,Y(N)^\pm)$ as subsets of the Shimura varieties $Y_1(N)^\pm$ and $Y(N)^\pm$, respectively, consisting of CM points of discriminant $D$ that are primitive modulo $N$. By using the theory of definite form class groups, we show that the inverse limits \begin{equation*} \varprojlim_N\,\mathcal{CM}(D,\,Y_1(N)^\pm)\quad\textrm{and}\quad \varprojlim_N\,\mathcal{CM}(D,\,Y(N)^\pm) \end{equation*} naturally inherit group structures isomorphic to $\mathrm{Gal}(K^\mathrm{ab}/\mathbb{Q})$ and $\mathrm{Gal}(K^\mathrm{ab}(t^{1/\infty})/\mathbb{Q}(t))$, respectively, where $K=\mathbb{Q}(\sqrt{D})$ and $t$ is a transcendental number. These results provide an explicit and geometric interpretation of class field theory in terms of inverse limits of CM points on the associated Shimura varieties.

math.NT↗
arXiv2024

Class fields and form class groups for solving certain quadratic Diophantine equations

Let $K$ be an imaginary quadratic field and $\mathcal{O}$ be an order in $K$. We construct class fields associated with form class groups which are isomorphic to certain $\mathcal{O}$-ideal class groups in terms of the theory of canonical models due to Shimura. As its applications, by using such class fields, for a positive integer $n$ we first find primes of the form $x^2+ny^2$ with additional conditions on $x$ and $y$. Second, by utilizing these form class groups, we derive a congruence relation on special values of a modular function of higher level as an analogue of Kronecker's congruence relation.

math.NT↗
arXiv2023

Arithmetic properties of orders in imaginary quadratic fields

Let $K$ be an imaginary quadratic field. For an order $\mathcal{O}$ in $K$ and a positive integer $N$, let $K_{\mathcal{O},\,N}$ be the ray class field of $\mathcal{O}$ modulo $N\mathcal{O}$. We deal with various subjects related to $K_{\mathcal{O},\,N}$, mainly about Galois representations attached to elliptic curves with complex multiplication, form class groups and $L$-functions for orders.

math.NT↗
arXiv2021

Class fields generated by coordinates of elliptic curves

Let $K$ be an imaginary quadratic field different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. For a nontrivial integral ideal $\mathfrak{m}$ of $K$, let $K_\mathfrak{m}$ be the ray class field modulo $\mathfrak{m}$. By using some inequalities on special values of modular functions, we show that a single $x$-coordinate of a certain elliptic curve generates $K_\mathfrak{m}$ over $K$.

math.NT↗
arXiv2021

On some $p$-adic Galois representations and form class groups

Let $K$ be an imaginary quadratic field of discriminant $d_K$ with ring of integers $\mathcal{O}_K$. When $K$ is different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$, we consider a certain specific model for the elliptic curve $E_K$ with $j(E_K)=j(\mathcal{O}_K)$ which is defined over $\mathbb{Q}(j(E_K))$. In this paper, for each positive integer $N$ we compare the extension field of $\mathbb{Q}$ generated by the coordinates of $N$-torsion points on $E_K$ with the ray class field $K_{(N)}$ of $K$ modulo $N\mathcal{O}_K$. By using this result we investigate the image of a $p$-adic Galois representation attached to $E_K$ for a prime $p$, in terms of class field theory. Second, we construct the definite form class group of discriminant $d_K$ and level $N$ which is isomorphic to $\mathrm{Gal}(K_{(N)}/\mathbb{Q})$.

math.NT↗
arXiv2020

Form class groups and class fields of CM-fields

Let $F$ be a totally real number field of class number one, and let $K$ be a CM-field with $F$ as its maximal real subfield. For each positive integer $N$, we construct a class group of certain binary quadratic forms over $F$ which is isomorphic to the ray class group of $K$ modulo $N$. Assuming further that the narrow class number of $F$ is one, we construct a class field of the reflex field of $K$ in terms of the singular values of Hilbert modular functions.

math.NT↗
arXiv2019

On some extension of Gauss' work and applications

Let $K$ be an imaginary quadratic field of discriminant $d_K$, and let $\mathfrak{n}$ be a nontrivial integral ideal of $K$ in which $N$ is the smallest positive integer. Let $\mathcal{Q}_N(d_K)$ be the set of primitive positive definite binary quadratic forms of discriminant $d_K$ whose leading coefficients are relatively prime to $N$. We adopt an equivalence relation $\sim_\mathfrak{n}$ on $\mathcal{Q}_N(d_K)$ so that the set of equivalence classes $\mathcal{Q}_N(d_K)/\sim_\mathfrak{n}$ can be regarded as a group isomorphic to the ray class group of $K$ modulo $\mathfrak{n}$. We further present an explicit isomorphism of $\mathcal{Q}_N(d_K)/\sim_\mathfrak{n}$ onto $\mathrm{Gal}(K_\mathfrak{n}/K)$ in terms of Fricke invariants, where $K_\mathfrak{n}$ is the ray class field of $K$ modulo $\mathfrak{n}$. This would be a certain extension of the classical composition theory of binary quadratic forms, originated and developed by Gauss and Dirichlet.

math.NT↗
arXiv2018

On some extension of Gauss' work and applications (II)

Let $K$ be an imaginary quadratic field of discriminant $d_K$, and let $\mathfrak{n}$ be a nontrivial integral ideal of $K$ in which $N$ is the smallest positive integer. Let $\mathcal{Q}_N(d_K)$ be the set of primitive positive definite binary quadratic forms of discriminant $d_K$ whose leading coefficients are relatively prime to $N$. We adopt an equivalence relation $\sim_\mathfrak{n}$ on $\mathcal{Q}_N(d_K)$ so that the set of equivalence classes $\mathcal{Q}_N(d_K)/\sim_\mathfrak{n}$ can be regarded as a group isomorphic to the ray class group of $K$ modulo $\mathfrak{n}$. We further present an explicit isomorphism of $\mathcal{Q}_N(d_K)/\sim_\mathfrak{n}$ onto $\mathrm{Gal}(K_\mathfrak{n}/K)$ in terms of Fricke invariants, where $K_\mathfrak{n}$ is the ray class field of $K$ modulo $\mathfrak{n}$. This would be certain extension of the classical composition theory of binary quadratic forms, originated and developed by Gauss and Dirichlet.

math.NT↗
arXiv2016

Primitive and totally primitive Fricke families with applications

We introduce the primitivity of Fricke families, and give some examples. As its application, we first construct generators of the function field of the modular curve of level $N$ in terms of Fricke functions and Siegel functions, respectively. Furthermore, we use the special values of a certain function in a totally primitive Fricke family of level $N$ in order to generate ray class fields of imaginary quadratic fields.

math.NT↗
arXiv2011

Ray class invariants over imaginary quadratic fields

Let $K$ be an imaginary quadratic field of discriminant less than or equal to -7 and $K_{(N)}$ be its ray class field modulo $N$ for an integer $N$ greater than 1. We prove that singular values of certain Siegel functions generate $K_{(N)}$ over $K$ by extending the idea of our previous work. These generators are not only the simplest ones conjectured by Schertz, but also quite useful in the matter of computation of class polynomials. We indeed give an algorithm to find all conjugates of such generators by virtue of Gee and Stevenhagen.

math.NT↗
arXiv2010

On some arithmetic properties of Siegel functions (II)

Let $K$ be an imaginary quadratic field with discriminant $d_K\leq-7$. We deal with problems of constructing normal bases between abelian extensions of $K$ by making use of singular values of Siegel functions. First, we show that a criterion achieved from the Frobenius determinant relation enables us to find normal bases of ring class fields of orders of bounded conductors depending on $d_K$ over $K$. Next, denoting by $K_{(N)}$ the ray class field modulo $N$ of $K$ for an integer $N\geq2$ we consider the field extension $K_{(p^2m)}/K_{(pm)}$ for a prime $p\geq5$ and an integer $m\geq1$ relatively prime to $p$ and then find normal bases of all intermediate fields over $K_{(pm)}$ by utilizing Kawamoto's arguments. And, we further investigate certain Galois module structure of the field extension $K_{(p^{n}m)}/K_{(p^{\ell}m)}$ with $n\geq 2\ell$, which would be an extension of Komatsu's work.

math.NT↗