Appell Functions for General Lattices

Basic Information

• Paper ID: 2510.10204
• Title: Appell Functions for General Lattices
• Authors: Aradhita Chattopadhyaya (Chennai Mathematical Institute), Jan Manschot (Trinity College Dublin)
• Classification: math.NT (Number Theory), hep-th (High Energy Physics - Theory)
• Submission Date: October 11, 2025
• Paper Link: https://arxiv.org/abs/2510.10204

Abstract

This paper investigates Appell functions associated with arbitrary positive definite lattices Λ and selections of M ≤ dim(Λ) linearly independent vectors dr ∈ Λ (r=1,...,M). These functions are instances of multivariate quasi-elliptic functions, with specific examples appearing across various fields in mathematics and theoretical physics. For instance, when Λ is chosen to be one-dimensional, these functions reduce to classical Appell functions, which constitute an important example in the theory of mock modular forms. The Appell functions introduced in this paper exemplify mock modular forms of depth M. We derive structural formulas for their completions modulo appropriate corrections. Motivated by partition functions in theoretical physics, we discuss in detail the case where Λ is the AN root lattice.

Research Background and Motivation

Problem Background

1. Generalization of Classical Appell Functions: Classical Appell functions are nineteenth-century bivariate quasi-elliptic functions that play an important role in mock modular form theory. This paper aims to generalize them to arbitrary positive definite lattices.
2. Application Requirements in Theoretical Physics: In topologically twisted N=4 supersymmetric Yang-Mills theory, algebraic geometry, supersymmetric black holes, and topological quantum field theory, more general Appell functions are needed to describe partition functions of BPS invariants.
3. Modular Completion Problem: These functions do not transform in the standard manner under modular transformations, necessitating the discovery of appropriate non-holomorphic completions that possess good modular properties.

Research Significance

• Mathematical Theoretical Value: Generalizes classical Appell function theory and provides concrete examples of high-depth mock modular forms
• Physical Application Value: Provides mathematical tools for partition function calculations in theoretical physics
• Interdisciplinary Significance: Connects number theory, algebraic geometry, and theoretical physics

Core Contributions

1. Definition of Appell Functions on General Lattices: Defines depth-M Appell functions Φμ,ν for arbitrary positive definite lattices Λ and M linearly independent vectors {dr}
2. Establishment of Connection with Indefinite Theta Series: Represents Appell functions as theta series on (M+N)-dimensional indefinite lattices, where N = dim(Λ)
3. Derivation of Structural Formulas for Modular Completions: Provides explicit structural formulas for the completed functions Φ̂μ (equations 3.40 and 3.42)
4. Detailed Analysis of AN Root Lattice Cases: Provides concrete calculations and examples for the root lattice AN of SU(N+1)
5. Verification of Physical Applications: Validates the theory's practical utility through examples of BPS invariants

Methodology Details

Task Definition

Investigation of generalized Appell functions defined on positive definite lattices Λ: $\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)})}$

where:

• Λ is an N-dimensional positive definite integer lattice
• μ ∈ Λ⊗ℝ, ν ∈ Λd⊗ℝ
• {dr} are M linearly independent lattice vectors
• u ∈ Λd⊗ℂ, v ∈ Λ⊗ℂ are elliptic variables

Core Methodological Framework

1. Geometric Series Expansion

Expands the geometric series in the denominator and introduces sign functions: $\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 of Extended Lattice

Constructs the (M+N)-dimensional indefinite lattice Λ̄ = Λ ⊕ (-Λd), where:

• Basis vectors: αi (i=1,...,N) and αN+r = (0, dr) (r=1,...,M)
• Quadratic form matrix: $\mathbf{A} = \begin{pmatrix} A & C \\ C^T & 0 \end{pmatrix}$

3. Indefinite Theta Series Representation

Represents Φμ,ν as an indefinite theta series: $\Phi_{\mu,\nu}^+ = \Theta_{\bar{\Λ},\bar{\mu}}(\tau, z, \{C_r, C'_r\})$

where Cr and C'r are special vectors in Λ̄.

4. Modular Completion

Employs Vignéras theory to replace the product of sign functions with generalized error functions: $\hat{\Phi}_{\mu,\nu} = \Phi_{\mu,\nu}^+ + R_{\mu,\nu}$

where Rμ,ν contains non-holomorphic terms.

Technical Innovations

1. Integration of Lattice Theory and Modular Forms: Skillfully combines lattice-theoretic techniques with indefinite theta series theory
2. Structured Completion Formulas: Completions can be expressed in terms of lower-depth Appell functions and iterated integrals
3. Utilization of Weyl Group Symmetry: Exploits the action of the Weyl group in the AN lattice case to simplify calculations

Experimental Setup

Concrete Examples for Verification

1. A2 Lattice (SU(3) Case)

• Verifies consistency with results in references 18,25
• Vectors: $d_1 = \begin{pmatrix} -1 \\ 0 \end{pmatrix}$, $d_2 = \begin{pmatrix} 1 \\ 1 \end{pmatrix}$

2. A3 Lattice (SU(4) Case)

Provides detailed calculations of the function: $\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. Evaluation Criteria

• Numerical consistency with known results
• Verification of modular transformation properties
• Reasonableness of physical interpretation

Experimental Results

Main Results

1. Structural Formula (Equation 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^{\|}}^+$

where:

• $R_{L,\nu}$ are L-dimensional iterated integrals
• $\nu_g^{\perp}, \nu_g^{\|}$ are orthogonal decompositions of gluing vectors

2. Modular Transformation Properties

The completed function satisfies: $\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. Concrete Calculations for A3 Lattice

Successfully computes the depth-3 completion, including:

• L=1 terms: 3 M1-type integrals
• L=2 terms: 3 M2-type integrals
• L=3 terms: 1 M3-type integral

Verification Results

• A2 Lattice: Complete agreement with reference 25, Thm 5.3
• A3 Lattice: Consistent with conjectured results in reference 20, Appendix F.3
• Modular Properties: Numerical verification confirms correctness of modular transformations

Related Work

Historical Development

1. Classical Theory: Original work by Appell (1886) and Lerch (1892)
2. Modern Development: Zwegers' (2008) theory of mock theta functions
3. Physical Applications: Applications in Vafa-Witten theory

Positioning of This Work

• Theoretical Generalization: Extension from one-dimensional to arbitrary-dimensional lattices
• Depth Concept: Introduction of depth-M mock modular forms
• Computational Methods: Provision of systematic computational framework

Conclusions and Discussion

Main Conclusions

1. Successfully generalizes classical Appell functions to arbitrary positive definite lattices
2. Establishes a complete theory of modular completions
3. Provides mathematical foundations for partition functions in theoretical physics

Limitations

1. Computational Complexity: Calculations for high-dimensional lattices remain complex
2. Convergence Conditions: Non-trivial constraints on the support of the kernel function K
3. Physical Interpretation: Physical meaning of certain mathematical structures requires further exploration

Future Directions

1. More General Lattices: Investigation of indefinite lattice cases
2. Numerical Methods: Development of efficient numerical computation algorithms
3. Physical Applications: Further applications in black hole physics and string theory

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides a complete theoretical framework from definition to completion
2. Computational Feasibility: Offers concrete computational formulas and examples
3. Interdisciplinary Value: Bridges pure mathematics and theoretical physics
4. Technical Innovation: Skillfully combines lattice theory with modular form theory

Weaknesses

1. Symbolic Complexity: Formulas are relatively complex, and practical computation remains challenging
2. Limited Examples: Primarily focuses on AN-type lattices with fewer examples of other types
3. Abbreviated Physical Verification: Physical application section is relatively brief

Impact

1. Theoretical Contribution: Provides important examples for high-depth mock modular form theory
2. Practical Value: Furnishes new tools for theoretical physics calculations
3. Reproducibility: Provides detailed computational steps facilitating verification and generalization

Applicable Scenarios

1. Mathematical Research: Modular form theory, algebraic geometry
2. Theoretical Physics: Supersymmetric theory, string theory, black hole physics
3. Computational Applications: Partition function calculations, BPS invariant research

References

The paper cites 43 important references spanning the development from classical Appell functions to modern mock modular form theory, with extensive applications in theoretical physics. Key references include Zwegers' groundbreaking work, Vignéras' theory of indefinite theta series, and recent applications in Vafa-Witten theory.