Showing 1–44 of 44 results for author: Koo, J K

Gauss's form class groups and Shimura's canonical models

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: Let $N$ be a positive integer and $Γ$ be a subgroup of $\mathrm{SL}_2(\mathbb{Z})$ containing $Γ_1(N)$. Let $K$ be an imaginary quadratic field and $\mathcal{O}$ be an order of discriminant $D_\mathcal{O}$ in $K$. Under some assumptions, we show that $Γ$ induces a form class group of discriminant $D_\mathcal{O}$ (or of order $\mathcal{O}$) and level $N$ if and only if there is a certain canonical… ▽ More Let $N$ be a positive integer and $Γ$ be a subgroup of $\mathrm{SL}_2(\mathbb{Z})$ containing $Γ_1(N)$. Let $K$ be an imaginary quadratic field and $\mathcal{O}$ be an order of discriminant $D_\mathcal{O}$ in $K$. Under some assumptions, we show that $Γ$ induces a form class group of discriminant $D_\mathcal{O}$ (or of order $\mathcal{O}$) and level $N$ if and only if there is a certain canonical model of the modular curve for $Γ$ defined over a suitably small number field. In this way we can find an interesting link between two different subjects, which will be useful in the study of certain quadratic Diophantine equations in terms of primes $p$. △ Less

Submitted 7 March, 2024; v1 submitted 13 November, 2023; originally announced November 2023.

Comments: 18 pages, The title has been changed

MSC Class: Primary 11R37; Secondary 11E12; 11R65

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

Authors: Ho Yun Jung, Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

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

Submitted 24 February, 2024; v1 submitted 22 August, 2023; originally announced August 2023.

Comments: 30 pages, The title has been changed

MSC Class: Primary 11R37; Secondary 11E12; 11R65

Arithmetic properties of orders in imaginary quadratic fields

Authors: Ho Yun Jung, Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

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

Submitted 25 August, 2023; v1 submitted 22 May, 2022; originally announced May 2022.

MSC Class: Primary 11R37; Secondary 11E12; 11F80; 11G05; 11R42; 11R29

Class fields generated by coordinates of elliptic curves

Authors: Ho Yun Jung, 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 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$. 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$. △ Less

Submitted 1 November, 2021; originally announced November 2021.

MSC Class: 11F03; 11G15; 11R37

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

Authors: Ho Yun Jung, Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

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

Submitted 17 April, 2021; v1 submitted 29 September, 2020; originally announced September 2020.

MSC Class: 11R37; 11E08; 11F80; 14K22; 11R29

Form class groups and class fields of CM-fields

Authors: Ho Yun Jung, Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

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

Submitted 27 March, 2020; v1 submitted 17 December, 2019; originally announced December 2019.

MSC Class: 11E12; 11F41; 11R29; 11R37

On some extension of Gauss' work and applications

Authors: 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 a certain extension of the classical composition theory of binary quadratic forms, originated and developed by Gauss and Dirichlet. △ Less

Submitted 28 May, 2019; originally announced May 2019.

Comments: 21 pages

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

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

On the Schertz conjecture

Authors: Ja Kyung Koo, Dong Sung Yoon

Abstract: Schertz conjectured that every finite abelian extension of imaginary quadratic fields can be generated by the norm of the Siegel-Ramachandra invariants. We shall present a conditional proof of his conjecture by means of the characters on class groups and the second Kronecker limit formula. Schertz conjectured that every finite abelian extension of imaginary quadratic fields can be generated by the norm of the Siegel-Ramachandra invariants. We shall present a conditional proof of his conjecture by means of the characters on class groups and the second Kronecker limit formula. △ Less

Submitted 26 September, 2017; v1 submitted 5 October, 2016; originally announced October 2016.

Comments: 9 pages

MSC Class: 11R37 (primary); 11G16 (secondary)

Journal ref: Proceedings of the Edinburgh Mathematical Society 62 (2019) 837-845

Normal bases for modular function fields

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: We provide a concrete example of a normal basis for a finite Galois extension which is not abelian. More precisely, let $\mathbb{C}(X(N))$ be the field of meromorphic functions on the modular curve $X(N)$ of level $N$. We construct a completely free element in the extension $\mathbb{C}(X(N))/\mathbb{C}(X(1))$ by means of Siegel functions. We provide a concrete example of a normal basis for a finite Galois extension which is not abelian. More precisely, let $\mathbb{C}(X(N))$ be the field of meromorphic functions on the modular curve $X(N)$ of level $N$. We construct a completely free element in the extension $\mathbb{C}(X(N))/\mathbb{C}(X(1))$ by means of Siegel functions. △ Less

Submitted 24 August, 2016; originally announced August 2016.

Comments: 8 pages

MSC Class: Primary 11F03; Secondary 11G16

Journal ref: Bull. Aust. Math. Soc. 95 (2017), no. 3, 384-392

On a problem of Hasse and Ramachandra

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: Let $K$ be an imaginary quadratic field, and let $\mathfrak{f}$ be a nontrivial integral ideal of $K$. Hasse and Ramachandra asked whether the ray class field of $K$ modulo $\mathfrak{f}$ can be generated by a single value of the Weber function. We completely resolve this question when $\mathfrak{f}=(N)$ for an integer $N>1$. Let $K$ be an imaginary quadratic field, and let $\mathfrak{f}$ be a nontrivial integral ideal of $K$. Hasse and Ramachandra asked whether the ray class field of $K$ modulo $\mathfrak{f}$ can be generated by a single value of the Weber function. We completely resolve this question when $\mathfrak{f}=(N)$ for an integer $N>1$. △ Less

Submitted 4 August, 2017; v1 submitted 24 August, 2016; originally announced August 2016.

Comments: 13 pages

MSC Class: 11R37 (Primary); 11G15; 11G16 (Secondary)

Generators of Siegel modular function field of higher genus and level

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: For positive integers $g$ and $N$, let $\mathcal{F}_N$ be the field of meromorphic Siegel modular functions of genus $g$ and level $N$ whose Fourier coefficients belong to the $N$th cyclotomic field. We present explicit generators of $\mathcal{F}_N$ over $\mathcal{F}_1$ in terms of quotient of theta constants, when $g\geq2$ and $N\geq 3$. For positive integers $g$ and $N$, let $\mathcal{F}_N$ be the field of meromorphic Siegel modular functions of genus $g$ and level $N$ whose Fourier coefficients belong to the $N$th cyclotomic field. We present explicit generators of $\mathcal{F}_N$ over $\mathcal{F}_1$ in terms of quotient of theta constants, when $g\geq2$ and $N\geq 3$. △ Less

Submitted 1 August, 2016; v1 submitted 6 April, 2016; originally announced April 2016.

Comments: 20 pages

MSC Class: 11F46 (Primary); 14K25 (Secondary)

Siegel families with application to class fields

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: We investigate certain families of meromorphic Siegel modular functions on which Galois groups act in a natural way. By using Shimura's reciprocity law we construct some algebraic numbers in the ray class fields of CM-fields in terms of special values of functions in these Siegel families. We investigate certain families of meromorphic Siegel modular functions on which Galois groups act in a natural way. By using Shimura's reciprocity law we construct some algebraic numbers in the ray class fields of CM-fields in terms of special values of functions in these Siegel families. △ Less

Submitted 8 April, 2016; v1 submitted 4 January, 2016; originally announced January 2016.

Comments: 18 pages

MSC Class: Primary 11F46; Secondary 11G15

On Siegel invariants of certain CM-fields

Authors: Ja Kyung Koo, Gilles Robert, Dong Hwa Shin, Dong Sung Yoon

Abstract: We first construct Siegel invariants of some CM-fields in terms of special values of theta constants, which would be a generalization of Siegel-Ramachandra invariants of imaginary quadratic fields. And, we further describe Galois actions on these invariants and provide some numerical examples to show that this invariant really generates the ray class field of a CM-field. We first construct Siegel invariants of some CM-fields in terms of special values of theta constants, which would be a generalization of Siegel-Ramachandra invariants of imaginary quadratic fields. And, we further describe Galois actions on these invariants and provide some numerical examples to show that this invariant really generates the ray class field of a CM-field. △ Less

Submitted 19 April, 2018; v1 submitted 23 August, 2015; originally announced August 2015.

Comments: 21 pages

MSC Class: 11R37 (Primary); 11F46; 11G15; 14K25 (Secondary)

Primitive and totally primitive Fricke families with applications

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

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

Submitted 11 November, 2016; v1 submitted 21 June, 2015; originally announced June 2015.

MSC Class: Primary 11F03; Secondary 11G16

Generators of the ring of weakly holomorphic modular functions for $Γ_1(N)$

Authors: Ja Kyung Koo, Dong Sung Yoon

Abstract: For a positive integer $N$ divisible by $4,5,6,7$ or $9$, 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}$ by making use of modular units which have infinite product expansions. For a positive integer $N$ divisible by $4,5,6,7$ or $9$, 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}$ by making use of modular units which have infinite product expansions. △ Less

Submitted 28 April, 2015; originally announced April 2015.

Comments: 16 pages

MSC Class: 11F03; 11F11; 11G16

Journal ref: Ramanujan J. 42 (2017), no. 3, 583-599

Generation of class fields by using the Weber function

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: Let $K$ be an imaginary quadratic field and $\mathcal{O}_K$ be its ring of integers. Let $h_E$ be the Weber function on certain elliptic curve $E$ with complex multiplication by $\mathcal{O}_K$. We show that if $N$ ($>1$) is an integer prime to $6$, then the function $h_E$ alone generates the ray class field modulo $N\mathcal{O}_K$ over $K$ when evaluated at some $N$-torsion point of $E$. Let $K$ be an imaginary quadratic field and $\mathcal{O}_K$ be its ring of integers. Let $h_E$ be the Weber function on certain elliptic curve $E$ with complex multiplication by $\mathcal{O}_K$. We show that if $N$ ($>1$) is an integer prime to $6$, then the function $h_E$ alone generates the ray class field modulo $N\mathcal{O}_K$ over $K$ when evaluated at some $N$-torsion point of $E$. △ Less

Submitted 12 October, 2014; v1 submitted 24 August, 2014; originally announced August 2014.

MSC Class: 11R37; 11G15; 11G16

Construction of ray class fields by smaller generators and applications

Authors: Ja Kyung Koo, Dong Sung Yoon

Abstract: We first generate ray class fields over imaginary quadratic fields in terms of Siegel-Ramachandra invariants, which would be an extension of Schertz's result. And, by making use of quotients of Siegel-Ramachandra invariants we also construct ray class invariants over imaginary quadratic fields whose minimal polynomials have relatively small coefficients, from which we are able to solve certain qua… ▽ More We first generate ray class fields over imaginary quadratic fields in terms of Siegel-Ramachandra invariants, which would be an extension of Schertz's result. And, by making use of quotients of Siegel-Ramachandra invariants we also construct ray class invariants over imaginary quadratic fields whose minimal polynomials have relatively small coefficients, from which we are able to solve certain quadratic Diophantine equations. △ Less

Submitted 25 August, 2014; v1 submitted 21 July, 2014; originally announced July 2014.

Comments: 34 pages

MSC Class: 11R37; 11G15; 11G16

Journal ref: Proc. Roy. Soc. Edinburgh Sect. A 147 (2017), no. 4, 781-812

On some Fricke families and application to the Lang-Schertz conjecture

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

Abstract: We first investigate two kinds of Fricke families consisting of Fricke functions and Siegel functions, respectively. And, in terms of their special values we generate ray class fields of imaginary quadratic fields, which is related to the Lang-Schertz conjecture. We first investigate two kinds of Fricke families consisting of Fricke functions and Siegel functions, respectively. And, in terms of their special values we generate ray class fields of imaginary quadratic fields, which is related to the Lang-Schertz conjecture. △ Less

Submitted 8 October, 2014; v1 submitted 21 May, 2014; originally announced May 2014.

MSC Class: Primary 11G15; Secondary 11F03

Generation of ring class fields by eta-quotients

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: We generate ring class fields of imaginary quadratic fields in terms of the special values of certain eta-quotients, which are related to the relative norms of Siegel-Ramachandra invariants. These give us minimal polynomials with relatively small coefficients from which we are able to solve certain quadratic Diophantine equations concerning non-convenient numbers. We generate ring class fields of imaginary quadratic fields in terms of the special values of certain eta-quotients, which are related to the relative norms of Siegel-Ramachandra invariants. These give us minimal polynomials with relatively small coefficients from which we are able to solve certain quadratic Diophantine equations concerning non-convenient numbers. △ Less

Submitted 24 January, 2017; v1 submitted 12 April, 2014; originally announced April 2014.

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

On the Diophantine equation $pq=x^2+ny^2$

Authors: Ja Kyung Koo, Dong Hwa Shin

Abstract: Let $n$ be a positive integer. We discuss pairs of distinct odd primes $p$ and $q$ not dividing $n$ for which the Diophantine equations $pq=x^2+ny^2$ have integer solutions in $x$ and $y$. As its examples we classify all such pairs of $p$ and $q$ when $n=5$ and $14$. Let $n$ be a positive integer. We discuss pairs of distinct odd primes $p$ and $q$ not dividing $n$ for which the Diophantine equations $pq=x^2+ny^2$ have integer solutions in $x$ and $y$. As its examples we classify all such pairs of $p$ and $q$ when $n=5$ and $14$. △ Less

Submitted 17 April, 2014; v1 submitted 3 April, 2014; originally announced April 2014.

MSC Class: 11E25; 11E16

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

Construction of class fields over imaginary biquadratic fields

Authors: Ja Kyung Koo, Dong Sung Yoon

Abstract: Let $K$ be an imaginary biquadratic field and $K_1$, $K_2$ be its imaginary quadratic subfields. For integers $N>0$, $μ\geq 0$ and an odd prime $p$ with $\gcd(N,p)=1$, let $K_{(Np^μ)}$ and $(K_i)_{(Np^μ)}$ for $i=1,2$ be the ray class fields of $K$ and $K_i$, respectively, modulo $Np^μ$. We first present certain class fields $\widetilde{K_{N,p,μ}^{1,2}}$ of $K$, in the sense of Hilbert, which are… ▽ More Let $K$ be an imaginary biquadratic field and $K_1$, $K_2$ be its imaginary quadratic subfields. For integers $N>0$, $μ\geq 0$ and an odd prime $p$ with $\gcd(N,p)=1$, let $K_{(Np^μ)}$ and $(K_i)_{(Np^μ)}$ for $i=1,2$ be the ray class fields of $K$ and $K_i$, respectively, modulo $Np^μ$. We first present certain class fields $\widetilde{K_{N,p,μ}^{1,2}}$ of $K$, in the sense of Hilbert, which are generated by Siegel-Ramachandra invariants of $(K_i)_{(Np^{μ+1})}$ for $i=1,2$ over $K_{(Np^μ)}$ and show that $K_{(Np^{μ+1})}=\widetilde{K_{N,p,μ}^{1,2}}$ for almost all $μ$. △ Less

Submitted 5 October, 2016; v1 submitted 26 June, 2013; originally announced June 2013.

Comments: 21 pages, Due to its gigantic length we had some difficulties, so it has been broken into two papers

MSC Class: 11G16; 11R37 (primary); 11F46; 11G15 (secondary)

Generators for abelian extensions of number fields

Authors: Ja Kyung Koo, Dong Hwa Shin

Abstract: Let $U/L$ be a finite abelian extension of number fields. We first construct a universal primitive generator of $U$ over $L$ whose relative trace to any intermediate field $F$ becomes a generator of $F$ over $L$, too. We also develop a similar argument in terms of norm. As its examples we investigate towers of ray class fields over imaginary quadratic fields. And, we further present a new method o… ▽ More Let $U/L$ be a finite abelian extension of number fields. We first construct a universal primitive generator of $U$ over $L$ whose relative trace to any intermediate field $F$ becomes a generator of $F$ over $L$, too. We also develop a similar argument in terms of norm. As its examples we investigate towers of ray class fields over imaginary quadratic fields. And, we further present a new method of finding a normal element for the extension $U/L$. △ Less

Submitted 17 July, 2017; v1 submitted 29 May, 2013; originally announced May 2013.

Comments: We will not publish this paper

MSC Class: 12F05; 11G16

Application of Weierstrass units to relative power integral bases

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

Abstract: Let $K$ be an imaginary quadratic field other than $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. We construct relative power integral bases between certain abelian extensions of $K$ in terms of Weierstrass units. Let $K$ be an imaginary quadratic field other than $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. We construct relative power integral bases between certain abelian extensions of $K$ in terms of Weierstrass units. △ Less

Submitted 29 December, 2012; originally announced December 2012.

MSC Class: Primary 11G16; Secondary 11G15; 11Y40

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

Construction of class fields over cyclotomic fields

Authors: Ja Kyung Koo, Dong Sung Yoon

Abstract: Let $\ell$ and $p$ be odd primes. For a positive integer $μ$ let $k_μ$ be the ray class field of $k=\mathbb{Q}(e^{2πi/\ell})$ modulo $2p^μ$. We present certain class fields $K_μ$ of $k$ such that $k_μ\leq K_μ\leq k_{μ+1}$, and find the degree of $K_μ/k_μ$ explicitly. And we also construct, in the sense of Hilbert, primitive generators of the field $K_μ$ over $k_μ$ by using Shimura's reciprocity la… ▽ More Let $\ell$ and $p$ be odd primes. For a positive integer $μ$ let $k_μ$ be the ray class field of $k=\mathbb{Q}(e^{2πi/\ell})$ modulo $2p^μ$. We present certain class fields $K_μ$ of $k$ such that $k_μ\leq K_μ\leq k_{μ+1}$, and find the degree of $K_μ/k_μ$ explicitly. And we also construct, in the sense of Hilbert, primitive generators of the field $K_μ$ over $k_μ$ by using Shimura's reciprocity law and special values of theta constants. △ Less

Submitted 17 July, 2015; v1 submitted 21 March, 2012; originally announced March 2012.

MSC Class: 11R37; 11F46 (primary); 11G15; 14H42 (secondary)

Journal ref: Kyoto J. Math. 56, no. 4 (2016), 803-829

On some theta constants and class fields

Authors: Ja Kyung Koo, Dong Hwa Shin

Abstract: We first find a sufficient condition for a product of theta constants to be a Siegel modular function of a given even level. And, when $K_{(2p)}$ denotes the ray class field of $K=\mathbb{Q}(e^{2πi/5})$ modulo $2p$ for an odd prime $p$, we describe a subfield of $K_{(2p)}$ generated by the special value of certain theta constant by using Shimura's reciprocity law. We first find a sufficient condition for a product of theta constants to be a Siegel modular function of a given even level. And, when $K_{(2p)}$ denotes the ray class field of $K=\mathbb{Q}(e^{2πi/5})$ modulo $2p$ for an odd prime $p$, we describe a subfield of $K_{(2p)}$ generated by the special value of certain theta constant by using Shimura's reciprocity law. △ Less

Submitted 3 July, 2013; v1 submitted 15 February, 2012; originally announced February 2012.

MSC Class: 11F46; 11G15; 14K25

Completely normal elements in finite abelian extensions

Authors: Ja Kung Koo, Dong Hwa Shin

Abstract: We give a completely normal element in the maximal real subfield of a cyclotomic field over the field of rational numbers, which is different from that of Okada. This result is a consequence of the criterion for a normal element developed in [Normal bases of ray class fields over imaginary quadratic fields, Math. Zeit.]. Furthermore, we find a completely normal element in certain extension of modu… ▽ More We give a completely normal element in the maximal real subfield of a cyclotomic field over the field of rational numbers, which is different from that of Okada. This result is a consequence of the criterion for a normal element developed in [Normal bases of ray class fields over imaginary quadratic fields, Math. Zeit.]. Furthermore, we find a completely normal element in certain extension of modular function fields in terms of a quotient of the modular discriminant function. △ Less

Submitted 25 November, 2011; v1 submitted 9 October, 2011; originally announced October 2011.

MSC Class: 11F03; 11R18; 12F05

Singular values of principal moduli

Authors: Ja Kyung Koo, Dong Hwa Shin

Abstract: Let $g$ be a principal modulus with rational Fourier coefficients for a discrete subgroup of $\mathrm{SL}_2(\mathbb{R})$ between $Γ(N)$ or $Γ_0(N)^†$ for a positive integer $N$. Let $K$ be an imaginary quadratic field. We give a simple proof of the fact that the singular value of $g$ generates the ray class field modulo $N$ or the ring class field of the order of conductor $N$ over $K$. Furthermor… ▽ More Let $g$ be a principal modulus with rational Fourier coefficients for a discrete subgroup of $\mathrm{SL}_2(\mathbb{R})$ between $Γ(N)$ or $Γ_0(N)^†$ for a positive integer $N$. Let $K$ be an imaginary quadratic field. We give a simple proof of the fact that the singular value of $g$ generates the ray class field modulo $N$ or the ring class field of the order of conductor $N$ over $K$. Furthermore, we construct primitive generators of ray class fields of arbitrary moduli over $K$ in terms of Hasse's two generators. △ Less

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

MSC Class: 11G15; 11F03; 11R37

Algebraic integers as special values of modular units

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: Let $\varphi(τ)=η((τ+1)/2)^2/\sqrt{2π}e^\frac{πi}{4}η(τ+1)$ where $η(τ)$ is the Dedekind eta-function. We show that if $τ_0$ is an imaginary quadratic number with $\mathrm{Im}(τ_0)>0$ and $m$ is an odd integer, then $\sqrt{m}\varphi(mτ_0)/\varphi(τ_0)$ is an algebraic integer dividing $\sqrt{m}$. This is a generalization of Theorem 4.4 given in [B. C. Berndt, H. H. Chan and L. C. Zhang, Ramanujan'… ▽ More Let $\varphi(τ)=η((τ+1)/2)^2/\sqrt{2π}e^\frac{πi}{4}η(τ+1)$ where $η(τ)$ is the Dedekind eta-function. We show that if $τ_0$ is an imaginary quadratic number with $\mathrm{Im}(τ_0)>0$ and $m$ is an odd integer, then $\sqrt{m}\varphi(mτ_0)/\varphi(τ_0)$ is an algebraic integer dividing $\sqrt{m}$. This is a generalization of Theorem 4.4 given in [B. C. Berndt, H. H. Chan and L. C. Zhang, Ramanujan's remarkable product of theta-functions, Proc. Edinburgh Math. Soc. (2) 40 (1997), no. 3, 583-612]. On the other hand, let $K$ be an imaginary quadratic field and $θ_K$ be an element of $K$ with $\mathrm{Im}(θ_K)>0$ which generators the ring of integers of $K$ over $\mathbb{Z}$. We develop a sufficient condition of $m$ for $\sqrt{m}\varphi(mθ_K)/\varphi(θ_K)$ to become a unit. △ Less

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

MSC Class: 11F03; 11F20

On some arithmetic properties of Siegel functions (II)

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

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

Submitted 14 July, 2010; originally announced July 2010.

MSC Class: 11F11; 11F20; 11R37; 11Y40

Ray class invariants over imaginary quadratic fields

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

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

Submitted 27 January, 2011; v1 submitted 14 July, 2010; originally announced July 2010.

MSC Class: 11F11; 11F20; 11G15; 11G16; 11R37

Normal bases of ray class fields over imaginary quadratic fields

Authors: Ho Yung Jung, Ja Kyung Koo, Dong Hwa Shin

Abstract: We develop a criterion for a normal basis, and prove that the singular values of certain Siegel functions form normal bases of ray class fields over imaginary quadratic fields other than $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. This result would be an answer for the Lang-Schertz conjecture on a ray class field with modulus generated by an integer ($\geq2$). We develop a criterion for a normal basis, and prove that the singular values of certain Siegel functions form normal bases of ray class fields over imaginary quadratic fields other than $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. This result would be an answer for the Lang-Schertz conjecture on a ray class field with modulus generated by an integer ($\geq2$). △ Less

Submitted 15 January, 2011; v1 submitted 14 July, 2010; originally announced July 2010.

MSC Class: 11F11; 11F20; 11R37; 11Y40

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

Ray class fields generated by torsion points of certain elliptic curves

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: We first normalize the derivative Weierstrass $\wp'$-function appearing in Weierstrass equations which give rise to analytic parametrizations of elliptic curves by the Dedekind $η$-function. And, by making use of this normalization of $\wp'$ we associate certain elliptic curve to a given imaginary quadratic field $K$ and then generate an infinite family of ray class fields over $K$ by adjoining to… ▽ More We first normalize the derivative Weierstrass $\wp'$-function appearing in Weierstrass equations which give rise to analytic parametrizations of elliptic curves by the Dedekind $η$-function. And, by making use of this normalization of $\wp'$ we associate certain elliptic curve to a given imaginary quadratic field $K$ and then generate an infinite family of ray class fields over $K$ by adjoining to $K$ torsion points of such elliptic curve. We further construct some ray class invariants of imaginary quadratic fields by utilizing singular values of the normalization of $\wp'$, as the $y$-coordinate in the Weierstrass equation of this elliptic curve, which would be a partial result for the Lang-Schertz conjecture of constructing ray class fields over $K$ by means of the Siegel-Ramachandra invariant. △ Less

Submitted 14 July, 2010; originally announced July 2010.

MSC Class: 11F11; 11G15; 11R37

$y$-coordinates of elliptic curves

Authors: Ja Kyung Koo, Dong Hwa Shin

Abstract: By a change of variables we obtain new $y$-coordinates of elliptic curves. Utilizing these $y$-coordinates as modular functions, together with the elliptic modular function, we generate the modular function fields of level $N\geq3$. Furthermore, by means of the singular values of the $y$-coordinates we construct the ray class fields modulo $N$ over imaginary quadratic fields as well as normal base… ▽ More By a change of variables we obtain new $y$-coordinates of elliptic curves. Utilizing these $y$-coordinates as modular functions, together with the elliptic modular function, we generate the modular function fields of level $N\geq3$. Furthermore, by means of the singular values of the $y$-coordinates we construct the ray class fields modulo $N$ over imaginary quadratic fields as well as normal bases of these ray class fields. △ Less

Submitted 6 March, 2013; v1 submitted 14 July, 2010; originally announced July 2010.

Comments: We changed its title and shortened its contents

MSC Class: 11F11; 11G15; 11R37

A note on traces of singular moduli

Authors: Ja Kyung Koo, Dong Hwa Shin

Abstract: We will generalize Osburn's work about a congruence for traces defined in terms of Hauptmodul associated to certain genus zero groups of higher levels. We will generalize Osburn's work about a congruence for traces defined in terms of Hauptmodul associated to certain genus zero groups of higher levels. △ Less

Submitted 16 October, 2010; v1 submitted 14 July, 2010; originally announced July 2010.

MSC Class: 11F30; 11F33; 11F37

Modified Jacobi forms of index zero (II)

Authors: Ja Kyung Koo, Dong Hwa Shin

Abstract: For a negative integer $k$ let $J_k$ be the space of modified Jacobi forms of weight $k$ and index 0 on $\mathrm{SL}_2(\mathbb{Z})$. For each positive integer $m$ we consider certain subspace $J_k^{m}$ of $J_k$ which satisfies $J_k=\cup_{m=1}^\infty J_k^m$. By observing a relation between coefficients of the Fourier development of a modified Jacobi form we show that $J_k^m$ is finite-dimensional. For a negative integer $k$ let $J_k$ be the space of modified Jacobi forms of weight $k$ and index 0 on $\mathrm{SL}_2(\mathbb{Z})$. For each positive integer $m$ we consider certain subspace $J_k^{m}$ of $J_k$ which satisfies $J_k=\cup_{m=1}^\infty J_k^m$. By observing a relation between coefficients of the Fourier development of a modified Jacobi form we show that $J_k^m$ is finite-dimensional. △ Less

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

Comments: This paper has been withdrawn by the authors. This paper and our previous one "Modified Jacobi forms of index zero" combine to a new version

MSC Class: 11F11; 11F50

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

Modified Jacobi forms of index zero

Authors: Ja Kyung Koo, Dong Hwa Shin

Abstract: By modifying a slash operator of index zero we define \textit{modified Jacobi forms} of \textit{index zero}. Such forms play a role of generating nearly holomorphic modular forms of integral weight. Furthermore, by observing a relation between the coefficients of Fourier development of a modified Jacobi form we construct a family of finite-dimensional subspaces. By modifying a slash operator of index zero we define \textit{modified Jacobi forms} of \textit{index zero}. Such forms play a role of generating nearly holomorphic modular forms of integral weight. Furthermore, by observing a relation between the coefficients of Fourier development of a modified Jacobi form we construct a family of finite-dimensional subspaces. △ Less

Submitted 14 July, 2010; v1 submitted 8 June, 2010; originally announced June 2010.

MSC Class: 11F11; 11F50

More on super-replication formulae

Authors: Chang Heon Kim, Ja Kyung Koo

Abstract: We extend Norton-Borcherds-Koike's replication formulae to super-replicable ones by working with the congruence groups $Γ_1(N)$ and find the product identities which characterize super-replicable functions. These will provide a clue for constructing certain new infinite dimensional Lie superalgebras whose denominator identities coincide with the above product identities. Therefore it could be on… ▽ More We extend Norton-Borcherds-Koike's replication formulae to super-replicable ones by working with the congruence groups $Γ_1(N)$ and find the product identities which characterize super-replicable functions. These will provide a clue for constructing certain new infinite dimensional Lie superalgebras whose denominator identities coincide with the above product identities. Therefore it could be one way to find a connection between modular functions and infinite dimensional Lie algebras. △ Less

Submitted 6 November, 2004; originally announced November 2004.

Comments: 28 pages

MSC Class: 11F03; 11F22

Super-replicable functions ${\cal N}(j_{1,N})$ and periodically vanishing property

Authors: Chang Heon Kim, Ja Kyung Koo

Abstract: We find the super-replication formulae which would be a generalization of replication formulae. And we apply the formulae to derive periodically vanishing property in the Fourier coefficients of the Hauptmodul ${\cal N}(j_{1,12})$ as a super-replicable function. We find the super-replication formulae which would be a generalization of replication formulae. And we apply the formulae to derive periodically vanishing property in the Fourier coefficients of the Hauptmodul ${\cal N}(j_{1,12})$ as a super-replicable function. △ Less

Submitted 6 November, 2004; originally announced November 2004.

Comments: 34 pages

MSC Class: 11F03; 11F22