Local monomialization of transcendental extensions
Suppose that are regular local rings which are essentially of finite type over a field of characteristic zero. If is a valuation ring of the quotient field of which dominates , then we show that there are sequences of monoidal transforms (blow ups of regular primes) and along such that is a monomial mapping. It follows that a morphism of nonsingular varieties can be made to be a monomial mapping along a valuation, after blow ups of nonsingular subvarieties.