Функции Аппеля для общих решёток

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

• ID статьи: 2510.10204
• Название: Appell Functions for General Lattices
• Авторы: Aradhita Chattopadhyaya (Chennai Mathematical Institute), Jan Manschot (Trinity College Dublin)
• Классификация: math.NT (Теория чисел), hep-th (Теоретическая физика высоких энергий)
• Дата подачи: 11 октября 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2510.10204

Аннотация

В данной работе исследуются функции Аппеля, связанные с произвольной положительно определённой решёткой Λ и выбором M ≤ dim(Λ) линейно независимых векторов dr ∈ Λ (r=1,...,M). Эти функции являются примерами многомерных квазиэллиптических функций, конкретные случаи которых появляются в различных областях математики и теоретической физики. Например, когда Λ выбирается одномерной, эти функции сводятся к классическим функциям Аппеля, которые представляют собой важный пример в теории модулярных форм. Введённые в работе функции Аппеля являются примерами модулярных форм глубины M. Мы выводим структурные формулы для их модулярного пополнения. Вдохновляясь функциями распределения в теоретической физике, мы подробно обсуждаем случай, когда Λ является корневой решёткой AN.

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

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

1. Обобщение классических функций Аппеля: Классические функции Аппеля — это двумерные квазиэллиптические функции XIX века, играющие важную роль в теории модулярных форм. Данная работа направлена на их обобщение на произвольные положительно определённые решётки.
2. Потребность в приложениях теоретической физики: В топологически скрученной N=4 суперсимметричной теории Янга-Миллса, алгебраической геометрии, суперсимметричных чёрных дырах и топологической квантовой теории поля требуются более общие функции Аппеля для описания функций распределения BPS-индексов.
3. Проблема модулярного пополнения: Эти функции не преобразуются стандартным образом при модулярных преобразованиях, поэтому необходимо найти подходящее неголоморфное пополнение, обеспечивающее хорошие модулярные свойства.

Значимость исследования

• Теоретическая ценность: Обобщение классической теории функций Аппеля, предоставление конкретных примеров модулярных форм высокой глубины
• Прикладная ценность: Предоставление математических инструментов для расчёта функций распределения в теоретической физике
• Междисциплинарное значение: Связь между теорией чисел, алгебраической геометрией и теоретической физикой

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

1. Определение функций Аппеля на общих решётках: Для произвольной положительно определённой решётки Λ и M линейно независимых векторов {dr} определены функции Аппеля Φμ,ν глубины M
2. Установление связи с неопределёнными тета-рядами: Представление функций Аппеля в виде тета-рядов на (M+N)-мерной неопределённой решётке, где N = dim(Λ)
3. Вывод структурных формул модулярного пополнения: Получены явные структурные формулы для пополненной функции Φ̂μ (уравнения 3.40 и 3.42)
4. Детальный анализ случая корневой решётки AN: Предоставлены конкретные вычисления и примеры для корневой решётки SU(N+1)
5. Верификация физических приложений: Проверка применимости теории на примерах BPS-индексов

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

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

Исследование обобщённых функций Аппеля, определённых на положительно определённой решётке Λ: $\Phi_{\mu,\nu}(\tau, u, v, \{d_r\}) = e^{2\pi i B(\nu,u)} \sum_{k \in \Λ+\mu-\nu} \frac{q^{Q(k)/2+B(\nu,k)}e^{2\pi i B(v,k)}}{\prod_{r=1}^M (1-e^{2\pi i B(d_r,u)}q^{B(d_r,k)})}$

где:

• Λ — N-мерная положительно определённая целочисленная решётка
• μ ∈ Λ⊗ℝ, ν ∈ Λd⊗ℝ
• {dr} — M линейно независимых векторов решётки
• u ∈ Λd⊗ℂ, v ∈ Λ⊗ℂ — эллиптические переменные

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

1. Разложение геометрического ряда

Разложение геометрического ряда в знаменателе с введением функции знака: $\frac{1}{1-e^{2\pi i B(d_r,u)}q^{B(d_r,k)}} = \sum_{x_r \in \mathbb{Z}} e^{2\pi i B(x_r d_r, u)}q^{B(x_r d_r, k)} \cdot 2^{-1}(\text{sgn}(x_r + \epsilon) + \text{sgn}(B(d_r, k+a)))$

2. Конструирование расширенной решётки

Конструирование (M+N)-мерной неопределённой решётки Λ̄ = Λ ⊕ (-Λd), где:

• Базисные векторы: αi (i=1,...,N) и αN+r = (0, dr) (r=1,...,M)
• Матрица квадратичной формы: $\mathbf{A} = \begin{pmatrix} A & C \\ C^T & 0 \end{pmatrix}$

3. Представление неопределённым тета-рядом

Представление Φμ,ν в виде неопределённого тета-ряда: $\Phi_{\mu,\nu}^+ = \Theta_{\bar{\Λ},\bar{\mu}}(\tau, z, \{C_r, C'_r\})$

где Cr и C'r — специальные векторы в Λ̄.

4. Модулярное пополнение

Использование теории Виньераса с заменой произведения функций знака на обобщённые функции ошибок: $\hat{\Phi}_{\mu,\nu} = \Phi_{\mu,\nu}^+ + R_{\mu,\nu}$

где Rμ,ν содержит неголоморфные члены.

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

1. Синтез теории решёток и модулярных форм: Искусное объединение методов теории решёток с теорией неопределённых тета-рядов
2. Структурированные формулы пополнения: Пополнение может быть выражено через функции Аппеля меньшей глубины и итерированные интегралы
3. Использование симметрий группы Вейля: Применение действия группы Вейля для упрощения вычислений в случае решётки AN

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

Конкретные примеры верификации

1. Решётка A2 (случай SU(3))

• Проверка согласованности с результатами из литературы 18,25
• Векторы: $d_1 = \begin{pmatrix} -1 \\ 0 \end{pmatrix}$, $d_2 = \begin{pmatrix} 1 \\ 1 \end{pmatrix}$

2. Решётка A3 (случай SU(4))

Детальное вычисление функции: $\Psi_{(1,1,1,1),(0,0)}(\tau,z) = \sum_{b_1,b_2,b_3 \in \mathbb{Z}} \frac{w^{-6b_1-4b_2-2b_3}q^{b_1^2+b_2^2+b_3^2+b_1 b_2+b_2 b_3+b_1 b_3}}{(1-w^4 q^{b_1-b_2})(1-w^4 q^{b_2-b_3})(1-w^4 q^{b_1+b_2+2b_3})}$

3. Критерии оценки

• Численная согласованность с известными результатами
• Верификация свойств модулярного преобразования
• Обоснованность физической интерпретации

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

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

1. Структурная формула (уравнение 3.40)

$\hat{\Phi}_\mu = \Phi_\mu^+ + \sum_{L=1}^M \sum_{\{d_{s_j}\} \subsetneq \{d_r\}} \sum_{g=1}^{N_g} 2^{-L} R_{L,\nu_g^{\perp}} \cdot \Phi_{\mu,\nu_g^{\|}}^+$

где:

• $R_{L,\nu}$ — L-мерный итерированный интеграл
• $\nu_g^{\perp}, \nu_g^{\|}$ — ортогональное разложение векторов склейки

2. Свойства модулярного преобразования

Пополненная функция удовлетворяет: $\hat{\Phi}_{\mu,\nu}\left(\frac{a\tau+b}{c\tau+d}, \frac{u}{c\tau+d}, \frac{v}{c\tau+d}\right) = (c\tau+d)^{(M+N)/2} e^{-\pi i \frac{c}{c\tau+d}(Q(u^2)-2B(u,v))} \hat{\Phi}_{\mu,\nu}(\tau,u,v)$

3. Конкретные вычисления для решётки A3

Успешное вычисление пополнения глубины 3, включающее:

• L=1 члены: 3 интеграла типа M1
• L=2 члены: 3 интеграла типа M2
• L=3 члены: 1 интеграл типа M3

Результаты верификации

• Решётка A2: Полное совпадение с результатами из литературы 25, Thm 5.3
• Решётка A3: Согласованность с гипотезой из литературы 20, Appendix F.3
• Модулярные свойства: Численная верификация корректности модулярного преобразования

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

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

1. Классическая теория: Оригинальные работы Аппеля (1886) и Лерча (1892)
2. Современное развитие: Теория модулярных тета-функций Цвегерса (2008)
3. Физические приложения: Применение в теории Вафы-Виттена

Позиционирование данной работы

• Теоретическое обобщение: Расширение от одномерного случая к произвольным решёткам
• Концепция глубины: Введение модулярных форм глубины M
• Вычислительный метод: Предоставление систематической вычислительной схемы

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

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

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

Ограничения

1. Вычислительная сложность: Расчёты для решёток высокой размерности остаются сложными
2. Условия сходимости: Нетривиальные ограничения на носитель ядра функции K
3. Физическая интерпретация: Физический смысл некоторых математических структур требует дальнейшего изучения

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

1. Более общие решётки: Исследование случаев неопределённых решёток
2. Численные методы: Разработка эффективных алгоритмов численных расчётов
3. Физические приложения: Дальнейшее применение в физике чёрных дыр и теории струн

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

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

1. Теоретическая полнота: Предоставление полной теоретической схемы от определения до пополнения
2. Вычислительная реализуемость: Предоставление конкретных формул и примеров
3. Междисциплинарная ценность: Связь между чистой математикой и теоретической физикой
4. Технические инновации: Искусное объединение теории решёток и теории модулярных форм

Недостатки

1. Сложность обозначений: Формулы достаточно сложны, практические вычисления остаются вызовом
2. Ограниченность примеров: Основное внимание сосредоточено на решётках типа AN, примеры других типов ограничены
3. Краткость физической верификации: Раздел физических приложений относительно краток

Влияние

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

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

1. Математические исследования: Теория модулярных форм, алгебраическая геометрия
2. Теоретическая физика: Суперсимметричные теории, теория струн, физика чёрных дыр
3. Вычислительные приложения: Расчёты функций распределения, исследование BPS-индексов

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

Статья цитирует 43 важных источника, охватывающих развитие от классических функций Аппеля до современной теории модулярных форм, а также широкое применение в теоретической физике. Ключевые источники включают пионерские работы Цвегерса, теорию неопределённых тета-рядов Виньераса и недавние исследования приложений в теории Вафы-Виттена.