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

格偏極化K3曲面のモジュライと Brauer 群の有界性

基本情報

論文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のとき、対応するモジュライ空間が準射影曲線の和であることを証明し、この比較を利用して成分の種数と射影度が媒介変数とともに増大することを示し、有界度数の体上で有限個の点のみが存在することを証明した。

研究背景と動機

問題背景

K3曲面のモジュライ空間理論は代数幾何学の中核的研究分野である。格偏極化K3曲面のモジュライ空間は、もともと Dolgachev によってミラー対称性の文脈で詳細に研究された。しかし、これらのモジュライ空間には技術的困難が存在し、特に分離性の欠如が幾何学的性質を制限している。

中心的問題

分離性の問題: 従来の格偏極化K3曲面のモジュライ空間は通常分離的ではなく、これは幾何学的性質の悪化をもたらす
算術的応用: 数体などの非閉体上でモジュライ空間を構成する必要があり、K3曲面の算術的性質を研究する
Brauer 群の一様有界性: 特定の族における K3 曲面の Brauer 群の一様有界性を証明する

研究動機

良好な幾何学的性質を持つ格偏極化K3曲面のモジュライスタックを構成する
複素数体上の理論を一般的な基底に推広する
K3曲面の算術研究のためのモジュライ論的ツールを提供する
Brauer 群の一様有界性を証明する新しい方法を開発する

核心的貢献

任意の基底上の格偏極化K3曲面のモジュライスタックを構成し、複素数体上の古典理論を推広した
「極小豊富錐」の概念を導入し、Alexeev-Engel の「小錐」理論を改善した
モジュライスタックの良好な幾何学的性質を証明し、滑らかさ、分離性、局所有限型を含む
層構造を持つ捻られたK3曲面のモジュライ空間を確立し、モジュライ論と Brauer 群理論を結びつけた
Cadoret-Charles 定理の新しい証明を提供し、K3曲面の Brauer 群の一様有界性に関する
モジュライ空間と直交モジュライ曲線の関連性を確立し、算術 Fuchsian 群理論を利用した

方法の詳細

タスク定義

格偏極化K3曲面のモジュライ空間を研究し、特に：

入力：偶格 $L$ と部分集合 $A \subset L_\mathbb{R}$
出力：モジュライスタック $M_{(L,A)/S}$ 、 $(L,A)$ -偏極化K3曲面をパラメータ化
制約：良好な幾何学的性質を持つモジュライ空間を構成

モジュライスタック構成

1. 基本モジュライスタック定義

偶双曲格 $L$ と部分集合 $A \subset L_\mathbb{R}$ に対して、モジュライスタック $M_{(L,A)/S}$ を定義し、その対象は：

K3曲面族 $f: X \to T$
格偏極化 $j: L_T \hookrightarrow \text{Pic}_{X/T}$
$(L,A)$ -偏極化条件を満たす

2. 原始偏極化部分スタック

$P_{(L,A)/S} \subset M_{(L,A)/S}$ を原始偏極化の開部分スタックとして定義し、ここで $j$ は各幾何学的ファイバー上で原始埋め込みである。

3. 極小豊富錐

原始埋め込み $e: L \hookrightarrow \Lambda$ （K3格）に対して、以下を定義：

小豊富錐： $C(L) \setminus \bigcup_{\delta \in \Delta_e(\Lambda)} e^{-1}(\delta^\perp)$ の連結成分
極小豊富錐：すべての埋め込みに対する交集合後の連結成分

技術的革新点

1. 極小豊富錐理論

Alexeev-Engel の小錐概念を改善
偏極化格のみに依存し、追加の単数コホモロジーデータを必要としない
モジュライスタックの分離性を保証

2. 捻られたK3曲面のモジュライ空間

モジュライスタック $M^{[n]}_{(L,A)}$ を構成し、その対象は：

$(L,A)$ -偏極化K3曲面 $(X,j)$
$n$ -捻られた類 $\alpha \in H^2(X,\mu_n)$

3. 商スタック構成

商スタック $Q^{[n]}_{(L,A)}$ を定義し、その点は以下に対応：

原始 $L$ -偏極化K3曲面
Brauer 群における $n$ 次類

主要定理

定理 1.1（幾何学的性質）

$L$ を偶双曲格、 $d = \text{disc}(L)$ とする。閉部分スタック $Z \subset P_{(L,A)/\mathbb{Z}}$ が存在して：

$Z$ は超特異軌跡と $d$ の素因子上に支持される
$P_{(L,A)/\mathbb{Z}} \setminus Z$ は各点で $\text{Spec}(\mathbb{Z})$ 上の相対次元 $20 - \text{rk}(L)$ の滑らかなスタック

定理 1.2（分離性）

$a$ を極小豊富錐とする。閉部分スタック $Z \subset P_{(L,a)/\mathbb{Z}}$ が存在して超特異軌跡上に支持され、 $P_{(L,a)/\mathbb{Z}} \setminus Z$ は $\text{Spec}(\mathbb{Z})$ 上で分離的である。

定理 1.10（Brauer 群の有界性）

正整数 $d$ 、素数 $\ell$ 、秩19の格 $L$ を固定する。定数 $B = B(d,\ell,L)$ が存在して、度数 $d$ の任意の数体 $k$ 上のK3曲面 $X$ に対して、 $\text{Pic}(\bar{X})$ が原始埋め込み $L \hookrightarrow \text{Pic}(\bar{X})$ を認めるならば： $\#\frac{\text{Br}(X)}{\text{Br}_1(X)}\{\ell^\infty\} < B$