nLab unstable topological phase of matter

Context

Solid state physics

Topological physics

Quantum systems

quantum logic


quantum physics


quantum probability theoryobservables and states


quantum information


quantum technology


quantum computing

Contents

Idea

A crystalline quantum material in a gapped ground state is said to be in a topological phase if the Bloch Hamiltonian map H ():T^ d𝒜H_{(-)} \colon \widehat{T}{}^d \longrightarrow \mathscr{A} (from the Brillouin torus of crystal momenta to the space 𝒜\mathscr{A} of accessible individual Hamiltonians H [k]H_{[\vec k]}) has a non-trivial homotopy class.

Whether and how this is the case depends crucially on the choice of classifying space 𝒜\mathscr{A}, which in turn reflects the resolution or accuracy with which the material is measurable in experiment: The larger 𝒜\mathscr{A}, the more freedom is admitted to the system to transition between topological phases which may be disconnected for smaller choices of 𝒜\mathscr{A}.

In the extreme case one allows the system to undergo deformations during which the electrons may occupy arbitrarily high energy bands. This coarsest resolution of the situation gives the most stable classification. This is the situation most commonly considered, notably in the K-theory classification of topological phases of matter.

All other classifications are unstable. In the literature such unstable topological phases have also been called fragile (PWV 2018) or delicate (NNBA 2021):

In mathematical terminology, unstable topological phased are classified (SS 2025) by the (equivariant) nonabelian cohomology

H G(T^ d;𝒜)π 0Map(T^ d,𝒜) G H_G\big(\widehat{T}{}^d; \mathscr{A} \big) \coloneqq \pi_0 Map\big(\widehat{T}{}^d, \mathscr{A} \big)^G

(of the Brillouin torus with respect to the crystal’s point group GG) with classifying spaces 𝒜\mathscr{A} that are indeed unstable in the sense of stable homotopy theory: they are not infinite loop spaces (not stages of spectra of spaces).

Details

The classifying space

The assumption that the system and all its accessible deformations are

  1. gapped

  2. with vv \in \mathbb{N} valence bands filled

  3. and cc \in \mathbb{N} conduction bands available

means that the space of available fiber Bloch Hamiltonians is (taking the energy gap to be around zero, without restriction of generality)

(1)AccBlchHams{H( v+c)|H =H,Eig <0(H) v,Eig >0(H) c}, AccBlchHams \coloneqq \Big\{ H \in \mathcal{B}\big(\mathbb{C}^{v+c}\big) \,\Big\vert\, H^\dagger = H ,\, Eig_{\lt 0}(H) \simeq \mathbb{C}^{v} ,\, Eig_{\gt 0}(H) \simeq \mathbb{C}^c \Big\} \,,

where

Since the homotopy classes of maps to this space depend only on its homotopy type, we observe that (1) is evidently homotopy equivalent to the space of normalized Bloch Hamiltonians whose eigenvalues have unit absolute value:

(2)NrmAccBlchHams{H( v+c)|H =H,Eig 1(H) v,Eig +1(H) c}, NrmAccBlchHams \;\coloneqq\; \Big\{ H \in \mathcal{B}\big(\mathbb{C}^{v+c}\big) \,\Big\vert\, H^\dagger = H ,\, Eig_{-1}(H) \simeq \mathbb{C}^{v} ,\, Eig_{+1}(H) \simeq \mathbb{C}^c \Big\} \,,

via

(3)AccBlchHams NrmAccBlchHams H N HH 2 1H, \begin{array}{ccc} AccBlchHams &\xrightarrow{\phantom{-} \sim \phantom{-}}& NrmAccBlchHams \\ H &\mapsto& N_H \coloneqq \sqrt{H^2}^{-1} \circ H \mathrlap{\,,} \end{array}

where

In fact, (3) is a deformation retraction: its right inverse is given by the inclusion

NrmAccBlchHams AccBlchHams N N, \begin{array}{ccc} NrmAccBlchHams &\xhookrightarrow{\phantom{--}}& AccBlchHams \\ N &\mapsto& N \mathrlap{\,,} \end{array}

and a homotopy

(HN H)(HH) (H \mapsto N_H) \Rightarrow (H \mapsto H)

is given by

(4)AccBlchHams×[0,1] AccBlchHams (H,t) ((1t)H 2 1+tI c+v)H. \begin{array}{ccc} AccBlchHams \times [0,1] &\longrightarrow& AccBlchHams \\ (H, t) &\mapsto& \big( (1-t)\sqrt{H^2}^{-1} + t \mathrm{I}_{c+v} \big) \circ H \mathrlap{\,.} \end{array}

But this space of normalized Bloch Hamiltonians (2) is furthermore homotopy equivalent (homeomorphic, even) to the space of hermitian rank=cc projection operators

(5)Proj v c+v{P( v+c)|P =P,PP=P,rnk(P)=c}, Proj_v^{c+v} \;\coloneqq\; \Big\{ P \in \mathcal{B}\big(\mathbb{C}^{v+c}\big) \,\Big\vert\, P^\dagger = P ,\, P \circ P = P ,\, rnk(P) = c \Big\} \mathrlap{\,,}

via

NrmAccBlchHams Proj v v+c N 12(1 c+v+N) \begin{array}{ccc} NrmAccBlchHams &\xrightarrow{\phantom{-} \sim \phantom{-}}& Proj_{v}^{v+c} \\ N &\mapsto& \tfrac{1}{2}\big(1_{c+v} + N\big) \mathrlap{} \end{array}

and furthermore to the “Grassmannian space

Gr v v+c{V v+c|dim(V)=v}U(v+c)U(v)×U(c), Gr_v^{v+c} \;\coloneqq\; \Big\{ V \subset \mathbb{C}^{v + c} \,\Big\vert\, dim(V) = v \Big\} \;\simeq\; \frac{ \mathrm{U}(v+c) }{ \mathrm{U}(v) \times \mathrm{U}(c) } \mathrlap{\,,}

by passage to kernels ker()ker(-):

Proj v v+c Gr v v+c P ker(P). \begin{array}{ccc} Proj_{v}^{v+c} &\xrightarrow{\phantom{-} \sim \phantom{-}}& Gr_v^{v+c} \\ P &\mapsto& ker(P) \mathrlap{\,.} \end{array}

The symmetry group action

Furthermore assuming that the system and all its available deformations respects (“is protected” by) a subgroup GG of the point group of the crystalline material, acting on crystal momenta as

G×T^ d T^ d (g,[k]) g[k], \begin{array}{ccc} G \times \widehat{T}{}^d &\longrightarrow& \widehat{T}{}^d \\ \big(g, [\vec k]\big) &\mapsto& g \cdot [\vec k] \end{array} \mathrlap{\,,}

means to specify a unitary representation group representation

(6)ρ:GU( c+v) \rho \;\colon\; G \longrightarrow \mathrm{U}\big(\mathbb{C}^{c+v}\big)

such that the Bloch Hamiltonian satisfies

H g[k]=U gH [k]U g 1, H_{ g \cdot [k] } \;=\; U_g \circ H_{[\vec k]} \circ U_g^{-1} \,,

hence that as a map

H ():T^ dAccBlchHams H_{(-)} \,\colon\, \widehat{T}{}^d \longrightarrow AccBlchHams

it is equivariant, for AccBlchHamsAccBlchHams regarded as a G-space via the conjugation action of (6).

Again, the equivariant homotopy class of such a map depends only on the equivariant homotopy type of AccBlchHamsAccBlchHams — but that is the same as that of NrmAccBlchHamsNrmAccBlchHams, because the above normalizing homotopy (4) is itself equivariant.

The classification statement

In consequence, we find that the unstable GG-symmetry protected crystalline topological phases seen when vv valence bands are filled and cc conduction bands are accessible are given by the equivariant homotopy classes of maps from the Brillouin torus to Proj v c+v=Gr v c+vProj_{v}^{c+v} = Gr_{v}^{c+v}, hence by the equivariant nonabelian cohomology of the Brillouin torus with coefficients in Proj v v+cProj_v^{v+c}

(7)(v,c)Phases G(d)H G(T^ d;Proj v c+v)π 0Map(T^ d,Proj v c+v). (v,c)Phases^G(d) \;\simeq\; H_G\big( \widehat{T}{}^d;\, Proj_{v}^{c+v} \big) \;\coloneqq\; \pi_0\, Map\big( \widehat{T}{}^d ,\, Proj_{v}^{c+v} \big) \,.

For example: For v=1v = 1 and c=1c = 1 (the usual case of Chern insulators, when d=2d = 2), the classifying space (5) is the (Riemann) 2-sphere

Proj 1 2P 1S 2, Proj_{1}^{2} \;\simeq\; \mathbb{C}P^1 \;\simeq\; S^2 \mathrlap{\,,}

and the nonabelian cohomology theory in (7) is equivariant 2-Cohomotopy.

Stabilization

The stable situation is obtained by allowing access to any number of conduction bands and valence bands.

First, allowing access to arbitrary conduction bands means to consider the union (colimit) of the Grassmannians with respect to their canonical inclusions Gr v v+cGr v v+c+1Gr_v^{v + c} \hookrightarrow Gr_v^{v + c + 1}:

BU(v) cGr v v+c. B \mathrm{U}(v) \;\simeq\; \textstyle{\bigcup_{c \in \mathbb{N}}} Gr_v^{v + c} \,.

This yields the classifying space for complex vector bundles of rank=vv: the valence bundle.

The corresponding classifying nonabelian cohomology theory (7) is also known as unstable K-theory.

Then also allowing an arbitrary number of valence bands means to further pass to the union (colimit)

BU vBU(v) v cGr v v+c, B \mathrm{U} \;\simeq\; \textstyle{\bigcup_{v \in \mathbb{N}}} B \mathrm{U}(v) \;\simeq\; \bigcup_{v \in \mathbb{N}} \bigcup_{c \in \mathbb{N}} Gr_v^{v + c} \,,

which is known as the classifying space of the stable unitary group. This is the classifying space for reduced complex K-theory (of virtual vector bundles with vanishing virtual rank).

References

Unstable classification of topological phases

Arguments for unstable topological phases of matter, saying that that some effects in topological phases of matter are “unstable” (“fragile” or “delicate”) in that the relevant deformation class of their valence bundles over the Brillouin torus is not their class in topological K-theory (as assumed by the K-theory classification of topological phases of matter) but an un-stable homotopy class (what may be called a class in generalized nonabelian cohomology) such as of maps to a Grassmannian space (or more general flag variety) classifying (systems of) sub-bundles of a trivial vector bundle of fixed finite rank:

Influential precursor discussion:

More explicit highlighting of the role of the unstable case and coinage of the term “fragile topologucal phase”:

Coinage of the term “delicate topological phase”:

With focus on Bloch Hamiltonian classifying spaces with non-abelian fundamental groups:

Applications:

Expositions with an eye towards non-abelian braiding of band nodes in momentum space:

Further discussion:

Last revised on December 13, 2025 at 19:35:56. See the history of this page for a list of all contributions to it.