Equivalence of toral Chern-Simons and Reshetikhin-Turaev theories

Abstract: We prove a natural isomorphism between toral Chern-Simons theory with gauge group $\mathbb T=\mathcal t/Λ\cong U(1)^n$ and the Reshetikhin-Turaev theory associated with the finite quadratic module determined by an even, integral, nondegenerate symmetric bilinear form $K:Λ\timesΛ\to\mathbb Z.$ More precisely, let $G_K=Λ^*/KΛ$ be the discriminant group of $K$, equipped with its induced quadratic form $q_K$, and let $C(G_K,q_K)$ be the corresponding pointed modular category. Using the geometric quantization formulation of toral Chern-Simons theory, we show that the resulting toral TQFT is naturally isomorphic to the Reshetikhin-Turaev TQFT determined by $C(G_K,q_K)$. The comparison is established both for closed $3$-manifold invariants and for bordisms with boundary, yielding an isomorphism of extended $(2+1)$-dimensional TQFTs.

• The paper demonstrates a full isomorphism of extended TQFT functors linking toral Chern-Simons and RT theories.
• It employs geometric quantization and algebraic surgery formulas to obtain matching state spaces and partition functions.
• The work implies that computational and structural results transfer directly between the geometric and algebraic formulations of (2+1)d TQFTs.

Equivalence of Toral Chern-Simons and Reshetikhin-Turaev Theories

Introduction

The paper establishes a detailed equivalence between two classes of (2+1)-dimensional topological quantum field theories (TQFTs): toral Abelian Chern--Simons theory with gauge group $\mathbb{T} = U(1)^n$ and even, integral, nondegenerate level $K$, and the Reshetikhin--Turaev (RT) TQFT associated to the pointed modular category determined by the discriminant finite quadratic module $(G_K, q_K)$. The main result is a natural monoidal isomorphism of extended TQFT functors, demonstrating that these two constructions are, in a precise sense, physically and mathematically identical.

Geometric Formulation: Toral Chern-Simons Theory

Toral Chern--Simons theory is formulated via geometric quantization in real polarization. For each oriented genus $g$ surface $\Sigma$, the moduli space $$\mathcal{M}_\Sigma(\mathbb{T}) \cong H^1(\Sigma ; \mathfrak{t})/H^1(\Sigma ; \Lambda)$$ is a compact symplectic torus. The quantization yields a Hilbert space of dimension $|G_K|^g$, with the Bohr--Sommerfeld leaves playing a central role as an explicit basis. Bordisms $X:(\Sigma_1, \lambda_1) \to (\Sigma_2, \lambda_2)$ induce Lagrangian correspondences and thus operator-valued assignments. The partition function for closed 3-manifolds is expressed as a sum over torsion classes in $H^2(X; \Lambda)$, each weighted by Reidemeister torsion and the Chern--Simons action, which reduce to a finite quadratic Gauss sum.

The theory is extended: the assignments are functorial for the (2+1)d cobordism category with Lagrangian (polarization) data, and possess explicit gluing and cylinder normalization formulas. Anomalies are controlled by $K$-twisted Maslov indices, which are absorbed in the extended structure via Walker--Maslov corrections.

Algebraic Formulation: Reshetikhin-Turaev Theory and Pointed Modular Categories

On the algebraic side, the RT TQFT is constructed from the modular category $K$0, where $K$1 is the discriminant group induced by $K$2 and $K$3 is the discriminant quadratic form. The RT state spaces on surfaces correspond to complex group rings $K$4, and bordism operators are determined by handlebody pairings and surgery formulas.

Closed 3-manifold invariants are computed via the RT surgery formula, summing over colorings of link components in $K$5 with weights given by the quadratic form $K$6 and the associated bicharacter. For general $K$7, the surgery formula is governed by higher-rank versions of quadratic reciprocity (Deloup--Turaev), with explicit normalization by signature phases.

The RT theory admits a functorial extension via the Walker--Maslov correction, incorporating cobordism weights and ensuring strict monoidality and functoriality compatibility.

Comparison and Equivalence: Geometry vs Algebra

The geometric quantization yields finite-dimensional state spaces isomorphic (canonically) to the algebraically constructed RT state spaces: both are indexed by $K$8, and both enjoy explicit preferred bases. On bordisms, the handlebody pairing mechanism shows that matrix elements in both theories reduce to evaluating partition functions on closed 3-manifold closures with canonical weighting.

The crux of the equivalence involves matching the closed manifold invariants. The toral Chern--Simons partition function, expressed as a torsion sum with topological normalization, coincides (up to a universal, signature-dependent phase) with the RT surgery invariant. The signature anomaly is precisely eliminated by the Walker--Maslov correction in the extended RT framework, yielding strict operator equality on handlebody-induced bases.

For manifold with boundary, bordism operators correspond under explicit isomorphisms between state spaces, guaranteeing compatibility of the full functorial and monoidal structure—for both connected and disconnected (by tensor product extension) surfaces.

Numerical Results, Strong Claims, and Generality

A central assertion is the full isomorphism of functors:

$K$9

at the level of symmetric monoidal extended TQFTs. The identification is canonical: state spaces are identified via their preferred bases, and all bordism maps agree after precisely accounting for Maslov (signature) anomalies. In particular:

• State spaces: $(G_K, q_K)$0
• Partition Functions: For any closed 3-manifold presented by surgery, both partition functions reduce to the same Gauss sum up to explicit signature phase, which is cancelled in the extended formalism.
• The equivalence extends uniformly across all choices of even, integral, nondegenerate $(G_K, q_K)$1, and all (possibly disconnected) bordism categories.

Implications

Theoretical Implications: This work rigorously confirms longstanding expectations from physics (notably the quantum field theoretic constructions of Chern--Simons path integration) that Abelian toral Chern--Simons theories and quadratic form–based RT invariants form two aspects of the same object. It validates the modular functor realization of geometrically constructed TQFTs, and provides a blueprint for generalizations to non-Abelian or spin-refined settings.

Practical Implications: The equivalence implies that any computational or structural results available from the RT side (algebraic/topological quantum computation, modular tensor structure, classification theorems) transfer directly to Abelian Chern--Simons theories with toral gauge group; likewise, geometric insights, normalizations, and partition function structures from Chern--Simons theory inform the quantum algebraic perspective.

Perspectives for Future Work

• The methods and results suggest a roadmap for extending equivalence results to spin, cohomological, or supergeometric variants, and to non-Abelian or super-modular contexts.
• Systematic classification of all Abelian TQFTs via quadratic modules, as well as analysis of invariants under dualities or stacking, are immediate consequences.
• The explicit computations of anomaly correction and quadratic reciprocity should inform the study of anomalies, framing dependence, and holography in higher-dimensional TQFTs.

Conclusion

The paper rigorously bridges geometric and algebraic constructions of (2+1)d toral Abelian TQFTs, demonstrating a functorial equivalence between the extended toral Chern--Simons theory and the RT theory built from the associated discriminant modular category. The isomorphism is defined at the level of symmetric monoidal functors, with all numerical and normalization subtleties controlled explicitly. This establishes a definitive correspondence, with broad implications for the structure and classification of topological models in mathematics and physics.