Об уравнениях поддельных проективных плоскостей с группой автоморфизмов порядка $21$

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

• ID статьи: 2109.02070
• Название: On equations of fake projective planes with automorphism group of order $21$
• Автор: Лев Борисов (Rutgers University)
• Классификация: math.AG (алгебраическая геометрия)
• Журнал публикации: Épijournal de Géométrie Algébrique, Volume 7 (2023), Article No. 17
• Ссылка на статью: https://arxiv.org/abs/2109.02070

Аннотация

В данной работе исследуются эллиптические поверхности Дольгачева с двойными и тройными слоями. Найдены явные уравнения двух новых пар поддельных проективных плоскостей с 21 автоморфизмом, что завершает поиск явных уравнений поддельных проективных плоскостей с данной группой автоморфизмов. В частности, это включает поддельную проективную плоскость, открытую Дж. Кеумом.

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

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

1. Происхождение теории поддельных проективных плоскостей: Теория поддельных проективных плоскостей берёт начало с известного примера Д. Мамфорда, который построил поверхность общего типа с числами Ходжа, совпадающими с числами обычной проективной плоскости $\mathbb{CP}^2$, однако метод построения не дал явных уравнений.
2. Результаты классификации: После работ многих учёных Д. Картрайт и Т. Штегер завершили классификацию всех поддельных проективных плоскостей, определив ровно 50 пар сопряжённых таких поверхностей, разделённых на 28 классов. Эти поверхности классифицируются как свободные факторы комплексного 2-мерного шара $B^2 = \{(z_1, z_2), |z_1|^2 + |z_2|^2 < 1\}$ некоторыми дискретными арифметическими подгруппами.
3. Вызов явных уравнений: Несмотря на полноту классификации, эта классификация не приводит к полиномиальным уравнениям, так как отсутствуют известные методы построения явных автоморфных форм для этих групп.

Мотивация исследования

1. Потребность в явной форме: В последние годы автор участвовал в нескольких совместных проектах, целью которых является открытие явных полиномиальных уравнений, определяющих поддельные проективные плоскости и связанные с ними поверхности.
2. Роль группы автоморфизмов: Поддельные проективные плоскости с нетривиальной группой автоморфизмов предоставляют возможности для исследования, так как симметрия может упростить вычисления.
3. Завершение классификации: Согласно классификации Картрайта-Штегера, максимальный порядок группы автоморфизмов поддельной проективной плоскости равен 21. Существуют три пары сопряжённых поддельных проективных плоскостей с группой автоморфизмов этого размера. Данная работа направлена на нахождение явных уравнений оставшихся двух пар.

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

1. Построение двух новых пар поддельных проективных плоскостей: Найдены явные уравнения двух пар поддельных проективных плоскостей с 21 автоморфизмом
2. Завершение классификации группы автоморфизмов порядка 21: Включая поддельную проективную плоскость, открытую Кеумом, завершена явная конструкция всех поддельных проективных плоскостей с группой автоморфизмов порядка 21
3. Разработка новых методов построения: Через исследование эллиптических поверхностей Дольгачева установлена систематическая схема построения
4. Предоставление конкретных полиномиальных уравнений: Даны явные представления поддельных проективных плоскостей в $\mathbb{CP}^9$, определённые 84 кубическими уравнениями

Подробное описание методов

Определение задачи

Поиск явных полиномиальных уравнений поддельных проективных плоскостей с группой автоморфизмов порядка 21, в частности:

• $(a = 7, p = 2, \{7\}, D_3^{27})$: поверхность, построенная Кеумом
• $(C_{20}, p = 2, \emptyset, D_3^{27})$: третья поверхность

Основная схема построения

1. Геометрическая установка

Во всех трёх случаях с группой автоморфизмов порядка 21 минимальное разрешение $Y$ факторизации $P^2_{fake}/C_7$ имеет специальную геометрическую структуру:

• Три особенности типа $\frac{1}{3}(1,7)$, переставляемые остаточной группой $C_3$
• Минимальное разрешение содержит три непересекающиеся цепи: $S - B - C$, $S_1 - B_1 - C_1$, $S_2 - B_2 - C_2$
• $Y$ расслаивается на $\mathbb{CP}^1$ с двумя кратными слоями, тремя узловыми слоями и одним слоем типа $I_9$

2. Анализ кольцевой структуры

Рассмотрим кольцо $R = \bigoplus_{a,b \geq 0} H^0(Y, \mathcal{O}(aF + bS))$ и вычислим его градуированные размерности: $\sum_{a,b \geq 0} \dim H^0(Y, \mathcal{O}(aF + bS)) s^b t^a = \frac{1+2st^4 +2st^5 + s^2t^9}{(1-t^2)(1-t^3)(1-s)(1-st^3)}$

Это показывает, что $R$ имеет структуру градуированного свободного модуля порядка 6 над кольцом $\mathbb{C}[u_0, u_1, v_1, v_2]$.

Этапы построения

Этап 1: Построение девятипараметрического семейства

Построение девятипараметрического семейства поверхностей Дольгачева типа $(2,3)$ с рациональным 6-сечением $S$. Общий элемент, помимо двойных и тройных слоёв, имеет 12 различных сингулярных узловых слоёв. Определяющие уравнения имеют вес $3 \times (2,8)$, $3 \times (2,9)$ и $3 \times (2,10)$ девяти квадратичных форм.

Этап 2: Редукция параметров

Построение подсемейств с семью, пятью и двумя параметрами с дополнительными условиями:

• Семипараметрическое: специальный слой содержит прямую
• Пятипараметрическое: специальный слой содержит две непересекающиеся прямые
• Двухпараметрическое: две непересекающиеся прямые с указанными узлами

Этап 3: Редукция на конечные поля

Через поиск выбора параметров на конечных полях найти редукцию поверхности $Y_0$ на конечное поле, проверяя, имеет ли результирующая поверхность в двух специальных точках более серьёзные особенности, чем узлы. Наименьшее успешное простое число — 79.

Этап 4: Поднятие на алгебраические числа

Через пошаговое решение условий по степеням модуля 79 поднять параметры на $p$-адические числа, затем идентифицировать как алгебраические числа, построить $Y_0$ на 12-степенном числовом поле, в итоге реализовать на $\mathbb{Q}(\sqrt{-7})$.

Этап 5: Геометрический анализ и семикратное накрытие

Исследование геометрических характеристик $Y_0$, нахождение кривых $S_1$ и $S_2$ и бирационального действия $C_3$. Построение $P^2_{fake}$ через добавление седьмых корней рациональных функций, вычисление её бидуальной линейной системы.

Этап 6: Идентификация и проверка

Через поиск кручения линейных расслоений идентифицировать конкретную поддельную проективную плоскость, проверить, что она действительно является $(C_{20}, p = 2, \emptyset, D_3^{27})$.

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

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

• Основное программное обеспечение: Mathematica (большинство вычислений)
• Вспомогательное ПО: Magma, Macaulay2, PARI/GP, язык C
• Вычислительные ресурсы: кластер Amarel Университета Rutgers

Ключевые вычислительные вызовы

1. Решение больших систем уравнений: решение совместности более 1600 уравнений с 92 неизвестными
2. Поиск на конечных полях: перебор на $\mathbb{F}_p^5$, требующий параллельных вычислений
3. Проверка гладкости: проверка гладкости 84 кубических полиномов

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

Основные достижения

1. Первая поддельная проективная плоскость: $(C_{20}, p = 2, \emptyset, D_3^{27})$

• Поле определения: $\mathbb{Q}(\sqrt{-7})$
• Вложение: в $\mathbb{CP}^9$ определена 84 кубическими уравнениями
• Проверка: через поиск неприводимых $C_3$-инвариантных элементов подтверждено наличие по крайней мере 21 нетривиального 2-кручения

2. Вторая поддельная проективная плоскость: построение Кеума

• Идентификация: через исключение подтверждена как $(a = 7, p = 2, \{7\}, D_3^{27})$
• Построение: использование второго пятипараметрического семейства через метод перебора
• Проверка: та же процедура проверки подтверждает её как поддельную проективную плоскость

Технические достижения

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

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

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

1. Мамфорд (1979): первый пример поддельной проективной плоскости
2. Картрайт-Штегер (2011): полная теория классификации
3. Серия работ Борисова и др.: систематическое исследование явных уравнений

Место данной работы

• Завершение явной конструкции для случая группы автоморфизмов порядка 21
• Закладывание основы для поиска уравнений поддельной проективной плоскости Мамфорда
• Разработка общего метода построения через поверхности Дольгачева

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

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

1. Успешно найдены явные уравнения всех трёх пар поддельных проективных плоскостей с группой автоморфизмов порядка 21
2. Разработан систематический метод построения на основе эллиптических поверхностей Дольгачева
3. Доказана эффективность метода конечных полей в явных конструкциях алгебраической геометрии

Ограничения

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

Будущие направления

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

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

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

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

Недостатки

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

Влияние

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

Применимые сценарии

Данный метод особенно применим к:

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

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

Статья цитирует ключевые работы в этой области, включая:

• Оригинальную конструкцию Мамфорда
• Работы по классификации Картрайта-Штегера
• Исследования Кеума о конкретных поддельных проективных плоскостях
• Серию предыдущих работ автора об явных конструкциях

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