A Rigorous Functional-Integral Construction of Toral Chern-Simons Theory

Abstract: We construct the functional integral of Abelian Chern-Simons theory with toral gauge group $\mathbb T=\mathfrak t/Λ\cong U(1)^n$ at level $K$, where $K:Λ\timesΛ\to\mathbb Z$ is an even, integral, nondegenerate symmetric bilinear form, by exact zeta-regularized Gaussian evaluation of the formal quotient integral over connections modulo gauge. For closed $3$-manifolds, this yields a topological invariant; for manifolds with boundary, the relative functional integral produces the canonical boundary state. The resulting theory satisfies the required axioms of a $(2+1)$-dimensional TQFT.

• The paper presents a rigorous construction of toral Chern-Simons theory using a zeta-regularized Gaussian functional-integral method.
• It derives explicit expressions for partition functions on closed 3-manifolds and canonical boundary states via Hodge-theoretic decompositions and determinant bookkeeping.
• The approach confirms TQFT axioms and unifies analytic, topological, and categorical frameworks, paving the way for extensions to more general gauge theories.

Rigorous Functional-Integral Construction of Toral Chern-Simons Theory

Overview and Context

This paper presents a detailed, rigorous functional-integral construction of Abelian Chern-Simons theory with toral gauge group $\mathbb{T} = U(1)^n$, generalizing established rank-one results to the case where the gauge group is a compact torus and the level is encoded by an even, integral, nondegenerate symmetric bilinear form $K$. The approach leverages zeta-regularized Gaussian evaluation of the formal path integral over connections modulo gauge transformations, providing a direct analytic construction of both the partition function for closed $3$-manifolds and the canonical boundary states for manifolds with boundary. The construction satisfies all axioms of a $(2+1)$-dimensional TQFT, aligning with existing geometric quantization and modular tensor category frameworks.

Functional Integral and Gaussian Evaluation

The functional integral for toral Chern-Simons theory is defined as the exact quotient path integral over the space of connections modulo gauge, regulated via zeta-function techniques. The core technical advance is the exploitation of the fact that the Abelian toral case yields a Gaussian functional integral, with the action quadratic in fluctuations after translation by a flat connection in each torsion sector. Explicit Hodge-theoretic decompositions isolate the harmonic, gauge, and coexact sectors. The spectral factorization of the bilinear form $K$ generates a determinant prefactor $|\det K|^{m_X}$—a higher-rank generalization of the level factor in $U(1)$ Chern-Simons theory—where $m_X$ is determined by the Betti numbers and, for a closed, connected manifold $X$, reduces to $m_X = \frac{1}{2}(b_1(X) - 1)$.

The path integral for a torsion class $K$0 over a closed $K$1-manifold $K$2 is shown to be

$K$3

where $K$4 is a torus torsor parametrizing flat connections, $K$5 is the exponentiated Chern-Simons action, and $K$6 is the Ray-Singer analytic torsion for the trivial local system $K$7. The result is insensitive to the Riemannian metric and bundles' representatives, fully topological once the relevant local eta-invariant anomaly is cancelled.

Boundaries, Relative Integrals, and Canonical States

For manifolds with boundary, the construction yields, via the relative functional integral, elements of the canonical line bundle over the boundary phase space—a prequantum bundle equipped with a natural half-density (the torsion half-density) supported on Bohr-Sommerfeld leaves determined by the boundary Lagrangian. The explicit functional integral with fixed boundary holonomy produces the analytic boundary state in the expected geometric quantization framework: $K$8 where $K$9 is the leafwise Chern-Simons section (the quantum state associated to the boundary value) and $3$0 is the Ray-Singer torsion half-density. The functional-integral approach matches, on the nose, the quantization construction in real polarization, with exact matching of the torsion and determinant factors.

Determinant Bookkeeping and Topological Invariance

A central technical component is the rigorous tracking (“bookkeeping”) of zeta-regularized determinants and eta-invariants arising from gauge fixing and Hodge decomposition. The power of $3$1 appearing in the state and partition function is precisely identified, and the remaining determinant/torsion ratios are shown to correspond to the Ray-Singer torsion or its relative version, depending on the boundary. Metric dependencies and eta-invariant anomalies are systematically canceled, demonstrating the full topological invariance of the resulting state and partition functions. The universal structure is maintained in both closed and relative (boundary) settings, which was previously established only in the rank-one case.

TQFT Structure: Functoriality, Gluing, and Cylinder

The construction is shown to recover all TQFT axioms à la Atiyah: the cylinder (mapping cylinder, identity on the Hilbert space) is normalized by $3$2, and the gluing formula is matched precisely via the trace on the Hilbert space of boundary states, respecting the $3$3-twisted normalization convention. The immediate consequence is the construction of a full extended $3$4-dimensional toral Chern-Simons TQFT, as previously established in geometric and categorical settings [Galviz2].

Relation to Other Approaches

On closed manifolds, the resulting partition function matches the established invariants from geometric quantization and Deligne-Beilinson cohomology, but is here derived directly from a Gaussian path integral computation rather than by post-hoc normalization. The analytic construction is compatible with the Reshetikhin-Turaev theory via modular tensor categories determined by the quadratic data $3$5, and thereby with the classification of Abelian anyon models. The functional-integral formula produces analytic counterparts to the modular functor, mapping class group representations, and Gaussian reciprocity relations for Abelian TQFT invariants. The explicit form can be compared to other regularization schemes (e.g., via lattice sum, combinatorial, or Deligne-Beilinson techniques [Kim2024]) and offers an explicit analytic model for the trace and state spaces involved.

Implications and Future Directions

This construction provides a complete functional-integral model for toral Chern-Simons theory, supporting applications that require explicit path integral expressions for partition functions and states in both mathematical and condensed matter contexts. The formalism paves the way for extending rigorous path-integral arguments to more general Abelian and non-Abelian TQFTs, as well as for the study of boundary conditions, defects, and extended field theories.

The exact match between the functional-integral and geometric quantization frameworks strengthens the bridge between analytic, topological, and categorical methods in TQFT. The precise bookkeeping of lattice data and torsion factors will facilitate analysis of dualities, equivalences, and the computation of state-sum invariants. Potential future developments include systematic extensions to equivariant, spin, and non-Abelian cases, and exploration of applications in the classification of symmetry-enriched topological phases and higher categorical TQFT structures.

Conclusion

This work achieves a fully rigorous construction of the toral Chern-Simons path integral, establishing a technical and conceptual foundation for Abelian TQFTs with toral gauge group at arbitrary level $3$6. The results unify and solidify the analytic, topological, and quantization perspectives, and the presented methods are likely to inform ongoing advances in both mathematics and theoretical physics.

---

Reference: "A Rigorous Functional-Integral Construction of Toral Chern-Simons Theory" (2604.02013).