Semi-stability and base change

Abstract.

Let X and Y be regular strictly semi-stable varieties over a discrete valuation ring R and let $R \subseteqq {\widetilde {R}}$ be a finite ramified extension of discrete valuation rings. We explicitly give desingularization procedures for the base change $X \times _R {\widetilde {R}}$ and for the product $X \times _R Y$.