Showing 1–8 of 8 results for author: Eum, I S

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

Authors: Ick Sun Eum, Ho Yun Jung, Ja Kyung Koo, Dong Hwa Shin

Abstract: 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… ▽ More 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. △ Less

Submitted 15 October, 2018; originally announced October 2018.

MSC Class: Primary 11E16; Secondary 11F03; 11G15; 11R37

Binary quadratic forms and ray class groups

Authors: Ick Sun Eum, Ja Kyung Koo, Dong Hwa Shin

Abstract: Let $K$ be an imaginary quadratic field different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. For a positive integer $N$, let $K_\mathfrak{n}$ be the ray class field of $K$ modulo $\mathfrak{n}=N\mathcal{O}_K$. By using the congruence subgroup $\pmΓ_1(N)$, we construct an extended form class group whose operation is basically the Dirichlet composition, and explicitly show that this g… ▽ More Let $K$ be an imaginary quadratic field different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. For a positive integer $N$, let $K_\mathfrak{n}$ be the ray class field of $K$ modulo $\mathfrak{n}=N\mathcal{O}_K$. By using the congruence subgroup $\pmΓ_1(N)$, we construct an extended form class group whose operation is basically the Dirichlet composition, and explicitly show that this group is isomorphic to the Galois group $\mathrm{Gal}(K_\mathfrak{n}/K)$. We also present algorithms to find all form classes and show how to multiply two form classes. As an application, we describe $\mathrm{Gal}(K_\mathfrak{n}^\mathrm{ab}/K)$ in terms of these extended form class groups for which $K_\mathfrak{n}^\mathrm{ab}$ is the maximal abelian extension of $K$ unramified outside prime ideals dividing $\mathfrak{n}$. △ Less

Submitted 3 March, 2018; v1 submitted 12 December, 2017; originally announced December 2017.

MSC Class: 11R29; 11E16; 11G15; 11R37

Journal ref: Proceedings of the Royal Society of Edinburgh: Section A Mathematics 150 (2020) 695-720

Determination of the Fricke families

Authors: Ick Sun Eum, Dong Hwa Shin

Abstract: For a positive integer $N$ divisible by $4$, let $\mathcal{O}^1_N(\mathbb{Q})$ be the ring of weakly holomorphic modular functions for the congruence subgroup $Γ^1(N)$ with rational Fourier coefficients. We present explicit generators of the ring $\mathcal{O}^1_N(\mathbb{Q})$ over $\mathbb{Q}$, from which we are able to classify all Fricke families of such level $N$. For a positive integer $N$ divisible by $4$, let $\mathcal{O}^1_N(\mathbb{Q})$ be the ring of weakly holomorphic modular functions for the congruence subgroup $Γ^1(N)$ with rational Fourier coefficients. We present explicit generators of the ring $\mathcal{O}^1_N(\mathbb{Q})$ over $\mathbb{Q}$, from which we are able to classify all Fricke families of such level $N$. △ Less

Submitted 22 September, 2015; v1 submitted 17 January, 2015; originally announced January 2015.

MSC Class: Primary 11F03; Secondary 11F11

Some applications of eta-quotients

Authors: Ick Sun Eum, Ja Kyung Koo, Dong Hwa Shin

Abstract: We show that every modular form on $Γ_0(2^n)$ ($n\geq2$) can be expressed as a sum of eta-quotients. Furthermore, we construct a primitive generator of the ring class field of the order of conductor $4N$ ($N\geq1$) in an imaginary quadratic field in view of the special value of certain eta-quotient. We show that every modular form on $Γ_0(2^n)$ ($n\geq2$) can be expressed as a sum of eta-quotients. Furthermore, we construct a primitive generator of the ring class field of the order of conductor $4N$ ($N\geq1$) in an imaginary quadratic field in view of the special value of certain eta-quotient. △ Less

Submitted 16 January, 2014; originally announced January 2014.

MSC Class: 11F20; 11F11; 11R37

Some applications of modular units

Authors: Ick Sun Eum, Ja Kyung Koo, Dong Hwa Shin

Abstract: We show that a weakly holomorphic modular function can be written as a sum of modular units of higher level. We further find a necessary and sufficient condition for a Siegel modular function of degree $g$ to have neither zero nor pole on the domain when restricted to certain subset of the Siegel upper half-space $\mathbb{H}_g$. We show that a weakly holomorphic modular function can be written as a sum of modular units of higher level. We further find a necessary and sufficient condition for a Siegel modular function of degree $g$ to have neither zero nor pole on the domain when restricted to certain subset of the Siegel upper half-space $\mathbb{H}_g$. △ Less

Submitted 5 August, 2012; v1 submitted 6 July, 2012; originally announced July 2012.

MSC Class: 11G16; 11F03; 11F46

Representations by $x_1^2+2x_2^2+x_3^2+x_4^2+x_1x_3+x_1x_4+x_2x_4$

Authors: Ick Sun Eum, Dong Hwa Shin, Dong Sung Yoon

Abstract: Let $r_Q(n)$ be the representation number of a nonnegative integer $n$ by the quaternary quadratic form $Q=x_1^2+2x_2^2+x_3^2+x_4^2+x_1x_3+x_1x_4+x_2x_4$. We first prove the identity $r_Q(p^2n)=r_Q(p^2)r_Q(n)/r_Q(1)$ for any prime $p$ different from 13 and any positive integer $n$ prime to $p$, which was conjectured in [Eum et al, A modularity criterion for Klein forms, with an application to modu… ▽ More Let $r_Q(n)$ be the representation number of a nonnegative integer $n$ by the quaternary quadratic form $Q=x_1^2+2x_2^2+x_3^2+x_4^2+x_1x_3+x_1x_4+x_2x_4$. We first prove the identity $r_Q(p^2n)=r_Q(p^2)r_Q(n)/r_Q(1)$ for any prime $p$ different from 13 and any positive integer $n$ prime to $p$, which was conjectured in [Eum et al, A modularity criterion for Klein forms, with an application to modular forms of level 13, J. Math. Anal. Appl. 375 (2011), 28--41]. And, we explicitly determine a concise formula for the number $r_Q(n^2)$ as well for any integer $n$. △ Less

Submitted 6 March, 2011; v1 submitted 28 February, 2011; originally announced February 2011.

Ring class invariants over imaginary quadratic fields

Authors: Ick Sun Eum, Ja Kyung Koo, Dong Hwa Shin

Abstract: We show by adopting Schertz's argument with the Siegel-Ramachandra invariant that singular values of certain quotients of the $Δ$-function generate ring class fields over imaginary quadratic fields. We show by adopting Schertz's argument with the Siegel-Ramachandra invariant that singular values of certain quotients of the $Δ$-function generate ring class fields over imaginary quadratic fields. △ Less

Submitted 1 February, 2011; v1 submitted 14 July, 2010; originally announced July 2010.

MSC Class: Primary 11G16; Secondary 11F03; 11G15; 11R37

A modularity criterion for Klein forms, with an application to modular forms of level $13$

Authors: Ick Sun Eum, Ja Kyung Koo, Dong Hwa Shin

Abstract: We find some modularity criterion for a product of Klein forms of the congruence subgroup $Γ_1(N)$ and, as its application, construct a basis of the space of modular forms for $Γ_1(13)$ of weight $2$. In the process we face with an interesting property about the coefficients of certain theta function from a quadratic form and prove it conditionally by applying Hecke operators. We find some modularity criterion for a product of Klein forms of the congruence subgroup $Γ_1(N)$ and, as its application, construct a basis of the space of modular forms for $Γ_1(13)$ of weight $2$. In the process we face with an interesting property about the coefficients of certain theta function from a quadratic form and prove it conditionally by applying Hecke operators. △ Less

Submitted 3 August, 2010; v1 submitted 8 June, 2010; originally announced June 2010.

MSC Class: 11F11; 11F20