Searcharxiv⌕ Search

arXiv subjects

Ja Kyung Koo

Publications and source records attributed to Ja Kyung Koo.

47 records · Page 3Linked to original sources
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↗
arXiv2011

Normal bases of ray class fields over imaginary quadratic fields

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$).

math.NT↗
arXiv2010

A note on traces of singular moduli

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.

math.NT↗
arXiv2010

Algebraic integers as special values of modular units

Let $φ(τ)=η((τ+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}φ(mτ_0)/φ(τ_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}φ(mθ_K)/φ(θ_K)$ to become a unit.

math.NT↗
arXiv2010

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

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.

math.NT↗
arXiv2010

Modified Jacobi forms of index zero (II)

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.

math.NT↗
arXiv2010

Modified Jacobi forms of index zero

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.

math.NT↗
arXiv2010

Ray class fields generated by torsion points of certain elliptic curves

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.

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↗
arXiv2004

More on super-replication formulae

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.

math.NT↗