NON-SYMPLECTIC INVOLUTIONS ON MANIFOLDS OF -TYPE

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 quadratic forms of the invariant and coinvariant lattice for the action of the involution on cohomology and explicitly describe the lattices in the cases where the invariant lattice has small rank. We also give a modular description of all $d$ -dimensional families of manifolds of $K3^{[n]}$ -type with a non-symplectic involution for $d\geqslant 19$ and $n\leqslant 5$ and provide examples arising as moduli spaces of twisted sheaves on a $K3$ surface.

Change of Polarization for Moduli of Sheaves on Surfaces as Bridgeland Wall-crossing

We prove that the “Thaddeus flips” of L-twisted sheaves constructed by Matsuki and Wentworth explaining the change of polarization for Gieseker semistable sheaves on a surface can be obtained via Bridgeland wall-crossing. Similarly, we realize the change of polarization for moduli spaces of one-dimensional Gieseker semistable sheaves on a surface by varying a family of stability conditions.

Verra Four-Folds, Twisted Sheaves, and the Last Involution

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 unirationality of moduli spaces of irreducible holomorphic symplectic manifolds of K3[2]-type admitting non-symplectic involutions with invariant lattices U(2) ⊕ D4(−1) or U(2) ⊕ E8(−2). This complements the results obtained in [43], [13], and the results from [29] about the geometry of irreducible holomorphic symplectic (IHS) four-folds constructed using the Hilbert scheme of (1, 1) conics on Verra four-folds. As a byproduct we find that IHS four-folds of K3[2]-type with Picard lattice U(2) ⊕ E8(−2) naturally contain non-nodal Enriques surfaces.

A reconstruction theorem for abelian categories of twisted sheaves

We use an idea of Rosenberg to prove a reconstruction theorem for abelian categories of α-twisted quasi-coherent sheaves on quasi-compact and quasi-separated schemes

Cohomological obstruction theory for Brauer classes and the period-index problem

Let U be a connected noetherian scheme of finite étale cohomological dimension in which every finite set of points is contained in an affine open subscheme. Suppose that α is a class in H2(Uét,ℂm)tors. For each positive integer m, the K-theory of α-twisted sheaves is used to identify obstructions to α being representable by an Azumaya algebra of rank m2. The étale index of α, denoted eti(α), is the least positive integer such that all the obstructions vanish. Let per(α) be the order of α in H2(Uét,ℂm)tors. Methods from stable homotopy theory give an upper bound on the étale index that depends on the period of α and the étale cohomological dimension of U; this bound is expressed in terms of the exponents of the stable homotopy groups of spheres and the exponents of the stable homotopy groups of B(ℤ/(per(α))). As a corollary, if U is the spectrum of a field of finite cohomological dimension d, then , where [] is the integer part of , whenever per(α) is divided neither by the characteristic of k nor by any primes that are small relative to d.