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

Basic Information

• Paper ID: 2510.11477
• Title: Moduli of lattice-polarized K3 surfaces and boundedness of Brauer groups
• Authors: Danny Bragg, Emma Brakkee, Anthony Várilly-Alvarado
• Classification: math.AG (Algebraic Geometry), math.NT (Number Theory)
• Publication Date: October 14, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.11477

Abstract

Inspired by constructions of Dolgachev and Alexeev-Engel over the complex numbers, this paper defines the moduli stack $\mathcal{M}_{(L,\mathcal{A})/\mathbb{Z}}$ of lattice-polarized K3 surfaces over arbitrary bases, with particular focus on the open locus $\mathcal{P}_{(L,\mathcal{A})/\mathbb{Z}}$ of primitive lattice polarizations. The concept of "minimal ample cone" is introduced to construct smooth separated stacks over appropriate open subsets of $\text{Spec}(\mathbb{Z})$. By adding stratification from classes in $\mathrm{H}^2(X,\mu_n)$, moduli stacks are established whose quotients contain an open substack whose points parametrize pairs of K3 surfaces together with n-torsion classes in the Brauer group. When the rank of lattice L is 19, the corresponding moduli spaces are shown to be unions of quasiprojective curves, and this comparison is used to prove that the genus and projective degree of components grow with parameters, yielding only finitely many points over number fields of bounded degree.

Research Background and Motivation

Problem Background

The theory of moduli spaces of K3 surfaces is a central research area in algebraic geometry. Moduli spaces of lattice-polarized K3 surfaces were originally studied in detail by Dolgachev in the context of mirror symmetry. However, these moduli spaces present technical difficulties, particularly the lack of separatedness, which limits their applications.

Core Problems

1. Separatedness Issue: Traditional moduli spaces of lattice-polarized K3 surfaces are typically not separated, leading to poor geometric properties
2. Arithmetic Applications: Need to construct moduli spaces over non-algebraically closed fields such as number fields to study arithmetic properties of K3 surfaces
3. Uniform Boundedness of Brauer Groups: Prove uniform boundedness of Brauer groups of K3 surfaces in specific families

Research Motivation

• Construct lattice-polarized K3 surface moduli spaces with good geometric properties
• Generalize the theory from the complex numbers to arbitrary bases
• Provide moduli-theoretic tools for arithmetic research on K3 surfaces
• Establish new methods for proving uniform boundedness of Brauer groups

Core Contributions

1. Constructed moduli stacks of lattice-polarized K3 surfaces over arbitrary bases, generalizing classical theory over the complex numbers
2. Introduced the concept of "minimal ample cone", improving upon Alexeev-Engel's "small cone" theory
3. Proved good geometric properties of moduli stacks, including smoothness, separatedness, and local finite type
4. Established twisted K3 surface moduli spaces with stratification, connecting moduli theory with Brauer group theory
5. Provided a new proof of the Cadoret-Charles theorem on uniform boundedness of K3 surface Brauer groups
6. Established connections between moduli spaces and orthogonal modular curves, utilizing arithmetic Fuchsian group theory

Detailed Methodology

Problem Setup

Study moduli spaces of lattice-polarized K3 surfaces, specifically:

• Input: Even lattice L and subset A ⊂ L_ℝ
• Output: Moduli stack M_{(L,A)/S} parametrizing (L,A)-polarized K3 surfaces
• Constraint: Construct moduli spaces with good geometric properties

Moduli Stack Construction

1. Basic Moduli Stack Definition

For an even hyperbolic lattice L and subset A ⊂ L_ℝ, define the moduli stack M_{(L,A)/S} whose objects consist of:

• K3 surface families f: X → T
• Lattice polarization j: L_T ↪ Pic_{X/T}
• Satisfying (L,A)-polarization conditions

2. Primitive Polarization Substack

Define P_{(L,A)/S} ⊂ M_{(L,A)/S} as the open substack of primitive polarizations, where j is a primitive embedding on every geometric fiber.

3. Minimal Ample Cone

For a primitive embedding e: L ↪ Λ (K3 lattice), define:

• Small ample cone: Connected component of C(L) \ ⋃_{δ∈Δ_e(Λ)} e^{-1}(δ^⊥)
• Minimal ample cone: Connected component after intersecting over all embeddings

Technical Innovations

1. Minimal Ample Cone Theory

• Improves upon Alexeev-Engel's small cone concept
• Depends only on the polarization lattice, requiring no additional singular cohomology data
• Ensures separatedness of the moduli stack

2. Twisted K3 Surface Moduli Spaces

Construct moduli stack M^{n}_{(L,A)} with objects including:

• (L,A)-polarized K3 surface (X,j)
• n-torsion class α ∈ H^2(X,μ_n)

3. Quotient Stack Construction

Define quotient stack Q^{n}_{(L,A)} whose points correspond to:

• Primitively L-polarized K3 surfaces
• n-torsion classes in the Brauer group

Main Theorems

Theorem 1.1 (Geometric Properties)

Let L be an even hyperbolic lattice with d = disc(L). There exists a closed substack Z ⊂ P_{(L,A)/ℤ} such that:

1. Z is supported on the supersingular locus and primes dividing d
2. P_{(L,A)/ℤ} \ Z is a smooth stack of relative dimension 20 - rk(L) at each point

Theorem 1.2 (Separatedness)

Let a be the minimal ample cone. There exists a closed substack Z ⊂ P_{(L,a)/ℤ} supported on the supersingular locus such that P_{(L,a)/ℤ} \ Z is separated over Spec ℤ.

Theorem 1.10 (Brauer Group Boundedness)

Fix positive integers d, prime ℓ, and lattice L of rank 19. There exists a constant B = B(d,ℓ,L) such that for any K3 surface X over a number field k of degree d, if Pic(X̄) admits a primitive embedding L ↪ Pic(X̄), then: $\#\frac{\text{Br}(X)}{\text{Br}_1(X)}\{\ell^∞\} < B$

Experimental Setup and Results

Complex Moduli Space Analysis

When L has rank 19, it is proved that Q^{(n)}_{(L,a),ℂ} is a union of quasiprojective curves, each isomorphic to a quotient of the upper half-plane by a discrete subgroup of SL_2(ℝ).

Genus Growth Properties

Using results of Bergeron-Clozel and Long-Maclachlan-Reid, it is proved that:

Corollary 6.11: Fix a number field k and positive integer d. There exists n_0 such that for all m ≥ n_0, the space Q^{(ℓ^m)}_{(L,a)} has only finitely many points over extensions of degree ≤ d.

Arithmetic Applications

Provides a new proof of the Cadoret-Charles theorem, which states that the ℓ-primary torsion of Brauer groups of K3 surfaces varying in 1-dimensional lattice-polarized families is uniformly bounded.

Related Work

Classical Theory

• Dolgachev (1996): Pioneering work on moduli spaces of lattice-polarized K3 surfaces over the complex numbers
• Alexeev-Engel (2023): Small cone theory and compactification of moduli spaces
• Rizov (2006): Moduli stacks of polarized K3 surfaces in mixed characteristic

Brauer Group Theory

• Skorobogatov-Zarhin (2008): Finiteness of Brauer groups of K3 surfaces
• Cadoret-Charles (2020): Uniform boundedness results
• Orr-Skorobogatov (2018): Finiteness theorems for CM K3 surfaces

Moduli Theory Foundations

• Keel-Mori (1997): Coarse moduli space theory
• Orthogonal Modular Forms Theory: Work of Bergeron-Clozel and others

Conclusions and Discussion

Main Conclusions

1. Successfully constructed lattice-polarized K3 surface moduli stacks with good properties
2. Established deep connections between moduli theory and arithmetic of Brauer groups
3. Provided new tools for studying arithmetic properties of K3 surfaces

Limitations

1. Some results require excluding the supersingular locus
2. Separatedness results may require working away from certain primes
3. Rank restrictions (e.g., rk(L) ≤ 10 condition in Theorem 2.22)

Future Directions

1. Generalization to higher-dimensional Calabi-Yau varieties
2. Study of degeneration behavior in special fibers
3. Further connections with Hodge theory
4. Additional applications in arithmetic geometry

In-Depth Evaluation

Strengths

1. Theoretical Depth: Successfully generalizes classical theory from the complex numbers to the general setting
2. Technical Innovation: Introduction of minimal ample cone concept resolves the separatedness problem
3. Application Value: Provides powerful tools for arithmetic research on K3 surfaces
4. Proof Techniques: Skillfully combines algebraic geometry, number theory, and modular forms theory

Weaknesses

1. Technical Complexity: Construction involves substantial technical details that may affect readability
2. Scope of Applicability: Some results have restrictions on the rank of the lattice
3. Computational Complexity: Practical computation of moduli spaces may face difficulties

Impact

1. Field Contribution: Makes important contributions to K3 surface moduli space theory
2. Methodology: Demonstrates the power of moduli-theoretic methods in arithmetic geometry
3. Future Research: Likely to inspire further related research

Applicable Scenarios

1. Classification and parametrization problems for K3 surfaces
2. Arithmetic research on Brauer groups
3. Representation theory of modular forms and orthogonal groups
4. General research in arithmetic algebraic geometry

References

The paper contains rich references spanning multiple fields including algebraic geometry, number theory, and modular forms theory, particularly:

• Dolgachev's work on mirror symmetry
• Alexeev-Engel's compactification theory
• Cadoret-Charles uniform boundedness results
• Classical theory of orthogonal groups and modular forms

Overall Assessment: This is a high-quality algebraic geometry paper that successfully generalizes classical theory to more general settings and achieves important progress in arithmetic research on K3 surfaces. The paper demonstrates outstanding technical depth and application value, with significant implications for the development of related fields.