Related papers: On a classical correspondence between K3 surfaces …
In this note we define moduli functors of (primitively) polarized K3 spaces. We show that they are representable by Deligne-Mumford stacks over Spec(Z). Further, we look at K3 spaces with a level structure. Our main result is that the…
We study the geometry of some moduli spaces of twisted sheaves on K3 surfaces. In particular we introduce induced automorphisms from a K3 surface on moduli spaces of twisted sheaves on this K3 surface. As an application we prove the…
Strange duality is shown to hold over generic $K3$ surfaces in a large number of cases. The isomorphism for elliptic $K3$ surfaces is established first via Fourier-Mukai techniques. Applications to Brill-Noether theory for sheaves on $K3$s…
We study the moduli space F_{2d} of polarised K3 surfaces of degree 2d. We compute all relations between Noether-Lefschetz divisors on these moduli spaces for d up to around 50. This leads to a very concrete description of the rational…
Let $SU_X(n,L)$ be the moduli space of rank n semistable vector bundles with fixed determinant L on a smooth projective genus g curve X. Let $SU_X^s(n,L)$ denote the open subset parametrizing stable bundles. We show that if g>3 and n > 1,…
We conjecture a Verlinde type formula for the moduli space of Higgs sheaves on a surface with a holomorphic 2-form. The conjecture specializes to a Verlinde formula for the moduli space of sheaves. Our formula interpolates between…
Let (S,H) be a polarized K3 surface, $E$ be a coherent sheaf on S and W be a linear subspace in the space of global sections H^0(S,E). If we are lucky, there is an exact sequence 0 -> W tensor O -> E -> E' -> 0, which gives a correspondence…
For a smooth canonically embedded curve $C$ of genus $9$ together with a pencil $|L|$ of degree $6$, we study the relative canonical resolution of $C\subset X\subset \mathbb{P}^8$, where $X$ is the scroll swept out by the pencil $|L|$. We…
We give a new proof of the following theorem: moduli spaces of stable complexes on a complex projective K3 surface, with primitive Mukai vector and with respect to a generic Bridgeland stability condition, are hyperk\"{a}hler varieties of…
We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…
Inspired by well-known examples of hyperk\"ahler manifolds, we show that any hyperk\"ahler manifold $X$ of K3$^{[n]}$-type with Picard number $\rho(X) \geq 4$ is always isomorphic to a moduli space of twisted stable sheaves on a K3 surface.…
We shall study some moduli spaces of Bridgeland's semi-stable objects on abelian surfaces and K3 surfaces with Picard number 1. Under some conditions, we show that the moduli spaces are isomorphic to the moduli spaces of Gieseker…
Let X and Y be compact hyper-Kahler manifolds deformation equivalence to the Hilbert scheme of length n subschemes of a K3 surface. A cohomology class in their product XxY is an analytic correspondence, if it belongs to the subring…
In this paper we study monodromy operators on moduli spaces $M_v(S,H)$ of sheaves on K3 surfaces with non-primitive Mukai vectors $v$. If we write $v=mw$, with $m>1$ and $w$ primitive, then our main result is that the inclusion $M_w(S,H)\to…
Given a K3 surface X over a field of characteristic p, Artin conjectured that if X is supersingular (meaning infinite height) then its Picard rank is 22. Along with work of Nygaard-Ogus, this conjecture implies the Tate conjecture for K3…
Let $X$ be a complex algebraic K3 surface of degree $2d$ and with Picard number $\rho$. Assume that $X$ admits two commuting involutions: one holomorphic and one anti-holomorphic. In that case, $\rho \geq 1$ when $d=1$ and $\rho \geq 2$…
Recently S. Patrikis, J.F. Voloch and Y. Zarhin have proven, assuming several well known conjectures, that the finite descent obstruction holds on the moduli space of principally polarised abelian varieties. We show an analogous result for…
These notes will give an introduction to the theory of K3 surfaces. We begin with some general results on K3 surfaces, including the construction of their moduli space and some of its properties. We then move on to focus on the theory of…
Let $X$ be a compact connected Riemann surface of genus $g$, with $g\geq 2$, and ${\cal M}_{\xi}$ a smooth moduli space of fixed determinant semistable vector bundles of rank $n$, with $n\geq 2$, over $X$. Take a smooth anticanonical…
Let X be a K3 surface with an involution g which has non-empty fixed locus X^g and acts non-trivially on a non-zero holomorphic 2-form. We shall construct all such pairs (X, g) in a canonical way, from some better known double coverings of…