Делимость коэффициентов модулярных многочленов

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

• ID статьи: 2509.06423
• Название: Делимость коэффициентов модулярных многочленов
• Автор: Florian Breuer
• Классификация: math.NT (теория чисел)
• Дата публикации: 8 сентября 2025 г. (препринт arXiv, пересмотрено 16 октября 2025 г.)
• Ссылка на статью: https://arxiv.org/abs/2509.06423

Аннотация

Пусть $N>1$, и пусть $\Phi_N(X,Y)\in\mathbb{Z}[X,Y]$ — модулярный многочлен, который обращается в нуль в парах $j$-инвариантов $(j_1,j_2)$ эллиптических кривых тогда и только тогда, когда эти кривые связаны циклической изогенией степени $N$. В данной работе исследуются свойства делимости коэффициентов многочлена $\Phi_N(X+J, Y+J)$ для специфических алгебраических чисел $J$ (в частности, $J=0$ и других сингулярных модулей). Установлено, что эти коэффициенты обладают высокой делимостью на малые простые числа $p$, где $J$ является суперсингулярным.

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

1. Предпосылки проблемы: Модулярные многочлены $\Phi_N(X,Y)$ являются важными объектами в теории чисел и алгебраической геометрии, кодирующими информацию об изогенических соотношениях между эллиптическими кривыми. Хотя коэффициенты этих многочленов обычно очень велики, они также демонстрируют высокую делимость на малые простые числа.
2. Практическая ценность:
   • Важные приложения в криптографии и вычислительной теории чисел
   • Применение к исследованию типов редукции эллиптических кривых
   • Помощь в оптимизации алгоритмов, основанных на китайской теореме об остатках
3. Ограничения существующих исследований: Wang в 23 выдвинул гипотезы для случаев $p \leq 5$, но отсутствовали полные доказательства и более общие результаты.
4. Исследовательская мотивация:
   • Предоставить нижние границы для делимости коэффициентов модулярных многочленов
   • Расширить результаты на общий случай сингулярных модулей
   • Обеспечить теоретическую поддержку вычислительных алгоритмов

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

1. Главная теорема 1.1: Для модулярного многочлена $\Phi_N(X,Y) = \sum_{0\leq i,j\leq\psi(N)} a_{i,j}X^iY^j$ при $i+j < \psi(N)$ даны точные нижние границы для $p$-адических оценок коэффициентов $a_{i,j}$.
2. Главная теорема 1.2: Результаты расширены на случай рациональных сингулярных модулей $J \in \mathbb{Z}$, доказано, что коэффициенты $\Phi_N(X+J, Y+J)$ обладают более сильными свойствами делимости.
3. Оптимизация вычислений: Благодаря предсказанным свойствам делимости можно значительно сократить объем памяти, необходимый для хранения коэффициентов модулярных многочленов (например, при $N=5$ экономия составляет 43%).
4. Теоретическая база: Установлена общая структура, связывающая теорию деформаций эллиптических кривых с делимостью коэффициентов модулярных многочленов.

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

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

Исследование нижних границ для $p$-адических оценок $v_p(a_{i,j})$ коэффициентов модулярного многочлена $\Phi_N(X+J, Y+J)$ в простом числе $p$, где $J$ — специфическое алгебраическое число (в частности, сингулярный модуль).

Основные технические методы

1. Лемма интерполяции (Лемма 3.3)

Построена ключевая лемма интерполяции, которая через свойства определителя Вандермонда связывает оценки коэффициентов многочлена с оценками значений функций.

2. Теория деформаций эллиптических кривых

• Суперсингулярный случай: Использование теории Любина-Тейта для параметризации деформаций $p$-делимых групп через однопараметрическое семейство $\Gamma(t)$
• Общий случай: Применение параметра Серра-Тейта $q \in 1 + \pi A$ для параметризации деформаций эллиптических кривых

3. Основной технический инструмент (Предложение 3.4)

Построение семейства эллиптических кривых $E_k/K$, удовлетворяющих специфическим условиям:

• Каждая $E_k$ имеет хорошую редукцию
• $v(j(E_k)-J) = v(j(E_k)-j(E_l)) = n$ для всех $k \neq l$
• Для эллиптических кривых $\tilde{E}_k$, связанных с $E_k$ циклической изогенией степени $N$, выполняются соответствующие условия на оценки

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

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

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

Источники данных

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

Методы верификации

• Вычислительная верификация для случаев $N \leq 400$ и многих больших простых чисел $N$
• Специальная проверка 13 случаев рациональных сингулярных модулей

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

Статья предоставляет полное разложение коэффициентов $\Phi_5(X,Y)$ при $N=5$, демонстрирующее предсказанные теорией свойства делимости.

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

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

1. Верификация теоремы 1.1:
   • Для $p=2,3,5$: соответственно верифицированы неравенства $v_2(a_{i,j}) \geq \frac{1}{5}(\psi(N)-i-j)$ и т.д.
   • Для $p \geq 11, p \equiv 2 \pmod{3}$: верифицированы более общие границы
2. Эффект оптимизации хранения:
   • $N=5$: сокращение с 523 цифр до 298 цифр, экономия 43%
   • $N=101$: сокращение с 6 383 216 цифр до 5 606 370 цифр, экономия 12%
3. Анализ специальных случаев:
   • Таблица 1 перечисляет исключительные оценки для 13 рациональных сингулярных модулей
   • Таблица 2 демонстрирует полное разложение коэффициентов $\Phi_5(X,Y)$

Точность теоретических предсказаний

Вычисления показывают, что значения $n_p$, приведенные в теореме 1.2, оптимальны в большинстве случаев, с возможностью улучшения только для случаев $D=-12$ и $D=-27$.

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

1. Теория Гросса-Загира: Данная работа является вариантом теории разностей сингулярных модулей, наследующей исследовательскую традицию, основанную Гроссом и Загиром.
2. Работа Wang: Прямой ответ и доказательство гипотез Wang из 23 для случаев $p \leq 5$.
3. Вычислительный аспект: Связь с исследованиями алгоритмов вычисления модулярных многочленов Брёкера-Сазерленда и других авторов, обеспечивающая теоретическую поддержку алгоритмов на основе КТО.
4. Теория редукции эллиптических кривых: Тесная связь с исследованиями типов редукции эллиптических кривых, в частности с приложениями в 24.

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

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

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

Ограничения

1. Для случаев $p=2,3$ требуются более сложные технические методы
2. Для некоторых специальных дискриминантов ($D=-12,-27$) остается место для улучшения границ
3. Эффект оптимизации хранения уменьшается при больших значениях $N$

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

1. Дальнейшая оптимизация границ для случаев $D=-12,-27$
2. Расширение на случаи нерациональных сингулярных модулей
3. Разработка более эффективных методов хранения с частичной факторизацией

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

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

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

Недостатки

1. Техническая сложность: Для случаев $p=2,3$ требуется введение дополнительных технических инструментов, что увеличивает сложность доказательства
2. Эффект оптимизации: Ограниченный эффект оптимизации хранения для больших значений $N$
3. Специальные случаи: Некоторые дискриминанты остаются без оптимальных границ

Влияние

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

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

1. Изогенические вычисления в криптографии эллиптических кривых
2. Эффективное хранение и передача модулярных многочленов
3. Оптимизация алгоритмов вычисления модулярных многочленов на основе КТО

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

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