The main goal of this paper is to construct a compactification of the moduli space of degree $d \geqslant 5$ surfaces in $\mathbb {P}^{3}_{{{\mathbb {C}}}}$, i.e. a parameter space whose interior points correspond to (equivalence classes of) smooth surfaces in $\mathbb {P}^{3}$ and whose boundary points correspond to degenerations of such surfaces. We consider a divisor $D$ on a Fano variety $Z$ as a pair $(Z, D)$ satisfying certain properties. We find a modular compactification of such pairs and, in the case of $Z = {{\mathbb {P}}}^{3}$ and $D$ a surface, use their properties to classify the pairs on the boundary of the moduli space.

We describe a method to show that certain elliptic surfaces do not admit purely inseparable multisections (equivalently, that genus 1 curves over function fields admit no points over the perfect closure of the base field) and use it to show that any non-Jacobian elliptic structure on a very general supersingular K3 surface has no purely inseparable multisections. We also describe specific examples of genus 1 fibrations on supersingular K3 surfaces without purely inseparable multisections.

We use Noether–Lefschetz theory to study the reduced Gromov–Witten invariants of a holomorphic-symplectic variety of $K3^{[n]}$-type. This yields strong evidence for a new conjectural formula that expresses Gromov–Witten invariants of this geometry for arbitrary classes in terms of primitive classes. The formula generalizes an earlier conjecture by Pandharipande and the author for K3 surfaces. Using Gromov–Witten techniques, we also determine the generating series of Noether–Lefschetz numbers of a general pencil of Debarre–Voisin varieties. This reproves and extends a result of Debarre, Han, O’Grady and Voisin on Hassett–Looijenga–Shah (HLS) divisors on the moduli space of Debarre–Voisin fourfolds.

We prove the Kawamata–Viehweg vanishing theorem for surfaces of del Pezzo type over perfect fields of positive characteristic $p>5$. As a consequence, we show that klt threefold singularities over a perfect base field of characteristic $p>5$ are rational. We show that these theorems are sharp by providing counterexamples in characteristic $5$.

Let $(A,\mathfrak m)$ be an excellent two-dimensional normal local domain. In this paper, we study the elliptic and the strongly elliptic ideals of A with the aim to characterize elliptic and strongly elliptic singularities, according to the definitions given by Wagreich and Yau. In analogy with the rational singularities, in the main result, we characterize a strongly elliptic singularity in terms of the normal Hilbert coefficients of the integrally closed $\mathfrak m$-primary ideals of A. Unlike $p_g$-ideals, elliptic ideals and strongly elliptic ideals are not necessarily normal and necessary, and sufficient conditions for being normal are given. In the last section, we discuss the existence (and the effective construction) of strongly elliptic ideals in any two-dimensional normal local ring.

We formulate a version of the integral Hodge conjecture for categories, prove the conjecture for two-dimensional Calabi–Yau categories which are suitably deformation equivalent to the derived category of a K3 or abelian surface, and use this to deduce cases of the usual integral Hodge conjecture for varieties. Along the way, we prove a version of the variational integral Hodge conjecture for families of two-dimensional Calabi–Yau categories, as well as a general smoothness result for relative moduli spaces of objects in such families. Our machinery also has applications to the structure of intermediate Jacobians, such as a criterion in terms of derived categories for when they split as a sum of Jacobians of curves.

We prove the generic Torelli theorem for hypersurfaces in $\mathbb {P}^{n}$ of degree $d$ dividing $n+1$, for $d$ sufficiently large. Our proof involves the higher-order study of the variation of Hodge structure along particular one-parameter families of hypersurfaces that we call ‘Schiffer variations.’ We also analyze the case of degree $4$. Combined with Donagi's generic Torelli theorem and results of Cox and Green, this shows that the generic Torelli theorem for hypersurfaces holds with finitely many exceptions.

We prove that the maximal number of conics in a smooth sextic $K3$-surface $X\subset \mathbb {P}^4$ is 285, whereas the maximal number of real conics in a real sextic is 261. In both extremal configurations, all conics are irreducible.

Let $f\colon X\to B$ be a semistable fibration where X is a smooth variety of dimension $n\geq 2$ and B is a smooth curve. We give the structure theorem for the local system of the relative $1$-forms and of the relative top forms. This gives a neat interpretation of the second Fujita decomposition of $f_*\omega _{X/B}$. We apply our interpretation to show the existence, up to base change, of higher irrational pencils and on the finiteness of the associated monodromy representations under natural Castelnuovo-type hypothesis on local subsystems. Finally, we give a criterion to have that X is not of Albanese general type if $B=\mathbb {P}^1$.

A protagonist here is a new-type invariant for type II degenerations of K3 surfaces, which is explicit piecewise linear convex function from the interval with at most $18$ nonlinear points. Forgetting its actual function behavior, it also classifies the type II degenerations into several combinatorial types, depending on the type of root lattices as appeared in classical examples.

From differential geometric viewpoint, the function is obtained as the density function of the limit measure on the collapsing hyper-Kähler metrics to conjectural segments, as in [HSZ19]. On the way, we also reconstruct a moduli compactification of elliptic K3 surfaces by [AB19], [ABE20], [Brun15] in a more elementary manner, and analyze the cusps more explicitly.

We also interpret the glued hyper-Kähler fibration of [HSVZ18] as a special case from our viewpoint, and discuss other cases, and possible relations with Landau–Ginzburg models in the mirror symmetry context.

We show that the K-moduli spaces of log Fano pairs $\left(\mathbb {P}^1\times \mathbb {P}^1, cC\right)$, where C is a $(4,4)$ curve and their wall crossings coincide with the VGIT quotients of $(2,4)$, complete intersection curves in $\mathbb {P}^3$. This, together with recent results by Laza and O’Grady, implies that these K-moduli spaces form a natural interpolation between the GIT moduli space of $(4,4)$ curves on $\mathbb {P}^1\times \mathbb {P}^1$ and the Baily–Borel compactification of moduli of quartic hyperelliptic K3 surfaces.

We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is to study log structures that are incoherent on a subspace of codimension 2 and prove a Hodge–de Rham degeneration theorem for such log spaces that also settles a conjecture by Danilov. We show that the homotopy equivalence between Maurer–Cartan solutions and deformations combined with Batalin–Vilkovisky theory can be used to obtain smoothings. The construction of new Calabi–Yau and Fano manifolds as well as Frobenius manifold structures on moduli spaces provides potential applications.

We prove that there are finitely many families, up to isomorphism in codimension one, of elliptic Calabi–Yau manifolds $Y\rightarrow X$ with a rational section, provided that $\dim (Y)\leq 5$ and $Y$ is not of product type. As a consequence, we obtain that there are finitely many possibilities for the Hodge diamond of such manifolds. The result follows from log birational boundedness of Kawamata log terminal pairs $(X, \Delta )$ with $K_X+\Delta$ numerically trivial and not of product type, in dimension at most four.

Let π : X → C be a fibration with integral fibers over a curve C and consider a polarization H on the surface X. Let E be a stable vector bundle of rank 2 on C. We prove that the pullback π*(E) is a H-stable bundle over X. This result allows us to relate the corresponding moduli spaces of stable bundles $${{\mathcal M}_C}(2,d)$$ and $${{\mathcal M}_{X,H}}(2,df,0)$$ through an injective morphism. We study the induced morphism at the level of Brill–Noether loci to construct examples of Brill–Noether loci on fibered surfaces. Results concerning the emptiness of Brill–Noether loci follow as a consequence of a generalization of Clifford’s Theorem for rank two bundles on surfaces.

We explain how to form a novel dataset of Calabi–Yau threefolds via the Gross–Siebert algorithm. We expect these to degenerate to Calabi–Yau toric hypersurfaces with certain Gorenstein (not necessarily isolated) singularities. In particular, we explain how to ‘smooth the boundary’ of a class of four-dimensional reflexive polytopes to obtain polarised tropical manifolds. We compute topological invariants of a compactified torus fibration over each such tropical manifold, expected to be homeomorphic to the general fibre of the Gross–Siebert smoothing. We consider a family of examples related to products of reflexive polygons. Among these we find $14$ topological types with $b_2=1$ that do not appear in existing lists of known rank-one Calabi–Yau threefolds.

We construct some new deformation families of four-dimensional Fano manifolds of index one in some known classes of Gorenstein formats. These families have explicit descriptions in terms of equations, defining their image under the anticanonical embedding in some weighted projective space. They also have relatively smaller anticanonical degree than most other known families of smooth Fano 4-folds.

Let K be a field of arbitrary characteristic, $${\cal A}$$ be a commutative K-algebra which is a domain of essentially finite type (e.g., the algebra of functions on an irreducible affine algebraic variety), $${a_r}$$ be its Jacobian ideal, and $${\cal D}\left( {\cal A} \right)$$ be the algebra of differential operators on the algebra $${\cal A}$$. The aim of the paper is to give a simplicity criterion for the algebra $${\cal D}\left( {\cal A} \right)$$: the algebra $${\cal D}\left( {\cal A} \right)$$ is simple iff $${\cal D}\left( {\cal A} \right)a_r^i{\cal D}\left( {\cal A} \right) = {\cal D}\left( {\cal A} \right)$$ for all i ≥ 1 provided the field K is a perfect field. Furthermore, a simplicity criterion is given for the algebra $${\cal D}\left( R \right)$$ of differential operators on an arbitrary commutative algebra R over an arbitrary field. This gives an answer to an old question to find a simplicity criterion for algebras of differential operators.

We give the first examples of derived equivalences between varieties defined over non-closed fields where one has a rational point and the other does not. We begin with torsors over Jacobians of curves over $\mathbb {Q}$ and $\mathbb {F}_q(t)$, and conclude with a pair of hyperkähler 4-folds over $\mathbb {Q}$. The latter is independently interesting as a new example of a transcendental Brauer–Manin obstruction to the Hasse principle. The source code for the various computations is supplied as supplementary material with the online version of this article.

The general position hypothesis needs strengthening.

We describe a compactification by KSBA stable pairs of the five-dimensional moduli space of K3 surfaces with a purely non-symplectic automorphism of order four and $U(2)\oplus D_4^{\oplus 2}$ lattice polarization. These K3 surfaces can be realized as the minimal resolution of the double cover of $\mathbb {P}^{1}\times \mathbb {P}^{1}$ branched along a specific $(4,\,4)$ curve. We show that, up to a finite group action, this stable pairs compactification is isomorphic to Kirwan's partial desingularization of the GIT quotient $(\mathbb {P}^{1})^{8}{/\!/}\mathrm {SL}_2$ with the symmetric linearization.