Table of Contents
Fetching ...

The period-index problem for hyperkähler manifolds

Daniel Huybrechts

TL;DR

The paper conjectures that for projective hyperkähler X and Brauer class α, ind(α) divides per(α)^{dim(X)/2}, and provides substantial evidence by proving this across two major HK classes: those admitting a Lagrangian fibration and Hilbert schemes of K3 surfaces. It develops an abelian–fibration framework—twisting the dual fibration, constructing multi-sections, gluing line bundles on twists, and controlling obstruction classes via compactifications and rigidifications—then applies Fourier–Mukai theory to realize twisted sheaves and derive index bounds. Extending these methods to Jacobian fibrations, general projective varieties, and moduli spaces of sheaves on K3s, the work obtains uniform bounds ind(α) | per(α)^g or per(α)^n in several settings, including cases without coprimality assumptions. Collectively, the results advance understanding of Brauer groups on HK manifolds, provide concrete index bounds in higher dimensions, and illuminate how geometric structures like Lagrangian fibrations influence period–index phenomena and twisted-moduli constructions.

Abstract

We conjecture that every unramified Brauer class $α\in \text{Br}(X)$ on a projective hyperkähler manifold $X$ satisfies $\text{ind}(α)\mid\text{per}(α)^{\dim(X)/2}$. We provide evidence for this conjecture by proving it for two large classes of projective hyperkähler manifolds: For projective hyperkähler manifolds admitting a Lagrangian fibration and for Hilbert schemes of K3 surfaces.

The period-index problem for hyperkähler manifolds

TL;DR

The paper conjectures that for projective hyperkähler X and Brauer class α, ind(α) divides per(α)^{dim(X)/2}, and provides substantial evidence by proving this across two major HK classes: those admitting a Lagrangian fibration and Hilbert schemes of K3 surfaces. It develops an abelian–fibration framework—twisting the dual fibration, constructing multi-sections, gluing line bundles on twists, and controlling obstruction classes via compactifications and rigidifications—then applies Fourier–Mukai theory to realize twisted sheaves and derive index bounds. Extending these methods to Jacobian fibrations, general projective varieties, and moduli spaces of sheaves on K3s, the work obtains uniform bounds ind(α) | per(α)^g or per(α)^n in several settings, including cases without coprimality assumptions. Collectively, the results advance understanding of Brauer groups on HK manifolds, provide concrete index bounds in higher dimensions, and illuminate how geometric structures like Lagrangian fibrations influence period–index phenomena and twisted-moduli constructions.

Abstract

We conjecture that every unramified Brauer class on a projective hyperkähler manifold satisfies . We provide evidence for this conjecture by proving it for two large classes of projective hyperkähler manifolds: For projective hyperkähler manifolds admitting a Lagrangian fibration and for Hilbert schemes of K3 surfaces.

Paper Structure

This paper contains 21 sections, 19 theorems, 91 equations.

Key Result

Theorem 3

Let $X$ be a projective hyperkähler manifold that admits a Lagrangian fibration. Then there exists an integer $N_X$ such that for all $\alpha\in{\rm Br}(X)$ with ${\rm per}(\alpha)$ coprime to $N_X$.

Theorems & Definitions (50)

  • Conjecture 1
  • Conjecture 2
  • Theorem 3
  • Theorem 4
  • Remark 1.1
  • Remark 1.2
  • Theorem 1.3: Ogg, Šafarevič
  • Proposition 1.4
  • proof
  • Remark 1.5
  • ...and 40 more