Related papers: The geometry of antisymplectic involutions, II

We study fixed loci of antisymplectic involutions on projective hyperk\"ahler manifolds of $\mathrm{K3}^{[n]}$-type. When the involution is induced by an ample class of square 2 in the Beauville-Bogomolov-Fujiki lattice, we show that the…

In this paper we describe the fixed locus of a symplectic involution on a hyperk\"ahler manifold of type $K3^{[n]}$ or of Kummer $n$ type. We prove that the fixed locus consists of finitely many copies of Hilbert schemes of $K3$ surfaces of…

The aim of this paper is to give an explicit description of the fixed loci of symplectic automorphisms for certain hyperkahler manifolds, namely for Hilbert schemes on K3 surfaces and for generalized Kummer varieties. Here we extend our…

Let X be a holomorphic symplectic manifold, of dimension divisible by 4, and s an antisymplectic involution of X . The fixed locus F of s is a Lagrangian submanifold of X ; we show that its \^A-genus is 1. As an application, we determine…

As their smooth analogue the irreducible symplectic varieties appear as elementary bricks in the generalizations of the Bogomolov decomposition theorem (arXiv:math/0402243, arXiv:2012.00441). Let $S$ be a K3 surface; generalizing the Fujiki…

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…

Let F be a polarized irreducible holomorphic symplectic fourfold, deformation equivalent to the Hilbert scheme parametrizing length-two zero-dimensional subschemes of a K3 surface. The homology group H^2(F,Z) is equipped with an integral…

We study complex Lagrangian submanifolds of a compact hyper-K\"ahler manifold and prove two results: (a) that an involution of a hyper-K\"ahler manifold which is antiholomorphic with respect to one complex structure and which acts…

We prove the generalized Franchetta conjecture for the locally complete family of hyper-K\"ahler eightfolds constructed by Lehn-Lehn-Sorger-van Straten (LLSS). As a corollary, we establish the Beauville-Voisin conjecture for very general…

Let X be a Hyperk\"{a}hler variety deformation equivalent to the Hilbert square on a K3 surface and let f be an involution preserving the symplectic form. We prove that the fixed locus of f consists of 28 isolated points and 1 K3 surface,…

Let X be a holomorphic symplectic fourfold such that b_2=23 and i a symplectic involution of X . The fixed locus F of i is a smooth symplectic submanifold of X; we show that F contains at least 12 isolated points and 1 smooth surface. We…

We classify projective terminalizations of quotients of Fano varieties of lines on smooth cubic fourfolds by finite groups of symplectic automorphisms of the underlying cubic. We compute the second Betti number and the fundamental group of…

We study the equivariant Kuznetsov component $\mathrm{Ku}_G(X)$ of a general cubic fourfold $X$ with a symplectic involution. We show that $\mathrm{Ku}_G(X)$ is equivalent to the derived category $D^b(S)$ of a $K3$ surface $S$, where $S$ is…

We describe the Galois action on the middle $\ell$-adic cohomology of smooth, projective fourfolds $K_A(v)$ that occur as a fiber of the Albanese morphism on moduli spaces of sheaves on an abelian surface $A$ with Mukai vector $v$. We show…

A classical result of Bondal-Orlov states that a standard flip in birational geometry gives rise to a fully faithful functor between derived categories of coherent sheaves. We complete their embedding into a semiorthogonal decomposition by…

We give an interpretation of the Fano variety of lines on a cubic fourfold and of the hyperkahler eightfold, constructed by Lehn, Lehn, Sorger and van Straten from twisted cubic curves in a cubic fourfold non containing a plane, as moduli…

EPW cubes are polarized hyper-K\"ahler varieties of K$3^{[3]}$-type that carry an anti-symplectic involution. We study the geometry of the fixed locus $\sW_A$ of this involution and prove that it is a \emph{rigid} atomic Lagrangian…

We study moduli spaces of stable objects in Enriques categories by exploiting their relation to moduli spaces of stable objects in associated K3 categories. In particular, we settle the nonemptiness problem for moduli spaces of stable…

We study the Kuznetsov component of cubic fivefolds via their quadric fibration model, and construct a family of Serre-invariant Bridgeland stability conditions on it. For every primitive numerical class, we prove that the associated…

The Kuznetsov component of the derived category of a cubic fourfold is a `non-commutative K3 surface'. Its symmetric square is hence a `non-commutative hyperkaehler fourfold'. We prove that this category is equivalent to the derived…