Related papers: A birational involution
For $S$ a very general polarized K3 surface of degree $8n-6$, we describe in geometrical terms a birational involution of the Hilbert scheme $S^{[n]}$ of $n$ points on the surface, whose existence was established from lattice theoretical…
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…
Components of the Moduli space of sheaves on a K3 surface are parametrized by a lattice; the (algebraic) Mukai lattice. Isometries of the Mukai lattice often lift to symplectic birational isomorphisms of the collection of components. An…
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,…
We investigate the interplay between the moduli spaces of ample <2>-polarized IHS manifolds of type K3^[2] and of IHS manifolds of type K3^[2] with a nonsymplectic involution with invariant lattice of rank one. In particular we…
Using the techniques of Bayer--Macr\`i, we determine the walls in the movable cone of the Mukai system of rank two for a general K3 surface $S$ of genus two. We study the (essentially unique) birational map to $S^{[5]}$ and decompose it…
The known counterexamples to the global Torelli theorem for higher-dimensional hyperkahler manifolds are provided by birational manifolds. We address the question whether two birational hyperkahler manifolds (i.e. irreducible symplectic)…
We prove that the Hilbert square $S^{[2]}$ of a very general primitively polarized K3 surface S of degree $d(n) = 2(4n^2 + 8n + 5)$, $n \geq 1$ is birational to a double Eisenbud-Popescu-Walter sextic. Our result implies a positive answers,…
We consider the geometry of a general polarized K3 surface $(S,h)$ of genus 16 and its Fourier-Mukai partner $(S',h')$. We prove that $S^{[2]}$ is isomorphic to the moduli space $M_{S'}(2,h',7)$ of stable sheaves with Mukai vector…
We study irreducible holomorphic symplectic manifolds deformation equivalent to Hilbert schemes of points on a $K3$ surface and admitting a non-symplectic involution. We classify the possible discriminant forms of the invariant and…
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 provide new examples of anti-symplectic involutions on moduli spaces of stable sheaves on K3 surfaces. These involutions are constructed through (anti) autoequivalences of the bounded derived category of coherent sheaves on K3 surfaces…
In the context of irreducible holomorphic symplectic manifolds, we say that (anti)holomorphic (anti)symplectic involutions are brane involutions since their fixed point locus is a brane in the physicists' language, i.e. a submanifold which…
Suppose that a Hilbert scheme of points on a K3 surface S of Picard rank one admits a rational Lagrangian fibration. We show that if the degree of the surface is sufficiently large compared to the number of points, then the Hilbert scheme…
We study moduli spaces of sheaves over non-projective K3 surfaces. More precisely, if $v=(r,\xi,a)$ is a Mukai vector on a K3 surface $S$ with $r$ prime to $\xi$ and $\omega$ is a "generic" K\"ahler class on $S$, we show that the moduli…
For a very general polarized $K3$ surface $S\subset \mathbb{P}^g$ of genus $g\ge 5$, we study the linear system on the Hilbert square $S^{[2]}$ parametrizing quadrics in $\mathbb{P}^g$ that contain $S$. We prove its very ampleness for…
This is the abstruct of the revised paper. We study the equivariant analytic torsion for K3 surfaces with an anti-symplectic involution with the invariant lattice M (such a surface is called a 2-elementary K3 surface of type M in this…
We study surfaces of general type $S$ with $p_g=0$ and $K^2=3$ having an involution $i$ such that the bicanonical map of $S$ is not composed with $i$. It is shown that, if $S/i$ is not rational, then $S/i$ is birational to an Enriques…
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…
We show that any birational map between projective hyperK\"ahler manifolds of dimension 4 is composed of a sequence of simple flops or elementary Mukai transformations under the assumption that each irreducible component of the…