We prove an equality, predicted in the physical literature, between the Jeffrey–Kirwan residues of certain explicit meromorphic forms attached to a quiver without loops or oriented cycles and its Donaldson–Thomas type invariants.

In the special case of complete bipartite quivers we also show independently, using scattering diagrams and theta functions, that the same Jeffrey–Kirwan residues are determined by the the Gross–Hacking–Keel mirror family to a log Calabi–Yau surface.

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 article, we construct some examples of noncommutative projective Calabi–Yau schemes by using noncommutative Segre products and quantum weighted hypersurfaces. We also compare our constructions with commutative Calabi–Yau varieties and examples constructed in Kanazawa (2015, Journal of Pure and Applied Algebra 219, 2771–2780). In particular, we show that some of our constructions are essentially new examples of noncommutative projective Calabi–Yau schemes.

We prove that any hyper-Kähler sixfold $K$ of generalized Kummer type has a naturally associated manifold $Y_K$ of $\mathrm {K}3^{[3]}$ type. It is obtained as crepant resolution of the quotient of $K$ by a group of symplectic involutions acting trivially on its second cohomology. When $K$ is projective, the variety $Y_K$ is birational to a moduli space of stable sheaves on a uniquely determined projective $\mathrm {K}3$ surface $S_K$. As an application of this construction we show that the Kuga–Satake correspondence is algebraic for the K3 surfaces $S_K$, producing infinitely many new families of $\mathrm {K}3$ surfaces of general Picard rank $16$ satisfying the Kuga–Satake Hodge conjecture.

We study families of rational curves on irreducible holomorphic symplectic varieties. We give a necessary and sufficient condition for a sufficiently ample linear system on a holomorphic symplectic variety of $K3^{[n]}$-type to contain a uniruled divisor covered by rational curves of primitive class. In particular, for any fixed $n$, we show that there are only finitely many polarization types of holomorphic symplectic variety of $K3^{[n]}$-type that do not contain such a uniruled divisor. As an application, we provide a generalization of a result due to Beauville–Voisin on the Chow group of $0$-cycles on such varieties.

Let $f_0$ and $f_1$ be two homogeneous polynomials of degree d in three complex variables $z_1,z_2,z_3$. We show that the Lê–Yomdin surface singularities defined by $g_0:=f_0+z_i^{d+m}$ and $g_1:=f_1+z_i^{d+m}$ have the same abstract topology, the same monodromy zeta-function, the same $\mu ^*$-invariant, but lie in distinct path-connected components of the $\mu ^*$-constant stratum if their projective tangent cones (defined by $f_0$ and $f_1$, respectively) make a Zariski pair of curves in $\mathbb {P}^2$, the singularities of which are Newton non-degenerate. In this case, we say that $V(g_0):=g_0^{-1}(0)$ and $V(g_1):=g_1^{-1}(0)$ make a $\mu ^*$-Zariski pair of surface singularities. Being such a pair is a necessary condition for the germs $V(g_0)$ and $V(g_1)$ to have distinct embedded topologies.

We study finite orbits of non-elementary groups of automorphisms of compact projective surfaces. We prove that if the surface and the group are defined over a number field $\mathbf {k}$ and the group contains parabolic elements, then the set of finite orbits is not Zariski dense, except in certain very rigid situations, known as Kummer examples. Related results are also established when $\mathbf {k} = \mathbf {C}$. An application is given to the description of ‘canonical vector heights’ associated to such automorphism groups.

In this paper, we study compactifications of the moduli of smooth del Pezzo surfaces using K-stability and the line arrangement. We construct K-moduli of log del Pezzo pairs with sum of lines as boundary divisors, and prove that for $d=2,3,4$, these K-moduli of pairs are isomorphic to the K-moduli spaces of del Pezzo surfaces. For $d=1$, we prove that they are different by exhibiting some walls.

We prove that the alpha invariant of a quasi-smooth Fano 3-fold weighted hypersurface of index $1$ is greater than or equal to $1/2$. Combining this with the result of Stibitz and Zhuang [SZ19] on a relation between birational superrigidity and K-stability, we prove the K-stability of a birationally superrigid quasi-smooth Fano 3-fold weighted hypersurfaces of index $1$.

We axiomatise the algebraic properties of toroidal compactifications of (mixed) Shimura varieties and their automorphic vector bundles. A notion of generalised automorphic sheaf is proposed which includes sheaves of (meromorphic) sections of automorphic vector bundles with prescribed vanishing and pole orders along strata in the compactification, and their quotients. These include, for instance, sheaves of Jacobi forms and weakly holomorphic modular forms. Using this machinery, we give a short and purely algebraic proof of the proportionality theorem of Hirzebruch and Mumford.

The well-studied moduli space of complex cubic surfaces has three different, but isomorphic, compact realizations: as a GIT quotient ${\mathcal {M}}^{\operatorname {GIT}}$, as a Baily–Borel compactification of a ball quotient ${(\mathcal {B}_4/\Gamma )^*}$, and as a compactified K-moduli space. From all three perspectives, there is a unique boundary point corresponding to non-stable surfaces. From the GIT point of view, to deal with this point, it is natural to consider the Kirwan blowup ${\mathcal {M}}^{\operatorname {K}}\rightarrow {\mathcal {M}}^{\operatorname {GIT}}$, whereas from the ball quotient point of view, it is natural to consider the toroidal compactification ${\overline {\mathcal {B}_4/\Gamma }}\rightarrow {(\mathcal {B}_4/\Gamma )^*}$. The spaces ${\mathcal {M}}^{\operatorname {K}}$ and ${\overline {\mathcal {B}_4/\Gamma }}$ have the same cohomology, and it is therefore natural to ask whether they are isomorphic. Here, we show that this is in fact not the case. Indeed, we show the more refined statement that ${\mathcal {M}}^{\operatorname {K}}$ and ${\overline {\mathcal {B}_4/\Gamma }}$ are equivalent in the Grothendieck ring, but not K-equivalent. Along the way, we establish a number of results and techniques for dealing with singularities and canonical classes of Kirwan blowups and toroidal compactifications of ball quotients.

We show that the derived category of a curve is embedded into the derived category of the moduli space of vector bundles on the curve of coprime rank and degree. We also generalize the semiorthogonal decomposition constructed by Narasimhan and Belmans-Mukhopadhyay. Finally, we produce a one-dimensional family of ACM bundles over the moduli space.

For a terminal weak ${\mathbb {Q}}$-Fano threefold X, we show that the mth anti-canonical map defined by $|-mK_X|$ is birational for all $m\geq 59$.

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.

Let $X$ be a smooth projective variety defined over an algebraically closed field of positive characteristic $p$ whose tangent bundle is nef. We prove that $X$ admits a smooth morphism $X \to M$ such that the fibers are Fano varieties with nef tangent bundle and $T_M$ is numerically flat. We also prove that extremal contractions exist as smooth morphisms. As an application, we prove that, if the Frobenius morphism can be lifted modulo $p^2$, then $X$ admits, up to a finite étale Galois cover, a smooth morphism onto an ordinary abelian variety whose fibers are products of projective spaces.

For an algebraic K3 surface with complex multiplication (CM), algebraic fibres of the associated twistor space away from the equator are again of CM type. In this paper, we show that algebraic fibres corresponding to points at the same altitude of the twistor base ${S^2} \simeq \mathbb{P}_\mathbb{C}^1$ share the same CM endomorphism field. Moreover, we determine all the admissible Picard numbers of the twistor fibres.

In this work, we study the Humbert-Edge curves of type 5, defined as a complete intersection of four diagonal quadrics in ${\mathbb{P}}^5$. We characterize them using Kummer surfaces, and using the geometry of these surfaces, we construct some vanishing thetanulls on such curves. In addition, we describe an argument to give an isomorphism between the moduli space of Humbert-Edge curves of type 5 and the moduli space of hyperelliptic curves of genus 2, and we show how this argument can be generalized to state an isomorphism between the moduli space of hyperelliptic curves of genus $g=\frac{n-1}{2}$ and the moduli space of Humbert-Edge curves of type $n\geq 5$ where $n$ is an odd number.

We give a complete classification of finite subgroups of automorphisms of K3 surfaces up to deformation. The classification is in terms of Hodge theoretic data associated to certain conjugacy classes of finite subgroups of the orthogonal group of the K3 lattice. The moduli theory of K3 surfaces, in particular the surjectivity of the period map and the strong Torelli theorem allow us to interpret this datum geometrically. Our approach is computer aided and involves Hermitian lattices over number fields.

Let f be an isolated singularity at the origin of $\mathbb {C}^n$. One of many invariants that can be associated with f is its Łojasiewicz exponent $\mathcal {L}_0 (f)$, which measures, to some extent, the topology of f. We give, for generic surface singularities f, an effective formula for $\mathcal {L}_0 (f)$ in terms of the Newton polyhedron of f. This is a realization of one of Arnold’s postulates.