English

Construction of class fields over imaginary biquadratic fields

Number Theory 2016-10-06 v4

Abstract

Let KK be an imaginary biquadratic field and K1K_1, K2K_2 be its imaginary quadratic subfields. For integers N>0N>0, μ0\mu\geq 0 and an odd prime pp with gcd(N,p)=1\gcd(N,p)=1, let K(Npμ)K_{(Np^\mu)} and (Ki)(Npμ)(K_i)_{(Np^\mu)} for i=1,2i=1,2 be the ray class fields of KK and KiK_i, respectively, modulo NpμNp^\mu. We first present certain class fields KN,p,μ1,2~\widetilde{K_{N,p,\mu}^{1,2}} of KK, in the sense of Hilbert, which are generated by Siegel-Ramachandra invariants of (Ki)(Npμ+1)(K_i)_{(Np^{\mu+1})} for i=1,2i=1,2 over K(Npμ)K_{(Np^\mu)} and show that K(Npμ+1)=KN,p,μ1,2~K_{(Np^{\mu+1})}=\widetilde{K_{N,p,\mu}^{1,2}} for almost all μ\mu.

Keywords

Cite

@article{arxiv.1306.6390,
  title  = {Construction of class fields over imaginary biquadratic fields},
  author = {Ja Kyung Koo and Dong Sung Yoon},
  journal= {arXiv preprint arXiv:1306.6390},
  year   = {2016}
}

Comments

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

R2 v1 2026-06-22T00:41:07.235Z