Complex classes: Chern and winding numbers

The first thing to observe is that the complex classes only have \(\mathbb{Z}\) invariant. We already know what these invariants are in low dimensions: the Chern number, which we encountered in quantum Hall systems (class A, \(d=2\)), and the winding number of the reflection matrix, which we encountered when we studied reflection from the Thouless pump.

The higher dimensional invariants are simple generalizations of these two. Their mathematical expression can be found in several papers, for instance this one.

\[ \require{color} \definecolor{34330128}{rgb}{0.0,0.0,0.0} \definecolor{73906701}{rgb}{1.0,0.0,0.0} \definecolor{27405023}{rgb}{0.0,0.0,1.0} \newcommand\T{\Rule{0pt}{1em}{.3em}} \begin{array}{c|rrr||||||||cccccccc} \hline \color{34330128}{\textrm{class}} & \color{34330128}{\mathcal{C}} & \color{34330128}{\mathcal{P}} & \color{34330128}{\mathcal{T}} & \color{34330128}{d=0} & \color{34330128}{1} & \color{34330128}{2} & \color{34330128}{3} & \color{34330128}{4} & \color{34330128}{5} & \color{34330128}{6} & \color{34330128}{7}\T\\ \hline \color{34330128}{\textrm{A}} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{} & \color{73906701}{\mathbb{Z}} & \color{73906701}{} & \color{73906701}{\mathbb{Z}} & \color{73906701}{} & \color{73906701}{\mathbb{Z}} & \color{73906701}{} & \color{73906701}{\mathbb{Z}} & \color{73906701}{}\T\\ \color{34330128}{\textrm{AIII}} & \color{34330128}{1} & \color{34330128}{} & \color{34330128}{} & \color{27405023}{} & \color{27405023}{\mathbb{Z}} & \color{27405023}{} & \color{27405023}{\mathbb{Z}} & \color{27405023}{} & \color{27405023}{\mathbb{Z}} & \color{27405023}{} & \color{27405023}{\mathbb{Z}}\T\\ \hline \color{34330128}{\textrm{AI}} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{1} & \color{34330128}{\mathbb{Z}} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{2\mathbb{Z}} & \color{34330128}{} & \color{34330128}{\mathbb{Z}_2} & \color{34330128}{\mathbb{Z}_2}\T\\ \color{34330128}{\textrm{BDI}} & \color{34330128}{1} & \color{34330128}{1} & \color{34330128}{1} & \color{34330128}{\mathbb{Z}_2} & \color{34330128}{\mathbb{Z}} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{2\mathbb{Z}} & \color{34330128}{} & \color{34330128}{\mathbb{Z}_2}\T\\ \color{34330128}{\textrm{D}} & \color{34330128}{} & \color{34330128}{1} & \color{34330128}{} & \color{34330128}{\mathbb{Z}_2} & \color{34330128}{\mathbb{Z}_2} & \color{34330128}{\mathbb{Z}} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{2\mathbb{Z}} & \color{34330128}{}\T\\ \color{34330128}{\textrm{DIII}} & \color{34330128}{1} & \color{34330128}{1} & \color{34330128}{-1} & \color{34330128}{} & \color{34330128}{\mathbb{Z}_2} & \color{34330128}{\mathbb{Z}_2} & \color{34330128}{\mathbb{Z}} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{2\mathbb{Z}}\T\\ \color{34330128}{\textrm{AII}} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{-1} & \color{34330128}{2\mathbb{Z}} & \color{34330128}{} & \color{34330128}{\mathbb{Z}_2} & \color{34330128}{\mathbb{Z}_2} & \color{34330128}{\mathbb{Z}} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{}\T\\ \color{34330128}{\textrm{CII}} & \color{34330128}{1} & \color{34330128}{-1} & \color{34330128}{-1} & \color{34330128}{} & \color{34330128}{2\mathbb{Z}} & \color{34330128}{} & \color{34330128}{\mathbb{Z}_2} & \color{34330128}{\mathbb{Z}_2} & \color{34330128}{\mathbb{Z}} & \color{34330128}{} & \color{34330128}{}\T\\ \color{34330128}{\textrm{C}} & \color{34330128}{} & \color{34330128}{-1} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{2\mathbb{Z}} & \color{34330128}{} & \color{34330128}{\mathbb{Z}_2} & \color{34330128}{\mathbb{Z}_2} & \color{34330128}{\mathbb{Z}} & \color{34330128}{}\T\\ \color{34330128}{\textrm{CI}} & \color{34330128}{1} & \color{34330128}{-1} & \color{34330128}{1} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{2\mathbb{Z}} & \color{34330128}{} & \color{34330128}{\mathbb{Z}_2} & \color{34330128}{\mathbb{Z}_2} & \color{34330128}{\mathbb{Z}}\\ \hline \end{array} \]

Reading the table by columns

Another useful feature of the table is that in a given column, all \(\mathbb{Z}\) or \(2\mathbb{Z}\) entries, which are grouped by the color gradients below, have the same topological invariant.

\[ \require{color} \definecolor{34330128}{rgb}{0.0,0.0,0.0} \definecolor{25140017}{rgb}{0.58,0.026,0.0024} \definecolor{83295233}{rgb}{0.9,0.9,0.9} \definecolor{28118222}{rgb}{0.075,0.074,0.01} \definecolor{18122331}{rgb}{0.41,0.6,0.52} \definecolor{38647656}{rgb}{0.0012,0.032,0.8} \definecolor{65332606}{rgb}{0.1,0.061,0.22} \definecolor{89589555}{rgb}{0.05,0.67,0.056} \definecolor{30609666}{rgb}{0.035,0.022,0.0017} \definecolor{24288277}{rgb}{0.11,0.46,0.18} \definecolor{21449845}{rgb}{0.83,0.42,0.4} \definecolor{55076988}{rgb}{0.71,0.85,0.79} \definecolor{88991577}{rgb}{0.48,0.45,0.57} \definecolor{65220705}{rgb}{0.43,0.42,0.4} \definecolor{62049111}{rgb}{0.46,0.46,0.41} \definecolor{37635345}{rgb}{0.4,0.42,1.0} \definecolor{63424707}{rgb}{0.44,0.91,0.44} \definecolor{54644127}{rgb}{0.48,0.75,0.53} \newcommand\T{\Rule{0pt}{1em}{.3em}} \begin{array}{c|rrr||||||||cccccccc} \hline \color{34330128}{\textrm{class}} & \color{34330128}{\mathcal{C}} & \color{34330128}{\mathcal{P}} & \color{34330128}{\mathcal{T}} & \color{34330128}{d=0} & \color{34330128}{1} & \color{34330128}{2} & \color{34330128}{3} & \color{34330128}{4} & \color{34330128}{5} & \color{34330128}{6} & \color{34330128}{7}\T\\ \hline \color{34330128}{\textrm{A}} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{} & \color{25140017}{\mathbb{Z}} & \color{83295233}{} & \color{28118222}{\mathbb{Z}} & \color{83295233}{} & \color{18122331}{\mathbb{Z}} & \color{83295233}{} & \color{38647656}{\mathbb{Z}} & \color{83295233}{}\T\\ \color{34330128}{\textrm{AIII}} & \color{34330128}{1} & \color{34330128}{} & \color{34330128}{} & \color{83295233}{} & \color{65332606}{\mathbb{Z}} & \color{83295233}{} & \color{89589555}{\mathbb{Z}} & \color{83295233}{} & \color{30609666}{\mathbb{Z}} & \color{83295233}{} & \color{24288277}{\mathbb{Z}}\T\\ \hline \color{34330128}{\textrm{AI}} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{1} & \color{21449845}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{} & \color{55076988}{2\mathbb{Z}} & \color{83295233}{} & \color{83295233}{\mathbb{Z}_2} & \color{83295233}{\mathbb{Z}_2}\T\\ \color{34330128}{\textrm{BDI}} & \color{34330128}{1} & \color{34330128}{1} & \color{34330128}{1} & \color{83295233}{\mathbb{Z}_2} & \color{88991577}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{} & \color{65220705}{2\mathbb{Z}} & \color{83295233}{} & \color{83295233}{\mathbb{Z}_2}\T\\ \color{34330128}{\textrm{D}} & \color{34330128}{} & \color{34330128}{1} & \color{34330128}{} & \color{83295233}{\mathbb{Z}_2} & \color{83295233}{\mathbb{Z}_2} & \color{62049111}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{} & \color{37635345}{2\mathbb{Z}} & \color{83295233}{}\T\\ \color{34330128}{\textrm{DIII}} & \color{34330128}{1} & \color{34330128}{1} & \color{34330128}{-1} & \color{83295233}{} & \color{83295233}{\mathbb{Z}_2} & \color{83295233}{\mathbb{Z}_2} & \color{63424707}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{} & \color{54644127}{2\mathbb{Z}}\T\\ \color{34330128}{\textrm{AII}} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{-1} & \color{21449845}{2\mathbb{Z}} & \color{83295233}{} & \color{83295233}{\mathbb{Z}_2} & \color{83295233}{\mathbb{Z}_2} & \color{55076988}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{}\T\\ \color{34330128}{\textrm{CII}} & \color{34330128}{1} & \color{34330128}{-1} & \color{34330128}{-1} & \color{83295233}{} & \color{88991577}{2\mathbb{Z}} & \color{83295233}{} & \color{83295233}{\mathbb{Z}_2} & \color{83295233}{\mathbb{Z}_2} & \color{65220705}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{}\T\\ \color{34330128}{\textrm{C}} & \color{34330128}{} & \color{34330128}{-1} & \color{34330128}{} & \color{83295233}{} & \color{83295233}{} & \color{62049111}{2\mathbb{Z}} & \color{83295233}{} & \color{83295233}{\mathbb{Z}_2} & \color{83295233}{\mathbb{Z}_2} & \color{37635345}{\mathbb{Z}} & \color{83295233}{}\T\\ \color{34330128}{\textrm{CI}} & \color{34330128}{1} & \color{34330128}{-1} & \color{34330128}{1} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{} & \color{63424707}{2\mathbb{Z}} & \color{83295233}{} & \color{83295233}{\mathbb{Z}_2} & \color{83295233}{\mathbb{Z}_2} & \color{54644127}{\mathbb{Z}}\\ \hline \end{array} \]

We can check this statement for some cases we know. For instance, in \(d=0\) the \(\mathbb{Z}\) topological invariant is the number of filled energy levels, which applies to quantum dots with broken time-reversal symmetry (class A), spinless time-reversal symmetry (class AI) and spinful time-reversal symmetry (class AII, which has \(2\mathbb{Z}\) because of Kramers degeneracy). In \(d=2\), the \(\mathbb{Z}\) topological invariant is the Chern number, and we saw how it applies to both the Chern insulators in class A and the \(p\)-wave superconductor in class D.

Dimensional reduction

An important pattern visible in the table is the descending sequence \(\mathbb{Z} \,\to\,\mathbb{Z}_2\,\to\,\mathbb{Z}_2\) that appears in every symmetry class. That is, starting from the \(\mathbb{Z}\) invariant, reducing the dimensionaility twice by one we encounter two \(\mathbb{Z}_2\) invariants in a row:

\[ \require{color} \definecolor{34330128}{rgb}{0.0,0.0,0.0} \definecolor{83295233}{rgb}{0.9,0.9,0.9} \definecolor{24831812}{rgb}{0.77,0.44,0.78} \definecolor{11061786}{rgb}{0.77,0.76,0.37} \definecolor{89722101}{rgb}{0.57,0.56,0.17} \definecolor{73094039}{rgb}{0.99,0.5,0.63} \definecolor{13581255}{rgb}{0.98,0.2,0.4} \definecolor{74693778}{rgb}{0.78,0.005,0.2} \definecolor{56364307}{rgb}{0.72,0.89,0.6} \definecolor{32983492}{rgb}{0.55,0.82,0.36} \definecolor{81983809}{rgb}{0.35,0.62,0.16} \definecolor{91090390}{rgb}{0.93,0.99,0.58} \definecolor{76685064}{rgb}{0.89,0.99,0.33} \definecolor{88687213}{rgb}{0.69,0.79,0.13} \definecolor{70908326}{rgb}{0.8,0.5,0.69} \definecolor{72718355}{rgb}{0.68,0.21,0.51} \definecolor{11260631}{rgb}{0.48,0.0072,0.31} \definecolor{12771559}{rgb}{0.52,0.98,0.72} \definecolor{41916098}{rgb}{0.24,0.97,0.55} \definecolor{31366457}{rgb}{0.035,0.77,0.35} \definecolor{46906854}{rgb}{0.97,0.89,0.93} \definecolor{86683183}{rgb}{0.96,0.83,0.89} \definecolor{90050180}{rgb}{0.76,0.63,0.69} \newcommand\T{\Rule{0pt}{1em}{.3em}} \begin{array}{c|rrr||||||||cccccccc} \hline \color{34330128}{\textrm{class}} & \color{34330128}{\mathcal{C}} & \color{34330128}{\mathcal{P}} & \color{34330128}{\mathcal{T}} & \color{34330128}{d=0} & \color{34330128}{1} & \color{34330128}{2} & \color{34330128}{3} & \color{34330128}{4} & \color{34330128}{5} & \color{34330128}{6} & \color{34330128}{7}\T\\ \hline \color{34330128}{\textrm{A}} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{} & \color{83295233}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{\mathbb{Z}} & \color{83295233}{}\T\\ \color{34330128}{\textrm{AIII}} & \color{34330128}{1} & \color{34330128}{} & \color{34330128}{} & \color{83295233}{} & \color{83295233}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{\mathbb{Z}}\T\\ \hline \color{34330128}{\textrm{AI}} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{1} & \color{24831812}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{2\mathbb{Z}} & \color{83295233}{} & \color{83295233}{\mathbb{Z}_2} & \color{83295233}{\mathbb{Z}_2}\T\\ \color{34330128}{\textrm{BDI}} & \color{34330128}{1} & \color{34330128}{1} & \color{34330128}{1} & \color{11061786}{\mathbb{Z}_2} & \color{89722101}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{2\mathbb{Z}} & \color{83295233}{} & \color{83295233}{\mathbb{Z}_2}\T\\ \color{34330128}{\textrm{D}} & \color{34330128}{} & \color{34330128}{1} & \color{34330128}{} & \color{73094039}{\mathbb{Z}_2} & \color{13581255}{\mathbb{Z}_2} & \color{74693778}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{2\mathbb{Z}} & \color{83295233}{}\T\\ \color{34330128}{\textrm{DIII}} & \color{34330128}{1} & \color{34330128}{1} & \color{34330128}{-1} & \color{83295233}{} & \color{56364307}{\mathbb{Z}_2} & \color{32983492}{\mathbb{Z}_2} & \color{81983809}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{2\mathbb{Z}}\T\\ \color{34330128}{\textrm{AII}} & \color{34330128}{} & \color{34330128}{} & \color{34330128}{-1} & \color{83295233}{2\mathbb{Z}} & \color{83295233}{} & \color{91090390}{\mathbb{Z}_2} & \color{76685064}{\mathbb{Z}_2} & \color{88687213}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{}\T\\ \color{34330128}{\textrm{CII}} & \color{34330128}{1} & \color{34330128}{-1} & \color{34330128}{-1} & \color{83295233}{} & \color{83295233}{2\mathbb{Z}} & \color{83295233}{} & \color{70908326}{\mathbb{Z}_2} & \color{72718355}{\mathbb{Z}_2} & \color{11260631}{\mathbb{Z}} & \color{83295233}{} & \color{83295233}{}\T\\ \color{34330128}{\textrm{C}} & \color{34330128}{} & \color{34330128}{-1} & \color{34330128}{} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{2\mathbb{Z}} & \color{83295233}{} & \color{12771559}{\mathbb{Z}_2} & \color{41916098}{\mathbb{Z}_2} & \color{31366457}{\mathbb{Z}} & \color{83295233}{}\T\\ \color{34330128}{\textrm{CI}} & \color{34330128}{1} & \color{34330128}{-1} & \color{34330128}{1} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{} & \color{83295233}{2\mathbb{Z}} & \color{83295233}{} & \color{46906854}{\mathbb{Z}_2} & \color{86683183}{\mathbb{Z}_2} & \color{90050180}{\mathbb{Z}}\\ \hline \end{array} \]

Again, this dimensional reduction can best be understood with an example we already know. Consider the symmetry class \(D\). In \(d=2\) it has a \(\mathbb{Z}\) topological phase, the \(p\)-wave superconductor.

If you take a finite ribbon of a \(p\)-wave superconductor, it will have an integer number of edge states, as determined by the Chern number. Let’s now imagine that you take a ribbon and roll it up into a thin, long cylinder, by pasting two of its edges together. The two remaining edges at this point form a circle.

You can now view this cylinder as a one-dimensional system whose ends are the two rolled-up edges, and ask: how many zero-energy Majorana modes can there be at the ends? We know the answer from last week’s material: the number of zero-modes can be zero or one, depending on whether the boundary conditions are periodic or anti-periodic. The topological invariant is thus reduced to \(\mathbb{Z}_2\). This is no surprise, since the system is topologically in the same class as the Kitaev chain.

We can proceed further with our dimensional reduction. If we take our one dimensional system and make it into a ring, we obtain a zero-dimensional system. Depending on how the two ends are coupled, the two Majorana modes can favour the even or odd fermion parity state, and this quantity cannot change without a Fermi level crossing. This is the \(\mathbb{Z}_2\) invariant of zero-dimensional systems in class D.

What sort of topological invariant do we get if we take a 3D TI, and try to make a 4D system with strong invariant, like we did when making a 3D TI out of QSHE?

We get another $Z_2$ topological invariant
A 4D system with the Chern number as invariant.
This construction cannot be repeated anymore.
The topological invariant stays the same.