All Questions

Let $R$ be a Henselian discrete valuation ring. Let $S=\mathrm{Spec} R$ be the corresponding trait, with generic point $\eta$ and closed point $s$. Let $f:X\to S$ be a smooth proper morphism of ...