On a lifting problem for principal Dedekind domains
Let X be a smooth algebraic hypersurface in ℂⁿ. There is a proper polynomial mapping F: ℂⁿ → ℂⁿ, such that the set of ramification values of F contains the hypersurface X.
Let be a germ of normal surface with local ring covering a germ of regular surface with local ring of characteristic . Given an extension of valuation rings birationally dominating , we study the existence of a new such pair of local rings birationally dominating , such that is regular and has only toric singularities. This is achieved when is defectless or when is equal to