We improve the Bend-and-Break result of Miyaoka and Mori by establishing the optimal degree bound. Our result also yields optimal bounds on lengths of extremal rays of log canonical pairs.

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 complex surfaces which are projective over complex analytic varieties.

The moduli space of bundle stable pairs $\overline {M}_C(2,\Lambda )$ on a smooth projective curve C, introduced by Thaddeus, is a smooth Fano variety of Picard rank two. Focusing on the genus two case, we show that its K-moduli space is isomorphic to a GIT moduli of lines in quartic del Pezzo threefolds. Additionally, we construct a natural forgetful morphism from the K-moduli of $\overline {M}_C(2,\Lambda )$ to that of the moduli spaces of stable vector bundles $\overline {N}_C(2,\Lambda )$. In particular, Thaddeus’ moduli spaces for genus two curves are all K-stable.

We show that a divisor in a rational homogenous variety with split normal sequence is the preimage of a hyperplane section in either the projective space or a quadric.

For log canonical (lc) algebraically integrable foliations on Kawamata log terminal (klt) varieties, we prove the base-point-freeness theorem, the contraction theorem, and the existence of flips. The first result resolves a conjecture of Cascini and Spicer, while the latter two results strengthen a result of Cascini and Spicer by removing their assumption on the termination of flips. Moreover, we prove the existence of the minimal model program for lc algebraically integrable foliations on klt varieties and the existence of good minimal models or Mori fiber spaces for lc algebraically integrable foliations polarized by ample divisors on klt varieties. As a consequence, we show that $\mathbb{Q}$-factorial klt varieties with lc algebraically integrable Fano foliation structures are Mori dream spaces. We also show the existence of a Shokurov-type polytope for lc algebraically integrable foliations.

Let $\pi :X\rightarrow Z$ be a Fano type fibration with $\dim X-\dim Z=d$ and let $(X,B)$ be an $\epsilon $-lc pair with $K_X+B\sim _{\mathbb {R}} 0/Z$. The canonical bundle formula gives $(Z,B_Z+M_Z)$ where $B_Z$ is the discriminant divisor and $M_Z$ is the moduli divisor which is determined up to $\mathbb {R}$-linear equivalence. Shokurov conjectured that one can choose $M_Z\geqslant 0$ such that $(Z,B_Z+M_Z)$ is $\delta $-lc where $\delta $ only depends on $d,\epsilon $. Very recently, this conjecture was proved by Birkar [8]. For $d=1$ and $\epsilon =1$, Han, Jiang, and Luo [13] gave the optimal value of $\delta =1/2$. In this paper, we give the optimal value of $\delta $ for $d=1$ and arbitrary $0<\epsilon \leqslant 1$.

We construct pathological examples of MMP singularities in every positive characteristic using quotients by $\alpha _p$-actions. In particular, we obtain non-$S_3$ terminal singularities, as well as locally stable (respectively stable) families whose general fibers are smooth (respectively klt, Cohen–Macaulay, and F-injective) and whose special fibers are non-$S_2$. The dimensions of these examples are bounded below by a linear function of the characteristic.

We prove existence of flips for log canonical foliated pairs of rank one on a ${\mathbb Q}$-factorial projective klt threefold. This, in particular, provides a proof of the existence of a minimal model for a rank one foliation on a threefold for a wider range of singularities, after McQuillan.

We discuss a conjecture of Shokurov on the semi-ampleness of the moduli part of a general fibration.

It was conjectured by McKernan and Shokurov that for any Fano contraction $f:X \to Z$ of relative dimension r with X being $\epsilon $-lc, there is a positive $\delta $ depending only on $r,\epsilon $ such that Z is $\delta $-lc and the multiplicity of the fiber of f over a codimension one point of Z is bounded from above by $1/\delta $. Recently, this conjecture was confirmed by Birkar [9]. In this article, we give an explicit value for $\delta $ in terms of $\epsilon ,r$ in the toric case, which belongs to $O(\epsilon ^{2^r})$ as $\epsilon \rightarrow 0$. The order $O(\epsilon ^{2^r})$ is optimal in some sense.

Given a family of pairs over a smooth curve whose general fiber is a log Calabi–Yau pair in a fixed bounded family, suppose there exists a divisor on the family whose restriction on a general fiber is ample with bounded volume. We show that if the total space of the family has relatively trivial log canonical divisor and the special fiber has slc singularities, then every irreducible component of the special fiber is birationally bounded.

Let $(X,\Delta )$ be a normal pair with a projective morphism $X \to Z$ and let A be a relatively ample $\mathbb {R}$-divisor on X. We prove the termination of some minimal model program on $(X,\Delta +A)/Z$ and the abundance conjecture for its minimal model under assumptions that the non-nef locus of $K_{X}+\Delta +A$ over Z does not intersect the non-lc locus of $(X,\Delta )$ and that the restriction of $K_{X}+\Delta +A$ to the non-lc locus of $(X,\Delta )$ is semi-ample over Z.

Let X be a smooth threefold over an algebraically closed field of positive characteristic. We prove that an arbitrary flop of X is smooth. To this end, we study Gorenstein curves of genus one and two-dimensional elliptic singularities defined over imperfect fields.

We describe the structure of regular codimension $1$ foliations with numerically projectively flat tangent bundle on complex projective manifolds of dimension at least $4$. Along the way, we prove that either the normal bundle of a regular codimension $1$ foliation is pseudo-effective, or its conormal bundle is nef.

This article describes local normal forms of functions in noncommuting variables, up to equivalence generated by isomorphism of noncommutative Jacobi algebras, extending singularity theory in the style of Arnold’s commutative local normal forms into the noncommutative realm. This generalisation unveils many new phenomena, including an ADE classification when the Jacobi ring has dimension zero and, by taking suitable limits, a further ADE classification in dimension one. These are natural generalisations of the simple singularities and those with infinite multiplicity in Arnold’s classification. We obtain normal forms away from some exceptional Type E cases. Remarkably, these normal forms have no continuous parameters, and the key new feature is that the noncommutative world affords larger families.

This theory has a range of immediate consequences to the birational geometry of 3-folds. The normal forms of dimension zero are the analytic classification of smooth 3-fold flops, and one outcome of NC singularity theory is the first list of all Type D flopping germs, generalising Reid’s famous pagoda classification of Type A, with variants covering Type E. The normal forms of dimension one have further applications to divisorial contractions to a curve. In addition, the general techniques also give strong evidence towards new contractibility criteria for rational curves.

We study the relation between the coregularity, the index of log Calabi–Yau pairs and the complements of Fano varieties. We show that the index of a log Calabi–Yau pair $(X,B)$ of coregularity $1$ is at most $120\lambda ^2$, where $\lambda $ is the Weil index of $K_X+B$. This extends a recent result due to Filipazzi, Mauri and Moraga. We prove that a Fano variety of absolute coregularity $0$ admits either a $1$-complement or a $2$-complement. In the case of Fano varieties of absolute coregularity $1$, we show that they admit an N-complement with N at most 6. Applying the previous results, we prove that a klt singularity of absolute coregularity $0$ admits either a $1$-complement or $2$-complement. Furthermore, a klt singularity of absolute coregularity $1$ admits an N-complement with N at most 6. This extends the classic classification of $A,D,E$-type klt surface singularities to arbitrary dimensions. Similar results are proved in the case of coregularity $2$. In the course of the proof, we prove a novel canonical bundle formula for pairs with bounded relative coregularity. In the case of coregularity at least $3$, we establish analogous statements under the assumption of the index conjecture and the boundedness of B-representations.

We study linearizability of actions of finite groups on singular cubic threefolds, using cohomological tools, intermediate Jacobians, Burnside invariants, and the equivariant Minimal Model Program.

A famous theorem of Shokurov states that a general anticanonical divisor of a smooth Fano threefold is a smooth K3 surface. This is quite surprising since there are several examples where the base locus of the anticanonical system has codimension two. In this paper, we show that for four-dimensional Fano manifolds the behaviour is completely opposite: if the base locus is a normal surface, and hence has codimension two, all the anticanonical divisors are singular.

Let $(X, \Delta )$ be a klt threefold pair with nef anti-log canonical divisor $-(K_X+\Delta )$. We show that $\kappa (X, -(K_X+\Delta ))\geq 0$. To do so, we prove a more general equivariant non-vanishing result for anti-log canonical bundles, which is valid in any dimension.

In this paper, we study the positivity property of the tangent bundle $T_X$ of a Fano threefold X with Picard number $2$. We determine the bigness of the tangent bundle of the whole $36$ deformation types. Our result shows that $T_X$ is big if and only if $(-K_X)^3\ge 34$. As a corollary, we prove that the tangent bundle is not big when X has a standard conic bundle structure with non-empty discriminant. Our main methods are to produce irreducible effective divisors on ${\mathbb {P}}(T_X)$ constructed from the total dual VMRT associated to a family of rational curves. Additionally, we present some criteria to determine the bigness of $T_X$.