Related papers: Minimal model program for normal pairs along log c…
Let X be a normal connected complex algebraic variety equipped with a semisimple complex representation of its fundamental group. Then, under a maximality assumption, we prove that the covering space of X associated to the kernel of the…
The classic lower bound of Kuhn, Moscibroda and Wattenhofer [JACM 2016] states that approximate maximum matching and approximate vertex cover (among other problems) in the LOCAL model require $\Omega(\min\{\sqrt{\frac{\log n}{\log\log n}},…
A $\mathbf{Q}$-Cartier divisor $D$ on a projective variety $M$ is {\it almost nup}, if $(D , C) > 0$ for every very general curve $C$ on $M$. An algebraic variety $X$ is of {\it almost general type}, if there exists a projective variety $M$…
Let $X$ be a smooth projective surface over the complex number field and let $L$ be a nef-big divisor on $X$. Here we consider the following conjecture; If the Kodaira dimension $\kappa(X)\geq 0$, then $K_{X}L\geq 2q(X)-4$, where $q(X)$ is…
Let $X$ be a smooth projective variety over the complex numbers, and $\Delta \subseteq X$ a reduced divisor with normal crossings. We present a slightly simplified proof for the following theorem of Campana and P\u{a}un: If some tensor…
Let $(X,\Delta)$ be a 4-dimensional log variety which is proper over the field of complex numbers and with only divisorial log terminal singularities. The log canonical divisor $K_X+\Delta$ is semi-ample, if it is nef (numerically…
In this paper, we establish a structure theorem for minimal projective klt varieties $X$ that satisfiy Miyaoka's equality $3c_2(X) = c_1(X)^2$. Specifically, we prove that the canonical divisor $K_X$ is semi-ample and that the Kodaira…
Let $(S,D)$ be a minimal log pair of general type with $S$ a smooth projective surface and $D$ a simple normal corssing reduced divisor on $S$. We assume that its log canonial linear system $|K_S+D|$ is composed of a penciel, let $f\colon…
Following the work of Totaro and Pereira, we study sufficient conditions under which collections of pairwise-disjoint divisors on a variety over an algebraically closed field are contained in the fibers of a morphism to a curve. We prove…
We present an $L$-like construction that produces the minimal model of $\mathsf{AD}_\mathbb{R}+$"$\Theta$ is regular". In fact, our construction can produce any model of $\mathsf{AD}^++\mathsf{AD}_\mathbb{R}+V=L(P(\mathbb{R}))$ in which…
We discuss the cone theorem for quasi-log schemes and the Mori hyperbolicity. In particular, we establish that the log canonical divisor of a Mori hyperbolic projective normal pair is nef if it is nef when restricted to the non-lc locus.…
We examine the noncommutative minimal model program for orders on arithmetic surfaces, or equivalently, arithmetic surfaces enriched by a Brauer class $\beta$. When $\beta$ has prime index $p>5$, we show the classical theory extends with…
We give a topological bound on the number of minimal models of a class of three dimensional log smooth pairs of general type.
We construct log resolutions of pairs on the blow-up of the projective space in an arbitrary number of general points and we discuss the semi-ampleness of the strict transforms. As an application we prove that the abundance conjecture holds…
In this article we prove the existence of pl-flipping and divisorial contractions and pl flips in dimension $n$ for compact K\"ahler varieties, assuming results of the minimal model program in dimension $n-1$. We also give a self contained…
Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically closed have their common generalization to the conjecture that…
For $\mathbb Q$-factorial klt algebraically integrable adjoint foliated structures, we prove the cone theorem, the contraction theorem, and the existence of flips. Therefore, we deduce the existence of the minimal model program for such…
For given positive integers $d$ and $m$, consider the projective klt pairs $(X,B)$ of dimension $d$, of Cartier index $m$, and with semi-ample $K_X+B$ defining a contraction $\pi\colon X\to Z$. We prove that it is not possible in general to…
We study the homotopy groups of complements to reducible divisors on non-singular projective varieties with ample components and isolated non normal crossings. We prove a vanishing theorem generalizing conditions for commutativity of the…
For a smooth projective variety $X\subseteq \mathbb P^N$ over an algebraically closed field of char $0$, we show that the discriminant locus of a generic projection of $X$ is projectively dual to a general linear section of the dual…