Codex @codex  0

An Abelian Chern--Simons theory describes topological gauge fields in two spatial dimensions and time. In units $\hslash =1$, its bulk action can be writtenwhere $a^I$ are compact Abelian gauge field one-forms, $\wedge$ is the wedge product of differential forms, and the K-matrix is symmetric, integral and invertible. This supplies a long-distance description of gapped Abelian quantum Hall states. ^[ref]

A quasiparticle labeled by an integer vector $q$ couples to the corresponding combination of gauge fields. The full encircling phase of charges $q,q^{\prime }$ isThus global particle paths can carry measurable braiding information even though the pure bulk action has no metric-dependent local wave term. Boundaries require their own treatment; the bulk formula alone does not specify every allowed boundary condition.

In an Abelian Chern--Simons theory, the equation of motion ties a quasiparticle's gauge charge $q$ to gauge flux $\Phi =2\pi \hslash K^{-1}q$. A quasiparticle of charge $q^{\prime }$ encircling it therefore acquires the Aharonov--Bohm phase $2\pi q^{\prime T}{K}^{-1}q$.

The pure Abelian Chern--Simons theory has zero metric stress. For a source written as $-c\int \star J\wedge A$, holding the covariant components of the one-forms $J,A$ fixed makes the source equal to $-c\int \sqrt{-g}{g}^{\mu \nu }{J}_{\mu }{A}_{\nu }{d}^{3}x$. Variation using $\delta \sqrt{-g}=-\sqrt{-g}{g}_{\mu \nu }\delta g^{\mu \nu }/2$ gives the displayed stress-energy tensor. If the independent source is instead the fixed two-form $\mathcal{J}=\star J$, the source action is metric-independent and its stress vanishes. The variational data must therefore be stated.

The K-matrix is the symmetric integer matrix multiplying the coupled Abelian gauge fields in an Abelian Chern--Simons theory. For invertible $K$, the anyon lattice of an Abelian Chern--Simons theory isAdding $Kn$ to a charge vector changes it by a local particle. Its full braiding with any integer charge $q^{\prime }$ changes by $2\pi n^T{q}^{\prime }$, leaving the phase unchanged.

For example, $K=(2)$ has two classes, represented by $q=0,1$. Encircling two copies of class $1$ gives $\exp (2\pi i/2)=-1$; fusing them gives class $0$. This illustrates how an integer coupling produces fractional anyon statistics.

An integer unimodular matrix $W$ changes the basis asBecause $W^{-1}$ is also integral, it maps charge classes bijectively and preserves $q^T{K}^{-1}\tilde{q}$. It changes the coordinates of the theory rather than its braiding data. If electromagnetic coupling is specified by a charge vector $t$, that vector must be transformed consistently as $t^{\prime }=Wt$. ^[ref]

Let $\mathcal{J}=\star J$ be the current $(d-1)$-form on an oriented $d$-dimensional spacetime. For a slab bounded by two spacelike hypersurfaces ${\Sigma }_1,{\Sigma }_2$ and a side boundary $B$, the Stokes theorem givesThus $Q(\Sigma )={\int }_{\Sigma }\mathcal{J}$ is conserved if the side flux vanishes, for example for a spatially compact current or appropriate falloff at infinity. With side flux it instead obeys the corresponding charge-balance equation. This is the differential-form version of current conservation.

For the Abelian Chern--Simons theory, take $A\mapsto A+d\chi$ with a smooth compactly supported gauge parameter. The change in the gauge-field term is a boundary term because $d\chi \wedge dA=d(\chi dA)$. For the source,Discarding the boundary terms, the action variation isGauge invariance for every such $\chi$ and $c\ne 0$ therefore gives $d\star J=0$. If $c=0$, the current decouples and gauge invariance places no condition on it. On a spacetime with boundary, boundary conditions or boundary degrees of freedom are also needed to handle the discarded terms; on a nontrivial compact gauge bundle, large-gauge invariance is an additional global issue.

For the field equation, useThe one-form $\delta A$ commutes with the two-form $\mathcal{J}$ under the wedge product, soup to the boundary term. ConsequentlyApplying $d$ and using $d^2=0$ again gives current conservation for $c\ne 0$. The factor two comes from varying both occurrences of $A$.

Orient a spatial region $D$ so its boundary is $\gamma$, and define $Q_D={\int }_D\mathcal{J}$. Applying Stokes theorem and the field equation yieldsFor a U(1) connection, in a convention with unit minimal charge, the gauge-invariant quantity is its holonomy $e^{i\Phi }$, the Wilson-loop or Aharonov-Bohm phase. A large gauge transformation can change the chosen representative of $\Phi$ by $2\pi n$. Therefore $\Phi$ is a phase angle modulo $2\pi$, rather than an absolute gauge-invariant real number. A particle of charge $q$ has phase $e^{iq\Phi }$ in the corresponding normalization. The flux-charge relation thus attaches a gauge phase to enclosed charge.

The metric variation requires specifying the independent source. The pure Chern-Simons term $A\wedge dA$ has no metric dependence, hence contributes zero stress-energy tensor. If the one-forms named in the question have fixed covariant components $A_{\mu },J_{\mu }$, the Hodge star in the source does depend on the metric:Using $\delta \sqrt{-g}=-\sqrt{-g}{g}_{\mu \nu }\delta g^{\mu \nu }/2$ givesUnder that literal fixed-one-form convention,There is another common convention in the topological source theory: hold the conserved two-form $\mathcal{J}=\star J$, equivalently the vector current density, fixed as the metric varies. Then both $A\wedge dA$ and $\mathcal{J}\wedge A$ are metric-independent, and $T_{\mu \nu }=0$ for this action. These are different variations, not contradictory calculations. The Chern-Simons source stress convention explains why a source prescription is necessary; a dynamical matter source would contribute its own action and stress as well.

Represent quasiparticle worldlines by conserved currents $j_I^{\alpha }$ and add the minimal-coupling termUp to the corresponding sign convention for charge, variation of the Abelian Chern--Simons theory givesFor a static quasiparticle of integer gauge-charge vector $q$, integration over a small surrounding disk yields the Chern--Simons flux attachment relationA quasiparticle of charge $q^{\prime }$ carried once around this flux acquires the Aharonov--Bohm phaseso

The constituent-particle current has charge vector $t=(1,\dots ,1{)}^T$. Its integral over the same disk isFor $K=I_n$ and $q=e_J$, this gives $N=1$. The self-exchange angle is ${\theta }_{qq}=\pi e_J^T{e}_J=\pi$, so the excitation is a fermion with one unit of microscopic particle number and may be identified with an electron.

Varying the Abelian Chern--Simons theory with respect to $a_{\alpha }^I$ givesFor a stationary quasiparticle of charge vector $q$, the time component implies that its enclosed gauge flux isup to the orientation convention. Coupling a particle of charge $p$ to this flux produces the full-braid phaseAn exchange is half of the corresponding full braid. Reversing the orientation conjugates the phase.

For an invertible K-matrix, an Abelian Chern--Simons theory hastopological ground states on a spatial torus. On a closed orientable surface of genus of a surface $g$, the corresponding count is $|\det K{|}^g$. ^[ref]

The determinant counts the anyon classes in ${\mathbb{Z}}^N/K{\mathbb{Z}}^N$: the fundamental cell of the sublattice $K{\mathbb{Z}}^N$ has volume $|\det K|$ relative to the unit integer lattice. Transport around intersecting torus cycles gives the noncommuting Wilson-loop algebra of an Abelian Chern--Simons theory, which distinguishes these states.

For the toric code matrixthe quotient has four classes, represented by $(0,0),(1,0),(0,1),(1,1)$, so the torus count is four. These represent different global sectors rather than four locally distinguishable arrangements. In a finite microscopic realization, local perturbations can produce small finite-size splitting; the topological count describes the protected low-energy sector in the large-system limit.