On Minimal Models and the Termination of Flips for Generalized Pairs

Abstract

Das Ziel dieser Arbeit ist die Untersuchung zweier offener Probleme in der höherdimensionalen birationalen Geometrie, nämlich der Vermutung zur Existenz von minimalen Modellen und der Vermutung zur Terminierung von Flips. Wir arbeiten haupts ächlich mit verallgemeinerten Paaren und untersuchen demzufolge die entsprechenden Versionen der oben genannten Vermutungen des Minimal-Modell-Programms in diesem breiteren Rahmen. Der erste Teil der Dissertation widmet sich daher der Entwicklung der grundlegenden Aspekte der Theorie der verallgemeinerten Paare. Um die Vermutung zur Existenz von minimalen Modellen anzugehen, betrachten wir zunächst bestimmte Zariski-Zerlegungen in höheren Dimensionen, die sogennanten schwachen Zariski-Zerlegungen und NQC Nakayama-Zariski-Zerlegungen. Anschließend beweisen wir, dass die Existenz von minimalen Modellen für log-kanonische verallgemeinerte Paare aus der Existenz von minimalen Modellen für glatte Varietäten folgt, und ferner, dass die Existenz von minimalen Modellen im Wesentlichen zur Existenz dieser Zariski-Zerlegungen äquivalent ist. Der letzte Teil dieser Arbeit befasst sich mit der Vermutung zur Terminierung von Flips. Wir zeigen zuerst die Spezielle Terminierung für log-kanonische verallgemeinerte Paare. Danach beweisen wir die Terminierung von Flips für log-kanonische verallgemeinerte Paare der Dimension 3 sowie für pseudo-effektive log-kanonische verallgemeinerte Paare der Dimension 4.

The aim of this thesis is the investigation of two open problems in higher-dimensional birational geometry, namely the existence of minimal models conjecture and the termination of ips conjecture. We mainly work with generalized pairs and we therefore study the corresponding versions of the aforementioned conjectures of the Minimal Model Program in this wider context. Consequently, the first part of the thesis is devoted to the development of the basic aspects of the theory of generalized pairs. In order to deal with the existence of minimal models conjecture, we first study particular Zariski decompositions in higher dimensions, the so-called weak Zariski decompositions and NQC Nakayama-Zariski decompositions. Subsequently, we prove that the existence of minimal models for log canonical generalized pairs follows from the existence of minimal models for smooth varieties, and we also demonstrate that the existence of minimal models is essentially equivalent to the existence of those Zariski decompositions. The last part of this thesis focuses on the termination of ips conjecture. First, we show the special termination for log canonical generalized pairs. Afterwards, we establish the termination of ips for log canonical generalized pairs of dimension 3 as well as for pseudo-effective log canonical generalized pairs of dimension 4.