Распределение целых точек на детерминантных поверхностях и аналог mod-$p$

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

• ID статьи: 2508.14793
• Название: Distribution of integer points on determinant surfaces and a $\text{mod-}p$ analogue
• Авторы: Satadal Ganguly, Rachita Guria
• Классификация: math.NT (Теория чисел)
• Дата публикации: август 2025 г. (arXiv v2: 24 августа 2025 г.)
• Ссылка на статью: https://arxiv.org/abs/2508.14793

Аннотация

В данной работе установлены асимптотические формулы для подсчёта целых решений детерминантного уравнения $xy-zw=r$ (где $r$ — ненулевое целое число) с гладкими весами, с явным главным членом и сильными оценками остатка в зависимости от переменных $x, y, z, w$ и величины $r$. Аналогично, для сравнения $xy-zw \equiv 1 \pmod{p}$ (где $p$ — большое простое число) установлены подобные асимптотические формулы и сильные оценки остатка.

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

Основная проблема

Работа посвящена классической задаче теории чисел о представлении целых чисел квадратичными формами, в частности, подсчёту целых точек на детерминантной поверхности $Q(x_1,x_2,x_3,x_4) = x_1x_2 - x_3x_4 = r$.

Значимость

1. Теоретическая ценность: Задача о представлении целых чисел квадратичными формами является центральной в теории чисел со времён Ферма и тесно связана с глубокими теоретическими инструментами, такими как теория модулярных форм и круговой метод.
2. Практические приложения: Подсчёт решений детерминантных уравнений естественным образом возникает в нескольких областях аналитической теории чисел:
   • Оценки моментов $L$-функций (BC18, DFI97)
   • Оценки сдвинутых свёрток функции делителей
   • Задачи о матричных представлениях
3. Технические трудности: Для неопределённых квадратичных форм при $n \geq 4$ принцип Хассе выполняется (теорема Зигеля). Однако получение явных и сильно зависящих от $r$ оценок остатка представляет техническую сложность.

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

1. Круговой метод Heath-Brown HB96:
   • Рассмотрены только специальные случаи $r=0$ и $r=X^2$
   • Для общих четырёхмерных квадратичных форм остаток составляет $O(X^{3/2+\varepsilon})$
   • Неэффективен при рассмотрении $r$ как независимой переменной
2. Улучшение Getz Get18:
   • Использует "двойное уточнение Клостермана" для улучшения остатка
   • Применимо только при $r=0$ (так как $S_q(c)$ мультипликативна по $q$ только при $c=0$)
3. Предыдущая работа авторов GG23:
   • Рассматривает случай острого обрезания (sharp-cut), но требует $|r| \leq X^{1/3}$
   • Требует более тонких инструментов спектральной теории

Инновационные аспекты данной работы

Работа использует прямое применение формулы Пуассона вместо кругового метода, преобразуя задачу в оценку сумм Клостермана, а затем применяя формулу следа Кузнецова для получения:

1. Для любого $r = o(X^2)$ остаток составляет $O(r^\theta X^{1+\varepsilon})$, где $\theta \leq 7/64$ — показатель гипотезы Рамануджана-Петерсона
2. Обработка общего случая, когда $r$ — независимая переменная
3. Для mod-$p$ сравнений доказано, что достаточно $X \gg p^{1/2+\varepsilon}$ для получения асимптотической формулы

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

1. Теорема 1.1 (основная теорема): Для уравнения $ad-bc=r$ установлена асимптотическая формула $S_V(X,r) = M_V(X,r) + O_\varepsilon(r^\theta X^{1+\varepsilon})$ где главный член имеет вид $M_V(X,r) = \sum_{l|r}\sum_{k>0}\frac{\mu(k)}{k}\int\!\!\!\int\!\!\!\int \frac{1}{z}V\left(\frac{x}{X}\right)V\left(\frac{lky}{X}\right)V\left(\frac{lkz}{X}\right)V\left(\frac{r+lkxy}{zlkX}\right)dxdydz$
2. Следствие 1.2: При $r = o(X^2)$$S_V(X,r) = K(V,r)X^2 + O(\sigma(|r|)) + O(r^\theta X^{1+\varepsilon})$ где $K(V,r) = \frac{1}{\zeta(2)}\frac{\sigma(|r|)}{|r|}\int\!\!\!\int\!\!\!\int \frac{1}{t}V(u)V(v)V(t)V\left(\frac{uv}{t}\right)dudvdt$
3. Теорема 1.3 (аналог mod-$p$): Для сравнения $ad-bc \equiv 1 \pmod{p}$ при $p^{1/100} < X < p/2$$\sum_{ad-bc\equiv 1\pmod{p}}V\left(\frac{a}{X}\right)V\left(\frac{b}{X}\right)V\left(\frac{c}{X}\right)V\left(\frac{d}{X}\right) = \frac{X^4}{p}\left(\int V(t)dt\right)^4 + O(X^2g(p))$ где $g(p) \to \infty$ произвольно медленно.
4. Методологический вклад:
   • Избегание кругового метода, прямое применение анализа Фурье
   • Тонкий анализ преобразования Бесселя в формуле Кузнецова
   • Метод обобщается на $\alpha x_1x_2 - \beta x_3x_4 = r$ и тернарные формы $\alpha x_1x_2 - \beta x_3^2$

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

Постановка задач

Задача 1 (детерминантное уравнение): Для ненулевого целого $r$ и параметра роста $X \to \infty$ подсчитать целые решения $ad - bc = r, \quad a,b,c,d \in \mathbb{Z}$ с $a,b,c,d \sim X$ (с гладкими весами $V$).

Задача 2 (mod-$p$ сравнение): Для большого простого $p$ и параметра $X$ подсчитать целые решения $ad - bc \equiv 1 \pmod{p}$ с $|a|,|b|,|c|,|d| \leq X$ (с гладкими весами).

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

Шаг 1: Формула Пуассона и понижение размерности

Подставляя $d = (r+bc)/a$, условие становится $bc \equiv -r \pmod{a}$: $S_V(X,r) = \sum_a \sum_c V\left(\frac{a}{X}\right)V\left(\frac{c}{X}\right)\sum_{\substack{b \in \mathbb{Z}\\b \equiv -r\bar{c} \pmod{a}}}V\left(\frac{b}{X}\right)V\left(\frac{r+bc}{aX}\right)$

Применяя формулу Пуассона (лемма 2.1) к сумме по $b$: $\sum_{b \equiv -r\bar{c} \pmod{a}}V_{a,c}(b) = \frac{1}{a}\sum_{n \in \mathbb{Z}}e\left(\frac{-nr\bar{c}}{a}\right)\hat{V}_{a,c}\left(\frac{n}{a}\right)$

Разделяя член $n=0$ (главный член) и $n \neq 0$ (остаток): $S_V(X,r) = M_V(X,r) + E_V(X,r)$

Шаг 2: Анализ главного члена (раздел 4)

Для главного члена, удаляя условие взаимной простоты и применяя обращение Мёбиуса: $M_V(X,r) = \sum_{l|r}\sum_{k>0}\frac{\mu(k)}{k}\int V\left(\frac{x}{X}\right)\sum_{a_1}\frac{1}{a_1}V\left(\frac{lka_1}{X}\right)\sum_{c_2}W(c_2,a_1)dx$

Повторно применяя формулу Пуассона к суммам по $c_2$ и $a_1$, разделяя нулевую частоту, получаем явный главный член (предложение 4.1).

Шаг 3: Анализ остатка (разделы 5-7)

Ключевое преобразование: Применяя формулу Пуассона к сумме по $c_1$ (лемма 2.2), получаем суммы Клостермана: $E_V(X,r) = \sum_{l|r}\sum_{n \neq 0}\int\!\!\int \sum_{a_1}\frac{1}{a_1^2}V_{a_1}(x,y)e\left(\frac{-nx}{a_1}\right)S(nr_1,0,a_1)dxdy$$\quad\quad\quad\quad + \sum_{l|r}\sum_{\substack{m,n \neq 0}}\int\!\!\int \sum_{a_1}\frac{1}{a_1^2}V_{a_1}(x,y)e\left(\frac{-nx-my}{a_1}\right)S(nr_1,-m,a_1)dxdy$

Первый член оценивается стандартными границами сумм Рамануджана как $O(\tau(r)X^{1+\varepsilon})$.

Основная оценка (предложение 6.1): Требуется доказать $\sum_{|n| \ll X^\varepsilon/l}\sum_{|m| \ll X^\varepsilon}\sum_{c>0}\frac{1}{c}S(nr_1,-m,c)f\left(\frac{4\pi\sqrt{|mnr_1|}}{c}\right) \ll r^\theta X^\varepsilon$

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

1. Применение формулы следа Кузнецова (раздел 6)

Применяя формулу следа Кузнецова (лемма 2.6), разлагаем суммы Клостермана на три части: $\sum_c \frac{1}{c}S(nr_1,-m,c)f\left(\frac{4\pi\sqrt{|mnr_1|}}{c}\right) = \Sigma_{\text{Maass}} + \Sigma_{\text{cont.}} + \Sigma_{\text{hol.}}$

• Вклад форм Маасса: $\Sigma_{\text{Maass}} = \sum_{j=1}^\infty \rho_j(nr_1)\rho_j(m)\check{f}(\kappa_j)$
• Вклад непрерывного спектра: $\Sigma_{\text{cont.}} = \frac{1}{\pi}\int_{-\infty}^\infty \frac{(nmr_1)^{-i\eta}\sigma_{2i\eta}(nr_1)\sigma_{2i\eta}(m)\cosh(\pi\eta)\check{f}(\eta)}{|\zeta(1+2i\eta)|^2}d\eta$
• Вклад голоморфных форм: $\Sigma_{\text{hol.}} = \sum_{k \text{ чётное}}\tilde{f}(k)\sum_{j}\psi_{j,k}(m)\psi_{j,k}(nr_1)$

2. Тонкие оценки преобразования Бесселя (разделы 6.2-6.3)

Ключевая техника: Через обращение Меллина и формулу Стирлинга доказываем:

Предложение 6.2: $\check{f}(\eta) \ll X^{2\varepsilon}\frac{e^{-\pi|\eta|}}{|\eta|^{2+\varepsilon}}$

Схема доказательства:

1. Представляем $K_{2i\eta}(t)$ через обращение Меллина (формула 6.7)
2. Сдвигаем линию интегрирования на $\sigma = -1-\delta$, собираем вычеты в $s = \pm 2i\eta$
3. Интегрируем по частям дважды (используя $f''(t) \ll t^{-2}$)
4. Применяем асимптотику Стирлинга (лемма 2.3)

Предложение 6.3: $\ddot{f}(\eta) \ll X^\varepsilon \frac{e^{-\pi|\eta|}}{|\eta|^{5/2}}$

3. Оценка вклада форм Маасса (раздел 6.4)

Лемма 6.4 (ключевая техническая лемма): $\sum_{1 \leq n \leq N}|\rho_j(nq)|^2/\cosh(\pi\kappa_j) \ll q^{\theta+\varepsilon}N(N\kappa_j)^\varepsilon$

Доказательство: Используем соотношения Хекке (2.7) и границу Кима-Сарнака ($\theta \leq 7/64$).

Предложение 6.5: Применяя неравенство Коши-Шварца и закон Вейля (лемма 2.7): $M(X) \ll X^{2\varepsilon}\sum_{K \text{ диадическое}}\frac{1}{K^{2+\varepsilon}}\sum_{\kappa_j \sim K}\kappa_j^\varepsilon \ll r^\theta X^\varepsilon$

4. Обработка непрерывного спектра и голоморфных форм

• Непрерывный спектр (предложение 6.6): Используя асимптотику $\zeta(1+2i\eta)$ и экспоненциальное убывание, получаем $\Sigma_{\text{cont.}} \ll X^\varepsilon$
• Голоморфные формы (предложение 6.8): Применяя формулу следа Петерсона, границу Делиня и формулы сумм для функций Бесселя (лемма 6.7), получаем $\Sigma_{\text{hol.}} \ll X^\varepsilon$

Метод для mod-$p$ задачи (раздел 8)

Стратегия отличия: Для mod-$p$ задачи применяем ортогональность: $S(X,1,V;p) = \frac{1}{p}\sum_{a,b,c,d}V_X(a,b,c,d) + \frac{1}{p}\sum_{h \neq 0}^*e\left(\frac{-h}{p}\right)\sum V_X(a,b,c,d)e\left(\frac{h(ad-bc)}{p}\right)$

Ключевой приём:

1. Применяем формулу Пуассона только к двум переменным ($c,d$) (избегаем дублирования)
2. Исключаем $h$, преобразуя в $ac+bd \equiv 0 \pmod{p}$
3. Повторно применяем формулу Пуассона и лемму 8.1, используя малость двойственных переменных ($\ll pg(p)/X$)

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

Данная работа является чисто математической теоретической статьёй и не включает численные эксперименты. Все результаты получены через строгие математические доказательства.

Теоретическая верификация

1. Согласованность с известными результатами:
   • При $r=0$ или $r=X^2$ результаты совпадают с Heath-Brown HB96
   • Остаток $O(r^\theta X^{1+\varepsilon})$ лучше, чем $O(X^{3/2+\varepsilon})$ для общих четырёхмерных форм
2. Предельные случаи:
   • При $r = o(X^2)$ главный член $\sim K(V,r)X^2$ соответствует ожиданиям
   • При $X < \sqrt{p}$ mod-$p$ задача сводится к детерминантному уравнению

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

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

Смысл теоремы 1.1:

• Сила остатка: $O(r^\theta X^{1+\varepsilon})$ при $r = o(X^{2-\theta-\varepsilon})$ намного меньше главного члена $\sim X^2$
• Текущий оптимум: $\theta = 7/64$ даёт асимптотическую формулу при $r = o(X^{121/64-\varepsilon})$
• Гипотетический оптимум: Если верна гипотеза Рамануджана-Петерсона ($\theta=0$), то асимптотическая формула верна для всех $r = o(X^2)$

Точный главный член следствия 1.2: $K(V,r) = \frac{1}{\zeta(2)}\frac{\sigma(|r|)}{|r|}\int\!\!\!\int\!\!\!\int \frac{1}{t}V(u)V(v)V(t)V\left(\frac{uv}{t}\right)dudvdt$

• Множитель $\frac{\sigma(|r|)}{|r|}$ отражает влияние структуры делителей $r$ на число решений
• $\frac{1}{\zeta(2)} = \frac{6}{\pi^2}$ происходит из вероятности взаимной простоты

Значение теоремы 1.3:

• Улучшает результат Ahmadi-Shparlinski AS07 (требовавший $X \gg p^{1/2+\varepsilon}$ с фиксированным $\varepsilon$)
• Доказано, что для любого $g(p) \to \infty$ (сколь угодно медленно) достаточно $X \gg p^{1/2}g(p)$ для асимптотической формулы
• Приложение: существует большое количество матриц высоты $O(p^{1/2+o(1)})$, принадлежащих $\text{SL}_2(\mathbb{F}_p)$ по модулю $p$

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

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

1. Более широкий диапазон $r$ (почти достигает $X^2$)
2. Лучшая зависимость остатка от $r$ и $X$
3. Более прямой метод, избегающий технической сложности кругового метода

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

Теория представления квадратичными формами

1. Классическая теория:
   • Теория Якоби-Зигеля: Исследование через тета-ряды и модулярные формы (Kit86)
   • Теорема Зигеля: Неопределённые квадратичные формы при $n \geq 4$ удовлетворяют принципу Хассе (Sie51)
2. Круговой метод:
   • Изобретён Hardy-Ramanujan-Littlewood, развит Kloosterman и др.
   • "Новая форма кругового метода" Heath-Brown HB96
3. Спектральные методы:
   • Пионерские работы Deshouillers-Iwaniec DI82, DI83
   • Применение формулы следа Кузнецова

Приложения детерминантных уравнений

1. Моменты $L$-функций: Duke-Friedlander-Iwaniec DFI97
2. Трилинейные формы Клостермана: Bettin-Chandee BC18
3. Сдвинутые свёртки: Связь с функцией делителей

Матричные представления mod-$p$

1. Ahmadi-Shparlinski AS07:
   • Доказана асимптотическая формула при $X \gg p^{1/2+\varepsilon}$ (1.6)
   • Приложение к распределению матриц над конечными полями
2. Улучшение в данной работе: Снижение $\varepsilon$ до произвольно медленного $g(p)$

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

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

1. Теоретический вклад:
   • Установлена почти оптимальная асимптотическая формула для детерминантного уравнения $xy-zw=r$ (при гипотезе Рамануджана-Петерсона)
   • Остаток $O(r^\theta X^{1+\varepsilon})$ достигает сильных границ по обоим параметрам
2. Методологический вклад:
   • Демонстрирует мощь комбинации формулы Пуассона и формулы следа Кузнецова
   • Избегает технической сложности кругового метода
   • Тонкий анализ преобразования Бесселя — ключевая техническая инновация
3. Практическая ценность:
   • Обеспечивает лучшую теоретическую основу для оценок моментов $L$-функций
   • Даёт почти оптимальные результаты для распределения матриц над конечными полями

Ограничения

1. Ограничения диапазона:
   • Теорема 1.1 требует $r = o(X^2)$ (хотя уже очень широко)
   • Теорема 1.3 требует $X > p^{1/100}$ (техническое условие, может быть ослаблено)
2. Гладкие веса:
   • Используются гладкие функции $V$ вместо острого обрезания
   • Случай острого обрезания более сложен (см. GG23)
3. Зависимость от нерешённой гипотезы:
   • Конкретное значение остатка зависит от прогресса в гипотезе Рамануджана-Петерсона
   • Текущее значение $\theta = 7/64$, гипотетическое $\theta = 0$
4. Неполнота обобщений:
   • Замечание 1.4 указывает, что метод обобщается на тернарные формы $\alpha x_1x_2 - \beta x_3^2$
   • Полное доказательство не приведено

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

1. Обобщение на другие формы:
   • Тернарные формы $\alpha x_1x_2 - \beta x_3^2$ (с использованием сумм Салье и формулы Проскурина)
   • Более общие неопределённые квадратичные формы
2. Улучшение остатка:
   • Использование прогресса в гипотезе Рамануджана-Петерсона
   • Исследование других спектральных методов
3. Острое обрезание:
   • Расширение диапазона $r$ в GG23 (текущее $|r| \leq X^{1/3}$)
   • Требует более тонких инструментов спектральной теории
4. Приложения:
   • Улучшенные оценки моментов $L$-функций
   • Новые результаты для сдвинутых свёрток

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

Достоинства

1. Инновационность метода:
   • Прямое применение анализа Фурье вместо кругового метода, ясная логика
   • Тонкие оценки преобразования Бесселя (предложения 6.2-6.3) демонстрируют глубокое аналитическое мастерство
   • Преобразование задачи в суммы Клостермана с последующим применением спектральной теории — искусный приём
2. Сила результатов:
   • Остаток $O(r^\theta X^{1+\varepsilon})$ — сильная граница по обоим параметрам
   • Диапазон $r = o(X^2)$ почти оптимален
   • Результат mod-$p$ улучшает лучший известный результат
3. Техническая глубина:
   • Три части формулы Кузнецова (Маасса, непрерывный спектр, голоморфные) получают тонкую обработку
   • Лемма 6.4 (об оценке $\rho_j(nq)$) — ключевой технический вклад
   • Эффективное использование неравенства Коши-Шварца и закона Вейля
4. Ясность изложения:
   • Чёткая структура, логичный переход от мотивации к доказательству
   • Подробное сравнение со связанными работами (замечания 1.1-1.6)
   • Полные технические детали, высокая воспроизводимость

Недостатки

1. Ограничение гладкими весами:
   • Случай острого обрезания имеет большую практическую ценность, но не рассмотрен
   • Хотя авторы обработали часть этого в GG23, диапазон там уже
2. Зависимость от глубокой гипотезы:
   • Конкретное значение остатка зависит от гипотезы Рамануджана-Петерсона
   • Текущее $\theta = 7/64$ оставляет место для улучшения
3. Неполные обобщения:
   • Замечание 1.4 упоминает обобщение на тернарные формы, но доказательство отсутствует
   • Неясно обобщение на произвольные неопределённые квадратичные формы
4. Недостаточно примеров приложений:
   • Хотя упоминается связь с моментами $L$-функций, конкретные приложения не даны
   • Можно было бы добавить численные примеры или конкретные сценарии применения

Влияние

1. Теоретическое влияние:
   • Предоставляет новый мощный инструмент для задач о представлении неопределёнными квадратичными формами
   • Оценки преобразования Бесселя могут быть полезны для других задач
   • Демонстрирует преимущества спектральных методов в этом классе задач
2. Методологическое влияние:
   • Парадигма "формула Пуассона + формула следа Кузнецова" может получить широкое применение
   • Избегание сложности кругового метода делает подход более доступным для обобщений
3. Практическая ценность:
   • Обеспечивает лучшую теоретическую основу для оценок моментов $L$-функций
   • Результат mod-$p$ имеет прямое приложение к теории матричных представлений над конечными полями
4. Воспроизводимость:
   • Доказательство полное, технические детали ясны
   • Используемые инструменты (формула Кузнецова, закон Вейля и т.д.) стандартны
   • Высокая степень воспроизводимости

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

1. Теоретические исследования:
   • Задачи о представлении неопределёнными квадратичными формами
   • Оценки сумм Клостермана
   • Приложения спектральной теории автоморфных форм
2. Аналитическая теория чисел:
   • Оценки моментов $L$-функций
   • Сдвинутые свёртки
   • Оценки экспоненциальных сумм
3. Алгебраическая теория чисел:
   • Количественная версия принципа Хассе
   • Целые препятствия Брауэра-Манина
4. Конечные поля:
   • Распределение матриц над конечными полями
   • Задачи о сравнениях по модулю простого числа

Ключевые ссылки

1. HB96 Heath-Brown, D. R. "A new form of the circle method, and its application to quadratic forms." J. Reine Angew. Math. 481 (1996): 149-206.
   • Применение кругового метода к квадратичным формам, основной объект сравнения в данной работе
2. DI83 Deshouillers, J.-M., and Iwaniec, H. "Kloosterman sums and Fourier coefficients of cusp forms." Invent. Math. 70 (1982/83): 219-288.
   • Классическая ссылка на формулу следа Кузнецова
3. Kim03 Kim, H. H. "Functoriality for the exterior square of GL₄ and the symmetric fourth of GL₂." J. Amer. Math. Soc. 16 (2003): 139-183.
   • Лучший известный результат для гипотезы Рамануджана-Петерсона $\theta \leq 7/64$
4. IK04 Iwaniec, H., and Kowalski, E. Analytic Number Theory. AMS, 2004.
   • Стандартный справочник по аналитической теории чисел
5. GG23 Ganguly, S., and Guria, R. "Counting lattice points on determinant surfaces and spectral methods of automorphic forms." Submitted, 2023.
   • Предыдущая работа авторов, обработка случая острого обрезания
6. AS07 Ahmadi, O., and Shparlinski, I. E. "Distribution of matrices with restricted entries over finite fields." Indag. Math. 18 (2007): 327-337.
   • Предыдущая работа по mod-$p$ задачам

Общая оценка: Это высококачественная статья по аналитической теории чисел, которая через искусное сочетание анализа Фурье и спектральной теории автоморфных форм даёт почти оптимальные результаты для классической задачи подсчёта решений детерминантного уравнения. Метод инновационен, техника глубока, результаты сильны, работа вносит значительный вклад в область. Особенно впечатляют тонкие оценки преобразования Бесселя и обработка зависимости от $r$, демонстрирующие глубокое аналитическое мастерство авторов. Статья написана ясно, логика строга, высокая воспроизводимость. Отличный пример применения спектральных методов.