Sugawara's conjecture on ramified prime-5 conjugates

About 2 years old · traced to

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 5∣dK5\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(mod℘5)\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.

References

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.