Galois theory over rings of arithmetic power series (Q631802)

Let \(A\) be a proper subring of \({\mathbb Q}\), \(0<r<1\), \({\mathbb C}_r [[ t]]\) the ring of holomorphic functions on the open disc of radius \(r\) around the origin which are continuous on the closed disc of radius \(r\), \({\mathbb C}_{r^+} [[ t]]=\cup_{s>r}{\mathbb C}_s [[ t]] \) the ring of holomorphic functions on a neighborhood of the closed disc of radius \(r\), \(R={\mathbb C}_r [[ t]]\cap A [[ t]]\) or \(R={\mathbb C}_{r^+} [[ t]] \cap A [[ t]]\), \(S=R_{\text{alg}}\) (the ring of algebraic convergent power series), \(K=\text{Quot}(R)\) or \(K=\text{Quot}(S)\). The authors prove that \(K\) is an ample field (i.e. every smooth \(K\)-curve that has a \(K\)-rational point has infinitely many such points), \(K\) is a fully Hilbertian field (i.e. given a non-trivial split embedding problem over \(K\) and a regular solution over \(K(X)\), one can specialize the solution into \(|K|\)-many independent solutions over \(K\)), \(\text{Gal(K)}\) is a semi-free profinite group (i.e. any non-trivial finite split embedding problem for \(\text{Gal(K)}\) has \(\text{rank}(\text{Gal(K)}) \) independent solutions).