Chern–Simons action and level quantization
Define compact abelian Chern–Simons theory globally, distinguish spin and bosonic level conditions, and calculate oriented line phases with an explicit action sign.
On this page
The question for today
What you’ll understand
- Explain why a locally total-derivative variation does not settle large-gauge consistency.
- Use a four-manifold extension to distinguish integer spin levels from even bosonic levels.
- Calculate line fusion and braiding with declared linking and framing conventions.
In two spatial dimensions, a compact gauge field can have a Chern–Simons action without a Maxwell kinetic term. The local expression is independent of a metric, but its global definition depends on flux quantization and on whether a spin structure is supplied. Line observables then have exact topological braiding data. We choose an action sign and orientation convention explicitly, because reversing either conjugates the reported phases. These results concern a specified topological theory, rather than every dynamical gauge model containing a Chern–Simons term.
A compact connection needs a global action
Work on an oriented closed three-dimensional spacetime with path-integral weight exponential of imaginary action. Let a be a compact U(1) connection with curvature periods two pi times integers and integer Wilson charges. Choose a minus sign in front of the level-k action so the positive oriented linking convention below gives a positive braiding phase. Locally, a gauge variation is a total derivative, but nontrivial bundles prevent treating the potential as one global smooth form.
One way to define the exponent uses an extension to a four-manifold whose oriented boundary is the physical spacetime, with the connection extended as well. Comparing two extensions gives an integral over a closed four-manifold. That difference must change the action only by a multiple of two pi. This test detects global information that a local integration by parts can miss, and it specifies which values of the nominal coefficient define a quantum theory.
Spin structure changes the parity requirement
On a general oriented closed four-manifold, the square of the first Chern class can be an odd integer. The extension ambiguity is therefore pi times k times that integer, with the chosen overall sign. To define the ordinary bosonic U(1) theory without choosing spin data on arbitrary oriented manifolds, k must be even. On spin four-manifolds this characteristic number is even, so integer k is sufficient for the corresponding spin theory.
Odd level is thus not universally inconsistent; it requires the appropriate spin-dependent definition and line interpretation. Conversely, saying only that the level is integer silently omits information if a bosonic nonspin theory was intended. More general gauge groups have their own normalization and global-form restrictions. Quantum regularization can also introduce framing dependence and a gravitational phase, so metric independence of the classical density does not mean every quantum partition function is an unframed topological number.
The line data includes framing and charge identification
For a nonzero even level, Wilson charges are identified modulo the absolute level in the ordinary bosonic topological theory. Fusion adds the labels. Two distinct oriented worldlines with linking number one acquire a mutual braiding phase proportional to the product of their charges. Our positive source insertion gives , fixing the sign seen by the other line. A self-twist additionally requires a framing of a line; its phase is the topological spin. The sign convention chosen for the action fixes both phases consistently.
These phases are exact within the topological sector. A pure abelian theory has no local propagating bulk photon, while a Maxwell completion can contain massive non-topological excitations outside its infrared regime. Boundaries require appropriate edge degrees of freedom or other boundary data to handle gauge variation. The torus ground-state space has dimension equal to the absolute level in this simple theory, but that does not imply every microscopic Hamiltonian with the same local action has precisely this finite-size spectrum at all energies.
Work it through
Read line data at even level four
In the declared bosonic theory with k = 4, fuse two charge-one lines, calculate their positive unit-linking braiding phase, and calculate the charge-one positive framing-twist phase.
Fusion adds charges modulo four, giving , so the fused line has label two.
The mutual linking phase is . Reversing the linking number gives −i.
The self-twist phase is . It is not the same operation as the full mutual linking of two separate lines.
The fused label is two, the mutual phase is i, and the framed self-twist phase is exp(πi/4) in the declared convention.
The living notebook
Explore the model
Interactive lab · quantum
A phase can be compared at fixed populations
Reset and set BOTH Mixing angle θ to 90 degrees and Relative phase φ to 0 degrees; predict equal probabilities and Bloch x = 1. Then Reset and set BOTH θ to 90 degrees and φ to 90 degrees; predict equal probabilities, Bloch x = 0, and Bloch y = 1. This pure two-state relative-phase analogy has no anyons, line fusion, compact gauge field, framing, or Chern–Simons dynamics.
- Probability |0⟩
- 71.1%
- Probability |1⟩
- 28.9%
- Bloch (x, y, z)
- 0.78, 0.45, 0.42
A normalized two-level pure state, not an interacting field simulation. Playback adds one radian per second to the relative phase; basis probabilities stay fixed. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forA phase comparison can illustrate interference while leaving the underlying topological origin unmodeled.
Pause & reason
Check your understanding
Your turn
Try it yourself
Two extensions differ by n = 3 in the displayed characteristic number. Compute exp(iΔS) for k = 2 and k = 1. Explain what the k = 1 result says about a nonspin bosonic definition and why this example does not rule out a spin theory.
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Use ΔS = −πkn, and recall which parity of n is permitted for a spin four-manifold.
Compare with the solution
For k = 2, ΔS = −6π and the phase is one. For k = 1, ΔS = −3π and the phase is −1, so that extension dependence is unacceptable for the proposed bosonic nonspin definition. A spin comparison manifold has even n, so this odd-n test is outside that restricted setting and does not disprove the well-defined spin theory.
Keep the idea
Take it with you
- Compactness and global extension independence quantize the abelian level.
- Even bosonic levels and integer spin levels describe different global definitions.
- Exact line phases need linking and framing conventions, while dynamical completions and boundaries require further data.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.