Recognition: 2 theorem links
· Lean TheoremClassification of Extended Abelian Chern-Simons Theories
Pith reviewed 2026-05-13 18:55 UTC · model grok-4.3
The pith
Finite quadratic modules classify extended Abelian Chern-Simons theories.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
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.
What carries the argument
The discriminant quadratic module (G_K, q_K) of an even integral nondegenerate lattice (Λ, K), which fixes the theory up to symmetric monoidal natural isomorphism.
If this is right
- Extended Abelian Chern-Simons theories are in one-to-one correspondence with finite quadratic modules.
- Pointed Abelian Reshetikhin-Turaev TQFTs are classified by the same finite quadratic modules.
- Pointed modular tensor categories are classified by finite quadratic modules.
- The classification is exhaustive, with no additional data needed beyond the module.
Where Pith is reading between the lines
- This allows direct construction of theories from quadratic modules without first finding a lattice.
- The result links lattice theory in number theory to the classification of topological phases in physics.
- It may be possible to derive explicit formulas for the TQFT invariants purely from the quadratic module data.
- Similar classifications could be sought for theories with other gauge groups or in higher dimensions.
Load-bearing premise
The correspondence between even integral nondegenerate lattices and their discriminant quadratic modules, together with the standard definition of extended TQFTs, fully determines the theory up to isomorphism.
What would settle it
Discovery of a finite quadratic module that is not the discriminant of any even integral nondegenerate lattice, or an extended theory not isomorphic to the one predicted by its module.
read the original 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 $(\Lambda,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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript classifies extended Abelian Chern-Simons theories with gauge group U(1)^n as extended (2+1)-dimensional TQFTs. For an even integral nondegenerate lattice (Λ, K), it denotes by (G_K, q_K) the associated discriminant quadratic module. The central result is that the extended theory is determined up to symmetric monoidal natural isomorphism by this finite quadratic module, and that every finite quadratic module arises as the discriminant module of some even integral nondegenerate lattice. Consequently, finite quadratic modules classify the extended Abelian Chern-Simons theories, the pointed Abelian Reshetikhin-Turaev TQFTs, and the pointed modular tensor categories.
Significance. If the result holds, the classification supplies a parameter-free bijection between finite quadratic modules and these extended TQFTs and pointed MTCs. The argument relies on the standard lattice-to-discriminant-module correspondence together with category-theoretic uniqueness statements, yielding a clean and falsifiable classification that strengthens the dictionary between quadratic forms and (2+1)-dimensional topological field theories.
minor comments (2)
- The introduction should include a brief, self-contained reminder of the precise axioms for an extended (2+1)-dimensional TQFT that are being used, with a reference to the relevant section where the functoriality and monoidal structure are defined.
- Notation for the quadratic module (G_K, q_K) is introduced in the abstract and §2; a single consolidated definition box or numbered display would improve readability when the module is invoked in later sections.
Simulated Author's Rebuttal
We thank the referee for their positive summary of our results and for recommending acceptance of the manuscript. Their description accurately captures the classification of extended Abelian Chern-Simons theories via finite quadratic modules.
Circularity Check
No significant circularity in the classification proof
full rationale
The paper establishes a bijection showing that extended Abelian Chern-Simons theories (and related pointed Abelian RT TQFTs and modular tensor categories) are classified by finite quadratic modules, realized as discriminant quadratic modules of even integral nondegenerate lattices. The central claim is proved from the standard definitions of the theories attached to lattices and the lattice-to-module correspondence; neither direction reduces the output to a fitted input, self-defined term, or load-bearing self-citation. The derivation is self-contained against external benchmarks in lattice theory and TQFT axioms, with no ansatz smuggling, uniqueness theorems imported from the same author, or renaming of known results as new organization.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Even integral nondegenerate lattices produce well-defined discriminant quadratic modules
- standard math Extended (2+1)-TQFTs are symmetric monoidal functors from a suitable bordism category
Reference graph
Works this paper leans on
-
[1]
[BM05] Dmitriy Belov and Gregory W. Moore. Classification of Abelian spin Chern-Simons theories. arXiv:hep-th/0505235,
work page internal anchor Pith review Pith/arXiv arXiv
-
[2]
Equivalence of Extended $U(1)$ Chern-Simons and Reshetikhin-Turaev TQFTs
[Gal26a] Daniel Galviz. Equivalence of extendedU(1)Chern–Simons and Reshetikhin–Turaev TQFTs. arXiv:2603.27688,
work page internal anchor Pith review Pith/arXiv arXiv
-
[3]
Equivalence of toral Chern-Simons and Reshetikhin-Turaev theories
[Gal26b] Daniel Galviz. Equivalence of toral Chern–Simons and Reshetikhin–Turaev theories. arXiv:2604.01982,
work page internal anchor Pith review Pith/arXiv arXiv
-
[4]
A rigorous functional–integral construction of toral Chern–Simons theory
[Gal26c] Daniel Galviz. A rigorous functional–integral construction of toral Chern–Simons theory. arXiv:2604.02013,
-
[5]
Toral Chern–Simons TQFT via geometric quantization in real polarization
[Gal26d] Daniel Galviz. Toral Chern–Simons TQFT via geometric quantization in real polarization. arXiv:2604.01016,
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.