⚛️ high-energy theory

Iterated integrals for generalized Appell functions

This paper expresses the non-holomorphic modular completion of generalized Appell functions, previously defined via multi-dimensional error functions, as iterated Eichler integrals of modular forms and applies this framework to the root lattices of $A_N$ Lie algebras relevant to topological twisted Yang-Mills theories.

Original authors: Aradhita Chattopadhyaya, Jan Manschot

Published 2026-09-24

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Aradhita Chattopadhyaya, Jan Manschot

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of modern mathematics and theoretical physics, there exists a class of objects known as modular forms. These are highly symmetric functions that behave in predictable ways when their inputs are transformed, much like a crystal that looks the same from different angles. For decades, mathematicians have relied on these functions to count the ways particles can arrange themselves in the quantum world, particularly in theories describing the fundamental forces of nature. However, a specific group of these counting tools, known as mock modular forms, has long resisted a complete description. Unlike their well-behaved cousins, these functions possess a "ghostly" non-holomorphic component—a part that does not follow the standard rules of symmetry on its own. To make sense of them, physicists and mathematicians must construct a "completion," a mathematical structure that adds the missing pieces to restore the full symmetry. This completion is essential for calculating the properties of black holes and the behavior of certain quantum fields, yet the machinery required to build these completions for complex systems has remained notoriously difficult to handle.

The research presented here tackles this difficulty by focusing on a specific family of functions called Appell functions. These are multi-variable tools used to describe systems with many interacting parts, such as the gauge theories that model the strong nuclear force. In previous work, the authors established that the missing pieces needed to complete these functions could be described using generalized error functions. These are not the simple bell curves familiar from statistics, but rather high-dimensional integrals that measure the "distance" of a point from a specific geometric plane within a complex lattice structure. While the existence of these functions was known, their internal structure was opaque, making it hard to see how they fit together to form the final symmetric picture. The central achievement of this new study is to reveal the hidden architecture of these generalized error functions. The authors demonstrate that these complex, high-dimensional integrals can be broken down into a sequence of simpler, one-dimensional integrals performed one after another.

By reorganizing the problem in this way, the researchers show that the completion of the Appell function takes the form of what is known as an iterated Eichler integral. In plain terms, this means the final result is built by nesting integrals inside one another, where the input of each step depends on the output of the previous one. This structure is significant because it makes the underlying symmetry of the system transparent. Instead of a tangled, high-dimensional calculation, the result emerges as a clear, step-by-step process involving products of modular forms. The authors prove that this method works for any positive definite lattice, which is a grid-like structure used to organize the data in these physical theories. They provide a rigorous mathematical framework that expresses these generalized error functions as a sum of these iterated integrals, effectively turning a difficult geometric problem into a manageable sequence of operations.

To test and illustrate this general theory, the authors apply it to the root lattice of the $A_N$ Lie algebra, a specific and highly symmetric grid structure that appears frequently in the partition functions of topological twisted Yang-Mills theories. These theories are used to study the geometry of four-dimensional spaces and the behavior of instantons, which are localized solutions in field theory. For this specific case, the authors find that the number of terms required to describe the function is much smaller than the general case would suggest. Instead of a factorial explosion of possibilities, the complexity follows a pattern known as the Catalan numbers, which grow much more slowly. This reduction is not just a mathematical curiosity; it simplifies the calculation of physical quantities for these theories, making it feasible to compute the properties of systems with many interacting components. The paper explicitly constructs these functions for small examples, such as the $A_3$ and $A_9$ lattices, showing exactly how the iterated integrals are assembled and how the various signs and coefficients are determined.

The findings are presented as a complete mathematical derivation rather than a simulation or a suggestion. The authors provide a theorem that proves the equivalence between the generalized error functions and the iterated integrals, followed by a detailed proof that relies on recursive structures and the properties of orthogonal bases within the lattice. They also derive specific orthogonality relations that allow for the decomposition of the high-dimensional space into smaller, independent parts. This work does not claim to solve the entire mystery of mock modular forms for every possible physical theory, but it provides a powerful new tool for a large and important class of them. By expressing the non-holomorphic completion as a sequence of iterated integrals, the paper offers a clearer path to understanding the modular properties of these functions, bridging the gap between abstract number theory and the concrete calculations needed in theoretical physics. The result is a more transparent view of how these complex mathematical objects are constructed, revealing a structured, step-by-step process where previously there was only a dense, high-dimensional fog.

Technical Summary: Iterated Integrals for Generalized Appell Functions

Problem Statement
Appell functions constitute a significant class of multi-variable quasi-elliptic functions that serve as instances of higher-depth mock modular forms. A central challenge in the study of these functions is understanding their non-holomorphic modular completion. In previous work [44], the authors established the modular completion of generalized Appell functions, $\hat{\Phi}_{\mu,\nu}$ , associated with a general positive definite lattice $\Lambda$ . This completion was expressed using generalized error functions, $M_P$ , defined as integrals over a $P$ -dimensional hyperplane within $\Lambda \otimes \mathbb{C}$ . While these functions satisfy Vigneras' theorem and ensure modular properties, their integral representation as multi-dimensional hyperplane integrals obscures their structure as iterated integrals of modular forms. The specific problem addressed in this paper is to reformulate these generalized error functions $M_P$ as $P$ -dimensional iterated integrals of variables $w_j \in \mathbb{H}$ (the upper half-plane). Achieving this would express the modular completion of Appell functions as iterated Eichler integrals, thereby making their modular properties manifest and aligning them with structures found in physical path integrals.

Methodology
The paper proceeds through a rigorous mathematical derivation involving several key steps:

Definitions and Setup: The authors define the generalized error functions $E_P$ and $M_P$ for a lattice $\Lambda$ of dimension $N$ . They introduce a set of scalars $\{u^{(j)}_l\}$ derived from an orthonormal basis constructed via the Gram-Schmidt process applied to a set of vectors $\{c_l\}$ spanning a hyperplane. This allows the reduction of the dependence on the full vector $x$ to a set of scalar arguments.
Iterated Integral Construction: The core of the methodology involves defining an iterated integral $m_P$ (Eq. 3.9) and establishing its relationship to the generalized error functions. The authors utilize a change of variables to express $m_P$ in terms of integration variables $w_j$ ranging from $-\bar{\tau}$ to $i\infty$ .
Recursive Derivation (Theorem 3.3): The primary technical achievement is the proof of Theorem 3.3, which states that $M_P$ $M_{P}$ can be expressed as a sum of $P!$ $P!$ iterated integrals. The proof relies on:
- A partial fraction decomposition of the integrand involving bilinear forms.
- The separation of integration variables into orthogonal directions relative to the basis vectors.
- A recursive relation connecting $M_N$ to $M_{N-1}$ (Eq. 3.32).
- The use of shuffle products to organize the multiplication of iterated integrals.
Specialization to $A_N$ Lattice: The general results are applied to the root lattice of the $A_N$ Lie algebra. The authors construct specific bases $\{V^{(j)}_l\}$ for this lattice and demonstrate that the integrand factorizes due to the orthogonality of sublattices ( $A_{j-1} \oplus A_{N-j}$ ). This leads to a significant reduction in the number of terms required to express the function, following the recursion of Catalan numbers rather than the factorial growth ( $N!$ ) seen in the generic case.
Orthogonality Relations: Section 5 derives specific orthogonality relations for vectors in the $A_N$ lattice. These relations are used to decompose the $N$ -dimensional space into mutually orthogonal sets, facilitating the determination of sign functions and dual vectors required for the modular completion of Appell functions.

Key Contributions and Results

Iterated Eichler Integral Representation: The paper provides an explicit formula (Theorem 3.3) expressing the generalized error functions $M_P$ as a sum of iterated integrals. This transforms the modular completion of Appell functions, $\hat{\Phi}_{\mu,\nu}$ , into a form of iterated Eichler integrals where the integrands are products of modular forms (specifically theta series).
Recursive Structure for $A_N$ : For the $A_N$ root lattice, the authors derive a recursive formula (Eq. 4.3) that reduces the number of iterated integrals from $N!$ to the $N$ -th Catalan number. This is achieved by exploiting the factorization properties of the lattice when a simple root is removed.
Explicit Computations: The paper includes explicit computations for $M_3$ on the $A_3$ lattice (Section 4.2) and illustrates the decomposition of sign functions and orthogonal vectors for the $A_9$ lattice (Section 5.2).
Holomorphic Anomaly Equation: The authors derive the holomorphic anomaly equation for $M_N$ (Corollary 3.5), showing how the anti-holomorphic derivative relates to lower-depth functions, consistent with the structure of mock modular forms.

Significance and Claims
The paper claims that expressing the modular completion of Appell functions as iterated Eichler integrals makes their modular properties "manifest." This formulation is described as "natural from the perspective of physical path integrals," connecting the mathematical structure to the non-holomorphic terms arising in the partition functions of topological twisted Yang-Mills theories (specifically Vafa-Witten theory).

The authors position this work as a sequel to [44], extending previous results for $N=1, 2$ to general $N$ . They note that while the general case involves $N!$ terms, the specific structure of the $A_N$ lattice allows for a more efficient representation. The paper does not propose new physical applications but rather provides the mathematical machinery (iterated integrals) necessary to analyze partition functions of supersymmetric theories and topological field theories where these functions appear. The results are intended to facilitate the study of BPS state degeneracies and the entropy of BPS black holes by providing a clearer structural understanding of the generating functions involved.

More like this