On Minimal Models and Canonical Models of Elliptic Fourfolds with Section

One of the main research programs in Algebraic Geometry is the classification of varieties. Towards this goal two methodologies arose, the first is classifying varieties up to isomorphism which leads to the study of moduli spaces and the second is classifying varieties up to birational equivalences which leads to the study of birational geometry. Part of the engine of the birational classification is the Minimal Model Program which, given a variety, seeks to find "nice" birational models, which we call minimal models. Towards this direction much progress has been made but there is also much to be done. One aspect of interests is the role of algebraic fiber spaces as the end results of the Minimal Model Program are categorized into Mori fiber spaces, Iitaka fibrations over canonical models and varieties of general type. A natural problem to consider is, starting with an algebraic fiber space, how might it behave with respect to the Minimal Model Program. For case of elliptic threefolds, it was shown by Grassi, that minimal models of elliptic threefolds relate to log minimal models of the base surface. This shows that minimal models, in a sense, have to respect the fiber structure for elliptic threefolds. In this dissertation, I will provide a framework towards a generalization for higher dimensional elliptic fibration and along the way recover the results of Grassi for elliptic fourfolds with section