2025-11-15T16:52:12.119164

Terminalizations of quotients of compact hyperkähler manifolds by induced symplectic automorphisms

Bertini, Grossi, Mauri et al.
Terminalizations of symplectic quotients are sources of new deformation types of irreducible symplectic varieties. We classify all terminalizations of quotients of Hilbert schemes of K3 surfaces or of generalized Kummer varieties, by finite groups of symplectic automorphisms induced from the underlying K3 or abelian surface. We determine their second Betti number and the fundamental group of their regular locus. In the Kummer case, we prove that the terminalizations have quotient singularities, and determine the singularities of their universal quasi-étale cover. In particular, we obtain at least nine new deformation types of irreducible symplectic varieties of dimension four. Finally, we compare our deformation types with those in [FM21; Men22]. The smooth terminalizations are only three and of K$3^{[n]}$-type, and surprisingly they all appeared in different places in the literature [Fuj83; Kaw09; Flo22].
academic

Терминализации факторов компактных гиперкэлеровых многообразий индуцированными симплектическими автоморфизмами

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

  • ID статьи: 2401.13632
  • Название: Terminalizations of quotients of compact hyperkähler manifolds by induced symplectic automorphisms
  • Авторы: Валерия Бертини, Аннализа Гросси, Мирко Маури, Энрика Маццон
  • Классификация: math.AG (алгебраическая геометрия)
  • Журнал публикации: Épijournal de Géométrie Algébrique, Том 9 (2025), Статья № 14
  • Ссылка на статью: https://arxiv.org/abs/2401.13632

Аннотация

В данной работе исследуются терминализации факторов компактных гиперкэлеровых многообразий, которые являются важным источником новых деформационных типов неприводимых симплектических многообразий. Авторы полностью классифицировали все терминализации факторов схем Гильберта K3-поверхностей или обобщённых многообразий Куммера, полученные действием конечных групп симплектических автоморфизмов, индуцированных из базовой K3-поверхности или абелевой поверхности. В статье определены второе число Бетти терминализаций и фундаментальная группа регулярного геометрического места. В случае Куммера доказано, что терминализации имеют факторные особенности и определена структура особенностей универсального квазиэтального накрытия. В частности, получены по крайней мере восемь новых четырёхмерных деформационных типов неприводимых симплектических многообразий.

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

Постановка проблемы

  1. Проблема классификации неприводимых симплектических многообразий: В классификации многообразий с нулевой размерностью Кодаиры неприводимые симплектические многообразия играют ключевую роль. Согласно теореме разложения Бовиля-Богомолова, любое компактное кэлерово пространство с численно тривиальным каноническим классом и klt-особенностями допускает квазиэтальное накрытие, разложимое в произведение комплексного тора, строгого многообразия Калаби-Яу или неприводимого симплектического многообразия.
  2. Редкость известных примеров: В настоящее время известны только три деформационных типа гладких неприводимых симплектических многообразий в каждой размерности:
    • Схема Гильберта n точек S^n на K3-поверхности S
    • Обобщённое многообразие Куммера K_n(A), связанное с абелевой поверхностью A
    • Два исключительных примера, построенные О'Грэди в размерностях 6 и 10
  3. Методы конструирования новых примеров: Терминализация симплектических факторов может порождать дополнительные примеры, что и мотивирует данное исследование.

Научная значимость

  • Предполагается, что число деформационных типов неприводимых симплектических многообразий конечно в каждой размерности
  • Поиск новых неприводимых симплектических многообразий является центральной проблемой в этой области
  • Метод терминализации обеспечивает систематический подход к конструированию

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

  1. Полная классификация: Классифицированы все терминализации факторов X/G, где G — конечная группа индуцированных симплектических автоморфизмов, действующая на S^n или K_n(A)
  2. Вычисление топологических инвариантов: Определены групповые формулы для второго числа Бетти b_2(Y) терминализации Y и фундаментальной группы π_1(Y^{reg}) регулярного геометрического места
  3. Новые деформационные типы: Получены по крайней мере восемь новых четырёхмерных деформационных типов неприводимых симплектических многообразий
  4. Анализ структуры особенностей: Доказано, что терминализации в случае Куммера имеют факторные особенности, и детально проанализированы типы особенностей
  5. Полная характеризация гладких терминализаций: Доказано, что только три случая порождают гладкие терминализации, и все они имеют тип K3^n

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

Критерии классификации

Авторы предложили три ключевых предположения для эффективной классификации:

Предположение 1.1: Действие G таково, что X/G имеет строго канонические особенности, что эквивалентно:

  • Сингулярное геометрическое место X/G имеет коразмерность 2
  • Некоторый элемент G фиксирует подмногообразие коразмерности 2 в X

Предположение 1.2: Автоморфизмы в X, фиксирующие геометрическое место коразмерности 2, порождают всю группу G

Предположение 1.3: Группа G действует на S^n или K_n(A) индуцированно из автоморфизмов базовой K3-поверхности или абелевой поверхности

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

Теорема 1.4: Пусть G — конечная группа индуцированных симплектических автоморфизмов на S^m или K_n(A). Тогда X/G имеет строго канонические особенности тогда и только тогда, когда:

  • m=2 или n=2,3, и G содержит инволюцию
  • n=2, и G содержит специальный автоморфизм порядка 3
  • n=3, и G содержит специальную инволюцию

Теорема 1.6: Формулы для второго и третьего чисел Бетти терминализации Y:

b_2(Y) = rk(L^G) + N_2 + 2N_3 - ε
IH^3(Y,ℚ) ≅ H^3(X,ℚ)^G

где N_i — число компонент сингулярного геометрического места с трансверсальными особенностями A_.

Технические инновации

  1. Геометрическая редукция: Редукция проблемы терминализации к анализу геометрии неподвижных геометрических мест
  2. Групповые методы: Характеризация топологических инвариантов через классы сопряжённости и стабилизаторы групп
  3. Локально-глобальный принцип: Анализ глобальных терминализаций через локальные модели особенностей

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

Область классификации

  • Случай схем Гильберта: Все индуцированные группы симплектических автоморфизмов на S^2
  • Случай Куммера: Все индуцированные группы симплектических автоморфизмов на K_2(A) и K_3(A)

Вычислительные инструменты

  • Использование программного обеспечения GAP для групповых вычислений
  • Применение теории пересечений в алгебраической геометрии
  • Использование теории деформаций для определения эквивалентности

Базы для сравнения

Сравнение с результатами из следующих работ:

  • Многообразия Фуджики Men22
  • Циклические факторы Фу-Менета FM21
  • Классические многообразия типа K3^n

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

Основные результаты классификации

Таблица 4 (случай S^2): Перечислены 68 различных групповых действий, диапазон b_2(Y) от 5 до 23

Таблица 7 (случай K_2(A)): Перечислены все возможные групповые действия с определением соответствующих топологических инвариантов

Таблица 9 (случай K_2(A) с односвязным регулярным геометрическим местом): Детальный анализ 10 случаев с числами Бетти, классами Чёрна и особенностями

Гладкие терминализации

Теорема 1.12: Только три случая порождают гладкие терминализации:

  1. X = S^2, G ≅ C_2^4 Fuj83
  2. X = K_2(A), G ≅ C_3^3 Kaw09
  3. X = K_3(A), G ≅ C_2^5 Flo24

Распределение второго числа Бетти

  • Случай S^2: b_2 от 5 до 23
  • Случай K_2(A): b_2 в основном в диапазоне 5-11
  • Обнаружены пропуски для b_2 = 9,12,13,15

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

Историческое развитие

  • Фуджики (1983): Первое исследование терминализаций факторов квадрата K3-поверхности
  • Менет (2022): Завершение классификации многообразий Фуджики, обнаружение 29 четырёхмерных сингулярных симплектических орбифолдов
  • Фу-Менет (2021): Исследование терминализаций циклических факторов

Позиционирование вклада данной работы

  • Дополнение важной части программы классификации Менета
  • Предоставление систематического группового метода
  • Обнаружение нескольких новых деформационных типов

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

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

  1. Завершена полная классификация терминализаций факторов по индуцированным симплектическим автоморфизмам
  2. Установлены групповые формулы для топологических инвариантов
  3. Обнаружены по крайней мере 8 новых четырёхмерных деформационных типов неприводимых симплектических многообразий
  4. Доказано свойство факторных особенностей терминализаций в случае Куммера

Ограничения

  1. Ограничение на индуцированные автоморфизмы; неиндуцированный случай более сложен
  2. Определение некоторых деформационных эквивалентностей требует дальнейшего совершенствования
  3. Обобщение на многомерный случай требует новых методов

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

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

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

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

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

Недостатки

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

Влияние

  • Предоставление систематического метода для классификации неприводимых симплектических многообразий
  • Возможное вдохновение для более общей теории терминализаций
  • Важное влияние на теорию пространств модулей в алгебраической геометрии

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

  • Конструирование и классификация неприводимых симплектических многообразий
  • Исследование симплектических факторов
  • Приложения в гиперкэлеровой геометрии

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

Основные цитируемые работы включают:

  • Bea83 Классические работы Бовиля о кэлеровых многообразиях
  • Men22 Классификация гиперкэлеровых орбифолдов Менета
  • FM21 Исследование чисел Бетти четырёхмерных симплектических многообразий Фу-Менета
  • O'G99, O'G03 Исключительные симплектические многообразия, построенные О'Грэди

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