Tetrahedral Index in Quantum Topology

• The tetrahedral index is a q-series invariant defined via convergent sums that encode combinatorial, analytic, and representation-theoretic data for 3-manifold invariants.
• It satisfies rich algebraic properties including triality, q-holonomic recursions, and the pentagon identity, ensuring consistency in state-sum constructions.
• The index bridges quantum 6j-symbols with q-Bessel functions, offering practical frameworks for computational state-sum models in quantum topology and knot theory.

The tetrahedral index is a $q$-series invariant originating simultaneously from low-dimensional topology, quantum topology, $q$-series, and mathematical physics. It serves as a fundamental local building block in the definition of 3-dimensional quantum invariants of 3-manifolds, particularly in state-sum constructions associated to ideal triangulations. Introduced by Dimofte–Gaiotto–Gukov (DGG), it encodes combinatorial, analytic, and representation-theoretic data, admits several explicit formulas, satisfies rich algebraic symmetries and recursions, and is intimately related to both quantum $6j$-symbols and $q$-analogues of special functions such as the Hahn–Exton $q$-Bessel function. Its significance spans modern quantum topology, $q$-hypergeometric theory, and geometric representation theory (Garoufalidis et al., 2020, Celoria, 30 Oct 2025, Garoufalidis, 2012, Gahramanov et al., 23 Oct 2025).

1. Explicit Definition and $q$-Series Structure

Given integers $m,e\in\mathbb Z$, the tetrahedral index $I_\Delta(m,e;q)$ is defined as a convergent formal $q$-series in a ring of formal power series with integer coefficients:

$q$0

where $q$1 is the $q$2-Pochhammer symbol (Garoufalidis et al., 2020, Garoufalidis, 2012, Celoria, 30 Oct 2025, Gahramanov et al., 23 Oct 2025).

The index is naturally packaged either as a function of $q$3 or as $q$4 with $q$5, via the correspondence $q$6. The sum converges in $q$7.

The tetrahedral index is the unique $q$8-positive solution to a system of $q$9-difference equations and determines the $6j$0-series state-sum invariants for triangulated 3-manifolds (Garoufalidis, 2012).

2. Algebraic and Functional Properties

The tetrahedral index satisfies fundamental algebraic identities and symmetries:

• Triality ($6j$1-Symmetry and Translations):

$6j$2

and translation:

$6j$3

for all $6j$4 (Garoufalidis et al., 2020, Celoria, 30 Oct 2025).

• $6j$5-Holonomic Recursions:

The index satisfies $6j$6-difference relations in both $6j$7- and $6j$8-directions:

$6j$9

and an analogous equation in $q$0 (Celoria, 30 Oct 2025, Garoufalidis, 2012).

• Quadratic Orthogonality:

$q$1

(Celoria, 30 Oct 2025).

• Pentagon Identity (3–2 Pachner Move):

A central associativity identity relating products and sums of indices:

$q$2

(Celoria, 30 Oct 2025, Gahramanov et al., 23 Oct 2025, Garoufalidis, 2012, Garoufalidis et al., 2020).

These properties encode the compatibility between local and global structures in 3-manifold invariants and identify the index as a noncommutative version of the quantum dilogarithm.

3. Relation to Quantum $q$3-Symbols and Special Functions

The tetrahedral index admits a precise interpretation as a stable limit of the quantum $q$4-symbol. Given the quantum $q$5-symbol $q$6 in the Kirby–Melvin normalization, one has

$q$7

where the exponents and limiting arguments are specified via tropical limits (Garoufalidis et al., 2020).

A further key analytic identification is

$q$8

where $q$9 is the Hahn–Exton $q$0-Bessel function (Celoria, 30 Oct 2025). This correspondence transports the entire apparatus of $q$1-Bessel function theory—recurrence relations, generating functions, orthogonality—into the 3-manifold setting.

4. Topological and Physical Significance

In quantum topology, the tetrahedral index serves as the local weight in the construction of the Dimofte–Gaiotto–Gukov 3D index of an oriented ideal triangulation of a 3-manifold $q$2 with torus boundary. For a triangulation with $q$3 tetrahedra, one forms the state-sum

$q$4

subject to linear relations around each internal edge (enforcing vanishing logarithmic holonomy) (Garoufalidis et al., 2020, Garoufalidis, 2012, Gahramanov et al., 23 Oct 2025).

This construction yields a topological invariant of the underlying cusped manifold, as shown by identification with the Frohman–Kania-Bartoszyńska invariant and by verifying invariance under 3–2 Pachner moves. However, the existence of a well-defined index requires the triangulation to admit an index structure — a system of gluing equations generalizing strict angle structures (Garoufalidis, 2012).

Topologically, the tetrahedral (local) index also appears in the analysis of topologically minimal surfaces, where it measures the local complexity (homotopy-index) of a surface’s intersection pattern with a single tetrahedron, providing a bridge between normal surface theory and global minimal surface invariants (Bachman, 2012).

In mathematical physics, $q$5 is the local contribution to the superconformal index of a three-dimensional $q$6 theory with a single chiral multiplet and $q$7 gauge symmetry (Gahramanov et al., 23 Oct 2025, Garoufalidis et al., 2020).

5. Bailey Pairs, State Sums, and Knot Invariants

Bailey pair technology provides a recursive framework for generating new $q$8-series identities and 3-manifold/knot invariants directly from the pentagon identity satisfied by the tetrahedral index. Specifically, sequences $q$9 of functions form a Bailey pair with respect to $q$0 if

$q$1

and this relation is compatible with an iterated “Bailey chain” involving shifted arguments and sums of products of $q$2. Each Bailey move corresponds to a structural re-triangulation or addition of tetrahedra, algorithmically generating more elaborate state-sum invariants (Gahramanov et al., 23 Oct 2025).

State-sums built from $q$3 specialize to knot invariants; for example, the index for the figure-eight knot complement is expressible as a bivariate sum over products of two tetrahedral indices: $q$4 with explicit $q$5-series expansion (Gahramanov et al., 23 Oct 2025).

6. Computational and Analytic Techniques

Computation of $q$6 leverages several methods:

• Recurrence Relations: The three-term recursions in $q$7 and $q$8 allow evaluation from initial values, analogous to classical algorithms for special functions (Celoria, 30 Oct 2025).
• Generating Functions: $q$9 admits generating function representations in terms of $q$0-binomial coefficients, directly yielding infinite families of identities and expansions (Celoria, 30 Oct 2025, Garoufalidis, 2012).
• Finite Sums and Products: The pentagon identity enables the reduction of multi-tetrahedron triple sums to double sums, substantially improving computational tractability for high-complexity 3-manifolds (Celoria, 30 Oct 2025).
• Analytic Continuation and Asymptotics: Modular transformation properties and asymptotic expansions for $q$1-Bessel functions transfer to $q$2, providing analytic control over limits and specializations (Celoria, 30 Oct 2025).

7. Broader Representation-Theoretic and Automorphic Context

The representation-theoretic avatar of the tetrahedral index arises in the context of $q$3-symbols (tetrahedral symbols) attached to irreducible representations of orthogonal groups over local fields, generalizing the classical theory of Racah–Wigner–Regge. The limit construction relating the quantum $q$4-symbol to $q$5 is an explicit example of this bridge (Garoufalidis et al., 2020, Venkatesh et al., 16 Feb 2026). In this context, the $q$6-symbol enjoys a rich web of symmetries (Weyl group $q$7 invariance), hypergeometric integral representations, and explicit connections to Langlands duality via spinor cones for $q$8 (Venkatesh et al., 16 Feb 2026).

A plausible implication is that further exploration of the automorphic and representation-theoretic underpinnings of $q$9 may yield additional structural and computational advances in quantum topology and related fields.

---

References:

• (Garoufalidis et al., 2020)
• (Celoria, 30 Oct 2025)
• (Garoufalidis, 2012)
• (Bachman, 2012)
• (Gahramanov et al., 23 Oct 2025)
• (Venkatesh et al., 16 Feb 2026)