Ray class field prediction for RM-value fields

Let t=(d,r,Q)t=(d,r,Q) be an admissible tuple with associated real quadratic field KK, let d=dj,md=d_{j,m}, and let ff be the conductor of QQ. Let s=(d,r,Q,G,g)s=(d,r,Q,G,g) be a fiducial datum. Denote by Es(1)E_s^{(1)}, Et(2)E_t^{(2)}, and EtE_t the fields defined in the source, and by HdbOfH^{O_f}_{db\bullet} the corresponding ray class fields. Ray class field prediction.

Es(1)=Hd1Of,Et(2)=Hd2Of,Et=Hd12Of.E_s^{(1)}=H^{\mathcal O_f}_{\mathfrak d\infty_1},\qquad E_t^{(2)}=H^{\mathcal O_f}_{\mathfrak d\infty_2},\qquad E_t=H^{\mathcal O_f}_{\mathfrak d\infty_1\infty_2}.

The paper presents this as a numerical prediction extending beyond what follows from the Stark--Tate conjecture, and notes that it implies a further ray-class-field conjecture.

Sources & referencesView supporting material

Primary source

Marcus Appleby, Steven T Flammia and Gene S Kopp, “A Constructive Approach to Zauner's Conjecture via the Stark Conjectures”, arXiv:2501.03970 (2025).

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.