Sugawara's conjecture on ray class invariants for split 2

At least 1 year old · documented by

Let KK) be an imaginary quadratic field with discriminant dKd_K, let (2)=p1p2(2)=\mathfrak p_1\mathfrak p_2, let h(dK)h(d_K) denote the class number, and let K1\textsf{K}_1 denote the relevant ray class field. Sugawara's conjecture. If dK≡1(mod8)d_K\equiv 1\pmod 8, then the invariants for m=p1,p2\mathfrak m=\mathfrak p_1,\mathfrak p_2 have degree 2h(dK)2h(d_K) over Q\mathbb Q, each generating K1\textsf{K}_1 over Q\mathbb Q; the invariant for p1p2\mathfrak p_1\mathfrak p_2 has degree h(dK)h(d_K) over Q\mathbb Q and generates K1\textsf{K}_1 over KK. The conjecture concerns the degrees and generation of ray class invariants in the split case; the surrounding argument establishes the corresponding cases for certain other factorizations of (2)(2), while this split case is proposed here.

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.