Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Quantum Riemann Surfaces in Chern-Simons Theory

Tudor Dimofte

TL;DR

The paper develops a principled, three-dimensional construction to quantize the A-polynomial of knot complements by recasting gluing in Chern-Simons theory as a symplectic reduction in a TQFT framework. It builds from single-tetrahedron quantization, using the noncompact quantum dilogarithm as the tetrahedral block, and glues many tetrahedra via a Weil-representation-based approach to produce a finite-dimensional state-integral model for the holomorphic blocks annihilated by the quantum A-polynomial \hat{A}. The authors demonstrate triangulation- and path-independence of the resulting operator and wavefunction data, and provide explicit quantum A-polynomials for several knots (e.g., $4_1$, $3_1$, $5_2$) along with their dual objects under modular S-duality. The framework links hyperbolic geometry, quantum topology, and the theory of holomorphic blocks, yielding both a constructive quantization of knot invariants and a practical state-integral method to compute wavefunctions and recursions. This work thus offers a robust, geometry-driven route to quantum A-polynomials with broad generalizations to links, higher-genus boundaries, and higher-rank groups, enriching the interface between quantum field theory and low-dimensional topology.

Abstract

We construct from first principles the operator 'A-hat' that annihilates the partition functions (or wavefunctions) of three-dimensional Chern-Simons theory with gauge groups SU(2), SL(2,R), or SL(2,C) on a knot complement M. The operator 'A-hat' is a quantization of the knot complement's classical A-polynomial A(l,m). The construction proceeds by decomposing three-manifolds into ideal tetrahedra, and invoking a new, more global understanding of gluing in TQFT to put them back together. We advocate in particular that, properly interpreted, "gluing = symplectic reduction." We also arrive at a new finite-dimensional state integral model for computing the analytically continued "holomorphic blocks" that compose any physical Chern-Simons partition function.

Quantum Riemann Surfaces in Chern-Simons Theory

TL;DR

The paper develops a principled, three-dimensional construction to quantize the A-polynomial of knot complements by recasting gluing in Chern-Simons theory as a symplectic reduction in a TQFT framework. It builds from single-tetrahedron quantization, using the noncompact quantum dilogarithm as the tetrahedral block, and glues many tetrahedra via a Weil-representation-based approach to produce a finite-dimensional state-integral model for the holomorphic blocks annihilated by the quantum A-polynomial \hat{A}. The authors demonstrate triangulation- and path-independence of the resulting operator and wavefunction data, and provide explicit quantum A-polynomials for several knots (e.g., , , ) along with their dual objects under modular S-duality. The framework links hyperbolic geometry, quantum topology, and the theory of holomorphic blocks, yielding both a constructive quantization of knot invariants and a practical state-integral method to compute wavefunctions and recursions. This work thus offers a robust, geometry-driven route to quantum A-polynomials with broad generalizations to links, higher-genus boundaries, and higher-rank groups, enriching the interface between quantum field theory and low-dimensional topology.

Abstract

We construct from first principles the operator 'A-hat' that annihilates the partition functions (or wavefunctions) of three-dimensional Chern-Simons theory with gauge groups SU(2), SL(2,R), or SL(2,C) on a knot complement M. The operator 'A-hat' is a quantization of the knot complement's classical A-polynomial A(l,m). The construction proceeds by decomposing three-manifolds into ideal tetrahedra, and invoking a new, more global understanding of gluing in TQFT to put them back together. We advocate in particular that, properly interpreted, "gluing = symplectic reduction." We also arrive at a new finite-dimensional state integral model for computing the analytically continued "holomorphic blocks" that compose any physical Chern-Simons partition function.

Paper Structure

This paper contains 36 sections, 1 theorem, 367 equations, 14 figures.

Table of Contents

  1. Introduction
  2. Analytically continued Chern-Simons theory
  3. The structure of Chern-Simons theory
  4. Flat connections and the A-polynomial
  5. Recursion relations and $\hat{A}$
  6. The structure of $A$ and $\hat{A}$
  7. Generalizations
  8. Gluing with operators in TQFT
  9. A toy model
  10. The toy is real
  11. Classical triangulations
  12. Ideal triangulation
  13. Gluing, holonomies, and character varieties
  14. The A-polynomial, symplectically
  15. Example: $\mathbf{4_1}$ knot
  16. ...and 21 more sections

Key Result

Proposition 1

With $\mathcal{T}$, $\mathcal{T}^{-1}$, and ideals $\hat{\mathcal{I}}_M$ and $\hat{\mathcal{I}}_M'$ as above, if $\hat{\mathcal{I}}_M$ is generated by $G$ polynomials $(\hat{A}_M^{(g)}(\hat{\ell},\hat{m}^2;q))_{g=1}^G$, then $\hat{\mathcal{I}}_M'$ is generated by $G$ polynomials $(\hat{A}_M^{(g)}{}'

Figures (14)

  • Figure 1: Meridian $\mu$ and longitude $\lambda$ cycles in $M$. Here we are looking from "inside" $M$; the boundary torus $\partial M=T^2$ is the boundary of a neighborhood of the thickened knot $K$.
  • Figure 2: Gluing wavefunctions in QFT
  • Figure 3: The TQFT gluing setup. Holonomies around the cycles $\lambda_i$ and $\mu_i$ (not necessarily longitudes and meridians as defined in Section \ref{['sec:CS']}) have eigenvalues $\ell_i$ and $m_i$ respectively.
  • Figure 4: Triangulation of the $\mathbf{4_1}$ knot complement. The gluing of faces is indicated by calligraphic letters.
  • Figure 5: Developing map for the boundary of the $\mathbf{4_1}$ knot complement. The four triangles $(\Delta)$ on the bottom come from the vertices of the tetrahedron on the left of Figure \ref{['fig:top41tet']}, and the triangles $(\nabla)$ on top come from the tetrahedron on the right. The torus is being viewed from outside of $M$ (from inside of the thickened knot)
  • ...and 9 more figures

Theorems & Definitions (2)

  • Proposition 1
  • Conjecture 1