Generic stability of linear algebraic groups over $\mathbb{C}[[t]]$

Let $K$ be a henselian valued field with ${\mathcal{O}}_K$ its valuation ring, $\mathrm{\Gamma }$ its value group, and $\mathit{k}$ its residue field. We study the definable subsets of ${\mathcal{O}}_K$ and algebraic groups definable over ${\mathcal{O}}_K$ in the case where $\mathit{k}$ is algebraically closed and $\mathrm{\Gamma }$ is a $\mathbb{Z}$-group. We first describe the definable subsets of ${\mathcal{O}}_K$, showing that every definable subset of ${\mathcal{O}}_K$ is either res-finite or res-cofinite (see Definition \ref{def-res-finite-cofinite}). Applying this result, we show that $\mathrm{G}\mathrm{L}(n,{\mathcal{O}}_K)$ (the invertible $n$ by $n$ matrices over ${\mathcal{O}}_K$) are generically stable for each $n$, generalizing Y. Halevi’s result, where $K$ is an algebraically closed valued field \cite{Y.Halevi}.