Related papers: Fundamental theorems for the log minimal model pro…

We prove the Cone Theorem for algebraically integrable foliations. As a consequence, we show that termination of flips implies the b-nefness of the moduli part of a log canonical pair with respect to a contraction, generalising the case of…

This paper is an announcement of the minimal model theory for log surfaces in all characteristics and contains some related results including a simplified proof of the Artin-Keel contraction theorem in the surface case.

We prove the existence of flips for $\mathbb Q$-factorial NQC generalized lc pairs, and the cone and contraction theorems for NQC generalized lc pairs. This answers a question of C. Birkar which was conjectured by J. Han and Z. Li. As an…

We introduce linearly decomposable (LD) generalized pairs, which serve as a workable substitute for rational decompositions in the non-NQC setting. Using LD generalized pairs, together with a refinement of special termination and…

We expand the theory of log canonical $3$-fold complements. We prove that if $X\rightarrow T$ is a $3$-dimensional contraction of log Calabi-Yau type, then we can find $B\geq 0$ on $X$ for which $(X,B)$ is log canonical and $n(K_X+B)\sim_T…

We prove the following results for projective klt pairs of dimension $3$ over an algebraically closed field of char $p>5$: the cone theorem, the base point free theorem, the contraction theorem, finiteness of minimal models, termination…

We prove that many of the results of the LMMP hold for $3$-folds over fields of characteristic $p>5$ which are not necessarily perfect. In particular, the existence of flips, the cone theorem, the contraction theorem for birational extremal…

Let $(X,B)$ be a projective log canonical pair such that $B$ is a $\Q$-divisor, and that there is a surjective morphism $f\colon X\to Z$ onto a normal variety $Z$ satisfying: $K_X+B\sim_\Q f^*M$ for some $\Q$-divisor $M$, and the augmented…

In this paper, we investigate properties of potential triples $(X,\Delta,D)$ which consists of a pair $(X,\Delta)$ and a pseudoeffective $\mathbb{R}$-Cartier divisor $D$. In particular, we show that if $D$ admits a birational Zariski…

Minimal model conjecture for a proper variety $X$ is that if $\kappa(X)\geq 0$, then $X$ has a minimal model with the abundance and if $\kappa =-\infty$, then $X$ is birationally equivalent to a variety $Y$ which has a fibration $Y \to Z$…

We prove that if the classical Baum-Connes conjecture in complex K-theory is true (for a given discrete group G), then the conjecture is also true in the real case (for the same group G). The essential ingredients of the proof are the…

Varieties with log terminal and log canonical singularities are considered in the Minimal Model Program, see \cite{...} for introduction. In \cite{shokurov:hyp} it was conjectured that many of the interesting sets, associated with these…

Let $X$ be a variety with at most terminal $\mathbb Q$-factorial singularities of dimension $n$. We study local contractions $f:X\to Z$ supported by a $\mathbb Q$-Cartier divisor of the type $K_X+ \tau L$, where $L$ is an $f$-ample Cartier…

We develop a theory of $P$-trivial MMP whose each step is $P$-trivial for a given nef divisor $P$. As an application, we prove that, given a projective generalised klt pair $(X,B+M)$ with data $M'$ being just a nef $\mathbb{R}$-divisor, if…

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…

We discuss the minimal model program for b-log varieties, which is a pair of a variety and a b-divisor, as a natural generalization of the minimal model program for ordinary log varieties. We show that the main theorems of the log MMP work…

Following ideas of V. Batyrev, we prove an analogue of the Cone Theorem for the closed cone of nef curves: an enlargement of the cone of nef curves is the closure of the sum of a K_X-non-negative portion and countably many K_X-negative…

We show that the well-known Konig's Min-Max Theorem (KMM), a fundamental result in combinatorial matrix theory, can be proven in the first order theory $\LA$ with induction restricted to $\Sigma_1^B$ formulas. This is an improvement over…

We show that minimal models of $\mathbb{Q}$-factorial NQC log canonical generalised pairs exist, assuming the existence of minimal models of smooth varieties. More generally, we prove that on a $\mathbb{Q}$-factorial NQC log canonical…

Let $X$ be a complete normal variety, $B$ an effective $\mathbb{R}$-divisor on $X$, and $D$ a Cartier divisor on $X$. Assume that the pair $(X, B)$ is log terminal. We consider the problem whether $H^0(X, D) \ne 0$ and obtain some results…