Abstract:In this paper we investigate the geometry of projective varieties polarised by ample and more generally nef and big Weil divisors. First we study birational boundedness of linear systems. We show that if $X$ is a projective variety of dimension $d$ with $\epsilon$-lc singularities for $\epsilon>0$, and if $N$ is a nef and big Weil divisor on $X$ such that $N-K_X$ is pseudo-effective, then the linear system $|mN|$ defines a birational map for some natural number $m$ depending only on $d,\epsilon$. This is key to proving various other results. For example, it implies that if $N$ is a big Weil divisor (not necessarily nef) on a klt Calabi-Yau variety of dimension $d$, then the linear system $|mN|$ defines a birational map for some natural number $m$ depending only on $d$. It also gives new proofs of some known results, for example, if $X$ is an $\epsilon$-lc Fano variety of dimension $d$ then taking $N=-K_X$ we recover birationality of $|-mK_X|$ for bounded $m$. We prove similar birational boundedness results for nef and big Weil divisors $N$ on projective klt varieties $X$ when both $K_X$ and $N-K_X$ are pseudo-effective (here $X$ is not assumed $\epsilon$-lc). Using the above we show boundedness of polarised varieties under some natural conditions. We extend these to boundedness of semi-log canonical Calabi-Yau pairs polarised by effective ample Weil divisors not containing lc centres. Combining this with the moduli theory of stable pairs we show that polarised Calabi-Yau pairs and polarised Fano pairs admit projective coarse moduli spaces.

A view on extending morphisms from ample divisors

On the extendability of projective varieties: a survey

Geometry and moduli of polarised varieties

Positivity of double point divisors

Logarithmic morphisms, tangential basepoints, and little disks

Non-Abelian Lefschetz hyperplane theorems

Quiver matroids -- Matroid morphisms, quiver Grassmannians, their Euler characteristics and $\mathbb{F}_1$-points

Geometry of Maurer-Cartan Elements on Complex Manifolds

Characterization of projective spaces and $\mathbb P^r$-bundles as ample divisors

Effective Morphisms and Quotient Stacks

Morphisms from Azumaya prestable curves with a fundamental module to a projective variety: Topological D-strings as a master object for curves

Geometric Structures on the Complement of a Projective Arrangement

Deformations of morphisms of sheaves

Projectivity of the moduli of equidimensional branchvarieties

Correspondences Between Convex Geometry and Complex Geometry

Moduli spaces of semiorthogonal decompositions in families

Automorphisms of moduli spaces of principal bundles over a smooth curve

Proper splittings and projectivity for good moduli spaces

Graded modules associated with permissible $C^{\infty}$-divisors on tropical manifolds

Geometry of Polarised Varieties

Effective divisors on projectivized Hodge bundles and modular forms