2025-11-10T03:03:02.440197

Moduli of lattice-polarized K3 surfaces and boundedness of Brauer groups

Bragg, Brakkee, VÃ¡rilly-Alvarado

Inspired by constructions over the complex numbers of Dolgachev and Alexeev-Engel, we define moduli stacks $\mathcal{M}_{(L,\mathcal{A})/\mathbb{Z}}$ of lattice-polarized K3 surfaces over arbitrary bases, paying particular attention to the open locus $\mathcal{P}_{(L,\mathcal{A})/\mathbb{Z}}$ of primitive lattice polarizations. We introduce the notion of very small ample cones $\mathcal{a}$, after Alexeev and Engel's small cones, to construct smooth, separated stacks of lattice polarized K3 surfaces $\mathcal{P}_{(L,\mathcal{a})/\mathbb{Z}[1/N]}$ over suitable open subsets of $\textrm{Spec}(\mathbb{Z})$. We add level structures, coming from classes in $\mathrm{H}^2(X,Î¼_n)$, to build moduli stacks $\mathcal{P}^{[n]}_{(L,\mathcal{A})/\mathbb{Z}}$ with a natural action by $\mathcal{P}_{(L,\mathcal{A})}\otimes \mathbb{Z}/n\mathbb{Z}$ whose associated quotient $\mathcal{Q}^{[n]}_{(L,\mathcal{A})}$ contains an open substack $\mathcal{Q}^{(n)}_{(L,\mathcal{A})}$ whose points parametrize pairs K3 surfaces $X$ such that $\textrm{Pic}(X) \simeq L$, together with a class $Î±\in \textrm{Br}(X)$ of order $n$. When $L$ has rank 19, we show that the coarse moduli space $\mathrm{Q}_{(L,\mathcal{a}),\mathbb{C}}^{(n)}$ is a union of quasi-projective curves, each isomorphic to an open subvariety of the quotient of the upper half plane by a discrete subgroup of $\mathrm{SL}_2(\mathbb{R})$. Fixing a prime $\ell$, we use this comparison to prove that the genus and the gonality of the components of $\mathrm{Q}_{(L,\mathcal{a}),\mathbb{C}}^{(\ell^{m})}$ grows with $m$, and hence that they have finitely many points over number fields of bounded degree. As an application, we furnish a new proof of a result by Cadoret--Charles, showing uniform boundedness of the $\ell$-primary torsion of Brauer groups of K3 surfaces over number fields varying in a $1$-dimensional lattice-polarized family.

academic

Moduli of lattice-polarized K3 surfaces and boundedness of Brauer groups

基本信息

论文ID: 2510.11477
标题: Moduli of lattice-polarized K3 surfaces and boundedness of Brauer groups
作者: Danny Bragg, Emma Brakkee, Anthony Várilly-Alvarado
分类: math.AG (代数几何), math.NT (数论)
发表时间: 2025年10月14日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.11477

摘要

本文受Dolgachev和Alexeev-Engel在复数域上构造的启发，定义了任意基底上格极化K3曲面的模栈 $\mathcal{M}_{(L,\mathcal{A})/\mathbb{Z}}$ ，特别关注原始格极化的开轨迹 $\mathcal{P}_{(L,\mathcal{A})/\mathbb{Z}}$ 。引入"极小充裕锥"概念，构造了在 $\text{Spec}(\mathbb{Z})$ 的适当开子集上的光滑分离栈。通过添加来自 $\mathrm{H}^2(X,\mu_n)$ 中类的层结构，建立了模栈，其商包含一个开子栈，其点参数化K3曲面对以及Brauer群中的n阶类。当格L的秩为19时，证明了相应模空间是拟射影曲线的并，并利用这一比较证明了组件的亏格和射影度随参数增长，从而在有界度数域上只有有限多个点。