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}}$ 에 초점을 맞춘다. "극소 충분 원뿔(minimal ample cone)" 개념을 도입하여 $\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 ⊂ L_ℝ
출력: 모듈리 스택 M_{(L,A)/S}, (L,A)-편극화 K3 곡면 매개변수화
제약: 좋은 기하학적 성질을 갖는 모듈리 공간 구성

모듈리 스택 구성

1. 기본 모듈리 스택 정의

짝수 쌍곡 격자 L과 부분집합 A ⊂ L_ℝ에 대해, 모듈리 스택 M_{(L,A)/S}를 정의하며, 그 대상은:

K3 곡면 족 f: X → T
격자 편극화 j: L_T ↪ Pic_{X/T}
(L,A)-편극화 조건 만족

2. 원시 편극화 부분스택

P_{(L,A)/S} ⊂ M_{(L,A)/S}를 원시 편극화의 열린 부분스택으로 정의하며, 여기서 j는 각 기하학적 섬유 위에서 원시 매장이다.

3. 극소 충분 원뿔

원시 매장 e: L ↪ Λ (K3 격자)에 대해, 다음을 정의한다:

작은 충분 원뿔: C(L) \ ⋃_{δ∈Δ_e(Λ)} e^{-1}(δ^⊥)의 연결 성분
극소 충분 원뿔: 모든 매장에 대해 교집합을 취한 후의 연결 성분

기술적 혁신점

1. 극소 충분 원뿔 이론

Alexeev-Engel의 작은 원뿔 개념 개선
편극화 격자에만 의존하며, 추가 단수 코호몰로지 데이터 불필요
모듈리 스택의 분리성 보장

2. 비틀린 K3 곡면 모듈리 공간

모듈리 스택 M^{n}_{(L,A)}를 구성하며, 그 대상은:

(L,A)-편극화 K3 곡면 (X,j)
n-비틀림 류 α ∈ H^2(X,μ_n)

3. 몫 스택 구성

몫 스택 Q^{n}_{(L,A)}를 정의하며, 그 점은 다음을 대응시킨다:

원시 L-편극화 K3 곡면
Brauer 군의 n-차 류

주요 정리

정리 1.1 (기하학적 성질)

L을 짝수 쌍곡 격자, d = disc(L)이라 하자. 닫힌 부분스택 Z ⊂ P_{(L,A)/ℤ}가 존재하여:

Z는 초특이 궤적과 d의 소인수 위에 지지된다
P_{(L,A)/ℤ} \ Z는 각 점에서 상대 차원 20 - rk(L)의 매끄러운 스택이다

정리 1.2 (분리성)

a를 극소 충분 원뿔이라 하자. 닫힌 부분스택 Z ⊂ P_{(L,a)/ℤ}가 존재하여 초특이 궤적 위에 지지되고, P_{(L,a)/ℤ} \ Z는 Spec ℤ 위에서 분리된다.

정리 1.10 (Brauer 군 유계성)

양의 정수 d, 소수 ℓ 및 계수 19인 격자 L을 고정하자. 상수 B = B(d,ℓ,L)이 존재하여, 차수 d인 수체 k 위의 임의의 K3 곡면 X에 대해, Pic(X̄)이 원시 매장 L ↪ Pic(X̄)을 인정하면: $\#\frac{\text{Br}(X)}{\text{Br}_1(X)}\{\ell^∞\} < B$