
> 
> Let $(A,\mathfrak{m})$ be a local ring, and let $A^{\mathrm{sh}}$ be the strict henselization of $A$ at $\mathfrak{m}$. Let me denote $A^{\mathrm{sh},\mathrm{fin}}$ for the filtered colimit of finite etale $A$-algebras (with a fixed map to the separable closure of $A/\mathfrak{m}$). There is a canonical map \begin{align} \varphi : A^{\mathrm{sh},\mathrm{fin}} \to A^{\mathrm{sh}} \end{align} of $A$-algebras. When is $\varphi$ an isomorphism?
> 
> 
> 


Remarks/thoughts:


1. This is true if $A$ is a field.
2. We can consider using Zariski's Main Theorem (say [this version](https://stacks.math.columbia.edu/tag/05K0)) in some way. If $A^{\mathrm{sh},\mathrm{fin}} \to B$ is an etale ring map, there exists a factorization $A^{\mathrm{sh},\mathrm{fin}} \to C \to B$ where $A^{\mathrm{sh},\mathrm{fin}} \to C$ is finite and $C \to B$ induces an open immersion $\operatorname{Spec} B \to \operatorname{Spec} C$, but I don't know whether $A^{\mathrm{sh},\mathrm{fin}} \to C$ is etale (or whether it can be made etale after a refinement of $B$). It seems we can make $A^{\mathrm{sh},\mathrm{fin}} \to C$ finite flat, namely using the structure theorem for etale ring maps (e.g. [00UE](https://stacks.math.columbia.edu/tag/00UE)) which says we can take $C = A^{\mathrm{sh},\mathrm{fin}}[t]/(f(t))$ for some monic polynomial $f(t) \in A^{\mathrm{sh},\mathrm{fin}}[t]$ and $B$ to be a principal localization of $C$.



Is the strict henselization isomorphic to the filtered colimit of finite etale algebras?
If your proposed description is correct, then the strict henselization of $A$ would be integral over $A$, and hence the same holds true for any subring of the strict henselization. But this is essentially never true (unless $A$ is henselian).


For an explicit example, take $A = \mathbf{C}[x]\_{(x)}$. Choose a map $f:X \to \mathbf{A}^1$ of smooth affine curves of degree $3$ such that $f^{-1}(0) = \{x,y\}$ with $x$ unramified and $y$ ramified. Take $B = \mathcal{O}\_{X,x}$, so $\mathrm{Spec}(B)$ is the affine open subscheme of $X \times\_{\mathbf{A}^1} \mathrm{Spec}(A)$ obtained by removing $y$. Then $A \to B$ is a local \'etale map of local domains with the same residue field, so $B$ occurs as a subring of the strict henselization of $A$. But $A \to B$ is not integral as it fails the valuative criterion of properness: there is a valuation on $\mathrm{Frac}(B) = K(X)$ corresponding to the point $y \in X$ that has a center on $\mathrm{Spec}(A)$ but not one on $\mathrm{Spec}(B)$.


