We report on our project to find explicit examples of K3 surfaces having real or complex multiplication. Our strategy is to search through the arithmetic consequences of RM and CM. In order to do this, an efficient method is needed for point counting on surfaces defined over finite fields. For this, we describe algorithms that are $p$ -adic in nature.

We compute the complete set of candidates for the zeta function of a K $3$ surface over $\mathbb{F}_{2}$ consistent with the Weil and Tate conjectures, as well as the complete set of zeta functions of smooth quartic surfaces over $\mathbb{F}_{2}$ . These sets differ substantially, but we do identify natural subsets which coincide. This gives some numerical evidence towards a Honda–Tate theorem for transcendental zeta functions of K $3$ surfaces; such a result would refine a recent theorem of Taelman, in which one must allow an uncontrolled base field extension.

Let $S$ be a smooth minimal complex surface of general type with $p_{g}=0$ and $K^{2}=7$ . We prove that any involution on $S$ is in the center of the automorphism group of $S$ . As an application, we show that the automorphism group of an Inoue surface with $K^{2}=7$ is isomorphic to $\mathbb{Z}_{2}^{2}$ or $\mathbb{Z}_{2}\times \mathbb{Z}_{4}$ . We construct a $2$ -dimensional family of Inoue surfaces with automorphism groups isomorphic to $\mathbb{Z}_{2}\times \mathbb{Z}_{4}$ .

We study moduli spaces of lattice-polarized K3 surfaces in terms of orbits of representations of algebraic groups. In particular, over an algebraically closed field of characteristic 0, we show that in many cases, the nondegenerate orbits of a representation are in bijection with K3 surfaces (up to suitable equivalence) whose Néron–Severi lattice contains a given lattice. An immediate consequence is that the corresponding moduli spaces of these lattice-polarized K3 surfaces are all unirational. Our constructions also produce many fixed-point-free automorphisms of positive entropy on K3 surfaces in various families associated to these representations, giving a natural extension of recent work of Oguiso.

We prove that for any prime number $p\geqslant 3$ , there exists a positive number $\unicode[STIX]{x1D705}_{p}$ such that $\unicode[STIX]{x1D712}({\mathcal{O}}_{X})\geqslant \unicode[STIX]{x1D705}_{p}c_{1}^{2}$ holds true for all algebraic surfaces $X$ of general type in characteristic $p$ . In particular, $\unicode[STIX]{x1D712}({\mathcal{O}}_{X})>0$ . This answers a question of Shepherd-Barron when $p\geqslant 3$ .

An invertible polynomial in n variables is a quasi-homogeneous polynomial consisting of n monomials so that the weights of the variables and the quasi-degree are well defined. In the framework of the construction of mirror symmetric orbifold Landau–Ginzburg models, Berglund, Hübsch and Henningson considered a pair (f, G) consisting of an invertible polynomial f and an abelian group G of its symmetries together with a dual pair . Here we study the reduced orbifold zeta functions of dual pairs (f, G) and and show that they either coincide or are inverse to each other depending on the number n of variables.

In this paper a new geometric characterization of the $n$ th symmetric product of a curve is given. Specifically, we assume that there exists a chain of smooth subvarieties $V_{i}$ of dimension $i$ , such that $V_{i}$ is an ample divisor in $V_{i+1}$ and its intersection product with $V_{1}$ is one; that the Albanese dimension of $V_{2}$ is $2$ and the genus of $V_{1}$ is equal to the irregularity of the variety. We prove that in this case the variety is isomorphic to the symmetric product of a curve.

In this paper we prove that a smooth family of canonically polarized manifolds parametrized by a special (in the sense of Campana) quasi-projective variety is isotrivial.

For each del Pezzo surface $S$ with du Val singularities, we determine whether it admits a $(-K_{S})$-polar cylinder or not. If it allows one, then we present an effective $\mathbb{Q}$-divisor $D$ that is $\mathbb{Q}$-linearly equivalent to $-K_{S}$ and such that the open set $S\setminus \text{Supp}(D)$ is a cylinder. As a corollary, we classify all the del Pezzo surfaces with du Val singularities that admit non-trivial $\mathbb{G}_{a}$-actions on their affine cones defined by their anticanonical divisors.

An affine symplectic singularity $X$ with a good $\mathbf{C}^{\ast }$-action is called a conical symplectic variety. In this paper we prove the following theorem. For fixed positive integers $N$ and $d$, there are only a finite number of conical symplectic varieties of dimension $2d$ with maximal weights $N$, up to an isomorphism. To prove the main theorem, we first relate a conical symplectic variety with a log Fano Kawamata log terminal (klt) pair, which has a contact structure. By the boundedness result for log Fano klt pairs with fixed Cartier index, we prove that conical symplectic varieties of a fixed dimension and with a fixed maximal weight form a bounded family. Next we prove the rigidity of conical symplectic varieties by using Poisson deformations.

We develop a new non-vanishing theorem for del Pezzo surfaces with quotient singularities.

We study cup products in the integral cohomology of the Hilbert scheme of $n$ points on a K3 surface and present a computer program for this purpose. In particular, we deal with the question of which classes can be represented by products of lower degrees.

Supplementary materials are available with this article.

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.