On Uniqueness of Mock Theta Functions

This paper develops a resurgent approach to uniquely continue mock theta functions across their natural boundaries by representing Mordell-Appell integrals as Laplace transforms of resurgent functions, thereby establishing a canonical continuation that singles out a distinguished family of these functions for orders 3 and 5.

The Gist

Imagine you are standing on the edge of a vast, foggy cliff. On one side of the cliff, you have a map drawn on a piece of paper. This map represents a mathematical object called a Mock Theta Function. It's a beautiful, intricate pattern that works perfectly well as long as you stay on the "safe" side of the cliff (where the numbers are small and well-behaved).

But there's a problem: the cliff has a Natural Boundary. In the world of math, this is like a wall of impenetrable fog. Once you hit this wall, the rules of the map seem to break down. You can't just walk across; the paper tears, and the pattern dissolves into chaos. For over a century, mathematicians have wondered: Is there a way to continue this map to the other side? And if there is, is there only one true way to do it, or are there many possible paths?

This paper, written by Costin, Dunne, and Saraeb, says: "There is only one true path, and we can prove it."

Here is how they did it, explained through simple analogies:

1. The Shadow and the Object (The "Resurgent" Idea)

Usually, when mathematicians look at these Mock Theta Functions, they only see the "shadow" cast on the wall—the series of numbers (the $q$-series). But the authors realized that the shadow isn't the whole story.

They decided to look at the object casting the shadow. In math terms, this object is called a Mordell-Appell Integral. Think of the Integral as a solid, 3D sculpture, and the Mock Theta Function as its 2D shadow.

• The Insight: Even if the shadow gets distorted or disappears at the edge of the cliff, the sculpture itself is solid and continuous. If you know the shape of the sculpture perfectly, you can figure out exactly what the shadow must look like on the other side of the cliff, even if you can't see it directly.

2. The "Resurgent" Compass

The authors use a tool called Resurgence. Imagine you are lost in a forest with a compass that doesn't just point North, but also remembers every twist and turn you've ever taken.

• Rigidity: This compass is incredibly rigid. Once you fix the "singularity structure" (the specific way the sculpture breaks or twists in the math world), the compass forces the path to be unique. There is no wiggle room.
• The "Permanence of Relations": Imagine you have a set of rules for how two friends (let's call them $q$ and $q_1$) interact. If they shake hands on one side of the cliff, and you know the rules of their friendship are "permanent," they must shake hands in the exact same way on the other side. The authors proved that the "friendship rules" (modular equations) are so strict that only one specific pair of functions can satisfy them on both sides.

3. The Two Cases: Order 3 and Order 5

The paper focuses on two specific types of these functions, which they call Order 3 and Order 5.

• Order 5 (The Simple Case): Think of this as a puzzle with a clear, symmetric solution. The authors showed that if you try to fit any other piece into the puzzle, it simply won't fit. The "mixing matrix" (a mathematical switchboard) forces the pieces to lock into place in only one way.
• Order 3 (The Tricky Case): This is a bit more like a maze. The path twists differently. To solve it, the authors had to use a clever trick involving Wronskians (a way of measuring if two paths are parallel) and Theta functions (special, repeating patterns). They proved that if you tried to take a different path, you would eventually hit a logical contradiction, like walking in a circle and ending up somewhere you already were.

4. The "Stokes Line" (The Edge of the Fog)

The most magical part of their method happens at the Stokes Line. Imagine the fog on the cliff edge isn't just a wall, but a line where the rules of physics change slightly.

• When you cross this line, the "shadow" (the function) splits into two parts: a Real part (the solid ground you can walk on) and an Imaginary part (a ghostly, exponential tail).
• The authors showed that the way this split happens is dictated entirely by the solid sculpture (the Integral) on the other side. Because the sculpture is unique, the split must be unique.

The Big Picture: Why Does This Matter?

In the past, mathematicians could prove these functions were unique only for very simple cases or by using heavy, complex machinery that didn't work for harder problems.

This paper is like finding a universal key.

• They used "elementary tools" (basic logic and calculus) to prove that for Order 3 and Order 5, there is only one true continuation across the natural boundary.
• They argue this method can be used for all higher orders (Order 6, 7, 8, etc.), solving a problem that has puzzled mathematicians since Ramanujan first wrote these functions in his notebook a century ago.

In summary:
The authors found that these mysterious mathematical functions are like a rigid crystal. Even though they look broken or undefined at the edge of their domain, their internal structure is so perfect and rigid that there is only one single, inevitable way to extend them to the other side. They proved that the "ghost" of the function on the other side is not a guess; it is a mathematical certainty.

Technical Summary

1. Problem Statement

The central problem addressed in this paper is the unique analytic continuation of mock theta functions across their natural boundary.

• Context: Mock theta functions, originally discovered by Ramanujan, are $q$-series that exhibit modular-like transformation properties but fail to be modular forms due to the presence of non-holomorphic "shadow" terms. They are defined within the unit disk ($|q|<1$) but possess a natural boundary at $|q|=1$, preventing standard analytic continuation.
• The Challenge: While the transformation laws relating a mock theta function to its modular counterpart (often involving $q$ and $q_1 = e^{-\pi i / \tau}$) are known, it has been an open question whether these relations uniquely determine the mock theta functions themselves. Previous proofs relied on specific features of low-order cases (using Hauptmoduls) and did not generalize easily to higher orders.
• Goal: To prove that for specific orders (specifically order 3 and order 5), the mock theta functions are the unique holomorphic solutions to their respective modular transformation equations, given specific growth conditions derived from resurgent analysis.

2. Methodology: Resurgent Continuation

The authors employ a resurgent approach, shifting the focus from the $q$-series themselves to the underlying Mordell-Appell integrals from which they arise.

• Mordell-Appell Integrals as Primary Objects: The mock theta functions are represented as Laplace transforms of resurgent functions (kernels) in the Borel plane. These integrals, denoted $L(\alpha)$ or $W(\alpha)$, are well-defined for $\text{Re}(\alpha) > 0$ (where $q = e^{-\alpha}$).
• Resurgent Rigidity: The core principle is that the singularity structure of the Borel transform (the resurgent data) uniquely determines the analytic continuation of the Laplace integral.
• Stokes Phenomenon and Decomposition: By rotating the integration contour to the Stokes line ($\alpha < 0$, corresponding to $|q| > 1$), the integrals admit a canonical decomposition into:
  1. A real part: A purely real series in $\hat{q} = e^{\alpha}$ (related to the original mock theta function).
  2. An imaginary part: An exponential series in $\hat{q}_1 = e^{\pi^2/\alpha}$ (related to the modular shadow).
• Principle of Permanence of Relations: The authors argue that algebraic and functional relations (modular transformations) persist under resurgent continuation. Therefore, the unique solution on the "other side" of the natural boundary (where $|q|>1$) must satisfy the same modular equations as the original functions, but constrained by the specific structure of the Mordell-Appell integrals.

3. Key Contributions and Proofs

The paper provides rigorous uniqueness proofs for two foundational cases: Order 5 (mf5) and Order 3 (mf3).

A. Order 5 Mock Theta Functions ($\chi_0, \chi_1$)

• Setup: The authors consider Ramanujan's order 5 functions $\chi_0$ and $\chi_1$. They formulate the transformation laws as a matrix equation relating a vector of functions $(K_0, K_1)$ to their modular transforms via a mixing matrix $M$ and Mordell-Appell integrals.
• Strategy:
  1. Assume two distinct holomorphic solutions exist.
  2. Define the difference vector $\Delta K$.
  3. Normalize the system using the Dedekind eta function $\eta(\tau)$ to remove singular factors, resulting in a homogeneous system for holomorphic functions $H_0, H_1$.
  4. Construct a Wronskian determinant $W(\tau)$ of the solution vector.
  5. Show that a specific power of the Wronskian divided by $\eta^{12}$ yields a holomorphic modular function for $SL_2(\mathbb{Z})$ that vanishes at the cusp $\infty$.
  6. Conclusion: Since the only holomorphic modular functions for $SL_2(\mathbb{Z})$ are constants, and the function vanishes at the cusp, the Wronskian must be identically zero. This forces the difference between the two solutions to be zero, proving uniqueness.

B. Order 3 Mock Theta Functions ($\omega, f$)

• Setup: The authors analyze the order 3 functions $\omega(q)$ and $f(q)$, which satisfy a coupled system of transformation laws involving Mordell-Appell integrals $W_3$ and $W_2$.
• Strategy:
  1. Assume two solutions $\omega$ and $\omega_1$ exist. Let $\Delta \omega$ be their difference.
  2. The difference satisfies a homogeneous transformation law under the theta subgroup $\Gamma_\theta = \langle S, T^2 \rangle$.
  3. Construct a function $A(\tau) = U(\tau)/\vartheta_3(\tau)$, where $U$ is the difference term and $\vartheta_3$ is the Jacobi theta function.
  4. Define $h(\tau) = A(\tau)^6$. This function is invariant under $\Gamma_\theta$.
  5. Cusp Analysis: The authors analyze the behavior of $h(\tau)$ at the two cusps of $\Gamma_\theta$ ($\infty$ and $1$):
     • At $\infty$: Holomorphic with order $\ge 4$.
     • At $1$: Meromorphic with order $\ge -1$.
  6. Liouville-type Argument: On the compact Riemann surface associated with $\Gamma_\theta$, the sum of the orders of zeros and poles must be zero. The derived bounds ($4 + (-1) = 3$) create a contradiction unless the function is identically zero.
  7. Conclusion: The difference $\Delta \omega$ must be zero, proving the uniqueness of $\omega$ (and consequently $f$).

4. Key Results

1. Uniqueness Theorems: The paper proves that the mock theta functions of order 3 and 5 are the unique holomorphic solutions to their respective modular transformation equations, provided they satisfy the growth conditions dictated by the resurgent structure of the Mordell-Appell integrals.
2. Canonical Continuation: The method establishes a "canonical" continuation across the natural boundary. This continuation is not arbitrary; it is singled out by the requirement that the modular relations must hold and that the solution must match the resurgent decomposition (real/imaginary split) of the underlying integrals.
3. Generalization: While the proofs are explicit for orders 3 and 5, the methodology is presented as a general framework applicable to higher-order mock theta functions. The paper notes that higher-order cases will be treated in a subsequent publication due to increased algebraic complexity.

5. Significance

• Mathematical Rigor: The paper moves beyond heuristic arguments or reliance on specific low-order coincidences (like Hauptmoduls) to provide a robust, analytic proof of uniqueness based on the rigidity of resurgent functions.
• Physical Relevance: Mock modular forms are crucial in theoretical physics, particularly in Chern-Simons theory, quantum black holes, and Umbral moonshine. The ability to uniquely continue these functions across their natural boundary is essential for understanding the duality between different topological phases (e.g., orientation reversal of 3-manifolds).
• Resurgent Framework: The work solidifies the "resurgent continuation" as a powerful tool for solving problems involving natural boundaries, generalizing the classical principle of permanence of relations to the realm of transseries and resurgent asymptotics.
• Distinction from Other Solutions: The authors explicitly demonstrate (in Appendix C) that other known identities satisfying the transformation laws fail to be holomorphic or fail to match the specific resurgent structure (Stokes line decomposition), thereby isolating the true mock theta functions as the physically and mathematically distinguished solutions.