Skip to main content
3 of 6
Minor TeXing and proofreading
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Is the absolute Galois group $\text{Gal}(\bar K/K)$ isomorphic to $\text{Gal}(K(S)/K)$?

Let $K$ be a finite extension of $\mathbb{Q}_p$ with ring of integers $\mathcal{O}$, maximal ideal $\mathfrak{m}$ and uniformizer $\pi$. Let $\bar K$ be the algebraic closure of $K$ and $\bar{\mathfrak{m}}$ be the integral closure of $\mathfrak{m}$.

Let $f(x) \in x \mathcal{O}[[x]]$ be a noninvertible power series with finite Weirstrass-degree and let $f^{\circ n}(x)$ be the $n^\text{th}$ iterate of $f(x)$. We denote the set of roots of $f^{\circ n}(x)$ by $S_n=\{x \in \bar{\mathfrak{m}}~|~f^{\circ n}(x)=0 \}$. Also denote $S=\bigcup_n S_n$.

Since $f$ has finite Weierstrass degree, $\#S_n$ is finite. Assume that the field extension $K(S_n)$ is Galois such that \begin{align}\operatorname{Gal}(K(S_n)/K) \cong \left( \mathcal{O}/\pi^n \mathcal{O} \right)^{\times}.\tag{1}\label{1}\end{align} Taking the inverse limit of the relation \eqref{1}, we get \begin{align} \operatorname{Gal}(\bar K/K) \cong \mathcal{O}^{\times}.\tag{2}\label{2} \end{align} There is a continuous surjection $\operatorname{Gal}(\bar K/K) \twoheadrightarrow \operatorname{Gal}(K(S_n)/K)$ by $\sigma \mapsto \sigma\rvert_{K(S_n)}$.

My question—

Is the absolute Galois group $\operatorname{Gal}(\bar K/K)$ isomorphic to $\operatorname{Gal}(K(S)/K)$?

MAS
  • 930
  • 6
  • 18