2025-11-10T02:48:57.776003

Appell Functions for General Lattices

Chattopadhyaya, Manschot
We study Appell functions associated to an arbitrary positive definite lattice $Λ$ and a choice of $M\leq {\rm dim}(Λ)$ linearly independent vectors $d_r\in Λ$, $r=1,\dots,M$. These functions are instances of multi-variable quasi-elliptic functions, and specific examples have appeared at various places in mathematics and theoretical physics. For example, if $Λ$ is chosen to be one-dimensional, these functions reduce to the classical Appell function, which is a prominent example in the theory of mock modular forms. The Appell functions introduced here are examples of depth $M$ mock modular forms. We derive a structural formula for their modular completion. Motivated by partition functions in theoretical physics, we discuss the case where $Λ$ is the $A_N$ root lattice in detail.
academic

Fonctions d'Appell pour les Réseaux Généraux

Informations Fondamentales

  • ID de l'article: 2510.10204
  • Titre: Appell Functions for General Lattices
  • Auteurs: Aradhita Chattopadhyaya (Chennai Mathematical Institute), Jan Manschot (Trinity College Dublin)
  • Classification: math.NT (Théorie des Nombres), hep-th (Physique Théorique - Énergie Élevée)
  • Date de soumission: 11 octobre 2025
  • Lien de l'article: https://arxiv.org/abs/2510.10204

Résumé

Cet article étudie les fonctions d'Appell associées à un réseau positif défini arbitraire Λ, ainsi qu'au choix de M ≤ dim(Λ) vecteurs linéairement indépendants dr ∈ Λ (r=1,...,M). Ces fonctions sont des instances de fonctions quasi-elliptiques multivariées, dont des cas particuliers sont apparus dans divers domaines des mathématiques et de la physique théorique. Par exemple, lorsque Λ est choisi comme unidimensionnel, ces fonctions se réduisent aux fonctions d'Appell classiques, qui constituent un exemple important dans la théorie des formes modulaires simulées. Les fonctions d'Appell introduites dans cet article sont des exemples de formes modulaires simulées de profondeur M. Nous dérivons les formules de structure pour leurs complétions modulo. Inspirés par les fonctions de partition en physique théorique, nous discutons en détail le cas où Λ est le réseau de racines AN.

Contexte et Motivation de la Recherche

Contexte du Problème

  1. Généralisation des fonctions d'Appell classiques: Les fonctions d'Appell classiques sont des fonctions quasi-elliptiques bivariées du XIXe siècle qui jouent un rôle important dans la théorie des formes modulaires simulées. Cet article vise à les généraliser à des réseaux positifs définis arbitraires.
  2. Besoins d'applications en physique théorique: Dans la théorie de Yang-Mills supersymétrique N=4 tordue topologiquement, la géométrie algébrique, les trous noirs supersymétriques et la théorie quantique des champs topologique, des fonctions d'Appell plus générales sont nécessaires pour décrire les fonctions de partition des indices BPS.
  3. Problème de complétude modulaire: Ces fonctions ne se transforment pas de manière standard sous les transformations modulaires, ce qui nécessite de trouver une complétude non-holomorphe appropriée pour qu'elles possèdent de bonnes propriétés modulaires.

Importance de la Recherche

  • Valeur théorique mathématique: Généralise la théorie classique des fonctions d'Appell et fournit des exemples concrets de formes modulaires simulées de profondeur élevée
  • Valeur d'application physique: Fournit des outils mathématiques pour le calcul des fonctions de partition en physique théorique
  • Signification interdisciplinaire: Relie la théorie des nombres, la géométrie algébrique et la physique théorique

Contributions Principales

  1. Définition des fonctions d'Appell sur les réseaux généraux: Pour tout réseau positif défini Λ et M vecteurs linéairement indépendants {dr}, définition des fonctions d'Appell Φμ,ν de profondeur M
  2. Établissement de liens avec les séries thêta indéfinies: Représentation des fonctions d'Appell comme séries thêta sur des réseaux indéfinis de dimension (M+N), où N = dim(Λ)
  3. Dérivation des formules de structure pour la complétude modulaire: Fourniture de formules de structure explicites pour la fonction complétée Φ̂μ (équations 3.40 et 3.42)
  4. Analyse détaillée du cas des réseaux de racines AN: Fourniture de calculs concrets et d'exemples pour le réseau de racines AN de SU(N+1)
  5. Vérification des applications physiques: Vérification de l'utilité pratique de la théorie par des exemples d'indices BPS

Détails Méthodologiques

Définition de la Tâche

Étude des fonctions d'Appell généralisées définies sur un réseau positif défini Λ: Φμ,ν(τ,u,v,{dr})=e2πiB(ν,u)k+μνqQ(k)/2+B(ν,k)e2πiB(v,k)r=1M(1e2πiB(dr,u)qB(dr,k))\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)})}

où:

  • Λ est un réseau entier positif défini de dimension N
  • μ ∈ Λ⊗ℝ, ν ∈ Λd⊗ℝ
  • {dr} sont M vecteurs de réseau linéairement indépendants
  • u ∈ Λd⊗ℂ, v ∈ Λ⊗ℂ sont les variables elliptiques

Architecture de la Méthode Principale

1. Développement en Série Géométrique

Développement de la série géométrique au dénominateur, introduction de fonctions de signe: 11e2πiB(dr,u)qB(dr,k)=xrZe2πiB(xrdr,u)qB(xrdr,k)21(sgn(xr+ϵ)+sgn(B(dr,k+a)))\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. Construction d'un Réseau Étendu

Construction du réseau indéfini de dimension (M+N) Λ̄ = Λ ⊕ (-Λd), où:

  • Vecteurs de base: αi (i=1,...,N) et αN+r = (0, dr) (r=1,...,M)
  • Matrice de forme quadratique: A=(ACCT0)\mathbf{A} = \begin{pmatrix} A & C \\ C^T & 0 \end{pmatrix}

3. Représentation par Série Thêta Indéfinie

Représentation de Φμ,ν comme série thêta indéfinie: Φμ,ν+=Θˉ,μˉ(τ,z,{Cr,Cr})\Phi_{\mu,\nu}^+ = \Theta_{\bar{\Λ},\bar{\mu}}(\tau, z, \{C_r, C'_r\})

où Cr et C'r sont des vecteurs spéciaux dans Λ̄.

4. Complétude Modulaire

Utilisation de la théorie de Vignéras, remplacement du produit de fonctions de signe par des fonctions d'erreur généralisées: Φ^μ,ν=Φμ,ν++Rμ,ν\hat{\Phi}_{\mu,\nu} = \Phi_{\mu,\nu}^+ + R_{\mu,\nu}

où Rμ,ν contient les termes non-holomorphes.

Points d'Innovation Technique

  1. Combinaison de la théorie des réseaux et des formes modulaires: Combinaison ingénieuse des techniques de théorie des réseaux avec la théorie des séries thêta indéfinies
  2. Formules de complétude structurées: La complétude peut être exprimée en termes de fonctions d'Appell de profondeur inférieure et d'intégrales itérées
  3. Utilisation de la symétrie du groupe de Weyl: Utilisation de l'action du groupe de Weyl dans le cas du réseau AN pour simplifier les calculs

Configuration Expérimentale

Exemples Concrets de Vérification

1. Réseau A2 (cas SU(3))

  • Vérification de la cohérence avec les résultats de la littérature 18,25
  • Vecteurs: d1=(10)d_1 = \begin{pmatrix} -1 \\ 0 \end{pmatrix}, d2=(11)d_2 = \begin{pmatrix} 1 \\ 1 \end{pmatrix}

2. Réseau A3 (cas SU(4))

Calcul détaillé de la fonction: Ψ(1,1,1,1),(0,0)(τ,z)=b1,b2,b3Zw6b14b22b3qb12+b22+b32+b1b2+b2b3+b1b3(1w4qb1b2)(1w4qb2b3)(1w4qb1+b2+2b3)\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. Critères d'Évaluation

  • Cohérence numérique avec les résultats connus
  • Vérification des propriétés de transformation modulaire
  • Rationalité de la signification physique

Résultats Expérimentaux

Résultats Principaux

1. Formule de Structure (Équation 3.40)

Φ^μ=Φμ++L=1M{dsj}{dr}g=1Ng2LRL,νgΦμ,νg+\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^{\|}}^+

où:

  • RL,νR_{L,\nu} sont des intégrales itérées de dimension L
  • νg,νg\nu_g^{\perp}, \nu_g^{\|} sont les décompositions orthogonales des vecteurs de collage

2. Propriétés de Transformation Modulaire

La fonction complétée satisfait: Φ^μ,ν(aτ+bcτ+d,ucτ+d,vcτ+d)=(cτ+d)(M+N)/2eπiccτ+d(Q(u2)2B(u,v))Φ^μ,ν(τ,u,v)\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. Calculs Concrets pour le Réseau A3

Calcul réussi de la complétude de profondeur 3, incluant:

  • Termes L=1: 3 intégrales de type M1
  • Termes L=2: 3 intégrales de type M2
  • Termes L=3: 1 intégrale de type M3

Résultats de Vérification

  • Réseau A2: Cohérence complète avec 25, Thm 5.3
  • Réseau A3: Cohérence avec les résultats conjecturés dans 20, Appendix F.3
  • Propriétés modulaires: Vérification numérique de la correction des transformations modulaires

Travaux Connexes

Développement Historique

  1. Théorie classique: Travaux originaux d'Appell (1886) et Lerch (1892)
  2. Développements modernes: Théorie des fonctions thêta simulées de Zwegers (2008)
  3. Applications physiques: Applications dans la théorie de Vafa-Witten

Positionnement de cet Article

  • Généralisation théorique: Généralisation de la dimension 1 aux réseaux arbitraires
  • Concept de profondeur: Introduction des formes modulaires simulées de profondeur M
  • Méthode de calcul: Fourniture d'un cadre de calcul systématique

Conclusions et Discussion

Conclusions Principales

  1. Généralisation réussie des fonctions d'Appell classiques aux réseaux positifs définis arbitraires
  2. Établissement d'une théorie complète de complétude modulaire
  3. Fourniture d'une base mathématique pour les fonctions de partition en physique théorique

Limitations

  1. Complexité de calcul: Les calculs pour les réseaux de dimension élevée restent complexes
  2. Conditions de convergence: Contraintes non-triviales sur le support de la fonction noyau K
  3. Interprétation physique: La signification physique de certaines structures mathématiques nécessite une exploration supplémentaire

Directions Futures

  1. Réseaux plus généraux: Étude du cas des réseaux non-positifs définis
  2. Méthodes numériques: Développement d'algorithmes de calcul numérique efficaces
  3. Applications physiques: Applications supplémentaires en physique des trous noirs et théorie des cordes

Évaluation Approfondie

Avantages

  1. Complétude théorique: Fourniture d'un cadre théorique complet de la définition à la complétude
  2. Faisabilité de calcul: Fourniture de formules de calcul concrètes et d'exemples
  3. Valeur interdisciplinaire: Connexion entre les mathématiques pures et la physique théorique
  4. Innovation technique: Combinaison ingénieuse de la théorie des réseaux et de la théorie des formes modulaires

Insuffisances

  1. Complexité symbolique: Les formules sont relativement complexes, les calculs pratiques présentent encore des défis
  2. Limitation des exemples: Concentration principalement sur les réseaux de type AN, exemples limités pour d'autres types
  3. Vérification physique: La partie sur les applications physiques est relativement brève

Impact

  1. Contribution théorique: Fourniture d'exemples importants pour la théorie des formes modulaires simulées de profondeur élevée
  2. Valeur pratique: Fourniture de nouveaux outils pour les calculs en physique théorique
  3. Reproductibilité: Fourniture d'étapes de calcul détaillées, facilitant la vérification et la généralisation

Scénarios d'Application

  1. Recherche mathématique: Théorie des formes modulaires, géométrie algébrique
  2. Physique théorique: Théorie supersymétrique, théorie des cordes, physique des trous noirs
  3. Applications de calcul: Calcul de fonctions de partition, étude des indices BPS

Références Bibliographiques

L'article cite 43 références importantes, couvrant l'évolution du développement des fonctions d'Appell classiques à la théorie moderne des formes modulaires simulées, ainsi que les applications généralisées en physique théorique. Les références clés incluent les travaux fondateurs de Zwegers, la théorie des séries thêta indéfinies de Vignéras, ainsi que les recherches récentes sur les applications dans la théorie de Vafa-Witten.