References

  • Moore, Ran, Wen, “Topological Surface States in Three-Dimensional Magnetic Insulators”, PRL, 101, 186805 (2008)

Introduction

There exists nonmagnetic band insulators in which spin-orbit coupling plays similar role to that of magnetic field in the Integer quantum Hall effect (IQHE). In 2D, these topological insulators (TIs) have robust edge states, observed in HgTe/(Hg,Cd)Te heterostructures, and are predicted to show a spin quantum Hall effect.

Existence of a genuinely 3D topological insulator phase with protected surface states, recently observed in is surprising because the IQHE does not have a fully 3D version, but only layered versions of the 2D case. Both 2D and 3D TIs are nonmagnetic, and in fact unbroken TR invariance is required for the edge state to remain gapless. Edge or surface states of TIs and IQHE exist because there are topological invariants that distinguish these insulating states from ordinary insulators, and across a boundary between one of these states and an ordinary insulator, the energy gap must close.

There exists generally 3D TIs of electrons moving in a magnetic background. Here, they show a cubic-lattice model with nontrivial three-dimensional topological invariant (the Hopf invariant in momentum space) and extended surface states, and discusses which materials might realize the “Hopf insulator” phase. This insulator is simpler in some ways than the topological insulators, since minimal realizations requires only two bands (with spin) rather than four. They argue pyrochlore-lattice compounds with noncollinear magnetic order are realistic candidates for Hopf insulators.

General TI

Consider a general band insulator with filled bands and empty bands. In -space, such a band insulator is described by an dimensional matrix which has positive and negative eigenvalues for any (with ). Without changing the ground state, we may deform all the positive eigenvalues to and all the negative eigenvalues to . Thus has the form

where is the diagonal matrix with ‘s and ‘s, and . We see that for any fixed , is a point on the manifold where is a subgroup of that is formed by transformations that leave invariant. We find that and