Skip to content

Zero Modes, Klein Factors, and Compactification

Oscillator modes reproduce local power laws, but a bosonized theory on a finite ring is incomplete without charge and current zero modes, compact identifications, boundary twists, and Klein factors. These data determine which states and vertex operators actually exist. They also resolve apparent disagreements between formulas that use different compactification conventions.

Required background. The Abelian Bosonization Dictionary fixes the local fields and vertex normalization. Helpful background. Free Bosons and Vertex Operators supplies the compact-boson state–operator correspondence.

Use the convention

[ϕ(x),yθ(y)]=iπδ(xy),ρρ0=1πxϕ.[\phi(x),\partial_y\theta(y)]=i\pi\delta(x-y), \qquad \rho-\rho_0=-\frac1\pi\partial_x\phi.

On a ring of circumference LL, integer excess particle number NN and current quantum number JJ impose

ϕ(x+L)=ϕ(x)πN,θ(x+L)=θ(x)+πJ.\phi(x+L)=\phi(x)-\pi N, \qquad \theta(x+L)=\theta(x)+\pi J.

A useful decomposition is

ϕ(x)=ϕ0πNxL+ϕosc(x),θ(x)=θ0+πJxL+θosc(x).\phi(x)=\phi_0-\frac{\pi N x}{L}+\phi_{\mathrm{osc}}(x), \qquad \theta(x)=\theta_0+\frac{\pi J x}{L}+\theta_{\mathrm{osc}}(x).

The zero-mode commutators can be chosen as [ϕ0,J]=i[\phi_0,J]=i and [N,θ0]=i[N,\theta_0]=i, equivalently [θ0,N]=i[\theta_0,N]=-i, consistently with the field algebra after treating the periodic delta function. In particular, the factor e+iθ0e^{+i\theta_0} in the fermion annihilation vertex lowers NN by one. Substitution into the Luttinger Hamiltonian yields

EN,JE0,0=πu2L(N2K+KJ2)+2πuLq>0qnq,E_{N,J}-E_{0,0} =\frac{\pi u}{2L}\left(\frac{N^2}{K}+KJ^2\right) +\frac{2\pi u}{L}\sum_{q>0}q\,n_q,

where the last expression uses dimensionless positive oscillator mode numbers. The 1/L1/L spectrum is a direct finite-size test of uu and KK, central to Haldane’s formulation of the Luttinger liquid Haldane 1981, pp. 2585–2609.

Because local physical operators contain integer-charge vertices, constant shifts of ϕ\phi and θ\theta are identified only when every allowed operator is unchanged. In the spinless fermion convention, e±2iϕe^{\pm2i\phi} and e±2iθe^{\pm2i\theta} are local even-fermion operators, whereas ei(rϕθ)e^{-i(r\phi-\theta)} changes fermion parity. Saying merely “ϕ\phi has period π\pi” is therefore insufficient: one must also state whether odd-fermion operators and twisted sectors are included.

A rescaling Φ=ϕ/πK\Phi=\phi/\sqrt{\pi K} changes the displayed compactification radius and moves KK into the vertex charges. It does not change the spectrum or dimensions. The invariant comparison consists of the field commutator, the identification lattice, the Hamiltonian, and the physical vertex lattice taken together.

For periodic microscopic fermions, right- and left-moving occupation changes NR,NLZN_R,N_L\in\mathbb Z give

N=NR+NL,J=NRNL,N=N_R+N_L, \qquad J=N_R-N_L,

so NN and JJ have the same parity. An inserted flux or a switch between periodic and antiperiodic fermions shifts the allowed current lattice. In bosonic systems the microscopic selection rule can differ. These are global constraints, not corrections that vanish in the thermodynamic limit: they control finite-size degeneracies, persistent currents, and which correlation functions are nonzero.

Threading a dimensionless twist α=Φ/Φ0\alpha=\Phi/\Phi_0 shifts JJ2αJ\mapsto J-2\alpha in a common charge-one convention. The ground state follows the minimum over allowed JJ, producing piecewise parabolic flux dependence. The period is fixed by the microscopic charge and sector selection, not by treating JJ as continuous.

For multiple species aa, write

ψr,a=ηr,a2πa0ei(rϕaθa),{ηr,a,ηr,b}=2δrrδab.\psi_{r,a}=\frac{\eta_{r,a}}{\sqrt{2\pi a_0}} e^{-i(r\phi_a-\theta_a)}, \qquad \{\eta_{r,a},\eta_{r',b}\}=2\delta_{rr'}\delta_{ab}.

The exponential changes the appropriate bosonic charge; ηr,a\eta_{r,a} ensures anticommutation across independent species. In a finite Hilbert space it is often clearer to use unitary ladder operators Fr,aF_{r,a} that translate Nr,aN_{r,a} and carry prescribed anticommutation phases. Replacing every Klein factor by the number 11 is safe only in a fixed calculation where their product is a constant and no competing process has a different species ordering. It fails for tunneling, superconducting terms, or impurity operators that change relative particle numbers. Constructive finite-size treatments are developed in von Delft and Schoeller 1998, §§ 5–7.

For any proposed bosonization convention, verify four statements:

  1. integrating xϕ/π-\partial_x\phi/\pi gives the declared integer charge;
  2. the fermion vertex translates the correct zero modes and anticommutes with other species;
  3. its winding around the ring reproduces the microscopic boundary condition;
  4. the zero-mode energy agrees with the compressibility and charge stiffness.

Local correlators alone test none of the last three. Conversely, differences in displayed radius or signs are conventional when all four physical statements coincide.

  1. Minimize the zero-mode energy in the presence of a twist JJ2αJ\mapsto J-2\alpha when NN is even and hence JJ is even.
Solution

Write J=2mJ=2m with mZm\in\mathbb Z. The current contribution is (2πuK/L)(mα)2(2\pi uK/L)(m-\alpha)^2. The ground state chooses the integer mm nearest to α\alpha, so adjacent branches cross at half-integer α\alpha. The minimized energy is periodic under αα+1\alpha\mapsto\alpha+1.

  1. Show that the parity rule follows from integer NR,NLN_R,N_L.
Solution

N+J=2NRN+J=2N_R and NJ=2NLN-J=2N_L are even. Thus NN and JJ have the same parity. Conversely, if NN and JJ share parity, (N±J)/2(N\pm J)/2 are integers and define allowed NR,NLN_R,N_L.

  • Haldane, F. D. M. “‘Luttinger Liquid Theory’ of One-Dimensional Quantum Fluids. I. Properties of the Luttinger Model and Their Extension to the General 1D Interacting Spinless Fermi Gas.” Journal of Physics C: Solid State Physics 14 (1981): 2585–2609. DOI.
  • von Delft, J., and H. Schoeller. “Bosonization for Beginners—Refermionization for Experts.” Annalen der Physik 7 (1998): 225–305. DOI.