Each row in the table corresponds to a certain symmetry class, that is to a given combination of the presence or absence of three fundamental discrete symmetries.

You already encountered these three symmetries all the way back in week one. They are time-reversal symmetry (\(\mathcal{T}\)), particle-hole symmetry (\(\mathcal{P}\)) and chiral symmetry (\(\mathcal{C}\)). We previously referred to chiral symmetry \(\mathcal{C}\) as sublattice symmetry. This is because in condensed matter physics, a natural realization of chiral symmetry is a system composed of two sublattices, such that sites in one lattice only couple to sites in the other.

Why do we consider these symmetries fundamental, and restrict the periodic table to them only?

As you may recall from week one, and as Shinsei Ryu explained in the introductory video, normal unitary symmetries of a Hamiltonian do not have particularly interesting consequences for topological classification. One may always make the Hamiltonian block-diagonal, reducing the problem to the study of a single block. This procedure can be repeated until one runs out of unitary symmetries and is left with an irreducible block of the Hamiltonian, i.e. one which cannot be block diagonalized.

Time-reversal, particle-hole and chiral symmetries act in a different way. They impose certain constraints on an irreducible Hamiltonian - for instance, by forcing it to be a real matrix, or to be block off-diagonal.

Note, however, that it is possible to extend the periodic table to study the interplay between these three discrete symmetries and other unitary symmetries. For instance, we have already touched upon crystalline symmetries in week seven, and we will return to them in week ten.

But for now, let’s focus on the three fundamental discrete symmetries: \(\mathcal{P}\), \(\mathcal{T}\) and \(\mathcal{C}\). Their basic properties are:

Recall that an anti-unitary operator can be written as the product of a unitary operator and the complex conjugation operator \(\mathcal{K}\). The next important thing to know is that time-reversal and particle-hole symmetry may come in two separate flavors, depending on whether they square to plus or minus one.

For instance, you will recall that for the time-reversal operator acting on electronic states, \(\mathcal{T}^2=-1\). This was the crux of Kramers theorem, which in turn was the key to topological insulators. If you go back to week one, you will also remember that we discussed real matrices, which were symmetric under a time-reversal operator \(\mathcal{T}=\mathcal{K}\). This operator satisfies \(\mathcal{T}^2=1\).

Thus, a system can behave in three ways under time-reversal symmetry \(\mathcal{T}\): (1) it does not have time-reversal symmetry, (2) it has it and \(\mathcal{T}\) squares to \(+1\), (3) it has it and \(\mathcal{T}\) squares to \(-1\). The same holds for particle-hole symmetry, which can also have \(\mathcal{P}^2=\pm 1\). On the other hand, the chiral symmetry only comes in one flavor, \(\mathcal{C}^2=1\).

Combining symmetries

How do we arrive to having ten symmetry classes? Let’s count all the possible cases carefully. By combining the three cases for \(\mathcal{P}\) and the three cases for \(\mathcal{T}\) we arrive at nine possible combinations.

The important thing to notice now is that \(\mathcal{C}\) is not completely independent from \(\mathcal{T}\) and \(\mathcal{P}\). Whenever a system has both \(\mathcal{T}\) and \(\mathcal{P}\), there is also a chiral symmetry \(\mathcal{C}=\mathcal{P\cdot T}\).

This also means that if a system only has either \(\mathcal{T}\) or \(\mathcal{P}\) but not both, it cannot have a chiral symmetry \(\mathcal{C}\). In other words, the presence of any two out of the three symmetries implies that the third is also present.

On the other hand, if both \(\mathcal{P}\) and \(\mathcal{T}\) are absent, then \(\mathcal{C}\) may or may not be present. This gives us two distinct cases.

Adding all the possibilities, we indeed find 10 symmetry classes:

\[(3\times 3 - 1) + 2 = 8 + 2 = 10\,.\]

The first term in the sum corresponds to the eight cases where there is at least one anti-unitary symmetry: either \(\mathcal{P}\), or \(\mathcal{T}\), or both. These eight symmetry classes are called real, because an anti-unitary symmetry always involves the complex conjugation operator. This does not necessarily mean that the Hamiltonian is a real matrix, but it is a reminder that there is a constraint between its real and imaginary parts.

The second term in the sum covers the two cases when there are no anti-unitary symmetries. These symmetry classes are called complex.

Let’s have another look at the 10 rows in the table, this time specifying which combination of the three fundamental symmetries each row has:

\[ \require{color} \definecolor{70482580}{rgb}{0.39,0.67,0.94} \definecolor{49770034}{rgb}{0.85,0.31,0.52} \definecolor{62598958}{rgb}{0.44,0.23,0.53} \definecolor{33537890}{rgb}{0.91,0.46,0.43} \definecolor{65621068}{rgb}{0.94,0.78,0.72} \definecolor{12177369}{rgb}{0.8,0.09,0.52} \definecolor{36361699}{rgb}{0.87,0.83,0.83} \definecolor{46816101}{rgb}{0.27,0.06,0.67} \definecolor{15206575}{rgb}{0.59,0.67,0.41} \definecolor{66457491}{rgb}{0.2,0.29,0.14} \definecolor{20900298}{rgb}{0.78,0.41,0.03} \definecolor{87300451}{rgb}{0.62,0.66,0.3} \definecolor{39061320}{rgb}{0.45,0.22,0.07} \definecolor{55504490}{rgb}{0.47,0.1,0.9} \definecolor{66792844}{rgb}{0.12,0.52,0.08} \definecolor{12830100}{rgb}{0.92,0.91,0.3} \definecolor{80294043}{rgb}{0.58,0.57,0.61} \definecolor{61044772}{rgb}{0.96,0.26,0.23} \definecolor{17642411}{rgb}{0.53,0.95,0.49} \definecolor{87708611}{rgb}{0.54,0.77,0.05} \definecolor{38052502}{rgb}{0.14,0.79,0.03} \definecolor{50209852}{rgb}{0.88,0.54,0.45} \definecolor{57663530}{rgb}{0.89,0.38,0.54} \definecolor{85994069}{rgb}{0.65,0.36,0.57} \definecolor{19161031}{rgb}{0.64,0.13,0.69} \definecolor{21635154}{rgb}{0.65,0.35,0.76} \definecolor{65731139}{rgb}{0.36,0.75,0.88} \definecolor{24916795}{rgb}{0.01,0.5,0.07} \definecolor{73933025}{rgb}{0.79,0.06,0.36} \definecolor{66644735}{rgb}{0.94,0.38,0.76} \definecolor{29509734}{rgb}{0.77,0.3,0.77} \definecolor{89214602}{rgb}{0.15,0.58,0.01} \definecolor{13510191}{rgb}{0.71,0.47,0.76} \definecolor{59405972}{rgb}{0.47,0.27,0.83} \definecolor{50015480}{rgb}{0.55,0.07,0.47} \definecolor{52425900}{rgb}{0.74,0.19,0.46} \definecolor{68793716}{rgb}{0.23,0.51,0.21} \definecolor{73569480}{rgb}{0.05,0.52,0.17} \definecolor{43297786}{rgb}{0.4,0.11,0.51} \definecolor{14154401}{rgb}{0.1,0.29,0.23} \definecolor{46476335}{rgb}{0.97,0.28,0.23} \definecolor{11383989}{rgb}{0.09,0.57,0.42} \definecolor{36782930}{rgb}{0.37,0.81,0.29} \definecolor{64260075}{rgb}{0.72,0.61,0.43} \definecolor{78065885}{rgb}{0.75,0.43,0.43} \definecolor{28768905}{rgb}{0.36,0.15,0.94} \definecolor{30323684}{rgb}{0.92,0.78,0.62} \definecolor{42927158}{rgb}{0.04,0.65,0.13} \definecolor{77314792}{rgb}{0.29,0.36,0.27} \definecolor{50962049}{rgb}{0.07,0.15,0.16} \definecolor{47087454}{rgb}{0.94,0.37,0.05} \definecolor{26539388}{rgb}{0.74,0.3,0.2} \definecolor{11376156}{rgb}{0.98,0.89,0.76} \definecolor{75840297}{rgb}{0.65,0.04,0.81} \definecolor{14701575}{rgb}{0.76,0.46,0.53} \newcommand\T{\Rule{0pt}{1em}{.3em}} \begin{array}{c|rrr} \hline \textrm{class} & \mathcal{C} & \mathcal{P} & \mathcal{T}\T\\ \hline \textrm{A} & & & \T\\ \textrm{AI} & & & 1\T\\ \textrm{AII} & & & -1\T\\ \textrm{AIII} & 1 & & \T\\ \textrm{BDI} & 1 & 1 & 1\T\\ \textrm{C} & & -1 & \T\\ \textrm{CI} & 1 & -1 & 1\T\\ \textrm{CII} & 1 & -1 & -1\T\\ \textrm{D} & & 1 & \T\\ \textrm{DIII} & 1 & 1 & -1\\ \hline \end{array} \]

The somewhat cryptic notations in the leftmost column are just the names of the different symmetry classes. (Also the ‘I’s appearing there are Roman cardinal numbers, so for instance BDI is ’B D one’, and AIII is “A three”.)

Their names come from an elegant mathematical classification of symmetric spaces worked out by Elie Cartan in 1926. While it is definitely intriguing that a group theory result from 1926 reappears in a totally different context almost 80 years later, the origin of this nomenclature is not directly relevant to most of the theory done in the field. The two complex classes are A and AIII.

Which symmetry class do we get if we break Kramers degeneracy in class BDI?

D
AIII
DIII
None, class BDI has no Kramers degeneracy

Finally, let us make an extra observation:

While the particle-hole symmetry appears in any superconductor, it must satisfy \(\mathcal{P}^2 = -\mathcal{T}^2\) due to the way the Bogoliubov quasiparticles are related to the original electrons. This makes the symmetry classes BDI, and CII rely on a fine-tuned Hamiltonian, just like the symmetry class AIII.