Conjecture on Siegel invariants generating fixed fields in ray class fields

From papers

Let KK be a CM-field with reflex field KK^*, let f\mathfrak{f} be a modulus of KK, and let f\mathfrak{f}^* be the corresponding modulus of KK^*. Write

φ~:Cl(f)Cl(f)\widetilde{\varphi}:\mathrm{Cl}(\mathfrak{f})\longrightarrow\mathrm{Cl}(\mathfrak{f}^*)

for the natural homomorphism induced by the map φ\varphi defined by the reflex norm, and let CC be the CM point used to define the Siegel invariant Θf(C)\Theta_\mathfrak{f}(C). Siegel-invariant generator conjecture. The Siegel invariant Θf(C)\Theta_\mathfrak{f}(C) is a primitive generator of the fixed field of ker(φ~)\ker(\widetilde{\varphi}) in the ray class field KfK_\mathfrak{f} of KK.

This conjecture concerns the field generated by a Siegel invariant under the assumption referred to in the source. The displayed claim is formulated in terms of the ray class groups of KK and its reflex field; its resolution is not specified in the supplied text.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Ja Kyung Koo, Gilles Robert, Dong Hwa Shin and Dong Sung Yoon, “On Siegel invariants of certain CM-fields”, arXiv:1508.05602 (2018).

Solutions 0

No solutions have been posted yet.