Algebraic cycles and Lehn–Lehn–Sorger–van Straten eightfolds

This article is about Lehn–Lehn–Sorger–van Straten eightfolds $Z$ and their anti-symplectic involution $\iota$ . When $Z$ is birational to the Hilbert scheme of points on a K3 surface, we give an explicit formula for the action of $\iota$ on the Chow group of $0$ -cycles of $Z$ . The formula is in agreement with the Bloch–Beilinson conjectures and has some non-trivial consequences for the Chow ring of the quotient.

Rank one sheaves over quaternion algebras on Enriques surfaces

Let X be an Enriques surface over the field of complex numbers. We prove that there exists a nontrivial quaternion algebra 𝓐 on X. Then we study the moduli scheme of torsion free 𝓐-modules of rank one. Finally we prove that this moduli scheme is an étale double cover of a Lagrangian subscheme in the corresponding moduli scheme on the associated covering K3 surface.

Systolic inequalities for K3 surfaces via stability conditions

We introduce the notions of categorical systoles and categorical volumes of Bridgeland stability conditions on triangulated categories. We prove that for any projective K3 surface X, there exists a constant C depending only on the rank and discriminant of NS(X), such that $$\begin{aligned} \mathrm {sys}(\sigma )^2\le C\cdot \mathrm {vol}(\sigma ) \end{aligned}$$ sys ( σ ) 2 ≤ C · vol ( σ ) holds for any stability condition on $$\mathcal {D}^b\mathrm {Coh}(X)$$ D b Coh ( X ) . This is an algebro-geometric generalization of a classical systolic inequality on two-tori. We also discuss applications of this inequality in symplectic geometry.

Higher rank Clifford indices of curves on a K3 surface

Let (X, H) be a polarized K3 surface with $$\mathrm {Pic}(X) = \mathbb {Z}H$$ Pic ( X ) = Z H , and let $$C\in |H|$$ C ∈ | H | be a smooth curve of genus g. We give an upper bound on the dimension of global sections of a semistable vector bundle on C. This allows us to compute the higher rank Clifford indices of C with high genus. In particular, when $$g\ge r^2\ge 4$$ g ≥ r 2 ≥ 4 , the rank r Clifford index of C can be computed by the restriction of Lazarsfeld–Mukai bundles on X corresponding to line bundles on the curve C. This is a generalization of the result by Green and Lazarsfeld for curves on K3 surfaces to higher rank vector bundles. We also apply the same method to the projective plane and show that the rank r Clifford index of a degree $$d(\ge 5)$$ d ( ≥ 5 ) smooth plane curve is $$d-4$$ d - 4 , which is the same as the Clifford index of the curve.

On the Mumford–Tate conjecture for hyperkähler varieties

We study the Mumford–Tate conjecture for hyperkähler varieties. We show that the full conjecture holds for all varieties deformation equivalent to either an Hilbert scheme of points on a K3 surface or to O’Grady’s ten dimensional example, and all of their self-products. For an arbitrary hyperkähler variety whose second Betti number is not 3, we prove the Mumford–Tate conjecture in every codimension under the assumption that the Künneth components in even degree of its André motive are abelian. Our results extend a theorem of André.

Motivic decompositions for the Hilbert scheme of points of a K3 surface

We construct an explicit, multiplicative Chow–Künneth decomposition for the Hilbert scheme of points of a K3 surface. We further refine this decomposition with respect to the action of the Looijenga–Lunts–Verbitsky Lie algebra.

K3 carpets on minimal rational surfaces and their smoothings

In this paper, we study K3 double structures on minimal rational surfaces [Formula: see text]. The results show there are infinitely many non-split abstract K3 double structures on [Formula: see text] parametrized by [Formula: see text], countably many of which are projective. For [Formula: see text] there exists a unique non-split abstract K3 double structure which is non-projective (see [J.-M. Drézet, Primitive multiple schemes, preprint (2020), arXiv:2004.04921 , to appear in Eur. J. Math.]). We show that all projective K3 carpets can be smoothed to a smooth K3 surface. One of the byproducts of the proof shows that unless [Formula: see text] is embedded as a variety of minimal degree, there are infinitely many embedded K3 carpet structures on [Formula: see text]. Moreover, we show any embedded projective K3 carpet on [Formula: see text] with [Formula: see text] arises as a flat limit of embeddings degenerating to 2:1 morphism. The rest do not, but we still prove the smoothing result. We further show that the Hilbert points corresponding to the projective K3 carpets supported on [Formula: see text], embedded by a complete linear series are smooth points if and only if [Formula: see text]. In contrast, Hilbert points corresponding to projective (split) K3 carpets supported on [Formula: see text] and embedded by a complete linear series are always smooth. The results in [P. Bangere, F. J. Gallego and M. González, Deformations of hyperelliptic and generalized hyperelliptic polarized varieties, preprint (2020), arXiv:2005.00342 ] show that there are no higher dimensional analogues of the results in this paper.

On the maximal number of du Val singularities for a K3 surface

A complex K3 surface or an algebraic K3 surface in characteristics distinct from 2 cannot have more than 16 disjoint nodal curves.

Counting Rational Curves on K3 Surfaces With Finite Group Actions

Göttsche gave a formula for the dimension of the cohomology of Hilbert schemes of points on a smooth projective surface $S$. When $S$ admits an action by a finite group $G$, we describe the action of $G$ on the Hodge structure. In the case that $S$ is a K3 surface, each element of $G$ gives a trace on $\sum _{n=0}^{\infty }\sum _{i=0}^{\infty }(-1)^{i}H^{i}(S^{[n]},\mathbb{C})q^{n}$. When $G$ acts faithfully and symplectically on $S$, the resulting generating function is of the form $q/f(q)$, where $f(q)$ is a cusp form. We relate the Hodge structure of Hilbert schemes of points to the Hodge structure of the compactified Jacobian of the tautological family of curves over an integral linear system on a K3 surface as $G$-representations. Finally, we give a sufficient condition for a $G$-orbit of curves with nodal singularities not to contribute to the representation.