Conjecture on Siegel invariants generating fixed fields in ray class fields

About 11 years old · traced to

Let KK be a CM-field with reflex field K∗K^*, let f\mathfrak{f} be a modulus of KK, and let f∗\mathfrak{f}^* be the corresponding modulus of K∗K^*. 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.

References

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).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.