Related papers: Log canonical pairs with boundaries containing amp…

We construct klt projective varieties with ample canonical class and the smallest known volume. We also find exceptional klt Fano varieties with the smallest known anticanonical volume. We conjecture that our examples have the smallest…

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…

We consider $q$-ary (linear and nonlinear) block codes with exactly two distances: $d$ and $d+\delta$. Several combinatorial constructions of optimal such codes are given. In the linear (but not necessary projective) case, we prove that…

We prove a version of Jonsson-Musta\c{t}\v{a}'s Conjecture, which says for any graded sequence of ideals, there exists a quasi-monomial valuation computing its log canonical threshold. As a corollary, we confirm Chi Li's conjecture that a…

Let $f \colon (X,\Delta) \to Y$ be a fibration such that $K_X + \Delta$ is torsion along the fibres of $f$. Assume that $Y$ has dimension 2, or that $Y$ has dimension 3 and the fibres have dimension at most 3. Then the restriction of the…

Let $X$ be a normal variety over the field of complex numbers with log terminal singularities and the canonical divisor $K_X$ being ${\bf Q}$-Gorenstein. Assume that $L$ is an ample line bundle over $X$ and $\phi: X\to Y$ is a morphism…

Let $X$ be a four-dimensional projective variety defined over the field of complex numbers with only terminal singularities. We prove that if the intersection number of the canonical divisor $K$ with every very general curve is positive…

Fix integers $a\geq 1$, $b$ and $c$. We prove that for certain projective varieties $V\subset{\bold P}^r$ (e.g. certain possibly singular complete intersections), there are only finitely many components of the Hilbert scheme parametrizing…

We construct proper good moduli spaces parametrizing K-polystable $\mathbb{Q}$-Gorenstein smoothable log Fano pairs $(X, cD)$, where $X$ is a Fano variety and $D$ is a rational multiple of the anti-canonical divisor. We then establish a…

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 consider normal projective n-dimensional varieties X whose anticanonical divisor class -K is ample and where every Weil divisor is a rational multiple of K. The index i is the largest integer such that K/i exists as a Weil divisor. We…

We establish an Arakelov-type inequality for a morphism $f \colon (X,\Delta) \to S$, where $(X,\Delta)$ is a simple normal crossing semi-log canonical pair and $S$ is a smooth projective variety. As a consequence, we derive a bound on the…

Fixing two positive integers $d$ and $k$, a positive number $v$, and a positive integer $I$, we prove that the K-semistable domain of the log pair $(X, \sum_{j=1}^kD_j)$ is a rational polytope lying in the $k$-dimensional simplex…

We show that a weak version of the canonical bundle formula holds for fibrations of relative dimension one. We provide various applications thereof, for instance, using the recent result of Xu and Zhang, we prove the log non-vanishing…

We show that the Bogomolov-Sommese vanishing theorem holds for a log canonical projective surface in large characteristic unless the Iitaka dimension of the round-down of the log canonical divisor is not equal to two. As an application, we…

We prove the generalised Mukai conjecture for $\mathbb{Q}$-factorial spherical Fano varieties. In this case, a stronger inequality holds featuring an extra term - the minimum absolute complexity of a log Calabi-Yau pair - which measures how…

The birational classification of varieties inevitably leads to the study of singularities. The types of singularities that occur in this context have been studied by Mori, Koll\'ar, Reid, and others, beginning in the 1980s with the…

We discuss the relative log minimal model theory for log surfaces in the analytic setting. More precisely, we show that the minimal model program, the abundance theorem, and the finite generation of log canonical rings hold for log pairs of…

Perfect quadratic forms give a toroidal compactification of the moduli space of principally polarized abelian g-folds that is Q-factorial and whose ample classes are characterized, over any base. In characteristic zero it has canonical…

We show that the dual of the cone of divisors on a complete Q-factorial toric variety X whose stable base loci have dimension less than k is generated by curves on small modifications that move in families sweeping out the birational…