A Cohen-Lenstra Heuristic for Schur $σ$-Groups

Abstract

For any odd prime $p$ and any imaginary quadratic field $K$, the $p$-tower group $G_K$ associated to $K$ is the Galois group over $K$ of the maximal unramified pro-$p$-extension of $K$. This group comes with an action of a finite group $\{1,σ\}$ of order $2$ induced by complex conjugation and is known to possess a number of other properties, making it a so-called Schur $σ$-group. Its maximal abelian quotient is naturally isomorphic to the $p$-primary part of the narrow ideal class group of ${\mathcal O}_K$, and the Cohen-Lenstra heuristic gives a probabilistic explanation for how often this group is isomorphic to a given finite abelian $p$-group. The present paper develops an analogue of this heuristic for the full group $G_K$. It is based on a detailed analysis of general pro-$p$-groups with an action of $\{1,σ\}$, which we call $σ$-pro-$p$-groups. We construct a probability space whose underlying set consists of $σ$-isomorphism classes of weak Schur $σ$-groups and whose measure is constructed from the principle that the relations defining $G_K$ should be randomly distributed according to the Haar measure. We also compute the measures of certain basic subsets, the result being inversely proportional to the order of the $σ$-automorphism group of a certain finite $σ$-$p$-group, as has often been observed before. Finally, we show that the $σ$-isomorphism classes of weak Schur $σ$-groups for which each open subgroup has finite abelianization form a subset of measure $1$.