The tower ground state conjecture for selected imaginary quadratic fields

Let K=Q(d)K=\mathbb{Q}(\sqrt d) be an imaginary quadratic field with fundamental discriminant dd, and let 3(K)\ell_3(K) denote the length of its 33-class field tower. Let S=G3(K)S=\mathrm{G}_3^\infty(K) denote the tower group, and use lo(S)\operatorname{lo}(S), cl(S)\operatorname{cl}(S) and cc(S)\operatorname{cc}(S) for its logarithmic order, nilpotency class and coclass.

Tower ground state conjecture. The fields with discriminants d{225299,343380,423476,486264}d\in\{-225\,299,-343\,380,-423\,476,-486\,264\} of type F.7\mathrm{F}.7, d{27156,241160,477192,484804}d\in\{-27\,156,-241\,160,-477\,192,-484\,804\} of type F.11\mathrm{F}.11, d=291220d=-291\,220 of type F.12\mathrm{F}.12, and d{167064,296407,317747,401603}d\in\{-167\,064,-296\,407,-317\,747,-401\,603\} of type F.13\mathrm{F}.13 have 33-class field towers of exact length

3(K)=3\ell_3(K)=3

with a suitable Schur σ\sigma-group as tower group. For all four types, the tower group satisfies

lo(S)=20,cl(S)=9,cc(S)=11,\operatorname{lo}(S)=20,\qquad \operatorname{cl}(S)=9,\qquad \operatorname{cc}(S)=11,

with ζ1(S)=(9,9)\zeta_1(S)=(9,9) or (9,3,3)(9,3,3), γ22(S)=(27,27,9,3,3,3)\gamma_2^2(S)=(27,27,9,3,3,3) or (27,9,9,9,3,3)(27,9,9,9,3,3), and usually #Aut(S)=2325\#\operatorname{Aut}(S)=2\cdot3^{25}, rarely 23262\cdot3^{26}. The supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Daniel C. Mayer, “Extremal root paths of Schur \(σ\)-groups and first \(3\)-class field towers with four stages”, arXiv:2004.05103 (2020).

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.