Toral Chern-Simons TQFT via Geometric Quantization in Real Polarization

Toral Chern–Simons TQFT via Geometric Quantization in Real Polarization

Introduction and Motivation

This work provides an explicit geometric construction of toral Chern–Simons theory with gauge group $\mathbb{T} = \mathfrak{t}/\Lambda \cong U(1)^n$ from an even, integral, nondegenerate symmetric bilinear form $K : \Lambda \times \Lambda \rightarrow \mathbb{Z}$, using geometric quantization in real polarization. The resulting structure is a unitary extended $(2+1)$-dimensional Topological Quantum Field Theory (TQFT), with explicit constructions for the associated Hilbert spaces, bordism operators, and canonical state vectors. The results clarify the roles of discrete lattice data, symplectic geometry, and finite quadratic forms in the quantization of Abelian gauge theories and connect deeply to both mathematical structures such as torsion linking pairings, and physical realizations in Abelian topological order including quantum Hall states.

Geometric Model: From Moduli Spaces to Prequantum Line Bundles

The moduli space for flat $\mathbb{T}$-connections on a closed oriented genus $g$ surface $\Sigma$ is

$$\mathcal{M}_\Sigma(\mathbb{T}) = H^1(\Sigma; \mathfrak{t}) / H^1(\Sigma; \Lambda),$$

a compact $2ng$-dimensional torus. The $K$-matrix induces a symplectic form on this space via

$$\omega_{\Sigma,K}([\alpha],[\beta]) = \int_\Sigma K(\alpha \wedge \beta),$$

which is nondegenerate, alternating, and integral on the lattice.

Real polarization is controlled by a rational Lagrangian subspace $K : \Lambda \times \Lambda \rightarrow \mathbb{Z}$0, leading to a translation-invariant foliation, whose leaves are compact subtori. The Bohr–Sommerfeld conditions (flatness and trivialization of the prequantum line bundle) select a finite, distinguished set of leaves in this foliation. The number of these leaves is $K : \Lambda \times \Lambda \rightarrow \mathbb{Z}$1, where $K : \Lambda \times \Lambda \rightarrow \mathbb{Z}$2 is the discriminant group; this is the central arithmetic invariant.

The paper gives a precise construction of the canonical prequantum line bundle $K : \Lambda \times \Lambda \rightarrow \mathbb{Z}$3 whose curvature is $K : \Lambda \times \Lambda \rightarrow \mathbb{Z}$4. The choices in extending bundles or connections from the boundary into the bulk are normalized using Chern–Weil theory, leading to well-defined Hermitian structures and unambiguous quantum geometric data. The key technical achievement is a careful tracking of these choices and their unitarity across all extended TQFT operations, using techniques from determinant line bundles and torsion.

Quantization via Real Polarization

Quantization is performed by taking covariantly constant sections over the Bohr–Sommerfeld leaves, further tensored with canonical half-densities. The dimension of the obtained Hilbert space associated to $K : \Lambda \times \Lambda \rightarrow \mathbb{Z}$5 is

$K : \Lambda \times \Lambda \rightarrow \mathbb{Z}$6

The Bohr–Sommerfeld data correspond naturally with elements of $K : \Lambda \times \Lambda \rightarrow \mathbb{Z}$7, which serves as an explicit basis for the state space.

Transverse real polarizations and their transition—via the Blattner–Kostant–Sternberg (BKS) formalism—are precisely controlled, with the projective ambiguity encoded by the Maslov–Kashiwara index, refined by the signature $K : \Lambda \times \Lambda \rightarrow \mathbb{Z}$8. The BKS operator between polarizations is a generalized finite-dimensional Fourier transform parametrized by the arithmetic data of the discriminant group and its associated finite quadratic form.

Torsion Sectors, Bordism and Extended TQFT Structure

The construction extends to all components of the classical moduli space, including torsion data in $K : \Lambda \times \Lambda \rightarrow \mathbb{Z}$9, leading to a sum over topologically inequivalent sectors. The relevant classical geometry for a bordism $(2+1)$0 is always a finite set of parallel translates of a Lagrangian torus in the boundary moduli space.

Associated classical Chern–Simons functionals and torsion half-densities are combined into a canonical vector in the boundary Hilbert space. This half-density normalization is handled with care, ensuring that gluing is compatible with the arithmetic and cohomological normalization sought in TQFT. The gluing axiom is verified by carefully matching the torsion and quantum corrections, leaning heavily on determinant line and Reidemeister torsion technology.

The explicit structure theorem is:

Main Theorem:

Let $(2+1)$1 as above, $(2+1)$2 even, integral, nondegenerate symmetric, and consider a genus $(2+1)$3 surface $(2+1)$4. Geometric quantization in real polarization on the moduli space of flat $(2+1)$5-connections defines a unitary extended $(2+1)$6-dimensional TQFT $(2+1)$7, such that the associated Hilbert space for $(2+1)$8 has dimension $(2+1)$9. All TQFT axioms, including cylinder, gluing, and naturality, are satisfied strictly.

Numerical Structure and Explicit Genus One Data

The genus one Hilbert space and automorphisms recover the finite Abelian quadratic data classifying bosonic Abelian topological phases. For a torus, the state space is indexed by $\mathbb{T}$0, and the explicit modular operators $\mathbb{T}$1 and $\mathbb{T}$2 are given by the symmetric bicharacter and the finite quadratic form induced by $\mathbb{T}$3. This is realized concretely as the genus-one descendant of the all-genus extended TQFT, providing a mathematically canonical procedure to extract the measurable data $\mathbb{T}$4 in the sense of Wen [Wen2016]:

• Anyons: $\mathbb{T}$5,
• Twist Phases: $\mathbb{T}$6,
• Mutual Braiding: $\mathbb{T}$7.

In the simplest genuinely coupled rank-2 case with

$\mathbb{T}$8

the Hilbert space is $\mathbb{T}$9-dimensional, and the $g$0, $g$1 matrices (modular data) have cubic roots of unity, matching the Halperin (221) state. The genus $g$2 Hilbert space is $g$3-dimensional, demonstrating that the theory crucially depends on $g$4 and not just the rank.

Relations and Recoveries

For $g$5 and $g$6, this construction reproduces exactly the extended unitary Abelian $g$7 Chern–Simons TQFT of Manoliu, and the modular data coincide.

The approach recovers, as a derived object, the finite quadratic data governing modular tensor categories associated to Abelian Chern–Simons theories. It goes substantially further, describing the all-genus and extended TQFT structure previously accessible only via the higher-categorical and abstract approaches.

Implications and Future Directions

The geometric, real-polarization construction provides:

• A fully explicit and functorial presentation of all state spaces, bordism maps, half-densities, and Maslov corrections, valid in all genera and for all extended cobordisms.
• A canonical dictionary between lattice $g$8-matrix data, symplectic and spin geometry, determinant bundles, and the measurable data of topological order.
• Immediate extensibility to questions of modular invariance, topological phases, and likely to the classification of toral Chern–Simons theories beyond the bosonic setting.
• A concrete bridge between lattice-theoretical descriptions of topological order (via discriminant forms [Deloup1999, Zhu2021]) and the functorial, geometric viewpoint of extended TQFTs.

This construction provides the basis for rigorous functional-integral quantization, for the classification of toral Abelian Chern–Simons theories, and for understanding extended functorial field theories via concrete models [FreedHopkinsLurieTeleman]. It offers a direct mathematical toolset for comparing the TQFT, MTC, and topological order approaches in all genera and generalizes without modification to other contexts admitting similar symplectic and lattice structures.

Conclusion

This work rigorously establishes the geometric quantization (in real polarization) of toral Abelian Chern–Simons theory as a unitary extended $g$9-dimensional TQFT. It offers exact formulas for all spaces and operators, recovers the classical and quantum invariants of Abelian Chern–Simons TQFTs, and explicates the arithmetic and combinatorial data controlling bosonic Abelian topological phases. The framework demonstrates the power and completeness of geometric quantization in real polarization for organizing topological quantum field theories and provides an indispensable foundation for further developments in both mathematics and condensed matter physics.

References:

• (2604.01016) Toral Chern-Simons TQFT via Geometric Quantization in Real Polarization
• [Wen2016] X.-G. Wen, A theory of 2+1D bosonic topological orders
• [Deloup1999] F. Deloup, Linking Forms, Reciprocity for Gauss Sums and Invariants of 3-Manifolds
• [FreedHopkinsLurieTeleman] D. Freed et al., Topological Quantum Field Theories from Compact Lie Groups
• [Manoliu1] M. Manoliu, Quantization of symplectic tori in a real polarization
• [BelovMoore] D. Belov, G. Moore, Classification of Abelian spin Chern–Simons theories
• [Zhu2021] X.-J. Zhu, Finite quadratic modules and lattices

(Additional references in the paper as cited.)