Sugawara's conjecture on automorphisms of a ray class field

Let dd be an integer with quadratic discriminant dk=pdpd_k=\prod_{p\mid d}p^*, where p=(1)(p1)/2pp^*=(-1)^{(p-1)/2}p for odd pp, and let 2{4,8,8}2^*\in\{-4,8,-8\}. Let K5\textsf{K}_{\wp_5'} be the indicated ray class field, let bb be the unit used in the construction, and let ψGal(K5/K)\psi\in\operatorname{Gal}(\textsf{K}_{\wp_5'}/K). Sugawara's conjecture. Assume that d1,4(mod15)-d\equiv1,4\pmod {15} and the 22-factor of dkd_k is not 2=42^*=-4. If b/bψ(K5×)2b/b^\psi\in(\textsf{K}_{\wp_5'}^\times)^2 for some ψ\psi, then ψ=1\psi=1. Moreover, there is a unique ψ\psi for which b/bψ=B2b/b^\psi=-\textsf{B}^2 with BK5\textsf{B}\in\textsf{K}_{\wp_5'}, namely the automorphism ψ:b1/b\psi:b\mapsto-1/b. This conjecture describes the square-class behavior of the unit bb under the relevant Galois group; the preceding argument motivates it, but no resolution is given here.

Sources & referencesView supporting material

Primary source

Patrick Morton, “A proof of Sugawara's conjecture on Hasse-Weber ray class invariants”, arXiv:2406.11479 (2026).

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.