A Cohen-Lenstra Heuristic for Schur $σ$-Groups
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909611869601792 |
|---|---|
| author | Pink, Richard Rubio, Luca Ángel |
| author_facet | Pink, Richard Rubio, Luca Ángel |
| contents | 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$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_05569 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A Cohen-Lenstra Heuristic for Schur $σ$-Groups Pink, Richard Rubio, Luca Ángel Number Theory 11R11 (11R32, 20D15, 20E18, 20F05) 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$. |
| title | A Cohen-Lenstra Heuristic for Schur $σ$-Groups |
| topic | Number Theory 11R11 (11R32, 20D15, 20E18, 20F05) |
| url | https://arxiv.org/abs/2505.05569 |