Lemma 62.4.2. Let $R$ be a discrete valuation ring with fraction field $K$ and residue field $\kappa $. Let $X$ be a scheme locally of finite type over $R$. Let $r \geq 0$. Let $W \subset X$ be a closed subscheme flat over $R$. Assume $\dim (W_ K) \leq r$. Then $\dim (W_\kappa ) \leq r$ and
\[ sp_{X/R}([W_ K]_ r) = [W_\kappa ]_ r \]
Comments (0)