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-поверхностей и ограниченность групп Брауэра

Основная информация

  • 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 (теория чисел)
  • Дата публикации: 14 октября 2025 г. (препринт arXiv)
  • Ссылка на статью: https://arxiv.org/abs/2510.11477

Аннотация

Вдохновлённые конструкциями Dolgachev и Alexeev-Engel над комплексными числами, авторы определяют стек модулей решёточно-поляризованных K3-поверхностей M(L,A)/Z\mathcal{M}_{(L,\mathcal{A})/\mathbb{Z}} над произвольным базисом, с особым акцентом на открытый локус примитивной поляризации P(L,A)/Z\mathcal{P}_{(L,\mathcal{A})/\mathbb{Z}}. Вводится концепция "минимального обильного конуса" и строится гладкий отделимый стек на подходящем открытом подмножестве Spec(Z)\text{Spec}(\mathbb{Z}). Путём добавления слоистой структуры из классов в H2(X,μn)\mathrm{H}^2(X,\mu_n) устанавливаются стеки модулей, чьи фактор-стеки содержат открытый подстек, точки которого параметризуют пары K3-поверхностей и n-кручение в группе Брауэра. Когда ранг решётки L равен 19, доказывается, что соответствующее пространство модулей является объединением квазипроективных кривых, и это сравнение используется для доказательства того, что род и проективная степень компонент растут с параметром, откуда следует конечность точек на полях ограниченной степени.

Исследовательский контекст и мотивация

Предыстория проблемы

Теория пространств модулей K3-поверхностей является центральной областью алгебраической геометрии. Пространства модулей решёточно-поляризованных K3-поверхностей первоначально были подробно изучены Dolgachev в контексте зеркальной симметрии. Однако эти пространства модулей сталкиваются с техническими трудностями, в частности отсутствием отделимости, что ограничивает их применение.

Основные проблемы

  1. Проблема отделимости: традиционные пространства модулей решёточно-поляризованных K3-поверхностей обычно не являются отделимыми, что приводит к плохим геометрическим свойствам
  2. Арифметические приложения: необходимо построить пространства модулей над неалгебраически замкнутыми полями (такими как числовые поля) для изучения арифметических свойств K3-поверхностей
  3. Равномерная ограниченность групп Брауэра: доказать равномерную ограниченность групп Брауэра K3-поверхностей в специфических семействах

Исследовательская мотивация

  • Построить пространства модулей решёточно-поляризованных K3-поверхностей с хорошими геометрическими свойствами
  • Обобщить теорию над комплексными числами на общий базис
  • Предоставить модульные инструменты для арифметических исследований K3-поверхностей
  • Разработать новый метод доказательства равномерной ограниченности групп Брауэра

Основные вклады

  1. Построены стеки модулей решёточно-поляризованных K3-поверхностей над произвольным базисом, обобщая классическую теорию над комплексными числами
  2. Введена концепция "минимального обильного конуса", улучшающая теорию "малых конусов" Alexeev-Engel
  3. Доказаны хорошие геометрические свойства стеков модулей, включая гладкость, отделимость и локальную конечность типа
  4. Установлены скрученные пространства модулей K3-поверхностей со слоистой структурой, связывающие модульную теорию и теорию групп Брауэра
  5. Дано новое доказательство теоремы Cadoret-Charles о равномерной ограниченности групп Брауэра K3-поверхностей
  6. Установлена связь пространств модулей с ортогональными модульными кривыми, используя теорию арифметических фуксовых групп

Детальное описание методов

Постановка задачи

Исследование пространств модулей решёточно-поляризованных 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-поверхностям
  • n-кручению в группе Брауэра

Основные теоремы

Теорема 1.1 (Геометрические свойства)

Пусть L — чётная гиперболическая решётка, d = disc(L). Существует замкнутый подстек Z ⊂ P_{(L,A)/ℤ} такой, что:

  1. Z сосредоточен на суперсингулярном локусе и простых делителях d
  2. P_{(L,A)/ℤ} \ Z — гладкий стек относительной размерности 20 - rk(L) в каждой точке

Теорема 1.2 (Отделимость)

Пусть a — минимальный обильный конус. Существует замкнутый подстек Z ⊂ P_{(L,a)/ℤ}, сосредоточенный на суперсингулярном локусе, такой, что P_{(L,a)/ℤ} \ Z отделим над Spec ℤ.

Теорема 1.10 (Ограниченность группы Брауэра)

Зафиксируем положительное целое число d, простое число ℓ и решётку L ранга 19. Существует константа B = B(d,ℓ,L) такая, что для любой K3-поверхности X над числовым полем k степени d, если Pic(X̄) допускает примитивное вложение L ↪ Pic(X̄), то: #Br(X)Br1(X){ℓ∞}<B\#\frac{\text{Br}(X)}{\text{Br}_1(X)}\{\ell^∞\} < B

Экспериментальная установка и результаты

Анализ комплексного пространства модулей

Когда ранг L равен 19, доказывается, что Q^{(n)}_{(L,a),ℂ} является объединением квазипроективных кривых, каждая из которых изоморфна фактору верхней полуплоскости по дискретной подгруппе SL_2(ℝ).

Свойства роста рода

Используя результаты Bergeron-Clozel и Long-Maclachlan-Reid, доказывается:

Следствие 6.11: Зафиксируем числовое поле k и положительное целое число d. Существует n_0 такое, что для всех m ≥ n_0 пространство Q^{(ℓ^m)}_{(L,a)} имеет только конечное число точек над расширениями степени ≤ d.

Арифметические приложения

Дано новое доказательство теоремы Cadoret-Charles, которая утверждает, что ℓ-примарное кручение группы Брауэра K3-поверхностей, варьирующихся в одномерном решёточно-поляризованном семействе, равномерно ограничено.

Связанные работы

Классическая теория

  • Dolgachev (1996): пионерская работа о пространствах модулей решёточно-поляризованных K3-поверхностей над комплексными числами
  • Alexeev-Engel (2023): теория малых конусов и компактификация пространств модулей
  • Rizov (2006): стеки модулей поляризованных K3-поверхностей в смешанной характеристике

Теория групп Брауэра

  • Skorobogatov-Zarhin (2008): конечность групп Брауэра K3-поверхностей
  • Cadoret-Charles (2020): результаты о равномерной ограниченности
  • Orr-Skorobogatov (2018): теоремы конечности для K3-поверхностей CM-типа

Основы модульной теории

  • Keel-Mori (1997): теория грубых пространств модулей
  • Теория ортогональных модульных форм: работы Bergeron-Clozel и других

Заключение и обсуждение

Основные выводы

  1. Успешно построены стеки модулей решёточно-поляризованных K3-поверхностей с хорошими свойствами
  2. Установлена глубокая связь между модульной теорией и арифметикой групп Брауэра
  3. Предоставлены новые инструменты для изучения арифметических свойств K3-поверхностей

Ограничения

  1. Некоторые результаты требуют исключения суперсингулярного локуса
  2. Результаты об отделимости могут требовать работы вне простых делителей
  3. Ограничения на ранг (например, условие rk(L) ≤ 10 в теореме 2.22)

Направления будущих исследований

  1. Обобщение на многомерные многообразия Калаби-Яу
  2. Изучение поведения вырождения на специальных слоях
  3. Дальнейшие связи с теорией Ходжа
  4. Дополнительные приложения в арифметической геометрии

Глубокая оценка

Преимущества

  1. Теоретическая глубина: успешное обобщение классической теории над комплексными числами на общий случай
  2. Технические инновации: введение концепции минимального обильного конуса решает проблему отделимости
  3. Прикладная ценность: предоставляет мощные инструменты для арифметических исследований K3-поверхностей
  4. Техники доказательства: искусное сочетание алгебраической геометрии, теории чисел и теории модульных форм

Недостатки

  1. Техническая сложность: построение включает большое количество технических деталей, что может повлиять на читаемость
  2. Область применения: некоторые результаты имеют ограничения на ранг решётки
  3. Вычислительная сложность: практическое вычисление пространств модулей может быть затруднено

Влияние

  1. Вклад в область: важный вклад в теорию пространств модулей K3-поверхностей
  2. Методология: демонстрирует мощь модульных методов в арифметической геометрии
  3. Последующие исследования: может вдохновить дальнейшие связанные исследования

Области применения

  1. Задачи классификации и параметризации K3-поверхностей
  2. Арифметические исследования групп Брауэра
  3. Теория модульных форм и представления ортогональных групп
  4. Общие исследования в арифметической алгебраической геометрии

Библиография

Статья содержит богатую библиографию, охватывающую важные работы из нескольких областей алгебраической геометрии, теории чисел и теории модульных форм, в частности:

  • Работы Dolgachev о зеркальной симметрии
  • Теория компактификации Alexeev-Engel
  • Результаты о равномерной ограниченности Cadoret-Charles
  • Классическая теория ортогональных групп и модульных форм

Общая оценка: Это высококачественная статья по алгебраической геометрии, успешно обобщающая классическую теорию на более общие условия и достигающая важных результатов в арифметических исследованиях K3-поверхностей. Техническая глубина и прикладная ценность статьи весьма значительны и имеют важное значение для развития соответствующих областей.