• Korean Journal of Mathematics
• /
• v.26 no.2
• /
• pp.293-297
• /
• 2018

In the paper [4], we constructed 3-part of the Hilbert class field of imaginary quadratic fields whose class number is divisible exactly by 3. In this paper, we extend the result for any odd prime p.

• East Asian mathematical journal
• /
• v.38 no.5
• /
• pp.583-591
• /
• 2022

Let K be an imaginary quadratic field and 𝒪 be an order in K. Let H_𝒪 be the ring class field of 𝒪. Furthermore, for a positive integer N, let K_𝒪,N be the ray class field modulo N𝒪 of 𝒪. When the discriminant of 𝒪 is different from -3 and -4, we construct an extended form class group which is isomorphic to the Galois group Gal(K_𝒪,N/H_𝒪) and describe its Galois action on K_𝒪,N in a concrete way.

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.1
• /
• pp.167-174
• /
• 2013

The main goal in the present paper is to obtain a solution of Einstein's unified field equations for the third class in $X_4$.

• East Asian mathematical journal
• /
• v.37 no.1
• /
• pp.87-95
• /
• 2021

Let K be an imaginary quadratic field with ��K its ring of integers. For a positive integer N, let K(N) be the ray class field of K modulo N��K, and let ��N be the field of meromorphic modular functions of level N whose Fourier coefficients lie in the Nth cyclotomic field. For each h ∈ ��N, we construct a ray class invariant as its special value in terms of the extended form class group, and show that the invariant satisfies the natural transformation formula via the Artin map in the sense of Siegel and Stark. Finally, we establish an isomorphism between the extended form class group and Gal(K(N)/K) without any restriction on K.

• Journal of the Chungcheong Mathematical Society
• /
• v.34 no.4
• /
• pp.317-326
• /
• 2021

Let K be an imaginary quadratic field other than ℚ(${\sqrt{-1}}$) and ℚ(${\sqrt{-3}}$), and let 𝒪_K be its ring of integers. Let N be a positive integer such that N = 5 or N ≥ 7. In this paper, we generate the ray class field modulo N𝒪_K over K by using a single x-coordinate of an elliptic curve with complex multiplication by 𝒪_K.

• Korean Journal of Mathematics
• /
• v.23 no.3
• /
• pp.323-326
• /
• 2015

We prove that if a subfield of the Hilbert class field of an imaginary quadratic field k meets the anticyclotomic $\mathbb{Z}_p$-extension $k^a_{\infty}$ of k, then it is contained in $k^a_{\infty}$. And we give an example of an imaginay quadratic field k with ${\lambda}_3(k^a_{\infty}){\geq}8$.

• Journal of the Korean Mathematical Society
• /
• v.52 no.5
• /
• pp.907-928
• /
• 2015

We show in many cases that the Siegel-Ramachandra invariants generate the ray class fields over imaginary quadratic fields. As its application we revisit the class number one problem done by Heegner and Stark, and present a new proof by making use of inequality argument together with Shimura's reciprocity law.

• Journal of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.21-59
• /
• 2020

Let L_K denote the hypothetical automorphic Langlands group of a number field K. In our recent study, we briefly introduced a certain unconditional non-commutative topological group ${\mathfrak{W}}{\mathfrak{A}}{\frac{\varphi}{K}}$, called the Weil-Arthur idèle group of K, which, assuming the existence of L_K, comes equipped with a natural topological group homomorphism $NR{\frac{\varphi}{K}^{Langlands}}$ : ${\mathfrak{W}}{\mathfrak{A}}{\frac{\varphi}{K}}$ → L_K that we called the "Langlands form" of the global nonabelian norm-residue symbol of K. In this work, we present a detailed construction of ${\mathfrak{W}}{\mathfrak{A}}{\frac{\varphi}{K}}$ and $NR{\frac{\varphi}{K}^{Langlands}}$ : ${\mathfrak{W}}{\mathfrak{A}}{\frac{\varphi}{K}}$ → L_K, and discuss their basic properties.

• Journal of the Korean Mathematical Society
• /
• v.42 no.2
• /
• pp.203-222
• /
• 2005

Thompson series is a Hauptmodul for a genus zero group which lies between $\Gamma$o(N) and its normalizer in PSL2(R) ([1]). We construct explicit ring class fields over an imaginary quadratic field K from the Thompson series $T_g$($\alpha$) (Theorem 4), which would be an extension of [3], Theorem 3.7.5 (2) by using the Shimura theory and the standard results of complex multiplication. Also we construct various class fields over K, over a CM-field K (${\zeta}N + {\zeta}_N^{-1}$), and over a field K (${\zeta}N$). Furthermore, we find an explicit formula for the conjugates of Tg ($\alpha$) to calculate its minimal polynomial where $\alpha$ (${\in}{\eta}$) is the quotient of a basis of an integral ideal in K.

• Journal of the Korean Mathematical Society
• /
• v.50 no.4
• /
• pp.847-864
• /
• 2013

By a change of variables we obtain new $y$-coordinates of elliptic curves. Utilizing these $y$-coordinates as meromorphic modular functions, together with the elliptic modular function, we generate the fields of meromorphic modular functions. Furthermore, by means of the special values of the $y$-coordinates, we construct the ray class fields over imaginary quadratic fields as well as normal bases of these ray class fields.