Construction of class fields over imaginary biquadratic fields

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