Toroidalization of locally toroidal morphisms

The entire dissertation/thesis text is included in the research.pdf file; the official abstract appears in the short.pdf file (which also appears in the research.pdf); a non-technical general description, or public abstract, appears in the public.pdf file.Title from title screen of research.pdf file (viewed on June 8, 2009)Vita.Includes bibliographical references.Thesis (Ph. D.) University of Missouri-Columbia 2008.Dissertations, Academic -- University of Missouri--Columbia -- Mathematics.Let X and Y be nonsingular varieties over an algebraically closed field [kappa] of characteristic zero. A toroidal structure on X is a simple normal crossing divisor DX on X. Suppose that DX and DY are toroidal structures on X and Y respectively. A dominant morphism [function] : X [arrow] Y is toroidal (with respect to the toroidal structures DX and DY ) if for all closed points [rho] 2 X, [function] is isomorphic to a toric morphism of toric varieties specified by the toric charts at [rho] and [function] [rho]. A dominant morphism [function] : X [arrow] Y of nonsingular varieties is toroidalizable if there exist sequences of blow ups with nonsingular centers [pi] : Y₁ [arrow] Y and [pi]₁ : X₁ [arrow] X so that the induced map [function]₁ : X1 [arrow] Y1 is toroidal. Let [function] : X [arrow] Y be a dominant morphism. Suppose that there exist finite open covers (Ui) and (Vi) of X and Y respectively such that [function] (Ui) [arrow] Vi and the restricted morphisms [function] : (Ui) [arrow] Vi are toroidal for all i. [function] is then called locally toroidal. It is proved that a locally toroidal morphism from an arbitrary variety to a surface is toroidalizable