Abstract
Guided by the manyparticle quantum theory of interacting systems, we develop a uniform classification scheme for topological phases of disordered gapped free fermions, encompassing all symmetry classes of the Tenfold Way. We apply this scheme to give a mathematically rigorous proof of bulkboundary correspondence. To that end, we construct real C\(^*\)algebras harbouring the bulk and boundary data of disordered freefermion ground states. These we connect by a natural bulktoboundary short exact sequence, realising the bulk system as a quotient of the halfspace theory modulo boundary contributions. To every ground state, we attach two classes in different pictures of real operator \(K\)theory (or \(KR\)theory): a bulk class, using Van Daele’s picture, along with a boundary class, using Kasparov’s Fredholm picture. We then show that the connecting map for the bulktoboundary sequence maps these \(KR\)theory classes to each other. This implies bulkboundary correspondence, in the presence of disorder, for both the “strong” and the “weak” invariants.
Introduction
The research field of topological quantum matter stands out by its considerable scope, pairing strong impact on experimental physics with mathematical structure and depth. On the experimental side, physicists are searching for novel materials with technological potential, e.g., for future quantum computers; on the theoretical side, mathematicians have been inspired to revisit and advance areas such as topological field theory and various types of generalised cohomology and homotopy theory.
Early research on topological quantum matter was concerned primarily with the integer and fractional quantum Hall effects (QHE) and close variants thereof. Many of the key principles were already recognised and developed in that context; on the mathematical side, these included the interpretation of the Hall conductance as a topological \(K\)theory class [5, 51] and also as a Fredholm index [7, 8], and the principle of bulkboundary correspondence [50].
A major boost came around 2005 [26], when the research field was brought to full scale by the realisation that phenomena similar to QHE were possible even for systems with symmetries, in particular the antiunitary symmetry of time reversal. This led to the notion of symmetryprotected topological phases as equivalence classes of gapped Hamiltonians that are connected by homotopies subject to a fixed symmetry group; see [17] for a recent review.
Rapid progress was made in the freefermion limit with translation symmetry, where one can use the Fourier–Bloch technique to develop the theory over the Brillouin torus of conserved momentum. The challenge nowadays is to advance the theory in the direction of disordered and interacting systems. In the present paper, we focus on the disorder aspect, assuming that particle interactions can be handled by meanfield theory in its most general form, namely the socalled Hartree–Fock–Bogoliubov (HFB) meanfield approximation, or freefermion approximation for short.
The traditional physics approach to disordered free fermions starts from the Wegner–Efetov supersymmetry formalism, which famously led to the nonlinear \(\sigma \)model describing disordered metals. For systems with a small (if not vanishing) density of states, the nonlinear \(\sigma \)model has also been used, but it remains less well established there. In the present paper, we build on the mathematically rigorous approach developed initially for aperiodic systems and the integer quantum Hall effect by Bellissard and coworkers [8]. In that approach one assumes that translation invariance holds on average over the disorder and in that sense represents a symmetry of the macroscopic system.
A foundational aspect that has to be emphasised is the significant role played by superconductors, for theory as well as experiment. In fact, much of the excitement about topological quantum matter stems from the technological promise of robust zeroenergy modes (socalled Majorana zero modes) bound to the ends of superconducting wires of symmetry type \(D\). To mention a second example of well documented interest, planar substructures in strontium ruthenate (\(\mathrm {Sr}_2\,\mathrm {Ru}\, \mathrm {O}_4\)) behave as a twodimensional topological superconductor with broken timereversal symmetry [38].
Superconductivity is a true manybody phenomenon that requires the spontaneous breaking of the fundamental \(\mathrm {U}(1)\) symmetry underlying charge conservation. As manybody systems with interactions and collective dynamics, superconductors defy any treatment based on straight singleparticle quantum mechanics. Nonetheless, much of the phenomenology of superconductors and their quasiparticle excitations can be captured by the HFB meanfield approximation. In that scheme, one doubles the singleparticle Hilbert space \({{\mathscr {V}}}\) to the Nambu space of fields, \({{\mathscr {W}}} = {{\mathscr {V}}} \oplus {{\mathscr {V}}}^*\), and then works with the adjoint action of the freefermion Hamiltonians on the fields. The field space \({{\mathscr {W}}}\) is equipped with two canonical invariant structures: (i) a symmetric bilinear form due to the canonical anticommutation relations for fermion fields; (ii) a real structure \({{\mathscr {W}}}_{\mathbb {R}} \subseteq {{\mathscr {W}}}\) known in physics as the space of Majorana fields. The resulting formalism, also known by the name of Bogoliubov–deGennes or Gorkov equations, is sometimes advertised as singleparticle quantum mechanics with a “particlehole symmetry”. In the present work we do better: with a view towards future extensions to incorporate electronelectron interactions, we sketch how the formalism emerges from its proper foundations in manybody quantum theory, and we develop the theory accordingly.
Our main theme here will be bulkboundary correspondence. Roughly speaking, this principle says that the topological characteristics of the bulk system must be reflected in corresponding properties of the boundary theory. In the general case of interacting systems, one has a trichotomy of possibilities: the boundary theory (i) may be gapless, or (ii) may undergo symmetry breaking, or (iii) may be a gapped topological phase of an exotic nature. For free fermions, however, only the first alternative is realised.
Historically, early indications of the principle of bulkboundary correspondence came from anomalies in quantum field theory, especially the Adler–Bell–Jackiw anomaly for chiral fermions. Simply put, the boundary theory in isolation may be anomalous in that a conservation law is illegally violated and, if so, there must be an exactly opposite effect from the bulk system to cancel the total anomaly for the boundary joined with the bulk. For example, the lowenergy effective action functional for Quantum Hall bulk systems contains a Chern–Simons term, which fails to be gaugeinvariant when a boundary is present, and that gauge anomaly is cancelled by chiral boundary fermions that anomalously appear or disappear when magnetic flux crosses the boundary.
For the case of the integer quantum Hall effect, the heuristic principle of bulkboundary correspondence was established in mathematically rigorous terms by Kellendonk, Richter, and SchulzBaldes [31, 50]. The starting point of their approach is a short exact sequence of C\(^*\)algebras, realising the bulk system as a quotient of the halfspace theory taken modulo the boundary theory. The short exact sequence induces a sixterm exact sequence connecting the \(K\)theory groups \(K_0\) and \(K_1\) of these C\(^*\)algebras. Recently, Prodan and SchulzBaldes [43] have adapted and applied that early approach to the “chiral” analogue of IQHE systems in odd space dimension. As a result, there now exists a fairly complete understanding of the socalled “complex symmetry classes”, known as type \(A\) and \(A\mathrm {I\!I\!I}\).
Several attempts have been made to give a mathematical proof of bulkboundary correspondence for all TenfoldWay symmetry classes. A notable result for \(2D\) systems in symmetry class \(A\mathrm {I\!I}\) was proved by Graf–Porta [21]. The first approach encompassing all symmetry classes in \(2D\) is due to Loring [37], and is based on the formalism of almost commuting Hermitian matrices. Results covering all symmetry classes in any dimension were obtained by Hannabuss, Mathai, and Thiang. In a series of papers [23, 39, 40], they apply the concept of \(T\)duality to the bulkboundary correspondence. This duality, with its origins in string theory, relates the \(K\)theory of two torus bundles over the same base manifold. In the presence of lattice symmetries, Kubota [34] establishes bulkboundary correspondence at the level of strong invariants, by using the tools of coarse geometry. Following ideas of Freed–Moore [19], he combines the “quantum symmetries” of the Tenfold Way and the lattice symmetries into a single group. An alternative route, based on Kasparov \(KK\)theory, is pursued by Bourne–Kellendonk–Rennie [13]. Building on the previous work of Bourne–Carey–Rennie [12], they show that certain bulk and boundary classes are related via the bulktoboundary map of Kellendonk–Richter–SchulzBaldes.
Our approach to the bulk and boundary classification of freefermion topological phases stands out by its foundation in the physically wellmotivated Nambu space formalism. As explained above, this is essential for a proper treatment of topological superconductors. Since the objects we consider have a clear physical meaning, we are moreover able to draw conclusions with a bearing on the expected physics phenomenology; for example, our theory immediately yields the emergence of gapless edge modes for topologically nontrivial bulk phases.
Building on the pioneering work of Bellissard et al. [6,7,8,9], SchulzBaldes et al. [31, 43, 50], we give a complete and uniform proof of bulkboundary correspondence for symmetryprotected topological (SPT) phases of free fermions with disorder. Our basic physics setting is that of the Tenfold Way of disordered free fermions [1], encompassing the two complex symmetry classes \(A\) and \(A\mathrm {I\!I\!I}\), as well as the eight “real symmetry classes” \(D\), \(D\mathrm {I\!I\!I}\), \(A\mathrm {I\!I}\), \(C\mathrm {I\!I}\), \(C\), \(C\mathrm I\), \(A\mathrm I\), and \(BD\mathrm I\). To avoid lengthy casebycase considerations, we introduce the C\(^*\)algebras of Bellissard and Kellendonk–Richter–SchulzBaldes in a form suitable for the introduction of “real” and “complex” symmetries, and we treat the symmetries systematically using Clifford algebras.
In Sect. 2, we begin by deriving the C\(^*\)algebra, \({\mathbb {A}}\), for the bulk in the Nambu space setting that emerges from the manybody theory. The construction puts the real structure of the Nambu space \({\mathscr {W}}\) into evidence, as is essential for our treatment of the symmetries appearing in the Tenfold Way. From our physicsdriven model building, ground states of freefermion Hamiltonians appear naturally as real skewHermitian unitaries \(J\) on \({\mathscr {W}}\). These are called quasiparticle vacua (QPV) and figure as the principal objects of our further investigations. Ultimately, we work in the tightbinding approximation; we justify its use from physical principles. Adopting an idea due to Kubota [34], our construction of the bulk algebra \({\mathbb {A}}\) appeals to the uniform Roe C\(^*\)algebra of the lattice \(\varLambda \) of translations that leave the crystalline set of atomic sites invariant. That choice of C\(^*\)algebra reflects the (local) finiteness of the number of tightbinding degrees of freedom.
We incorporate disorder at this stage by following Bellissard [9] in encoding translational invariance on average through a covariance relation for the lattice \(\varLambda \). It turns out (Theorem 1) that this covariance relation yields a particular structure for the C\(^*\)algebra \({\mathbb {A}}\), namely that of a crossedproduct C\(^*\)algebra. Since the work of Bellissard, the bulk algebra has conventionally been defined as a crossed product; for us, this structure emerges naturally. To sum up, our real skewHermitian unitaries \(J\in {\mathbb {A}}\) are translationinvariant on average over the disorder. We therefore call them disordered IQPV (where the I stands for invariant).
The next step is to include symmetries. Past treatments of the Tenfold Way have relied on casebycase considerations, exacerbated further by the appearance of various casedependent real and quaternionic structures. A uniform description avoiding these ramifications was first put forth by Kitaev [33] by the judicious use of Clifford algebras. It was later worked out in detail by Kennedy–Zirnbauer [32] who introduced the concept of pseudosymmetries as an organising principle for symmetry classes of translationinvariant free fermions in the clean limit. In Sect. 3, we transcribe this concept from the Blochbundle setting to that of C\(^*\)algebras and use it to define symmetry classes of disordered IQPV \(J\in {\mathbb {A}}\).
Our formulation turns out to be well suited for the introduction of \(K\)theoretical invariants, and we show how a disordered IQPV \(J\in {\mathbb {A}}\) naturally defines a class in the real \(K\)theory of the bulk algebra \({\mathbb {A}}\) (Definition 16). The entirely algebraic construction utilises the picture of real \(K\)theory introduced by Van Daele [52, 53]. The use of this picture was inspired by recent work of Kellendonk [30]. Our construction indeed gives an alternative definition of real \(K\)theory. That is, any \(KR\)theory class of \({\mathbb {A}}\) is the “bulk class” of a disordered IQPV in a certain symmetry class (Theorem 3). This fact does not depend on the specifics of the bulk algebra \({\mathbb {A}}\) but is valid for any real C\(^*\)algebra.
In Sect. 4, we introduce a physical system boundary by defining a halfspace algebra \(\smash {\widehat{{\mathbb {A}}}}\), following the ideas of Kellendonk–Richter–SchulzBaldes [31, 50]. We break the translational covariance in one spatial direction and show that the resulting algebra \(\smash {\widehat{{\mathbb {A}}}}\) has the structure of a crossed product with the halfspace semilattice \(\smash {{\hat{\varLambda }}}\subseteq \varLambda \) (Proposition 8). This leads to a Toeplitz extension connecting bulk and boundary (Theorem 4).
The Szegő projection defining the Toeplitz extension allows us to assign, to every disordered IQPV \(J\) in a given symmetry class, a real skewHermitian operator \(\smash {{\widehat{J}}}\in \smash {\widehat{{\mathbb {A}}}}\) which satisfies the same pseudosymmetries as \(J\) but squares to \(1\) only up to boundary contributions. Such operators define real \(K\)theory classes for the boundary C\(^*\)algebra \({\mathbb {A}}_\partial \), as we show by using Kasparov’s Fredholm picture for \(KR\)theory (Definition 21). Since for free fermions, the appearance of gapless edge modes signals a topologically nontrivial bulk, it is essential that the picture of \(K\)theory used for the boundary classes allows the spectral gap to close at the boundary. This is an important aspect not present in previous approaches to the bulkboundary correspondence using \(K\)theory.
Thus, we attach to any disordered IQPV of a given symmetry class two \(K\)theory classes: one in the bulk and another one at the boundary. The main result of our article, in Sect. 5, is to interrelate these two classes: We prove in Theorem 5 that the relation is given by the connecting map in \(KR\)theory. For the case of the integer QHE, this idea is already present in the work of Kellendonk–Richter–SchulzBaldes [31, 50]. Our theorem covers all symmetry classes of the Tenfold Way, and it holds in the presence of disorder, for the strong as well as the weak invariants. We also show, in Proposition 12, that the \(K\)theory of the algebras we have constructed is invariant w.r.t. certain types of disorder.
In the final Sect. 6, we complement our results by a discussion, (i), of the anomalous nature of the boundary phase, (ii), of the role of the “trivial” phase, (iii), of the internal space of our tightbinding model, and (iv), of the construction of numerical topological invariants. We examine the socalled “strong” invariant and show the emergence, for topologically nontrivial systems, of gapless boundary phases.
Note on authorship. This article is part of the PhD thesis work of CM supervised by AA. The contributions of MZ are primarily in Sects. 1–3, where the mathematical model is developed from physical principles.
Bulk Systems with Disorder
From Nambu space to real C\(^*\)algebras
In this subsection, we shall construct the algebra of bulk observables for a macroscopically translation invariant solidstate system in the freefermion approximation and with onsite symmetries present.
In the literature on the subject, the C\(^*\)algebra of a gapped bulk system is modelled by a crossed product C\(^*\)algebra. This goes back to Bellissard [6, 7], and it is fundamental for his mathematical proof of the (integer) quantisation of the Hall conductance using noncommutative geometry [8]. Later work by SchulzBaldes–Kellendonk–Richter [50] and Kellendonk–Richter–SchulzBaldes [31] employed a Toeplitz extension of the crossed product C\(^*\)algebra of the bulk system to prove bulkboundary correspondence for integer quantum Hall systems in a halfplane geometry. More recently, Prodan–SchulzBaldes extended the formalism to incorporate halfspace systems in the chiral symmetry class \(A\mathrm {I\!I\!I}\) (see [43, Chapter 5] for an exposition).
Our first goal here is to adapt the mathematical framework in order to accommodate freefermion topological phases from the other symmetry classes of the Tenfold Way. For that purpose, we deem it fit to rebuild the C\(^*\)algebra of our model from its foundations in manybody physics. This we shall do stepbystep in the present subsection, with the final outcome being that our algebra still has a crossed product structure. The latter will be of crucial importance in Sect. 4.
Setting in manybody theory
Topological insulators and superconductors are manybody systems consisting of \(10^{10}\)\(10^{25}\) interacting particles. To treat them in any satisfactory way (including particleparticle interactions as well as disorder), one must apply the formalism of manybody quantum theory. In the present paper, we treat disordered systems, neglecting residual interactions beyond those captured by meanfield theory in the most general scheme of Hartree–Fock–Bogoliubov. While our focus on disorder makes for substantial technical simplifications, allowing us to do computations in the Nambu space of field operators (akin to the Hilbert space of singleparticle quantum mechanics), we still consider it appropriate if not necessary to develop (or, at least, motivate) the mathematical model we use from its very foundations in manybody theory. A particular case in point is the proper description of topological superconductors. Indeed, superconductors are manyelectron systems that undergo spontaneous breaking of \(\mathrm U(1)\) charge symmetry, a manybody phenomenon that cannot be understood or modelled in a straight singleparticle picture.
A basic characteristic of solid bodies and other condensed matter systems is their chemical potential\(\mu \), also known as the Fermi energy in the case of particles obeying Fermi statistics. By definition, \(\mu \) is the energy level at which the process of adding or removing a charged particle to or from a macroscopic body costs no work. Singleelectron states with energy above \(\mu \) are called conduction states, those with energy below \(\mu \)valence states. The singleelectron conduction (resp. valence) states span a Hilbert space \({\mathscr {V}}_+\) (resp. \({\mathscr {V}}_\)).
Let us emphasise that it is crucial for us to construct our mathematical model around the chemical potential \(\mu \). The reason is that we intend to truncate the locally infinite continuum degrees of freedom to a socalled tightbinding model supporting only a finite number of energy bands, and that approximation by truncation is physically justified (at very low temperatures) if and only if the tightbinding model is designed to capture the band structure close to the chemical potential.
The basic structure underlying manybody quantum theory is that of a Fock space. In the case of indistinguishable fermions such as electrons, this is an exterior algebra
completed to a Hilbert space with inner product \(\langle \cdot \cdot \rangle _\wedge \) which is induced by the Hilbert space structures of \({\mathscr {V}}_\pm \). Note that \({\mathscr {V}}_^*\) denotes the vector space dual to \({\mathscr {V}}_\). Physically speaking, the appearance of \({\mathscr {V}}_^*\) (instead of \({\mathscr {V}}_\)) means that the Fock vacuum, i.e. the complex line
is the “Fermi sea” of occupied valence states. The Fock space \(\textstyle \bigwedge \) is bigraded by
The integer \(p\) counts the number of singleparticle excitations, i.e. the number of electrons populating the conduction states, while \(q\) is the number of singlehole excitations, i.e. the number of electrons missing from the Fermi sea of occupied valence states. Abbreviating the language, one calls \(p\) and \(q\) the number of particles resp. of holes. The difference \(pq\) is referred to as the charge (relative to \(\mu \)).
Given the Fock–Hilbert space \(\textstyle \bigwedge \) built on the Fock vacuum \(\textstyle \bigwedge ^0\) around the chemical potential \(\mu \), a field operator\(\psi :\textstyle \bigwedge \longrightarrow \textstyle \bigwedge \) is a linear combination
Here, the operator of exterior multiplication \(\varepsilon (v_+):\smash {\textstyle \bigwedge ^{p,q}}\longrightarrow \smash {\textstyle \bigwedge ^{p+1,q}}\) increases the number of particles by one, whereas \(\varepsilon (\varphi _):\smash {\bigwedge ^{p,q}}\longrightarrow \smash {\bigwedge ^{p,q+1}}\) removes an electron from a valence state, thereby increasing the number of holes by one. Conversely, the operators \(\iota (\varphi _+):\smash {\bigwedge ^{p,q}}\longrightarrow \smash {\bigwedge ^{p1, q}}\) and \(\iota (v_):\textstyle \bigwedge ^{p,q}\longrightarrow \textstyle \bigwedge ^{p,q1}\) decrease the number of particles resp. holes by alternating contraction.
The field operators \(\psi \) span a complex vector space, the socalled Nambu space\({\mathscr {W}}\) of fields. Note that \({\mathscr {W}}\) is not fundamentally a Hilbert space, but will be given a derived Hilbert space structure in due course. The space \({\mathscr {W}}\) is equipped with two basic structures. The first one is a symmetric complex bilinear form, \(\{\cdot ,\cdot \}:{\mathscr {W}}\otimes {\mathscr {W}}\longrightarrow \mathbb {C}\), which is canonically defined by
It is referred to as the CAR form (for canonical anticommutation relations). In explicit terms, using the notation above,
The most general manybody operator acting on the Fock space resides in the complex Clifford algebra \(C\ell ({\mathscr {W}})\) generated by \({\mathscr {W}}\) with the relations given by the CAR form.
Secondly, the Nambu space of fields carries a real structure \(\gamma :{\mathscr {W}}\longrightarrow {\mathscr {W}}\). Denoting the Fréchet–Riesz isomorphism for the conductionstate and valencestate Hilbert spaces by \(h:{\mathscr {V}}_\pm \longrightarrow {\mathscr {V}}_\pm ^*\), one defines \(\gamma \) as the antilinear involution
Physicists frequently refer to the real subspace \({\mathscr {W}}_\mathbb {R}\) consisting of the \(\gamma \)fixed vectors as the space of Majorana fields. Notice that the CAR form of \({\mathscr {W}}\) restricts to a Euclidean structure of the real vector space \({\mathscr {W}}_\mathbb {R}\).
The real structure \(\gamma \) and the CAR form of \({\mathscr {W}}\) each induce a corresponding operation on linear transformations \(L\in \mathrm {End}({\mathscr {W}})\) (and similarly on the antilinear transformations). In the case of \(\gamma \), this is the antilinear involution
and we say that \(L\) is real if \({\overline{L}}=L\) (resp. imaginary if \({\overline{L}}=L\)). In the case of the CAR form, the induced operation is a linear antiinvolution \(L\longmapsto L^\intercal \) called transposition, defined by
An operator \(L\in \mathrm {End}({\mathscr {W}})\) is called skew if \(L^\intercal =L\) (resp. symmetric if \(L^\intercal =L\)).
Finally, let us remark here that the CAR form \(\{\cdot ,\cdot \}\) and the real structure \(\gamma \) are fundamental in that they are not tied to the freefermion approximation but retain their key roles even in the presence of electronelectron interactions.
Freefermion setting
We proceed to introduce the objects and structures that emerge upon assuming the freefermion approximation (or freefermion limit). For \(\psi ,\psi '\in {\mathscr {W}}_\mathbb {R}\), consider the expression \(\psi \psi '\psi '\psi \) in the Clifford algebra \(C\ell ({\mathscr {W}}_\mathbb {R})\). Such operators, quadratic in the fields and skewsymmetrised, close under the commutator in \(\mathrm {End}(\textstyle \bigwedge )\) and span a Lie algebra isomorphic to \(\mathfrak {so}({\mathscr {W}}_\mathbb {R})\). By exponentiating that Lie algebra inside \(C\ell ({\mathscr {W}}_\mathbb {R})\), one obtains the Lie group \(\mathrm {Spin}({\mathscr {W}}_\mathbb {R})\subseteq \mathrm U(\textstyle \bigwedge )\). The latter acts on \({\mathscr {W}}_\mathbb {R}\subseteq \mathrm {End}(\textstyle \bigwedge )\) by real orthogonal transformations \(\varrho (g):{\mathscr {W}}_\mathbb {R}\longrightarrow {\mathscr {W}}_\mathbb {R}\), defined as
The significance of \(\mathrm {Spin}({\mathscr {W}}_\mathbb {R})\) is that it contains all unitary operators of physical interest (in the freefermion limit), including the operators for time evolutions, space translations, space rotations, etc., as well as the unitary Bogoliubov transformations.
A freefermion Hamiltonian\({\mathscr {H}}\in C\ell ({\mathscr {W}})\) is, by definition, a Clifford algebra element quadratic in the fields and Hermitian with respect to the Fock space inner product. Because the time evolutions \(e^{it{\mathscr {H}}/\hbar }\in \mathrm {Spin}({\mathscr {W}}_\mathbb {R})\) generated by it act on \({\mathscr {W}}_\mathbb {R}\) as real orthogonal transformations \(\smash {\varrho (e^{it{\mathscr {H}}/\hbar })}\in \mathrm {SO}({\mathscr {W}}_\mathbb {R})\), it follows that \(iH=d\varrho (i{\mathscr {H}})\) is real and skew: \(\overline{iH}=+iH=iH^\intercal \). Put differently, the induced Hamiltonian \(H\in \mathrm {End}({\mathscr {W}})\) is imaginary and skew:
Let us provide a little more detail about the freefermion Hamiltonians \({\mathscr {H}}\). If \({\mathscr {H}}\) stems from a chargeconserving Hamiltonian \({\mathsf {H}}\) which is defined on the singleparticle Hilbert space \({\mathscr {V}}={\mathscr {V}}_+\oplus {\mathscr {V}}_\) and decomposed as
then for any bases \((e_j^\tau )\) of \({\mathscr {V}}_\tau \) (\(\tau =\pm \)) with dual bases \((f^j_\tau )\), one has the secondquantised Hamiltonian
Thus, the block gives rise to an operator of type \(\varepsilon \,\varepsilon \) creating particlehole pairs, while the block \(C\) (secondquantised as type \(\iota \,\iota \)) does the opposite. If \({\mathsf {H}}\) is taken to be exactly the HartreeFock meanfield Hamiltonian, then \(B=C=0\) and \(A\mu>0>D\mu \) by the definition of \({\mathscr {V}}_+\) and \({\mathscr {V}}_\) from the chemical potential \(\mu \). The charge operator (representing the identity on \({\mathscr {V}}\)) is
Note that \({\mathscr {Q}}_{\wedge ^{p,q}}=pq\).
The full power of the formalism comes to play in the treatment of superconducting systems. There, the \(\mathrm U(1)\) symmetry underlying charge conservation is spontaneously broken (because of manybody effects such as the interaction of the electrons with lattice vibrations favouring the formation of socalled Cooper pairs). In the Hartree–Fock–Bogoliubov meanfield approximation, one accounts for the spontaneous breaking of \(\mathrm U(1)\) symmetry by augmenting the freefermion Hamiltonian \({\mathscr {H}}\) with socalled pairing terms \(\varDelta _+\) and \(\varDelta _\) that do not conserve the charge. Rather, they satisfy
and thus increase or decrease the charge by 2 units.
To summarise and simplify the notation, let us record here that any freefermion Hamiltonian \({\mathscr {H}}\) (superconducting or not) acts on the Nambu space \({\mathscr {W}}\) of fields \(\psi \) as
Now, the ground state of a gapped freefermion Hamiltonian \({\mathscr {H}}\) or, equivalently, of the induced Hamiltonian \(H\), is known to be uniquely determined by the flatband (or flattened) Hamiltonian
where a factor \(i= \sqrt{1}\) was inserted to make \(J\) real (\({\overline{J}}=J\)). Note that \({{\,\mathrm{\mathrm {sign}}\,}}(H)=HH^{1}\) is welldefined by the hypothesis of a nonvanishing energy gap. We then infer the relation \(J^2=1\), which makes \(J\) a complex structure of the real vector space \({\mathscr {W}}_\mathbb {R}\). Recalling that \(H\) is skew under transposition, we see that the same property holds for \(J\) (i.e.\(J^\intercal =J\)). It then follows from \(J^\intercal J= J^2 =1\) that \(J\) preserves the CAR form:
and is thus an orthogonal transformation. In summary, \(J=i{{\,\mathrm{\mathrm {sign}}\,}}(H)\) is a CARpreserving complex structure of the space of Majorana fields \({\mathscr {W}}_\mathbb {R}\).
Let us briefly explain why the full information about the freefermion ground state is encoded precisely in the complex structure \(J\). The operator \(J\) has two eigenspaces, \(\ker (J\mp i)\subseteq {\mathscr {W}}_\mathbb {R}\otimes _\mathbb {R}\mathbb {C}={\mathscr {W}}\). These eigenspaces provide a polarisation:
and they determine \(J\). Because \(J\) preserves the CAR form, the subspaces \({\mathscr {A}}\) and \({\mathscr {A}}^\mathrm c\) are isotropic:
For \(a\in {\mathscr {A}}\), \(c\in {\mathscr {A}}^\mathrm c\), and \({\mathscr {J}}=d\rho ^{1}(J)\), one has
Thus the field operators in \({\mathscr {A}}\) lower the energy of the flattened Hamiltonian \(i{\mathscr {J}}\), while those in \({\mathscr {A}}^\mathrm c\) increase it. Clearly, the ground state as the state of lowest energy must be annihilated by the field operators that lower the energy. It follows that the isotropic subspace \({\mathscr {A}}\) furnishes all the (quasiparticle) annihilation operators. These, by a basic result of manybody theory, precisely characterise the freefermion ground state. We mention in passing that the polarisation provided by the bare vacuum,
would be a poor starting point on which to build an effective theory describing the lowenergy physics that takes place near the chemical potential.
Altogether, the following definition is now wellmotivated.
Definition 1
A freefermion ground state or quasiparticle vacuum (QPV) is a complex structure \(J\) that preserves the CAR form:
Here, \({{\,\mathrm{{\mathscr {L}}}\,}}()\) denotes the set of bounded linear operators.
Remark 1
For translationinvariant systems, \(J\) is diagonal in the momentum \(k\). In that case, the orthogonality condition \(J^\intercal =J^{1}\) refines to \(J(k)^\intercal =J(k)^{1}\). The latter is equivalent to a condition on the spaces of quasiparticle annihilation operators: which is the Fermi constraint of Kennedy–Zirnbauer [32].
Hilbert space structure of \({\mathscr {W}}\)
Looking at the bigger picture one realises that, up to the present point, a similar development could have been carried out for bosons instead of fermions. In fact, a freeboson ground state is precisely a CCRpreserving complex structure of the real space of fields \({\mathscr {W}}_\mathbb {R}\) viewed as a symplectic vector space (where CCR stands for canonical commutation relations). In the next step, however, we come to a structure specific to fermions in the freefermion limit: \({\mathscr {W}}\) is a complex Hilbert space, as follows.
Recall that the CAR form \(\{\cdot ,\cdot \}\) on \({\mathscr {W}}\) is symmetric and complex bilinear, and restricts to a Euclidean structure of \({\mathscr {W}}_\mathbb {R}\). For \(\psi \in {\mathscr {W}}\), let
be the decomposition into real and imaginary parts. Then
is an inner product turning \({\mathscr {W}}\) into a Hermitian vector space. In other words:
Definition 2
(Inner product on Nambu space). The Nambu space \({\mathscr {W}}\) of fermion field operators is equipped with an inner product \(\langle \cdot \cdot \rangle _{\mathscr {W}}\) by
Thus, \({\mathscr {W}}\) acquires the structure of a complex Hilbert space.
Remark 2
The Hilbert space structure on \({\mathscr {W}}\) depends on our freefermion assumption in two respects:

(i)
The same construction for bosons leads to an inner product with indefinite signature, and for this reason not to a Hilbert space.

(ii)
The invariance of \(\langle \psi \psi \rangle _{\mathscr {W}}\geqslant 0\) under unitary time evolutions can be interpreted as a law of probability conservation for quasiparticles. That law is violated by electronelectron interactions, so \(\langle \cdot \cdot \rangle _{\mathscr {W}}\) ceases to be relevant for interacting systems.
The presence of the inner product entails an operation \(\mathrm {End}({\mathscr {W}})\ni L\longmapsto L^*\) of taking the Hermitian adjoint. By construction, this is the same as the operation of transpose combined with that of \(\gamma \)conjugate:
Now, recall from Definition 1 the notion of a freefermion ground state or quasiparticle vacuum (QPV). Because any QPV \(J\in {{\,\mathrm{{\mathscr {L}}}\,}}({\mathscr {W}}_\mathbb {R})\) is skew, its complex linear extension \(J\in {{\,\mathrm{{\mathscr {L}}}\,}}({\mathscr {W}})\) is skewHermitian (\(J^*= J\)). It follows that \(J\), being a complex structure \(J=J^{1}\) of \({\mathscr {W}}_\mathbb {R}\), extends to a unitary operator \(J=(J^{1})^*\) on \({\mathscr {W}}\).
Proposition 1
Viewed as an operator on the complex Hilbert space \({\mathscr {W}}\), any quasiparticle vacuum \(J\) is skewHermitian and unitary:
as well as real: \({\overline{J}}=J\).
As we have stressed above, the Hilbert space structure, unlike the CAR form and the real structure, is not a fundamental feature of the Nambu space \({\mathscr {W}}\). However, as long as we limit our attention to the freefermion case, it is permissible mathematically to upend the logic and put the Hilbert space structure first. This is convenient for the purely pragmatic purpose of connecting us to the mathematical literature. Accordingly, we pose the following definition.
Definition 3
(Real Hilbert spaces). Let \({\mathscr {W}}\) be a complex Hilbert space with inner product \(\langle \cdot \cdot \rangle \). A real structure on \({\mathscr {W}}\) is an antiunitary involution \(\gamma \). That is, \(\gamma ^2 = 1\) and
A real Hilbert space is by definition a pair \(({\mathscr {W}},\gamma )\) of a Hilbert space \({\mathscr {W}}\) and a real structure \(\gamma \). A complex linear (or antilinear) map \(\phi :({\mathscr {W}}_1,\gamma _1)\longrightarrow ({\mathscr {W}}_2,\gamma _2)\) is called real if it intertwines the real structures, i.e.
In the framework of this definition, the Nambu space \({\mathscr {W}}\), equipped with its natural real structure, is a real Hilbert space, and any QPV \(J\) is a real skewHermitian unitary.
Tightbinding approximation
A major benefit from developing the mathematical model from its proper foundations in manybody quantum mechanics, is that we can now introduce a tightbinding approximation in a mathematically justified and physically meaningful way. (This will be important for our treatment of weak topological invariants; cf. Sect. 6. In fact, without proper theory building, the weak invariants might be criticised as artefacts due to the illegal step of replacing the spatial continuum by a discrete approximation.)
Let us recall that for a manyfermion system at very low temperatures, the active degrees of freedom reside near the chemical potential \(\mu \). More precisely, the lowenergy excitations are single particles in the conduction bands just above \(\mu \) and single holes in the valence bands just below \(\mu \). Hence, to capture the topological properties of the ground state (and other lowtemperature phenomena), one may prune the locally infinite number of freedoms in the full singleparticle Hilbert space, by assuming a truncation to the lowenergy sector spanned by the conduction and valence bands near \(\mu \). In this vein, we now make the following choice for our Hilbert spaces \({\mathscr {V}}_+\) and \({\mathscr {V}}_\):
with lattice \(\varLambda \cong \mathbb {Z}^d\). The factor \(\ell ^2(\varLambda )\) is the Hilbert space of a socalled tightbinding model, where the lattice \(\varLambda \cong {\mathbb {Z}}^d\) reflects the organisation of the crystal by atomic sites. (In fact, the atomic sites may form a more complex pattern or unit cell invariant under the translational action of the \(\mathbb {Z}^d\) lattice; in this paper, we focus on systems homogeneous w.r.t. translations, ignoring any further spatial symmetries.) The finitedimensional factors \(V_\pm \) account for the spin and orbital degrees of freedom active in the conduction bands (\(V_+\)) and the valence bands (\(V_\)) near the chemical potential. The resulting mathematical model is summarised as follows.
The Nambu space of field operators is
Here, we may identify
By the procedure outlined above, \({\mathscr {W}}\) acquires the structure of a real Hilbert space. Using the inner product and the (complex) conjugation on \(\ell ^2(\varLambda )\), we may identify
The splitting \({\mathscr {V}}\oplus {\mathscr {V}}^*\) of \({\mathscr {W}}\) is characterised by the (dequantised) charge operator
resulting via\(Q=i^{1}d\rho (i{\mathscr {Q}})\) from the secondquantised charge operator \({\mathscr {Q}}\) introduced earlier. Observe that an arbitrary operator on \({\mathscr {W}}\) leaves \({\mathscr {V}}\) and \({\mathscr {V}}^*\) invariant if and only if it commutes with \(Q\). Since \(iQ\) generates the \(\mathrm U(1)\) symmetry group underlying the conservation of charge, we call such operators chargeconserving. Chargeconserving operators with the additional property of being real take the general form
where \(h\equiv \gamma _{{\mathscr {V}}}:{\mathscr {V}}\longrightarrow {\mathscr {V}}^*\) is the Fréchet–Riesz isomorphism of the Hilbert space \({\mathscr {V}}\). Thus, any such operator is determined by its restriction to \({\mathscr {V}}\).
Real C\(^*\)algebras
As derived above, a key feature of our mathematical model is the presence of a real structure. Using a convenient mathematical short cut, the definition of a freefermion ground state or QPV \(J\) can be formulated thus:
that is, by reference only to the operations of forming the \(\gamma \)conjugate, the Hermitian adjoint, and the product of operators.
Our aim, in the remainder of the current subsection, is to formulate an algebraic framework for the study of freefermion topological phases in the presence of disorder. This will enable us to bring the welldeveloped theory of operator \(K\)theory to bear upon the problem of bulk and boundary classification of such phases.
Defined algebraically as a (real) skewHermitian unitary, the freefermion QPV J resides in the algebra \({{\,\mathrm{{\mathscr {L}}}\,}}({\mathscr {W}})\) of bounded linear operators on \({\mathscr {W}}\). By a classical theorem of Gel’fand and Naimark (see [42, Corollary 3.7.5]), the closed subalgebras of the algebra \({{\,\mathrm{{\mathscr {L}}}\,}}({\mathscr {H}})\) of bounded operators on a (complex) Hilbert space \({\mathscr {H}}\) invariant under the formation of Hermitian adjoints can be defined algebraically without reference to the Hilbert space. The algebraic objects so defined are exactly the socalled C\(^*\)algebras.
In addition to the Hermitian adjoint, real C\(^*\)algebras formalise the notion of a real structure; they are to real Hilbert spaces what C\(^*\)algebras are to Hilbert spaces. Abstractly, they are defined as follows.
Definition 4
(Real\(\hbox {C}^*\)algebras). A real C\(^*\)algebra is a pair \((A,{\overline{\cdot }})\) consisting of a (complex) C\(^*\)algebra \(A\) and an antilinear \(*\)involution \({\overline{\cdot }}\) called conjugation; viz.
An element \(x\in A\) is called real if \({\overline{x}}=x\) and imaginary if \({\overline{x}}=x\). A \(*\)morphism \(\phi :(A_1,{\overline{\cdot }})\longrightarrow (A_2,{\overline{\cdot }})\) of real C\(^*\)algebras is called real if it intertwines the conjugations, i.e.
The spatial tensor product \(A_1\otimes A_2\) of C\(^*\)algebras, where \((A_1,{\overline{\cdot }})\) and \((A_2,{\overline{\cdot }})\) are real C\(^*\)algebras, becomes a real C\(^*\)algebra when equipped with the conjugation defined by
Remark 3
Equivalently, a real C\(^*\)algebra is characterised as a C\(^*\)algebra \(A\), together with a linear antiinvolution \({\mathsf {T}}\) called transposition. That is, \({\mathsf {T}}\) is complex linear and
The two equivalent structures are related by the equation
In our setting based on the Nambu space of fields, \({\mathscr {W}}\), the basic example of a real C\(^*\)algebra is a closed \(*\)subalgebra \(A\subseteq {{\,\mathrm{{\mathscr {L}}}\,}}({\mathscr {W}})\) that is invariant under conjugation (or equivalently, under transposition with respect to the CAR form). Within any such algebra, we will be able to define the notion of a QPV.
From an abstract point of view, all real C\(^*\)algebras are realised on a real Hilbert space, as the following remark implies.
Remark 4
For any real C\(^*\)algebra \((A,{\overline{\cdot }})\), the real subalgebra \(B=A_\mathbb {R}\) consisting of all real elements is a real Banach \(*\)algebra such that for every \(x\in B\), \(x^*x=x^2\) and \(1+x^*x\) is invertible in the unitisation of \(B\). Building on work of Arens [2] and Arens–Kaplansky [3] in the commutative case, Ingelstam [25] proved that conversely, if \(B\) is a real Banach \(*\)algebra satisfying these hypotheses, then its complexification \(A=B_\mathbb {C}\) is a real C\(^*\)algebra for the conjugation given by
Moreover, he proved that every real C\(^*\)algebra \((A,{\overline{\cdot }})\) admits, for some real Hilbert space \(({\mathscr {W}},\gamma )\), a real isometric \(*\)isomorphism onto a closed subalgebra of \({{\,\mathrm{{\mathscr {L}}}\,}}({\mathscr {W}})\) which is invariant under the adjoint and the transpose.
Although real C\(^*\)algebras can thus always be realised on a real Hilbert space, in practice, they also arise through quaternionic rather than through real structures. This will be important for our treatment of time reversal.
Definition 5
(Quaternionic structures on Hilbert space). Let \({\mathscr {V}}\) be a Hilbert space (over the complex numbers). An antiunitary operator \(T\) on \({\mathscr {V}}\) is called a quaternionic structure if \(T^2=1\). That is, \(T\) is antilinear and we have
A pair \(({\mathscr {V}},T)\) consisting of a Hilbert space \({\mathscr {V}}\) and a quaternionic structure \(T\) is called a quaternionic Hilbert space. A complex linear map \(\phi :({\mathscr {W}}_1,T_1)\longrightarrow ({\mathscr {W}}_2,T_2)\) between quaternionic Hilbert spaces is called quaternionic if it intertwines the quaternionic structures, viz.
Let \(({\mathscr {V}},T)\) be a quaternionic Hilbert space. Then \({{\,\mathrm{{\mathscr {L}}}\,}}({\mathscr {V}})\) is a real C\(^*\)algebra with the conjugation
In the context of our applications, a quaternionic structure on \({\mathscr {V}}=\ell ^2(\varLambda )\otimes V\) arises as , where is complex conjugation on \(\ell ^2(\varLambda )\) and \(T\) is a quaternionic structure on \(V\), corresponding to the operation of time reversal.
An example of a quaternionic structure is given for \(V=\mathbb {C}^2\) by
where is complex conjugation on \(\mathbb {C}\). This induces on \(M_2(\mathbb {C})=\mathrm {End}(\mathbb {C}^2)\) the conjugation \({\overline{\cdot }}={{\,\mathrm{\mathrm {Ad}}\,}}(\mathfrak c)\), expressed explicitly by the formula
For the real C\(^*\)algebra \((M_2(\mathbb {C}),{{\,\mathrm{\mathrm {Ad}}\,}}(\mathfrak c))\), the subalgebra of real elements is spanned (over the real numbers) by the identity matrix and the matrices \(i\sigma _x\), \(i\sigma _y\), \(i\sigma _z\), where
are the usual Pauli matrices. This subalgebra is thus isomorphic (as an algebra over the real numbers) to the quaternions \({\mathbb {H}}\). For this reason, we will denote the real C\(^*\)algebra \((M_2(\mathbb {C}),{{\,\mathrm{\mathrm {Ad}}\,}}(\mathfrak c))\) by \({\mathbb {H}}_\mathbb {C}\).
Local observables as controlled operators
Besides being Hermitian and preserving the CAR form, the Hamiltonians \(H\) relevant to our considerations share a further common feature. Namely, they are local operators. By this we mean that \((H\psi )(x)\) depends only on the values \(\psi (y)\) for \(y\) in a neighbourhood of \(x\) whose diameter is bounded independently of \(x\). Mathematically, this is captured by the notion of controlled operators defined below.
Definition 6
(Controlled operators). Let \(U\) be a finitedimensional Hilbert space, \(D\subseteq \varLambda \) any subset and \(O\) a bounded linear operator on \(\ell ^2(D)\otimes U\). Let \(O(x,y)\in \mathrm {End}(W)\), for \(x,y\in D\), denote the kernel function of \(O\), defined by
We say that \(O\) is controlled if there is a finite constant \(R>0\) such that
The norm closure of the set of controlled operators shall be denoted by \(C^*_u(D,U)\).
Remark 5
The previous definition is due to Roe [46, Definition 4.22], in a much more general form. The subscript \(u\) in \(C^*_u(D,U)\) refers to the word “uniform”. Indeed, \(C^*_u(D,U)\cong C^*_u(D,\mathbb {C})\otimes \mathrm {End}(U)\) where \(C^*_u(D,\mathbb {C})\) is usually denoted by \(C^*_u(D)\) and called the uniform Roe algebra (of the metric space \(D\)) in the literature. In the context of the topological classification of solidstate systems in the tightbinding approximation, the uniform Roe algebra was first used by Kubota [34].
The following statement is immediate, see [46, Corollary 4.24] for the first part.
Proposition 2
Let \(U\) be a finitedimensional Hilbert space and \(D\subseteq \varLambda \) a subset. Then \(C^*_u(D,U)\) is a closed \(*\)subalgebra of \({{\,\mathrm{{\mathscr {L}}}\,}}(\ell ^2(D)\otimes U)\) and hence a C\(^*\)algebra. If \(U\) has a real or a quaternionic structure, then \(C^*_u(D,U)\) is invariant under the induced conjugation on , and thus, a real C\(^*\)algebra.
Proof
Only the statement about real structure requires proof. But
so that controlled operators are invariant under conjugation. Since the latter is an isometry, the assertion follows. \(\quad \square \)
The algebra of bulk observables
We now come to the final step of our construction of the bulk algebra. Topological insulators and superconductors occur in solids with a periodic, translationinvariant crystal structure in the bulk. This is already reflected, in the tightbinding approximation, by the choice of the lattice \(\varLambda \) of spatial translations leaving the atomic sites invariant. As long as no disorder is present, the smallest C\(^*\)algebra containing all freefermion Hamiltonians of interest on \({\mathscr {W}}\) is the algebra of \(\varLambda \)invariants in \(C^*_u(\varLambda ,W)\). In this case, it would be fair to declare it to be the algebra of bulk observables. (Incidentally, the Fourier transform identifies \(\smash {C^*_u(\varLambda ,W)^\varLambda }\) with the set of continuous matrix functions \(H(k)\) of momenta \(k\) on the Brillouin zone \(\mathbb {R}^d/\varLambda \).)
However, we do not wish to ignore the effects of disorder. Indeed, as we shall show, bulkboundary correspondence holds in the presence of disorder, both for the strong and the socalled weak invariants. Since disorder breaks the translational invariance at a microscopic level, a major step in building our model is to devise a mathematical counterpart for the macroscopic homogeneity that is nonetheless preserved.
A general way to do this was suggested by Bellissard [6]. Starting from some basic Hamiltonian, he considers all \(\varLambda \)translates thereof and the closure \(\varOmega \) of this translational orbit in the space of operators (for a suitable topology). If the Hamiltonian is macroscopically homogeneous, then, together with its translates, it should [9] be an operatorvalued function on \(\varOmega \) translationally covariant (or equivariant) in that it intertwines the action of the translation group on \(\varOmega \) and the space of operators.
As there is no way of knowing a priori how to model the space \(\varOmega \) of disorder configurations, it is common practice to replace this orbit closure by an arbitrary compact Hausdorff space \(\varOmega \), equipped with a continuous action of the group \(\varLambda \). For now, we will leave the choice of \(\varOmega \) open. We shall discuss a specific choice later, in Sect. 5.3.
Definition 7
(Covariance algebra). Let \(\varOmega \) be a compact Hausdorff topological space, equipped with a right action of the group \(\varLambda \). Let \(U\) be a finitedimensional Hilbert space. Let \(u_x\), for \(x\in \varLambda \), be defined by
We define \(A^U\) to be the set of all maps \(O:\varOmega \longrightarrow C^*_u(\varLambda , U)\) that are continuous in the norm topology and covariant (or equivariant) in the sense that
In particular, referring to the notation of Paragraph 2.1.4, we set \({\mathbb {A}}:=A^W\) and \(\mathrm A:=A^V\). We sometimes speak of the former as the real case and the latter as the complex case.
Lemma 1
Retain the assumptions of Definition 7. With pointwise operations
and the norm defined by
the set \(A^U\) is a C\(^*\)algebra. If \(U\) is real or quaternionic, then \(A^U\) is a real C\(^*\)algebra with conjugation and transpose defined by
Remark 6
(Magnetic fields). The first one to study the algebra from Definition 7 in connection with solidstate physics was Bellissard, in the context of the quantum Hall effect. (His definition is phrased somewhat differently, using crossed products of C\(^*\)algebras; we shall show in Paragraph 2.1.8 that this is equivalent to our definition.) An important feature of the quantum Hall effect considered by Bellissard is the presence of a homogeneous external magnetic field. In building a tightbinding approximation for such a system, one imposes a lattice spacing on the continuum of positions in such a way that exactly one unit of magnetic flux passes through every plaquette. This leads to a quantised magnetic cocycle \(\sigma (x,y)=\smash {e^{i(x,\mathbf By)/2}}\in \mathrm U(1)\) with \(B_{\mu \nu }\in \mathbb {R}\).
Mathematically, there is no obstruction to incorporating such a cocycle into the definition of the algebra \(\mathrm A\) in our present context. The situation is different for the case of the real algebra \({\mathbb {A}}\): One needs to replace \(\sigma \) by the real cocycle
In addition, this needs to be central, so one has to constrain the units \(B_{\mu \nu }\) of magnetic flux per plaquette to integer multiples of \(2\pi \), trivialising the cocycle. Thus, it is not possible to introduce a homogeneous magnetic field in the case of real symmetries.
This is not a serious limitation: Although magnetic fields can occur in the real symmetry classes \(D\) (corresponding to gapped superconductors or superfluids with no symmetries) and \(C\) (corresponding to such with fermions of spin \(\tfrac{1}{2}\) and \(\mathrm {SU}(2)\) spinrotation symmetry), they are far from homogeneous; in fact, in the socalled vortex phase they admit magnetic fields as some pattern of magnetic flux tubes.
Furthermore, a quantised magnetic cocycle, even if it can be treated mathematically, would only be of minor relevance for the physics of the systems we consider. Indeed, in our setting, the lattice \(\varLambda \) reflects the periodicity of the pattern of atomic sites. It is therefore fixed by the crystalline structure of the solid; a homogeneous magnetic field quantised perfectly in alignment with the crystalline lattice could only be achieved by finetuning. Moreover, the absence of a magnetic field should not affect the system’s topological features in an essential fashion. For instance, as was discovered by Haldane [22], the Hall conductance in the (anomalous) QHE may still be quantised even when the total magnetic flux per unit plaquette vanishes. See also [43, Corollary 5.7.2].
Referring back to our previous discussion, the space \(\varOmega \) in Definition 7 and the following lemma is the space of disorder configurations. The covariance condition in Eq. (4) encodes the notion that the bulk observables of interest are macroscopically homogeneous. We shall therefore call the real C\(^*\)algebra \({\mathbb {A}}\) the algebra of bulk observables (or bulk algebra for short). We call the C\(^*\)algebra \(\mathrm A\) the algebra of chargeconserving bulk observables. Note that if \(V\) is equipped with a quaternionic structure \(T\), then \({\mathbb {A}}^\sim :=A^V\) is a real C\(^*\)algebra.
Definition 8
(Disordered IQPV). Let \(\varOmega \) be a compact Hausdorff topological space, equipped with a right action of the lattice \(\varLambda \). Then a disordered macroscopically invariant quasiparticle vacuum (or disordered IQPV) is a real unitary \(J\in {\mathbb {A}}\) such that \(J^2=1\).
In the complex case, a disordered chargeconserving IQPV is defined to be a unitary \(J\in \mathrm A=A^{V}\) such that \(J^2=1\).
The discussion at the end of Paragraph 2.1.3 shows that a disordered chargeconserving IQPV is the same thing as a disordered IQPV \(J\) such that \([Q,J]=0\).
The bulk algebra as a crossed product
The definition of the bulk algebra \({\mathbb {A}}\)via controlled operators given above is physically wellmotivated. To derive, in Sect. 4, the sequence of C\(^*\)algebras that lies at the core of our derivation of the bulkboundary correspondence, we shall need an alternative description of \({\mathbb {A}}\) by crossed products. In the following, group elements \(g \in G\) are denoted as \(\tau _g\) when they are to be reinterpreted as generators of a C\(^*\)algebra.
Definition 9
(Crossed product\(\hbox {C}^*\)algebras). Let \(G\) be a group and \(A\) a C\(^*\)algebra. An action of \(G\) on \(A\) is a group homomorphism \(\alpha :G\longrightarrow \mathrm {Aut}(A)\); that is, \(\alpha _g\) is a \(*\)automorphism of \(A\) for every \(g\in G\), and
The crossed product C\(^*\)algebra\(A\rtimes _\alpha G\) is, by definition, the C\(^*\)algebra defined by generators \(a\in A\) and \(\tau _g\), for all \(g\in G\), and the following relations: the C\(^*\)algebraic relations of \(A\), together with
A tuple \((\pi ,U)\) consisting of a nondegenerate \(*\)representation \(\pi :A\longrightarrow {{\,\mathrm{{\mathscr {L}}}\,}}({\mathscr {H}})\) and a unitary representation \(U:G\longrightarrow \mathrm U({\mathscr {H}})\) on the same Hilbert space \({\mathscr {H}}\) is called a covariant pair if
By definition, the C\(^*\)algebra \(A\rtimes _\alpha G\) is universal for covariant pairs. That is, any covariant pair \((\pi ,U)\) determines a unique \(*\)representation \(\pi \rtimes _\alpha U:A\rtimes _\alpha G\longrightarrow {{\,\mathrm{{\mathscr {L}}}\,}}({\mathscr {H}})\) such that
Remark 7
C\(^*\)algebras defined by generators and relations are introduced and thoroughly discussed by Blackadar [11].
Twisting cocycles can be included in the definition of the crossed product, see [16]. The first two relations have to be modified to
By [16, Theorem 3.3], the C\(^*\)algebra defined by the above relations is the enveloping C\(^*\)algebra of the Banach \(*\)algebra \(L^1(A,G;\alpha ,\sigma )\) introduced by Busby–Smith.
Before we construct examples of group actions relevant to our applications, let us see how to incorporate real structures.
Definition 10
(Real structures on crossed products). Let \(G\) be a group and \(\alpha \) an action on \(A\), where \((A,{\overline{\cdot }})\) is a real C\(^*\)algebra. The action is real if for every \(g\in G\), \(\alpha _g\) is a real \(*\)automorphism. In this case, we may extend the conjugation \({\overline{\cdot }}\) to one on \(A\rtimes _\alpha G\) by setting \(\overline{\tau _g}:=\tau _g\) for all \(g\in G\). A covariant pair \((\pi ,U)\) on the Hilbert space \({\mathscr {H}}\) is called real if \({\mathscr {H}}\) is a real Hilbert space, \(\pi \) is real, and \(U_g\) is real for every \(g\in G\). The \(*\)representation \(\pi \rtimes _\alpha U\) induced by a real covariant pair is real.
As before, let \(\varOmega \) be a compact Hausdorff space, equipped with a right action of \(\varLambda \). We define a real action \(\alpha \) of \(\varLambda \) on \({\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\) by
Here, \({\mathscr {C}}(\varOmega )\) is the C\(^*\)algebra of continuous functions on \(\varOmega \), equipped with complex conjugation. The same formula defines an action \(\alpha \) of \(\varLambda \) on \({\mathscr {C}}(\varOmega )\otimes \mathrm {End}(V)\).
Theorem 1
The crossed product C\(^*\)algebra \(({\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W))\rtimes _\alpha \varLambda \) is isomorphic to \({\mathbb {A}}\) as a real C\(^*\)algebra. Similarly, \(\mathrm A\cong ({\mathscr {C}}(\varOmega )\otimes \mathrm {End}(V))\rtimes _\alpha \varLambda \) as C\(^*\)algebras.
Remark 8
Although our definition of the algebras \({\mathbb {A}}\) and \(\mathrm A\) is equivalent to a crossed product, we believe that it is more natural to introduce these algebras in the fashion we have chosen. We are especially motivated to do so by our quest to develop the mathematical model from its foundations in manybody quantum mechanics, thus providing it with a sound physical meaning. Another benefit of this approach is that it can be extended to include a group \(G\) of spatial symmetries. In this case, \(\varLambda \) is the full set of atomic sites, invariant under the space group \(G\). In this case, the resulting algebra is a corner of the crossed product \(({\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W))\rtimes G\). This corner is Morita equivalent to the crossed product itself under the assumptions that at every point of \(\varLambda \), the onsite representations of the isotropy group of the \(G\)action contain all irreducible representations.
The statement of Theorem 1 is wellknown to experts and is implicit in the literature, see for example [7, Proposition 5], although full proofs are not readily available. Therefore, and because we need to refer back to it below, we give a detailed proof.
Proof of Theorem 1
We prove only the statement for \({\mathbb {A}}\); the other case is almost literally the same. Abbreviate \({\tilde{A}}:={\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\). We may equip \(\varOmega \) with a fully supported Borel probability measure \({\mathbb {P}}\) (say), so that \({\mathbb {A}}\) is realised in \({{\,\mathrm{{\mathscr {L}}}\,}}(L^2(\varOmega ,{\mathbb {P}})\otimes {\mathscr {W}})\). Define
Then by [42, Section 7.7.1], \((\pi ,R)\) is a covariant pair that is manifestly real. It thus defines a real \(*\)representation \(\varPhi :=\pi \rtimes _\alpha R\) of \({\tilde{A}}\rtimes _\alpha \varLambda \). Since \(\varLambda \) is amenable, [42, Theorems 7.7.5 and 7.7.7] shows that \(\varPhi \) is faithful.
We claim that the image of \(\varPhi \) lies in \({\mathbb {A}}\). By the definitions, \(\varPhi (\tau _x)_\omega \) and \(\varPhi (f)_\omega \) are controlled for any \(x\in \varLambda \), \(f\in {\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\), and \(\omega \in \varOmega \). Hence, \(\varPhi (a)_\omega \in C^*_u(\varLambda ,W)\) for any \(a\in {\tilde{A}}\rtimes _\alpha \varLambda \). To check the covariance condition, we compute
Similarly, we have
This shows that \({{\,\mathrm{\mathrm {im}}\,}}\varPhi \subseteq {\mathbb {A}}\). We have to prove the equality.
Let \(c_0(\varLambda )\) denote the C\(^*\)algebra of null sequences indexed by \(\varLambda \). Because \(\varLambda \) is an amenable group, there is an approximate unit \((\phi _n)_{n\in \mathbb {N}}\) for \(c_0(\varLambda )\) consisting of finitely supported functions of positive type [46, Lemma 11.19]. We may suppose that \(\phi _n(0)=1\). For every \(n\), there is a finitedimensional Hilbert space \({\mathscr {H}}_n\), a unitary representation \(\pi _n\) of \(\varLambda \) on \({\mathscr {H}}_n\), and a unit vector \(\xi _n\in {\mathscr {H}}_n\) such that for \(x\in \varLambda \).
Let \((\xi _n^i)\) be an orthonormal basis of \({\mathscr {H}}_n\). Set
so that \(f_n^i\) is bounded on \(\varLambda \). For \(T\in {{\,\mathrm{{\mathscr {L}}}\,}}({\mathscr {W}})\), we define
where \(M_f\) is multiplication by \(f\). Observe that
In particular, \(S_n(1)=1\), as \(\phi _n(0)=1\). It is clear that \(S_n\) is completely positive, cf. [46, Lemma 11.17], and in particular positive. Hence \(S_n\leqslant S_n(1)=1\), that is, \(S_n\) is a contraction. Since \(S_n\) leaves controlled operators invariant, it leaves \(C^*_u(\varLambda ,W)\) invariant.
Let \(T\in {\mathbb {A}}\). We set \(S_n(T)_\omega :=S_n(T_\omega )\). Since \(S_n\) commutes with \(u_x\) for any \(x\), this defines \(S_n(T)\in {\mathbb {A}}\). Let \(\varepsilon >0\) be arbitrary. Because \(\varOmega \) is compact, there exist a finite \(J\), points \(\omega _j\in \varOmega \), \(j\in J\), and open neighbourhoods \(U_j\subseteq \varOmega \) of \(\omega _j\) covering \(\varOmega \) such that
There exist a constant \(R>0\) and \(R\)controlled operators \(T_j\in C^*_u(\varLambda ,W)\) such that
By [46, Lemma 4.27], there is a constant \(C_R>0\) depending only on \(R\) such that
Since \(\phi _n\) converges to \(1\) uniformly on \(\{\cdot \leqslant R\}\), there is an \(N\in \mathbb {N}\) such that for all \(n\geqslant N\) and all \(j\in J\), the righthand side is \(\leqslant \frac{\varepsilon }{3}\).
If now \(n\geqslant N\) and \(\omega \in \varOmega \), then there is some \(j\) such that \(\omega \in U_j\). It follows that
so \(S_n(T)\) converges to \(T\) in \({\mathbb {A}}\). Since \({{\,\mathrm{\mathrm {im}}\,}}\varPhi \) is closed, it suffices to show that \(S_n(T)\in {{\,\mathrm{\mathrm {im}}\,}}\varPhi \).
For any \(n\in \mathbb {N}\) and \(y\in {{{\,\mathrm{\mathrm {supp}}\,}}}(\phi _n)\), define \(f_{n,y}\in {\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\) by
Then we compute
Thus, \(\varPhi \) is surjective. As we already know that \(\varPhi \) is injective, this proves the theorem.
\(\square \)
Symmetries, PseudoSymmetries, and Bulk Invariants
Quasiparticle vacua with symmetries
Our mission is to study symmetryprotected topological (or SPT) phases of disordered free fermions. While such phases constitute a rather large class, a manageable and especially interesting subclass is the one given by the classification scheme of the Tenfold Way [24]. In that scheme, one starts from the Nambu space of fields equipped with the CAR form and at most two distinguished antiunitary operations, namely timereversal and/or particlehole symmetry. The setting also allows for an arbitrary group \(G_0\) of unitary symmetries. The classification statement of the Tenfold Way then is that, upon projecting Nambu space to any isotypical component of irreducible \(G_0\)representations, one invariably ends up with a reduced space that is of one of 10 types known as the AZ (or CAZ) classes [1]. The early work [33, 48] on freefermion SPT phases focused on precisely those 10 types or symmetry classes.
In trying to set up a concise description of all TenfoldWay symmetry classes in a unified \(\mathrm {C}^*\)algebraic framework, one faces the complication that several real structures coexist. Indeed, there is the Majorana or \(\gamma \)real structure and one may also have the antilinear operations of timereversal and/or particlehole symmetry in play (see also the discussion in Paragraph 3.1.5 and following). How can one then avoid a cumbersome casebycase treatment? It was Kitaev [33] who first put forth the good scheme to use: adopting the universal real structure offered by the real space of Majorana fields, he implements the antilinear symmetries as part of a Clifford algebra of complex linear (!) generators. That scheme was worked out in systematic detail by Kennedy–Zirnbauer [32], and our first step here is to adapt their Blochbundle picture to the \(\mathrm {C}^*\)algebraic setting for systems with disorder.
Onsite symmetries
Our bare algebraic framework is enriched by symmetry operations that act on the Nambu space \({\mathscr {W}}=\ell ^2(\varLambda )\otimes W\) or rather, as onsite symmetries, on \(W\). These operations are linear or antilinear endomorphisms of \(W\) that, if present, constrain our Hamiltonians. With the exception of particlehole symmetry, all of them are initially defined on the singleparticle Hilbert space \({\mathscr {V}}=\ell ^2(\varLambda )\otimes V\), or actually, on the onsite Hilbert space \(V\). Given that origin, they all turn into operators on \(W\) by a canonical procedure: second quantisation takes an operator on \({\mathscr {V}}\) to an operator on the Fock space \(\bigwedge ({\mathscr {V}}_+\oplus {\mathscr {V}}_^*)\). The latter then determines a (“dequantised”) operator on \({\mathscr {W}}\) by the commutator or adjoint action, cf. Sect. 2.1.
The first symmetry we wish to consider is time reversal, \(T\). On electrons (or any other fundamental fermions), this is an antiunitary operator such that \(T^2=1\). Put differently, time reversal is simply a quaternionic structure on \(V\), see Definition 5. The aforementioned functor of second quantisation followed by dequantisation extends \(T\) to a real antilinear endomorphism of \(W\) by \(T_{V^*} :=hTh^{1}\).
The next set of symmetries that occur on \(V\) are related to the spin rotation generators\(S_1,S_2,S_3\). For electrons (or any other fundamental fermions) carrying spin \(\tfrac{1}{2}\) these satisfy the relations
They anticommute with \(T\) (physically speaking, this is because the operation of inverting the time direction makes any motion, also that of spin, run backwards). The operators representing spin rotations are obtained by exponentiation: \(g=\mathrm {exp} (i\sum \omega _\mu S_\mu )\in \mathrm {SU}(2)=\mathrm {Spin}(3)\), with real parameters \(\omega _\mu \). To generate \(\mathrm {SU}(2)\) over the real numbers, we set \(j_\mu :=iS_\mu \), so that
Overriding physics conventions, we still refer to the \(j_\mu \) as spin rotation generators. Our quantisation functor yields \(\smash {j_\mu _{V^*}:=hj_\mu h^{1}}\). Note that the \(j_\mu \) commute with \(T\).
There are two remaining symmetries in our picture. The first of them is \(iQ\), which we met earlier as the charge operator \(Q= i^{1}d\rho (i{\mathscr {Q}})\). The \(\gamma \)real operator \(iQ\) generates the \(\mathrm U(1)\) symmetry group underlying the law of charge conservation. Recall our above observation, in Paragraph 2.1.3, that an operator on \(W\) commutes with \(Q\) if and only if it leaves \(V\) and \(V^*\) invariant. It follows that \(T\) anticommutes with \(iQ\), and that the \(j_\mu \), \(\mu =1,2,3\), commute with \(iQ\).
Finally, we consider the particlehole symmetry\(C\) on \(W\). Recall from Sect. 2.1 that the Fock space \(\bigwedge \) of the manyparticle system was built from the Hilbert space \({\mathscr {V}}_+\oplus {\mathscr {V}}_^*\), where \({\mathscr {V}}_+=\ell ^2(\varLambda )\otimes V_+\) and \({\mathscr {V}}_=\ell ^2(\varLambda )\otimes V_\) are the subspaces harbouring the conduction and the valence states, respectively. A special situation that may occur is that the conduction and valence spaces are in bijection via an operator
which exchanges the conduction and valence states and anticommutes with the firstquantised Hamiltonian \({\mathsf {H}}\). In principle, \(S\) may be linear or antilinear. For example, for Dirac fermions one knows the operation of charge conjugation\(\psi \longmapsto i\gamma ^2{\overline{\psi }}\) (using the standard physics notation for \(\gamma \)matrices, not to be confused with our choice of real structure). Charge conjugation is complex antilinear in first quantisation (and, perhaps confusingly, complex linear after second quantisation) and anticommutes with the Dirac Hamiltonian in the absence of electromagnetic fields. Yet, in the condensed matter physics of nonrelativistic electrons, there is no such thing as the relativistic charge conjugation operator. However, what may exist in that setting is a sublattice (or “chiral”) operation \(S:\psi _A+\psi _B\longmapsto \psi _A\psi _B\), which is complex linear.
In keeping with our use of the tightbinding approximation, we assume the operator \(S\) to be realised on \(V=V_+\oplus V_\), so that \(S\in \mathrm U(V)\), \(S^2=1\), \([S,T]=0\), and \([S,j_\mu ]=0\), \(\mu =1,2,3\). As before, \(S\) extends to a real linear endomorphism of \(W\) by \(\smash {S_{V^*}}:=hSh^{1}\). In particular, \([S,Q]=0\) for this extension. The particlehole symmetry\(C\) is then defined by \(C:=\gamma S\); indeed, if the freefermion Hamiltonian \(H=\gamma H\gamma \) anticommutes with the sublattice operation \(S\), then \(C=\gamma S\) commutes with \(H\) and is thus a true physical symmetry. (Moreover, the manyparticle Fock vacuum \(\smash {\bigwedge ^0({\mathscr {V}}_+ \otimes {\mathscr {V}}_^*)}\) is particlehole symmetric.)
It should be stressed here that our notion of particlehole symmetry continues to make sense in the realm of interacting systems beyond the freefermion approximation. As a matter of fact, the antilinear operator \(C : {\mathscr {W}}\rightarrow {\mathscr {W}}\) lifts to a real or quaternionic structure on the manyparticle Fock space \(\bigwedge \), and the latter operation induces a real structure on the algebra of bounded manybody operators. An important example of an interacting Hamiltonian with particlehole symmetry is that of the Hubbard model.
Symmetry classes
We shall say that a Hermitian and \(\gamma \)imaginary Hamiltonian \(H\in {{\,\mathrm{{\mathscr {L}}}\,}}({\mathscr {W}})\) is in the (real) symmetry class\(s\) (where \(s=0,\ldots ,7\)) if it commutes with the symmetries indicated in Table 1. There, the symbol \(\mathrm U(1)_c\) stands for the \(\mathrm {U}(1)\) group generated by the charge operator \(iQ\), and \(\mathrm {SU}(2)_s\) denotes the \(\mathrm {SU}(2)\) group of spin rotations generated by the \(j_\mu \). We say that \(H\) is in the complex symmetry class\(s\) (where \(s=0,1\)) if it commutes with the symmetries indicated in Table 2.
Note that if the Hamiltonian preserves charge, i.e. commutes with \(Q\), then we may reduce it to its firstquantised form on \({\mathscr {V}}\).
Although our symmetryclass tables look different from those widely cited and used in the literature [33, 48], they lead to mathematically equivalent results. What we follow here is the assessment of Kennedy–Zirnbauer [32] that, at the level of setting the foundations, all declarations of symmetry should conform to the principle that true physical symmetries commute with the Hamiltonian (never do they anticommute). One benefit from adhering to that strict notion of symmetry is that our framework directly extends to systems with electronelectron interactions. Indeed, all our symmetries \(X\) make immediate sense at the interacting manyparticle level (actually, as we have indicated, they descend from their secondquantised ancestors \({\mathscr {X}}\) by the transfer to Nambu space), and they constrain the symmetryallowed Hamiltonians by \({\mathscr {X}}{\mathscr {H}}=+{\mathscr {H}}{\mathscr {X}}\) (never by \({\mathscr {X}}{\mathscr {H}}={\mathscr {H}}{\mathscr {X}}\)). The relation of the present scheme to that of Schnyder–Ryu–Furusaki–Ludwig [48] is reviewed in the appendix to this section.
Remark 9
The terminology for symmetry classes was introduced by Altland–Zirnbauer [1] in their work on disordered free fermions in mesoscopic systems, especially superconductors. The labels (\(D\), \(D\mathrm {I\!I\!I}\), etc.) used in that context refer to the Cartan–Killing classification of Riemannian symmetric spaces. Let us emphasise that we use the (C)AZ terminology precisely as intended by its pioneers, namely for the case with disorder, and please be warned that much of the recent literature has taken to (ab)using that terminology for translationinvariant systems without disorder.
Pseudosymmetries
Some of the physical symmetries we consider are linear, while others are antilinear. Given a symmetry \(g\) that commutes with the gapped Hamiltonian \(H\), whether \(g\) commutes or anticommutes with the corresponding IQPV \(J=i\mathrm {sign}(H)\) depends on whether \(g\) is linear or antilinear. Since we are interested primarily in ground states rather than Hamiltonians, our description of symmetry classes of IQPV would not be smooth if done in terms of the original symmetries. This situation is resolved by the concept of pseudosymmetries advertised by Kennedy–Zirnbauer [32].
Following Kitaev [33] they organise the symmetry classes of translationally invariant freefermion ground states by assigning, to each of the sets of symmetries in Table 1, which commute with \(H\), a set of \(s\) operators \(J_1,\ldots ,J_s\), called pseudosymmetries, which anticommute with the IQPV \(J\). Here, \(s\) denotes the numerical label in the table. Besides anticommuting with \(J\), the pseudosymmetries define a real \(*\)representation of a Clifford algebra. To make this precise, we recall the following standard definition.
Definition 11
(Clifford algebras). Let \({\mathbb {C}}\ell _{r,s}\) be the universal C\(^*\)algebra with unitary generators \(k_1,\ldots ,k_r,j_1,\ldots ,j_s\) and relations
This is the familiar Clifford algebra with \(r\) positive and \(s\) negative generators.
We define an antilinear involution \({\overline{\cdot }}\) on \({\mathbb {C}}\ell _{r,s}\) by declaring all of the generators \(k_a,j_\alpha \) to be fixed by it. The resulting real C\(^*\)algebra \(({\mathbb {C}}\ell _{r,s},{\overline{\cdot }})\) will be denoted by \(C\ell _{r,s}\).
Remark 10
With the terminology introduced in Definition 11, any collection of real unitaries \(K_1,\ldots ,K_r,J_1,\ldots ,J_s\) on \(W\) such that
determines a unique real \(*\)morphism \(C\ell _{r,s}\longrightarrow \mathrm {End}(W)\)via\(k_a\longmapsto K_a\) and \(j_a\longmapsto J_\alpha \), and vice versa. Similarly, a set of unitaries on \(V\) satisfying the relations in Equation (6) amount to the same data as a \(*\)morphism \({\mathbb {C}}\ell _{r,s}\longrightarrow \mathrm {End}(V)\).
Let us now review the Kennedy–Zirnbauer construction briefly. When \(0\leqslant s\leqslant 3\), we may define a set \(J_1,\ldots ,J_s\) of anticommuting real unitaries on \(W\) by
When \(s\geqslant 4\), we amplify \(W\) to \(W\otimes \mathbb {C}^2\), giving \(\mathbb {C}^2\) its canonical real structure \({\mathbb {R}}^2 \subset \mathbb {C}^2\), and we define
In particular, this redefines \(J_1,\ldots , J_3\). We obtain a set \(J_1,\ldots ,J_s\) of \(s\) anticommuting real unitaries on \(W\otimes \mathbb {C}^2\).
For \(0\leqslant s\leqslant 3\), \(H\) commutes with the corresponding symmetries in Table 1 if and only if \(J\) anticommutes with \(J_1,\ldots ,J_s\). For \(s\geqslant 4\), \(H\) commutes with the corresponding symmetries if and only if \(J\otimes \sigma _x\) anticommutes with \(J_1,\ldots ,J_s\). Therefore, and motivated by [32, Definition 2.4], we pose the following definition.
Definition 12
(Disordered IQPV with symmetries). A disordered IQPV of symmetry index\((r,s)\) (or simply of index\((r,s)\)) is a tuple \((J;K_1,\ldots ,K_r,J_1,\ldots ,J_s)\) where \(J\in {\mathbb {A}}\) is a disordered IQPV and \((K_1,\ldots ,K_r,J_1,\ldots ,J_s)\) define a real \(*\)representation \(\phi :C\ell _{r,s}\longrightarrow \mathrm {End}(W)\) such that
If \(r=0\) and \(0\leqslant s\leqslant 7\), then we also call this a disordered IQPV of symmetry class\(s\). We shall also refer to it by the Cartan–Killing label in Table 1. (For instance, “\(J\) is a disordered IQPV of class \(D\).”) We call the \(J_\alpha \)negative and the \(K_a\)positive pseudosymmetries of \(J\).
Similarly, a disordered IQPV of complex symmetry index\((r,s)\) consists of a disordered chargepreserving IQPV \(J\in \mathrm A\) and \(K_a,J_\alpha \in \mathrm {End}(V)\) defining a \(*\)representation of \(\mathbb {C}\ell _{r,s}\) such that Eq. (10) holds; we call these \(K_a,J_\alpha \)complex pseudosymmetries. For \(r=0\) and \(s=0,1\), we say that \((J;J_\alpha )\) are in complex symmetry class\(s\).
Remark 11
In view of the correspondence between operators \(K_a,J_\alpha \) and Clifford representations \(\phi \), we will interchangeably write a disordered IQPV of a given (complex) symmetry index as \((J;\phi )\) where \(\phi \) is the \(*\)morphism representing the (complex) pseudosymmetries.
The discussion at the end of Paragraph 2.1.3 shows that a disordered IQPV of complex symmetry index \((r,s)\) is the same as a disordered IQPV of symmetry index \((r,s)\) with the additional property that both \(J\) and the \(K_a,J_\alpha \) commute with \(Q\).
Background on Clifford algebras
In this section, we collect some background results on Clifford algebras. These will explain several delicate but important points in our classification scheme for IQPV with pseudosymmetries.
One background fact is the \(\mathrm {mod}\,8\)periodicity of Clifford algebras (resp. the \(\mathrm {mod}\,2\) periodicity of complex Clifford algebras); this explains why we consider “real” symmetry classes \(s\) where \(s=0,\ldots ,7\) (resp. “complex” symmetry classes indexed by \(s=0,1\)). Another one is the quaternion periodicity of Clifford algebras, which explains the symmetry between the “real” cases \(0\leqslant s\leqslant 3\) and \(4\leqslant s\leqslant 7\). Yet another point is that up to equivalence and multiplicity, the symmetry class labelled by \(s\) is determined by \(s\) and does not depend on the choice of the operators \(J_\alpha \). This is related to the classification of Clifford representations. Finally, we will review the Clifford \((1,1)\) periodicity, which is not only at the basis of the other periodicity results, but also fundamental for our construction of boundary invariants. For the remaining discussion, we introduce the notion of a grading.
Definition 13
(Graded real\(\hbox {C}^*\)algebras). A grading on a \(*\)algebra \(A\) is a decomposition \(A=A_{{\bar{0}}}\oplus A_{{\bar{1}}}\), where \(\mathbb {Z}/2\mathbb {Z}=\{{{\bar{0}}},{{\bar{1}}}\}\), into closed subspaces such that
When equipped with a grading, \(A\) is called a graded\(*\)algebra. Elements of \(A_{{\bar{0}}}\) are called even, while those of \(A_{{\bar{1}}}\) are called odd. Nonzero elements \(a\) in either of these summands are called homogeneous; in this case, \(a\) denotes the parity, \({{\bar{0}}}\) if \(a\) is even and \({{\bar{1}}}\) if \(a\) is odd. If \(A\) is a C\(^*\)algebra, then we suppose in addition that \(A_i\), \(i={{\bar{0}}},{{\bar{1}}}\), are closed; \(A\) is then called a graded C\(^*\)algebra. A map of graded \(*\)algebras is called even if it preserves the grading. If \((A,{\overline{\cdot }})\) is a real \(*\)algebra equipped with a grading, then it is called a graded real\(*\)algebra if the conjugation is even. A graded real \(*\)algebra that is also a graded C\(^*\)algebra is called a graded real C\(^*\)algebra.
For graded \(*\)algebras \(A\) and \(B\), the algebraic tensor product \(A\odot B\) is graded by
If \(A\) and \(B\) are real, then so is \(A\odot B\). If \(A\) and \(B\) are graded (real) C\(^*\)algebras, then the grading on \(A\odot B\) extends to the spatial tensor product \(A\otimes B\), turning it into a graded (real) C\(^*\)algebra.
A different object altogether is the graded tensor product. If \(A\) and \(B\) are graded \(*\)algebras, then the algebraic tensor product \(A\odot B\) carries a new algebra structure and involution induced by
for homogeneous \(a,a'\in A\), \(b,b'\in B\), defining the graded algebraic tensor product\(A\mathop {\widehat{\odot }}B\), not isomorphic to \(A\odot B\) in general. It is real if so are \(A\) and \(B\). If \(A\) and \(B\) are graded (real) C\(^*\)algebras, then there is a natural C\(^*\)norm on \(A\mathop {\widehat{\odot }}B\). By completing \(A\mathop {\widehat{\odot }}B\) with respect to that norm, one obtains a graded (real) C\(^*\)algebra \(A\mathop {{\widehat{\otimes }}}B\) [10, §14.4] called the graded tensor product. We will denote the image of an elementary tensor \(a\otimes b\) in \(A\mathop {\widehat{\otimes }}B\) by the same symbol \(a \otimes b\).
Any (real) C\(^*\)algebra can be considered as a graded (real) C\(^*\)algebra with the trivial grading, in which every element is even. In particular, we will usually consider the matrix algebras \(M_n(\mathbb {C})\) as trivially graded and with the componentwise conjugation. The real C\(^*\)algebra \({\mathbb {H}}_\mathbb {C}\) will also be considered as ungraded. On the Clifford algebra \(C\ell _{r,s}\), one considers the grading that is determined by letting the generators \(k_a,j_\alpha \) be odd.
We now collect some periodicity results on Clifford algebras, cf. [4, §4]. Basic to all of the relations between Clifford algebras explained here is the fact that
as graded real C\(^*\)algebras. The following is straightforward.
Proposition 3
(Clifford (1,1) periodicity). There is an isomorphism of real C\(^*\)algebras \(C\ell _{1,1}\longrightarrow M_2(\mathbb {C})\), defined on generators by
If we grade \(M_2(\mathbb {C})\) by
then this isomorphism is even. In particular, we have (1,1)periodicity:
Recall the following result [4, Proposition 4.2].
Proposition 4
(Atiyah–Bott–Shapiro). There are isomorphisms of graded real C\(^*\)algebras
induced respectively by
and
Note that above, we consider the ungraded tensor product.
From Eq. (3), it is easy to see that \(C\ell _{0,2}\cong {\mathbb {H}}_\mathbb {C}\) as ungraded real C\(^*\)algebras. Similarly, there is an isomorphism \(C\ell _{2,0}\cong M_2(\mathbb {C})\) of ungraded real C\(^*\)algebras, induced by the assignments \(k_1\longmapsto \sigma _z\) and \(k_2\longmapsto \sigma _x\). From this, one deduces (cf. [4, §4]) isomorphisms of ungraded real C\(^*\)algebras
Since \({\mathbb {H}}_\mathbb {C}\otimes {\mathbb {H}}_\mathbb {C}\cong M_4(\mathbb {C})\) as real C\(^*\)algebras, it follows that
as ungraded real C\(^*\)algebras. A similar argument also shows \(C\ell _{8,0}\cong M_{16}(\mathbb {C})\) as ungraded real C\(^*\)algebras. Together, these isomorphisms are the famous \(\mathrm {mod}\,8\) periodicity of Clifford algebras [4, Table 1]. Disregarding the real structure, we have \(M_2(\mathbb {C})={\mathbb {H}}_\mathbb {C}\); hence, we obtain the isomorphism of (ungraded) C\(^*\)algebras
This is the \(\mathrm {mod}\,2\) periodicity of complex Clifford algebras. Summarising, the 8 (real) symmetry classes and 2 complex symmetry classes of the Tenfold Way are reflected in the classification of Clifford algebras.
From the above, we also deduce the following isomorphism:
which reflects the symmetry between the symmetry classes indexed by \(0\leqslant s\leqslant 3\) and \(4\leqslant s\leqslant 7\), respectively. Using periodicity, it is possible to compute \(C\ell _{0,s}\) in all cases. We reproduce the result from [4, Table 2].
Proposition 5
If \(s\not \equiv 3\,(4)\), then \(C\ell _{0,s}\) is simple as a real C\(^*\)algebra. Moreover, any two finitedimensional real \(*\)representations are unitarily equivalent, provided only that they have the same dimension.
Proof
Simplicity is clear from Table 3. Any finitedimensional real \(*\)representation is the direct sum of irreducible representations, and hence, a multiple of the unique isomorphism class of irreducible real \(*\)representation. \(\quad \square \)
The situation for \(s=3\,(4)\) is different in that there exists a central element \(\omega =j_1\cdots j_s\) with \(\omega ^2=+1\). The following statement may be found in [36, Chapter 1, Propositions 5.9 and 5.10] in a slightly different form.
Proposition 6
Let \(s\equiv 3\,(4)\) and set \(\omega :=j_1\cdots j_s\). There are up to unitary equivalence exactly two irreducible real \(*\)representations \(\phi \) of \(C\ell _{0,s}\), and they are distinguished by \(\phi (\omega )=1\) and \(\phi (\omega )=1\), respectively.
Any finitedimensional real \(*\)representation \((W,\phi )\) of \(C\ell _{0,s}\) extends to a real \(*\)representation of \(C\ell _{0,s+1}\) if and only if the eigenvalues \(\pm 1\) of \(\phi (\omega )\) have equal multiplicity. In this case, the unitary equivalence class of \((W,\phi )\) and indeed of its extension to \(C\ell _{0,s+1}\) is uniquely determined by the dimension of \(W\).
Proof
The first part is immediate from Schur’s lemma. In particular, the unitary equivalence class of any finitedimensional real \(*\)representation \((W,\phi )\) of \(C\ell _{0,s}\) is determined by the multiplicity of the eigenvalues \(\pm 1\) of \(\phi (\omega )\).
Assume that in the representation \((W,\phi )\), \(W_\pm :=\ker (\phi (\omega )\mp 1)\) have equal dimension. There is an automorphism \(\varGamma \) of \(C\ell _{0,s}\), defined by
Then \(\varGamma (\omega )=\omega \). It follows that \(\phi _+\circ \varGamma \) and \(\phi _\) are unitarily equivalent, where \(\phi _\pm \) is the restriction of \(\phi \) to \(W_\pm \). Hence, there is a real unitary isomorphism \(u:W_+\longrightarrow W_\) such that
We may define
This defines the required extension.
Conversely, let \((W,\phi )\) be a real \(*\)representation of \(C\ell _{0,s+1}\). Because \(\phi (\omega _s)\) anticommutes with \(\phi (j_{s+1})\), the eigenvalues of \(\phi (\omega _s)\) have equal multiplicity. The statement about uniqueness is obvious from Proposition 5, as \(s+1\equiv 0\,(4)\). \(\quad \square \)
Remark 12
In any given symmetry class labelled by \(s\), we shall assume a reference disordered IQPV \(J_\mathrm {ref}\in {\mathbb {A}}\) with \(s\) negative pseudosymmetries \(J_1,\ldots ,J_s\in \mathrm {End}(W)\). Physically speaking, \(J_\mathrm {ref}\) represents the “trivial” topological phase. If \(J_\mathrm {ref}\) is “atomic” or local in the strong sense that \(J_\mathrm {ref}\in \mathrm {End}(W)\), then by Propositions 5 and 6, the real Clifford \(*\)representation defined by \(J_1,\ldots ,J_s\) is determined up to unitary equivalence by \(\dim W\).
We now discuss casebycase what it means for \(J\) to be in one of the symmetry classes \(s=0,\ldots ,7\), in terms of the physical symmetries introduced in Paragraph 3.1.1. We will in particular use the notation from Eqs. (7–9). However, the construction of both the bulk and the boundary classes, given in Sect. 3.3 and in Sect. 4, will be independent of this casebycase discussion and will rely solely on the description in terms of pseudosymmetries.
Class \(D\mathrm {I\!I\!I}\), \(s=1\)
In this case, \(V\) carries a timereversal operator or quaternionic structure\(T\) (see Definition 5). That is, \(T\) is antiunitary and \(T^2=1\). We assign to \(T\) the real unitary \(J_1=J_T=\gamma T\).
Recall that the skewHermitian unitary \(J\) anticommutes with the pseudosymmetry \(J_T\). Thus \(J\) exchanges the two eigenspaces \(W_\pm = \mathrm {ker}(J_T \mp i)\) and takes the form
with respect to the decomposition \(W=W_+\oplus W_\). Now \(J=J^*\) is also real or, equivalently, skew (w.r.t. the CAR form). By the algebraic properties of \(J_T\), the CAR form restricts to a nondegenerate bilinear form \(W_+\otimes W_\longrightarrow \mathbb {C}\). The resulting identification \(W_\cong W_+^*\) lets us interpret \(u\in \mathrm {Hom}(W_+,W_)\cong \mathrm {Hom}(W_+,W_+^*)\) as a bilinear form on \(W_+\). The skewness of \(J\) then implies skewness of \(u\). Thus, any disordered IQPV of class \(D\mathrm {I\!I\!I}\) corresponds to a unitary and skewsymmetric bilinear form on \(W_+\). Such forms constitute a symmetric space \(\mathrm {U}/\mathrm {Sp}\), which is of Cartan–Killing type \(A\mathrm {I\!I}\).
Class \(A\mathrm {I\!I}\), \(s=2\)
Here, in addition to the time reversal \(T\), we consider the charge operator \(Q\in \mathrm {End}(W)\) and \(J_2:=J_Q:=iJ_TQ\). The following lemma will help to describe the situation.
Lemma 2
Let \(x_1,x_2\in \mathrm {End}(W)\subseteq {\mathbb {A}}\) be two anticommuting real skewHermitian unitaries. Then \((W^\sim ,T)\), where \(W^\sim :=\ker (x_2x_1i)\) and \(T:=\gamma x_2\), is a quaternionic vector space. There is an isomorphism \((W,\gamma )\cong (W^\sim \otimes \mathbb {C}^2,T\otimes \mathfrak c)\) of real vector spaces such that under the induced isomorphism of real C\(^*\)algebras
we have \(x_1\longmapsto 1\otimes i\sigma _x\) and \(x_2\longmapsto 1\otimes i\sigma _y\). Under the isomorphism, real unitaries \(J\in {\mathbb {A}}\) anticommuting with \(x_1\) correspond to operators \(y_1\otimes i\sigma _y+y_2\otimes i\sigma _z\) where \(y_1,y_2\in {\mathbb {A}}^\sim \) are real Hermitian elements such that
Proof
Let \(x_3:=x_2x_1\in \mathrm {End}(W)\). Then \(x_3\) is a real skewHermitian unitary that anticommutes with \(x_1\) and \(x_2\). Setting \(W^\pm :=\ker (x_3\mp i)\), we obtain a splitting \(W=W^+\oplus W^\) with respect to which
The map \(u:W^+\longrightarrow W^\) is a unitary isomorphism, and so is
We compute
Since the antiunitary map \(\gamma x_2\) anticommutes with \(x_3\), it leaves \(W^+\) invariant. We let \(T:=\gamma x_2_{W^+}\). Then \(T\) is a quaternionic structure on \(W^\sim :=W^+\) and
so that
This proves the claim. \(\quad \square \)
With the lemma above in hand, we can finish the story as follows. Under the isomorphism \(\phi :V\otimes \mathbb {C}^2\longrightarrow W\) the pseudosymmetry \(J_Q\) corresponds to
Real unitaries \(J\in {\mathbb {A}}\) anticommuting with \(J_1,J_2\) correspond under \({\mathbb {A}}\cong {\mathbb {A}}^\sim \otimes {\mathbb {H}}_\mathbb {C}\) exactly to elements of the form \(x \otimes i\sigma _z\), where \(x\in {\mathbb {A}}^\sim \) is a real Hermitian unitary.
Here, the condition that \(x\) be real is equivalent to \(Tx=xT\). Such elements \(x\) constitute a symplectic Grassmann manifold \(\mathrm {Sp}/(\mathrm {Sp}\times \mathrm {Sp})\), which is a symmetric space of Cartan–Killing type \(C\mathrm {I\!I}\).
Class \(C\mathrm {I\!I}\), \(s=3\)
Besides preserving the timereversal and charge symmetries, ground states in this symmetry class are invariant under particlehole symmetry. We have \(J_3=J_C=i\gamma CQ\). The isomorphism \(\phi \) from Lemma 2 gives
Here, we apply the decomposition \(V=V_+\oplus V_\) for \(V_\pm :=\ker (S\mp 1)\).
Similarly, a skewHermitian unitary \(J\in {\mathbb {A}}\) anticommuting with \(J_1,J_2,J_3\) acquires the shape \(x\otimes i\sigma _z\) where \(x\) is a real Hermitian unitary commuting with \(T\) and anticommuting with \(S\). Thus, \(x\) takes the form
where \(y_\omega \) is a unitary symplectic operator for every \(\omega \in \varOmega \), corresponding to the symmetric space \(\mathrm {USp}\) of type \(C\). In terms of the decomposition \({\mathbb {A}}^\sim \cong {\mathbb {A}}^\approx \otimes M_2(\mathbb {C})\), where \({\mathbb {A}}^\approx :=A^{V_+}\) is equipped by the real structure induced by \(T_{V_+}\), \(y\) is a real unitary in \({\mathbb {A}}^\approx \).
Classes \(s\geqslant 4\)
In this situation, we consider real unitaries \(J\in {\mathbb {A}}\) such that \(J\otimes \sigma _x\) anticommutes with \(J_1,\ldots , J_s\), defined as in Eqs. (8) and (9). This is equivalent to \(J\) anticommuting with the real spin rotation generators \(S_1,\ldots , S_3\) and with the first \(s4\) elements of the sequence \(J_T,J_Q,J_C\). Applying Lemma 2 with \(x_1=j_1\) and \(x_2=j_2\), we obtain
where \(W^\sim =\ker (j_3i)=\ker (S_31)\) and \({\mathbb {A}}^\sim =A^{W^\sim }\). Under the isomorphism,
where \(j_T,j_Q,j_C\in \mathrm {End}(W^\sim )\) are anticommuting real skewHermitian unitaries. The operator \(J\) corresponds to a real skewHermitian unitary \(j\in {\mathbb {A}}^\sim \) anticommuting with the first \(s4\) of \(j_T,j_Q,j_C\). In this sense, the symmetry classes for \(s\geqslant 4\) reduce to the symmetry classes for \(0\leqslant s\leqslant 3\). The only difference is that the real structure on \({\mathbb {A}}^\sim \) comes from a quaternionic structure on \(W^\sim \) rather than from a real structure.
The SRFL scheme
In the literature, symmetries are often organised according to a scheme introduced by Schnyder–Ryu–Furusaki–Ludwig [48], which is different from the approach of Kennedy and Zirnbauer that we follow. We speak of the SRFL scheme. It is based on two antiunitary endomorphisms \(\varTheta ,\varXi :V\longrightarrow V\) and a unitary operator \(\varPi \) proportional to \(\varXi \varTheta \). The following relations are assumed:
In the literature, \(\varTheta \) is called time reversal, \(\varXi \) is called particlehole conjugation, and \(\varPi \) the chiral or sublattice symmetry. As we have already reserved these expressions for certain physical symmetries with potentially different commutation relations, we will not use this terminology in the present section.
According to the SRFL scheme, a Hamiltonian is called \(\varTheta \)symmetric, \(\varXi \)symmetric, or \(\varPi \)symmetric, if respectively,
All possible combinations of the presence or absence of these symmetries are summarised in (Table 4). Here, an entry \(0\) means that the corresponding symmetry is absent, whereas a nonzero entry \(\pm 1\) indicates that the symmetry is present; in this case, the entry equals the square of the corresponding symmetry operator.
Class \(D\)
The only restriction here is that a flatband Hamiltonian \(H\) anticommutes with the real structure \(\gamma \) on \(W\). Hence, if we set \(\varXi :=\gamma \), then \(\varXi ^2=1\) and any \(\varXi \)symmetric Hamiltonian gives rise to an IQPV of class \(D\).
Class \(D\mathrm {I\!I\!I}\)
Here, a timereversal symmetry \(T\) on \(V\), \(T^2=1\), is present, and extended to \(W\) as usual. We may set \(\varXi :=\gamma \), \(\varTheta :=T\), and \(\varPi :=i\varTheta \varXi \). Then \(\varTheta ^2=1\), \(\varXi ^2=1\), and \(\varPi ^2=1\), and any \(H\) that is symmetric for \(\varTheta \), \(\varXi \), and \(\varPi \) gives rise to an IQPV of class \(D\mathrm {I\!I\!I}\).
Class \(A\mathrm {I\!I}\)
In this class we have the symmetries \(T\) and \(iQ\). As explained in 3.1.6, a IQPV of class \(A\mathrm {I\!I}\) is the same as an operator \(x\) on \(V\), \(x^2=1\), which commutes with \(T\). Hence, if we set \(\varTheta :=T\), then \(\varTheta ^2=1\) and any \(\varTheta \)symmetric flatband Hamiltonian \(H\) determines an IQPV of class \(A\mathrm {I\!I}\)via\(x:=H\).
Class \(C\mathrm {I\!I}\)
In addition to the previous symmetries, the particlehole symmetry \(C\) is present and given by \(C=\gamma S\) where \(S\) is linear, \(S^2=1\), and \([S,T]=0\). As explained in 3.1.7, an IQPV of class \(C\mathrm {I\!I}\) is the same as an operator \(x\), \(x^2=1\), on \(V\), such that \(Tx=xT\) and \(Sx=xS\). We may set \(\varTheta :=T\), \(\varPi :=S\), \(\varXi :=\varTheta \varPi \). Then \(\varTheta ^2=1\), \(\varPi ^2=1\), \(\varXi ^2=1\), and any flatband Hamiltonian \(H\) symmetric for \(\varTheta \), \(\varXi \), and \(\varPi \) determines an IQPV of class \(C\mathrm {I\!I}\)via\(x:=H\).
Classes \(s\geqslant 4\)
For \(s\geqslant 4\), the generators \(S_1,S_2,S_3\) of spin rotation induce an isomorphism \(W\cong W^\sim \otimes \mathbb {C}^2\) and a splitting \({\mathbb {A}}=A^{\smash {W^\sim }}\otimes {\mathbb {H}}_\mathbb {C}\), as explained in 3.1.8. In this splitting, \(\gamma \) corresponds to \(T\otimes \mathfrak c\) where \(T\) is a quaternionic structure on \(W^\sim \) and \(\mathfrak c\) the standard quaternionic structure on \(\mathbb {C}^2\).
As we have seen, IQPV of class \(s\geqslant 4\) correspond to operators \(j\in A^{W^\sim }\) commuting with \(T\) such that \(j^2=1\) and \(j\) anticommutes with the first \(s4\) of the operators \(j_T\), \(j_Q\), and \(j_C\), corresponding to \(J_T\), \(J_Q\), and \(J_C\), respectively. We may proceed as above, with \(T\) playing the role of \(\gamma \), to establish the correspondence in all real symmetry classes.
Complex class \(A\)
The complex classes are those where both \(J\) and the group of symmetries commute with \(Q\). As we have noted, this implies that \(J\) and any other symmetries present leave \({\mathscr {V}}\) invariant and are determined by their restriction to this space. In class \(A\), there are no further symmetries present, so the Hamiltonians \(H\) on \({\mathscr {V}}\) determine IQPV in the complex symmetry class \(A\).
Complex class \(A\mathrm {I\!I\!I}\)
In complex class \(A\mathrm {I\!I\!I}\), we have the additional symmetry \(C=\gamma S\). IQPV in this class correspond to operators on \({\mathscr {V}}\) anticommuting with \(S\). If we set \(\varPi :=S\), then \(\varPi ^2=1\), and \(\varPi \)symmetric Hamiltonians determine IQPV in the complex symmetry class \(A\mathrm {I\!I\!I}\).
From quasiparticle vacua to bulk invariants
Van Daele’s picture of \(K\)theory
There exists a plethora of different pictures for \(K\)theory, so there is a choice to be made in the construction of \(K\)theory classes attached to freefermion topological phases. We follow the guiding principle to stay as close as possible to the physical model. This leads to different pictures for \(K\)theory in the bulk and at the boundary. At the boundary, Kasparov’s Fredholm picture is the most natural option, as we shall see in Sect. 4.
In the bulk, the most natural choice is the picture due to Van Daele [52, 53], as was first observed by Kellendonk [30]. This picture is pleasantly simple, and it works for graded Banach algebras over the real and complex fields. Since Van Daele’s picture appears to be little known, we give a brief exposition for the case of (real) C\(^*\)algebras.
Definition 14
(Van Daele’s picture for real Ktheory). Let \(A\) be a unital graded real C\(^*\)algebra. An odd real Hermitian unitary in \(A\) will be called an ORHU. Let \({\mathscr {F}}(A)\) be the set of ORHU in \(A\) and \(F(A) :=\pi _0({\mathscr {F}}(A))\) the set of pathconnected components of \({\mathscr {F}}(A)\) for the topology induced by the norm. We say that two elements of \({\mathscr {F}}(A)\) are homotopic if they define the same element of \(F(A)\).
For any integer \(n\geqslant 1\), we consider the entrywise grading on \(M_n(A)=A\otimes M_n(\mathbb {C})\). We let \({\mathscr {F}}_n(A):={\mathscr {F}}(M_n(A))\) and \(F_n(A):=F(M_n(A))\) where \(M_n(A)\) has entrywise grading. For \(x\in {\mathscr {F}}_m(A)\) and \(y\in {\mathscr {F}}_n(A)\), we define
and \([x]\oplus [y]:=[x\oplus y]\in F_{m+n}(A)\).
Suppose that \({\mathscr {F}}(A)\ne \varnothing \) and choose \(e\in {\mathscr {F}}(A)\). Then \(F_n(A)\) becomes an inductive system of sets with the connecting maps \(F_n(A)\longrightarrow F_{n+1}(A):[x]\longmapsto [x]\oplus [e]\). Consider the inductive limit
Then \(F_\infty (A)\) is an Abelian monoid with the addition induced by \(\oplus \) and the unit \([e]\) [52, Proposition 2.7]. We define Van Daele’s\(KR\)group
Here, \(G()\) denotes the Grothendieck group of an Abelian monoid. In case \(A\) is a unital graded C\(^*\)algebra, we define \({\mathscr {F}}_n(A)\), \(F_n(A)\) and \({\mathscr {F}}_\infty (A)\) by dropping all the reality constraints, and we set \(DK(A):=G(F_\infty (A))\).
Remark 13
Note that up to canonical isomorphism, \(DKR(A)\) is independent of \(e\). Van Daele [52, Definition 2.1] does not impose the condition that the elements defining \({\mathscr {F}}(A)\) be Hermitian; however, this can be assumed by [52, Proposition 2.5]. If \(e\) and \(e\) are homotopic, then \(F_\infty (A)\) is an Abelian group and the canonical map \(F_\infty (A)\longrightarrow DKR(A)\) is an isomorphism [52, Proposition 2.11]. The picture of \(DKR(A)\) we introduce is due to Roe [47]; Van Daele’s original definition of \(DKR(A)\) coincides with it by [52, Proposition 3.3]. The independence of \(DKR_e(A)\) of \(e\) [52, Proposition 2.12] can be used to show that \(DKR(A)\) is functorial for unital (real) \(*\)morphisms. The definition of \(DKR(A)\) can be extended to the cases where \({\mathscr {F}}(A)=\varnothing \) and where \(A\) is nonunital [52, Section 3].
Lemma 3
Let \(A\) be a unital graded real C\(^*\)algebra and \(e\in {\mathscr {F}}(A)\) an ORHU. Let \(m\geqslant 1\) be an integer. Then the maps
where \(E_{ij}\), \(1\leqslant i,j\leqslant m\), are the standard matrix units and \(e_k=e\oplus \cdots \oplus e\) is the sum of \(k\) copies of \(e\), induce an isomorphism of Abelian groups \(DKR_e(A)\longrightarrow DKR_{e_m}(M_m(A))\).
For us, the importance of Van Daele’s group \(DKR(A)\) lies in its relation to (real) \(K\)theory, as detailed in the following theorem.
Theorem 2
(Van Daele’s picture of real Ktheory). Let \(A\) be a unital graded real C\(^*\)algebra resp. a unital graded C\(^*\)algebra. Then
Theorem 2 implies that up to isomorphism, \(DKR(A\mathop {{\widehat{\otimes }}} C\ell _{r,s})\) depends only on \(sr\pmod 8\) and \(\smash {DK(A\mathop {{\widehat{\otimes }}}{\mathbb {C}}\ell _{r,s})}\) depends only on \(sr\pmod 2\). The theorem is proved in Ref. [47, Section 2]. We give a sketch, recalling Roe’s construction, as we shall later refer to it. We will make use of Kasparov’s bivariant real \(KKR\)theory; see [10, 27, 49].
Proof of Theorem 2, sketch
Applying \((1,1)\)periodicity of \(DKR\) [47, Lemma 2.4], we may assume that \(r\geqslant 1\). Possibly replacing \(A\) by a matrix algebra, fix a reference ORHU \(e\in {\mathscr {F}}(Q^s(A)\mathop {\widehat{\otimes }}C\ell _{r1,s})\), where \(Q^s(A):=\mathrm M^s(A)/(A\mathop {\widehat{\otimes }}{\mathbb {K}})\) and \({\mathbb {K}}\) denotes the algebra of compact operators on a separable graded real Hilbert space.
It is wellknown that \(KR_{sr+1}(A)=KKR(\mathbb {C},A\mathop {\widehat{\otimes }}C\ell _{r1,s})\), see [49, Theorem 2.3.8 and remarks following Corollary 2.5.2]. It also standard [49, Proposition 2.3.5] that any class in the latter group can be represented by a cycle of the form , where \({\mathscr {H}}_A\) is the standard graded real Hilbert \(A\)module and \(x\in \mathrm M^s(A)\mathop {\widehat{\otimes }}C\ell _{r1,s}\) maps to an ORHU in \(Q^s(A)\mathop {\widehat{\otimes }}C\ell _{r1,s}\)via the canonical map \(\pi :\mathrm M^s(A)\longrightarrow Q^s(A)\).
Let \(\partial _Q\) be the connecting map for \(DKR\), defined in [53], for the short exact sequence
Because \(\mathrm M^s(A)\) is \(KR\)trivial, it is an isomorphism
The desired isomorphism
is defined by mapping the \(KKR\) class corresponding to \(x\) to \(\partial _Q([x][e])\). \(\quad \square \)
Bulk invariants attached to IQPV
We will now attach classes in the \(KR\)theory of \({\mathbb {A}}\) to any disordered IQPV with symmetries. The construction is purely algebraic and in terms of Van Daele’s picture of (real) \(K\)theory, and does not depend on the real C\(^*\)algebra \({\mathbb {A}}\). In fact, we will show that \(KR\)theory can be described entirely in terms of the algebraic relations of a disordered IQPV with pseudosymmetries.
In what follows, let \(B\) be an (ungraded) unital real C\(^*\)algebra. Suppose \(r,s\geqslant 0\) and that \((K_1,\ldots ,K_r,J_1,\ldots ,J_s)\) represent a unital real \(*\)morphism \(\phi :C\ell _{r,s}\longrightarrow B\).
Definition 15
Define commuting projections \(Q_a,P_\alpha \in B\otimes C\ell _{r,s+1}\) by
The product over all of these defines a further projection
Let \({{\,\mathrm{{\mathscr {F\!\!F}}}\,}}^{r,s}(B)\) be the set of all \(J\in B\) satisfying the algebraic relations of an IQPV of symmetry index \((r,s)\), that is
In case \(B\) is not assumed to be real, we make the same definition, dropping the reality constraints on the \(K_a\), \(J_\alpha \) and on \(J\).
Proposition 7
The assignment
defines a bijective map
If \(B\) and the \(K_a,J_\alpha \) are not assumed to be real, one has a corresponding bijection
We only give the details of the proof in the real case. It relies on the following lemma.
Lemma 4
Let \(C\) be a unital graded real C\(^*\)algebra and \(x\in C\) be an ORHU. Consider the projection \(q\in C\mathop {{\widehat{\otimes }}}C\ell _{0,1}\) defined by \(2q1=x\otimes j_1\). (Note that \(x \otimes j_1\) is Hermitian due to the appearance of the graded tensor product.) Then
Moreover, the ORHU \(y\in C\) representing an ORHU \((y\otimes 1)q\in q(C\mathop {{\widehat{\otimes }}}C\ell _{0,1})q\) is unique.
Similarly, let \(x\in C\) be an odd real skewHermitian unitary and \(p\in C\mathop {{\widehat{\otimes }}}C\ell _{1,0}\) be the projection defined by \(2p1=x\otimes k_1\). Then
where once again, the representatives \(y\) are uniquely determined.
Proof
We only prove the first statement, the proof of the second one being nearly identical. The odd elements of \(C\mathop {{\widehat{\otimes }}}C\ell _{0,1}\) are exactly those of the form
where \(y\) is odd and \(y'\) is even. Then \(z\) lies in the corner \(q(C\mathop {{\widehat{\otimes }}}C\ell _{0,1})q\) if and only if
that is, if and only if \(y'=xy=yx\). If this is the case, then \(z=(y\otimes 1)q\) and \(z\) is Hermitian if and only if \(y\) is. Finally, in that case, \(z\) is unitary in the corner if and only if
which in turn is equivalent to \(y^2=1\). By construction, \(y\) is uniquely determined by \(z\).
\(\square \)
Proof of Proposition 7
It is obvious that the \(Q_a\) and \(P_\alpha \) are indeed commuting projections. We will prove the statement by two separate inductions with respect to \(r\) and \(s\). In case \(r=s=0\), we have \(P^{0,0}=1\), and there is nothing to prove. Suppose that \(r=0\), \(s\geqslant 1\), and that the statement has been proved for \((0,s1)\) and any unital real C\(^*\)algebra \(B\). Since \(1\otimes j_{s+1}\) commutes with \(P^{0,s1}\), Eq. (11) implies that
where
Here, the \(C\ell _{0,1}\) factor on the righthand side of the former equation is generated by \(j_{s+1}\), and the \(C\ell _{0,s}\) factor on the righthand side of the latter is generated by \(j_1,\ldots ,j_s\).
Under the isomorphism in the former equation, \(J_s\otimes j_1j_{s+1}\) is mapped to \(x\otimes j_{s+1}\), where \(x:=J_s\otimes j_1\). Hence, we may apply the first part of Lemma 4 with \(C=B'\) to the righthand side of the former equation. We conclude that there is a bijection, defined by the equation \(a=bP_s\), between the
and the anticommuting with \(J_s\otimes j_1\). By the inductive assumption, the are in bijection via\(b=(J\otimes j_1)P^{0,s1}\) with the real Hermitian unitaries \(J\in B\) anticommuting with \(J_1,\ldots ,J_{s1}\). The \(b\) anticommuting with \(J_s\otimes j_1\) are in bijection with the \(J\) anticommuting with \(J_1,\ldots ,J_s\).
This proves the statement for \((0,s)\). If now \(r\geqslant 1\), then similarly
where
Here, the \(C\ell _{1,0}\) factor on the righthand side of the former equation is generated by \(k_r\), whereas the \(C\ell _{r1,s+1}\) factor in the latter is generated by \(k_1,\ldots ,k_{r1},j_1,\ldots ,j_{s+1}\). The assertion now follows by induction on \(r\), applying the second part of Lemma 4 to \(C=B''\) and \(x=(1)^sK_r\otimes j_1\). \(\quad \square \)
In order to see that the ORHU defined by Proposition 7 give classes in the correct \(K\)theory, we need the following lemma.
Lemma 5
As before, assume given a unital real \(*\)morphism \(\phi :C\ell _{r,s}\longrightarrow B\). In addition, suppose there is some \(J_{\mathrm {ref}}\in {{\,\mathrm{{\mathscr {F\!\!F}}}\,}}^{r,s}(B)\). Then the graded real C\(^*\)algebra \(B\otimes C\ell _{r,s+1}\) is isomorphic to the graded real C\(^*\)algebra of \(2^{r+s}\times 2^{r+s}\) matrices over \(P^{r,s}(B\otimes C\ell _{r,s+1})P^{r,s}\) with entrywise grading.
Proof
We will make a specific choice of isomorphism that will allow us to compute its effect on \(K\)theory. We shall index the rows and columns of \(2^{r+s}\times 2^{r+s}\) matrices by indices \(\varepsilon \) running over \(\{\pm \}^{r+s}\). Set \(Q_\alpha ^+:=Q_\alpha \) and \(Q_\alpha ^:=1Q_\alpha \), and similarly for \(P^a\). This enables us to define
The projections \(P^{r,s}_\varepsilon \) satisfy
The projections \(P^{r,s}_\varepsilon \) are all unitarily equivalent. We make a careful choice of unitaries implementing the equivalence. Observe first that
Hence, setting
we obtain
where we follow the convention \(\varepsilon \equiv \mathop {\mathrm {sgn}}\varepsilon \). Define a map
by
Here, \(E_{\varepsilon \varepsilon '}\) are the standard matrix units. It is clear that \(\varPsi \) commutes with \(*\) and \({\overline{\cdot }}\). A computation using Equation (14) shows that \(\varPsi \) is in fact a real \(*\)morphism. Since the matrix units form a basis of \(M_{2^{r+s}}(\mathbb {C})\), it is easy to see that \(\varPsi \) is bijective. \(\quad \square \)
Remark 14
The result of Lemma 5 is not surprising, as by [44, Example 3.6 and Proposition 3.28], the corner \(P^{r,s}(B\otimes C\ell _{r,s+1})P^{r,s}\) is Morita equivalent to the closed twosided ideal generated by \(P^{r,s}\). One can show that this ideal is already all of \(B\otimes C\ell _{r,s+1}\). Since \(B\) is unital by hypothesis, the Brown–Green–Rieffel Theorem [44, Theorem 5.55] applies, and the Morita equivalence implies stable isomorphism.
However, the more precise statement of the lemma will be useful in order to express the bulk classes that we will presently construct in an explicit form.
Circumstantial evidence suggests that Lemma 5 holds in the absence of the assumption that there is an element \(J_{\mathrm {ref}}\), although our proof does not work in this case. Indeed, if \(\phi \) is injective, then the minimal choice for \(B\) is \(B=C\ell _{r,s}\). For \(r=0\), \(B=C\ell _{0,s}\), one has
For the cases of \(sr\equiv 3\,(4)\), \(\phi \) may fail to be injective. (Otherwise, \(C\ell _{r,s}\) is simple.) Setting \(r=0\), we have \(C\ell _{0,s}=C\ell _{0,s1}\oplus C\ell _{0,s1}\), so the minimal choice for \(B\) (without the assumption that \(\phi \) be injective) is \(C\ell _{0,s1}\), which is \({\mathbb {H}}_\mathbb {C}\) for \(s=3\) and \(M_8(\mathbb {C})\) for \(s=7\). In both cases, one has \(B\otimes C\ell _{0,s+1}\cong M_{2^s}(\mathbb {C})\), and \(\mathbb {C}\) is a corner of the tensor product.
Definition 16
(Bulk class of a disordered IQPV with symmetries). We assume that \({{\,\mathrm{{\mathscr {F\!\!F}}}\,}}^{r,s}(B)\ne \varnothing \) and select \(J_{\mathrm {ref}}\in {{\,\mathrm{{\mathscr {F\!\!F}}}\,}}^{r,s}(B)\). Let \(e^{r,s}:=(J_{\mathrm {ref}}\otimes j_1)P^{r,s}\) be the ORHU corresponding to \(J_{\mathrm {ref}}\)via Proposition 7. To any \(J\in {{\,\mathrm{{\mathscr {F\!\!F}}}\,}}^{r,s}(B)\), we assign the class
By Lemmas 5, 3, and Theorem 2, we may consider this as a class in
In case \(B={\mathbb {A}}\) or \(B=\mathrm A\) and the \(K_a,J_\alpha \) are operators on \(W\) resp. on \(V\), we say that \([(J;\phi )]=[(J;K_1,\ldots ,K_r,J_1,\ldots ,J_r)]\) is the bulk class associated with the disordered IQPV \((J;\phi )\) of symmetry index \((r,s)\).
By inspecting the proof of Lemma 5, we may determine the class in \(DKR(B\otimes C\ell _{r,s+1})\) corresponding to \([(J;\phi )]\) explicitly.
Lemma 6
Suppose there is some \(J_{\mathrm {ref}}\in {{\,\mathrm{{\mathscr {F\!\!F}}}\,}}^{r,s}(B)\). Then the class in \(DKR_{J_{\mathrm {ref}}\otimes j_1}(B\otimes C\ell _{r,s+1})\) corresponding to \([(J;\phi )]\) under the isomorphisms from Lemmas 3 and 5 is
Proof
Unless \(r+s>0\), there is nothing to prove. Set \(n:=2^{r+s1}\). We abbreviate \(e_0:=e^{r,s}\), \(p:=P^{r,s}\), and \(C:=B\otimes C\ell _{r,s+1}\). Then \(e:=e_0\oplus e_0\) is homotopic to \(e_0\oplus e_0\) in \({\mathscr {F}}_2(pCp)\), by [52, p. 191], and hence, \(F_{\infty }(M_2(pCp))\) is an Abelian group isomorphic to \(DKR(pCp)\) [52, Proposition 2.11]. Under the isomorphism, \([(J\otimes j_1)P][e_0]\) corresponds to the class \([x]\) of the element \(x:=(J\otimes j_1)P\oplus (e_0)\).
The map from Lemma 3 sends \(x\) to \(x\oplus e_{n1}\in {\mathscr {F}}_{2n}(pBp)\). This is the \(2n\times 2n\) matrix
where \(E_{++}\) is the matrix unit corresponding to \(\varepsilon =(+,\ldots ,+)\).
Let \(\varPsi \) be the isomorphism from Lemma 5. As \(J_\mathrm {ref}\otimes j_1\) commutes with \(p=P^{r,s}\) and \({{\,\mathrm{\mathrm {Ad}}\,}}(u_\varepsilon )(J_\mathrm {ref}\otimes j_1)=\varepsilon (J_\mathrm {ref}\otimes j_1)\), we find
Thus we see that \(\varPsi (J_{\mathrm {ref}}\otimes j_1)=e_n\). A similar computation shows that
Therefore, \(x\oplus e_{n1}\) is identified with the desired element in \(M_{2n}(C)\). Because the class \([e_n]=[J_{\mathrm {ref}}\otimes j_1]\) is zero in the Abelian group \(F_\infty (M_{2n}(C))\), the assertion follows.
The assignment to \(J\in {{\,\mathrm{{\mathscr {F\!\!F}}}\,}}^{r,s}(B)\) of the \(DKR\)class of the ORHU \((J\otimes j_1)P^{r,s}\) in fact gives an alternative definition of real \(K\)theory. To that end, let
where the righthand side is defined in terms of the elements \(1_n\otimes K_a\), \(a=1,\ldots ,r\), and \(1_n\otimes J_\alpha \), \(\alpha =1,\ldots ,s\). The sets \({{\,\mathrm{{\mathscr {F\!\!F}}}\,}}^{r,s}_n(B)\) form an inductive system via
Denote the set of pathconnected components in the norm topology of \({{\,\mathrm{{\mathscr {F\!\!F}}}\,}}^{r,s}_n(B)\) by
For the induced maps, the sets \(FF^{r,s}_n(B)\) form an inductive system of sets.
Theorem 3
(Real Ktheory via IQPV). Let \(B\) be an ungraded unital real C\(^*\)algebra. Let \(r,s\geqslant 0\) and \((K_1,\ldots ,K_r,J_1,\ldots ,J_s)\) represent a unital real \(*\)morphism \(C\ell _{r,s}\longrightarrow B\). Suppose that \({{\,\mathrm{{\mathscr {F\!\!F}}}\,}}^{r,s}(B)\ne \varnothing \) and select \(J_{\mathrm {ref}}\in {{\,\mathrm{{\mathscr {F\!\!F}}}\,}}^{r,s}(B)\).
Then the inductive limit
acquires the structure of an Abelian monoid with addition induced by the maps
and unit element induced by \(J_{\mathrm {ref}}\). Moreover, \(J\mapsto (J\otimes j_1)P^{r,s}\) induces an isomorphism of Abelian groups
where we consider the reference ORHU \(e^{r,s}=(J_{\mathrm {ref}}\otimes j_1)P^{r,s}\).
In case \(B\) is not assumed real, we have a corresponding isomorphism
Proof
Note that
We compute for all \(J\in {{\,\mathrm{{\mathscr {F\!\!F}}}\,}}^{r,s}_n(B)\) that
Hence, the map from Proposition 7 defines an isomorphism of the inductive systems \(({{\,\mathrm{{\mathscr {F\!\!F}}}\,}}^{r,s}_n(B))_{n\geqslant 1}\) and \(({\mathscr {F}}_n(P^{r,s}(B\otimes C\ell _{r,s+1})P^{r,s}))_{n\geqslant 1}\), where the latter is defined by the reference ORHU \(e^{r,s}\).
Inspecting the proof of Proposition 7, the map defined there is a homeomorphism with respect to the topologies induced by the norm. Indeed, in Lemma 4, we have
as normed vector spaces, and the projection onto the first factor, which is continuous, defines the inverse of the first bijection described there. The same holds for \(C\ell _{1,0}\) in place of \(C\ell _{0,1}\). Thus, the map from Proposition 7 is a homeomorphism.
Hence, the inductive systems \((FF^{r,s}_n(B))_{n\geqslant 1}\) and \((F_n(P^{r,s}(B\otimes C\ell _{r,s+1})P^{r,s}))_{n\geqslant 1}\) are isomorphic, so that we obtain a bijection
In order to see that the lefthand side is an Abelian monoid and this bijection is an isomorphism of such objects, we study the effect of the map from Proposition 7 on the \(\oplus \) operation from Equation (16). We compute for \(J\in {{\,\mathrm{{\mathscr {F\!\!F}}}\,}}^{r,s}_m(B)\) and \(J'\in {{\,\mathrm{{\mathscr {F\!\!F}}}\,}}^{r,s}_n(B)\):
Since \(F_\infty (P^{r,s}(B\otimes C\ell _{r,s+1})P^{r,s})\) is an Abelian monoid and its Grothendieck group is \(DKR_{e^{r,s}}(P^{r,s}(B\otimes C\ell _{r,s+1})P^{r,s})\), we have proved the claim.
The View from the Boundary
In this section, we will construct a framework for the topological classification of boundaries of topological insulators and superconductors in terms of \(KR\)theory. At an interface between bulk systems with different topological invariants, the gap closes, thus defining a gapless boundary system. (Indeed, as we shall see in Sect. 6, this is in a mathematically precise sense a necessary condition for topological nontriviality.)
For this reason, the construction of bulk invariants in Van Daele’s picture of real \(K\)theory, as developed in the previous section, cannot work at the boundary. The solution for this problem is twofold: Gapless boundary systems need a gap in the bulk in order to be topologically protected, so we will always consider the boundary together with the bulk. This shall be accomplished by introducing a halfspace algebra, as first suggested by Kellendonk–Richter–Schulz–Baldes [31, 50]. Secondly, we shall apply an alternative picture of real \(K\)theory which allows for the closing of the gap at the boundary.
The sequence connecting bulk and boundary
We introduce a boundary into our system by considering the halfspace semilattice
in which the translational symmetry is broken in the \(d\)th coordinate direction. The aim of this section is to exhibit a short exact sequence of real C\(^*\)algebras connecting bulk and boundary, as follows:
Here, \({\mathbb {A}}_\partial \) is defined just as \({\mathbb {A}}\), with \(\varLambda _\partial \) replacing \(\varLambda \), and \(\widehat{{\mathbb {A}}}\) is the socalled halfspace algebra, we which now proceed to construct.
We define Hilbert spaces on \({\hat{\varLambda }}\) by setting \(\widehat{{\mathscr {V}}}:=\ell ^2({\hat{\varLambda }})\otimes V\) and
Of basic importance is the orthogonal projection (called the Szegő projection)
Here, we identify \(\ell ^2({\hat{\varLambda }})\) with the set of all squaresummable sequences \(\psi \in \ell ^2(\varLambda )\) which vanish outside \(\smash {{\hat{\varLambda }}}\). Implicitly tensoring with \({{{\,\mathrm{\mathrm {id}}\,}}}_V\) or \({{{\,\mathrm{\mathrm {id}}\,}}}_W\), we may consider \(q\) as an orthogonal projection defined on \({\mathscr {V}}\) or \({\mathscr {W}}\).
The translation \(u_i:=u_{e_i}\), where \(e_i\) is the \(i\)th standard basis vector, defined by
commutes with \(q\) if \(i<d\). For \(i=d\), we obtain the partial isometry
Then \({\hat{u}}_d\) is characterised by the fact that \({\hat{u}}_d^*{\hat{u}}_d^{*}=1\) and that \(1{\hat{u}}_d^{*}{\hat{u}}_d^*\) is the projection onto the space \(\ell ^2(\varLambda _\partial )\) of states supported at the boundary. In other words, \({\hat{u}}_d\) is the unilateral shift in the \(d\)th coordinate direction. We are now able to give a definition for the halfspace algebra.
Definition 17
(Halfspace covariance algebra). Let \(\varOmega \) be a compact Hausdorff space, equipped with a continuous right action of the group \(\varLambda \). Let \(U\) be a finitedimensional Hilbert space and let \({\hat{u}}_x\), for \(x\in {\hat{\varLambda }}\), be defined by
Define \(\smash {{\widehat{A}}}^U\) to be the closed subalgebra of the set \({\mathscr {C}}(\varOmega ,C^*_u({\hat{\varLambda }},U))\) of norm continuous maps \(\varOmega \longrightarrow C^*_u({\hat{\varLambda }},U)\) generated by those maps \(O\) that are covariant in the sense that
Again, \(\smash {{\widehat{A}}}^U\) is a C\(^*\)algebra with pointwise operations and the sup norm. Whenever \(U\) is real or quaternionic, then \(\smash {{\widehat{A}}}^U\) is real. We define
In order to exhibit \({\mathbb {A}}\) as a quotient of \(\widehat{{\mathbb {A}}}\), we need to prove that the latter has a crossedproductlike structure. To that end, we pose the following definition.
Definition 18
Let \(B:={\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\). Consider a tuple \((\phi ,{\hat{V}})\), where \(\phi :B\longrightarrow C\) is a \(*\)morphism to a real C\(^*\)algebra \(C\) and \({\hat{V}}_x\in \mathrm M(C)\) (the multiplier algebra), \(x\in {\hat{\varLambda }}\), are real elements. We call \((\phi ,{\hat{V}})\) a real covariant pair if
(Recall from Equation (5) that \(\alpha _x(f)(\omega )=f(\omega \cdot x)\).) For \(B={\mathscr {C}}(\varOmega )\otimes \mathrm {End}(V)\), we define covariant pairs by dropping the reality constraints from the above definitions.
Remark 15
Observe that the equation \({\hat{V}}{\hat{V}}^*=1\) for the partial isometries \({\hat{V}}={\hat{V}}_x\) in the definition of (real) covariant pairs differs from the equation \({\hat{u}}^*{\hat{u}}=1\) for the unilateral shift \({\hat{u}}={\hat{u}}_d\). The rationale here is the unilateral shift is a truncated left translation, whereas the \({\hat{V}}\) are truncated right translations: Operators that commute with (truncated) left translations are generated by (truncated) right translations.
Proposition 8
Define \({\widehat{R}}_x:=qR_xq\) for \(x\in {\hat{\varLambda }}\) (where \(R_x\) is right translation by \(x\), as in the proof of Theorem 1) and
Then \(({\hat{\pi }},{\widehat{R}})\) is a real covariant pair, and together with it, the real C\(^*\)algebra \(\widehat{{\mathbb {A}}}\) is universal for real covariant pairs. That is, for any real covariant pair \((\phi ,{\hat{V}})\), there is a unique real \(*\)morphism \(\smash {\widehat{{\mathbb {A}}}}\longrightarrow C\), denoted by \(\phi \rtimes _{\alpha }{\hat{V}}\), such that
Similarly, the C\(^*\)algebra \(\widehat{\mathrm A}\) is universal for covariant pairs.
Proof
We limit ourselves to the real case. Let the C\(^*\)algebra \({\tilde{A}}\) be defined by the generators \(f\in {\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\) and \({\hat{\tau }}_x\), for \(x\in {\hat{\varLambda }}\), by the \(*\)algebraic relations of \({\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\), by the algebraic relations of \(\smash {{\hat{\varLambda }}}\), and by the relations
Then \({\tilde{A}}\) is a real C\(^*\)algebra if we require \({\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\) to be a real subalgebra and the generators \({\hat{\tau }}_x\), \(x\in \smash {{\hat{\varLambda }}}\), to be real. By definition, \({\tilde{A}}\) is universal for real covariant pairs.
By restriction to \({\hat{\varLambda }}\) of the real covariant pair \((\pi ,R)\) for the action of the group \(\varLambda \) on \({\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\), we already know that \(({\hat{\pi }},\smash {{\widehat{R}}})\) is a real covariant pair. Hence, we obtain a unique real \(*\)morphism
where \(P\) is the probability measure on \(\varOmega \) from the proof of Theorem 1.
Let \({\tilde{A}}_\partial \) denote the universal C\(^*\)algebra generated by the \(f\in {\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\) and \(\tau _x\), for \(x\in \varLambda _\partial \), subject to the C\(^*\)algebraic relations of \({\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\), the algebraic relations of \(\varLambda _\partial \), and the relations
There is a canonical \(*\)morphism \(\varPhi _\partial :{\tilde{A}}_\partial \longrightarrow {\tilde{A}}\), defined by \(\tau _x\longmapsto {\hat{\tau }}_x\) and \(f\longmapsto f\). By Theorem 1, applied to \(\varLambda _\partial \) instead of \(\varLambda \), \(\smash {{\widehat{\varPhi }}\circ \varPhi _\partial }\) is injective. Moreover, \({\tilde{A}}_\partial \) is a closed \(*\)subalgebra of \({\tilde{A}}\).
We now apply Murphy’s results on crossed products by ordered groups [41]. By definition, \({\tilde{A}}\) satisfies the universality for covariant pairs stated in [41, Proposition 1.1] for Murphy’s crossed product \({\tilde{A}}_\partial \rtimes \mathbb {N}\), and hence, \({\tilde{A}}\) is canonically isomorphic to that crossed product. Since \(\smash {{\widehat{\varPhi }}\circ \varPhi _\partial }\) is faithful, [41, Theorem 4.4] applies, and it follows that the real \(*\)morphism \(\smash {{\widehat{\varPhi }}}\) is injective.
It remains to be shown that \({{\,\mathrm{\mathrm {im}}\,}}{\widehat{\varPhi }}=\widehat{{\mathbb {A}}}\). To that end, we refer back to the proof of Theorem 1. The statement that \({{\,\mathrm{\mathrm {im}}\,}}\smash {{\widehat{\varPhi }}}\subseteq \smash {\widehat{{\mathbb {A}}}}\) follows in much the same way as the corresponding statement for \({\mathbb {A}}\). For the converse inclusion, we begin with some preparations which are largely similar to the corresponding steps in the bulk: Recall the definition of the maps \(S_n\) and the functions \(f^i_n\); since we may consider \({{\,\mathrm{{\mathscr {L}}}\,}}(\smash {\widehat{{\mathscr {W}}}})\) as a subset of \({{\,\mathrm{{\mathscr {L}}}\,}}({\mathscr {W}})\) by the use of the projection \(q\), we may restrict \(S_n\) to \({{\,\mathrm{{\mathscr {L}}}\,}}(\smash {\widehat{{\mathscr {W}}}})\). For \(T\in {{\,\mathrm{{\mathscr {L}}}\,}}(\smash {\widehat{{\mathscr {W}}}})\), we find that
where \(M_f\) is the operator of multiplication by \(f\). In particular, \({\widehat{S}}_n\) is a completely positive endomorphism of \({{\,\mathrm{{\mathscr {L}}}\,}}(\smash {\widehat{{\mathscr {W}}}})\). Hence, as for \(S_n\), \(\smash {{\widehat{S}}_n}\) is a contraction. We see as before that
Then \({\widehat{S}}_n\) leaves controlled operators on \(\ell ^2({\hat{\varLambda }})\) invariant, and therefore also the algebra \(C^*_u({\hat{\varLambda }},W)\). Defining, for \(T\in \widehat{{\mathbb {A}}}\), \({\widehat{S}}_n(T)\) by \({\widehat{S}}_n(T)_\omega :={\widehat{S}}_n(T_\omega )\) for all \(\omega \in \varOmega \), we obtain a contractive, completely positive endomorphism of \(\smash {\widehat{{\mathbb {A}}}}\). As previously, it follows that \(S_n(T)\) converges to \(T\) for any \(T\in \smash {\widehat{{\mathbb {A}}}}\).
The remaining steps differ from our previous considerations. Let \(T:\varOmega \longrightarrow C^*_u({\hat{\varLambda }},W)\) be norm continuous and satisfy the covariance condition in Definition 17. Setting
defines a total preorder on \({\hat{\varLambda }}\). Therefore, we may write \({\widehat{S}}_n(T)=\mathrm I+\mathrm {I\!I}\) where
and the sum defining \(\mathrm {I\!I}\) extends over all \(x,y\in {\hat{\varLambda }}\), \(x>y\). For \(x\leqslant y\), we have
so that
where
Similarly, for \(x>y\), we have
so that
where
This proves that \({\widehat{S}}_n(T)\in {{\,\mathrm{\mathrm {im}}\,}}{\widehat{\varPhi }}\); since \({{\,\mathrm{\mathrm {im}}\,}}{\widehat{\varPhi }}\) is closed, it also contains \(T\), proving that \({\widehat{\varPhi }}\) is surjective, and hence, the assertion, as \({\tilde{A}}\) satisfies the claimed universality. \(\quad \square \)
The following theorem constructs the desired sequence (17).
Theorem 4
There is a unique surjective real \(*\)morphism \(\varrho :\widehat{{\mathbb {A}}}\longrightarrow {\mathbb {A}}\) such that
The kernel of \(\varrho \) is the closed ideal \((e)\) generated by the projection \(e:=1(\smash {{\widehat{R}}}_d)^*\smash {{\widehat{R}}}_d\), where \(R_d:=R_{e_d}\). It is isomorphic as a real C\(^*\)algebra to \({\mathbb {A}}_\partial \otimes {\mathbb {K}}(\ell ^2(\mathbb {N}))\). The same holds for \(\smash {\widehat{\mathrm A}}\), with \(W\) replaced by \(V\), and without the reality constraints.
Proof
As before, we limit our detailed proof to the real case. The unique existence and the surjectivity of \(\varrho \) follow directly from Proposition 8 and Theorem 1. It is also clear from the definitions that the projection \(e\) is contained in the kernel of \(\varrho \).
We abbreviate \({\widehat{S}}:={\hat{u}}_d\) and \({\hat{e}}:=1{\widehat{S}}\smash {{\widehat{S}}}^*\), the orthogonal projection onto \(\ell ^2(\varLambda _\partial )\). By Theorem 1, there is a unique real \(*\)morphism \(\phi :{\mathbb {A}}\longrightarrow {\mathbb {A}}\otimes M_2({{\,\mathrm{{\mathscr {L}}}\,}}(\ell ^2(\mathbb {N})))\), such that
In fact, observe that
By Proposition 8, we have a unique real \(*\)morphism \({\hat{\phi }}:\widehat{{\mathbb {A}}}\longrightarrow {\mathbb {A}}\otimes {{\,\mathrm{{\mathscr {L}}}\,}}(\ell ^2(\mathbb {N}))\),
As in the proof of Proposition 8, using the obvious action of \(\mathbb {R}/\mathbb {Z}\) on \({{\,\mathrm{{\mathscr {L}}}\,}}(\ell ^2(\mathbb {N}))\), we see that \({\hat{\phi }}\) is injective, and hence defines a real \(*\)isomorphism onto its image.
By the definition of \(\phi \), the image of the upper left component \(\phi _{11}\) is contained in the image of \({\hat{\phi }}\). We may therefore define
This map is not a \(*\)morphism, but it is a completely positive contraction intertwining the \(*\) operations. Moreover, we have
where \(\phi _{12}(x)\phi _{21}(y)\) is contained in the ideal generated by \(1\otimes {\hat{e}}\). By \({\hat{\phi }}^{1}\), this ideal is mapped onto the ideal generated by \(e\). It follows that \(\sigma \) is a section of \(\varrho \), as it is sufficient to check this statement on generators. We claim that \(x\sigma (\varrho (x))\) is contained in the closed ideal generated by \(e\). By the same argument as in the previous paragraph, it is sufficient to check on generators \(x\) that \({\hat{\phi }}(x)\phi _{11}(\varrho (x))\) is contained in the closed ideal generated by \(1\otimes {\hat{e}}\). But this expression actually vanishes on generators.
Now we prove \(\ker \varrho \subseteq (e)\). Thus, let \(x\in \widehat{{\mathbb {A}}}\), \(\varrho (x)=0\). Then we have
proving that indeed, \(\ker \varrho =(e)\).
It remains to prove that the ideal \((e)\) is isomorphic to \({\mathbb {A}}_\partial \otimes {\mathbb {K}}(\ell ^2(\mathbb {N}))\). Define
Then \(\phi _\partial \) is a real \(*\)morphism on \({\mathbb {A}}_\partial \otimes {{\,\mathrm{{\mathscr {L}}}\,}}_{\mathrm {fin}}(\ell ^2(\mathbb {N}))\), where \({{\,\mathrm{{\mathscr {L}}}\,}}_{\mathrm {fin}}\) denotes the finite rank operators. It is easy to see that \(\phi _\partial \) is an isometry on \({\mathbb {A}}_\partial \otimes {{\,\mathrm{{\mathscr {L}}}\,}}_{\mathrm {fin}}(\ell ^2(\mathbb {N}))\), and hence it extends to \({\mathbb {A}}_\partial \otimes {\mathbb {K}}(\ell ^2(\mathbb {N}))\) as an isometric real \(*\)morphism. Now, observe that
Thus, it is clear that the image of \(\phi _\partial \) equals the closed ideal of \({{\,\mathrm{\mathrm {im}}\,}}{\hat{\phi }}\) generated by \(1\otimes {\hat{e}}\), proving the claim, and thereby, the theorem. \(\quad \square \)
Real Ktheory: Kasparov’s Fredholm picture
In the previous subsection, we have constructed the bulktoboundary sequence (17). Our next aim, which we will address in Sect. 4.3, is to attach boundary \(K\)theory classes to every disordered IQPV of a given symmetry index. In order to do that, we will need a different picture of real \(K\)theory, due to Kasparov [28]. This we introduce in the present section.
Kasparov’s picture of \(K\)theory is best known in the context of Kasparov’s bivariant \(KK\)theory, which unifies both \(K\)theory and its dual theory, \(K\)homology. We have encountered the bivariant theory before, in the proof of Theorem 2 in Sect. 3. It continues to be an important technical tool for us, and we shall employ it in the present section, in the proof of Proposition 9, and in the proof of our main result in Sect. 5. For the purpose of constructing boundary invariants and stating bulkboundary correspondence, it will be unnecessary to give a the definition of \(KK\)theory, and we will eschew it because of its considerable technical difficulty. For more details, see [10, 27, 28, 49].
The following definition of Kasparov’s picture of \(K\)theory, which does not appeal to the bivariant theory, is taken from [28].
Definition 19
(Kasparov’s Fredholm picture of real Ktheory). Let \(A\) be a trivially graded real C\(^*\)algebra. Let \({\mathbb {K}}\) denote the real C\(^*\)algebra of compact operators on a separable real Hilbert space. Let \(\mathrm M^s(A):=\mathrm M(A\otimes {\mathbb {K}})\) be the stable multiplier algebra.
Suppose we are given a pair \((F,\psi )\) consisting of an ungraded real \(*\)morphism \(\psi :C\ell _{p,q1} \longrightarrow \mathrm M^s(A)\) and a real operator \(F\in \mathrm M^s(A)\) such that all of the expressions
where \(a=1,\ldots ,p\) and \(\alpha =1,\ldots ,q1\), are contained in \(A\otimes {\mathbb {K}}\). Such a pair is called a Kasparov\(KR_{p,q}\)cycle. It is called degenerate if all the above expressions vanish. Let \({\mathbb {E}}_{p,q}(A)\) be the set of Kasparov \(KR_{p,q}\) cycles and \({\mathbb {D}}_{p,q}(A)\) be the set of degenerate Kasparov \(KR_{p,q}\) cycles.
Two cycles \((F_j,\psi _j)\), \(j=0,1\), are called homotopy equivalent if there is a Kasparov cycle such that
They are called unitarily equivalent if there is an even real unitary \(u\in M^s(A)\) such that
The quotient of \({\mathbb {E}}_{p,q}(A)\) with respect to the equivalence relation generated by homotopy and unitary equivalence is denoted by \(\smash {\overline{{\mathbb {E}}}}_{p,q}(A)\). It is an Abelian semigroup with respect to the direct sum of cycles. (This operation is well defined, as \(M^s(A)\oplus M^s(A)\cong M^s(A)\) by Kasparov’s stabilisation theorem.) Let \(\smash {\overline{{\mathbb {D}}}}_{p,q}(A)\) be the subsemigroup generated by the image of \({\mathbb {D}}_{p,q}(A)\) in \(\smash {\overline{{\mathbb {E}}}}_{p,q}(A)\).
By definition, Kasparov’s\(KR_{p,q}\)group is the Abelian monoid
It is in fact an Abelian group. By dropping the reality constraints, we may define in the same way the Abelian group \(K_{p,q}(A)\), for any trivially graded C\(^*\)algebra \(A\). This group is called Kasparov’s\(K_{p,q}\)group.
Proposition 9
Let \(A\) be an ungraded real C\(^*\)algebra resp. an ungraded C\(^*\)algebra. Then \(KR_{p,q}(A)\cong KR_{qp}(A)\) resp. \(K_{p,q}(A)\cong K_{qp}(A)\).
The proof of the proposition is somewhat technical (although not hard). We defer it to the end of the section. One immediate consequence of the proposition is the following standard simplification, wellknown in \(KK\)theory.
Lemma 7
Any element of \(KR_{p,q}(A)\) or \(K_{p,q}(A)\) can be represented by a cycle \((F,\psi )\) for which all of the following expressions vanish:
Proof
By Proposition 9 and standard simplifications in \(KK\)theory [10, Proposition 17.4.2], we may assume that \(F\) is skewHermitian. If there is some \(a\) such that the anticommutator \(\psi (k_a)F+F\psi (k_a)\ne 0\), we may take \(a\) is minimal for this property. Form
One computes easily that \({\tilde{F}}\) is skewHermitian and \({\tilde{F}}^2+1\in A\otimes {\mathbb {K}}\). As for \(b<a\), \({{\,\mathrm{\mathrm {Ad}}\,}}(\psi (k_b))\) commutes with \({{\,\mathrm{\mathrm {Ad}}\,}}(\psi (k_a))\), we see that \({{\,\mathrm{\mathrm {Ad}}\,}}(k_b)({\tilde{F}})={\tilde{F}}\) for all \(b\leqslant a\). Similarly, \(\psi (j_\alpha )F+F\psi (j_\alpha )\in A\otimes {\mathbb {K}}\). As \({\tilde{F}}\) is a “compact perturbation” of \(F\), \(({\tilde{F}},\psi )\) represents the same class as \((F,\psi )\) [10, Proposition 17.2.5]. Thus, we may assume that \(F\) anticommutes with all the \(\psi (k_a)\). Arguing similarly, we may assume also that it anticommutes with all the \(\psi (j_\alpha )\). \(\quad \square \)
In the following sections, we will identify all (real) \(K\)groups with their counterparts in Kasparov’s picture whenever we see fit to do so. We shall use the notation \(KR_{qp}(A)\) interchangeably to denote \(KR_{p,q}(A)\) or any other realisation of \(KR\) theory. We end the subsection by a proof of the above proposition.
Proof of Proposition 9
We will sketch the construction leading to the proof of the statement that \(KR_{p,q}(A)\) is isomorphic to the Kasparov group \(\smash {KKR(C\ell _{q1,p},A\otimes C\ell _{0,1})}\), which is wellknown to be isomorphic to \(\smash {KR_{qp}(A)}\). The complex case is proved in completely the same way.
Let \((F,\psi )\) be a Kasparov \(KR_{p,q}\) cycle, and set
These operators are ungraded. We introduce a further Clifford algebra \(C\ell _{0,1}\) into the picture, equipped now with its natural grading and its odd generator \(j_1\). This allows us to define an even real \(*\)morphism
of graded real C\(^*\)algebras, as follows:
(Note here that the roles of \(\alpha \) and \(a\) are exchanged on the side of the Clifford generators, as is necessary to perform the desired parity reversal.) Then \(G:=F\otimes j_1\in \mathrm M^s(A\otimes C\ell _{0,1})\) is real and odd, and all of the expressions
for \(a=1,\ldots ,p\) and \(\alpha =1,\ldots ,q1\), are contained in \(A\otimes C\ell _{0,1}\otimes {\mathbb {K}}\).
Suppose now that \({\mathscr {H}}\) is a separable real Hilbert space such that \({\mathbb {K}}={\mathbb {K}}({\mathscr {H}})\). Then \(\mathrm M^s(A\otimes C\ell _{0,1})\) is the graded real C\(^*\)algebra of adjointable operators on the standard graded real HilbertC\(^*\)module \({\mathscr {E}}={\mathscr {H}}_{A\otimes C\ell _{0,1}}\) over \(A\otimes C\ell _{0,1}\). It follows that \(({\mathscr {E}},\phi , G)\) represents a class in \(KKR(C\ell _{q1,p},A\otimes C\ell _{0,1})\). The remainder of the proof is along the lines of that of [27, §6, Corollary 1 to Theorem 2]. \(\quad \square \)
From quasiparticle vacua to boundary classes
In this section, we assign to any IQPV of any given symmetry index, an element in a suitable \(KR\) group of the boundary algebra \({\mathbb {A}}_\partial \). An intermediate step is given by the following definition.
Definition 20
(Quasiparticle vacua with boundary). A disordered IQPV with boundary is a real skewHermitian \({\widehat{J}}\in \widehat{{\mathbb {A}}}\), i.e.
such that \(J:=\varrho ({\widehat{J}})\in {\mathbb {A}}\) is a disordered IQPV. By Theorem 4, this means that
A tuple \(({\widehat{J}};\phi )=({\widehat{J}}; K_1,\ldots , K_r,J_1,\ldots , J_s)\) is called a disordered IQPV with boundary of symmetry index\((r,s)\) if \({\widehat{J}}\) is a disordered IQPV with boundary and moreover, the tuple \((J;\phi )=(J;K_1,\ldots , K_r,J_1,\ldots , J_s)\) is a disordered IQPV of index \((r,s)\), where \(J:=\varrho ({\widehat{J}})\).
Explicitly, this means the following: \({\widehat{J}}\in \widehat{{\mathbb {A}}}\) is a real skewHermitian operator; \(K_a\), \(J_\alpha \), define a real \(*\)morphism \(\phi :C\ell _{r,s}\longrightarrow \mathrm {End}(W)\); and the expressions
all belong to \({\mathbb {A}}_\partial \otimes {\mathbb {K}}(\ell ^2(\mathbb {N}))\). Similarly, in the complex case, we define chargepreserving disordered IQPV with boundary resp. disordered IQPV with boundary of complex symmetry index\((r,s)\) by replacing \(\smash {\widehat{{\mathbb {A}}}}\) by \(\smash {\widehat{\mathrm A}}\) and dropping the reality constraints.
Proposition 10
Any disordered IQPV with boundary of (complex) symmetry index \((r,s)\) represents a class in \(KR_{sr+1}({\mathbb {A}}_\partial )\) resp. in \(K_{sr+1}(\mathrm A_\partial )\).
Proof
By Proposition 9, a Kasparov \(KR_{r,s+1}\) cycle for \({\mathbb {A}}_\partial \) represents a class in the desired group \(KR_{sr+1}({\mathbb {A}}_\partial )\). Comparing Definitions 19 and 20, a disordered IQPV with boundary \((\smash {\widehat{J}};\phi )\) of symmetry index \((r,s)\) is distinguished from a Kasparov \(KR_{r,s+1}\) cycle only by lying in \(\smash {\widehat{{\mathbb {A}}}}\) instead of \(\mathrm M^s({\mathbb {A}}_\partial )\).
Thus, it suffices to exhibit \(\smash {\widehat{{\mathbb {A}}}}\) inside of \(\mathrm M^s({\mathbb {A}}_\partial )=\mathrm M({\mathbb {A}}_\partial \otimes {\mathbb {K}}(\ell ^2(\mathbb {N})))\). To that end, recall from Theorem 4 and its proof that \(\smash {\widehat{{\mathbb {A}}}}\) is isomorphic to the closed \(*\)subalgebra \(B\) of \({\mathbb {A}}\otimes {{\,\mathrm{{\mathscr {L}}}\,}}(\ell ^2(\mathbb {N}))\) generated by
Moreover, \({\mathbb {A}}_\partial \otimes {\mathbb {K}}(\ell ^2(\mathbb {N}))\) is isomorphic to the closed ideal \(I\subseteq B\) generated by \(1\otimes {\hat{e}}\), where \({\hat{e}}=1\smash {{\widehat{S}}}\smash {{\widehat{S}}}^*\). By the definition of the multiplier algebra, there is a unique \(*\)morphism \(B\longrightarrow \mathrm M^s({\mathbb {A}}_\partial )\) that is the identity on \(I\) [15, Proposition 3.7 (i)]. As \(B\) is unital, it is surjective. To see that the \(*\)morphism \(\varrho \) is injective, it will be sufficient to prove that \(I\) is essential in \(B\) [15, Proposition 3.7 (ii)]. Let \(b\in B\) such that \(bI=0\). Then
Since \(\psi \) and \(n\) were arbitrary and \(B\) is represented faithfully on \(L^2(\varOmega ,P)\otimes {\mathscr {W}}\otimes \ell ^2(\mathbb {N})\), we conclude that \(b=0\), so that \(I\) is essential. \(\quad \square \)
By definition, a disordered IQPV with boundary \(({\widehat{J}}; K_1,\ldots , K_r,J_1,\ldots , J_s)\) of symmetry index \((r,s)\) determines a disordered bulk IQPV
of the same symmetry index \((r,s)\). Since \(\varrho \) is surjective, any bulk IQPV is thus determined. However, we can do better and always give a canonical representative. Indeed, let \((J;\phi )=(J; K_1,\ldots , K_r,J_1,\ldots , J_s)\) be a disordered IQPV with of symmetry index \((r,s)\). We may thus define
Then \(({\widehat{J}};\phi )=({\widehat{J}}; K_1,\ldots , K_r,J_1,\ldots , J_s)\) is a disordered IQPV with boundary of symmetry index \((r,s)\), as follows immediately from the following lemma. The same construction also works in the case of a disordered IQPV of complex symmetry index \((r,s)\).
Lemma 8
Let \(a\in {\mathbb {A}}\). Then \(\rho (qaq)=a\).
Proof
Recall the covariant pairs \((\pi ,R)\) and \(({\widehat{\pi }},{\widehat{R}})\) from Theorem 1 and Proposition 8, together with their proofs. Let \(f\in {\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\) and \(x\in {\hat{\varLambda }}\). Then
as \(\pi (f)\) commutes with \(q\). It follows from Theorem 4 that
Similarly,
which implies that
The operators \(\pi (f)R_x\), for \(f\in {\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\) and \(x\in \varLambda \), span a dense subalgebra of \({\mathbb {A}}\), in view of Theorem 1. Since \({\hat{\varLambda }}\cup ({\hat{\varLambda }})=\varLambda \), the assertion follows from the linearity and continuity of \(\rho \). \(\quad \square \)
Definition 21
(Boundary class of an IQPV). Let \(\phi :C\ell _{r,s}\longrightarrow \mathrm {End}(W)\) be a real \(*\)morphism (resp. \(\phi :{\mathbb {C}}\ell _{r,s}\longrightarrow \mathrm {End}(V)\) be a \(*\)morphism). Fix a reference disordered IQPV \((J_{\mathrm {ref}};\phi )\) of (complex) symmetry index \((r,s)\). For any disordered IQPV \((J;\phi )\) of symmetry index \((r,s)\), define its boundary class by
Here, \([({\widehat{J}};\phi )]\) and \([({\widehat{J}}_{\mathrm {ref}};\phi )]\) are the classes represented by the corresponding disordered IQPV with boundary of (complex) symmetry index \((r,s)\).
Remark 16
Readers inclined towards physics will wonder how it is possible to assign a class in the \(K\)theory of the boundary algebra \({\mathbb {A}}_\partial \) to a disordered IQPV in a given symmetry class, as this would seem to contradict the boundaryanomalous nature of a nontrivial topological phase. Observe, however, that the boundary class is represented by an operator \(\smash {{\widehat{J}}}\) lying in (the multiplier algebra of) the tensor product \({\mathbb {A}}_\partial \otimes {\mathbb {K}}(\ell ^2(\mathbb {N}))\), rather than in \({\mathbb {A}}_\partial \) itself. That is, the boundary phase is not exactly localised at the boundary, but instead spread out in its vicinity.
For any disordered IQPV with boundary \((\widehat{J}';\phi )\) of the same symmetry index, with \(\rho (\widehat{J}')=J\), we have
Thus, \(K:=\widehat{J'}{\widehat{J}}\in {\mathbb {A}}_\partial \otimes {\mathbb {K}}\). The homotopy \([0,1] \ni t \longmapsto \smash {\widehat{J}} + tK\) induces a homotopy between \((\smash {\widehat{J}};\phi )\) and \((\smash {\widehat{J}'};\phi )\). Thus \((\smash {\widehat{J}'};\phi )\) and \((\smash {\widehat{J}};\phi )\) define the same class. In this sense, the boundary class for a given bulk IQPV is unique.
Example 1
(Boundary classification for symmetry class \(BD\mathrm I\)). For the symmetry class \(BD\mathrm {I}\), up to stable equivalence, we may choose any symmetry index \((r,s)\) where \(rs\equiv 1\pmod 8\), for instance \((r,s)=(1,0)\).
Recalling the proof of Proposition 9, the \(KKR\) class corresponding to the \(KR\) class represented by the IQPV with boundary \(({\widehat{J}}; K_1)\) is
where
is determined by \(\psi (j_1):=K_1 \otimes j_1\). This class is equivalent to
where \({{\mathscr {H}}}_{{\mathbb {A}}_\partial }\) is graded by the operator \(K_1\). Using an index morphism [49, Theorem 2.2.8], we can identify this \(KKR\) class with the class
where \(p^\pm \) denote the projections onto the submodules \(\ker (\frac{1}{2}(1\pm K_1)\widehat{J}K_1\frac{1}{2}(1\mp K_1))\) of the graded real Hilbert \({\mathbb {A}}_\partial \)module \({{\mathscr {H}}}_{{\mathbb {A}}_\partial }\). For \(K_1=\sigma _z\), we obtain
BulkBoundary Correspondence with Disorder
This section is devoted to the statement and proof of bulkboundary correspondence for disordered freefermion topological phases: In the two previous sections, we have attached, to every disordered IQPV with symmetries, real \(K\)theory classes in the bulk and at the boundary. Bulk and boundary are connected via the sequence (17). This sequence induces a long exact sequence in real \(K\)theory, viz.
In particular, we obtain a connecting map
which we call the bulkboundary map. In this section, we will show that \(\partial \) maps the bulk class attached to a disordered IQPV with symmetries onto the corresponding boundary class. (The same also holds for the complex symmetry classes.)
Theorem 5
(Bulkboundary correspondence). Fix a reference disordered IQPV \((J_{\mathrm {ref}};\phi )\) of (complex) symmetry index \((r,s)\). For any disordered IQPV \((J;\phi )\) of (complex) symmetry index \((r,s)\), we have
That is, the bulkboundary map \(\partial \) maps the bulk class \([(J;\phi )]\) attached to \((J;\phi )\) onto the boundary class \([(J;\phi )]_\partial \) attached to \((J;\phi )\).
Proof of the main theorem
This subsection is devoted to the proof of Theorem 5. It relies on the use of \(KKR\) theory; once again, let us refer to [10, 27, 49] for accounts thereof. Let us begin by fixing some conventions. Throughout the proof, we will consider the Clifford algebras with their natural grading. All other C\(^*\)algebras are ungraded. For a real C\(^*\)algebra \(B\), the standard Hilbert \(B\)module will be denoted by \({\mathscr {H}}_B\).
Recall Roe’s map \(\alpha \) from the proof of Theorem 2. Since \(\alpha \circ \partial =\partial \circ \alpha \), we can compute the effect of \(\partial \) on the bulk class in \(DKR\)theory and subsequently apply \(\alpha ^{1}\) to obtain a class in \(KKR\)theory.
The nontrivial part of the definition of \(\alpha \) is given by the connecting map \(\partial _Q\) in \(DKR\)theory. We relate it to the connecting map for the bulkboundary sequence (17). To that end, recall that \({\mathbb {A}}_\partial \otimes {\mathbb {K}}\) (where \({\mathbb {K}}={\mathbb {K}}(\ell ^2(\mathbb {N}))\)) is an essential ideal in \(\smash {\widehat{{\mathbb {A}}}}\), as was shown in the proof of Proposition 10. Therefore, the canonical map \({\mathbb {A}}_\partial \otimes {\mathbb {K}}\longrightarrow \mathrm M^s({\mathbb {A}}_\partial )\) factors as \(\varPhi \circ \iota \) where \(\varPhi :\smash {\widehat{{\mathbb {A}}}}\longrightarrow \mathrm M^s({\mathbb {A}}_\partial )\) is a unique injective real \(*\)morphism.
We obtain a commutative diagram with exact rows:
From the naturality of connecting maps (which is a general fact for \(\delta \)functors, but can also be derived directly from the explicit form of the connecting map given in [53, Proposition 3.4]), the following diagram commutes:
where \({\tilde{e}}:={\widetilde{\varPhi }}(e)\). Therefore,
for \(y=\varPhi ({\hat{x}})\), \(f=\varPhi ({\hat{e}})\), \(\varrho ({\hat{x}})=x\) and \(\varrho ({\hat{e}})=e\). Applying these considerations to the bulk class with reference ORHU \(e=J_{\mathrm {ref}}\otimes j_1\in {\mathscr {F}}({\mathbb {A}}\otimes C\ell _{r,s+1})\), we find by Equation (15) that as an element of \(KKR(\mathbb {C},{\mathbb {A}}_\partial \otimes C\ell _{r,s+1})\), the image \(\partial [(J;\phi )]\) of the bulk class under \(\partial \) equals
where we write \(P:=P^{r,s}\). This in turn equals
We denote the two parts of this difference by \(\partial _\mathrm I\) and \(\partial _{\mathrm {I\!I}}\), respectively. To compare the expression \(\partial _\mathrm I\partial _{\mathrm {I\!I}}\) to the boundary class, we may treat the parts independently. In what follows, we shall focus on \(\partial _{\mathrm I}\), as the case of \(\partial _{\mathrm {I\!I}}\) differs only in notation.
We set \(B:={\mathbb {A}}_\partial \otimes C\ell _{0,1}\) for brevity. Then the boundary class is given in \(KKR(C\ell _{s,r},B)\), by the proof of Proposition 9. We will use some standard isomorphisms in \(KK\)theory to transfer the class computed above to this \(KKR\) group. In preparation thereof, we apply the Clifford algebra isomorphism \(C\ell _{r,s+1}\cong C\ell _{0,1}\mathop {{\widehat{\otimes }}}C\ell _{r,s}\), given by
This isomorphism preserves Clifford orientation in the sense of Kasparov. The image of the projection \(P\) now takes the form
The first nontrivial isomorphism in \(KK\)theory that we apply is the exterior tensor product with the unit class
The exterior product \(\partial _\mathrm I\mathop {{\widehat{\otimes }}}\tau \in KKR(C\ell _{s,r},B\mathop {\widehat{\otimes }}C\ell _{r,s}\mathop {\widehat{\otimes }}C\ell _{s,r})\) equals
We now apply the orientationpreserving isomorphism \(C\ell _{r,s}\mathop {\widehat{\otimes }}C\ell _{s,r}\cong C\ell _{s+r,s+r}\) given by
for \(a=1,\dotsc r\) and \(\alpha =1,\ldots ,s\). This isomorphism converts \(P'\otimes 1\) into the projection
so it identifies \(\partial _{\mathrm I}\mathop {{\widehat{\otimes }}}\tau \) with the class
where \(\varphi \) is defined by
The next step is to apply a unitary equivalence. We define commuting unitaries
Then we have
whereas \(1\otimes 1\otimes c\) is fixed for any other generator \(c\) of \(C\ell _{r+s,r+s}\). Similarly, \({{\,\mathrm{\mathrm {Ad}}\,}}(U_\alpha )\) fixes any \(K_a\otimes j_1\otimes 1\) and \(J_\beta \otimes j_1\otimes 1\) for \(\beta \ne \alpha \), and \({{\,\mathrm{\mathrm {Ad}}\,}}(V_a)\) fixes any \(J_\alpha \otimes j_1\otimes 1\) and \(K_b\otimes j_1\otimes 1\) for \(b\ne a\). Both actions fix \(\smash {{\widehat{J}}}\otimes j_1\otimes 1\).
Hence, applying the unitary equivalence induced by \(V_1\cdots V_rU_1\cdots U_s\) identifies \(\partial _{\mathrm I}\mathop {{\widehat{\otimes }}}\tau \) with the class
where \(Q=\prod _{i=1}^{r+s}\frac{1}{2}(1+k_ij_i)\) and \(\psi \) is defined by
The automorphism of \(C\ell _{s,r}\) given by \(k_\alpha \longmapsto (1)^{s+1}k_\alpha \) and \(j_a\longmapsto j_a\) preserves orientation, as \(\smash {(1)^{s(s+1)}=1}\), and thus acts trivially on \(KKR\). We may therefore remove the signs in the definition of \(\psi \) without changing the class.
The final step of the proof will be to apply stability. By [49, Corollary 2.4.9], the stability isomorphism equals the intersection product with the class
Here, \({\mathscr {K}}\) is a separable Hilbert space, \(\varPi {\mathscr {K}}\) is an odd copy thereof, \((c,S)\) is the unique irreducible real \(*\)representation of \(C\ell _{r+s,r+s}\) (see Propositions 3 and 5), and
where \(T_1\in {{\,\mathrm{{\mathscr {L}}}\,}}({\mathscr {K}})\) and \(p\) is a rank one projection. Arguing as in the proof of [49, Theorem 2.4.7], we see that the intersection product with \(\alpha \) yields the class
But \(c(Q)(S)\) has dimension one and contributes neither to the action nor to the Fredholm operator, so we conclude
The same holds for \(\partial _\mathrm I\) replaced by \(\partial _{\mathrm {I\!I}}\) and \({\widehat{J}}\) replaced by \({\widehat{J}}_{\mathrm {ref}}\). Because
this completes the proof of the theorem.
Corollaries to the main theorem
Corollary 1
Fix \(r,s\geqslant 0\) and let the reference IQPV in Theorem 5 be local, i.e.\(J_\mathrm {ref}\in {{\mathscr {C}}}(\varOmega ) \otimes \mathrm {End}(W)\) (resp. \(\mathrm {End}(V)\) in the complex case). Then the boundary class simplifies to
so that bulkboundary correspondence reads
Proof
By assumption, \(J_{\mathrm {ref}}\) commutes with \(q\), so that \({\widehat{J}}_\mathrm {ref}\) is unitary in \(\smash {\widehat{{\mathbb {A}}}}\). Hence, the class \([(\hat{J}_\mathrm {ref};\phi )]\) is trivial. \(\quad \square \)
Corollary 2
Fix \(r,s\geqslant 0\) and suppose that the reference IQPV in Theorem 5 is local (see the previous corollary). Let \((J;\phi )\) be a disordered IQPV of (complex) symmetry index \((r,s)\) such that its boundary class is trivial, i.e.\(\partial [(J;\phi )]=0\).
Then \({\widehat{J}}\) is homotopic to a (real) skewHermitian unitary anticommuting with the \(K_a,J_\alpha \). More precisely, there is a family \(\smash {{\widehat{J}}_t}\in \smash {\widehat{{\mathbb {A}}}}\), \(t\in [0,1]\), continuous in the strong\(*\) operator topology, such that \((\smash {\widehat{J_t}};\phi )\) are disordered IQPV with boundary of (complex) symmetry index \((r,s)\), and moreover, \(\smash {{\widehat{J}}_0}=\smash {{\widehat{J}}}\) and \((\smash {{\widehat{J}}}_1)^2=1\).
Proof
This is immediate from Theorem 5, Corollary 1, and the Theorem of Skandalis [10, Theorem 18.5.3]. \(\quad \square \)
Remark 17
Expressed in physics terms, the statement of Corollary 2 is the following: The boundary phase attached to a disordered bulk phase of free fermions is topologically trivial if and only if it exhibits no stable gapless localised boundary states.
Remark 18
By the exactness of the long exact sequence in \(K\)theory (19), the image of the map \(\partial \) is equal to the kernel of
By [49, Theorem 1.5.5], this coincides with \(\ker ({{{\,\mathrm{\mathrm {id}}\,}}}(\alpha _d)^*)\) where the automorphism \(\alpha _d={{\,\mathrm{\mathrm {Ad}}\,}}(u_d)\) is defined by considering \({\mathbb {A}}_\partial \subseteq {\mathbb {A}}\) in a natural fashion. This kernel is trivial if and only if \(\alpha _d\) is stably homotopic to the identity. While this holds for the clean case without disorder, it may fail in general. Thus, \(\partial \) may not be surjective.
We can compare the boundary phases corresponding to different sides of a boundary. To that end, observe that \(1q\) is the projection corresponding to the left halfspace semilattice \({\hat{\varLambda }}\). In the following proposition, let \({\widehat{J}}_+:={\widehat{J}}\) and \({\widehat{J}}_:=(1q)J(1q)\).
Proposition 11
Let \((J_\mathrm {ref};\phi )\) be a reference IQPV of (complex) symmetry index \((r,s)\). For any disordered IQPV \((J;\phi )\) of (complex) symmetry index \((r,s)\), we have
Here, we set
Proof
It is sufficient to prove that the sum \([(\widehat{J}_+;\phi )]+[(\widehat{J}_;\phi )]\) is trivial for any \(J\). The sum is represented by
Here, by definition
where \(q\) is the Szegő projection of Definition 17. The righthand side is the starting point \(F_0\) of the path
The operators \(F_t\) are skewHermitian and
The operator \(qJ(1q)Jq\) lies in the kernel of the canonical projection \(\varrho =\varrho _+\) of the right halfspace algebra. Indeed, the expression \(qO_1(1q)O_2q\) vanishes if \(O_1\) and \(O_2\) are among the generators \(f\in {\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\) and \(u_1,\ldots ,u_{d1}\), together with their adjoints, as all of these commute with \(q\). Furthermore, we compute
Because \(J\) is the limit of noncommutative polynomials in the generators \(f\) and \(u_1,\ldots ,u_d\), together with their adjoints, it follows that \(qJ(1q)Jq\) lies in the closed twosided ideal generated by \(e\). This is the kernel of \(\varrho _+\) by Theorem 4. A similar statement holds for the lower right corner of the matrix representing \(F_t^2\). Hence, \((F_t)\) is an operator homotopy, so since \(F_1^2=1\), it follows that the class represented by \(F_0\) is trivial. \(\quad \square \)
Invariance under disorder
So far, the precise nature of the space \(\varOmega \) of disorder configurations has not been important. Bulkboundary correspondence holds for any choice of \(\varOmega \). However, the \(K\)theory of the bulk and boundary algebras will in general depend on \(\varOmega \). We now address a specific type of disorder where this dependence vanishes.
In practice, disorder is introduced chiefly through impurities. In this case, the electrons experience random perturbations to the onsite atomic potential. This leads to the model
for some compact Hausdorff space \(\varOmega _0\), where the action of \(\varLambda \) is by translation in the parameter set \(\varLambda \). This dynamical system, known in mathematics as a Bernoulli shift, was suggested by Bellissard as a model for the disorder space (see [43] for an exposition).
If \(\varOmega _0\) is the space of possible perturbations of the onsite potential, then, in keeping with the literature, we assume that \(\varOmega _0\) is a compact convex subset of \(\mathbb {R}^d\). (The physical justification for this assumption is discussed at length in [35].) Mathematically, one may just as well make the following more general hypothesis.
Proposition 12
Suppose that \(\varOmega \) is a Bernoulli shift with contractible \(\varOmega _0\). Let \({\mathbb {A}}^0\), \(\widehat{{\mathbb {A}}}^0\), and \({\mathbb {A}}_\partial ^0\) denote the algebras \({\mathbb {A}}\), \(\smash {\widehat{{\mathbb {A}}}}\), and \({\mathbb {A}}_\partial \), respectively, for the case of no disorder (i.e., where \(\varOmega \) is a onepoint space). There is a commutative diagram
where the rows are the short exact sequence (17) for \({\mathbb {A}}\) and \({\mathbb {A}}^0\), respectively, and the vertical maps are homotopy equivalences of real C\(^*\)algebras.
In particular, the bulkboundary map \(\partial \) is surjective and
Remark 19
Equation (22) identifies \(KR_{sr+2}({\mathbb {A}})\) with the real \(K\)theory of the \(d\)dimensional (Brillouin) torus. The summands correspond to the wellknown \(KO\) groups of the point, see for example [4, Table 2]. The component of the bulk class of a disordered IQPV \((J;\phi )\) of symmetry index \((r,s)\) corresponding to the summand for \(i=d\) is what is often referred to in the literature as the strong invariant. The other components are summarily called weak invariants. As Theorem 5 and Proposition 12 show, at least for the type of disorder considered here, this distinction is not mathematically compelling.
In [43, Proposition 4.2.4], the \(K\)theory of the bulk algebra \(\mathrm A\) is computed under the assumption that \(\varOmega \) is a Bernoulli shift with \(\varOmega _0\) a convex compact set. The proof is based on the Pimsner–Voiculescu exact sixterm sequence and relies on the statement [43, Proposition 4.2.1] that the action \(\alpha _d\) of the translation in the direction transverse to the boundary on \({\mathscr {C}}(\varOmega )\) is homotopic to the identity. It is however not true in general that the homotopy \(\xi _t\) given in the proof is actually an isotopy on \(\varOmega \). For instance, let \(d=1\), \(\varOmega _0=[1,1]\), and \(\omega _n:=(1)^n\). Then \(\xi _{1/2}(0)=0\), but also \(\xi _{1/2}(\omega )=0\), so that \(\xi _{1/2}\) is not injective. Hence, the proof as given in [43] appears to be incomplete.
Proof of Proposition 12
By hypothesis, there is a point \(\omega _0\in \varOmega \) and a homotopy \(h=(h_t)\) of maps \(\varOmega _0\longrightarrow \varOmega _0\) where \(h_0=\omega _0\) is the constant map and \(h_1={{{\,\mathrm{\mathrm {id}}\,}}}_{\varOmega _0}\).
Consider the inclusion \(\eta :\mathrm {End}(W)\longrightarrow {\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\) and the evaluation
at the constant sequence \(x\longmapsto \omega _0\). We have \(\varepsilon \circ \eta ={{{\,\mathrm{\mathrm {id}}\,}}}\). Moreover, for any \(t\in [0,1]\),
defines a homotopy \((\phi _t)\) of real \(*\)endomorphisms of \({\mathscr {C}}(\varOmega )\otimes \mathrm {End}(W)\) such that
By definition, the morphisms \(\varepsilon \), \(\eta \), and \(\phi _t\) are \(\varLambda \)equivariant, and by restriction, also equivariant with respect to \(\varLambda _\partial \) and \({\hat{\varLambda }}\). By Theorem 1, Proposition 8, and Theorem 4, the existence of the diagram (21) follows.
The homotopy invariance of \(K\)theory gives \(KR_\bullet ({\mathbb {A}})=KR_\bullet ({\mathbb {A}}^0)\). In view of [49, Theorem 1.5.5], \(\partial \) is surjective. Since by Theorem 1,
where \(C^*(\varLambda )\) is the group C\(^*\)algebra of \(\varLambda \), we find that
From this, Equation (22) follows by [49, Theorem 1.5.4]. Equation (23) is a special case.
\(\square \)
Discussion
We have derived a framework for the bulk and boundary classification of disordered freefermion topological phases and proved that these are naturally related. In this final section, we complement our previous results by a discussion, and by drawing some physical conclusions.
Anomalous nature of the boundary phase
The physicists among our readers may wonder how to interpret our main result from the heuristics of anomaly inflow. Indeed, built on a tightbinding model, the boundary algebra \({\mathbb {A}}_\partial \) is UVcomplete and as such does not allow for the anomaly characteristic of the spatial boundary of a system in a nontrivial topological phase. Yet, the bulkboundary correspondence established in Theorem 5 does assign to the anomalous system boundary a class in the \(KR\)theory of the algebra \({\mathbb {A}}_\partial \).
To resolve the apparent conflict, one may observe that whereas the bulk \(K\)theory class of a freefermion ground state in symmetry class \(s\) resides in degree \(s+2\), the degree of the boundary class is shifted by one to \(s+1\). The index shift may be traded for a suspension, viz.
where the suspension \(S\) is effected by the tensor product with the algebra \({\mathscr {C}}_0(i\mathbb {R})\). So, morally, the boundary phase is not represented by a vector bundle (with the corresponding Clifford symmetries) over the boundary; rather, it is represented by a vector bundle over the suspension of the boundary.
The role of the trivial phase
Our construction of bulk classes depends on the choice of a trivial phase. Indeed, we have constructed bulk classes as deviations from an arbitrarily chosen reference IQPV. This circumstance is imposed by the group structure of \(K\)theory, which measures differences of certain homotopy classes, rather than the classes themselves.
From a physical point of view, freefermion topological phases do not directly have a group structure, whereas differences of such phases do. Therefore, it is advantageous for the physical interpretation of the bulk classes as freefermion topological phases that the choice of reference IQPV is not fixed by the mathematical model, and instead allows for adjustments according to the physical system of interest.
The situation is different for the boundary classes. Any reference disordered IQPV \(J_\mathrm {ref}\) that has a unitary lift \(\smash {{\widehat{J}}_\mathrm {ref}}\) (in particular, any local reference IQPV in the sense of Corollaries 1 and 2) will itself already represent a degenerate Kasparov class, trivial in the associated \(K\)group. This corresponds to the understanding in physics that a boundary freefermion topological phase is trivial if there are no stable localised boundary states that close the gap.
To state bulkboundary correspondence cleanly, our definition of boundary classes avoids the requirement that the reference IQPV be trivial in this sense. It instead measures the deviation from an arbitrary reference boundary class. The bulkboundary map is sensitive to the choice of reference phase and preserves this dependence.
The role of the internal space \(W\)
Throughout this article, we have relied on a tightbinding approximation in which the relevant degrees of freedom close to the chemical potential split into a spatial contribution, corresponding to the translational lattice of atomic sites \(\varLambda \), and a finitedimensional internal space \(V\) resp. \(W=V\oplus V^*\) independent of the spatial part. It is important that the choice of this splitting is performed in such a way that the only relevant spatial symmetries (in mean) of the Hamiltonians of interest are the lattice translations.
This is shown by the following Gedankenexperiment due to Fu–Kane–Mele [20]. Assume that \(W\) is doubled to \(W_2:=W\oplus W\) while \(\varLambda \) is reduced to \(\varLambda _2\) by merging atomic positions adjacent in one selected spatial direction. Let \({\mathbb {A}}_2\) be the bulk algebra defined in terms of \(W_2\) and \(\varLambda _2\), and suppose we are in the setting of Proposition 12. Although the \(K\)groups of \({\mathbb {A}}\) and \({\mathbb {A}}_2\) are isomorphic by the proposition, the natural “doubling” map \(\phi _2:{\mathbb {A}}\longrightarrow {\mathbb {A}}_2\) is not an isomorphism, not even on \(K\)theory. Indeed, Fu–Kane–Mele show for clean systems that, although the strong invariant is preserved, some weak invariants are annihilated by doubling; by the proposition, this also holds in the presence of disorder. Fu–Kane–Mele view the annihilation of weak invariants as an indication that they are not stable under disorder. However, as we have seen, all invariants are preserved by the kind of disorder we consider. This is corroborated by the work of Ringel–Kraus–Stern [45].
The problem lies in the fact that \(\phi _2\) maps an IQPV \(J\) in \({\mathbb {A}}\) to one in the algebra \({\mathbb {A}}_2\) which forgets the invariance (in mean) of \(J\) under the translations removed by the doubling process. By incorporating these lost translations into the definition of the algebra as symmetries of \({\mathscr {W}}_2=\ell ^2(\varLambda _2)\otimes W_2\cong {\mathscr {W}}\), we obtain a new algebra, isomorphic to \({\mathbb {A}}\) under the doubling map, thus removing the perceived inconsistencies.
Numerical topological invariants
In this paper, we have defined bulk and boundary classes for disordered IQPV in the symmetry classes of the Tenfold Way. For applications, it is desirable to have numerical indices available which make this topological classification amenable to computation. The derivation and indepth study of all such indices for our topological classes is beyond the scope of this paper. Instead, we shall give an overview of the literature and then discuss the prominent special case of the strong topological phase in some detail.
There are two major approaches to the construction of numerical topological indices. One uses the pairing with cyclic cohomology introduced by Connes, see [18, Chapter 3.3]. Attached to an algebra \(A\), there are cyclic cohomology groups \(HC^n(A)\), dual to \(K\)theory in the sense that there is a canonical pairing
This pairing has been used to write the quantised Hall conductance in the IQHE, expressed in units of \(\smash {\frac{e^2}{h}}\), as the result of pairing the \(K\)theory class defined by the QHE Hamiltonian with a canonical cyclic cocycle [8, 43].
Although a pairing with cyclic cohomology can also be defined for the \(KR\)groups of real \(K\)theory appearing in the context of the present work, the result is unsatisfactory. Indeed, the \(KR\)group of the bulk algebra may have torsion, that is, it may contain nonzero elements of finite order. For instance, the \(KR\)theory of the torus has \(\mathbb {Z}/2\mathbb {Z}\) summands in certain degrees. Any \(\mathbb {C}\) or \(\mathbb {Z}\)valued pairing will therefore be degenerate. Kellendonk addresses this problem in recent work [29].
A different approach to the construction of numerical topological invariants is to replace cyclic cohomology by the \(K\)homology groups \(KR^n({\mathbb {A}})=KKR({\mathbb {A}}\otimes C\ell _{0,n},\mathbb {C})\) of the bulk algebra \({\mathbb {A}}\) and to use the Kasparov product
Recall here that \(KR_{s+1r}({\mathbb {A}})=KKR(C\ell _{s,r},{\mathbb {A}} \otimes C\ell _{0,1})\) is the group harbouring the bulk classes of freefermion topological phases that we have constructed. In principle, this approach avoids the problems with \(\mathbb {C}\) or \(\mathbb {Z}\)valued pairings, as the righthand side may be any summand appearing in the \(KR\)theory of the torus.
The difficulty lies in finding suitable classes in \(K\)homology to insert into the pairing. For \(n=d\), where \(d\) is the dimension of lattice \(\varLambda \) of translations, such a \(K\)homology class is constructed in [12], leading to an index formula for the strong topological invariant. A complete picture is as yet unavailable for the case of \(n<d\) corresponding to the weak invariants, although some contributions to this end have been made in [14].
Let us examine the strong invariant more closely. As we have seen above, in the clean limit, it is defined as the topdimensional \(K\)theory invariant of the \(d\)dimensional torus. As long as the disorder space \(\varOmega \) meets the assumptions of Proposition 12, this definition still makes sense. In general, the definition depends on the choice of a point \(\omega \in \varOmega \) fixed by the action of the translational lattice \(\varLambda \). (For the Bernoulli shifts of Proposition 12, the fixed points are the constant sequences.) Evaluation at \(\omega \) defines a map
generalising the strong invariant [13].
As the notation suggests, \(\lambda _{d1}^\omega \) might depend on \(\omega \). In the situation of Proposition 12, it is independent thereof. More generally, if the action of \(\varLambda \) on \(\varOmega \) is ergodic for an invariant probability \({\mathbb {P}}\) on \(\varOmega \), then it is \({\mathbb {P}}\)a.s. constant as a function of \(\omega \). (This is really a generalisation of the former statement, as Bernoulli shifts admit ergodic measures.)
So far, we have assumed that the boundary is perpendicular the \(d\)th coordinate direction. For a fixed choice of disordered IQPV of a given symmetry index, one may observe topological features at different boundaries. Although they may in general depend on the choice of the boundary, we have for the strong topological invariant:
as follows from [13, Corollary 3.6]. Here, \(\partial _i\) is the bulkboundary map for a boundary plane perpendicular to the \(i\)th coordinate axis. Thus, pullbacks to the bulk of the strong topological invariants for different boundaries differ only by the sign corresponding to the change of orientation. From our explicit form of the bulkboundary correspondence, we conclude that all boundaries exhibit gapless boundary states, as long as the strong topological bulk phase is nontrivial.
References
 1.
Altland, A., Zirnbauer, M.R.: Nonstandard symmetry classes in mesoscopic normalsuperconducting hybrid structures. Phys. Rev. B 55(2), 1142–1161 (1997)
 2.
Arens, R.: Representation of *algebras. Duke Math. J. 14, 269282 (1947)
 3.
Arens, R.F., Kaplansky, I.: Topological representation of algebras. Trans. Am. Math. Soc. 63, 457–481 (1948)
 4.
Atiyah, M.F., Bott, R., Shapiro, A.: Clifford modules. Topology 3(suppl. 1), 3–38 (1964). https://doi.org/10.1016/00409383(64)900035
 5.
Avron, J.E., Seiler, R., Simon, B.: Homotopy and quantization in condensed matter physics. Phys. Rev. Lett. 51(1), 51–53 (1983). https://doi.org/10.1103/PhysRevLett.51.51
 6.
Bellissard, J.: Gap labelling theorems for Schrödinger operators. In: Waldschmidt, M., Moussa, P., Luck, J.M., Itzykson, C. (eds.) From Number Theory to Physics (Les Houches, 1989), pp. 538–630. Springer, Berlin, Heidelberg (1992). https://doi.org/10.1007/9783662028384_12
 7.
Bellissard, J.: Ktheory of \(C^{*}\)algebras in solid state physics. In: Dorlas, T.C., Hugenholtz, N.M., Winnink, M. (eds.) Statistical Mechanics and Field Theory: Mathematical Aspects (Groningen, 1985). Lecture Notes Physics, vol. 257, pp. 99–156. Springer, Berlin, Heidelberg (1986). https://doi.org/10.1007/3540167773_74
 8.
Bellissard, J., van Elst, A., SchulzBaldes, H.: The noncommutative geometry of the quantum Hall effect. J. Math. Phys. 35(10), 5373–5451 (1994). https://doi.org/10.1063/1.530758
 9.
Bellissard, J., Nakamura, S.: Low energy bands do not contribute to quantum Hall effect. Commun. Math. Phys. 131(2), 283–305 (1990)
 10.
Blackadar, B.: KTheory for Operator Algebras. Mathematical Sciences Research Institute Publications. Cambridge University Press, Cambridge (1998)
 11.
Blackadar, B.: Shape theory for \(C^{\ast }\)algebras. Math. Scand. 56(2), 249–275 (1985). https://doi.org/10.7146/math.scand.a12100
 12.
Bourne, C., Carey, A.L., Rennie, A.: A noncommutative framework for topological insulators. Rev. Math. Phys. (2016). https://doi.org/10.1142/S0129055X16500045
 13.
Bourne, C., Kellendonk, J., Rennie, A.: The Ktheoretic bulkedge correspondence for topological insulators. Ann. Inst. Henri Poincare (A) 18, 1833–1866 (2017). https://doi.org/10.1007/s0002301605412
 14.
Bourne, C., SchulzBaldes, H.: Application of semifinite index theory to weak topological phases. In: Wood, D., de Gier, J., Praeger, C., Tao, T. (eds.) 2016 MATRIX Annals. MATRIX Book Series, vol. 1, pp. 203–227. Springer, Cham (2018). https://doi.org/10.1007/9783319722993_10
 15.
Busby, R.C.: Double centralizers and extensions of \({ C}^{\ast }\)algebras. Trans. Am. Math. Soc. 132, 79–99 (1968). https://doi.org/10.2307/1994883
 16.
Busby, R.C., Smith, H.A.: Representations of twisted group algebras. Trans. Am. Math. Soc. 149, 503–537 (1970). https://doi.org/10.2307/1995410
 17.
Chiu, C.K., et al.: Classification of topological quantum matter with symmetries. Rev. Mod. Phys. 88(3), 035005 (2016). https://doi.org/10.1103/RevModPhys.88.035005
 18.
Connes, A.: Noncommutative Geometry. Elsevier Science, Amsterdam (1995). ISBN 9780080571751
 19.
Freed, D.S., Moore, G.W.: Twisted equivariant matter. Ann. Henri Poincare 14(8), 1927–2023 (2013). https://doi.org/10.1007/s000230130236x
 20.
Fu, L., Kane, C.L., Mele, E.J.: Topological insulators in three dimensions. Phys. Rev. Lett. 98, 106803 (2007). https://doi.org/10.1103/PhysRevLett.98.106803
 21.
Graf, G.M., Porta, M.: Bulkedge correspondence for twodimensional topological insulators. Commun. Math. Phys. 324(3), 851–895 (2013). https://doi.org/10.1007/s0022001318196
 22.
Haldane, F.D.M.: Model for a quantum Hall effect without Landau levels condensedmatter realization of the ’parity anomaly. Phys. Rev. Lett. 61(18), 2015–2018 (1988)
 23.
Hannabuss, K.C., Mathai, V., Thiang, G.C.: Tduality simplifies bulkboundary correspondence: the noncommutative case. Lett. Math. Phys. 108(5), 1163–1201 (2018). https://doi.org/10.1007/s110050171028x
 24.
Heinzner, P., Huckleberry, A., Zirnbauer, M.R.: Symmetry classes of disordered fermions. Commun. Math. Phys. 257(3), 725–771 (2005). https://doi.org/10.1007/s0022000513309
 25.
Ingelstam, L.: Real Banach algebras. Ark. Mat. 5, 239–270 (1964)
 26.
Kane, C.L., Mele, E.J.: \(\mathbb{Z}/2\mathbb{Z}\) topological order and the quantum spin Hall effect. Phys. Rev. Lett. 95(14), 146802 (2005). https://doi.org/10.1103/PhysRevLett.95.146802
 27.
Kasparov, G.G.: The operator \(K\)functor and extensions of C\(^{\ast }\)algebras. Izv. Akad. Nauk SSSR Ser. Mat. 16(3), 513–572 (1981)
 28.
Kasparov, G.G.: Topological invariants of elliptic operators. I. \(K\)homology. Izv. Akad. Nauk SSSR Ser. Mat. 9(4), 751–792 (1975)
 29.
Kellendonk, J.: Cyclic cohomology for graded \(C^{\ast, r}\)algebras and its pairings with van Daele Ktheory. Commun. Math. Phys. 368(2), 467–518 (2019). https://doi.org/10.1007/s00220019034521
 30.
Kellendonk, J.: On the C\(^{\ast }\)algebraic approach to topological phases for insulators. Ann. Henri Poincare 18(7), 2251–2300 (2017). https://doi.org/10.1007/s0002301705830
 31.
Kellendonk, J., Richter, T., SchulzBaldes, H.: Edge current channels and Chern numbers in the integer quantum Hall effect. Rev. Math. Phys. 14(1), 87–119 (2002). https://doi.org/10.1142/S0129055X02001107
 32.
Kennedy, R., Zirnbauer, M.R.: Bott periodicity for \(\mathbb{Z}_{2}\) symmetric ground states of gapped freefermion systems. Commun. Math. Phys. 342, 909–963 (2016). https://doi.org/10.1007/s0022001525128
 33.
Kitaev, A.: Periodic table for topological insulators and superconductors. AIP Conf. Proc. 1134(1), 22–30 (2009)
 34.
Kubota, Y.: Controlled topological phases and bulkedge correspondence. Commun. Math. Phys. 349(2), 493–525 (2017). https://doi.org/10.1007/s0022001626993
 35.
Kuhne, T.D., Prodan, E.: Disordered crystals from first principles I: quantifying the configuration space. Ann. Phys. 391, 120–149 (2018). https://doi.org/10.1016/j.aop.2018.01.016
 36.
Lawson Jr., H.B., Michelsohn, M.L.: Spin Geometry. Vol. 38. Princeton Mathematical Series. Princeton University Press, Princeton (1989)
 37.
Loring, T.A.: \(K\)theory and pseudospectra for topological insulators. Ann. Phys. 356, 383–416 (2015). https://doi.org/10.1016/j.aop.2015.02.031
 38.
Luke, G.M., et al.: Timereversal symmetry breaking superconductivity in \(\text{ Sr }_{2}\text{ RuO }_{4}\). Nature 394(6693), 558–561 (1998). https://doi.org/10.1038/29038
 39.
Mathai, V., Thiang, G.C.: \(T\)duality simplifies bulkboundary correspondence: some higher dimensional cases. Ann. Henri Poincare 17(12), 3399–3424 (2016). https://doi.org/10.1007/s0002301605056
 40.
Mathai, V., Thiang, G.C.: Tduality simplifies bulkboundary correspondence. Commun. Math. Phys. 345(2), 675–701 (2016). https://doi.org/10.1007/s0022001626196
 41.
Murphy, G.J.: Ordered groups and crossed products of C*algebras. Pac. J. Math. 148(2), 319–349 (1991)
 42.
Pedersen, G.K.: \(C*\)Algebras and Their Automorphism Groups, Vol. 14. London Mathematics Society of Monographs. Academic Press Inc., London (1979)
 43.
Prodan, E., SchulzBaldes, H.: Bulk and Boundary Invariants for Complex Topological Insulators. Mathematical Physics Studies. Springer, Cham (2016). https://doi.org/10.1007/9783319293516
 44.
Raeburn, I., Williams, D.P.: Morita Equivalence and ContinuousTrace \(C^{\ast }\)Algebras. Vol. 60. Mathematical Surveys and Monographs. American Mathematical Society, Providence (1998). https://doi.org/10.1090/surv/060
 45.
Ringel, Z., Kraus, Y.E., Stern, A.: Strong side of weak topological insulators. Phys. Rev. B 86, 045102 (2012). https://doi.org/10.1103/PhysRevB.86.045102
 46.
Roe, J.: Lectures on Coarse Geometry. Vol. 10. University Lecture Series. American Mathematical Society, Provoidence (2003). https://doi.org/10.1090/ulect/031
 47.
Roe, J.: Paschke duality for real and graded \(C*\)algebras. Q. J. Math. Oxf. Ser. 55(3), 325–331 (2004). https://doi.org/10.1093/qmath/hah001
 48.
Schnyder, A.P., et al.: Classification of topological insulators and superconductors in three spatial dimensions. Phys. Rev. B 78(19), 195125 (2008)
 49.
Schroder, H.: \(K\)Theory for Real \(C*\)Algebras and Applications. Chapman & Hall/CRC Research Notes in Mathematics Series. Taylor & Francis, Abingdon (1993)
 50.
SchulzBaldes, H., Kellendonk, J., Richter, T.: Simultaneous quantization of edge and bulk Hall conductivity. J. Phys. A 33(2), L27–L32 (2000). https://doi.org/10.1088/03054470/33/2/102
 51.
Thouless, D.J., et al.: Quantized Hall conductance in a twodimensional periodic potential. Phys. Rev. Lett. 49(6), 405–408 (1982). https://doi.org/10.1103/PhysRevLett.49.405
 52.
Van Daele, A.: \(K\)theory for graded Banach algebras. I. Q. J. Math. Oxf. Ser. (2) 39(154), 185–199 (1988). https://doi.org/10.1093/qmath/39.2.185
 53.
Van Daele, A.: \(K\)theory for graded Banach algebras. II. Pac. J. Math. 134(2), 377–392 (1988). DOI: euclid.pjm/1102689267
Acknowledgements
The authors wish to thank Matthias Lesch for his remarks on Lemma 5 in a previous version of the manuscript, which have helped us improve a statement which otherwise could easily have led to misconceptions. Our thanks also extend to an anonymous referee, whose comments have aided us in enhancing the article. Research supported by Deutsche Forschungsgemeinschaft (DFG), Projektnummer 316511131, TRR 183, project A03 (all authors), Projektnummer 282448306, AL 698/31 (AA), and Projektnummer 49599460, GSC 260 (CM), as well as QM\(^2\)–Quantum Matter and Materials as part of the Institutional Strategy of the University of Cologne in the Excellence Initiative (all authors). We (AA, CM) thank the Department of Mathematics of the University of California at Berkeley and the Institute for Theoretical Physics at the University of Cologne for their hospitality during the preparation of this article. CM acknowledges the participation in the School on “\(KK\)theory, Gauge Theory, and Topological Phases” (February 27–March 10, 2017) at the Lorentz Center, Leiden, and the Thematic Programme on “Bivariant \(K\)theory in Geometry and Physics” (November 6–30, 2018) at the Erwin Schrödinger Institute for Mathematical Physics, Vienna.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Communicated by Y. Kawahigashi
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Alldridge, A., Max, C. & Zirnbauer, M.R. BulkBoundary Correspondence for Disordered FreeFermion Topological Phases. Commun. Math. Phys. 377, 1761–1821 (2020). https://doi.org/10.1007/s00220019035817
Received:
Accepted:
Published:
Issue Date: