Classification of Extended Abelian Chern-Simons Theories

Abstract: We classify extended Abelian Chern-Simons theories with gauge group $U(1)^n$ as extended $(2+1)$-dimensional topological quantum field theories. For an even integral nondegenerate lattice $(Λ,K)$, let $(G_K,q_K)$ denote its discriminant quadratic module. We prove that the associated theory is determined, up to symmetric monoidal natural isomorphism, by this finite quadratic module, and that every finite quadratic module is realized as the discriminant quadratic module of an even integral nondegenerate lattice. It follows that finite quadratic modules classify extended Abelian Chern-Simons theories, pointed Abelian Reshetikhin-Turaev TQFTs, and pointed modular tensor categories.

• The paper demonstrates that finite quadratic modules from even integral nondegenerate lattices serve as complete invariants for classifying extended (2+1)-dimensional Abelian Chern-Simons TQFTs.
• It establishes the equivalence between geometric quantization and functional-integral approaches with Walker–Maslov-corrected Reshetikhin–Turaev theories using pointed modular tensor categories.
• The constructive lattice decompositions provided realize any finite quadratic module, underpinning applications in topological quantum computation and fractional quantum Hall systems.

Classification of Extended Abelian Chern-Simons Theories

Overview and Motivation

The paper "Classification of Extended Abelian Chern-Simons Theories" (2604.02929) establishes a canonical classification of extended $(2+1)$-dimensional Abelian Chern–Simons TQFTs with gauge group $U(1)^n$, via finite quadratic modules associated to even integral nondegenerate lattices. It demonstrates that the algebraic discriminant quadratic module $(G_K, q_K)$ arising from a lattice $(\Lambda, K)$ serves as a complete invariant for the extended theory, and that every finite quadratic module is realized in this manner.

This work ties together lattice-theoretic presentations, modular tensor category structures, and the characterization of extended TQFTs, thereby providing a unified algebraic framework for the classification problem of Abelian Chern–Simons theories.

Structural Results on Extended TQFTs

The paper leverages two equivalence theorems. First, it confirms that Abelian Chern–Simons theory, rigorously constructed via both geometric quantization and functional-integral approaches, is naturally isomorphic as an extended TQFT to the Walker–Maslov-corrected Reshetikhin–Turaev theory associated with the pointed modular tensor category $\mathcal C(G_K, q_K)$ ([Galviz1], [Galviz2], [Galviz3], [Galviz3.5]). The second theorem ensures the existence and constructibility of even integral nondegenerate lattices realizing any given finite quadratic module, utilizing explicit decompositions and constructive results ([Wall1963], [Zhu2021]).

This formalizes the statement that the theory determined by a lattice presentation $(\Lambda, K)$ is uniquely labeled, up to symmetric monoidal natural isomorphism, by the induced discriminant quadratic module $(G_K, q_K)$.

Algebraic and Category-Theoretic Framework

Abelian Chern–Simons TQFTs, pointed modular tensor categories, and Abelian anyon models are all classified up to equivalence by finite quadratic modules. The discriminant group $G_K = \Lambda^*/K\Lambda$ carries a quadratic form $q_K$ encoding the anyon sectors, twist (exchange statistics), and mutual braiding, directly linking mathematical invariants with topological order parameters highlighted in quantum Hall states ([wen1990], [wenzee1992], [Wen2016]). The state space on a genus-$g$ surface, for instance, is $U(1)^n$0; this strong numerical result illustrates how Hilbert space dimension is controlled by the discriminant module for all genera.

The classification theorem confirms that presentations $U(1)^n$1 and $U(1)^n$2 yield equivalent extended TQFTs if and only if their discriminant quadratic modules are isomorphic. The explicit block decomposition of finite quadratic modules (into types $U(1)^n$3, $U(1)^n$4, $U(1)^n$5, $U(1)^n$6) and lattice realizations from [Zhu2021] underpin a constructive surjectivity: every finite quadratic module arises from an explicit lattice.

Implications, Applications, and Future Directions

The implications of the classification theorem extend across mathematics and theoretical physics:

• Complete Invariance: The modular data, projective representations of mapping class groups, topological order, and boundary operator structures are all encapsulated by finite quadratic modules.
• Extended TQFT Framework: The result sharpens previous classification results, moving beyond invariants of closed $U(1)^n$7-manifolds and genus-one data to encompass fully extended $U(1)^n$8-dimensional TQFTs.
• Realization Problems: Explicit lattice constructions for arbitrary finite quadratic modules serve as a practical toolkit for generating Abelian Chern–Simons theories with prescribed algebraic properties.
• Quantum Information and Topological Order: The classification bears directly upon topological quantum computation, anyon braiding, and fractional quantum Hall systems, connecting categorical data with physical realizations ([kitaev2003anyons], [Wen2016]).
• Extension to Non-Abelian Settings: While the result is confined to toral Abelian theories, its categorical and algebraic approach is suggestive for analogous classification schemes in non-Abelian cases or higher-dimensional TQFTs.

Speculatively, future developments could involve further generalization to spin Chern–Simons theories, investigation of invertible phases, and exploration of symmetry-enriched topological phases ([BelovMoore], [LuVishwanath2016]).

Conclusion

This classification demonstrates that finite quadratic modules provide a complete and intrinsic invariant for extended Abelian Chern–Simons theories, pointed Abelian modular tensor categories, and associated TQFTs. The equivalence of presentations, modular tensor categories, and explicit lattice realizations reinforce the algebraic unity of the topological quantum field theory landscape. The constructive surjectivity and uniqueness results furnish a robust algebraic foundation for practical computations and theoretical investigations within both mathematics and condensed matter physics.