McLeman's Zassenhaus type conjecture for imaginary quadratic fields

Let p>3p>3 be a prime, and let KK be an imaginary quadratic field whose class group has pp-rank two. The Zassenhaus type is the pair (i,j)(i,j) occurring in the Zassenhaus polynomial ZG(t)=ti+tj2t+1Z_G(t)=t^i+t^j-2t+1 of the relevant pro-pp Galois group G=Gal(Kur,p/K)G=\operatorname{Gal}(K^{\operatorname{ur},p}/K). McLeman's conjecture. The pp-class field tower of KK is finite if and only if its Zassenhaus type is (3,3)(3,3). The paper states that it has found counterexamples to this conjecture, so the claim is refuted.

Sources & referencesView supporting material

Primary source

Eric Ahlqvist and Magnus Carlson, “Massey products in the étale cohomology of number fields”, arXiv:2207.06353 (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.