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.

Band filling counts occupied one-particle states in an energy band. With spin degeneracy two, a crystal of $N$ primitive unit cells has $2N$ states in each orbital-derived energy band, as in state counting in a Bloch band. Full occupation therefore means two electrons per primitive cell in that band.

In the group velocity approximation, a fully occupied band contributes current densityThe integral vanishes because $E$ is periodic across opposite faces of the Brillouin zone; inversion symmetry is unnecessary.^[ref] A partially occupied band leaves nearby empty states available for ordinary longitudinal conduction. A filled set of bands with a positive band gap instead gives a band insulator at zero temperature.

The vanishing group velocity term does not exclude every electrical response. A filled Chern insulator band can have a transverse quantum Hall effect governed by Berry curvature.^[ref]

The interaction picture divides quantum dynamics between an exactly handled reference Hamiltonian and an interaction. Write $H(t)=H_0+V(t)$ with time-independent $H_0$, and definewhere $\hslash$ is the reduced Planck constant and the subscript $S$ denotes the Schrödinger picture. A linear operator transforms as $A_I(t)=U_0^{†}{A}_S(t)U_0$. Differentiating the transformed quantum state and using the Schrödinger equation cancels the $H_0$ terms and givesThe resulting unitary time evolution isThe Dyson series expands this time-ordered expression in powers of the interaction. ^[ref]

This is useful when $H_0$ has a known eigenbasis of energy eigenstates and the interaction is weak enough for perturbation theory. The transformation itself is exact and preserves expectation values: $⟨{\psi }_S|A_S|{\psi }_S⟩=⟨{\psi }_I|A_I|{\psi }_I⟩$. For time-dependent $H_0(t)$, use its exact unitary time evolution in place of the simple matrix exponential.

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]

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.