Let $K$ be a two-dimensional global field of characteristic $\neq 2$ and let $V$ be a divisorial set of places of $K$. We show that for a given $n\geqslant 5$, the set of $K$-isomorphism classes of spinor groups $G=\operatorname{Spin}_{n}(q)$ of nondegenerate $n$-dimensional quadratic forms over $K$ that have good reduction at all $v\in V$ is finite. This result yields some other finiteness properties, such as the finiteness of the genus $\mathbf{gen}_{K}(G)$ and the properness of the global-to-local map in Galois cohomology. The proof relies on the finiteness of the unramified cohomology groups $H^{i}(K,\unicode[STIX]{x1D707}_{2})_{V}$ for $i\geqslant 1$ established in the paper. The results for spinor groups are then extended to some unitary groups and to groups of type $\mathsf{G}_{2}$.

Let $K$ be the field of fractions of a local Henselian discrete valuation ring ${\mathcal{O}}_{K}$ of characteristic zero with perfect residue field $k$. Assuming potential semi-stable reduction, we show that an unramified Galois action on the second $\ell$-adic cohomology group of a K3 surface over $K$ implies that the surface has good reduction after a finite and unramified extension. We give examples where this unramified extension is really needed. Moreover, we give applications to good reduction after tame extensions and Kuga–Satake Abelian varieties. On our way, we settle existence and termination of certain flops in mixed characteristic, and study group actions and their quotients on models of varieties.