Search

The Debarre-Voisin hyperk\"ahler fourfolds are built from alternating $3$-forms on a $10$-dimensional complex vector space, which we call trivectors. They are analogous to the Beauville-Donagi fourfolds associated with cubic fourfolds. In this article, we study several trivectors whose associated Debarre-Voisin variety is degenerate, in the sense that it is either reducible or has excessive dimension. We show that the Debarre-Voisin varieties specialize, along general $1$-parameter degenerations to these trivectors, to varieties isomorphic or birationally isomorphic to the Hilbert square of a K3 surface., Comment: 47 pages. Introduction rewritten and various corrections made throughout the article

By work of Looijenga and others, one understands the relationship between Geometric Invariant Theory (GIT) and Baily–Borel compactifications for the moduli spaces of degree-$2$ $K3$ surfaces, cubic fourfolds, and a few other related examples. The similar-looking cases of degree-$4$ $K3$ surfaces and double Eisenbud–Popescu–Walter (EPW) sextics turn out to be much more complicated for arithmetic reasons. In this paper, we refine work of Looijenga in order to handle these cases. Specifically, in analogy with the so-called Hassett–Keel program for the moduli space of curves, we study the variation of log canonical models for locally symmetric varieties of Type IV associated to $D$-lattices. In particular, for the $19$-dimensional case, we conjecturally obtain a continuous one-parameter interpolation between the GIT and Baily–Borel compactifications for the moduli of degree-$4$ $K3$ surfaces. The analogous $18$-dimensional case, which corresponds to hyperelliptic degree-$4$ $K3$ surfaces, can be verified by means of Variation of Geometric Invariant Theory (VGIT) quotients.

In previous work, we have introduced a program aimed at studying the birational geometry of locally symmetric varieties of Type IV associated to moduli of certain projective varieties of K3 type. In particular, a concrete goal of our program is to understand the relationship between GIT and Baily-Borel compactifications for quartic K3 surfaces, K3's which are double covers of a smooth quadric surface, and double EPW sextics. In our first paper [36] , based on arithmetic considerations, we have given conjectural decompositions into simple birational transformations of the period maps from the GIT moduli spaces mentioned above to the corresponding Baily-Borel compactifications. In our second paper [35] we studied the case of quartic K3's; we have given geometric meaning to this decomposition and we have partially verified our conjectures. Here, we give a full proof of the conjectures in [36] for the moduli space of K3's which are double covers of a smooth quadric surface. The main new tool here is VGIT for ( 2 , 4 ) complete intersection curves.

Looijenga has introduced new compactifications of locally symmetric varieties that give a complete understanding of the period map from the GIT moduli space of plane sextics to the Baily-Borel compactification of the moduli space polarized K3’s of degree 2, and also of the period map of cubic fourfolds. On the other hand, the period map of the GIT moduli space of quartic surfaces is significantly more subtle. In our paper (Laza and O’Grady, Birational geometry of the moduli space of quartic K3 surfaces, 2016. ArXiv:1607.01324) we introduced a Hassett-Keel–Looijenga program for certain locally symmetric varieties of Type IV. As a consequence, we gave a complete conjectural decomposition into a product of elementary birational modifications of the period map for the GIT moduli spaces of quartic surfaces. The purpose of this note is to provide compelling evidence in favor of our program. Specifically, we propose a matching between the arithmetic strata in the period space and suitable strata of the GIT moduli spaces of quartic surfaces. We then partially verify that the proposed matching actually holds.

We prove that moduli spaces of torsion-free sheaves on a projective smooth complex surface are irreducible, reduced and of the expected dimension, provided the expected dimension is large enough. Actually we prove more: given a line bundle on the surface, we show that the number of moduli of sheaves which have a non-zero twisted (by the chosen line-bundle) endomorphism grows slower than the expected dimension of the moduli space (for fixed rank and increasing discriminant). The bounds we get are effective: we concentrate on the case of rank two and we give a lower bound on the discriminant guaranteeing that the moduli space is reduced of the expected dimension. We also give an effective irreducibility result for complete intersections. All of the above follows from a theorem bounding the dimension of complete subsets of the moduli space which do not intersect the boundary., 56 pages, plain Tex

Beauville and Voisin proved that the third modified diagonal of a complex K3 surface X represents a torsion class in the Chow group of X^3. Motivated by this result and by conjectures of Beauville and Voisin on the Chow ring of hyperkaehler varieties we prove some results on modified diagonals of projective varieties and we formulate a conjecture., Comment: Minor corrections

We study the indeterminacy locus of the period map for double EPW-sextics. We recall that double EPW-sextics are parametrized by lagrangian subspaces of the third wedge-product of a 6-dimensional complex vector-space. The indeterminacy locus is contained in the set of lagrangians containing a decomposable vector. The projectivization of the 3-dimensional support of such a decomposable vector contains a degeneracy subscheme which is either all of the plane or a sextic curve. We show that the period map is regular on any lagrangian A such that for all decomposables in A the corresponding degeneracy subscheme is a GIT-semistable sextic curve whose closure (in the semistable locus) does not contain a triple conic., We added a proof that the the period map of double EPW-sextics with isolated singularities is an open embedding into the complement of four explicit arithmetic divisors in the period space. Gave precise references to results of "Moduli of double EPW-sextics" (latest arXiv version) which will appear in Memoirs of the AMS

An EPW-sextic is a special 4-dimensional hypersurfaces of degree 6 which comes equipped with a double cover which generically is a Hyperkaehler 4-fold deformation equivalent to the Hilbert square of a K3 surface. The family of EPW-sextics is analogous to the family of cubic 4-fold hypersurfaces, more precisely double EPW-sextics are analogous to varieties of lines on cubic 4-folds. This first paper in a series on moduli and periods of double EPW-sextics is mainly concerned with the classification of EPW-sextics which are analogous to cubic 4-folds whose singular locus has strictly positive dimension., Comment: Improved exposition. Added a result which was only implicit in the first version. Removed Section 3

Donaldson [5] has introduced polynomials on the second homology of any simply connected closed four-manifold, M, with b~odd (at least 3) which, up to + , are invariant under orientation preserving diffeomorphisms. For every c > Ibm+ there is a polynomial 7c(M)~ Syma(~ H2(S), where d(c) = 4c Z2(b~ + 1); to define it one considers J'/c, the set (which is in a natural way a manifold) of Gauge equivalence classes of connections on the SU(2)-bundle on M with c2 = c, antiself-dual with respect to a generic metric on M. There is a natural map /~: H2(M) ~ H2(j/c), namely slant product with 88 where P is the universal SO(3) principal bundle on M x J/c. One way of defining 7c(M) [10] is to construct a compactification of .//r Xc, carrying a fundamental class [Xc]. One proves that # extends to a map #: H2(M) ~ H2(Xc), then one defines

First steps toward a classification of irreducible symplectic 4-folds whose integral 2-cohomology with 4-tuple cup product is isomorphic to that of (K3)[2]. We prove that any such 4-fold deforms to an irreducible symplectic 4-fold of Type A or Type B. A 4-fold of Type A is a double cover of a (singular) sextic hypersurface and a 4-fold of Type B is birational to a hypersurface of degree at most 12. We conjecture that Type B 4-folds do not exist.

Eisenbud Popescu and Walter have constructed certain special 4-dimensional sextic hypersurfaces as Lagrangian degeneracy loci. We prove that the natural double cover of a generic EPW-sextic is a deformation of the Hilbert square of a K3-surface and that the family of such varieties is locally complete for deformations that keep the hyperplane class of type (1,1) - thus we get an example similar to that (discovered by Beauville and Donagi) of the Fano variety of lines on a cubic 4-fold. Conversely suppose that X is an irreducible symplectic 4-fold numerically equivalent to the Hilbert square of a K3-surface, that H is an ample divisor on X of square 2 for Beauville's quadratic form and that the map associated to |H| is the composition of the quotient map $X\to Y$ for an anti-symplectic involution on X followed by an immersion of Y; then Y is an EPW-sextic and $X\to Y$ is the natural double cover., 29 pages

A locally complete family of projective symplectic 4-folds is provided by natural double covers of Eisenbud-Popescu-Walter (EPW) sextic hypersurfaces in projective 5-space. The dual of an EPW sextic is another EPW sextic, thus to a double EPW sextic X we may associate a "dual" double EPW sextic X^{\vee}. We show how to obtain the Hodge structure on H^2(X^{\vee}) from that on H^2(X); it turns out that they are isomorphic over the rationals but not over the integers (in general)., Comment: 31 pages

A $K3$ surface with an ample divisor of self-intersection 2 is a double cover of the plane branched over a sextic curve. We conjecture that a similar statement holds for the generic couple $(X,H)$ with $X$ a deformation of $(K3)^{[n]}$ and $H$ an ample divisor of square 2 for Beauville's quadratic form. If $n=2$ then according to the conjecture $X$ is a double cover of a (singular) sextic 4-fold in $\PP^5$. It follows from the conjecture that a deformation of $(K3)^{[n]}$ carrying a divisor (not necessarily ample) of degree 2 has an anti-symplectic birational involution. We test the conjecture. In doing so we bump into some interesting geometry: examples of two anti-symplectic involutions generating an interesting dynamical system, a case of Strange duality and what is probably an involution on the moduli space of degree-2 quasi-polarized $(X,H)$ where $X$ is a deformation of $(K3)^{[2]}$., 42 pages

By results of the author there exists a projective (holomorphic) symplectic desingularization of the moduli space of rank-two torsion-free sheaves on a genus-two Jacobian with $c_1=0$ and $c_2=2$. This desingularization has a natural map to the self-product of the Jacobian. We show that the fiber over $(0,0)$ is a 6-dimensional projective irreducible symplectic variety (and hence a 12-dimensional compact Hyperkahler manifold) with second Betti number equal to 8. Thus it is not deformation equivalent to any of the (few) known examples of irreducible symplectic varieties, even up to birational equivalence., 68 pages

We study fixed loci of antisymplectic involutions on projective hyperk\"ahler manifolds. When the involution is induced by an ample class of square 2 in the Beauville-Bogomolov-Fujiki lattice, we show that the number of connected components of the fixed locus is equal to the divisibility of the class, which is either 1 or 2., Comment: 45 pages