Sugawara's conjecture on ramified prime-5 conjugates

Let KK be an imaginary quadratic field with discriminant dKd_K, suppose (5)=52(5)=\wp_5^2, let Σ=K1\Sigma=\textsf{K}_1, and let ρΣ\rho\in\Sigma. Let ψGal(Σ/K)\psi\in\operatorname{Gal}(\Sigma/K). Sugawara's conjecture. If 5dK5\mid d_K, (5)=52(5)=\wp_5^2, and 1ψGal(Σ/K)1\ne\psi\in\operatorname{Gal}(\Sigma/K), then the implication

ρψ=aρa≢1(mod5)\rho^\psi=a\rho\quad\Longrightarrow\quad a\not\equiv1\pmod{\wp_5}

holds in Σ=K1\Sigma=\textsf{K}_1. The claim concerns nontrivial Galois conjugation in the ramified prime-5 case; the paper notes that in this situation a=ε2a=\varepsilon^2 is a square in Σ\Sigma, but gives no resolution of the conjecture.

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.