Computation of relative class numbers of CM-fields

For abelian CM-fields it is easy to compute the relative class numbers by using generalized Bernoulli numbers. For any CM-field the author intends to provide a technique for computing the relative class number. Namely, let \(N\) be a CM-field, i.e. a totally imaginary number field of degree \(2n\) which is a quadratic extension of a totally real number field \(N^+\) of degree \(n\). Let \(w_N\) denote the number of roots of unity in \(N\). Then, his method is based on the following relative class number formula: \[ \begin{multlined} h_N^-= Q_N w_N \cdot (2\pi)^{-n} \cdot \sqrt {d_n/d_{N^+}} \cdot \text{Res}_{S=1} (\zeta_N)/ \text{Res}_{S=1} (\zeta_{N^+}) = \\ =Q_N w_N\cdot (2\pi)^{-n} \cdot \sqrt {d_N/d_{N^+}} \cdot L(1, \chi_{N/N^+}), \end{multlined} \] and the key point is to establish the holomorphic continuation of \[ s\to (\zeta_N/ \zeta_{N^+}) (s)= L(s, \chi_{N/N^+}) \] in the same way as Riemann did in the case of the Riemann zeta function by using Mellin transformation, and to evaluate the resulting series at \(s=1\). Here, \(Q_N \in\{1,2\}\) is the Hasse unit index of \(N\), and \(d_N\), \(\zeta_N\) and \(d_{N^+}\). \(\zeta_{N^+}\), are the absolute values of discriminants and the Dedekind zeta functions of \(N\) and \(N^+\), respectively. \(\chi_{N/N^+}\) is the quadratic character associated with the quadratic extension \(N/N^+\), and \((\zeta_N/ \zeta_{N^+})\) \((s)= L(s, \chi_{N/N^+})\) is the Dirichlet series attached to \(\chi_{N/N^+}\).

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Computation of relative class numbers of CM-fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4340865)