1. K3 surfaces
-
Problem 1.05.
Is there an algorithm to compute derived equivalence for K3 surfaces over a finitely generated field? -
Pick three quadrics, $Q_0$, $Q_1$, and $Q_2$. Let $X=V(x_0Q_0+x_1Q_1+x_2Q_2)$. This is a cubic fourfold which contains the plane $V(x_0,x_1,x_2)$. The net of quadrics generated by the $Q_i$ gives us a family of quadric fourfolds over $\mathbb{P}^2$. Let $\mathcal{V}$ be the locus of maximal isotropic subspaces of the fibers. If we take the Stein factorization of the map $\mathcal{V} \to \mathbb{P}^2$, this gives a bundle of projective spaces of dimension 3 over a double cover of $\mathbb{P}^2$. The double cover will be a K3 surface. This give a Brauer class on the K3 surface.
If we look at 3-planes in $\mathbb{P}^5$ containing the plane, they will be parametrized by $\mathbb{P}^2$, and we will get a family of quadric surfaces over the $\mathbb{P}^2$, namely the residual intersection of $X$ with the 3-plane. We can do the same construction as before with the space of maximal isotropic subspaces of the fibers to get another projective bundle over a K3 surface.Problem 1.1.
Is there an intrinsic description of the relation between these twisted K3 surfaces? -
If you fix a degree 2 K3 surface over $\mathbb{Q}$ with a 2-torsion Brauer class $\alpha$ (over $\overline{\mathbb{Q}}$), van Geeman tells us that we can find a variety $Y$ such that $X$ is a moduli space of sheaves on $Y$ and such that $\alpha$ is the obstruction for the moduli space to be fine.
Problem 1.15.
Is $Y$ unique? How many such $Y$ are there? If $X$ is defined over $\mathbb{Q}$ and $Y$ is defined over some nontrivial extension of $\mathbb{Q}$, is it possible that $\alpha$ is defined over $\mathbb{Q}$, i.e. in the image of $\mathrm{Br}(X) \to \mathrm{Br}(\overline{X})$? -
Problem 1.2.
Does there exist a K3 surface $X$ and a Brauer class $\alpha$ of odd order $n$ defined over a number field $k$ such that $\alpha$ gives an obstruction to the existence of rational points?
What about an example with $n>2$?
What about a transcendental example? -
Problem 1.25.
Say we have a K3 surface over a number field. Are the places of bad reduction of the surface determined by the derived category? What about over $\mathbb{C}((t))$? -
Problem 1.3.
Can we identify 3-torsion elements of the Brauer group of a degree 2 K3 surface as obstructions to the fineness of some moduli space?
Can we do this for K3 surfaces of other degrees? What about degree 4? -
Problem 1.35.
If $X$ is a non-fine moduli space of sheaves on a K3 surface $Y$, and the dimension of $X$ is greater than 2, can the corresponding Brauer class obstruct the Hasse principle? -
Problem 1.4.
Given a K3 surface $X$ with a Brauer class, is that Brauer class the obstruction to fineness as a moduli space of sheaves? -
Problem 1.45.
Let $X$ be a K3 surface of degree $2d$. Consider the Hilbert scheme $\mathscr{H}$ of length $d+1$ zero-dimensional subschemes of $X$. $\mathrm{Br}(X)=\mathrm{Br}(\mathscr{H})$. There is a map $\mathscr{H} \to \mathbb{P}^{d+1}$ with generic fiber an abelian variety. Does every $\alpha \in \mathrm{Br}(X)$ be correspond to a torsor for the relative Jacobian of this vibration in such a way that the order of the torsor associated to $\alpha$ times the order of $\alpha$ is the order of the torsor $\mathscr{H}$? In this question we are using the same correspondence between principal homogeneous spaces and Brauer classes as in Bianca’s talk.
If we consider the moduli space of $\alpha$-twisted sheaves on $X$ of dimension 0 and length $d+1$, does this realize the torsors of the previous part of this question? -
Problem 1.5.
Fix a number field and a degree. Look at all K3 surfaces over the number field of degree $2d$. Look at the Brauer group of the K3 surface modulo the Brauer group of the number field. Is there a uniform bound on the size of the quotient? What about the algebraic part? The transcendental part of the Brauer group? Note: the first two groups are known to be finite. -
Problem 1.55.
If we have a K3 surface $X$ defined over some number field $k$, what can we say about the fields of definition of its Fourier-Mukai partners (partners over $\mathbb{C}$)? What about twisted K3 surfaces? What about Abelian varieties? What about other varieties?
If we look at real quadratic extensions of $\mathbb{Q}$, can the order of the odd part of the class group go to $\infty$? Does this answer the previous question? How does this relate to the previous problem? -
Problem 1.6.
How does the group structure of the Brauer group relate to Brauer classes as obstructions to fineness of moduli spaces? Given a K3 surface $X$ and two K3 surfaces $S_1$ and $S_2$ such that $X$ is a moduli space of sheaves on $S_1$ and $S_1$, can we explicitly construct a third K3 surface or variety $Y$ such that $X$ is a moduli space of sheaves on $Y$ and the obstruction class to fineness of this moduli space is the sum of the obstruction classes coming from $S_1$ and $S_2$?
Cite this as: AimPL: Brauer groups and obstruction problems, available at http://aimpl.org/brauermoduli.