| Abstract: Let k be a field, K/k finitely generated and L/K a finite, separable extension. We show that the existence of a k-valuation on L which ramifies in L/K implies the existence of a normal model X of K and a prime divisor D on the normalization XL of X in L which ramifies in the scheme morphism XL→X. Assuming the existence of a regular, proper model X of K, this is a straight-forward consequence of the Zariski-Nagata theorem on the purity of the branch locus. We avoid assumptions on resolution of singularities by using M. Temkin's inseparable local uniformization theorem. |
pdf-file. qp-2.pdf