# Algebraic data and purity associated to codimension greater than 2

Consider the following statement: Let $X$ be a smooth and geometrically integral variety over a field $k$ and let $U$ be any open subset of $X$ whose complement is of codimension greater or equal to $2$. Then the following statements hold

$k[X] \cong k[U]$ (clear)

$Pic(X) \cong Pic(U)$ (restriction of codimension $1$ irreducibles)

$Br(X) \cong Br(U)$ (Grothendieck purity for the Brauer group, see 'Le groupe de Brauer III')

$\pi_1^{et}(X) \cong \pi_1^{et}(U)$ (SGA1 Corollary X.3.3)

The middle two statements are essentially referring to cohomology groups with $\mathbb{G}_m$ coefficients.

The question is (albeit rather vague) whether there is some reason why one would expect a lot of the algebraic data associated to a scheme to be in some sense encoded in lower dimension. This is in line with various purity statements such as that in etale cohomology with coefficients in locally constant sheaves of $\mathbb{Z}/n\mathbb{Z}$ modules as can be found in Milne's book. Do many other statements of this type exist?

Let X/k be smooth and irreducible over the field k. Let $F \subset X$ be a closed subvariety with $codim_X F\geq c$. Then the restriction maps in étale cohomology
$H^i(X,\mu_n) \to H^i(X-F,\mu_n )$