2025-11-21T17:40:15.253983

A higher rank shifted convolution problem with applications to L-functions

Blomer, Li
While several instances of shifted convolution problems for GL(3) x GL(2) have been solved, the case where one factor is the classical divisor function and one factor is a GL(3) Fourier coefficient has remained open. We solve this case in the present paper. The proof involves two intertwined applications of different types of delta symbol methods. As an application we establish an asymptotic formula for central values of L-functions for a GL(3) automorphic form twisted by Dirichlet characters to moduli q < Q.
academic

Проблема сдвинутой свертки более высокого ранга с приложениями к L-функциям

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

  • ID статьи: 2511.03294
  • Название: A higher rank shifted convolution problem with applications to L-functions
  • Авторы: Valentin Blomer, Junxian Li
  • Классификация: math.NT (Теория чисел)
  • Дата публикации: 5 ноября 2025 г.
  • Ссылка на статью: https://arxiv.org/abs/2511.03294v1

Аннотация

В данной работе решается давно открытый случай в проблеме сдвинутой свертки GL(3) × GL(2): один множитель — классическая функция делителей, другой — коэффициент Фурье GL(3). Метод доказательства включает переплетенное применение двух различных типов методов дельта-символа. В качестве приложения устанавливается асимптотическая формула для центральных значений L-функций автоморфных форм GL(3), скрученных характерами Дирихле (по модулям q ≤ Q).

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

Исследуемая проблема

Проблема сдвинутой свертки (shifted convolution problem) изучает асимптотические формулы для произведений двух (обычно мультипликативных) арифметических функций, когда параметры отличаются на аддитивный сдвиг. Это важный инструмент для измерения корреляции между двумя функциями.

Значимость проблемы

  1. Классический контекст: Классический случай функции делителей ∑n≤xτ(n)τ(n+1)\sum_{n≤x} τ(n)τ(n+1) изучается уже столетие
  2. Теоретическое значение: Проблема сдвинутой свертки тесно связана с моментами L-функций, теорией решета, проблемой делителей Титчмарша и другими центральными проблемами теории чисел
  3. Технические трудности: Проблемы сдвинутой свертки для автоморфных форм высокого ранга чрезвычайно сложны; нетривиальные результаты для большинства случаев остаются неизвестными

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

Для случая GL(3) × GL(2) достигнут следующий прогресс:

  • Случай (1.1): ∑n≤xτ3(n)τ(n+1)\sum_{n≤x} τ_3(n)τ(n+1) - Hooley получил главный член, Deshouillers дал сбережение степени в члене ошибки, Topacogullari достиг текущего лучшего результата O(x5/6+θ/3+ε)O(x^{5/6+θ/3+ε})
  • Случай (1.2): ∑n≤xτ3(n)λ(n+1)\sum_{n≤x} τ_3(n)λ(n+1) - Pitt установил границу со сбережением степени, Tang достиг O(x5/6+θ/3+ε)O(x^{5/6+θ/3+ε})
  • Случай (1.3): ∑n≤xA(n,1)λ(n+1)\sum_{n≤x} A(n,1)λ(n+1) - Munshi получил границу со сбережением степени, Xi достиг O(x21/22+ε)O(x^{21/22+ε})

Однако случай (1.4): ∑n≤xA(n,1)τ(n+1)\sum_{n≤x} A(n,1)τ(n+1) оставался открытым и не мог быть решен никаким из методов, применяемых к предыдущим случаям.

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

  1. Заполнение теоретического пробела: Случай (1.4) является последним нерешенным случаем в проблеме сдвинутой свертки GL(3) × GL(2)
  2. Методологический прорыв: Экспоненциальные суммы функции делителей плохо ведут себя на главной дуге (в смысле L²), поэтому нельзя напрямую применить метод круга Джутилы или метод Клостермана
  3. Прикладная ценность: Решение этой проблемы позволяет установить асимптотическую формулу для моментов L-функций GL(3), что является первым прорывом за 20 лет

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

  1. Решение давно открытой проблемы: Впервые установлена граница со сбережением степени для проблемы сдвинутой свертки коэффициентов Фурье GL(3) и функции делителей
  2. Инновационная методология: Впервые переплетено применены метод Джутилы и уточненный метод круга Клостермана, преодолевая ограничения каждого из них
  3. Полная равномерность: Достигнута полная равномерность по всем параметрам h, λ₁, λ₂ в билинейном сдвинутом уравнении
  4. Асимптотическая формула для моментов L-функций: Установлена асимптотическая формула для центральных значений L-функций автоморфных форм GL(3), скрученных характерами Дирихле, содержащая примерно Q² членов с проводником примерно Q³

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

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

Теорема 1: Пусть h, λ₁, λ₂ ∈ ℤ{0}, x ≥ 1. Пусть W, W₀ — гладкие функции с компактным носителем на 1,2. Пусть A(n,1) — собственные значения Гекке коэффициента Фурье острой формы F на группе SL₃(ℤ). Тогда ∑λ1m−λ2n=hA(n,1)τ(m)W0(∣λ1∣mx)W(∣λ2∣nx)≪F,W,W0,εx41/42+ε\sum_{λ₁m-λ₂n=h} A(n,1)τ(m)W_0\left(\frac{|λ₁|m}{x}\right)W\left(\frac{|λ₂|n}{x}\right) \ll_{F,W,W_0,ε} x^{41/42+ε} равномерно для любого ε > 0, равномерно по h, λ₁, λ₂.

Теорема 2: Более гибкий вариант, заменяющий τ(m) на τA,B(m):=∑ab=mv1(a/A)v2(b/B)τ_{A,B}(m) := \sum_{ab=m} v_1(a/A)v_2(b/B), дающий ту же границу при условии AB ≍ x/|λ₁|.

Техническая архитектура

1. Двойное применение метода дельта-символа

Работа инновационно объединяет два метода дельта-символа:

Метод Джутилы (Лемма 1):

  • Обеспечивает гибкий выбор модуля, создавая билинейную структуру
  • Приближает дельта-функцию только в смысле L²
  • Определяет периодическую функцию: χ(α)=1δL∑qω(q)∑a mod q,(a,q)=1∑k∈Zψ(1δ(α−aq+k))χ(α) = \frac{1}{δL}\sum_q ω(q)\sum_{a\bmod q, (a,q)=1}\sum_{k∈ℤ} ψ\left(\frac{1}{δ}\left(α-\frac{a}{q}+k\right)\right)
  • Ключевое свойство: ∫01(1−χ(α))2dα≪ψQ2∥ω∥∞∣log⁡δ∣3L2δ\int_0^1 (1-χ(α))^2 dα \ll ψ \frac{Q^2\|ω\|_∞|\log δ|^3}{L^2δ}

Уточненный метод Клостермана (Лемма 2):

  • Чувствителен к экспоненциальным суммам функции делителей на главной дуге
  • Использует разложение интервала 0,1 по дробям Фарея
  • Обеспечивает сбережение квадратного корня в оценке b/c (для b по модулю c)

2. Переплетенное применение методов

Шаг 1: Предварительное разложение Сумма записывается как S₁ + S₂, где:

  • S₁: вклад от χ(α)
  • S₂: вклад от (1-χ(α))

Шаг 2: Оценка S₂ (вторичная дуга)

  • Выбираются параметры C₀ < C, logC ≍ log x
  • Сумма по c ≤ C разделяется на главную дугу (c ≤ C₀) и вторичную дугу (C₀ < c ≤ C)
  • Вторичная дуга: использование L² оценок и суммирования Вороного (Леммы 3, 4)
  • Главная дуга: применение уточненного метода Клостермана (Лемма 2), ключевое наблюдение — получение нетривиальной (со сбережением квадратного корня) оценки по b/c

Шаг 3: Специальный выбор модуля Применяется идея Munshi выбора факторизуемого модуля: ω(q)=∑12Q1≤p≤Q1,p простое,p∤hλ1λ2∑t∈N,pt=qρ(tQ2)ω(q) = \sum_{\frac{1}{2}Q_1≤p≤Q_1, p\text{ простое}, p∤hλ_1λ_2} \sum_{t∈ℕ, pt=q} ρ\left(\frac{t}{Q_2}\right) где Q = Q₁Q₂. Это создает билинейную структуру.

Шаг 4: Оценка S₁

  • Применение суммирования Вороного (Леммы 3, 5) для дуализации τ(m) и A(n,1)
  • Ключевой момент: сохранение сумм по m и p внутри абсолютных значений (в отличие от Mu, Xi)
  • Применение неравенства Коши-Шварца
  • Использование суммирования Пуассона и оценок характеристических сумм (Леммы 7, 8)

3. Тонкие оценки характеристических сумм

Лемма 7: Улучшенная граница для супер-сумм Клостермана Σh,d,n1,n2(c)≪εc1+εc21/2(n1,c1,d,h)n1Σ_{h,d,n_1,n_2}(c) \ll_ε c^{1+ε}c_2^{1/2}\frac{\sqrt{(n_1,c_1,d,h)}}{\sqrt{n_1}} где c = c₁c₂, c₁ — свободно от квадратов, c₂ — полная степень, (c₁,c₂)=1.

Лемма 8: Оценка характеристических сумм для двойного простого случая

p_1^{3/2}p_2^{3/2}t^{5/2+ε}(hn_2,t_1)^{1/2}t_2^{1/2}, & p_1≠p_2\\ p_1^3t^{5/2+ε}(hn_2p_1,t_1)^{1/2}t_2^{1/2}, & p_1=p_2 \end{cases}$$ ### Оптимизация параметров Окончательный выбор (соответствующий показателю 41/42): $$C_0 = x^{19/42-η}, \quad C = x^{23/42+η}, \quad Q_1 = x^{4/21}, \quad Q_2 = x^{8/21}, \quad δ = x^{-1+ε}$$ ## Приложение: Скрученные моменты L-функций ### Формулировка теоремы 3 Пусть Q ≥ 1, F — острая форма на группе SL₃(ℤ). Пусть W — гладкая функция с компактным носителем на [1,2], преобразование Меллина которой равно W̃. Тогда $$\sum_q W\left(\frac{q}{Q}\right)\sum_{\substack{χ\bmod q\\ χ\text{ примитивный, четный}}} L(1/2, F×χ) = \frac{W̃(2)}{2ζ(2)^2}Q^2 + O_{F,W,ε}(Q^{2-1/41+ε})$$ ### Стратегия доказательства 1. **Несбалансированное приближение функционального уравнения**: - Первый член длины Q^{2+δ} - Член с корневым числом длины Q^{1-δ} (может быть тривиально оценен) 2. **Ортогональность характеров**: Применение ортогональности характеров Дирихле, задача сводится к $$\sum_{q≍Q}\sum_{\substack{n≍Q^{2+δ}\\ n≡1\bmod q}} A(n,1) ≈ \sum_{q≍Q}\sum_{r≍Q^{1+δ}} A(1+rq,1)$$ 3. **Техника преобразования делителей**: Это именно форма проблемы сдвинутой свертки (1.4) 4. **Технические детали**: - Выбор X = Q^{45/82} для балансировки членов - Обработка обращения Мёбиуса и индуцированных характеров - Кубы сумм Гаусса приводят к супер-суммам Клостермана - Главный член происходит из вклада n=1 ## Экспериментальные результаты ### Основные результаты **Граница теоремы 1**: $O(x^{41/42+ε})$ - Показатель 41/42 ≈ 0,9762 - Значительное улучшение по сравнению с тривиальной границей x (сбережение x^{1/42}) - Равномерно по всем параметрам h, λ₁, λ₂ **Член ошибки теоремы 3**: $O(Q^{2-1/41+ε})$ - Содержит примерно Q² членов (примитивные характеры) - Проводник L-функции примерно Q³ - Это первая асимптотическая формула для этой проблемы за 20 лет (Luo 2005 получил только нижнюю границу) ### Сравнение с существующими результатами | Случай | Пара арифметических функций | Лучшая известная граница | Метод | Авторы/год | |--------|---------------------------|----------------------|--------|-----------| | (1.1) | τ₃(n)τ(n+1) | x^{5/6+θ/3+ε} | Формула Кузнецова | Topacogullari 2016 | | (1.2) | τ₃(n)λ(n+1) | x^{5/6+θ/3+ε} | То же | Tang 2020 | | (1.3) | A(n,1)λ(n+1) | x^{21/22+ε} | Метод круга Джутилы | Xi 2018 | | **(1.4)** | **A(n,1)τ(n+1)** | **x^{41/42+ε}** | **Двойной дельта-символ** | **Данная работа 2025** | ### Технические прорывы 1. **Методологическое новшество**: Впервые успешно объединены два метода круга 2. **Равномерность**: Полная равномерность по параметрам сдвига 3. **Широта приложений**: Гибкий вариант теоремы 2 расширяет область применения ## Связанные работы ### История проблемы сдвинутой свертки 1. **Классические случаи**: - Hooley (1957): главный член для τ₃ × τ - Deshouillers (1982): первый член ошибки со сбережением степени 2. **Теория GL(2)**: - Функция делителей может рассматриваться как коэффициент Фурье ряда Эйзенштейна - Формула суммирования Вороного обеспечивает структурное сходство 3. **Прогресс GL(3) × GL(2)**: - Pitt (1995, 2013): τ₃ × λ, приложения к проблеме делителей Титчмарша - Munshi (2013): A × λ, введение идеи факторизуемых модулей - Xi (2018): улучшение границы Munshi до x^{21/22+ε} - Tang (2020): улучшение границы для τ₃ × λ ### Преимущества данной работы 1. **Решение оставшейся проблемы**: Единственный нерешенный случай GL(3) × GL(2) 2. **Универсальность метода**: Метод двойного дельта-символа может применяться к другим проблемам 3. **Глубина приложений**: Прямое установление асимптотической формулы для моментов L-функций ### Исследование моментов L-функций - **Luo (2005)**: использование идеи факторизуемых модулей для доказательства ненулевой нижней границы - **Данная работа**: первая асимптотическая формула, прорыв за 20 лет - **Будущие направления**: если получены нетривиальные средние границы супер-сумм Клостермана по модулям, задача станет относительно прямой ## Анализ технических деталей ### Формула суммирования Вороного **Для функции делителей (Лемма 3)**: $$\sum_n τ(n)e\left(\frac{bn}{c}\right)w(n) = \frac{1}{c}\int_0^∞ w(ξ)\left(\log\frac{ξ}{c^2}+2γ\right)dξ + \frac{1}{c}\sum_±\sum_n τ(n)e\left(±\frac{b̄n}{c}\right)\int_0^∞ w(ξ)J^±\left(\frac{\sqrt{nξ}}{c}\right)dξ$$ **Для коэффициентов Фурье GL(3) (Лемма 5)**: $$\sum_n A(n,1)e\left(\frac{bn}{c}\right)w(n) = \frac{1}{c^2}\sum_±\sum_{n_2}\sum_{n_1|c} n_1A(n_1,n_2)S\left(b̄,±n_2,\frac{c}{n_1}\right)\int_0^∞ w(y)V^±\left(\frac{n_1^2n_2y}{c^3}\right)dy$$ ### Границы интегральных преобразований (Лемма 4) Ключевая оценка: $$\int_0^∞ w(ξ)J^-\left(\frac{\sqrt{nξ}}{c}\right)dξ \ll_{A,ε} \frac{X(Xnc)^ε}{1+X|Z|}\left(1+\frac{nX}{c^2(1+X|Z|)^2}\right)^{-A}$$ Это обеспечивает быстрое убывание при больших Z и является ключевым для обработки экспоненциальных сумм функции делителей. ### Тонкий анализ характеристических сумм **Ключевые моменты доказательства Леммы 8**: - Использование китайской теоремы об остатках для разложения модуля - Отдельная обработка случаев различных простых чисел - Улучшенная граница при n₂=0: $p_1^2(d_1-d_2,p_1)t^{3+ε}$ - Применение границ Вейля и Делиня ## Заключение и обсуждение ### Основные выводы 1. **Теоретическая полнота**: Завершение всех основных случаев проблемы сдвинутой свертки GL(3) × GL(2) 2. **Методологический вклад**: Метод двойного дельта-символа предоставляет новый инструмент для решения подобных проблем 3. **Прикладная ценность**: Установление первой асимптотической формулы для скрученных моментов L-функций GL(3) ### Ограничения 1. **Ограничение показателя**: 41/42, хотя и улучшено, может быть неоптимальным 2. **Сложность метода**: Требует тонкой балансировки нескольких параметров 3. **Техническая зависимость**: Зависит от глубокого понимания супер-сумм Клостермана 4. **Полные степени**: Множитель c₂^{1/2} в Лемме 7 может быть устранен (по замечанию авторов) ### Будущие направления 1. **Средние значения супер-сумм Клостермана**: Если получены нетривиальные средние границы по модулям, вся задача значительно упростится 2. **Обобщение на высокий ранг**: Может ли метод быть обобщен на GL(n) × GL(m)? 3. **Оптимизация показателя**: Возможно ли улучшить показатель 41/42? 4. **Другие приложения**: Какие еще приложения имеет метод двойного дельта-символа? ### Открытые вопросы - Авторы отмечают: если нетривиальные средние супер-сумм Клостермана по модулям станут доступны, теоремы 1, 2, 3 станут относительно прямыми - Это указывает на важное направление исследований ## Глубокая оценка ### Достоинства 1. **Оригинальность**: - Впервые решена давно открытая проблема - Инновационное объединение двух кажущихся несовместимыми методов - Методология имеет универсальное применение 2. **Техническая глубина**: - Глубокое понимание методов дельта-символа - Тонкий анализ оценок характеристических сумм - Искусная оптимизация параметров 3. **Полнота**: - Строгое доказательство с полными техническими деталями - Полная цепь от основных теорем к приложениям - Всестороннее рассмотрение существующих работ 4. **Качество изложения**: - Четкая структура, логичное построение - Достаточное объяснение технических трудностей - Ясное сравнение с существующими работами ### Недостатки 1. **Читаемость**: - Высокая техническая сложность, трудна для неспециалистов - Некоторые шаги могли бы иметь более полное интуитивное объяснение 2. **Ограничения результатов**: - Показатель 41/42 может быть неоптимальным - Сбережение по λ₁, λ₂ недостаточно исследовано (авторы признают) 3. **Ограничения метода**: - Зависит от нескольких тонко сбалансированных параметров - Обобщение на другие случаи может быть затруднено ### Влияние 1. **Теоретический вклад**: - Заполнение важного пробела в теории GL(3) × GL(2) - Предоставление новых технических инструментов аналитической теории чисел 2. **Методологическое значение**: - Метод двойного дельта-символа может открыть новые направления исследований - Демонстрация мощи объединения различных техник 3. **Практическая ценность**: - Асимптотическая формула для моментов L-функций имеет важные приложения - Может способствовать прогрессу в смежных областях (решето, распределение простых чисел) 4. **Воспроизводимость**: - Подробное доказательство, четкая техническая схема - Однако реализация требует высокого уровня специализированных знаний ### Области применения 1. **Прямое применение**: - Исследование L-функций GL(3) - Анализ скручиваний характерами Дирихле - Другие случаи проблемы сдвинутой свертки 2. **Методологическое заимствование**: - Исследование автоморфных форм других высоких рангов - Задачи, требующие тонких оценок методом круга - Исследование средних характеристических сумм 3. **Теоретическое расширение**: - Обобщение на теорию GL(n) - Улучшение методов решета - Другие разделы аналитической теории чисел ## Ключевые ссылки 1. **Munshi (2013)**: Shifted convolution sums for GL(3)×GL(2) - введение идеи факторизуемых модулей 2. **Xi (2018)**: A shifted convolution sum for GL(3)×GL(2) - улучшение границы Munshi 3. **Luo (2005)**: Nonvanishing of L-functions for GL(n,A_Q) - нижние границы моментов L-функций 4. **Jutila (1997)**: A variant of the circle method - гибкий вариант метода круга Джутилы 5. **Heath-Brown (1983)**: Cubic forms in ten variables - уточненный метод Клостермана --- **Общая оценка**: Это высокоуровневая работа по теории чисел, решающая важную давно открытую проблему. Технические инновации значительны, методологический вклад выдающийся, работа имеет важное значение для теории GL(3) × GL(2) и исследования L-функций. Хотя техническая сложность высока, доказательство строго и полно, что делает эту работу важным прогрессом в области аналитической теории чисел.