Abstract:In this paper, we prove, under a technical assumption, that any semi-direct product of a $p$-group $G$ with a group $\Phi$ of order prime to $p$ can appear as the Galois group of a tower of extensions $H/K/F$ with the property that $H$ is the maximal pro-$p$ extension of $K$ that is unramified everywhere, and $\operatorname{Gal}(H/K) = G$. A consequence of this result is that any local ring admitting a surjection to $\mathbb{Z}_5$ or $\mathbb{Z}_7$ with finite kernel can occur as a universal everywhere unramified deformation ring.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to prove that under certain technical assumptions, any semidirect product group \( G \rtimes \Phi \), where \( G \) is a \( p \)-group and \( \Phi \) is a group of prime order \( p \), can be the Galois group of a tower extension \( H/K/F \) satisfying the following conditions:
1. \( H/K \) is the maximal unramified pro - \( p \) extension of \( K \).
2. \( \text{Gal}(H/K)=G \).
3. \( \text{Gal}(H/F)=\Gamma \), where \( \Gamma = G \rtimes \Phi \).
4. \( H/F \) satisfies property \( P \).
Specifically, the author achieves this goal by proving Theorem 1. The main conclusion of Theorem 1 is: for any \( p \)-group \( G \) and \( \Phi \) acting on \( G \), there exists a number field extension \( H/K/F \) such that the above conditions are satisfied.
In addition, this paper also explores the problem of unramified deformation rings and proves an important corollary (Theorem 2), that is, any local ring \( R \), if it has a surjective map onto \( \mathbb{Z}_5 \) or \( \mathbb{Z}_7 \) and the kernel is finite, then \( R \) can be a universal unramified deformation ring.
### The specific content of Theorem 1
Let \( p \) be a prime number and \( \Phi \) be a group of prime order \( p \). Suppose there exists a number field extension \( L/E \) satisfying the following conditions:
- \( L/E \) is a Galois extension and the Galois group is \( \Phi \).
- \( E \) contains \( \mu_p \), and when \( p = 2 \), \( E \) is totally imaginary.
- The class number of \( L \) is coprime to \( p \).
- \( L/E \) satisfies property \( P \).
For any \( p \)-group \( G \) and \( \Phi \) acting on \( G \), there exists a number field extension \( H/K/F \) such that:
1. \( H/K \) is the maximal unramified pro - \( p \) extension of \( K \).
2. \( \text{Gal}(H/K)=G \).
3. \( \text{Gal}(H/F)=\Gamma \), where \( \Gamma = G \rtimes \Phi \).
4. \( H/F \) satisfies property \( P \).
### Property \( P \)
Definition 1.1: We say that a number field extension \( L/K \) has property \( P \) if for all primes \( p \) of \( K \) and \( P\mid p \), either \( L_P/K_p \) is unramified or \( L_P/K_p \) is tamely ramified and the ramification index \( e \) satisfies \( e\mid(q - 1) \), where \( q \) is the cardinality of the residue field of \( K_p \).
### Motivation and applications
One motivation for this research comes from the study of the deformation rings of continuous absolutely irreducible residual Galois representations \( \rho: G_F\rightarrow\text{GL}_2(\mathbb{F}_p) \). In particular, the author explores the possibilities of these deformation rings and whether they can be universal unramified deformation rings. This involves "Murphy's Law" in the moduli space, that is, all possible singularities will appear in the deformation space.
### Conclusion
Through