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

We establish a McKay correspondence for finite and linearly reductive subgroup schemes of ${\mathbf {SL}}_2$ in positive characteristic. As an application, we obtain a McKay correspondence for all rational double point singularities in characteristic $p\geq 7$. We discuss linearly reductive quotient singularities and canonical lifts over the ring of Witt vectors. In dimension 2, we establish simultaneous resolutions of singularities of these canonical lifts via G-Hilbert schemes. In the appendix, we discuss several approaches towards the notion of conjugacy classes for finite group schemes: This is an ingredient in McKay correspondences, but also of independent interest.

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.

In the study of plane curves, one of the problems is to classify the embedded topology of plane curves in the complex projective plane that have a given fixed combinatorial type, where the combinatorial type of a plane curve is data equivalent to the embedded topology in its tubular neighborhood. A pair of plane curves with the same combinatorial type but distinct embedded topology is called a Zariski pair. In this paper, we consider Zariski pairs consisting of conic-line arrangements that arise from Poncelet’s closure theorem. We study unramified double covers of the union of two conics that are induced by a $2m$-sided Poncelet transverse. As an application, we show the existence of families of Zariski pairs of degree $2m+6$ for $m\geq 2$ that consist of reducible curves having two conics and $2m+2$ lines as irreducible components.

In this paper, we prove the birational rigidity of Fano-Mori fibre spaces $\pi \colon V\to S$, every fibre of which is a Fano complete intersection of index 1 and codimension $k\geqslant 3$ in the projective space ${\mathbb P}^{M+k}$ for M sufficiently high, satisfying certain natural conditions of general position, in the assumption that the fibre space $V/S$ is sufficiently twisted over the base. The dimension of the base S is bounded from above by a constant, depending only on the dimension M of the fibre (as the dimension of the fibre M grows, this constant grows as $\frac 12 M^2$).

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.

For $2 \leq d \leq 5$, we show that the class of the Hurwitz space of smooth degree $d$, genus $g$ covers of $\mathbb {P}^1$ stabilizes in the Grothendieck ring of stacks as $g \to \infty$, and we give a formula for the limit. We also verify this stabilization when one imposes ramification conditions on the covers, and obtain a particularly simple answer for this limit when one restricts to simply branched covers.

The $4 n^2$-inequality for smooth points plays an important role in the proofs of birational (super)rigidity. The main aim of this paper is to generalize such an inequality to terminal singular points of type $cA_1$, and obtain a $2 n^2$-inequality for $cA_1$ points. As applications, we prove birational (super)rigidity of sextic double solids, many other prime Fano 3-fold weighted complete intersections, and del Pezzo fibrations of degree $1$ over $\mathbb {P}^1$ satisfying the $K^2$-condition, all of which have at most terminal $cA_1$ singularities and terminal quotient singularities. These give first examples of birationally (super)rigid Fano 3-folds and del Pezzo fibrations admitting a $cA_1$ point which is not an ordinary double point.

We prove a criterion for the constancy of the Hilbert–Samuel function for locally Noetherian schemes such that the local rings are excellent at every point. More precisely, we show that the Hilbert–Samuel function is locally constant on such a scheme if and only if the scheme is normally flat along its reduction and the reduction itself is regular. Regularity of the underlying reduced scheme is a significant new property.

We give a lattice-theoretic characterization for a manifold of $\operatorname {\mathrm {OG10}}$ type to be birational to some moduli space of (twisted) sheaves on a K3 surface. We apply it to the Li–Pertusi–Zhao variety of $\operatorname {\mathrm {OG10}}$ type associated to any smooth cubic fourfold. Moreover, we determine when a birational transformation is induced by an automorphism of the K3 surface, and we use this to classify all induced birational symplectic involutions.

Kobayashi–Ochiai proved that the set of dominant maps from a fixed variety to a fixed variety of general type is finite. We prove the natural extension of their finiteness theorem to Campana’s orbifold pairs.

In this article, we study Galois points of plane curves and the extension of the corresponding Galois group to $\mathrm{Bir}(\mathbb{P}^2)$. We prove that if the Galois group has order at most $3$, it always extends to a subgroup of the Jonquières group associated with the point $P$. Conversely, with a degree of at least $4$, we prove that it is false. We provide an example of a Galois extension whose Galois group is extendable to Cremona transformations but not to a group of de Jonquières maps with respect to $P$. In addition, we also give an example of a Galois extension whose Galois group cannot be extended to Cremona transformations.

We study a pair consisting of a smooth 3-fold defined over an algebraically closed field and a “general” ${\Bbb R}$-ideal. We show that the minimal log discrepancy (“mld” for short) of every such a pair is computed by a prime divisor obtained by at most two weighted blow-ups. This bound is regarded as a weighted blow-up version of Mustaţă–Nakamura’s conjecture. We also show that if the mld of such a pair is not less than 1, then it is computed by at most one weighted blow-up. As a consequence, ACC of mld holds for such pairs.

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.

In this paper, together with the preceding Part I [10], we develop a framework for tame geometry on Henselian valued fields of characteristic zero, called Hensel minimality. It adds to [10] the treatment of the mixed characteristic case. Hensel minimality is inspired by o-minimality and its role in real geometry and diophantine applications. We develop geometric results and applications for Hensel minimal structures that were previously known only under stronger or less axiomatic assumptions, and which often have counterparts in o-minimal structures. We prove a Jacobian property, a strong form of Taylor approximations of definable functions, resplendency results and cell decomposition, all under Hensel minimality – more precisely, $1$-h-minimality. We obtain a diophantine application of counting rational points of bounded height on Hensel minimal curves.