Classification of Extended Abelian Chern-Simons Theories

This paper establishes that extended Abelian Chern-Simons theories with gauge group $U(1)^n$ are completely classified, up to symmetric monoidal natural isomorphism, by finite quadratic modules, which consequently also classify pointed Abelian Reshetikhin-Turaev TQFTs and pointed modular tensor categories.

The Gist

Imagine you are an architect trying to classify different types of magical buildings. In the world of theoretical physics, these "buildings" are called Chern–Simons theories. They are mathematical models used to describe how particles behave in a universe with three dimensions (two of space, one of time), specifically when those particles are "Abelian" (a fancy way of saying they follow simple, predictable rules, like the electric charge in a standard magnet).

For a long time, physicists had two ways to describe these magical buildings:

1. The Blueprint: A complex grid of numbers and shapes (called a "lattice") that defines the building's structure.
2. The Experience: How the building feels to someone walking through it, what sounds it makes, and how it reacts to magic spells (this is the "Topological Quantum Field Theory" or TQFT).

The problem was: How do we know if two different blueprints actually describe the exact same building?

The Big Discovery

Daniel Galviz, the author of this paper, solved this puzzle. He proved that you don't need to look at the massive, complicated blueprints to tell if two buildings are the same. You only need to look at a tiny, specific fingerprint left behind by the building.

He calls this fingerprint a "Finite Quadratic Module."

The Analogy: The DNA vs. The Skeleton

Think of the Lattice (the blueprint) as the full skeleton of a giant dinosaur. It has thousands of bones, joints, and muscles. It's huge, complex, and hard to carry around.

Now, imagine you find a single, unique tooth from that dinosaur.

• Galviz discovered that this single tooth (the Finite Quadratic Module) contains all the genetic information needed to identify the entire dinosaur.
• If two different skeletons (blueprints) produce the exact same tooth (fingerprint), then they are the exact same dinosaur.
• Furthermore, he proved that for any tooth shape you can imagine, there is a dinosaur skeleton that could have produced it.

Why is this a big deal?

Before this paper, scientists knew that these "teeth" (the quadratic modules) determined the behavior of the building on a simple, flat surface (like a donut shape). But they weren't sure if the tooth determined the behavior of the building when it got complicated—when it had holes, twists, or was part of a larger network of buildings.

Galviz proved that the tooth determines everything.

• It doesn't just tell you what the building looks like on the outside.
• It tells you how the building behaves when you stretch it, twist it, or connect it to other buildings.
• It classifies the entire "extended" experience of the theory, not just a small snapshot.

The "Magic Spell" Connection

The paper connects three different languages that physicists use to talk about these theories:

1. The Lattice Language: The raw math of grids and numbers.
2. The Category Language: A way of describing particles as "pointed" objects that braid around each other (like dancers).
3. The Physics Language: The actual theory of how particles move and interact.

Galviz showed that these three languages are just different translations of the same story. If you translate the story into the "Tooth Language" (the Finite Quadratic Module), you can instantly see if two stories are the same, no matter which original language they were written in.

The Takeaway

In simple terms, this paper says:

"Stop worrying about the massive, complicated blueprints. If you want to know if two Abelian Chern–Simons theories are the same, just compare their 'discriminant fingerprints.' If the fingerprints match, the theories are identical. And if you have a fingerprint, you can always build a theory to match it."

This gives physicists a simple, universal rulebook for sorting and understanding these complex quantum worlds, turning a mountain of complex data into a neat, manageable list of unique identifiers.

Technical Summary

1. Problem Statement

The paper addresses the classification of extended Abelian Chern–Simons theories with a gauge group $T \cong U(1)^n$. While previous work had established connections between these theories and algebraic structures (such as modular tensor categories and lattice data), a complete classification at the level of extended (2+1)-dimensional Topological Quantum Field Theories (TQFTs) was lacking.

Specifically, the author seeks to determine:

• To what extent is an extended Abelian Chern–Simons theory determined by its underlying algebraic data?
• Does the algebraic invariant (the discriminant quadratic module) fully classify the theory up to symmetric monoidal natural isomorphism, rather than just determining closed 3-manifold invariants or projective mapping class group representations?
• Can every abstract algebraic object of the relevant type be realized by a physical lattice presentation?

2. Methodology

The author employs a two-pronged approach combining structural equivalence theorems with constructive realization theorems:

A. Structural Equivalence (Uniqueness)

The paper relies on two prior results established by the author in separate works ([Gal26d], [Gal26b]):

1. Equivalence of Constructions: It establishes that the Abelian Chern–Simons theory constructed via geometric quantization (real polarization) is naturally isomorphic to the Walker–Maslov-corrected Reshetikhin–Turaev (RT) theory associated with a specific pointed modular tensor category.
2. Dependence on Quadratic Modules: It proves that the extended RT theory depends only on the finite quadratic module $(G_K, q_K)$ derived from the lattice, not on the specific lattice $(\Lambda, K)$ itself.

B. Constructive Realization (Existence)

To prove that every finite quadratic module corresponds to a valid theory, the paper utilizes:

• Wall's Classification: The classical result that every finite quadratic module is the discriminant module of some even integral nondegenerate lattice.
• Zhu's Explicit Construction: The paper adopts an explicit constructive proof (following Zhu [Zhu24]) showing that any finite quadratic module can be decomposed into indecomposable summands ($A_{pr}^a, A_{2r}^a, B_{2r}, C_{2r}$), each of which is realized by a specific even integral lattice.

3. Key Definitions and Objects

• Lattice Presentation: An even, integral, nondegenerate symmetric bilinear form $K: \Lambda \times \Lambda \to \mathbb{Z}$ on a lattice $\Lambda$.
• Discriminant Quadratic Module: Defined as $(G_K, q_K)$, where:
  • $G_K = \Lambda^*/K\Lambda$ is the discriminant group.
  • $q_K([x]) = \exp(\pi i x^\top K^{-1} x)$ is the quadratic form on the group.
• Extended TQFT: A functor $Z: \text{Cob}^{ext}_{2+1} \to \text{Vect}_{\mathbb{C}}$ defined on bordisms with corners, capturing data on manifolds of dimension 0, 1, 2, and 3.
• Pointed Modular Tensor Category (MTC): A braided fusion category where all simple objects are invertible (pointed), denoted $\mathcal{C}(G_K, q_K)$.

4. Key Results

Theorem 2.2 (Equivalence of Theories)

The Abelian Chern–Simons theory $Z^{CS}_{T,K}$ and the Reshetikhin–Turaev theory $Z^{RT}_{\mathcal{C}(G_K, q_K)}$ are naturally isomorphic as symmetric monoidal extended TQFTs.

• Significance: This implies that the physical theory is entirely determined by the algebraic data $(G_K, q_K)$. Two different lattices $(\Lambda_1, K_1)$ and $(\Lambda_2, K_2)$ yield equivalent extended TQFTs if and only if their discriminant modules are isomorphic.

Proposition 3.1 (Realization Theorem)

For any finite quadratic module $(A, q)$, there exists an even, integral, nondegenerate lattice $(\Lambda, K)$ such that $(A, q) \cong (G_K, q_K)$.

• Mechanism: The proof constructs $(\Lambda, K)$ as an orthogonal direct sum of explicit lattice blocks corresponding to the indecomposable components of $(A, q)$.

Theorem 3.2 (Main Classification Theorem)

The assignment $(\Lambda, K) \mapsto (G_K, q_K)$ descends to a bijection between:

1. Equivalence classes of Abelian Chern–Simons theories (up to symmetric monoidal natural isomorphism).
2. Isomorphism classes of finite quadratic modules.

Corollary 3.3 & Theorem 3.4 (Unified Classification)

The paper establishes a four-way equivalence. The following categories are in bijection via isomorphism classes of finite quadratic modules:

1. Pointed Modular Tensor Categories (Abelian setting).
2. Pointed Abelian Reshetikhin–Turaev TQFTs.
3. Abelian Extended Chern–Simons TQFTs.
4. Finite Quadratic Modules.

5. Significance and Contributions

• Complete Invariant for Extended Theories: Previous classifications often relied on invariants of closed 3-manifolds or projective representations of the mapping class group. This paper proves that the finite quadratic module is a complete invariant for the extended theory. This is crucial because equality of closed partition functions does not guarantee equality of boundary operators or extended data; the extended framework resolves this ambiguity.
• Unification of Perspectives: The paper rigorously bridges three distinct viewpoints:
  • Geometric/Physical: Chern–Simons theory via lattice quantization.
  • Algebraic/Categorical: Pointed modular tensor categories.
  • Representation Theoretic: Reshetikhin–Turaev TQFTs.
    It demonstrates that these are not just related but are equivalent descriptions of the same underlying structure.
• Resolution of the "Toral" Case: The result provides a definitive classification for the "toral Abelian setting" (gauge group $U(1)^n$), clarifying that the complexity of the theory is entirely captured by the finite abelian group and its quadratic form, regardless of the rank $n$ of the torus.
• Technical Rigor: By utilizing the Walker–Maslov correction, the author ensures that the functoriality of the TQFT is preserved, allowing for a precise statement of natural isomorphism rather than just projective equivalence.

Conclusion

Daniel Galviz's paper solves the classification problem for extended Abelian Chern–Simons theories by proving that finite quadratic modules are the fundamental invariants. The work demonstrates that the entire structure of the extended TQFT (including state spaces on surfaces of any genus and operators on bordisms) is encoded in the discriminant quadratic module of the defining lattice, and conversely, that every such algebraic module corresponds to a unique physical theory.