Resurgence of Chern-Simons theory at the trivial flat connection

This paper fully characterizes the resurgent structure of Chern-Simons perturbation theory at the trivial flat connection for hyperbolic knot complements by introducing an extended matrix of $(x,q)$-series that explicitly determines Stokes constants, defines Borel transforms via state-integrals, and extends key invariants like the Kashaev invariant and 3D-index.

The Gist

Imagine you are trying to predict the weather. You have a very complex mathematical model (the Chern–Simons theory) that describes the shape of a knot in space. When you try to use this model to calculate a specific number (like the "volume" of the knot's shape), the math gives you a series of numbers that grow so fast they seem to explode. In math terms, this is called a divergent series. It's like trying to add up $1 + 2 + 4 + 8 + 16...$ forever; it doesn't settle on a final answer.

For a long time, mathematicians thought these exploding series were useless junk. But this paper argues that they are actually resurgent: they are like a phoenix rising from the ashes. If you look at them closely, they contain hidden information about the "true" answer, but that information is buried in a different language.

Here is a breakdown of the paper's main ideas using simple analogies:

1. The "Peacock" Pattern of Secrets

The authors discovered that the "explosions" in the math aren't random. They follow a beautiful, structured pattern they call a "peacock pattern."

• The Analogy: Imagine the math series is a map. Usually, maps have smooth roads. But this map has hidden "potholes" (singularities) scattered in a specific, repeating pattern, like the spots on a peacock's tail.
• The Discovery: By mapping out exactly where these potholes are, the authors found a way to "resum" the series. They can take the exploding numbers and rearrange them to get a precise, finite answer. It's like taking a pile of broken glass and realizing, if you look at the angles right, it forms a perfect mosaic.

2. The "Trivial" Connection vs. The "Real" World

In the math of knots, there is a "boring" solution (the trivial flat connection) where the knot does nothing, and "interesting" solutions where the knot twists and turns.

• The Problem: Previous research could explain the "interesting" solutions perfectly. But the "boring" solution was a mystery. It was like having a dictionary for a language where you knew all the exciting words (verbs, adjectives) but didn't know how to say "Hello" or "The" (the trivial parts).
• The Solution: This paper fills in the missing "Hello." They created a new matrix (a grid of numbers) that includes the boring solution alongside the interesting ones. This matrix acts like a master key, unlocking the relationship between the boring math and the exciting, complex reality of the knot.

3. The "State-Integral" as a Bridge

To make sense of these exploding series, the authors use something called a state-integral.

• The Analogy: Think of the exploding series as a radio signal that is too static-filled to understand. The state-integral is a new type of antenna. When you tune the antenna to a specific frequency, the static clears up, and you hear a clear, beautiful song.
• The Magic: The paper shows that this "song" (the integral) is actually made of two parts: the original "boring" series and a "mirror" version of it. By combining them, the math works perfectly.

4. The "Peacock" and the "Matrix"

The authors built a giant matrix (a spreadsheet of numbers) to organize all this information.

• For the "Figure-Eight" Knot (41): They built a 3x3 grid. It's like a small puzzle where every piece fits perfectly.
• For the "Five-Twist" Knot (52): It gets much harder. The puzzle isn't just a square; it's a 6x6 grid with some extra pieces that look like a different kind of puzzle entirely (related to famous modular forms, which are like the "DNA" of numbers).
• The Insight: Even though the 52-knot puzzle is huge and complicated, the authors found that the "boring" part of the knot is secretly connected to the "interesting" parts through this grid.

5. Why Does This Matter?

You might ask, "Who cares about exploding knot series?"

• The Volume Conjecture: This math helps prove that the "volume" of a knot (how much space it takes up in a weird, curved universe) is directly related to these numbers.
• Physics: This theory is used in Quantum Physics. The "knots" represent particles, and the "explosions" represent the chaotic behavior of quantum fields. By understanding how to tame these explosions, physicists might get closer to a "Theory of Everything" that explains how the universe works at the smallest scales.
• The "Inverted" Cake: The authors mention an "upside-down cake." Imagine a cake that looks normal on top but is actually a mirror image on the bottom. They found a way to flip the math "upside down" to reveal the hidden structure of the knot.

Summary

In short, this paper is about taming chaos.
The authors took a mathematical problem that seemed broken and infinite (divergent series for knots) and showed that it is actually a highly organized, resurgent system. They built a new "dictionary" (the matrix) that translates the language of "boring" math into the language of "complex" physics, revealing that the universe's hidden structures are far more connected and beautiful than we thought.

They didn't just solve a knot; they found the Stokes constants (the secret codes) that tell us how to switch between different mathematical worlds without losing the information. It's a bit like finding the secret password that lets you walk through a wall that everyone else thought was solid.

Technical Summary

1. Problem Statement

The paper addresses a fundamental gap in the understanding of Chern–Simons (CS) perturbation theory on 3-manifolds, specifically focusing on the trivial flat connection ($\sigma_0$).

• Context: In Quantum Topology, the partition function of CS theory on a knot complement is related to the Jones polynomial. The perturbative expansion of this partition function around a flat connection $\sigma$ yields a formal power series $\Phi(\sigma)(h)$ (where $h$ is the coupling constant).
• The Gap: While the resurgence structure (the relationship between perturbative series and non-perturbative effects) for non-trivial flat connections ($\sigma \neq \sigma_0$) was previously established (e.g., in [GGMn21]), the series corresponding to the trivial flat connection $\Phi(\sigma_0)(h)$ remained elusive.
• The Conjecture: The first author conjectured that $\Phi(\sigma_0)(h)$ is a resurgent power series. This implies its Borel transform has singularities arranged in a "peacock pattern," and the series can be re-expanded in terms of other perturbative series corresponding to non-trivial connections.
• The Challenge: Unlike non-trivial connections, $\Phi(\sigma_0)$ is not easily computed via standard state-integral perturbation theory (which relies on non-degenerate critical points). Instead, it is derived from the Kashaev invariant or colored Jones polynomials, making its analytic structure and Stokes constants difficult to determine.

2. Methodology

The authors employ a multi-faceted approach combining q-series combinatorics, resurgence theory, state-integral constructions, and numerical verification.

• Matrix Completion: The core methodology involves "completing" the known matrix of q-series, $J_{\text{red}}(q)$ (which describes non-trivial connections), into a larger square matrix $J(q)$ that includes a row and column for the trivial connection.
• Descendant Kashaev Invariants: They utilize the theory of descendant Kashaev invariants (indexed by integers $m$) and Habiro polynomials. These satisfy linear $q$-difference equations. The authors construct fundamental solutions to these equations to generate the necessary q-series.
• State-Integrals: To provide an analytic interpretation, the authors construct new state-integrals.
  • For the $4_1$ knot, they modify the integration contour of the Andersen–Kashaev integral to pick up residues from the lower half-plane, creating an integral that captures the trivial connection.
  • For the $5_2$ knot, they propose a 2-dimensional integral formula derived from the Habiro form of the colored Jones polynomial.
• Borel Resummation and Stokes Automorphisms: They analyze the Borel transforms of the asymptotic series to locate singularities. They define Stokes constants (integers) that govern the discontinuity of the Borel resummation across Stokes rays.
• x-Deformation: The framework is extended to include a variable $x$ (related to the monodromy of the meridian), leading to $(x, q)$-series and holomorphic quantum modular forms.

3. Key Contributions

A. Completion of the Resurgent Matrix

The authors successfully construct a square matrix $J(q)$ (or $J(x, q)$) whose rows are indexed by all boundary parabolic $SL_2(\mathbb{C})$ flat connections, including the trivial one.

• For the $4_1$ knot: They extend the known $2 \times 2$ matrix $J_{\text{red}}$ to a $3 \times 3$ matrix. The new row corresponds to the trivial connection and involves a new q-series $G^{(2)}(q)$ derived from the $\epsilon$-expansion of the Habiro series.
• For the $5_2$ knot: They extend the $3 \times 3$ matrix to a $4 \times 4$ matrix (embedded in a larger $6 \times 6$ matrix). The $6 \times 6$ structure arises because the descendant colored Jones polynomials for $5_2$ satisfy a 6th-order $q$-difference equation. The extra block involves Rogers–Ramanujan modular functions.

B. Explicit Stokes Constants and Resurgence Structure

The paper provides the first complete description of the resurgence structure for the trivial connection:

• Singularities: They identify the locations of singularities in the Borel plane for $\Phi(\sigma_0)$, showing they align with the "peacock pattern" formed by differences of volumes of flat connections.
• Stokes Constants: They calculate the Stokes constants (integers) that relate the Borel resummation of $\Phi(\sigma_0)$ to the other series $\Phi(\sigma_i)$. These are encoded in the off-diagonal entries of the completed matrix.
• Generating Series: They define generating series for these constants (e.g., $S^+_{0,j}(\tilde{q})$) and show they are integer q-series.

C. New State-Integrals and Analytic Extensions

• New Integrals: They define new state-integrals (e.g., $Z(\tau)$ for $4_1$) whose asymptotic expansions match $\Phi(\sigma_0)$. These integrals are constructed by deforming contours to capture "inverted" Habiro series.
• Factorization: They prove that these new state-integrals factorize bilinearly into products of the new q-series and their $\tilde{q}$-counterparts (where $\tilde{q} = e^{-2\pi i / \tau}$).
• Analytic Extension: They provide an exact formula for the Kashaev invariant and the colored Jones polynomial at rational points as a linear combination of Borel-resummed perturbative series. This serves as an analytic extension of these invariants to complex parameters.

D. Refinement of Quantum Modularity

The authors propose an exact version of the Refined Quantum Modularity Conjecture.

• They conjecture that replacing "smoothed optimal truncation" with median Borel resummation turns asymptotic statements into exact equalities valid for finite parameters.
• They demonstrate that the matrix $J(x, q)$ defines a matrix-valued holomorphic quantum modular form that extends analytically to the cut plane $\mathbb{C} \setminus (-\infty, 0]$.

4. Results

• The $4_1$ Knot:

  • Constructed a $3 \times 3$ matrix $J(x, q)$ fundamental to a 3rd-order $q$-difference equation.
  • Identified the top row as the Gukov–Manolescu series (and its descendants).
  • Verified numerically that the Stokes constants are integers and match the predicted peacock pattern.
  • Showed that the new state-integral $Z(\tau)$ equals the median Borel sum of $\Phi(\sigma_0)$.

• The $5_2$ Knot:

  • Constructed a $6 \times 6$ matrix $J(q)$ fundamental to a 6th-order $q$-difference equation.
  • Discovered that the matrix decomposes into blocks: a $4 \times 4$ block describing the knot invariants and a $2 \times 2$ block related to Rogers–Ramanujan modular forms.
  • Calculated the Stokes constants for the trivial connection, finding non-trivial integer values (e.g., $S^+_{0,1} = -1 + \tilde{q} + \dots$).
  • Provided a 2D integral formula for the twisted knot family that generalizes the $4_1$ result.

• General Conjectures:

  • Conjecture 1 & 2: Exact formulas for the Kashaev invariant and colored Jones polynomial in terms of Borel resummations of all perturbative series (trivial and non-trivial).
  • 3D-Index Extension: The completed matrix provides a computable extension of the Dimofte–Gaiotto–Gukov 3D-index to the sector of the trivial flat connection.

5. Significance

1. Resolution of a Major Conjecture: The paper provides strong evidence (and explicit constructions for the simplest hyperbolic knots) for the resurgent nature of the trivial flat connection, a long-standing open problem in the field.
2. Unification of Invariants: It unifies the Kashaev invariant, colored Jones polynomials, and state-integrals into a single framework governed by a matrix of q-series.
3. New Mathematical Objects: The introduction of the "inverted" Habiro series and the identification of the trivial connection's resurgence with specific q-series (like Gukov–Manolescu series) opens new avenues in the study of quantum invariants.
4. Physical Interpretation: The results suggest that the non-perturbative partition function of the dual 3D superconformal field theory is matrix-valued, not just vector-valued, and that the trivial connection corresponds to a specific sector of this matrix.
5. Algorithmic Advances: The work demonstrates the power of combining symbolic computation (q-holonomic modules, Wilf-Zeilberger theory) with numerical analysis to solve deep problems in mathematical physics.

In summary, this paper completes the picture of resurgence for Chern–Simons theory on knot complements by explicitly solving the case of the trivial flat connection, revealing a rich algebraic and analytic structure involving q-series, modular forms, and state-integrals.