The tower ground state conjecture for selected imaginary quadratic fields

About 6 years old · traced to

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∈{−225 299,−343 380,−423 476,−486 264}d\in\{-225\,299,-343\,380,-423\,476,-486\,264\} of type F.7\mathrm{F}.7, d∈{−27 156,−241 160,−477 192,−484 804}d\in\{-27\,156,-241\,160,-477\,192,-484\,804\} of type F.11\mathrm{F}.11, d=−291 220d=-291\,220 of type F.12\mathrm{F}.12, and d∈{−167 064,−296 407,−317 747,−401 603}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)=2⋅325\#\operatorname{Aut}(S)=2\cdot3^{25}, rarely 2⋅3262\cdot3^{26}. The supplied text gives no resolution status.

References

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.