Сравнение представлений Галуа в остаточно приводимом случае

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

• ID статьи: 2510.12956
• Название: Comparing Galois representations in the residually reducible case
• Авторы: Nuno Freitas, Ignasi Sánchez-Rodríguez
• Классификация: math.NT (теория чисел)
• Дата публикации: 14 октября 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2510.12956v1

Аннотация

Пусть $n \geq 2$ и $p$ — простое число, $K$ — числовое поле. Рассмотрим два представления Галуа $\rho_1, \rho_2 : \text{Gal}(\overline{K}/K) \to \text{GL}_n(\mathbb{Z}_p)$, остаточные образы которых являются $p$-группами. В данной работе объясняется и реализуется алгоритм, который делает результат Луи Гренье эффективным для определения того, являются ли полупростые части $\rho_1$ и $\rho_2$ изоморфными. В качестве приложения доказано, что неприводимое представление $\rho: G_{\mathbb{Q}(\sqrt{-3})} \to \text{GL}_2(\mathbb{Z}_3$, неразветвленное вне 3, полностью определяется характеристическими многочленами элементов Фробениуса в пяти малых нормовых простых числах. Для дополнительной проверки алгоритм применяется к 2-адическому примеру, изученному Гренье, и полностью автоматизированным способом восстанавливаются результаты Гренье.

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

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

Данное исследование касается проблемы сравнения представлений Галуа, которая является центральной в алгебраической теории чисел. Согласно фундаментальной работе Фалтингса, два непрерывных представления $\rho_1, \rho_2 : G_K \to \text{GL}_n(E)$ неразветвленные вне множества $S$ изоморфны тогда и только тогда, когда они имеют одинаковые следы в элементах Фробениуса конечного множества $T$.

Ограничения существующих методов

1. Метод Фалтингса-Серра: применим к представлениям со значениями в $\text{GL}_2(\mathbb{Q}_2)$ и абсолютно неприводимым остаточным образом
2. Расширение Ливне: рассматривает 2-адические 2-мерные представления с остаточным образом, являющимся 2-группой
3. Обобщение Гренье: распространяется на произвольные $p$-адические $n$-мерные представления, но по-прежнему требует, чтобы остаточный образ был $p$-группой

Основное ограничение этих методов состоит в том, что даже при малых $n$, $p$ и $S$ требуется построение больших числовых полей, что делает вычисления невыполнимыми.

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

Основная мотивация данной работы:

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

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

1. Реализация алгоритма: реализован вариант теоремы Гренье (теорема 4.1), обеспечивающий полностью автоматизированный алгоритм
2. Теоретические улучшения: предложен метод построения меньшего расширения поля $K_S$, значительно снижающий вычислительную сложность
3. Конкретные результаты приложений:
   • Доказаны конкретные результаты для 3-адического случая (следствие 1.1)
   • Восстановлены результаты Гренье для 2-адического случая (следствие 1.2)
4. Доказательство модульности: первое успешное применение 3-адического метода типа Фалтингса-Серра для доказательства модульности в остаточно приводимом случае
5. Открытая реализация: предоставлен полный код на Magma

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

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

Входные данные: два непрерывных представления Галуа $\rho_1, \rho_2 : G_K \to \text{GL}_n(E)$, неразветвленные вне множества $S$, с остаточными образами, являющимися $p$-группами Выходные данные: определение того, являются ли полупростые части $\rho_1$ и $\rho_2$ изоморфными Ограничения: $n \geq 2$, $p$ — простое число, $K$ — числовое поле

Архитектура основного алгоритма

1. Улучшенное построение расширения поля

Традиционное построение $K_S$ требует $\lambda + \varepsilon + m$ слоев, где:

• $\lambda$ удовлетворяет $2^\lambda \geq r = N^2(1+\varepsilon)^{N(N-1)/2}$
• $\varepsilon = 0$ (если $p \neq 2$) или $\varepsilon = 1$ (если $p = 2$)
• $m$ удовлетворяет $p^m \geq n$

Предложенный в работе улучшенный метод:

K₀ = K
Для i ≥ 0:
  Kᵢ₊₁ = максимальное p-элементарное расширение Kᵢ, удовлетворяющее:
    1. неразветвленность вне S
    2. Kᵢ₊₁/K — расширение Галуа
    3. показатель Gal(Kᵢ₊₁/K) делит pᵐ
Если для некоторого i < λ + ε + m имеем Kᵢ₊₁ = Kᵢ, то остановиться и положить K_S = Kᵢ

2. Основная теорема (теорема 4.1)

Пусть $\Sigma \subset G_K$ — множество, определим $\Sigma' = \{\sigma^k : \sigma \in \Sigma, k \in \mathbb{Z}_{\geq 0}\}$. Если:

1. $\Sigma'$ покрывает образующие каждой максимальной циклической подгруппы $\text{Gal}(K_S/K)$
2. для всех $\sigma \in \Sigma$ выполняется $\text{CharPoly}(\rho_1(\sigma)) = \text{CharPoly}(\rho_2(\sigma))$

то полупростые части $\rho_1$ и $\rho_2$ изоморфны.

3. Детали реализации алгоритма

Часть A: построение первых m слоев

K₀ = K
Для 0 ≤ i ≤ m-1:
  Kᵢ₊₁ = Kᵢ(ᵖ√α₁, ..., ᵖ√αₐ)
  где αᵢ — образующие Selₚ(Kᵢ, S)

Часть B: построение последующих слоев (i ≥ m)

1. Вычисление подмодулей Gal(Kᵢ/K): вычисляются все подмодули Галуа группы Selₚ(Kᵢ, S)
2. Исключение одномерных подмодулей: проверяется условие остаточной степени $f(Q|Q \cap O_K) \leq p^m$
3. Исключение многомерных подмодулей: рекурсивное применение леммы 3.4
4. Построение поля Kᵢ₊₁: выбирается единственный подмодуль, удовлетворяющий условиям

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

1. Оптимизация памяти: избегание хранения всех подмодулей, использование индуктивного метода вычисления релевантных подмодулей
2. Граница остаточной степени: контроль остаточной степени $\leq p^m$ для ограничения размера расширения поля
3. Критерий ранней остановки: теорема 8.1 обеспечивает естественное условие остановки алгоритма
4. Избежание GRH: в специальных случаях возможно избежать обобщенной гипотезы Римана

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

Вычислительная среда

• Программное обеспечение: Magma V2.28-20
• Аппаратное обеспечение: 4-поточная конфигурация
• Код: полная реализация доступна на GitHub

Тестовые случаи

Случай 1: пример Гренье

• Параметры: $n = 3$, $p = 2$, $K = \mathbb{Q}$, $S = \{2\}$
• Количество слоев расширения: $K_S = K_3$ (расширение степени 64)
• Время выполнения: примерно 30 часов (при условии GRH)

Случай 2: 3-адическое приложение

• Параметры: $n = 2$, $p = 3$, $K = \mathbb{Q}(\sqrt{-3})$, $S = \{q_3\}$
• Количество слоев расширения: $K_S = K_2$ (расширение степени 54)
• Время выполнения: примерно 17 часов (при условии GRH)

Метрики оценки

1. Корректность: согласованность с известными теоретическими результатами
2. Эффективность: время вычисления и использование памяти
3. Практичность: возможность обработки реальных задач модульности

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

Основные результаты

Следствие 1.1 (3-адический случай)

Пусть $K = \mathbb{Q}(\sqrt{-3})$, $\rho_1, \rho_2 : G_K \to \text{GL}_2(\mathbb{Z}_3)$ — непрерывные представления, неразветвленные вне $q_3$, с одинаковым определителем и определителем, тривиальным по модулю 3. Тогда $\rho_1$ и $\rho_2$ имеют изоморфные полупростые части тогда и только тогда, когда для всех $t \in T$, где $T = \{2O_K, p_7^1, p_7^2, p_{19}^*, p_{73}^*\}$ элементы $\rho_1(\text{Frob}_t)$ и $\rho_2(\text{Frob}_t)$ имеют одинаковые следы.

Следствие 1.2 (восстановление результата Гренье)

Для $n = 3$ или $n = 4$, $\rho_1, \rho_2 : G_{\mathbb{Q}} \to \text{GL}_n(\mathbb{Z}_2)$ — непрерывные представления, неразветвленные вне 2, с остаточным образом, являющимся 2-группой. Множества простых чисел $T = \{5,7,11,17,23,31\}, \quad T' = \{5,7,11,17,19,23,31,73,137,257,337\}$ могут быть использованы для определения изоморфизма.

Приложения к модульности

Абелева поверхность с проводником 37

Через алгоритм проверена модульность якобиана кривой рода 2 с меткой LMFDB 2187.a.6561.1.

Абелева поверхность с проводником 3¹⁰

Проверена модульность якобиана кривой рода 2 с меткой LMFDB 59049.a.177147.1.

Вычислительная эффективность

1. Использование памяти: сокращение с 52 ГБ до 600 МБ (благодаря оптимизированному вычислению подмодулей)
2. Размер расширения поля: значительно меньше теоретических границ
3. Практическая осуществимость: первая реализация автоматизированного применения 3-адического метода Фалтингса-Серра

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

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

1. Фалтингс (1983): установление основной теоретической базы
2. Серр: предложение вычислительного метода для случая GL₂(ℚ₂)
3. Ливне (1987): расширение на 2-адические 2-мерные остаточно приводимые случаи
4. Гренье (2007): обобщение на произвольные $p$-адические $n$-мерные случаи
5. Дуань (2021): методы вариантов, использующие специальные структуры

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

Данная работа является первой полностью автоматизированной реализацией общей теории Гренье и успешно применяется к реальным задачам модульности.

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

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

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

Ограничения

1. Зависимость от GRH: большинство вычислений по-прежнему требуют предположения обобщенной гипотезы Римана
2. Ограничения параметров: применимо только к представлениям с остаточным образом, являющимся $p$-группой
3. Вычислительная сложность: для больших параметров остается вычислительно неосуществимо

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

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

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

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

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

Недостатки

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

Влияние

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

Сценарии применения

1. Проверка модульности: доказательство модульности эллиптических кривых и абелевых многообразий
2. Сравнение представлений Галуа: определение изоморфизма представлений при специфических параметрах
3. Теоретическая верификация: вычислительная проверка известных результатов

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

Статья цитирует 17 важных работ, включая фундаментальные работы Фалтингса, теоретические вклады Гренье и развитие связанных вычислительных методов. Особенно важны оригинальная теория Гренье (2007) и тестовые примеры, предоставленные ван Геменом и Топом (1994).