aa3a6aabef2c02ed.tex
1: \begin{abstract}
2: We prove a version of Temkin's local altered uniformization theorem. We show that for any rig-smooth, quasi-compact and quasi-separated admissible formal $\O_K$-model $\X$, there is a finite extension $K'/K$ such that $\X_{\O_{K'}}$ locally admits a rig-\'etale morphism $g\colon \X' \to \X_{\O_{K'}}$ and a rig-isomorphism $h\colon \X'' \to \X'$ with $\X'$ being a successive semi-stable curve fibration over $\O_{K'}$ and $\X''$ being a polystable formal $\O_{K'}$-scheme. Moreover, $\X'$ admits an action of a finite group $G$ such that $g\colon \X' \to \X_{\O_{K'}}$ is $G$-invariant, and the adic generic fiber $\X'_{K'}$ becomes a $G$-torsor over its quasi-compact open image $U=g_{K'}(\X'_{K'})$. Also, we study properties of the quotient map $\X'/G \to \X_{\O_{K'}}$ and show that it can be obtained as a composition of open immersions and rig-isomorphisms.
3: \end{abstract}