Application of Weierstrass units to relative power integral bases (Q2256083)

Let \(L/F\) be an extension of number fields and let \(\mathcal{O}_L\) and \(\mathcal{O}_F\) be the rings of integers of \(L\) and \(F\), respectively. We say that an element \(\alpha\) of \(L\) forms a \textit{relative power integral basis} for \(L/F\) if \(\mathcal{O}_L = \mathcal{O}_F[\alpha]\). For example, if \(N\) is a positive integer, then \(\zeta_N = e^{2\pi i/N}\) forms a (relative) power integral basis for the extension \({\mathbb Q}(\zeta_N)/{\mathbb Q}\). In general not much is known about relative power integral bases except for extensions of degree less than or equal to 9. Let \(K\) be an imaginary quadratic field other than \({\mathbb Q}(\sqrt{-1}\) or \({\mathbb Q}(\sqrt{-3})\). Let \(m\) and \(n\) be positive integers such that \(m\) has at least two prime factors and each prime factor of \(mn\) splits in \(K/{\mathbb Q}\). In this paper, the authors show that certain Weierstrass unit forms a relative power integral basis for the ray class field modulo (\(mn\)) over the compositum of the ray class field modulo (\(m\)) and the ring class field of the order of conductor \(mn\) of \(K\). At the end of it they make use of an explicit description of Shimura reciprocity law due to \textit{P. Stevenhagen} [Adv. Stud. Pure Math. 30, 161--176 (2001; Zbl 1097.11535)].