Search for: All records

Abstract We give a complete classification of symplectic birational involutions of manifolds ofOG10 type. We approach this classification with three techniques—via involutions of the Leech lattice, via involutions of cubic fourfolds, and finally lattice enumeration via a modified Kneser’s neighbour algorithm. The classification consists of three involutions with an explicit geometric realisation via cubic fourfolds, and three exceptional involutions which cannot be obtained by any known construction. 

Abstract Recent progress in the deformation theory of Calabi–Yau varieties $$Y$$ with canonical singularities has highlighted the key role played by the higher Du Bois and higher rational singularities, and especially by the so-called $$k$$-liminal singularities for $$k\ge 1$$. The goal of this paper is to show that certain aspects of this study extend naturally to the $$0$$-liminal case as well, that is, to Calabi–Yau varieties $$Y$$ with Gorenstein log canonical, but not canonical, singularities. In particular, we show the existence of first order smoothings of $$Y$$ in the case of isolated $$0$$-liminal hypersurface singularities, and extend Namikawa’s unobstructedness theorem for deformations of singular Calabi–Yau three-folds $$Y$$ with canonical singularities to the case where $$Y$$ has an isolated $$0$$-liminal lci singularity under suitable hypotheses. Finally, we describe an interesting series of examples. 

Abstract 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 compactifiedK-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 factnotthe 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 notK-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. 

Abstract The goal of this paper is to describe certain nonlinear topological obstructions for the existence of first-order smoothings of mildly singular Calabi–Yau varieties of dimension at least$$4$$. For nodal Calabi–Yau threefolds, a necessary and sufficient linear topological condition for the existence of a first-order smoothing was first given in [Fri86]. Subsequently, Rollenske–Thomas [RT09] generalized this picture to nodal Calabi–Yau varieties of odd dimension by finding a necessary nonlinear topological condition for the existence of a first-order smoothing. In a complementary direction, in [FL22a], the linear necessary and sufficient conditions of [Fri86] were extended to Calabi–Yau varieties in every dimension with$$1$$-liminal singularities (which are exactly the ordinary double points in dimension$$3$$but not in higher dimensions). In this paper, we give a common formulation of all of these previous results by establishing analogues of the nonlinear topological conditions of [RT09] for Calabi–Yau varieties with weighted homogeneousk-liminal hypersurface singularities, a broad class of singularities that includes ordinary double points in odd dimensions. 

Abstract There are two types of involutions on a cubic threefold: the Eckardt type (which has been studied by the first named and the third named authors) and the non-Eckardt type. Here we study cubic threefolds with a non-Eckardt type involution, whose fixed locus consists of a line and a cubic curve. Specifically, we consider the period map sending a cubic threefold with a non-Eckardt type involution to the invariant part of the intermediate Jacobian. The main result is that the global Torelli Theorem holds for the period map. To prove the theorem, we project the cubic threefold from the pointwise fixed line and exhibit the invariant part of the intermediate Jacobian as a Prym variety of a (pseudo-)double cover of stable curves. The proof relies on a result of Ikeda and Naranjo–Ortega on the injectivity of the related Prym map. We also describe the invariant part of the intermediate Jacobian via the projection from a general invariant line and show that the two descriptions are related by the bigonal construction. 

We study deformations of certain crepant resolutions of isolated rational Gorenstein singularities. After a general discussion of the deformation theory, we specialize to dimension $$3$$ and consider examples which are good (log) resolutions as well as the case of small resolutions. We obtain some partial results on the classification of canonical threefold singularities that admit good crepant resolutions. Finally, we study a noncrepant example, the blowup of a small resolution whose exceptional set is a smooth curve. Comment: 35 pages, 3 figures; v6 - final version 

Higher rational and higher Du Bois singularities have recently been introduced as natural generalizations of the standard definitions of rational and Du Bois singularities. In this note, we discuss these properties for isolated singularities, especially in the locally complete intersection (lci) case. First, we reprove the fact that a $k$-rational isolated singularity is $k$-Du Bois without any lci assumption. For isolated lci singularities, we give a complete characterization of the $k$-Du Bois and $k$-rational singularities in terms of standard invariants of singularities. In particular, we show that $k$-Du Bois singularities are $(k-<\#comment/>1)$-rational for isolated lci singularities. In the course of the proof, we establish some new relations between invariants of isolated lci singularities and show that many of these vanish. The methods also lead to a quick proof of an inversion of adjunction theorem in the isolated lci case. Finally, we discuss some results specific to the hypersurface case. 

There are three types of involutions on a cubic fourfold; two of anti-symplectic type, and one symplectic. Here we show that cubics with involutions exhibit the full range of behaviour in relation to rationality conjectures. Namely, we show a general cubic fourfold with a symplectic involution has no associated $K3$surface and is conjecturely irrational. In contrast, a cubic fourfold with a particular anti-symplectic involution has an associated $K3$, and is in fact rational. We show such a cubic is contained in the intersection of all non-empty Hassett divisors; we call such a cubic Hassett maximal. We study the algebraic and transcendental lattices for cubics with an involution both lattice theoretically and geometrically.