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$.

Fujino gave a proof for the semi-ampleness of the moduli part in the canonical bundle formula in the case when the general fibers are K3 surfaces or abelian varieties. We show a similar statement when the general fibers are primitive symplectic varieties. This answers a question of Fujino raised in the same article. Moreover, using the structure theory of varieties with trivial first Chern class, we reduce the question of semi-ampleness in the case of families of K-trivial varieties to a question when the general fibers satisfy a slightly weaker Calabi–Yau condition.

We show the properness of the moduli stack of stable surfaces over $\mathbb{Z}\left[ {1/30} \right]$, assuming the locally-stable reduction conjecture for stable surfaces. This relies on a local Kawamata–Viehweg vanishing theorem for 3-dimensional log canonical singularities at closed point of characteristic $p \ne 2,3$ and $5$, which are not log canonical centres.

The embedded Nash problem for a hypersurface in a smooth algebraic variety is to characterize geometrically the maximal irreducible families of arcs with fixed order of contact along the hypersurface. We show that divisors on minimal models of the pair contribute with such families. We solve the problem for unibranch plane curve germs, in terms of the resolution graph. These are embedded analogs of known results for the classical Nash problem on singular varieties.

We prove several boundedness statements for geometrically integral normal del Pezzo surfaces X over arbitrary fields. We give an explicit sharp bound on the irregularity if X is canonical or regular. In particular, we show that wild canonical del Pezzo surfaces exist only in characteristic $2$. As an application, we deduce that canonical del Pezzo surfaces form a bounded family over $\mathbb {Z}$, generalising work of Tanaka. More generally, we prove the BAB conjecture on the boundedness of $\varepsilon $-klt del Pezzo surfaces over arbitrary fields of characteristic different from $2, 3$ and $5$.

Sextic double solids, double covers of $\mathbb P^3$ branched along a sextic surface, are the lowest degree Gorenstein terminal Fano 3-folds, hence are expected to behave very rigidly in terms of birational geometry. Smooth sextic double solids, and those which are $\mathbb Q$-factorial with ordinary double points, are known to be birationally rigid. In this paper, we study sextic double solids with an isolated compound $A_n$ singularity. We prove a sharp bound $n \leq 8$, describe models for each n explicitly, and prove that sextic double solids with $n> 3$ are birationally nonrigid.

We prove a decomposition theorem for the nef cone of smooth fiber products over curves, subject to the necessary condition that their Néron–Severi space decomposes. We apply it to describe the nef cone of so-called Schoen varieties, which are the higher-dimensional analogues of the Calabi–Yau threefolds constructed by Schoen. Schoen varieties give rise to Calabi–Yau pairs, and in each dimension at least three, there exist Schoen varieties with nonpolyhedral nef cone. We prove the Kawamata–Morrison–Totaro cone conjecture for the nef cones of Schoen varieties, which generalizes the work by Grassi and Morrison.

In this paper, we prove the nonvanishing and some special cases of the abundance for log canonical threefold pairs over an algebraically closed field k of characteristic $p> 3$. More precisely, we prove that if $(X,B)$ be a projective log canonical threefold pair over k and $K_{X}+B$ is pseudo-effective, then $\kappa (K_{X}+B)\geq 0$, and if $K_{X}+B$ is nef and $\kappa (K_{X}+B)\geq 1$, then $K_{X}+B$ is semi-ample.

As applications, we show that the log canonical rings of projective log canonical threefold pairs over k are finitely generated and the abundance holds when the nef dimension $n(K_{X}+B)\leq 2$ or when the Albanese map $a_{X}:X\to \mathrm {Alb}(X)$ is nontrivial. Moreover, we prove that the abundance for klt threefold pairs over k implies the abundance for log canonical threefold pairs over k.

For certain quasismooth Calabi–Yau hypersurfaces in weighted projective space, the Berglund-Hübsch-Krawitz (BHK) mirror symmetry construction gives a concrete description of the mirror. We prove that the minimal log discrepancy of the quotient of such a hypersurface by its toric automorphism group is closely related to the weights and degree of the BHK mirror. As an application, we exhibit klt Calabi–Yau varieties with the smallest known minimal log discrepancy. We conjecture that these examples are optimal in every dimension.

We give conditions for a uniruled variety of dimension at least 2 to be nonsolid. This study provides further evidence to a conjecture by Abban and Okada on the solidity of Fano 3-folds. To complement our results we write explicit birational links from Fano 3-folds of high codimension embedded in weighted projective spaces.

We give an explicit characterization on the singularities of exceptional pairs in any dimension. In particular, we show that any exceptional Fano surface is $\frac {1}{42}$-lc. As corollaries, we show that any $\mathbb R$-complementary surface X has an n-complement for some integer $n\leq 192\cdot 84^{128\cdot 42^5}\approx 10^{10^{10.5}}$, and Tian’s alpha invariant for any surface is $\leq 3\sqrt {2}\cdot 84^{64\cdot 42^5}\approx 10^{10^{10.2}}$. Although the latter two values are expected to be far from being optimal, they are the first explicit upper bounds of these two algebraic invariants for surfaces.

Let $(X,B)$ be a pair, and let $f \colon X \rightarrow S$ be a contraction with $-({K_{X}} + B)$ nef over S. A conjecture, known as the Shokurov–Kollár connectedness principle, predicts that $f^{-1} (s) \cap \operatorname {\mathrm {Nklt}}(X,B)$ has at most two connected components, where $s \in S$ is an arbitrary schematic point and $\operatorname {\mathrm {Nklt}}(X,B)$ denotes the non-klt locus of $(X,B)$. In this work, we prove this conjecture, characterizing those cases in which $\operatorname {\mathrm {Nklt}}(X,B)$ fails to be connected, and we extend these same results also to the category of generalized pairs. Finally, we apply these results and the techniques to the study of the dual complex for generalized log Calabi–Yau pairs, generalizing results of Kollár–Xu [Invent. Math. 205 (2016), 527–557] and Nakamura [Int. Math. Res. Not. IMRN 13 (2021), 9802–9833].

Let $(X\ni x,B)$ be an lc surface germ. If $X\ni x$ is klt, we show that there exists a divisor computing the minimal log discrepancy of $(X\ni x,B)$ that is a Kollár component of $X\ni x$. If $B\not=0$ or $X\ni x$ is not Du Val, we show that any divisor computing the minimal log discrepancy of $(X\ni x,B)$ is a potential lc place of $X\ni x$. This extends a result of Blum and Kawakita who independently showed that any divisor computing the minimal log discrepancy on a smooth surface is a potential lc place.