Related papers: Structure of the Anticanonical Minimal Model Progr…

We compare the minimal model of a log canonical pair with the minimal model of its reduced boundary. These results are then used to study the existence of the minimal model of a semi-log-canonical pair using its normalization.

We prove that one can run the log minimal model program for log canonical $3$-fold pairs in characteristic $p>5$. In particular we prove the Cone Theorem, Contraction Theorem, the existence of flips and the existence of log minimal models…

Let $(X,\Delta)$ be a normal pair with a projective morphism $X \to Z$ and let $A$ be a relatively ample $\mathbb{R}$-divisor on $X$. We prove the termination of some minimal model program on $(X,\Delta+A)/Z$ and the abundance conjecture…

We show that termination of flips for $\mathbb Q$-factorial klt pairs in dimension $r$ implies existence of minimal models for algebraically integrable foliations of rank $r$ with log canonical singularities over a $\mathbb Q$-factorial klt…

We give a sufficient condition for the termination of flips. Then we discuss a semi-stable minimal model program for varieties with (numerically) trivial canonical divisor as an application. We also treat a slight refinement of dlt…

We propose to use orthologic as the basis for designing type systems supporting intersection, union, and negation types in the presence of subtyping assumptions. We show how to extend orthologic to support monotonic and antimonotonic…

Given an NQC log canonical generalized pair $(X,B+M)$ whose underlying variety $X$ is not necessarily $\mathbb{Q}$-factorial, we show that one may run a $(K_X+B+M)$-MMP with scaling of an ample divisor which terminates, provided that…

We show that minimal models of log canonical pairs exist, assuming the existence of minimal models of smooth varieties.

If $(X, \mcF, \D)$ is a projective rank two foliated log canonical triple such that $(X,B)$ is klt for some $0 \leq B \leq \D$, we show that we can run a $(K_\mcF +\Delta)$-MMP and any such MMP terminates with either a minimal model or Mori…

We show that the existence of a birational weak Zariski decomposition for a pseudo-effective generalized polarized lc pair is equivalent to the existence of a generalized polarized log terminal model.

We discuss the minimal model program for projective morphisms of complex analytic spaces. Roughly speaking, we show that the results obtained by Birkar--Cascini--Hacon--M\textsuperscript{c}Kernan hold true for projective morphisms between…

We discuss the relative log minimal model theory for log surfaces in the analytic setting. More precisely, we show that the minimal model program, the abundance theorem, and the finite generation of log canonical rings hold for log pairs of…

We show that for pseudoeffective projective pairs the termination of one sequence of flips implies the termination of all flips, assuming a natural conjecture on the behaviour of the Nakayama-Zariski decomposition under the operations of a…

We study the Borel subsets of the plane that can be made closed by refining the Polish topology on the real line. These sets are called potentially closed. We first compare Borel subsets of the plane using products of continuous functions.…

The main results of this paper are already known (V.V. Shokurov, the non-vanishing theorem, 1985). Moreover, the non-$\mathbb{Q}$-factorial MMP was more recently considered by O~Fujino, in the case of toric varieties (Equivariant…

The Sarkisov Program studies birational maps between varieties that are end products of the Minimal Model Program (MMP) on nonsingular uniruled varieties. If X and Y are terminal Q-factorial projective varieties endowed with a structure of…

We prove two theorems on the locally finite decompositions of the cones of divisors by the cones which correspond to canonical and minimal models. We introduce the concept of the numerical linear systems in order to simplify the argument on…

In this paper, we study the minimal model theory for threefolds in mixed characteristic. As a generalization of a result of Kawamata, we show that the MMP holds for strictly semi-stable schemes over an excellent Dedekind scheme $V$ of…

We study the existence of log-canonical Poisson structures that are preserved by difference equations of special form. We also study the inverse problem, given a log-canonical Poisson structure to find a difference equation preserving this…

Let $f:X\to U$ be a projective morphism of normal varieties and $(X,\Delta)$ a dlt pair. We prove that if there is an open set $U^0\subset U$, such that $(X,\Delta)\times_U U^0$ has a good minimal model over $U^0$ and the images of all the…