Chern-Simons Theory, Quantum Groups, and Topological Closure

Proof.

These follow directly from the symmetric monoidal functor structure. Functoriality is the functor axiom. The monoidal axiom encodes \(Z(\Sigma_1 \sqcup \Sigma_2) \cong Z(\Sigma_1) \otimes Z(\Sigma_2)\) via the monoidal structure. The unit axiom \(Z(\emptyset) = \mathbb{C}\) follows from the empty manifold being the monoidal unit. Duality comes from the orientation-reversal involution on \(\mathrm{Cob}_d\). The identity axiom follows from the cylinder being the identity morphism in \(\mathrm{Cob}_d\). □ □

Proof.

The classification proceeds by pair-of-pants decomposition of surfaces. Every closed oriented surface \(\Sigma_g\) of genus \(g\) decomposes into pairs of pants (the multiplication) and caps (the trace). The TQFT axioms force \(Z(S^1)\) to carry both a multiplication \(\mu: Z(S^1) \otimes Z(S^1) \to Z(S^1)\) and a trace \(\varepsilon: Z(S^1) \to \mathbb{C}\) making it a commutative Frobenius algebra. The partition function on genus-\(g\) surfaces is:

where \(n = \dim Z(S^1)\) and \(\lambda_i\) are the eigenvalues of the Frobenius trace. □ □

Proof.

\(S^2\) bounds the 3-ball \(B^3\). By the TQFT axioms, the cobordism \(B^3: \emptyset \to S^2\) provides a linear map \(Z(B^3): \mathbb{C} \to Z(S^2)\), hence a vector \(v = Z(B^3)(1) \in Z(S^2)\). Since \(B^3\) is the unique filling of \(S^2\) (up to diffeomorphism), and since \(\pi_1(S^2) = 0\) gives a trivial representation variety \(\mathrm{Hom}(\pi_1(S^2), G)/G = \text{pt}\), the state space is 1-dimensional:

□ □

Proof.

For \(S^2\): proved in Theorem thm:168-dim-ZS2. For \(T^2\): the torus has \(\pi_1(T^2) = \mathbb{Z}^2\), and the state space is spanned by integrable highest-weight representations of the affine Lie algebra \(\widehat{\mathfrak{su}(2)}_k\). There are exactly \(k+1\) such representations (spins \(j = 0, \frac{1}{2}, \ldots, \frac{k}{2}\)). The general formula follows from the Verlinde formula, which computes the dimension of the space of conformal blocks of the WZW model on \(\Sigma_g\). □ □

Proof.

Arguments (1)–(5) are proved in Chapters 160, 163, and the master Part 15C analysis. The uniqueness follows by elimination: \(k = 6\) gives \(c = 9/4\) (no prime 7), \(k = 4\) gives \(c = 2\) (integer, no prime structure), \(k = 24\) gives \(c = 36/13\) (denominator 13, categorical not arithmetic). Combined with the deformation rigidity \(\mathrm{HH}^2(\mathbb{P}^1) = 0\) (Chapter 161), no alternative level exists. □ □

Proof.

One verifies the Hopf algebra axioms directly: the coproduct is an algebra homomorphism \(\Delta: U_q \to U_q \otimes U_q\), the counit satisfies \((\varepsilon \otimes \mathrm{id}) \circ \Delta = \mathrm{id}\), and the antipode satisfies \(\mu \circ (S \otimes \mathrm{id}) \circ \Delta = \eta \circ \varepsilon\) (where \(\mu\) is multiplication and \(\eta\) is the unit). All verifications reduce to the defining relations eq:168-quantum-relations. □ □

Proof.

At a root of unity \(q = e^{2\pi i/(k+2)}\), the quantum dimension \([2j+1]_q = \sin((2j+1)\pi/(k+2))/\sin(\pi/(k+2))\) vanishes for \(j = (k+2)/2\), and representations with \(j > k/2\) have zero or negative quantum dimension. The consistent truncation retains only \(j \in \{0, \frac{1}{2}, \ldots, \frac{k}{2}\}\), giving \(k+1\) representations. At \(k = 12\): \(k+1 = 13\). □ □

Proof.

The category \(\mathrm{Rep}(U_q(\mathfrak{su}_2))\) at a root of unity \(q = e^{2\pi i/(k+2)}\) is a well-studied example of a modular tensor category. The fusion rules follow from the truncated tensor product (Theorem thm:168-root-of-unity). The \(R\)-matrix of \(U_q(\mathfrak{su}_2)\) provides the braiding, and the ribbon element gives the twist. Modularity (invertibility of \(S\)) follows from the Verlinde formula: \(S\) diagonalizes the fusion rules, and all quantum dimensions \(d_j > 0\) for \(0 \leq j \leq k\). At \(k = 12\), all 13 quantum dimensions are positive, confirming the non-degeneracy of \(S\). □ □

Proof.

The Reshetikhin–Turaev construction proceeds as follows: given a closed 3-manifold \(M\), represent \(M\) as surgery on a framed link \(L\) in \(S^3\). The partition function is:

where \(D\) is the total quantum dimension, \(\sigma(L)\) the signature of the linking matrix, \(d_\lambda\) the quantum dimensions, and \(F(\lambda, L)\) the colored Jones evaluation. Independence of surgery presentation follows from the Kirby moves, which are satisfied precisely because \(\mathcal{C}\) is modular (the \(S\)-matrix is invertible). Uniqueness follows from the bijection between modular tensor categories and non-degenerate 3D TQFTs. □ □

Proof.

By the Hochschild–Kostant–Rosenberg theorem for smooth varieties, \(\mathrm{HH}^n(X) \cong \bigoplus_{p+q=n} H^q(X, \bigwedge^p T_X)\). For \(X = \mathbb{P}^1\):

where: \(\bigwedge^2 T_{\mathbb{P}^1} = 0\) because \(\dim \mathbb{P}^1 = 1\); \(H^1(\mathbb{P}^1, T_{\mathbb{P}^1}) = H^1(\mathbb{P}^1, \mathcal{O}(2)) = 0\) by the vanishing theorem for ample line bundles on curves; and \(H^2(\mathbb{P}^1, \mathcal{O}) = 0\) because \(\dim \mathbb{P}^1 = 1 < 2\). □ □

Proof.

This is Witten's foundational result. The Chern–Simons path integral with Wilson line insertion defines a topological invariant because the CS action is metric-independent. The Reshetikhin–Turaev construction provides a rigorous combinatorial definition: represent \(K\) as a braid closure, apply the \(R\)-matrix of \(U_q(\mathfrak{su}_2)\) at each crossing, and take the quantum trace. The result is independent of the braid representative by the Markov theorem. □ □

Proof.

The correspondence rests on three identifications:

• Charges match representations: TMT monopoles carry charges classified by \(\mathrm{Iso}(S^2) = \mathrm{SO}(3) \supset \mathrm{SU}(2)\), with allowed spins \(j \in \{0, \frac{1}{2}, 1, \ldots\}\). At level \(k = 12\), the truncation of Theorem thm:168-root-of-unity restricts to \(j \in \{0, \frac{1}{2}, \ldots, 6\}\)—exactly the 13 integrable representations. Wilson lines in these representations are the only allowed observables.
• Fusion rules agree: Monopole “fusion” (bringing two monopoles together) must obey the truncated tensor product:
$$ j_1 \otimes j_2 = \bigoplus_{j=|j_1-j_2|}^{\min(j_1+j_2,\; k - j_1 - j_2)} j $$ (168.26)
This is precisely the \(\mathrm{SU}(2)_{12}\) fusion rule of the modular tensor category (Theorem thm:168-mtc).
• Path integrals coincide: The TMT path integral with a monopole insertion at a point \(p \in S^2\) and worldline \(\gamma\) reduces, in the topological sector, to the CS path integral with Wilson line insertion \(W_j(\gamma)\).

□ □

Proof.

The unknot evaluation is immediate from the quantum dimension formula (Theorem thm:168-quantum-integers). The trefoil formula follows from the skein relation for the Jones polynomial applied to the standard 3-crossing diagram of \(3_1\). The cyclotomic field \(\mathbb{Q}(\zeta_{14}) = \mathbb{Q}(\zeta_7)\) has discriminant involving only the prime \(7\), and the full Jones values live in \(\mathbb{Z}[\zeta_{14}]\), whose ramification set \(\{2, 7\}\) is contained in the TMT arithmetic spectrum. □ □

Proof.

The key point is that TMT observables on open sets \(U \subset S^2\) are polynomial functions of the monopole field \(Y\) restricted to \(U\). The Clebsch–Gordan decomposition of products \(Y_{\ell_1 m_1} \cdot Y_{\ell_2 m_2}\) provides the factorization product—it is local (depends only on the overlap at points in \(U\)), associative (by associativity of the Clebsch–Gordan coupling), and satisfies the factorization axiom: for disjoint opens, the fields on each open are independent, so the tensor product multiplication is well-defined. The Chern–Simons sector contributes a topological factorization algebra whose global sections recover \(Z(S^2) = \mathbb{C}\). □ □

Proof.

The modular tensor category \(\mathrm{Rep}(\mathrm{SU}(2)_{12})\) is a well-known example of a fully dualizable object in the Morita 3-category of tensor categories. By the cobordism hypothesis (Theorem thm:168-cobordism-hypothesis), this fully dualizable object uniquely determines a once-extended 3D TQFT. The assignments follow from the general Reshetikhin–Turaev–Turaev–Viro construction:

• A point is assigned the MTC itself (the generating object),
• A 1-manifold (arc) is assigned the endomorphism category, which by modularity is a functor category,
• A surface \(\Sigma\) is assigned the vector space \(Z(\Sigma)\) computed by the Reshetikhin–Turaev TQFT. For \(S^2\): \(Z(S^2) = \mathbb{C}\) (Theorem thm:168-dim-zs2).
• A 3-manifold \(M\) is assigned \(Z(M) \in \mathbb{C}\).

The decategorification from the 13-object category \(\mathrm{Rep}(\mathrm{SU}(2)_{12})\) down to the 1-dimensional space \(Z(S^2) = \mathbb{C}\) “forgets” most categorical information, retaining only the partition function. The extended version preserves the full structure. □ □

Proof.

The Chern–Simons action \(S_{\mathrm{CS}} = \frac{k}{4\pi} \int_M \mathrm{tr}(A \wedge dA + \frac{2}{3} A \wedge A \wedge A)\) is manifestly metric-independent—it is written entirely in terms of differential forms and the wedge product, with no metric tensor appearing. The TMT coupling constants (\(g^2 = 4/(3\pi)\), etc.) are determined by overlap integrals on \(S^2\) at radius \(R_0\). Once \(R_0\) is stabilised, these constants are fixed numbers. The only metric dependence is through \(R_0\), and modulus stabilisation removes this last degree of freedom. □ □

Proof.

We verify each level:

• Classical: \(\mathrm{Iso}^+(S^2) = \mathrm{SO}(3)\), with double cover \(\mathrm{SU}(2)\). This is forced by the postulate \(P^1\) identifying \(S^2\) as the extra-dimensional interface.
• Quantum: The five arguments for \(k = 12\) (product structure, Bernoulli number, dimension lcm, central charge, modular invariance) independently select the same level. The quantum parameter \(q = e^{2\pi i/(k+2)} = e^{i\pi/7}\) is then determined. Theorem thm:168-hh2-vanishing (\(\mathrm{HH}^2(\mathbb{P}^1) = 0\)) ensures no continuous deformation family exists.
• Categorical: A modular tensor category is a rigid algebraic structure: the fusion rules, braiding, and twist are determined by the choice of quantum group and level. Given \(\mathrm{SU}(2)\) and \(k = 12\), the MTC \(\mathrm{Rep}(\mathrm{SU}(2)_{12})\) is uniquely determined (up to equivalence) by the Reshetikhin–Turaev construction (Theorem thm:168-reshetikhin-turaev).
• Extended: The cobordism hypothesis gives a bijection between fully extended 3D TQFTs and fully dualizable objects. Since \(\mathrm{Rep}(\mathrm{SU}(2)_{12})\) is the unique MTC from the data above, the extended TQFT is unique.

Combining all four levels: the TMT topological sector is completely determined with zero free parameters beyond \(P^1\) and \(R_0\). □ □