The discriminant norm conjecture for cubic roots

Let uSdu\in S_d, write ν=u1/3\nu=u^{1/3}, and let c=c(u)c=c(u) be the product of the distinct rational primes dividing uu but not dd. Let cc' be the odd part of cc. Let F=Q(3d)F=\mathbb{Q}(\sqrt{-3d}), let McM_c be the corresponding ring class field, and let D(F(ν)/F)D(F(\nu)/F) denote the relative discriminant. Discriminant norm conjecture. If νMc\nu\in M_c, then

N(D(F(ν)/F)c4)={1,3d,36,3d,N\left(D(F(\nu)/F)c^{-4}\right)= \begin{cases} 1,&3\nmid d,\\ 3^6,&3\mid d, \end{cases}

and if νMc\nu\notin M_c, then

N(D(F(ν)/F)c4)={38,3d,318,3d.N\left(D(F(\nu)/F)c^{-4}\right)= \begin{cases} 3^8,&3\nmid d,\\ 3^{18},&3\mid d. \end{cases}

When d3(mod4)d\equiv3\pmod 4, each occurrence of c4c^{-4} is instead replaced by c4c'^{-4}. The conjecture predicts precise discriminant norms according to whether the cubic root lies in the relevant ring class field, complementing the paper's class-field criteria and numerical evidence.

Sources & referencesView supporting material

Primary source

R. Evans, F. Lemmermeyer, Z. -H. Sun and M. van Veen, “Ring class fields and a result of Hasse”, arXiv:2403.04986 (2024).

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.