Related papers: Cone theorem and Mori hyperbolicity

Given a log canonical pair $(X, \Delta)$, we show that $K_X+\Delta$ is nef assuming there is no non-constant map from the affine line with values in the open strata of the stratification induced by the non-klt locus of $(X, \Delta)$. This…

We prove that every quasi-projective semi log canonical pair has a quasi-log structure with several good properties. It implies that various vanishing theorems, torsion-free theorem, and the cone and contraction theorem hold for semi log…

Let $(X,\Delta)$ be a projective klt pair, and $f:X\to Y$ a fibration to a smooth projective variety $Y$ with strictly nef relative anti-log canonical divisor $-(K_{X/Y}+\Delta)$. We prove that $f$ is a locally constant fibration with…

Let $(X,\Delta)$ be a projective log canonical pair such that $\Delta \geq A$ where $A \geq 0$ is an ample $\mathbb{R}$-divisor. We prove that either $(X,\Delta)$ has a good minimal model or a Mori fibre space. Moreover, if $X$ is…

We introduce the notion of basic slc-trivial fibrations. It is a generalization of that of Ambro's lc-trivial fibrations. Then we study fundamental properties of basic slc-trivial fibrations by using the theory of variations of mixed Hodge…

In these notes we investigate the cone of nef curves of projective varieties, which is the dual cone to the cone of pseudo-effective divisors. We prove a structure theorem for the cone of nef curves of projective $\mathbb Q$-factorial klt…

In this paper, we establish a structure theorem for projective klt pairs $(X,\Delta)$ with nef anti-log canonical divisor; specifically, we prove that, up to replacing $X$ with a finite quasi-\'etale cover, $X$ admits a locally trivial…

In this article we study the structure of klt projective varieties with nef anticanonical divisor (and more generally, varieties of semi-Fano type), especially the canonical fibrations associated to them. We show that: 1. the Albanese map…

Consider the moduli functor of canonically polarized complex manifolds with Hilbert polynomial h, and let M_h be the corresponding coarse quasi-projective moduli scheme. We show that M_h is Brody hyperbolic in the following sense: Assume…

As a consequence of our recently established generalized Schmidt's subspace theorem for closed subschemes in general position, we prove a degeneracy theorem for integral points on the complement of a union of nef effective divisors. A novel…

We prove that the moduli b-divisor of an lc-trivial fibration from a log canonical pair is log abundant. The result follows from a theorem on the restriction of the moduli b-divisor, based on a theory of lc-trivial morphisms, which allows…

We give a characterization of projective spaces for quasi-log canonical pairs from the Mori theoretic viewpoint.

We investigate nef and movable cones of hypersurfaces in Mori dream spaces. The first result is: Let $Z$ be a smooth Mori dream space of dimension at least four whose extremal contractions are of fiber type of relative dimension at least…

1) Assuming log Minimal Model Conjecture, we give a construction of a complete moduli space of stable log pairs of arbitrary dimension generalizing directly the space M_{g,n} of pointed stable curves. Each stable pair has semi log canonical…

For smooth families with maximal variation, whose general fibers have semi-ample canonical bundle, the generalized Viehweg hyperbolicity conjecture states that the base spaces of such families are of log general type. This deep conjecture…

Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is…

We prove the finiteness of log pluricanonical representations for projective log canonical pairs with semi-ample log canonical divisor. As a corollary, we obtain that the log canonical divisor of a projective semi log canonical pair is…

We consider a smooth projective surjective morphism between smooth complex projective varieties. We give a Hodge theoretic proof of the following well-known fact: If the anti-canonical divisor of the source space is nef, then so is the…

We prove that the anti-canonical divisors of weak Fano 3-folds with log canonical singularities are semiample. Moreover, we consider semiampleness of the anti-log canonical divisor of any weak log Fano pair with log canonical singularities.…

We prove that the pull-back of a quasi-log scheme by a smooth quasi-projective morphism has a natural quasi-log structure. We treat an application to log Fano pairs. This paper also contains a proof of the simple connectedness of log Fano…