Demushkin groups of uncountable rank

Tamar Bar-On,Nikolay Nikolov
DOI: https://doi.org/10.1112/jlms.12875
2023-11-30
Abstract:We extend the theory of countably generated Demushkin groups to Demushkin groups of arbitrary rank. We investigate their algebraic properties and invariants, count their isomorphism classes and study their realization as absolute Galois group. At the end, we compute their profinite completion and conclude with some results on profinite completion of absolute Galois groups.
Number Theory,Group Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to extend the theory of Demushkin groups from the countably - generated case to the case of arbitrary rank (including uncountable rank). Specifically, the author explores the algebraic properties and invariants of these groups and studies the possibility of their realization as absolute Galois groups. In addition, the author also calculates the completions of these groups and obtains some results regarding the completions of absolute Galois groups. ### Main problems and goals 1. **Extension of the theory of Demushkin groups**: - Extend the concept of Demushkin groups from countably - generated to arbitrary rank (including uncountable rank). - Study the algebraic properties and invariants of these groups, such as $q(G)$, $s(G)$ and $\text{Im}(\chi)$. 2. **Study of the number of isomorphism classes**: - Calculate the number of isomorphism classes of Demushkin groups of different ranks and prove that for a given rank and invariants, there are a specific number of non - isomorphic Demushkin groups. 3. **Realization as absolute Galois groups**: - Study whether these groups can be realized as the maximal pro - $p$ quotient absolute Galois groups of certain fields. - In particular, explore the pro - $p$ version of the generalized inverse Galois problem, that is, determine which pro - $p$ groups can be the maximal pro - $p$ quotient of absolute Galois groups. 4. **Calculation of completions**: - Calculate the completions of Demushkin groups of arbitrary rank and obtain new results regarding the completions of absolute Galois groups. ### Key results - **Theorem 1**: For each non - degenerate skew - symmetric bilinear form $(V,\phi)$ and given $q\neq2$, there exists a Demushkin group $G$ of rank $\mu$ such that $q(G) = q$, $s(G)=0$, and its cup - product bilinear form is isomorphic to $(V,\phi)$. - **Theorem 3**: For each $t\in\{- 1,0,1\}$, subgroup $A\leq\mathbb{Z}_2^{\times}$ and uncountable cardinal $\mu$, there exist $2^{\mu}$ non - isomorphic pro - 2 Demushkin groups $G$ such that $s(G) = 0$, $t(G)=t$, and $\text{Im}(\chi)=A$. - **Theorem 6**: For each uncountable cardinal $\mu$, prime number $p$, and $q$ being a power of $p$ or 0, there exists a field $F$ whose absolute Galois group is a Demushkin group $G$ of rank $\mu$ satisfying $q(G)=q$ and $s(G) = 0$. Through these results, the author not only extends the theory of Demushkin groups but also provides new tools and perspectives for further research on absolute Galois groups.