Самопересечение относительного дуализирующего пучка на модулярных кривых $X_1(N)$

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

• ID статьи: 1212.1294
• Название: Self-intersection of the relative dualizing sheaf on modular curves $X_1(N)$
• Автор: Hartwig Mayer
• Классификация: math.NT (теория чисел)
• Дата подачи: 6 декабря 2012 г. на arXiv, обновлено 22 октября 2018 г.
• Ссылка на статью: https://arxiv.org/abs/1212.1294

Аннотация

В данной работе исследуется стабильное арифметическое самопересечение относительного дуализирующего пучка на модулярной кривой $X_1(N)/\mathbb{Q}$. Для нечётного бесквадратного натурального числа $N$, делящегося по крайней мере на два взаимно простых целых числа, не меньших 4, автор доказывает асимптотическую формулу для стабильного арифметического самопересечения относительного дуализирующего пучка, полностью выраженную через $N$. На основе основной теоремы автор также получает асимптотическую формулу для стабильной высоты Фальтингса якобиана $J_1(N)/\mathbb{Q}$ и эффективную версию гипотезы Богомолова для $X_1(N)/\mathbb{Q}$ при достаточно больших $N$.

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

1. Основная проблема: Вычисление стабильного арифметического самопересечения $\omega_N^2$ относительного дуализирующего пучка $\omega_{X_1(N)/\mathbb{Z}[\zeta_N]}$ на модулярной кривой $X_1(N)$.
2. Значимость:
   • Строгая положительность стабильного арифметического самопересечения эквивалентна гипотезе Богомолова, которая утверждает, что алгебраические точки кривых рода больше 1, вложенные в якобиан, дискретно распределены в "топологии Нерона-Тейта"
   • Важное применение в вычислении коэффициентов Фурье модулярных форм
   • Тесная связь с теорией высоты Фальтингса
3. Ограничения существующих исследований:
   • Известные стабильные арифметические самопересечения ограничены кривыми рода 1, рода 2 и специальными модулярными кривыми $X_0(N)$ (где $N$ бесквадратно и $2,3 \nmid N$)
   • Отсутствие точных асимптотических формул для модулярных кривых типа $X_1(N)$
4. Исследовательская мотивация: Заполнить пробел в теории арифметических самопересечений для модулярных кривых $X_1(N)$, предоставить инструменты для связанных задач теории чисел и алгебраической геометрии.

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

1. Основная теорема: Доказана асимптотическая формула для $N$, удовлетворяющего условиям: $\omega_N^2 = 3g_N \log(N) + o(g_N \log(N))$ где $g_N$ — род кривой $X_1(N)$.
2. Формула высоты Фальтингса: Получена асимптотическая формула для стабильной высоты Фальтингса якобиана $J_1(N)/\mathbb{Q}$: $h_{\text{Fal}}(J_1(N)) = \frac{g_N}{4}\log(N) + o(g_N \log(N))$
3. Эффективная версия гипотезы Богомолова: Для достаточно больших $N$ доказана эффективная граница Богомолова.
4. Технические инновации: Разработаны методы спектральной теории, применимые к конгруэнц-подгруппам $\Gamma_1(N)$, расширены методы Аббеса-Ульмо и Йоргенсона-Крамера.

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

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

Вычисление стабильного арифметического самопересечения $\omega_N^2 = \frac{1}{[\mathbb{Q}(\zeta_N):\mathbb{Q}]} \omega_{X_1(N)/\mathbb{Z}[\zeta_N]}^2$, где $\omega_{X_1(N)/\mathbb{Z}[\zeta_N]}$ — относительный дуализирующий пучок.

Ключевая формула разложения

Автор устанавливает критическую формулу разложения (предложение 7.6): $\omega_N^2 = 4g_N(g_N-1)g_{\text{can}}(0,\infty) + \frac{1}{\phi(N)}\frac{g_N+1}{g_N-1}(V_0,V_\infty)_{\text{fin}}$

где:

• $g_{\text{can}}(0,\infty)$ — стандартная функция Грина между каспами 0 и ∞
• $(V_0,V_\infty)_{\text{fin}}$ — конечное пересечение вертикальных дивизоров
• $\phi(N)$ — функция Эйлера

Архитектура методов

1. Вычисление аналитической части

Вычисление $4g_N(g_N-1)g_{\text{can}}(0,\infty)$ через спектральное разложение:

Спектральное разложение: Использование спектрального разложения автоморфного ядра $K_k(z,w) = \sum_{j=0}^{\infty} h(r_j)u_j(z)u_j(w) + \text{непрерывный спектр}$

Фундаментальная формула: Построение функции $F(z) := \frac{1}{g_N}\sum_{j=1}^{g_N} y^2|f_j(z)|^2$ где $\{f_j\}$ — ортонормированный базис параболических форм веса 2.

Преобразование Ранкина-Сельберга: Через $R_F(s) = \int_{\Gamma_1(N)\backslash \mathbb{H}} F(z)E_{\infty,0}(z,s)\mu_{\text{hyp}}(z)$ разложение Лорана в точке $s=1$ для вычисления функции Грина.

2. Вычисление алгебраической части

Вычисление геометрического пересечения $(V_0,V_\infty)_{\text{fin}}$, где $V_0, V_\infty$ — вертикальные дивизоры, построенные через структуру слоёв минимальной регулярной модели.

3. Асимптотический анализ

Гиперболический вклад: Через логарифмическую производную дзета-функции Сельберга $R_H(t,1) = -\frac{1}{2v_N}\int_0^t \Theta_{\Gamma_1(N)}(\xi)d\xi$

Параболические и спектральные вклады: Использование теории матрицы рассеяния рядов Эйзенштейна.

Ключевые технические инновации

1. Расширенная формула следа Сельберга: Обобщение методов из случая $X_0(N)$ на более сложный случай $X_1(N)$ с более сложной структурой конгруэнц-подгрупп.
2. Улучшенные оценки функции Грина: Комбинирование работ Аббеса-Ульмо и Йоргенсона-Крамера для получения точных асимптотик функции Грина между каспами.
3. Явное вычисление геометрических пересечений: Через теорию Каца-Мазура вычисление структуры слоёв минимальной регулярной модели.

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

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

Данная работа представляет собой чистое математическое теоретическое исследование, верификация результатов проводится следующим образом:

1. Проверка согласованности: Верификация согласованности асимптотического поведения различных вкладов
2. Сравнение с известными случаями: Сопоставление с известными результатами для случая $X_0(N)$
3. Численные оценки: Использование границ для дзета-функции Сельберга для верификации разумности членов ошибки

Технические условия

• $N$ — нечётное бесквадратное число
• $N = N'qr$, где $q,r \geq 4$ и взаимно просты
• $g_N \geq 1$ (т.е. $N = 11$ или $N \geq 13$)

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

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

Теорема 7.7 (основная теорема): $\omega_N^2 = 3g_N \log(N) + o(g_N \log(N))$

Теорема 8.2 (высота Фальтингса): $h_{\text{Fal}}(J_1(N)) = \frac{g_N}{4}\log(N) + o(g_N \log(N))$

Результаты асимптотического анализа

1. Аналитическая часть: $4g_N(g_N-1)g_{\text{can}}(0,\infty) = 2g_N \log(N) + o(g_N \log(N))$
2. Алгебраическая часть: $(V_0,V_\infty)_{\text{fin}} = -\phi(N)\frac{24(g_N-1)^2}{\prod_{p|N}(p^2-1)}\sum_{p|N}\frac{p+1}{p-1}\log(p)$
3. Комбинированный результат: Два вклада составляют $2g_N \log(N)$ и $g_N \log(N)$ соответственно, в сумме дающие $3g_N \log(N)$.

Эффективная версия гипотезы Богомолова

Теорема 8.7: Для достаточно больших $N$ и любого $\varepsilon > 0$ множество алгебраических точек $\{x \in X_1(N)(\mathbb{Q}) | h_{NT}(\phi_D(x)) < (\frac{3}{4} - \varepsilon)\log(N)\}$ конечно.

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

Основные связанные исследования

1. Основы теории Аракелова: Аракелов (1974), Фальтингс (1984) — установление теории пересечений на арифметических поверхностях
2. Случай модулярных кривых $X_0(N)$: Аббес-Ульмо (1997), Мюллер-Ульмо (1998) — пионерские работы
3. Методы спектральной теории: Иванец (2002), Роэлке (1966-1967) — спектральная теория автоморфных форм
4. Теория функций Грина: Серия работ Йоргенсона-Крамера об улучшении границ для функций Грина

Преимущества данной работы по сравнению с связанными исследованиями

1. Первое рассмотрение $X_1(N)$: По сравнению с известными результатами для $X_0(N)$, структура конгруэнц-подгруппы $X_1(N)$ значительно сложнее
2. Полная асимптотическая формула: Даны точные коэффициенты главного члена, а не только верхние границы
3. Единый метод: Органичное сочетание аналитических и алгебро-геометрических методов

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

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

1. Установлена полная асимптотическая теория самопересечения относительного дуализирующего пучка для модулярных кривых $X_1(N)$
2. Даны эффективные версии высоты Фальтингса и гипотезы Богомолова
3. Разработаны технические методы, применимые к общим конгруэнц-подгруппам

Ограничения

1. Ограничения на условия: Требуется, чтобы $N$ имело специальный вид (нечётное, бесквадратное, с определённой факторизацией)
2. Асимптотический характер: Даны только главные члены, точная форма членов $o(g_N \log N)$ остаётся неясной
3. Вычислительная сложность: Методы включают глубокие техники аналитической теории чисел, практические вычисления затруднены

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

1. Обобщение на общее $N$: Рассмотрение случаев с квадратными множителями или чётных чисел
2. Анализ высших порядков: Определение точной формы члена $o(g_N \log N)$
3. Другие модулярные кривые: Обобщение методов на $X(N), X_0^+(N)$ и другие модулярные кривые

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

Достоинства

1. Техническая глубина: Искусное сочетание глубоких методов из теории Аракелова, спектральной теории, алгебраической геометрии и других областей
2. Полнота результатов: Не только основная теорема, но и важные арифметические приложения
3. Методологические инновации: Успешное обобщение методов из случая $X_0(N)$ на более сложный случай $X_1(N)$
4. Теоретическое значение: Значительный вклад в теорию арифметической геометрии модулярных кривых

Недостатки

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

Влияние

1. Теоретический вклад: Заполнение важного пробела в теории арифметики модулярных кривых $X_1(N)$
2. Ценность методов: Разработанные методы могут быть применимы к другим задачам арифметической геометрии
3. Последующие исследования: Предоставление важных инструментов и идей для дальнейших исследований в смежных областях

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

1. Теоретические исследования: Теория модулярных форм, арифметическая геометрия, геометрия чисел
2. Теория высот: Исследование высоты Фальтингса и связанных арифметических инвариантов
3. Диофантова геометрия: Гипотезы типа Богомолова и проблемы распределения рациональных точек

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

Статья цитирует 46 важных работ, основные из которых:

1. Arakelov, S.J. (1974) — Основополагающая работа по теории Аракелова
2. Abbes, A. & Ullmo, E. (1997) — Пионерское исследование случая $X_0(N)$
3. Faltings, G. (1984) — Основы теории арифметических поверхностей
4. Iwaniec, H. (2002) — Стандартный учебник по спектральным методам автоморфных форм
5. Серия работ Jorgenson, J. & Kramer, J. — Современное развитие теории функций Грина

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