This paper is concerned with singular projective rationally connected threefolds $X$ which carry non-zero pluri-forms, that is the reflexive hull of $({\rm\Omega}_{X}^{1})^{\otimes m}$ has a non-zero global section for some positive integer $m$. If $X$ has $\mathbb{Q}$-factorial terminal singularities, then we show that there is a fibration $p$ from $X$ to $\mathbb{P}^{1}$. Moreover, we give a formula for the numbers of $m$-pluri-forms as a function of the ramification of the fibration $p$.

If $S$ is a quintic surface in $\mathbb{P}^{3}$ with singular set 15 3-divisible ordinary cusps, then there is a Galois triple cover ${\it\phi}:X\rightarrow S$ branched only at the cusps such that $p_{g}(X)=4$ , $q(X)=0$ , $K_{X}^{2}=15$ and ${\it\phi}$ is the canonical map of  $X$ . We use computer algebra to search for such quintics having a free action of $\mathbb{Z}_{5}$ , so that $X/\mathbb{Z}_{5}$ is a smooth minimal surface of general type with $p_{g}=0$ and $K^{2}=3$ . We find two different quintics, one of which is the van der Geer–Zagier quintic; the other is new.

We also construct a quintic threefold passing through the 15 singular lines of the Igusa quartic, with 15 cuspidal lines there. By taking tangent hyperplane sections, we compute quintic surfaces with singular sets $17\mathsf{A}_{2}$ , $16\mathsf{A}_{2}$ , $15\mathsf{A}_{2}+\mathsf{A}_{3}$ and $15\mathsf{A}_{2}+\mathsf{D}_{4}$ .

The author finds a limit on the singularities that arise in geometric generic fibers of morphisms between smooth varieties of positive characteristic by studying changes in embedding dimension under inseparable field extensions. This result is then used in the context of the minimal model program to rule out the existence of smooth varieties fibered by certain nonnormal del Pezzo surfaces over bases of small dimension.

Many results are known about test ideals and $F$ -singularities for $\mathbb{Q}$ -Gorenstein rings. In this paper, we generalize many of these results to the case when the symbolic Rees algebra ${\mathcal{O}}_{X}\oplus {\mathcal{O}}_{X}(-K_{X})\oplus {\mathcal{O}}_{X}(-2K_{X})\oplus \cdots \,$ is finitely generated (or more generally, in the log setting for $-K_{X}-\unicode[STIX]{x1D6E5}$ ). In particular, we show that the $F$ -jumping numbers of $\unicode[STIX]{x1D70F}(X,\mathfrak{a}^{t})$ are discrete and rational. We show that test ideals $\unicode[STIX]{x1D70F}(X)$ can be described by alterations as in Blickle–Schwede–Tucker (and hence show that splinters are strongly $F$ -regular in this setting – recovering a result of Singh). We demonstrate that multiplier ideals reduce to test ideals under reduction modulo $p$ when the symbolic Rees algebra is finitely generated. We prove that Hartshorne–Speiser–Lyubeznik–Gabber-type stabilization still holds. We also show that test ideals satisfy global generation properties in this setting.

Let $X\subset \mathbb{P}^{4}$ be a terminal factorial quartic $3$-fold. If $X$ is non-singular, $X$ is birationally rigid, i.e. the classical minimal model program on any terminal $\mathbb{Q}$-factorial projective variety $Z$ birational to $X$ always terminates with $X$. This no longer holds when $X$ is singular, but very few examples of non-rigid factorial quartics are known. In this article, we first bound the local analytic type of singularities that may occur on a terminal factorial quartic hypersurface $X\subset \mathbb{P}^{4}$. A singular point on such a hypersurface is of type $cA_{n}$ ($n\geqslant 1$), or of type $cD_{m}$ ($m\geqslant 4$) or of type $cE_{6},cE_{7}$ or $cE_{8}$. We first show that if $(P\in X)$ is of type $cA_{n}$, $n$ is at most $7$ and, if $(P\in X)$ is of type $cD_{m}$, $m$ is at most $8$. We then construct examples of non-rigid factorial quartic hypersurfaces whose singular loci consist (a) of a single point of type $cA_{n}$ for $2\leqslant n\leqslant 7$, (b) of a single point of type $cD_{m}$ for $m=4$ or $5$ and (c) of a single point of type $cE_{k}$ for $k=6,7$ or $8$.

The notion of Berman–Gibbs stability was originally introduced by Berman for $\mathbb{Q}$-Fano varieties $X$. We show that the pair $(X,-K_{X})$ is K-stable (respectively K-semistable) provided that $X$ is Berman–Gibbs stable (respectively semistable).

Classically, an indecomposable class $R$ in the cone of effective curves on a K3 surface $X$ is representable by a smooth rational curve if and only if $R^{2}=-2$ . We prove a higher-dimensional generalization conjectured by Hassett and Tschinkel: for a holomorphic symplectic variety $M$ deformation equivalent to a Hilbert scheme of $n$ points on a K3 surface, an extremal curve class $R\in H_{2}(M,\mathbb{Z})$ in the Mori cone is the line in a Lagrangian $n$ -plane $\mathbb{P}^{n}\subset M$ if and only if certain intersection-theoretic criteria are met. In particular, any such class satisfies $(R,R)=-\frac{n+3}{2}$ , and the primitive such classes are all contained in a single monodromy orbit.

This is part IV of our series of articles on log abelian varieties. In this part, we study the algebraic theory of proper models of log abelian varieties.

We find two natural spherical functors associated to the Kummer surface and analyze how their induced twists fit with Bridgeland's conjecture on the derived autoequivalence group of a complex algebraic K3 surface.

We study the Feynman integral for the three-banana graph defined as the scalar two-point self-energy at three-loop order. The Feynman integral is evaluated for all identical internal masses in two space-time dimensions. Two calculations are given for the Feynman integral: one based on an interpretation of the integral as an inhomogeneous solution of a classical Picard–Fuchs differential equation, and the other using arithmetic algebraic geometry, motivic cohomology, and Eisenstein series. Both methods use the rather special fact that the Feynman integral is a family of regulator periods associated to a family of $K3$ surfaces. We show that the integral is given by a sum of elliptic trilogarithms evaluated at sixth roots of unity. This elliptic trilogarithm value is related to the regulator of a class in the motivic cohomology of the $K3$ family. We prove a conjecture by David Broadhurst which states that at a special kinematical point the Feynman integral is given by a critical value of the Hasse–Weil $L$-function of the $K3$ surface. This result is shown to be a particular case of Deligne’s conjectures relating values of $L$-functions inside the critical strip to periods.

We classify the polarized symplectic automorphisms of Fano varieties of smooth cubic fourfolds (equipped with the Plücker polarization) and study the fixed loci.

Let τ be the involution changing the sign of two coordinates in ℙ4. We prove that τ induces the identity action on the second Chow group of the intersection of a τ-invariant cubic with a τ-invariant quadric hypersurface in ℙ4. Let lτ and Πτ be the one- and two-dimensional components of the fixed locus of the involution τ. We describe the generalized Prymian associated with the projection of a τ-invariant cubic 𝓵 ⊂ P4 from lτ onto Πτ in terms of the Prymians 𝓅2 and 𝓅 3 associated with the double covers of two irreducible components, of degree 2 and 3, respectively, of the reducible discriminant curve. This gives a precise description of the induced action of the involution τ on the continuous part of the Chow group CH2 (𝓵). The action on the subgroup corresponding to 𝓅 3 is the identity, and the action on the subgroup corresponding to 𝓅 2 is the multiplication by —1.

In previous work by Coates, Galkin and the authors, the notion of mutation between lattice polytopes was introduced. Such mutations give rise to a deformation between the corresponding toric varieties. In this paper we study one-step mutations that correspond to deformations between weighted projective planes, giving a complete characterization of such mutations in terms of T-singularities. We also show that the weights involved satisfy Diophantine equations, generalizing results of Hacking and Prokhorov.

We give a complete classification of globally generated vector bundles of rank 3 on a smooth quadric threefold with c 1 ≤ 2 and extend the result to arbitrary higher rank case. We also investigate the existence of globally generated indecomposable vector bundles, and give the sufficient and necessary conditions on numeric data of vector bundles for indecomposability.

We prove a Givental-style mirror theorem for toric Deligne–Mumford stacks ${\mathcal{X}}$. This determines the genus-zero Gromov–Witten invariants of ${\mathcal{X}}$ in terms of an explicit hypergeometric function, called the $I$-function, that takes values in the Chen–Ruan orbifold cohomology of ${\mathcal{X}}$.

We present a reconstruction theorem for Fano vector bundles on projective space which recovers the small quantum cohomology for the projectivization of the bundle from a small number of low-degree Gromov-Witten invariants. We provide an extended example in which we calculate the quantum cohomology of a certain Fano 9-fold and deduce from this, using the quantum Lefschetz theorem, the quantum period sequence for a Fano 3-fold of Picard rank 2 and degree 24. This example is new, and is important for the Fanosearch program.

We classify log-canonical pairs $(X,{\rm\Delta})$ of dimension two such that $K_{X}+{\rm\Delta}$ is an ample Cartier divisor with $(K_{X}+{\rm\Delta})^{2}=1$, giving some applications to stable surfaces with $K^{2}=1$. A rough classification is also given in the case where ${\rm\Delta}=0$.

We determine the index of five of the seven hypergeometric Calabi–Yau operators that have finite index in $\mathit{Sp}_{4}(\mathbb{Z})$ and in two cases give a complete description of the monodromy group. Furthermore, we find six nonhypergeometric Calabi–Yau operators with finite index in $\mathit{Sp}_{4}(\mathbb{Z})$, most notably a case where the index is one.

We compute the global log canonical thresholds of quasi-smooth well-formed complete intersection log del Pezzo surfaces of amplitude 1 in weighted projective spaces. As a corollary we show the existence of orbifold Kähler—Einstein metrics on many of them.

Nonsingular projective 3-folds $V$ of general type can be naturally classified into 18 families according to the pluricanonical section index${\it\delta}(V):=\text{min}\{m\mid P_{m}\geqslant 2\}$ since $1\leqslant {\it\delta}(V)\leqslant 18$ due to our previous series (I, II). Based on our further classification to 3-folds with ${\it\delta}(V)\geqslant 13$ and an intensive geometrical investigation to those with ${\it\delta}(V)\leqslant 12$, we prove that $\text{Vol}(V)\geqslant \frac{1}{1680}$ and that the pluricanonical map ${\rm\Phi}_{m}$ is birational for all $m\geqslant 61$, which greatly improves known results. An optimal birationality of ${\rm\Phi}_{m}$ for the case ${\it\delta}(V)=2$ is obtained. As an effective application, we study projective 4-folds of general type with $p_{g}\geqslant 2$ in the last section.