Search arXivSearch

arXiv · 2501.16013

Geometry of genus sixteen K3 surfaces

Abstract

Polarized K3 surfaces of genus sixteen have a Mukai vector bundle of rank two. We study the geometry of the projectivization of this bundle. We prove that it has an embedding in $\mathbb{P}_9$ with an ideal generated by quadrics. We give an effective method to compute these quadrics from a general choice in Mukai's unirationalization of the moduli space. This linear system gives a double cover of $\mathbb{P}_9$ ramified on a degree $10$ hypersurface. It gives relative Weddle/Kummer surfaces over a Peskine variety associated to an explicit trivector. This work is also motivated by hyperkähler geometry and Debarre-Voisin varieties. Oberdieck showed that the Hilbert square of a general K3-surface of genus $16$ is a Debarre-Voisin variety for some trivector. We start to investigate the relationship between these two trivectors.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Frederic Han. 2025-12-02. Geometry of genus sixteen K3 surfaces. https://arxiv.org/abs/2501.16013

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

G3-Criteria and Applications

The G3-property of a subvariety was introduced by Hironaka-Matsumura, and plays an important role for deducing connectedness and extension results. Unfortunately, it's a rather elusive notion, which is not always easy to establish. Most of the existing work is concentrated on subvarieties of homogeneous varieties. The first goal of this article is to show that mobility assumptions on the subvariety, considered in works of Badescu, Chow, Debarre, Voisin, yield a certain partial positivity property, slightly stronger than G3, previously introduced by the author. Second, we apply the result to prove that, in numerous situations, the splitting of the normal bundle of a smooth two-codimensional subvariety implies that it is a complete intersection.

math.AG

Nodal degeneration of chiral algebras I: Global structure and gluing formula

We define a natural extension of a universal factorization algebra $\mathcal{A}$ to families of stable punctured curves, by integrating over all semistable modifications. We prove that the resulting sheaf of factorization homology satisfies a natural gluing formula, by tensoring over a certain derived associative algebra $\mathfrak{Z}_{\mathcal{A}}^0$, generalizing the Verlinde formula for gluing of conformal blocks.

math.AG