Time-reversal topological insulators
Connect spinful time reversal, Kramers pairs, and a two-dimensional Z₂ band invariant without assuming conserved spin.
On this page
The question for today
What you’ll understand
- Apply spinful antiunitary time reversal with Θ²=−1.
- Distinguish Kramers degeneracy at invariant momenta from generic k-to−k pairing.
- Use a conserved-spin limit to illustrate a Z₂ invariant while stating its limitations.
A time-reversal-invariant insulator has no net charge Hall response, yet it can remain distinct from an ordinary band insulator. For spinful electrons, time reversal squares to minus one and imposes Kramers pairing. In two dimensions an occupied band group can carry a Z₂ distinction associated with an odd or even number of protected helical edge pairs. This requires a specified symmetry and bulk gap; it is not determined by the total Chern number alone.
An antiunitary symmetry links momenta
In a spin-half basis, time reversal can be written as i sy times complex conjugation. It reverses spin and momentum while squaring to minus identity. A state and its time reverse are orthogonal when they belong to the same invariant energy sector. In a translationally invariant crystal, generic k maps to −k, so equal energies at these two momenta do not by themselves imply a twofold degeneracy at each individual k.
At a time-reversal-invariant momentum, k and −k differ only by a reciprocal vector, and the partner lies at the same crystal momentum. Kramers degeneracy is then unavoidable for the spinful single-particle Hamiltonian. Inversion symmetry can impose additional degeneracy away from those momenta, but it is not assumed here. Spinless time reversal with square plus one does not supply the same Kramers theorem or the same band classification.
A conserved-spin limit gives a useful counting rule
If one spin component is conserved, the model separates into opposite-spin blocks with equal and opposite Chern numbers. Their charge Hall responses cancel, but the parity of one block's Chern number gives the two-dimensional Z₂ index. An odd value gives an odd helical edge-pair count. Two copies of an odd phase have even parity and can become topologically trivial through a symmetry-preserving coupling that mixes their channels.
When spin is not conserved, assigning independent spin-block Chern numbers is no longer justified. The Z₂ invariant nevertheless survives for the gapped occupied subspace through a more general time-reversal-constrained construction. Spin Hall conductivity is then not generally quantized. Its loss of exact quantization should not be confused with loss of the insulating phase's Z₂ distinction, provided the protecting symmetry and bulk gap remain intact.
Protection constrains a boundary perturbation
A single ideal helical edge has opposite velocities for its two Kramers partners. A constant transverse spin mass would mix them and open a gap, but that term is odd under time reversal. A scalar potential preserves the symmetry and can shift the crossing energy without providing this mass. Weak nonmagnetic elastic single-particle backscattering is consequently constrained in the simple edge theory, although contacts and inelastic processes can still affect measured transport.
These statements are about a symmetry-protected band phase. They do not assert intrinsic topological order, fractional anyons, or topology-dependent ground-state degeneracy on a closed surface. Strong interactions can produce additional boundary behaviour, including spontaneous symmetry breaking, beyond the noninteracting edge argument. The historical phrase Z₂ topological order in early band-insulator papers must therefore be distinguished from the modern intrinsic many-body notion introduced later in this module.
Work it through
Opposite Chern blocks and an edge mass
A spin-conserving two-dimensional insulator has C↑=+1 and C↓=−1. Its ideal edge is . Determine charge Hall response and ν, then test whether a constant term m sx preserves time reversal and whether it opens an edge gap.
The charge Chern number is 1−1=0, so the net charge Hall coefficient vanishes. The parity index is ν=1, predicting an odd protected helical-pair count for a symmetry-preserving edge in the specified band setting.
Time reversal changes sx to −sx, so a fixed nonzero m sx is time-reversal odd. It does not qualify as a symmetry-preserving perturbation of this edge, even though its matrix is Hermitian.
Because sx anticommutes with sz, the modified energies are . The full crossing gap is 2|m|. Opening that gap with this term explicitly uses broken protecting symmetry.
The bulk has zero charge Hall response but ν=1. A transverse mass opens a 2|m| edge gap while breaking time reversal, consistently with symmetry protection.
The living notebook
Explore the model
Interactive lab · quantum
Antipodal Kramers-state geometry
For a spin-half interpretation, Reset and set both controls to θ=60° and φ=0°. Predict Bloch (√3/2,0,1/2) and zero probability 3/4. For a fresh comparison, Reset and set both controls to θ=120° and φ=180°. Predict the antipodal vector (−√3/2,0,−1/2) and zero probability 1/4. Antipodal pure qubit states are orthogonal.
- 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 forThis compares the geometry of a possible Kramers pair. The pure-state lab does not implement an antiunitary operation, display its squared global sign, or compute a time-reversal band invariant.
Pause & reason
Check your understanding
Your turn
Try it yourself
Two identical helical edges are brought together. Let channel Pauli matrices be τ and spin matrices s, with . Test the mass under Θ=i syK and find its spectrum.
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Complex conjugation reverses τy, while spinful time reversal reverses sx. The two minus signs cancel. Then check anticommutation with the kinetic matrix.
Compare with the solution
The product τy sx is time-reversal even because both factors change sign under the full antiunitary action. It anticommutes with Iτ sz and squares to identity, so the energies are ±√[(ℏvk)²+m²], each twice degenerate. A nonzero mass therefore gaps two helical pairs without breaking time reversal. Their combined Z₂ parity is 1+1=0 modulo two, explaining why an even pair count has no single-pair obstruction.
Keep the idea
Take it with you
- Spinful time reversal is antiunitary with square −1 and forces Kramers pairing at invariant momenta.
- Zero total Chern number does not imply a trivial two-dimensional Z₂ band phase.
- The protected distinction survives spin mixing, although spin Hall conductivity need not remain quantized.
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.