Resolution of singularities of threefolds in mixed characteristic: case of small multiplicity

Abstract

We prove Local Uniformization for arbitrary excellent hypersurface threefolds of multiplicity smaller than the residue characteristic. This article is part of the authors’ Resolution of Singularities program for arithmetic varieties of dimension three. The proof builds upon Hironaka’s characteristic polyhedron and invariants.