Related papers: Cone theorem and Mori hyperbolicity

We obtain a correct generalization of Shokurov's non-vanishing theorem for log canonical pairs. It implies the base point free theorem for log canonical pairs. We also prove the rationality theorem for log canonical pairs. As a corollary,…

Using Koll\'ar's semipositivity results, we produce a number of nef and ample tautological divisors on Hassett's spaces of weighted stable pointed curves. As an application, we prove that Hassett's spaces are log canonical models of…

We show that any union of slc strata of a Fano log pair with semi-log canonical singularities is simply connected. In particular, Fano log pairs with semi-log canonical singularities are simply connected, which confirms a conjecture of the…

We study the cones of q-ample divisors on smooth complex varieties. In favourable cases, we identify a part where the closure of this cone and the nef cone have the same boundary. This is especially interesting for Fano (or almost Fano)…

This paper is a gentle introduction to the theory of quasi-log varieties by Ambro. We explain the fundamental theorems for the log minimal model program for log canonical pairs. More precisely, we give a proof of the base point free theorem…

Projective varieties with ample cotangent bundle satisfy many notions of hyperbolicity, and one goal of this paper is to discuss generalizations to quasi-projective varieties. A major hurdle is that the naive generalization fails, i.e. the…

Call a normal complex projective variety $X$ Koll\'ar-hyperbolic if any nonconstant map from a smooth projective curve to $X$ induces a nontrivial homomorphism of \'etale fundamental groups. Examples include (a) smooth varieties with finite…

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 prove the Shafarevich conjecture for proper hyperbolic polycurves, which is a higher dimensional analogue of that for proper hyperbolic curves. First, we study theories of proper hyperbolic polycurves over regular schemes.…

By the technique of 3-fold Mori theory, we prove that the moduli space whose general point parameterizes a couple of a smooth curve of genus 4 and a halfcanonical divisor with vanishing global section is rational.

We prove that on a Bott-Samelson variety $X$ every movable divisor is nef. This enables us to consider Zariski decompositions of effective divisors, which in turn yields a description of the Mori chamber decomposition of the effective cone.…

We prove a decomposition theorem for the nef cone of smooth fiber products over curves, subject to the necessary condition that their N\'eron--Severi space decomposes. We apply it to describe the nef cone of so-called Schoen varieties,…

The authors give a complete classification of projective threefolds admitting a holomorphic normal projective connection. Moreover, they prove a general structure theorem on complex projective manifolds admitting a holomorphic normal…

We give a criterion for a divisorial sheaf on a log terminal variety to be Cohen-Macaulay. The log canonical case and applications to moduli are also considered.

We propose a subconjecture that implies the semiampleness conjecture for quasi-numerically positive log canonical divisors and prove the semiampleness in some elementary cases.

We prove that the base space of a log smooth family of log canonical pairs of log general type is of log general type as well as algebraically degenerate, when the family admits a relative good minimal model over a Zariski open subset of…

We introduce the separating semigroup of a real algebraic curve of dividing type. The elements of this semigroup record the possible degrees of the covering maps obtained by restricting separating morphisms to the real part of the curve. We…

We prove a structure theorem for projective varieties with nef anticanonical divisors.

We consider complex Henon maps which are quasi-hyperbolic. We show that a quasi-hyperbolic map is uniformly hyperbolic if and only if there are no tangencies between stable and unstable manifolds.

We show that if $X$ is a projective hyperk\"ahler fourfold and there exists a nonzero effective divisor $D$ which is not of bi-elliptic type and contained in the boundary of the nef cone of $X$, then $X$ contains a rational curve. This is a…