Sugawara's conjecture on ray class invariants for split 2

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 dK1(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.

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.