McLeman's Massey-product criterion for finiteness of p-class field towers
Let be a prime, and let be an imaginary quadratic field whose class group has -rank two. Set
Choose a basis of , and let denote the representations whose trace functionals occur below. McLeman's Massey-product criterion. The group is finite if and only if
is invertible. The source presents this as an equivalent version of the Zassenhaus type conjecture and states that it will disprove it; hence this criterion is refuted in the stated generality.
References
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.