On the 2-class field tower conjecture for imaginary quadratic number fields with 2-class group of rank 4 (Q2343177)

Let \(k\) be an imaginary quadratic field of discriminant \(d_k\) and class group \(C_k\), let \(C_{k,2}\) be the \(2\)-Sylow subgroup of \(C_k\), let \(r_2(k)\), \(r_4(k)\) be the \(2\)-rank and the \(4\)-rank of \(C_{k,2}\). It is known that if \(r_2(k)\geq5\) then the \(2\)-class field tower of \(k\) is infinite (see e.g., \textit{P. Roquette} in [ J. W. S. Cassels (ed.) and A. Fröhlich (ed.), Algebraic number theory. London and New York: Academic Press 1967 (1967; Zbl 0153.07403)], and it has been conjectured that the same happens for \(r_2(k)=4\). This conjecture has been confirmed for several classes of fields by \textit{H. Koch} [J. Reine Angew. Math. 214/215, 201--206 (1964; Zbl 0123.03904)], \textit{F. Hajir} [Pac. J. Math. 176, No. 1, 15--18 (1996; Zbl 0879.11066); corr. ibid., 196, No. 2, 507--508 (2000; Zbl 1033.11052)], \textit{A. Mouhib} [Acta Arith. 145, No. 3, 267--272 (2010; Zbl 1211.11127)], \textit{B. Schmithals} [Arch. Math. 34, 307--312 (1980; Zbl 0448.12008)], \textit{Y. Sueyoshi} [Acta Arith. 113, No. 3, 251--257 (2004; Zbl 1060.11074); Far East J. Math. Sci. (FJMS) 34, No. 3, 329--339 (2009; Zbl 1235.11101); ibid. (FJMS) 42, No. 2, 175--187 (2010; Zbl 1204.11173)] and the author [Pac. J. Math. 201, No. 2, 257--266 (2001; Zbl 1054.11056); Ann. Sci. Math. Qué. 26, No. 1, 1--13 (2002; Zbl 1033.11051)]. In this paper the author establishes the conjecture for new classes of fields. In particular he does this for infinitely many fields \(k\) with \(r_2(k)=4\), \(r_4(k)=1\), \(d_k\not\equiv4\) mod \(8\) and exactly \(3\) negative discriminants dividing \(d_k\).