Abstract
We discuss some bulk-surface gapped Hamiltonians on a lattice with corners and propose a periodic table for topological invariants related to corner states aimed at studies of higher-order topological insulators. Our table is based on four things: (1) the definition of topological invariants, (2) a proof of their relation with corner states, (3) computations of K-groups and (4) a construction of explicit examples.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recent developments in condensed matter physics have greatly generalized the bulk-boundary correspondence for topological insulators to include corner states. Topological insulators have a gapped bulk, which incorporates some topology that do not change unless the spectral gap of the bulk Hamiltonian closes under deformations. Examples include the TKNN number for quantum Hall systems [66] and the Kane-Mele \(\mathbb {Z}_2\) index for quantum spin Hall systems [37]. It is known that, corresponding to these bulk invariants, gapless edge states appear, which is called the bulk-boundary correspondence [32]. After Schnyder–Ryu–Furusaki–Ludwig’s classification of topological insulators [61] for ten Altland–Zirnbauer classes [2], Kitaev noted the role of K-theory and Bott periodicity in the classification problem and obtained the famous periodic table [43]. Recently, some (at least bulk) gapped systems possessing in-gap or gapless states localized around a higher-codimensional part of the boundary (corners or hinges) are studied [12, 31, 42], which are called higher-order topological insulators (HOTIs) [60]. For example, for second-order topological insulators, not only is the bulk gapped but also the codimension-one boundaries (edges, surfaces), and an in-gap or a gapless state appears around codimension-two corners or hinges. In this framework, conventional topological insulators are regarded as first-order topological insulators. HOTIs are now actively studied and the classification of HOTIs has also been proposed [26, 41, 53]. Generalizing the bulk-boundary correspondence, relations between some gapped topology and corner states are much discussed [5, 64, 67].
Initiated by Bellissard, K-theory and index theory are known to provide a powerful tool to study topological insulators. Bellissard–van Elst–Schulz-Baldes studied quantum Hall effects by means of noncommutative geometry [10, 11], and Kellendonk–Richter–Schulz–Baldes went on to prove the bulk-boundary correspondence by using index theory for Toeplitz operators [40]. The study of topological insulators, especially regarding its classification and the bulk-boundary correspondence for each of the ten Altland–Zirnbauer classes by using K-theory and index theory, has been much developed [1, 16, 17, 24, 28, 30, 39, 40, 45, 49, 58, 65, 65]. In [33], three-dimensional (3-D) class A bulk periodic systems are studied on one piece of a lattice cut by two specific hyperplanes, which is a model for systems with corners. Based on the index theory for quarter-plane Toeplitz operators [23, 55, 63], a topological invariant is defined assuming the spectral gap both on the bulk Hamiltonian and on two half-space compressions of it. This gapped topological invariant is topological in the sense that it does not change under continuous deformation of the bulk Hamiltonians unless the spectral gap of one of the two surfaces closes. It is proved that corresponding to this topology gapless corner states appear. A construction of nontrivial examples by using two first-order topological insulators (of 2-D class A and 1-D class AIII) is also proposed. Class AIII codimension-two systems are also studied through this method in [34] and, as an application to HOTIs, the appearance of topological corner states in Benalcazar–Bernevig–Hughes’ 2-D model [12] is explained based on the chiral symmetry. The construction of examples in [34] leads to a proposal of second-order semimetallic phase protected by the chiral symmetry [52].
The purpose of this paper is to expand the results in [33] to all Altland–Zirnbauer classes and systems with corners of arbitrary codimension. Since class A and class AIII systems (with codimension-two corners) were already discussed in [33, 34] by using complex K-theory, we focus on the remaining eight cases, for which we use real K-theory. For our expansion, a basic scheme has already been well developed in the above previous studies, which we mainly follow: some gapped Hamiltonian defines an element of a KO-group of a real \(C^*\)-algebra, and its relation with corner states are clarified by using index theory [16, 17, 24, 30, 39, 40, 45, 65]. Although many techniques have already been developed in studies of topological insulators, in our higher-codimensional cases, we still lack some basic results at the level of K-theory and index theory; hence, the first half of this paper is devoted to these K-theoretic preliminaries, that is, the computation of KO-groups for real \(C^*\)-algebras associated with the quarter-plane Toeplitz extension and the computation of boundary maps for the 24-term exact sequence of KO-theory associated with it, which are carried out in Sect. 3. Since the quarter-plane Toeplitz extension [55] is a key tool in our study of codimension-two corners, such a variant for Toeplitz operators associated with higher-codimensional corners should be clarified, which are carried out in Sect. 4. These variants of Toeplitz operators were discussed in [22, 23], and the contents in Sect. 4 will be well known to experts. Since the author could not find an appropriate reference, especially concerning Theorem 1 which will play a key role in Sect. 5, the results are included for completeness. Note that the idea there to use tensor products of the ordinary Toeplitz extension for the study of these variants is based on the work of Douglas–Howe [23], where these higher-codimensional generalizations are briefly mentioned. The study of some gapped phases for systems with corners in Altland–Zirnbauer’s classification is carried out in Sect. 5. In the framework of the one-particle approximation, we consider n-D systems with a codimension k corner and take compressions of the bulk Hamiltonian onto infinite lattices with codimension \(k-1\) cornersFootnote 1 whose intersection makes the codimension k corner. We assume that they are gapped. Note that, under this assumption, bulk, surfaces and corners up to codimension \(k-1\) which constitute the codimension k corner are also gapped. For such a system, we define two topological invariants as elements of some KO-groups: one is defined for these gapped Hamiltonians, while the other one is related to in-gap or gapless codimension k corner states. We then show a relation between these two which states that topologically protected corner states appear reflecting some gapped topology of the system. We first study codimension-two cases (Sects. 5.1 to 5.4) and then discuss higher-codimensional cases (Sect. 5.5). This distinction is made because many detailed results have been obtained for codimension-two cases by virtue of previous studies of quarter-plane Toeplitz operators [36, 55] (the shape of the corner we discuss is more general than in higher-codimensional cases, and a relation between convex and concave corners is also obtained in [34]). Based on these results, we propose a classification table for topological invariants related to corner states (Table 1). Note that the codimension-one case of Table 1 is Kitaev’s table [43] and Table 1 is also periodic by the Bott periodicity. In order further to clarify a relation between our invariants and corner states, in Sect. 5.6, we introduce \(\mathbb {Z}\) or \(\mathbb {Z}_2\)-valued numerical corner invariants when the dimension of the corner is zero or one. They are defined by (roughly speaking) counting the number of corner states. A construction of examples is discussed in Sect. 5.7. As in [33], this is given by using pairs of Hamiltonians of two lower-order topological insulators. In the real classes, there are 64 pairs of them and the results are collected in Table 12. By using this method, we can construct nontrivial examples of each entry of Table 1, starting from Hamiltonians of first-order topological insulators. The corner invariant for the constructed Hamiltonian is expressed by corner (or edge) invariants of constituent two Hamiltonians. This is given by using an exterior product of some KO-groups in general, though, as in [33, 34], the formula for numerical invariants introduced in Sect. 5.6 is also included. For computations of KO-groups and classification of such gapped systems, we employ Boersema–Loring’s unitary picture for KO-theory [14] whose definitions are collected in Sect. 2. Basic results for some Toeplitz operators are also included there. In Appendix A, we revisit Atiyah–Singer’s study of spaces of skew-adjoint Fredholm operators [9] and collect necessary results from the viewpoint of Boersema–Loring’s K-theory. Definitions of some \(\mathbb {Z}_2\)-spaces, maps between them, expression of boundary maps of 24-term exact sequences used in this paper are collected there.
Finally, let us point out a relation with our results and the current rapidly developing studies on HOTIs. In [26], the HOTIs are divided into two classes: intrinsic HOTIs, which basically originate from the bulk topology protected by a point group symmetry, and others extrinsic HOTIs. Our study will be for extrinsic HOTIs since no-point group symmetry is assumed and our classification table (Table 1) is consistent with that of Table 1 in [26].
2 Preliminaries
In this section, we collect the necessary results and notations.
2.1 Boersema–Loring’s KO-groups via unitary elements
In this subsection, we collect Boersema–Loring’s definition of KO-groups by using unitaries satisfying some symmetries [14]. The basics of real \(C^*\)-algebras and KO-theory can be found in [29, 62], for example.
A \(C^{*, \tau }\)-algebra is a pair \((\mathscr {A}, \tau )\) consisting of (complex) \(C^*\)-algebra \(\mathscr {A}\) and an anti-automorphismFootnote 2\(\tau \) of \(\mathscr {A}\) satisfying \(\tau ^2=1\). We call \(\tau \) the transposition and write \(a^\tau \) for \(\tau (a)\). There is a category equivalence between the category of \(C^{*, \tau }\)-algebras and the category of real \(C^*\)-algebras: for a \(C^{*, \tau }\)-algebra \((A,\tau )\), the corresponding real \(C^*\)-algebra is \(\mathscr {A}^\tau = \{ a \in \mathscr {A} \ | \ a^\tau = a^* \}\), and its inverse is given by the complexification. A real structure on a (complex) \(C^*\)-algebra A is an antilinear \(*\)-automorphism \(\mathfrak {r}\) satisfying \(\mathfrak {r}^2 = 1\). For a real structure \(\mathfrak {r}\), there is an associated transposition \(\tau \) given by \(\tau (a) = \mathfrak {r}(a^*)\), which gives a one-to-one correspondence between transpositions and real structures on the \(C^*\)-algebraFootnote 3. We extend the transposition \(\tau \) on \(\mathscr {A}\) to the transposition (for which we simply write \(\tau \)) on the matrix algebra \(M_n(\mathscr {A})\) by \((a_{ij})^\tau = (a_{ji}^\tau )\) where \(a_{ij} \in \mathscr {A}\) and \(1 \le i,j \le n\). This induces a transposition \(\tau _\mathscr {K}\) on \(\mathscr {K}\otimes \mathscr {A}\) where \(\mathscr {K}= \mathscr {K}(\mathscr {V})\) is the \(C^*\)-algebra of compact operators on a separable complex Hilbert space \(\mathscr {V}\). Let \(\sharp \otimes \tau \) be a transposition on \(M_2(\mathscr {A})\) defined byFootnote 4
If we identify the quaternions \(\mathbb {H}\) with \(\mathbb {C}^2\) by \(x+yj \mapsto (x,y)\), the left multiplication by j corresponds to \(j(x,y) = (-\bar{y},\bar{x})\). Then, we have \(\sharp \otimes \mathrm {id}= {{\,\mathrm{\mathrm {Ad}}\,}}_j \circ *\) where \(*\) denotes the operation of taking conjugation of matrices and the \(C^{*, \tau }\)-algebra \((M_2(\mathbb {C}), \sharp \otimes \mathrm {id})\) corresponds to the real \(C^*\)-algebra \(\mathbb {H}\) of quaternions. We extend this transposition to \(M_{2n}(\mathscr {A})\) by \((b_{ij})^{\sharp \otimes \tau } = (b_{ji}^{\sharp \otimes \tau })\) where \(1 \le i,j \le n\) and \(b_{ij} \in M_2(\mathscr {A})\). On \(M_{2n}(\mathscr {A})\), we also consider a transposition \(\widetilde{\sharp } \otimes \tau \) defined by
where \(c_{ij} \in M_n(\mathscr {A})\). For an \(m \times m\) matrix X, we write \(X_n\) for the \(mn \times mn\) block diagonal matrix \(\mathrm {diag}(X, \ldots , X)\). For example, we write \(1_n\) for the \(n \times n\) diagonal matrix \(\mathrm {diag}(1, \ldots , 1)\).
Definition 1
(Boersema–Loring [14]) Let \((\mathscr {A},\tau )\) be a unital \(C^{*, \tau }\)-algebra. For \(i = -1, 0, \ldots , 6\), let \(n_i\) be a positive integer, \(\mathscr {R}_i\) be a relation and \(I^{(i)}\) be a matrix, as indicated in Table 2. Let \(U^{(i)}_k(\mathscr {A},\tau )\) be the set of all unitaries in \(M_{n_i \cdot k}(\mathscr {A})\) satisfying the relation \(\mathscr {R}_i\). On the set \(U^{(i)}_\infty (\mathscr {A},\tau ) = \cup _{k=1}^\infty U^{(i)}_k(\mathscr {A},\tau )\), we consider the equivalence relation \(\sim _i\) generated by homotopy and stabilization given by \(I^{(i)}\). We define \(KO_i(\mathscr {A}, \tau ) = U^{(i)}_\infty (\mathscr {A},\tau ) / \sim _i\) which is a group by the binary operation given by \([u] + [v] = [\mathrm {diag}(u,v)]\).
For a nonunital \(C^{*, \tau }\)-algebra \((A,\tau )\), the i-th KO-group \(KO_i(\mathscr {A}, \tau )\) is defined as the kernel of \(\lambda _* :KO_i(\tilde{\mathscr {A}}, \tau ) \rightarrow KO_i(\mathbb {C}, \mathrm {id})\), where \(\tilde{\mathscr {A}}\) is the unitization of \(\mathscr {A}\) and \(\lambda :\tilde{\mathscr {A}} \rightarrow \mathbb {C}\) is the natural projection. In [14], they also describe the boundary maps of the 24-term exact sequence for KO-theory associated with a short exact sequence of \(C^{*, \tau }\)-algebras. In Appendix A.3, we discuss an alternative description for some of them through exponentials.
2.2 Toeplitz operators
In this subsection, we collect the definitions and basic results for some Toeplitz operators used in this paper [22, 55].
Let \(\mathbb {T}\) be the unit circle in the complex plane \(\mathbb {C}\), and let c be the complex conjugation on \(\mathbb {C}\), that is, \(c(z) = \bar{z}\). Let n be a positive integer. On the n-dimensional torus \(\mathbb {T}^n\), we consider an involution \(\zeta \) defined as the n-fold product of c. This induces a transposition \(\tau _{\mathbb {T}}\) on \(C(\mathbb {T}^n)\) by \((\tau _{\mathbb {T}} f)(t) = f(\zeta (t))\). Let \(\mathbb {Z}_{\ge 0}\) be the set of nonnegative integers and \(P_n\) be the orthogonal projection of \(l^2(\mathbb {Z}^n)\) onto \(l^2((\mathbb {Z}_{\ge 0})^n)\). For a continuous function \(f :\mathbb {T}^n \rightarrow \mathbb {C}\), let \(M_f\) be the multiplication operator on \(l^2(\mathbb {Z}^n)\) generated by f. We consider the operator \(P_n M_f P_n\) on \(l^2((\mathbb {Z}_{\ge 0})^n)\), which is the Toeplitz operator associated with the subsemigroup \((\mathbb {Z}_{\ge 0})^n\) of \(\mathbb {Z}^n\) of symbol f. We write \(\mathscr {T}^n\) for the \(C^*\)-subalgebra of \(\mathscr {B}(l^2((\mathbb {Z}_{\ge 0})^n))\) generated by these Toeplitz operators. The algebra \(\mathscr {T}^1\) is the ordinary Toeplitz algebra, and we simply write \(\mathscr {T}\). Note that the algebra \(\mathscr {T}^n\) is isomorphic to the n-fold tensor product of \(\mathscr {T}\). The complex conjugation c on \(\mathbb {C}\) induces an antiunitary operatorFootnote 5 of order two on the Hilbert space \(l^2(\mathbb {Z}^n)\) by the pointwise operation, for which we also write c. This induces a real structure \(\mathfrak {c}\) on \(\mathscr {B}(l^2((\mathbb {Z}_{\ge 0})^n))\) by \(\mathfrak {c}(a) = {{\,\mathrm{\mathrm {Ad}}\,}}_c(a) = c a c^*\). We write \(\tau _\mathscr {T}\) for the transposition on \(\mathscr {T}^n\) given by its restriction onto \(\mathscr {T}^n\).
We next focus on the case of \(n=2\). We consider the Hilbert space \(l^2(\mathbb {Z}^2)\) and take its orthonormal basis \(\{ \delta _{m,n} \ | \ (m,n) \in \mathbb {Z}^2 \}\), where \(\delta _{m,n}\) is the characteristic function of the point (m, n) on \(\mathbb {Z}^2\). When \(f \in C(\mathbb {T}^2)\) is given by \(f(z_1,z_2) = z_1^m z_2^n\), we write \(M_{m,n}\) for the multiplication operator \(M_f\). Let \(\alpha < \beta \) be real numbers, and let \(\mathscr {H}^{\alpha }\), \(\mathscr {H}^{\beta }\), \(\hat{\mathscr {H}}^{\alpha ,\beta }\) and \(\check{\mathscr {H}}^{\alpha ,\beta }\) be closed subspaces of \(l^2(\mathbb {Z}^2)\) spanned by \(\{ \delta _{m,n} \ | -\alpha m + n \ge 0 \}\), \(\{ \delta _{m,n} \ | -\beta m + n \le 0 \}\), \(\{ \delta _{m,n} \ | -\alpha m + n \ge 0 \ \text {and}\ -\beta m + n \le 0 \}\), and \(\{ \delta _{m,n} \ | -\alpha m + n \ge 0 \ \text {or}\ -\beta m + n \le 0 \}\), respectively. In the following, we may take \(\alpha = -\infty \) or \(\beta = \infty \), but not both. Let \(P^{\alpha }\), \(P^{\beta }\), \(\hat{P}^{\alpha ,\beta }\) and \(\check{P}^{\alpha ,\beta }\) be the orthogonal projection of \(l^2(\mathbb {Z}^2)\) onto \(\mathscr {H}^{\alpha }\), \(\mathscr {H}^{\beta }\), \(\hat{\mathscr {H}}^{\alpha ,\beta }\) and \(\check{\mathscr {H}}^{\alpha ,\beta }\), respectively. For \(f \in C(\mathbb {T}^2)\), the operators \(P^{\alpha }M_f P^{\alpha }\) on \(\mathscr {H}^{\alpha }\) and \(P^{\beta }M_f P^{\beta }\) on \(\mathscr {H}^{\beta }\) are called half-plane Toeplitz operators. The operator \(\hat{P}^{\alpha ,\beta }M_f \hat{P}^{\alpha ,\beta }\) on \(\hat{\mathscr {H}}^{\alpha ,\beta }\) is called the quarter-plane Toeplitz operator, and \(\check{P}^{\alpha ,\beta }M_f \check{P}^{\alpha ,\beta }\) on \(\check{\mathscr {H}}^{\alpha ,\beta }\) is its concave corner analogue. We write \(\mathscr {T}^{\alpha }\) and \(\mathscr {T}^{\beta }\) for \(C^*\)-algebras generated by these half-plane Toeplitz operators and \(\hat{\mathscr {T}}^{\alpha ,\beta }\) and \(\check{\mathscr {T}}^{\alpha ,\beta }\) for \(C^*\)-algebras generated by the quarter-plane and concave corner Toeplitz operators, respectively. There are \(*\)-homomorphisms \(\sigma ^\alpha :\mathscr {T}^{\alpha }\rightarrow C(\mathbb {T}^2)\) and \(\sigma ^\beta :\mathscr {T}^{\beta }\rightarrow C(\mathbb {T}^2)\), which map \(P^{\alpha }M_f P^{\alpha }\) and \(P^{\beta }M_f P^{\beta }\) to the symbol f, respectively. We define the \(C^*\)-algebra \(\mathscr {S}^{\alpha , \beta }\) as a pullback \(C^*\)-algebra of these two \(*\)-homomorphisms. The real structure c on \(\mathscr {H}= l^2(\mathbb {Z}^2)\) induces real structures \(\mathfrak {c}\) on \(\mathscr {T}^{\alpha }\), \(\mathscr {T}^{\beta }\), \(\hat{\mathscr {T}}^{\alpha ,\beta }\), \(\check{\mathscr {T}}^{\alpha ,\beta }\), and \(\mathscr {S}^{\alpha , \beta }\) and thus induces transpositions \(\tau _\alpha \), \(\tau _\beta \), \(\hat{\tau }_{\alpha ,\beta }\), \(\check{\tau }_{\alpha ,\beta }\) and \(\tau _\mathscr {S}\) on \(\mathscr {T}^{\alpha }\), \(\mathscr {T}^{\beta }\), \(\hat{\mathscr {T}}^{\alpha ,\beta }\), \(\check{\mathscr {T}}^{\alpha ,\beta }\) and \(\mathscr {S}^{\alpha , \beta }\), respectively. For transpositions, we may simply write \(\tau \) when it is clear from the context. The maps \(\sigma ^\alpha \) and \(\sigma ^\beta \) preserve the real structures, and we have the following pullback diagram:
We write \(\sigma \) for the composition \(\sigma ^\alpha \circ p^\alpha = \sigma ^\beta \circ p^\beta \). Let \(\hat{\gamma }\) be a \(*\)-homomorphism from \(\hat{\mathscr {T}}^{\alpha ,\beta }\) to \(\mathscr {S}^{\alpha , \beta }\) which maps \(\hat{P}^{\alpha ,\beta }M_f \hat{P}^{\alpha ,\beta }\) to the pair \((P^{\alpha }M_f P^{\alpha }, P^{\beta }M_f P^{\beta })\). This map \(\hat{\gamma }\) preserves the real structures, and there is the following short exact sequence of \(C^{*, \tau }\)-algebras (Park [55]):
where the map from \((\mathscr {K}(\hat{\mathscr {H}}^{\alpha ,\beta }), \tau _\mathscr {K})\) to \((\hat{\mathscr {T}}^{\alpha ,\beta }, \hat{\tau }_{\alpha ,\beta })\) is the inclusion. Its concave corner analogue is studied in [34], and the following exact sequence is obtained:
where \(\check{\gamma }\) is a \(*\)-homomorphism mapping \(\check{P}^{\alpha ,\beta } M_f \check{P}^{\alpha ,\beta }\) to \(( P^{\alpha } M_f P^{\alpha }, P^{\beta } M_f P^{\beta })\).
3 KO-groups of \(C^*\)-algebras associated with half-plane and quarter-plane toeplitz operators
In this section, the KO-theory for half-plane and quarter-plane Toeplitz operators is discussed. In Sect. 3.1, KO-groups of the half-plane Toeplitz algebra are computed. Quarter-plane Toeplitz operators are discussed in the following sections, and the KO-groups of the \(C^{*, \tau }\)-algebra \((\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S})\) are computed in Sect. 3.2. In Sect 3.3, the boundary maps of the 24-term exact sequence for KO-theory associated with sequence (2) are discussed and the KO-groups of the quarter-plane Toeplitz algebra \((\hat{\mathscr {T}}^{\alpha ,\beta },\hat{\tau }_{\alpha ,\beta })\) are computed.
3.1 KO-groups of \((\mathscr {T}^{\alpha }, \tau _\alpha )\)
We compute the KO-groups of the \(C^{*, \tau }\)-algebra \((\mathscr {T}^{\alpha }, \tau _\alpha )\). The discussion is divided into two cases whether \(\alpha \) is rational (or \(-\infty \)) or irrational.
We first consider the case when \(\alpha \) is a rational number or \(- \infty \). When \(\alpha \in \mathbb {Q}\), we write \(\alpha = \frac{p}{q}\) where p and q are relatively prime integers and q is positive. Let m and n be integers such that \(-pm + qn = 1\) and let
Then, the action of \(\varGamma \) on \(\mathbb {Z}^2\) induces the Hilbert space isomorphism \(\mathscr {H}^{\alpha }\cong \mathscr {H}^{0}\) and an isomorphism of \(C^{*, \tau }\)-algebras \((\mathscr {T}^{\alpha }, \tau _\alpha ) \cong (\mathscr {T}^0, \tau _0)\). Thus, the \(C^{*, \tau }\)-algebra \((\mathscr {T}^{\alpha }, \tau _\alpha )\) is isomorphic to \((\mathscr {T}, \tau _\mathscr {T}) \otimes (C(\mathbb {T}), \tau _\mathbb {T})\), and its KO-groups are computed as \(KO_i(\mathscr {T}^{\alpha }, \tau _\alpha ) \cong KO_i(C(\mathbb {T}), \tau _\mathbb {T}) \cong KO_i(\mathbb {C}, \mathrm {id}) \oplus KO_{i-1}(\mathbb {C},\mathrm {id})\). For the first isomorphism, see Proposition 1.5.1 of [62]. Generators of the group \(KO_i(C(\mathbb {T}), \tau _\mathbb {T})\) are obtained in Example 9.2 of [14], and the unital \(*\)-homomorphism \(\iota :\mathbb {C}\rightarrow \mathscr {T}\) induces an isomorphism \((\mathrm {id}\otimes \iota )_* :KO_i(C(\mathbb {T}), \tau _\mathbb {T}) \rightarrow KO_i((C(\mathbb {T}), \tau _\mathbb {T}) \otimes (\mathscr {T}, \tau _\mathscr {T})) \cong KO_i(\mathscr {T}^0, \tau _0)\). Combined with them, KO-group \(KO_i(\mathscr {T}^{\alpha }, \tau _\alpha )\) and its generators are given as follows.
-
\(KO_0(\mathscr {T}^{\alpha }, \tau _\alpha ) \cong \mathbb {Z}\) and its generator is \([1_2]\).
-
\(KO_1(\mathscr {T}^{\alpha }, \tau _\alpha ) \cong \mathbb {Z}_2 \oplus \mathbb {Z}\). A generator of \(\mathbb {Z}_2\) is \([-1]\) and that of \(\mathbb {Z}\) is \([P^{\alpha }M_{q,p} P^{\alpha }]\).
-
\(KO_2(\mathscr {T}^{\alpha }, \tau _\alpha ) \cong (\mathbb {Z}_2)^2\). A generator of one \(\mathbb {Z}_2\) is \([-I^{(2)}]\), and that of another \(\mathbb {Z}_2\) is \(\left[ \left( \begin{array}{cc} 0&{}i P^{\alpha }M_{q,p}P^{\alpha }\\ -i P^{\alpha }M_{-q,-p} P^{\alpha }&{}0 \end{array} \right) \right] \).
-
\(KO_3(\mathscr {T}^{\alpha }, \tau _\alpha ) \cong \mathbb {Z}_2\) and its generator is \([\mathrm {diag}(P^{\alpha }M_{q,p}P^{\alpha },P^{\alpha }M_{-q,-p}P^{\alpha })]\).
-
\(KO_4(\mathscr {T}^{\alpha }, \tau _\alpha ) \cong \mathbb {Z}\) and its generator is \([1_4]\).
-
\(KO_5(\mathscr {T}^{\alpha }, \tau _\alpha ) \cong \mathbb {Z}\) and its generator is \([\mathrm {diag}(P^{\alpha }M_{q,p}P^{\alpha },P^{\alpha }M_{q,p}P^{\alpha })]\).
-
\(KO_6(\mathscr {T}^{\alpha }, \tau _\alpha ) = KO_{-1}(\mathscr {T}^{\alpha }, \tau _\alpha ) = 0.\)
The case of \(\alpha = -\infty \) is computed similarly, and its generators are given by replacing p and q above with \(-1\) and 0, respectively.
We next consider the cases of irrational \(\alpha \). In this case, complex K-groups of \(\mathscr {T}^{\alpha }\) are computed by Ji–Kaminker and Xia in [35, 70].
Lemma 1
For irrational \(\alpha \) and for each i, we have \(KO_i(\mathscr {T}^{\alpha }, \tau _\alpha ) \cong KO_i(\mathbb {C}, \mathrm {id})\), where the isomorphism is given by \(\lambda ^\alpha _*\).
Proof
As for complex K-groups, we have \(K_0(\mathscr {T}^{\alpha }) = \mathbb {Z}\) and \(K_1(\mathscr {T}^{\alpha }) = 0\) by [35, 70]. We consider a split \(*\)-homomorphism of \(C^{*, \tau }\)-algebras \(\lambda ^\alpha :(\mathscr {T}^{\alpha }, \tau _\alpha ) \rightarrow (\mathbb {C}, \mathrm {id})\) given by the composition of \(\sigma ^\alpha :(\mathscr {T}^{\alpha },\tau _\alpha ) \rightarrow (C(\mathbb {T}^2), \tau _{\mathbb {T}})\) and the pull-back onto a fixed point of the involution \(\zeta \) on \(\mathbb {T}^2\). Let \(\mathscr {T}^{\alpha }_0= {{\,\mathrm{\mathrm {Ker}}\,}}\lambda ^\alpha \). By the six-term exact sequence associated with the extension \(0 \rightarrow \mathscr {T}^{\alpha }_0\rightarrow \mathscr {T}^{\alpha }\overset{\lambda ^\alpha }{\rightarrow } \mathbb {C}\rightarrow 0\), complex K-groups of \(\mathscr {T}^{\alpha }_0\) are trivial. For a \(C^{*, \tau }\)-algebra \((\mathscr {A}, \tau )\), it follows from Theorem 1.12, Proposition 1.15, and Theorem 1.18 of [13] that \(KO_*(\mathscr {A},\tau ) = 0\) if and only if \(K_*(\mathscr {A})=0\). Therefore, \(KO_*(\mathscr {T}^{\alpha }_0, \tau _\alpha ) = 0\). The result follows from the 24-term exact sequence of KO-theory for \(C^{*, \tau }\)-algebras associated with the short exact sequence \(0 \rightarrow (\mathscr {T}^{\alpha }_0, \tau _\alpha ) \rightarrow (\mathscr {T}^{\alpha }, \tau _\alpha ) \overset{\lambda ^\alpha }{\rightarrow } (\mathbb {C},\mathrm {id}) \rightarrow 0\). \(\square \)
3.2 KO-groups of \((\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S})\)
In this subsection, we compute the KO-groups of the \(C^{*, \tau }\)-algebra \((\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S})\). The basic tool is the following Mayer–Vietoris exact sequence associated with the pullback diagram (1) (see Theorem 1.4.15 of [62], for example):
As in [55], the computation of the group \(KO_*(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S})\) is divided into three cases corresponding to whether \(\alpha \) and \(\beta \) are rational (or \(\pm \infty \)) or irrational. As in Sect. 3.1, we have a unital \(*\)-homomorphism \(\lambda ^\alpha \circ p^\alpha :(\mathscr {S}^{\alpha , \beta },\tau _\mathscr {S}) \rightarrow (\mathbb {C}, \mathrm {id})\) which splits. Correspondingly, the KO-group \(KO_*(\mathscr {S}^{\alpha , \beta },\tau _\mathscr {S})\) have a direct summand corresponding to \(KO_*(\mathbb {C},\mathrm {id})\). Noting this, these KO-groups are computed by Lemma 1 and sequence (5) when at least one of \(\alpha \) and \(\beta \) is irrational. The results are collected in Tables 4 and 5. In the rest of this subsection, we focus on the cases when both \(\alpha \) and \(\beta \) are rational (or \(\pm \infty \)).
When \(\alpha , \beta \in \mathbb {Q}\), we write \(\alpha = \frac{p}{q}\) and \(\beta = \frac{r}{s}\) by using mutually prime integers where q and s are positive. In the following discussion, the case of \(\alpha = -\infty \) corresponds to the case where \(p = -1\) and \(q = 0\), and the case of \(\beta = +\infty \) corresponds to the case where \(r = 1\) and \(s = 0\). By using the action of \(\varGamma \in SL(2, \mathbb {Z})\) in (4) on \(\mathbb {Z}^2\), there are isomorphisms \((\mathscr {T}^{\alpha }, \tau _\alpha ) \cong (\mathscr {T}^0, \tau _0)\) and \((\mathscr {T}^{\beta }, \tau _\beta ) \cong (\mathscr {T}^{\gamma }, \tau _\gamma )\), where \(\gamma = \frac{t}{u}\) for \(u = ns - mr\) and \(t = -ps + qr\). Note that t is positive since \(\alpha < \beta \). We have the following commutative diagram:
where the vertical isomorphisms are induced by the action of \(\varGamma \). In the following, we discuss the lower part of the diagram, which is enough for our purpose since the isomorphism \(KO_i(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S}) \cong KO_i(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\) is also induced. We write \(\varphi _i\) for the above map \(\sigma ^\gamma _* - \sigma ^0_*\). By the exact sequence (5), we have the following short exact sequence.
We first compute kernels and cokernels of \(\varphi _i\). Cases for \(i = -1, 0, 4, 6\) are easy; thus, we consider the other cases.
When \(i = 1\), groups \(KO_1(\mathscr {T}^{0},\tau _0)\) and \(KO_1(\mathscr {T}^{\gamma },\tau _\gamma )\) are both isomorphic to \(\mathbb {Z}_2 \oplus \mathbb {Z}\). The \(\mathbb {Z}_2\) direct summand is generated by \([-1]\), and the other \(\mathbb {Z}\) direct summand is generated by \([P^{0}M_{1,0} P^{0}]\) and \([P^{\gamma }M_{u,t} P^{\gamma }]\), respectively. They map to \([M_{1,0}]\) and \([M_{u,t}]\) in \(KO_1(C(\mathbb {T}^2),\tau _{\mathbb {T}})\) by \(\sigma ^0_*\) and \(\sigma ^\gamma _*\), respectively. We have \(KO_1(C(\mathbb {T}^2),\tau _{\mathbb {T}}) \cong \mathbb {Z}_2 \oplus \mathbb {Z}^2\), where the \(\mathbb {Z}_2\) direct summand is generated by \([-1]\). For \((m, n) \in \mathbb {Z}^2\), the element \([M_{m,n}] \in KO_1(C(\mathbb {T}^2),\tau _{\mathbb {T}})\) corresponds to \((0, m, n) \in \mathbb {Z}_2 \oplus \mathbb {Z}^2\). Therefore, \({{\,\mathrm{\mathrm {Ker}}\,}}(\varphi _1) \cong \mathbb {Z}_2\) which is generated by \(([-1],[-1])\), andFootnote 6\({{\,\mathrm{\mathrm {Coker}}\,}}(\varphi _1) \cong \mathbb {Z}_t\).
We next consider the case of \(i =2\). We have \(KO_2(C(\mathbb {T}^2),\tau _{\mathbb {T}}) \cong \mathbb {Z}_2 \oplus (\mathbb {Z}_2)^2 \oplus \mathbb {Z}\), where the first \(\mathbb {Z}_2\) direct summand is generated by \([-I^{(2)}]\). For \((m, n) \in \mathbb {Z}^2\), the element \(\left[ \left( \begin{array}{cc} 0&{}i M_{m,n} \\ -i M_{-m,-n}&{}0 \end{array} \right) \right] \) in \(KO_2(C(\mathbb {T}^2),\tau _{\mathbb {T}})\) corresponds to \((0, m \bmod 2, n \bmod 2, 0) \in \mathbb {Z}_2 \oplus (\mathbb {Z}_2)^2 \oplus \mathbb {Z}\) (Example 9.2 of [14]). Groups \(KO_2(\mathscr {T}^{0},\tau _0)\) and \(KO_2(\mathscr {T}^{\gamma },\tau _\gamma )\) and their generators are obtained in Sect. 3.1, and we have
When \(i = 3\), we have \(KO_3(C(\mathbb {T}^2),\tau _{\mathbb {T}}) \cong (\mathbb {Z}_2)^3\). For \((m, n) \in \mathbb {Z}^2\), we have an element \([\mathrm {diag}(M_{m,n}, M_{-m,-n})] \in KO_3(C(\mathbb {T}^2),\tau _{\mathbb {T}})\) which corresponds to \((m \bmod 2, n \bmod 2, 0) \in (\mathbb {Z}_2)^3\). By Sect. 3.1, we have
When \(i=5\), we have \(KO_5(C(\mathbb {T}^2),\tau _{\mathbb {T}}) \cong \mathbb {Z}^2\). For \((m, n) \in \mathbb {Z}^2\), we have an element \([\mathrm {diag}(M_{m,n}, M_{m,n})] \in KO_5(C(\mathbb {T}^2),\tau _{\mathbb {T}})\) which corresponds to \((m,n) \in \mathbb {Z}^2\). By Sect. 3.1, we have \({{\,\mathrm{\mathrm {Ker}}\,}}(\varphi _5) = 0\) and \({{\,\mathrm{\mathrm {Coker}}\,}}(\varphi _5) = \mathbb {Z}_t\).
Combined with the above computation and the exact sequence (6), we compute KO-groups \(KO_i(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S})\). When \(i = 0\), the sequence (6) is of the following form,
Since \(\mathbb {Z}\) is free, this sequence splits and we obtain \(KO_0(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S}) \cong \mathbb {Z}\oplus \mathbb {Z}_t\). Other cases are computed in a similar way though some complication appears when \(i=2,3\). We discuss these two cases in the following subsections.
3.2.1 The group \(KO_2(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S})\)
We compute the group \(KO_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\), which is isomorphic to \(KO_2(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S})\). The computation is divided into two cases depending on whether t is even or odd. Note that u is odd when t is even since r and s are mutually prime.
When t is odd, \({{\,\mathrm{\mathrm {Ker}}\,}}(\varphi _2) \cong \mathbb {Z}_2\) is generated by \(([-I^{(2)}],[-I^{(2)}])\) and sequence (6) splits. Therefore, \(KO_2(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S}) \cong (\mathbb {Z}_2)^2\).
We next discuss the cases of even t. In this case, both of the kernel and the cokernel of \(\varphi _3\) are isomorphic to \((\mathbb {Z}_2)^2\). Let \(\widetilde{KO}_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\) be the kernel of the map \(\lambda ^\alpha _* \circ p^\alpha _* :KO_2(\mathscr {S}^{\alpha , \beta },\tau _\mathscr {S}) \rightarrow KO_2(\mathbb {C}, \mathrm {id}) \cong \mathbb {Z}_2\) which splits. Then, sequence (6) reduces to the following extension:
In the following, we show that this sequence (7) splits. We find a lift of the generator of \(\mathbb {Z}_2\) in \(\widetilde{KO}_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\) and show this lift has order two. For \((m,n) \in \mathbb {Z}^2\) and \(\kappa = 0\) and \(\gamma \), we write \(T_{m,n}^\kappa \) for \(P^\kappa M_{m,n} P^\kappa \), and let Q be the projection \(T^\gamma _{u,0} T^\gamma _{-u,0}\). Note that \(1-Q\) is the projection onto the closed subspace spanned by \(\{ \delta _{m,n} \ | \ 0 \le \gamma m - n < t \ \}\). For \(j=1, \ldots , t\), let \(P_j\) be a projection in \(\mathscr {T}^{\gamma }\), defined inductively as follows:
Specifically, \(P_j\) is the orthogonal projection of \(\mathscr {H}^\gamma \) onto the closed subspace spanned by \(\{ \delta _{n, tn-j+1} \}_{n \in \mathbb {Z}}\). Note that \(\sum ^{t}_{j=1} P_j = 1- Q\). For odd \(j=1, 3, \ldots , t-1\), let \(s_j = P_{j} M_{0,1} P_{j+1} - P_{j+1} M_{0,-1} P_{j}\) and \(s = \sum _{j=1, \text {odd}}^{t-1} s_j\). The element s satisfies the relations \(\mathrm (i)\) \(s^* = -s\), \(\mathrm (ii)\) \(s^\tau = -s\), \(\mathrm (iii)\) \(s^2 = -1+Q\), \(\mathrm (iv)\) \(Q s = s Q = 0\) and \(\mathrm (v)\) \(s T^\gamma _{u,0} = T^\gamma _{-u,0} s = 0\). Note that \(\sigma ^\gamma (s)=0\) since \(\sigma ^\gamma (1-Q)=0\). We first consider the following elements:
where the double sign corresponds. Elements a and \(b_\pm \) are self-adjoint unitaries satisfying \(a^\tau = -a\) and \(b_\pm ^\tau = -b_\pm \), and pairs \((a, b_\pm )\) are elements of \(M_2(\mathscr {S}^{0, \gamma })\); therefore, they define the elements of \(KO_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\).
Lemma 2
As elements of \(KO_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\), we have \([(a, b_+)]= [(a, b_-)] = 0\).
Proof
We first show that \([(a, b_+)] = 0\). For \(j=1, 3, \ldots , t-1\), let \(r_j = P_{j} M_{0,1} P_{j+1} + P_{j+1} M_{0,-1} P_{j}\) and \(r = \sum _{j=1, \text {odd}}^{t-1} r_j\). The element r satisfies \(\mathrm (i)\) \(r^* = r\), \(\mathrm (ii)\) \(r^\tau = r\), \(\mathrm (iii)\) \(r^2 = 1 - Q\), \(\mathrm (iv)\) \(Q r = r Q = 0\), \(\mathrm (v)\) \(r T^\gamma _{u,0} = T^\gamma _{-u,0} r = 0\) and \(\mathrm (vi)\) r anticommutes with s. For \(0 \le \theta \le \frac{\pi }{2}\), let
This \(b_\theta \) is a self-adjoint unitary satisfying \(b_\theta ^\tau = - b_\theta \) and \(b_0 = b_+\). Therefore, \(b_+\) and \(b_{\frac{\pi }{2}}\) are homotopic in \(U^{(2)}_1(\mathscr {T}^{\gamma },\tau _\gamma )\). We further discuss \(b_{\frac{\pi }{2}}\). Let us consider lattice points \((m,n) \in \mathbb {Z}^2\) satisfying \(0 \le \gamma m - n < t\), as indicated in Fig. 1 for the case where \(u=1\) and \(t=4\). As in Fig. 1, we divide these points to \(\frac{t}{2}\) pairs of lattice points: for \(n \in \mathbb {Z}\) and odd \(j = 1,3, \ldots , t-1\), a pair consists of \(\{(n, tn-j), (n, tn-j+1)\}\). The action of \(b_{\frac{\pi }{2}}\) is closed on each pair of lattice points and is expressed by a \(4 \times 4\) matrix (acting on \(\mathbb {C}^2 \otimes \mathbb {C}^2\); one \(\mathbb {C}^2\) corresponds to a pair of lattice points, and the other \(\mathbb {C}^2\) corresponds to the \(2 \times 2\) matrix we consider). Let V be the following matrix.
Then \(V \in SO(4)\) and satisfies
where the left matrix inside the conjugation is the restriction of \(b_{\frac{\pi }{2}}\) onto the closed subspace spanned by generating functions of these two lattice points tensor \(\mathbb {C}^2\) and the right matrix is that of d (note that \(Q=0\) on these lattice points). Let W be the unitary on \(\mathscr {H}^\gamma \otimes \mathbb {C}^2\) defined by applying V to these pair of lattice points satisfying \(0 \le \gamma m - n < t\) and the identity on the lattice points satisfying \(t \le \gamma m - n\); then, we have \(W b_{\frac{\pi }{2}} W^* = d\). Since SO(4) is path-connected, there is a path of self-adjoint unitaries from \(b_{\frac{\pi }{2}}\) to d preserving the relation of the \(KO_2\)-group. Summarizing, we have a path in \(U^{(2)}_1(\mathscr {T}^{\gamma },\tau _\gamma )\) from \(b_+\) to d. By its construction, the pair of the constant path at \(a \in M_2(\mathscr {T}^0)\) and this path gives a path in \(U^{(2)}_1(\mathscr {S}^{0, \gamma },\tau _\mathscr {S})\) from \((a,b_+)\) to (a, d). Therefore, we have \([(a, b_+)] = [(a, d)] = [I^{(2)}] = 0\) in \(KO_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\).
We next discuss the class \([(a, b_-)]\). For \(0 \le \theta \le \frac{\pi }{2}\), let
Then, \(b'_\theta \) is a self-adjoint unitary satisfying \((b'_\theta )^\tau = -b'_\theta \). We have \(b'_0 = b_-\) and \(b'_{\frac{\pi }{2}} = I^{(2)}\). Therefore, \([(a, b_-)] = [(a, b'_{\frac{\pi }{2}})] = [I^{(2)}] = 0\) in \(KO_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\). \(\square \)
Let us consider the following elements:
which are self-adjoint unitaries satisfying \((v_2)^\tau = -v_2\) and \(w_\pm ^\tau = -w_\pm \). Since \(\sigma ^0(v_2) = \sigma ^\gamma (w_\pm )\), pairs \((v_2, w_\pm )\) are elements of \(M_2(\mathscr {S}^{0, \gamma })\) satisfying \((v_2, w_\pm )^\tau = -(v_2, w_\pm )\) and give elements \([(v_2, w_\pm )]\) of the group \(KO_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\).
Lemma 3
In \(KO_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\), we have \([(v_2, w_+)] = [(v_2, w_-)]\).
Proof
For \(0 \le \theta \le \pi \), let us consider the following element in \(M_4(\mathscr {T}^{\gamma })\):
Then, we have \(R_0 = w_+ \oplus b_+\), \(R_\pi = w_- \oplus b_-\) and \(R_\theta \) is a self-adjoint unitary satisfying \(R_\theta ^\tau = - R_\theta \). Since \(\sigma ^\gamma (R_\theta ) = \sigma ^0(v_2 \oplus a)\), the pair \((v_2 \oplus a, R_\theta )\) is contained in \(U^{(2)}_2(\mathscr {S}^{0, \gamma },\tau _\mathscr {S})\) and gives a path from \((v_2 \oplus a, w_+ \oplus b_+)\) to \((v_2 \oplus a, w_- \oplus b_-)\). By using Lemma 2, we obtain the following equality in \(KO_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\):
\(\square \)
Lemma 4
In \(KO_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\), the element \([(v_2,w_+)]\) has order two.
Proof
For \(0 \le \theta \le \frac{\pi }{2}\), let
Then, \(A^0_\theta \) and \(A^\gamma _\theta \) are self-adjoint unitaries satisfying \((A^0_\theta )^\tau = -A^0_\theta \) and \((A^\gamma _\theta )^\tau = -A^\gamma _\theta \), and their pair \((A^0_\theta , A^\gamma _\theta )\) is contained in \(M_4(\mathscr {S}^{0, \gamma })\). Note that \((A^0_0, A^\gamma _0) = (v_2 \oplus v_2, w_+ \oplus w_-)\). Therefore, by Lemma 3, the following equality holds in \(KO_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\):
\(\square \)
Proposition 1
When \(\alpha \) and \(\beta \) are rational numbers and \(t=-ps + qr\) is even, we have \(KO_2(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S}) \cong (\mathbb {Z}_2)^4\).
Proof
Since u is odd when t is even, pair \(([v_2], [w_+]) \in KO_2(\mathscr {T}^{0},\tau _0) \oplus KO_2(\mathscr {T}^{\gamma },\tau _\gamma )\) constitutes a nontrivial element of the right \(\mathbb {Z}_2 \subset {{\,\mathrm{\mathrm {Ker}}\,}}(\varphi _2)\) in the sequence (7). The element \([(v_2, w_+)] \in KO_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\) is a lift of it. Therefore, \([(v_2, w_+)]\) is nontrivial and has order two by Lemma 4. This element belongs to \(\widetilde{KO}_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\), and by mapping \(1 \in \mathbb {Z}_2\) to \([(v_2, w_+)]\), we obtain a splitting of the sequence (7). Therefore, \(\widetilde{KO}_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S}) \cong (\mathbb {Z}_2)^3\) and the result follows. \(\square \)
3.2.2 The group \(KO_3(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S})\)
We next compute \(KO_3(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S})\). Note that \({{\,\mathrm{\mathrm {Ker}}\,}}(\varphi _3)\) depends on whether t is even or odd. When t is odd, \({{\,\mathrm{\mathrm {Ker}}\,}}(\varphi _3)\) is zero and, \(KO_3(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S}) \cong \mathbb {Z}_2\) follows from (6).
We next discuss the cases of even t. In this case, extension (6) is of the following form:
As in Sect. 3.2.1, we show that this sequence splits by finding a lift of the generator of the right \(\mathbb {Z}_2\) in \(KO_3(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\) of order two. Let us consider the following elements:
where the double-sign in the second equality corresponds. Pairs \((v_3, z_\pm )\) are unitaries in \(M_2(\mathscr {S}^{0, \gamma })\) satisfying \((v_3, z_\pm )^{\# \otimes \tau } = (v_3, z_\pm )\) and define elements \([(v_3, z_\pm )]\) of the KO-group \(KO_3(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\).
Lemma 5
In \(KO_3(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\), we have \([(v_3, z_+)] = [(v_3, z_-)]\).
Proof
For \(0 \le \theta \le \pi \), let \(z_\theta = \left( \begin{array}{cc} T^\gamma _{u,0} &{} e^{i\theta }s \\ 0 &{} T^\gamma _{-u,0} \\ \end{array} \right) \in M_2(\mathscr {T}^{\gamma })\) which gives a path \(\{ z_\theta \}_{0 \le \theta \le \pi }\) of unitaries satisfying \((z_\theta )^{\# \otimes \tau } = z_\theta \). Its endpoints are \(z_0 = z_+\) and \(z_{\pi } = z_-\). The pair \((v_3, z_\theta )\) satisfies \((v_3, z_\theta )^{\# \otimes \tau } = (v_3, z_\theta )\) and gives a homotopy between \((v_3, z_+)\) and \((v_3, z_-)\) in \(U^{(3)}_1(\mathscr {S}^{0, \gamma },\tau _{\mathscr {S}})\). \(\square \)
Lemma 6
The element \([(v_3, z_+)]\) in \(KO_3(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\) has order two.
Proof
For \(0 \le \theta \le \frac{\pi }{2}\), let
For each \(\theta \), matrices \(B^0_\theta \) and \(B^\gamma _\theta \) are unitaries satisfying \((B^0_\theta )^{\# \otimes \tau } = B^0_\theta \) and \((B^\gamma _\theta )^{\# \otimes \tau } = B^\gamma _\theta \). We have \(B^\gamma _0 = v_3 \oplus v_3\) and \(B^\gamma _0 = z_+ \oplus z_-\). Note that matrices \(B^0_{\frac{\pi }{2}}\) and \(B^\gamma _{\frac{\pi }{2}}\) are contained in \(M_4(\mathbb {C})\), where they coincide. Since this unitary satisfies the symmetry of the \(KO_3\)-group, this is an element of the quaternionic unitary group \(U(2, \mathbb {H})\). Since \(U(2, \mathbb {H})\) is path-connected, there is a path of unitaries in \(U_2^{(3)}(\mathscr {S}^{0, \gamma }, \tau _{\mathscr {S}})\) connecting \((B^0_{\frac{\pi }{2}}, B^\gamma _{\frac{\pi }{2}})\) to \((1_{\mathscr {S}})_4\). By using Lemma 5, we obtain the following equality in \(KO_3(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\):
\(\square \)
Proposition 2
When \(\alpha \) and \(\beta \) are rational numbers and \(t=-ps + qr\) is even, we have \(KO_3(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S}) \cong (\mathbb {Z}_2)^2\).
Proof
The pair \(([v_3], [z_+]) \in KO_3(\mathscr {T}^{0}, \tau _0) \oplus KO_3(\mathscr {T}^{\gamma }, \tau _\gamma )\) is contained in \({{\,\mathrm{\mathrm {Ker}}\,}}(\varphi _3) \cong \mathbb {Z}_2\) and is nontrivial. The element \([(v_3, z_+)] \in KO_3(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\) is its lift. Therefore, the class \([(v_3, z_+)]\) is nontrivial and has order two by Lemma 6. We thus obtain a splitting of the sequence (8) and the group \(KO_3(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S})\) is isomorphic to \((\mathbb {Z}_2)^2\). \(\square \)
The results in this subsection are summarized in Tables 3, 4 and 5.
3.3 Boundary maps associated with quarter-plane Toeplitz extensions and KO-groups of \((\hat{\mathscr {T}}^{\alpha ,\beta },\hat{\tau }_{\alpha ,\beta })\)
We next consider the boundary mapsFootnote 7 of the 24-term exact sequence for KO-theory associated with the sequence (2):
Proposition 3
For each i, the boundary map \(\hat{\partial }_i\) in (9) is surjective.
Proof
When \(i=-1,0,4,6\), the group \(KO_{i-1}(\mathscr {K}(\hat{\mathscr {H}}^{\alpha ,\beta }), \tau _\mathscr {K})\) is trivial and the statement is obvious. We discuss the other cases. The proof is given by constructing explicit elements of the group \(KO_i(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S})\), which maps to a generator of the group \(KO_{i-1}(\mathscr {K}(\hat{\mathscr {H}}^{\alpha ,\beta }), \tau _\mathscr {K})\). As in [36], by using the action of \(SL(2,\mathbb {Z})\) on \(\mathbb {Z}^2\), we assume \(0 < \alpha \le \frac{1}{2}\) and \(1 \le \beta < + \infty \) without loss of generality. Let \(\hat{\mathscr {P}}_{m,n} = \hat{P}^{\alpha ,\beta }M_{m,n} \hat{P}^{\alpha ,\beta }M_{-m,-n} \hat{P}^{\alpha ,\beta }\). As in [36], we consider the following element in \(\hat{\mathscr {T}}^{\alpha ,\beta }\):
The operator \(\hat{A}\) is Fredholm whose kernel is trivial and has one-dimensional cokernel [36]. We also have the following.
-
\(\hat{\gamma }(\hat{A})\) is a unitary in \(\mathscr {S}^{\alpha , \beta }\).
-
\(\hat{A}\) is a real operator, that is \(\mathfrak {r}(\hat{A}) = \hat{A}\), and \(\hat{A}^\tau = \mathfrak {r}(\hat{A}^*) = \hat{A}^*\) holds.
From these preliminaries, the proof of Proposition 3 is parallel to the computation in Example 9.4 of [14]. We summarize the results here.
-
Let \(u_1 = \hat{\gamma }(\hat{A})\). \(u_1\) is a unitary satisfying \(u_1^\tau = u_1^*\) and gives an element \([u_1] \in KO_1(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S})\). \(\hat{\partial }_1([u_1])\) is a generator of \(KO_0(\mathscr {K}(\hat{\mathscr {H}}^{\alpha ,\beta }),\tau _\mathscr {K}) \cong \mathbb {Z}\).
-
Let \(u_2 = \left( \begin{array}{cc} 0&{}i\hat{\gamma }(\hat{A})\\ -i\hat{\gamma }(\hat{A})^*&{}0 \end{array} \right) \). \(u_2\) is a self-adjoint unitary satisfying \(u_2^\tau = -u_2\) and gives \([u_2] \in KO_2(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S})\). \(\hat{\partial }_2 [u_2]\) is the generator of \(KO_1(\mathscr {K}(\hat{\mathscr {H}}^{\alpha ,\beta }),\tau _\mathscr {K}) \cong \mathbb {Z}_2\).
-
Let \(u_3 = \mathrm {diag}(\hat{\gamma }(\hat{A}), \hat{\gamma }(\hat{A})^*).\) \(u_3\) is a unitary satisfying \(u_3^{\sharp \otimes \tau } = u_3\) and gives \([u_3] \in KO_3(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S})\). \(\hat{\partial }_3([u_3])\) is the generator of the group \(KO_2(\mathscr {K}(\hat{\mathscr {H}}^{\alpha ,\beta }),\tau _\mathscr {K}) \cong \mathbb {Z}_2\).
-
Let \(u_5 = \mathrm {diag}(\hat{\gamma }(\hat{A}), \hat{\gamma }(\hat{A}))\). \(u_5\) is a unitary satisfying \(u_5^{\sharp \otimes \tau } = u_5^*\) and gives \([u_5] \in KO_5(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S})\). \(\hat{\partial }_5([u_5)]\) is a generator of the group \(KO_4(\mathscr {K}(\hat{\mathscr {H}}^{\alpha ,\beta }),\tau _\mathscr {K}) \cong \mathbb {Z}\).
\(\square \)
Remark 1
In the case when \(\alpha \), \(\beta \) are both rational (or \(\pm \infty \)) and \(t = -ps +qr\) is even, the group \(KO_2(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S}) \cong (\mathbb {Z}_2)^4\) is generated by \([-I^{(2)}]\), \([(v_2,w_+)]\), \([u_2]\) and \([(w', I_2^{(2)})]\), whereFootnote 8
By the map \(\sigma _* :KO_i(\mathscr {S}^{0, \gamma }, \tau _\mathscr {S}) \rightarrow KO_i(C(\mathbb {T}^2), \tau _{\mathbb {T}})\), the components generated by \([(v_2,w_+)]\) (when \(i=2\)) and \([(v_3,z_+)]\) (when \(i=3\)) maps injectively.
The KO-groups of \((\hat{\mathscr {T}}^{\alpha ,\beta },\hat{\tau }_{\alpha ,\beta })\) are computed by the 24-term exact sequence of KO-theory associated with (2) and Proposition 3. The results are collected in Tables 6, 7 and 8.
Remark 2
Similar results in this section also hold for convex corners. Let \(\check{A} \in \check{\mathscr {T}}^{\alpha ,\beta }\) be an operator defined by replacing \(\hat{P}^{\alpha ,\beta }\) in the definition of \(\hat{A}\) by \(\check{P}^{\alpha ,\beta }\). This \(\check{A}\) is a Fredholm operator satisfying \(\check{A}^\tau = \check{A}^*\) which have one-dimensional kernel and trivial cokernel [34]. As in Proposition 3, by using this example, we see that the boundary maps \(\check{\partial }_i\) of KO-theory associated with the sequence (3) is surjective. The KO-groups of \((\check{\mathscr {T}}^{\alpha ,\beta },\check{\tau }_{\alpha ,\beta })\) is computed by the 24-term exact sequence associated with (3), and the results are the same as in Tables 6, 7 and 8. Through the stabilization isomorphism, we have two boundary maps \(\hat{\partial }_i\) and \(\check{\partial }_i\) from \(KO_i(\mathscr {S}^{\alpha , \beta }, \tau _\mathscr {S})\) to \(KO_{i-1}(\mathbb {C}, \mathrm {id})\) associated with (2) and (3). Since \(\hat{\gamma }(\hat{A}) = \check{\gamma }(\check{A})\), the relation \(\hat{\partial }_i = -\check{\partial }_i\) holds, as in Corollary 1 of [34].
4 Toeplitz operators associated with subsemigroup \((\mathbb {Z}_{\ge 0})^n\) of \(\mathbb {Z}^n\)
In this section, Toeplitz operators associated with the subsemigroup \((\mathbb {Z}_{\ge 0})^n\) of \(\mathbb {Z}^n\) for \(n \ge 3\) are discussed. They are an n-variable generalization of the ordinary Toeplitz and quarter-plane Toeplitz operators and are briefly discussed in [22, 23], where a necessary and sufficient condition for these Toeplitz operators to be Fredholm is obtained. We revisit these operators since, in our application to condensed matter physics, models of higher-codimensional corners are given by using these n-variable generalizations. Since the Toeplitz extension (11) and the quarter-plane Toeplitz extension (3) provide a framework for these applications, we seek this extension for our n-variable cases (Theorem 1). Note that we consider corners of arbitrary codimension, though of a specific shape compared to the codimension-two case [55]. In this section, let n be a positive integer bigger than or equals to three.
To study such Toeplitz operators, we follow Douglas–Howe’s idea [23] to use the tensor product of the Toeplitz extension,
where \(\mathscr {K}= \mathscr {K}(l^2(\mathbb {Z}_{\ge 0}))\). There is a linear splitting of the \(*\)-homomorphism \(\gamma \) given by the compression onto \(l^2(\mathbb {Z}_{\ge 0})\). For a subset \(\mathscr {A} \subset \{1,\ldots ,n\}\), let \(\mathscr {T}^n_{\mathscr {A}} = A_1 \otimes \cdots \otimes A_n\), where \(A_i\) is \(C(\mathbb {T})\) when \(i \in \mathscr {A}\) and is \(\mathscr {T}\) when \(i \notin \mathscr {A}\). Note that \(\mathscr {T}^n_\emptyset \) is isomorphic to \(\mathscr {T}^n\) introduced in Sect. 2.2. For subsets \(\mathscr {D}\subset \mathscr {R}\subset \{1,\ldots ,n\}\), let \(\pi ^{\mathscr {D}}_{\mathscr {R}} :\mathscr {T}^n_\mathscr {D}\rightarrow \mathscr {T}^n_\mathscr {R}\) be the \(*\)-homomorphism induced by \(\gamma \). Specifically, \(\pi ^{\mathscr {D}}_{\mathscr {R}} = a_1 \otimes \cdots \otimes a_n\), where \(a_i\) is \(\mathrm {id}_{C(\mathbb {T})}\) when \(i \in \mathscr {D}\), is \(\gamma \) when \(i \in \mathscr {R}\setminus \mathscr {D}\) and is \(\mathrm {id}_{\mathscr {T}}\) otherwise. Note that \(\pi ^{\mathscr {D}}_{\mathscr {R}}\) is a surjection and \(\pi ^{\emptyset }_{\emptyset } = \mathrm {id}\). In the following, we use a subset \(\mathscr {A}\) of \(\{1,\ldots ,n\}\) as a label to distinguish \(C^*\)-algebras and the morphisms between them, which we may abbreviate brackets \(\{ \cdot \}\) in our notation. For example, we write \(\mathscr {T}^n_{1,2}\) for \(\mathscr {T}^n_{\{1,2\}}\), \(\pi _{i}\) for \(\pi ^{\emptyset }_{\{i\}}\) and \(\pi ^{1}_{1,2}\) for \(\pi ^{\{1\}}_{\{1,2\}}\). For each \(\mathscr {A} \subset \{ 1, \ldots , n \}\), the map \(\pi _\mathscr {A}\) has a linear splitting \(\rho _\mathscr {A} :\mathscr {T}^n_\mathscr {A} \rightarrow \mathscr {T}^n\) given by the compression onto \(l^2((\mathbb {Z}_{\ge 0})^n)\). By these preliminaries, we consider the following \(C^*\)-subalgebra of \(\mathscr {T}^n_1 \oplus \cdots \oplus \mathscr {T}^n_n\).
Let \((T_1, \ldots , T_n) \in \mathscr {S}^n\). For a nonempty subset \(\mathscr {A} \subset \{ 1, \ldots , n \}\), we take \(i \in \mathscr {A}\) and consider the element \(\pi ^i_\mathscr {A}(T_i) \in \mathscr {T}^n_\mathscr {A}\). This element does not depend on the choice of \(i \in \mathscr {A}\), and we write \(T_\mathscr {A} = \pi ^i_\mathscr {A}(T_i)\). Let \(\rho ' :\mathscr {S}^n \rightarrow \mathscr {T}^n\) be a linear map defined by
for \((T_1, \ldots , T_n) \in \mathscr {S}^n\), where the second summation is taken over all subsets \(\mathscr {A} \subset \{1, \ldots , n\}\) consisting of k elements. Let \(\mathscr {K}^n = \mathscr {K}(l^2((\mathbb {Z}_{\ge 0})^n))\), and let \(\gamma _n :\mathscr {T}^n \rightarrow \mathscr {S}^n\) be an \(*\)-homomorphism given by \(\gamma _n (T) = (\pi _1(T), \ldots , \pi _n(T))\). Let \(\iota _n\) be the n-fold tensor product of \(\iota \).
Theorem 1
There is the following short exact sequence of \(C^*\)-algebras:
where the map \(\gamma _n\) has a linear splitting given by \(\rho '\).
Proof
The map \(\iota _n\) is injective since \(\iota \) is injective. We first show the exactness at \(\mathscr {T}^n\). Since \(\gamma \circ \iota = 0\), we have \(\gamma _n \circ \iota _n = 0\), and thus, \({{\,\mathrm{\mathrm {Im}}\,}}(\iota _n) \subset {{\,\mathrm{\mathrm {Ker}}\,}}(\gamma _n)\). Let \(T \in {{\,\mathrm{\mathrm {Ker}}\,}}(\gamma _n)\). Since \(\pi _1(T) = (\gamma \otimes 1 \otimes \cdots \otimes 1)(T) = 0\), there exists some \(S_1 \in \mathscr {K}\otimes \mathscr {T}\otimes \cdots \otimes \mathscr {T}\) such that \((\iota \otimes 1 \otimes \cdots \otimes 1)(S_1) = T\). Since
and \(\iota \otimes 1 \otimes \cdots \otimes 1\) is injective, \((1 \otimes \gamma \otimes 1 \otimes \cdots \otimes 1)(S_1) = 0\). Therefore, there exists some \(S_2 \in \mathscr {K}\otimes \mathscr {K}\otimes \mathscr {T}\otimes \cdots \otimes \mathscr {T}\) such that \(S_1 = (1 \otimes \iota \otimes 1 \otimes \cdots \otimes 1)(S_2)\). By continuing this argument, we see that there exists some \(S_n \in \mathscr {K}\otimes \cdots \otimes \mathscr {K}\cong \mathscr {K}^n\) such that \((\iota \otimes \cdots \otimes \iota )(S_n) = T\). Thus, we have \({{\,\mathrm{\mathrm {Ker}}\,}}(\gamma _n) \subset {{\,\mathrm{\mathrm {Im}}\,}}(\iota _n)\).
For the surjectivity of \(\gamma _n\), we see that \(\rho \) is a linear splitting of \(\gamma _n\), that is, for \((T_1,\ldots ,T_n) \in \mathscr {S}^n\) and \(1 \le i \le n\), the relation \(\pi _i \circ \rho ' (T_1, \ldots , T_n) = T_i\) holds. In the following, we show \(\pi _1 \circ \rho ' (T_1, \ldots , T_n) = T_1\) and the other case is proved similarly. Note that
and that \(\pi _1 \circ \rho _1(T_1) = T_1\). Thus, it is sufficient to show that the sum over \(\mathscr {A}\) \((\ne \{ 1 \})\) is zero. Note that for \(2 \le i_1< \cdots < i_{k-1} \le n\), we have
By using this relation, we compute the sum on the right-hand side of (13). For \(k=1\) and \(k=2\) of the sum, we have the following:
For \(2< k < n\), we have
and since
we have \(\pi _1 \circ \rho ' (T_1, \ldots , T_n) = T_1\). \(\square \)
Theorem 13 leads to the necessary and sufficient condition for Toeplitz operators associated with these codimension-n corners to be Fredholm.
Corollary 1
(Theorem 18 of [22]) Let k be a positive integer. An operator \(T \in M_k(\mathscr {T}^n)\) is a Fredholm operator if and only if \(\gamma _n(T)\) is invertible in \(M_k(\mathscr {S}^n)\) or, equivalently, if and only if \(\pi _i(T)\) is invertible for any \(1 \le i \le n\).
As in Sect. 2.2, the real structure c on \(l^2(\mathbb {Z}^n)\) induces real structures on \(\mathscr {T}^n_i\) and \(\mathscr {S}^n\). We write \(\tau _\mathscr {S}\) for the transposition on \(\mathscr {S}^n\) associated with this real structure. The map \(\gamma _n\) preserves the real structure, and we obtain the following exact sequence of \(C^{*, \tau }\)-algebras:
We next compute the K-groups of the \(C^*\)-algebra \(\mathscr {S}^n\) and KO-groups of the \(C^{*, \tau }\)-algebra \((\mathscr {S}^n, \tau _\mathscr {S})\).
Proposition 4
\(K_i(\mathscr {S}^n) \cong \mathbb {Z}\) for \(i = 0,1\).
Proof
Note that \(K_i(\mathscr {T}^n) \cong K_i(\mathbb {C})\). The result follows from the six-term exact sequence of K-theory associated with the sequence (12) in Theorem 1. \(\square \)
Proposition 5
For each i, we have
The results are collected in Table 9.
Proof
Note that \(KO_i(\mathscr {T}^n, \tau _\mathscr {T}) \cong KO_i(\mathbb {C}, \mathrm {id})\). The result follows from the 24-term exact sequence of KO-theory associated with the sequence (14). \(\square \)
A Fredholm Toeplitz operator associated with a codimension-n corner whose Fredholm index is one is constructed as follows.
Example 1
(A Fredholm Operator of Index One) Let \(T_z\) be the Toeplitz operator whose symbol \(z :\mathbb {T}\rightarrow \mathbb {C}\) is the inclusion. Its adjoint \(T_z^*\) is a Fredholm operator on \(l^2(\mathbb {Z}_{\ge 0})\) of index one. Let \(p = T_z T_z^*\) and \(q = 1_{\mathscr {T}} - p\), then \(p, q \in \mathscr {T}\) and are projections onto \(l^2(\mathbb {Z}_{\ge 1})\) and \(\mathbb {C}\delta _{0}\), respectively, where \(\delta _0\) is the characteristic function of the point \(0 \in \mathbb {Z}\). For a subset \(\mathscr {A} \subset \{ 1, \ldots , n\}\), let \(P^n_\mathscr {A} = r_1 \otimes \cdots \otimes r_n\), where \(r_i\) is p when \(i \in \mathscr {A}\) and is q otherwise. The operator \(P^n_\mathscr {A}\) is a projection which satisfies \(\sum _{\mathscr {A}} P^n_\mathscr {A} = 1_{\mathscr {T}^n}\). Let \(\tilde{T} = T_z^* \otimes q \otimes \cdots \otimes q\) and consider the following element in \(\mathscr {T}^n\):
where the sum is taken over all subsets of \(\{ 1, \ldots , n\}\) except \(\{ 1 \}\). Then, we can see that \({{\,\mathrm{\mathrm {Ker}}\,}}(G) \cong \mathbb {C}\) and \({{\,\mathrm{\mathrm {Coker}}\,}}(G) = 0\), that is, G is a Fredholm Toeplitz operator associated with codimension-n corners whose Fredholm index is one.
This example leads to the following result.
Proposition 6
The boundary maps of the six-term exact sequence for K-theory associated with (12) are surjective. Moreover, the boundary maps of the 24-term exact sequence for KO-theory associated with (14) are surjective.
Proof
The result for complex K-theory is immediate from Example 1. For KO-theory, since the operator G in Example 1 satisfies \(G^{\tau } = G^*\), the result follows as in Proposition 3. \(\square \)
Note that, we have \(\gamma _n(G) = (\pi _1(G), 1, \cdots , 1) \in \mathscr {S}^n\) by using
The element \(\gamma _n(G)\) is a unitary and defines an element \([\gamma _n(G)]\) of the group \(K_1(\mathscr {S}^n)\). Since the Fredholm index of G is one, this gives a generator of \(K_1(\mathscr {S}^n) \cong \mathbb {Z}\). As in the proof of Proposition 3, generators of the KO-groups \(KO_i(\mathscr {S}^n, \tau _\mathscr {S})\) are also obtained by using G.
Remark 3
Let \(1 \le j \le n\). We have the following \(*\)-homomorphisms:
where the first map maps \((T_1, \ldots , T_n)\) to \(T_j\). We write \(\sigma ^{n,n-1}\) for the composite of the above maps which induces the map \(\sigma ^{n,n-1}_* :K_i(\mathscr {S}^n) \rightarrow K_i(\mathscr {S}^{n-1} \otimes C(\mathbb {T}))\). When \(i=0\), \(K_0(\mathscr {S}^n) \cong \mathbb {Z}\) is generated by \([1_2]\) and \(\sigma ^{n,n-1}_*[1_2] = [1_2]\). When \(i=1\), the map \(\sigma ^{n,n-1}_*\) is zero since, by Example 1, the element \([\gamma _n(G)]\) is a generator of \(K_1(\mathscr {S}^n) \cong \mathbb {Z}\) and \(\sigma ^{n,n-1}_*[\gamma _n(G)] = [1] = 0\). A similar observation also holds in real cases. The map \(\sigma ^{n,n-1}_*\) from \(KO_i(\mathscr {S}^n, \tau _\mathscr {S})\) to \(KO_i(\mathscr {S}^{n-1} \otimes C(\mathbb {T}), \tau )\) maps direct summands corresponding to KO-groups of a point injectively and the other components to zero.
5 Topological invariants and corner states in Altland–Zirnbauer classification
In this section, some gapped Hamiltonians on a lattice with corners are discussed in each of the Altland–Zirnbauer classes. Since two of them (class \(\mathrm {A}\) and \(\mathrm {AIII}\)) are already studied in [33, 34], we consider the remaining cases here. The codimension of the corner will be arbitrary, though we mainly discuss codimension-two cases, with many detailed results being obtained by [34, 36, 55] and the results in Sect. 3. Higher-codimensional cases are discussed in a similar way, whose results are collected in Sect. 5.5.
5.1 Setup
Let V be a finite rank Hermitian vector space of complex rank N. Let n be a positive integer. Let \(\varTheta \) and \(\varXi \) be antiunitary operators on V whose squares are \(+1\) or \(-1\). Let \(\varPi \) be a unitary operator on V whose square is one. These operators \(\varTheta \), \(\varXi \) and \(\varPi \) are naturally extended to the operator on \(l^2(\mathbb {Z}^n; V)\) by the fiberwise operation; we also denote them as \(\varTheta \), \(\varXi \) and \(\varPi \), respectively. Let \(\mathrm {Herm}(V)\) be the space of Hermitian operators on V. We consider a continuous map \(\mathbb {T}^n \rightarrow \mathrm {Herm}(V)\), \(t \mapsto H(t)\), where \(t = (t_1, t_2, \ldots , t_n)\) in \(\mathbb {T}^n\). Through the Fourier transform \(L^2(\mathbb {T}^n; V) \cong l^2(\mathbb {Z}^n; V)\), the multiplication operator generated by this continuous map defines a bounded linear self-adjoint operator H on the Hilbert space \(l^2(\mathbb {Z}^n; V)\). We consider the lattice \(\mathbb {Z}^n\) as a model of the bulk and call H the bulk Hamiltonian. The Hamiltonian is said to preserve time-reversal symmetry (TRS) if it commutes with \(\varTheta \) (i.e., \(\varTheta H \varTheta ^* = H\)), particle-hole symmetry (PHS) if it anticommutes with \(\varXi \) (i.e., \(\varXi H \varXi ^* = -H\)) and chiral symmetry if it anticommutes with \(\varPi \) (i.e., \(\varPi H \varPi ^* = -H\)). Furthermore, TRS or PHS is called even (resp. odd) if \(\varTheta ^2 = 1\) or \(\varXi ^2 = 1\) (resp. \(\varTheta ^2 = -1\) or \(\varXi ^2 = -1\)). Hamiltonians may preserve both TRS and PHS. In that case, \(\varTheta \) and \(\varXi \) are assumed to commute, and \(\varPi \) is identified with \(\varTheta \varXi \) or \(i\varTheta \varXi \) such that \(\varPi ^2 = 1\) is satisfied.
By taking the partial Fourier transform in the variables \(t_1\) and \(t_2\), we obtain a continuous family of bounded linear self-adjoint operators \(\{ H({\varvec{t}})\}_{{\varvec{t}}\in \mathbb {T}^{n-2}}\) on \(\mathscr {H}\otimes V\). By taking a compression onto \(\mathscr {H}^{\alpha }\otimes V\), \(\mathscr {H}^{\beta }\otimes V\) and \(\hat{\mathscr {H}}^{\alpha ,\beta }\otimes V\), we obtain a family of operators \(H^\alpha ({\varvec{t}})\), \(H^\beta ({\varvec{t}})\) and \(\hat{H}^{\alpha ,\beta }({\varvec{t}})\) parametrized by \({\varvec{t}}= (t_3, \ldots , t_n) \in \mathbb {T}^{n-2}\). \(H^\alpha ({\varvec{t}})\) and \(H^\beta ({\varvec{t}})\) are our models for two surfaces (codimension-one boundaries), and \(\hat{H}^{\alpha ,\beta }({\varvec{t}})\) is our model of the corner (codimension-two corner). We assume the following spectral gap condition.
Assumption 1
(Spectral Gap Condition) We assume that both \(H^\alpha \) and \(H^\beta \) are invertible.
Under this assumption, the bulk Hamiltonian H is also invertible since, when we take a basis of V and identify V with \(\mathbb {C}^N\), there is a unital \(*\)-homomorphism \(M_N(\mathscr {S}^{\alpha , \beta }\otimes C(\mathbb {T}^{n-2})) \rightarrow M_N(C(\mathbb {T}^{n}))\) that maps \((H^\alpha , H^\beta )\) to H. In classes \(\mathrm {AI}\) and \(\mathrm {AII}\), we further assume that the spectrum of H is not contained in either \(\mathbb {R}_{> 0}\) or \(\mathbb {R}_{< 0}\). Note that in other classes where Hamiltonians preserve PHS or chiral symmetry, this condition follows from Assumption 1. Let h be the pair \((H^\alpha , H^\beta )\). Under Assumption 1, we set
When the bulk Hamiltonian H satisfies TRS, PHS or chiral symmetry, the operators \(H^\alpha \), \(H^\beta \), \(\hat{H}^{\alpha ,\beta }\) and \({{\,\mathrm{\mathrm {sign}}\,}}(h)\) also satisfy the symmetry, that is, commutes with \(\varTheta \) or anticommutes with \(\varXi \) or \(\varPi \).
5.2 Gapped topological invariants
In the following, starting from a Hamiltonian satisfying Assumption 1 in each class \(\mathrm {AI}\), \(\mathrm {BDI}\), \(\mathrm {D}\), \(\mathrm {DIII}\), \(\mathrm {AII}\), \(\mathrm {CII}\), \(\mathrm {C}\) and \(\mathrm {CI}\), we construct a unitary and see that this unitary satisfies the relation \(\mathscr {R}_i\) in Table 2. By using this unitary, we define a topological invariant as an element of some KO-group.
In class \(\mathrm {AI}\), the Hamiltonian has even TRS. We take an orthonormal basis of V to identify V with \(\mathbb {C}^N\) and express \(\varTheta \) as \(\mathscr {C}= \mathrm {diag}(c, \ldots , c)\). Under our spectral gap condition, let
This u is a self-adjoint unitary satisfying \(u^\tau = {{\,\mathrm{\mathrm {Ad}}\,}}_{\mathscr {C}\oplus \mathscr {C}}(u^*) = u^*\) by the TRS.
In class BDI, the Hamiltonian has both even TRS and even PHS. Note that the chiral symmetry is given by \(\varPi = \varTheta \varXi \) and commutes with \(\varTheta \) and \(\varXi \). For a Hamiltonian satisfying chiral symmetry and Assumption 1 to exist, the even/odd decomposition \(V \cong V^0 \oplus V^1\) with respect to \(\varPi \) should satisfy \({{\,\mathrm{\mathrm {rank}}\,}}_\mathbb {C}V^0 = {{\,\mathrm{\mathrm {rank}}\,}}_\mathbb {C}V^1\), and we assume that. Then, there is an orthonormal basis of V to identify V with \(\mathbb {C}^N\) such that \(\varPi \) and \(\varTheta \) are expressed as follows:
where \(\mathscr {C}= \mathrm {diag}(c, \ldots , c)\). Since the Hamiltonian H anticommutes with \(\varPi \), the operator \({{\,\mathrm{\mathrm {sign}}\,}}(h)\) in (15) is written in the following off-diagonal form:
where u is a unitary. By the TRS, we have \(u^\tau = \mathscr {C}u^* \mathscr {C}^* = u^*\).
In class D, the Hamiltonian has even PHS. We take an orthonormal basis of V to identify \(V \cong \mathbb {C}^N \) and express \(\varXi \) as \(\mathscr {C}= \mathrm {diag}(c, \ldots , c)\). Let \(u= {{\,\mathrm{\mathrm {sign}}\,}}(h)\), then we have \(u^\tau = \varXi u \varXi ^* = -u\) by the PHS.
In class \(\mathrm {DIII}\), the Hamiltonian has both odd TRS and even PHS. Note that the chiral symmetry is given by \(\varPi = i\varTheta \varXi \) and anticommutes with \(\varTheta \) and \(\varXi \). For such a Hamiltonian H satisfying Assumption 1 to exist, the complex rank of V must be a multiple of 4 since \(\mathrm {sign}(H({\varvec{t}}))\), \(i\varPi \), i and \(\varTheta \) provides a \( Cl _{1,1} \otimes Cl _{2,0} \cong \mathbb {H}(2)\)-module structure on V. We assume \({{\,\mathrm{\mathrm {rank}}\,}}_\mathbb {C}V = 4M\) for some positive integer M.
Lemma 7
If a Hamiltonian H satisfying Assumption 1 exists, there is an orthonormal basis of V such that \(\varPi \) and \(\varTheta \) are expressed as follows.
We write \(\mathscr {J}= \mathrm {diag}(j,\ldots ,j)\), where j is the quaternionic structure on \(\mathbb {H}\).
Proof
By using \(\varPi \), we decompose \(V \cong V^0 \oplus V^1\). We identify \(V^0 \cong V^1 \cong \mathbb {C}^{2M} \cong \mathbb {H}^M\), on which we consider \(\mathscr {J}= \mathrm {diag}(j,\ldots ,j)\). Let \(U = \varTheta \left( \begin{array}{cc} 0&{} \mathscr {J}\\ \mathscr {J}&{}0 \end{array} \right) \). Since U is a unitary and commutes with \(\varPi \), we have \(U = \mathrm {diag}(u_0,u_1)\), where \(u_0\) and \(u_1\) are unitaries on \(\mathbb {C}^{2M}\). Since \(\varTheta ^2 = -1\), we have \(u_1 = {{\,\mathrm{\mathrm {Ad}}\,}}_{\mathscr {J}}(u_0^*)\). Let \(W = \mathrm {diag}(-u_0^*,1)\), then \( W \varTheta W^* = \left( \begin{array}{cc} 0&{} \mathscr {J}\\ \mathscr {J}&{}0 \end{array} \right) \). \(\square \)
We take this basis on V and express \(\varPi \) and \(\varTheta \) as above. By the chiral symmetry, we take u in (18). By the TRS, we have \(u^{\sharp \otimes \tau } = \mathscr {J}u^* \mathscr {J}^* = u\).
In class \(\mathrm {AII}\), the Hamiltonian has odd TRS. The space V has a quaternionic structure given by \(\varTheta \), and the complex rank of V is even, for which we write 2M. There is an orthonormal basis of V for identifying V with \(\mathbb {C}^{2M} \cong \mathbb {H}^M\) and expressing \(\varTheta \) as \(\mathscr {J}= \mathrm {diag}(j, \ldots , j)\). Let u be a self-adjoint unitary in (16). By the TRS, we have \(u^{\sharp \otimes \tau } = {{\,\mathrm{\mathrm {Ad}}\,}}_{\mathscr {J}\oplus \mathscr {J}}(u^*) = u^*\).
In class \(\mathrm {CII}\), the Hamiltonian has both odd TRS and odd PHS. The chiral symmetry is given by \(\varPi = \varTheta \varXi \) and commutes with \(\varTheta \) and \(\varXi \). As in the class BDI case, we take an orthonormal basis of V to identify V with \(\mathbb {C}^N\) and express \(\varPi \) and \(\varTheta \) as
where \(\mathscr {J}= \mathrm {diag}(j, \ldots , j)\). By the chiral symmetry, we take u in (18). By the TRS, we have \(u^{\sharp \otimes \tau } = \mathscr {J}u^* \mathscr {J}^* = u^*\).
In class C, the Hamiltonian has odd PHS. Since \(\varXi \) provides a quaternionic structure on V, its complex rank is even, for which we write 2M. We take an orthonormal basis of V to identify V with \(\mathbb {C}^{2M} \cong \mathbb {H}^M\) and express \(\varXi \) as \(\mathscr {J}= \mathrm {diag}(j, \ldots , j)\). Let \(u = {{\,\mathrm{\mathrm {sign}}\,}}(h)\), then we have \(u^{\sharp \otimes \tau } = \mathscr {J}u^* \mathscr {J}^* = -u\) by the PHS.
In class CI, the Hamiltonian has both even TRS and odd PHS. The chiral symmetry is given by \(\varPi = i\varTheta \varXi \) and anticommutes with \(\varTheta \) and \(\varXi \). As in Lemma 7, we take an orthonormal basis of V to express,
where \(\mathscr {C}= \mathrm {diag}(c,\ldots ,c)\). By the chiral symmetry, we take u in (18). By the TRS, we have \(u^\tau = \mathscr {C}u^* \mathscr {C}^* = u\).
Definition 2
For a Hamiltonian in class \(\spadesuit =\) \(\mathrm {AI}\), \(\mathrm {BDI}\), \(\mathrm {D}\), \(\mathrm {DIII}\), \(\mathrm {AII}\), \(\mathrm {CII}\), \(\mathrm {C}\) or \(\mathrm {CI}\) satisfying Assumption 1, let u be the unitary defined as above. As we have seen, this unitary u satisfies the relation \(\mathscr {R}_{i(\spadesuit )}\) where \(i(\spadesuit )\) is as indicated in Table 10. We denote its classFootnote 9 [u] in the KO-group \(KO_{i(\spadesuit )}(\mathscr {S}^{\alpha , \beta }\otimes C(\mathbb {T}^{n-2}), \tau )\) by \(\mathscr {I}_\mathrm {Gapped}^{n,2, \spadesuit }(H)\).
The groups \(KO_{*}(\mathscr {S}^{\alpha , \beta }\otimes C(\mathbb {T}^{n-2}), \tau )\) are computed by results in Sect. 3.2.
Remark 4
We expressed the symmetry operators in a specific way, though we may choose another one. In class DIII, for example, the operator \(\varTheta \) can also be expressed as \(\left( \begin{array}{cc} 0&{} -\mathscr {C}\\ \mathscr {C}&{}0 \end{array} \right) \), where \(\mathscr {C}= \mathrm {diag}(c,\ldots ,c)\). Then, we obtain unitaries satisfying \(u^\tau = -u\), which are treated in [39].
5.3 Gapless topological invariants
We next define another topological invariant by using our model for the corner \(\hat{H}^{\alpha ,\beta }\). By Assumption 1 and Theorem 2.6 in [55], \(\{ \hat{H}^{\alpha ,\beta }({\varvec{t}}) \}_{{\varvec{t}}\in \mathbb {T}^{n-2}}\) is a continuous family of self-adjoint Fredholm operators. Corresponding to its Altland–Zirnbauer classes, this family provides a \(\mathbb {Z}_2\)-map from \((\mathbb {T}^{n-2}, \zeta )\) to some \(\mathbb {Z}_2\)-spaces of self-adjoint or skew-adjoint Fredholm operators introduced in Appendix A as follows.
-
Class AI, \(\mathbb {Z}_2\)-map \(\hat{H}^{\alpha ,\beta } :(\mathbb {T}^{n-2}, \zeta ) \rightarrow (\mathrm {Fred}^{(0,\underline{1})}_*, \mathfrak {r}_\varTheta )\).
-
Class BDI, let \(\epsilon _1 = \varPi \). \(\mathbb {Z}_2\)-map \(\hat{H}^{\alpha ,\beta } :(\mathbb {T}^{n-2}, \zeta ) \rightarrow (\mathrm {Fred}^{(0,\underline{2})}_*, \mathfrak {r}_\varTheta )\).
-
Class D, \(\mathbb {Z}_2\)-map \(i\hat{H}^{\alpha ,\beta } :(\mathbb {T}^{n-2}, \zeta ) \rightarrow (\mathrm {Fred}^{(\underline{1},0)}_*, \mathfrak {r}_\varXi )\).
-
Class \(\mathrm {DIII}\), let \(e_1 = i\varPi \). \(\mathbb {Z}_2\)-map \(\hat{H}^{\alpha ,\beta } :(\mathbb {T}^{n-2}, \zeta ) \rightarrow (\mathrm {Fred}^{(1,\underline{1})}_*, \mathfrak {q}_\varTheta )\).
-
Class \(\mathrm {AII}\), \(\mathbb {Z}_2\)-map \(\hat{H}^{\alpha ,\beta } :(\mathbb {T}^{n-2}, \zeta ) \rightarrow (\mathrm {Fred}^{(0,\underline{1})}_*, \mathfrak {q}_\varTheta )\).
-
Class \(\mathrm {CII}\), let \(\epsilon _1 = \varPi \). \(\mathbb {Z}_2\)-map \(\hat{H}^{\alpha ,\beta } :(\mathbb {T}^{n-2}, \zeta ) \rightarrow (\mathrm {Fred}^{(0,\underline{2})}_*, \mathfrak {q}_\varTheta )\).
-
Class C, \(\mathbb {Z}_2\)-map \(i\hat{H}^{\alpha ,\beta } :(\mathbb {T}^{n-2}, \zeta ) \rightarrow (\mathrm {Fred}^{(\underline{1},0)}_*, \mathfrak {q}_\varXi )\).
-
Class CI, let \(e_1 = i\varPi \). \(\mathbb {Z}_2\)-map \(\hat{H}^{\alpha ,\beta } :(\mathbb {T}^{n-2}, \zeta ) \rightarrow (\mathrm {Fred}^{(1,\underline{1})}_*, \mathfrak {r}_\varTheta )\).
Here, we write \(\mathfrak {r}_\varTheta = {{\,\mathrm{\mathrm {Ad}}\,}}_\varTheta \) when \(\varTheta ^2=1\) and \(\mathfrak {q}_\varTheta = {{\,\mathrm{\mathrm {Ad}}\,}}_\varTheta \) when \(\varTheta ^2 = -1\). Involutions \(\mathfrak {r}_\varXi \) and \(\mathfrak {q}_\varXi \) are defined as \({{\,\mathrm{\mathrm {Ad}}\,}}_\varXi \) in the same way. By Corollary 4, the \(\mathbb {Z}_2\)-homotopy classes of \(\mathbb {Z}_2\)-maps from \((\mathbb {T}^{n-2}, \zeta )\) to the above \(\mathbb {Z}_2\)-space of self-adjoint or skew-adjoint Fredholm operators is isomorphic to the KO-group \(KO_{i}(C(\mathbb {T}^{n-2}), \tau _\mathbb {T})\) of some degree i.
Definition 3
For \(\spadesuit =\) AI, BDI, D, DIII, AII, CII, C or CI, let \(i(\spadesuit )\), \(c(\spadesuit )\) and \(\mathrm {Fred}^{\spadesuit }\) be numbers and the \(\mathbb {Z}_2\)-space as in Tables 10 and 11. For a Hamiltonian H in class \(\spadesuit \) satisfying Assumption 1, we denote \(\mathscr {I}_\mathrm {Gapless}^{n,2, \spadesuit }(H)\) for the class \([c(\spadesuit ) \hat{H}^{\alpha ,\beta }]\) in the group \(KO_{i(\spadesuit )-1}(C(\mathbb {T}^{n-2}), \tau _\mathbb {T})\). We call \(\mathscr {I}_\mathrm {Gapless}^{n,2, \spadesuit }(H)\) the gapless corner invariant.
If the gapless corner invariant is nontrivial, zero is contained in the spectrum of \(\hat{H}^{\alpha , \beta }\). In Sect. 5.6, we discuss more refined relations between the gapless corner invariant and corner states when \(k=n-1\) and n.
5.4 Correspondence
By taking a tensor product of the extension (2) and \((C(\mathbb {T}^{n-2}),\tau _\mathbb {T})\), we have the following short exact sequence of \(C^{*, \tau }\)-algebras,
Let us consider the following diagram containing the boundary map of 24-term exact sequence for KO-theory associated with this sequence:
where \(F^{\spadesuit }\) is the \(\mathbb {Z}_2\)-subspace of \(\mathrm {Fred}^{\spadesuit }\) as in Appendix A, whose inclusion \(F^{\spadesuit } \hookrightarrow \mathrm {Fred}^{\spadesuit }\) is the \(\mathbb {Z}_2\)-homotopy equivalence. Maps L and \(\exp \) are as follows.
-
When \(i(\spadesuit )\) is odd, for \([u] \in KO_{i(\spadesuit )}(\mathscr {S}^{\alpha , \beta }\otimes C(\mathbb {T}^{n-2}),\tau )\), we take a lift a of u and consider the matrix A as in Definition 10, and set \(L([u]) = [A]\). The map \(\exp \) is defined as in Definition 10.
-
When \(i(\spadesuit )=0,4\), for \([u] \in KO_{i(\spadesuit )}(\mathscr {S}^{\alpha , \beta }\otimes C(\mathbb {T}^{n-2}),\tau )\), we take a self-adjoint lift a of u as in Definition 8.3 of [14] and set \(L([u]) = [a]\). The map \(\exp \) is defined by \(\exp ([a']) = [-\exp (\pi i a')]\).
-
When \(i(\spadesuit )=2,6\), for \([u] \in KO_{i(\spadesuit )}(\mathscr {S}^{\alpha , \beta }\otimes C(\mathbb {T}^{n-2}),\tau )\), we take a self-adjoint lift a of u as in Definition 8.3 of [14] and set \(L([u]) = [ia]\). The map \(\exp \) is defined by \(\exp ([a']) = [-\exp (\pi a')]\).
In each case, the map \(\exp \) is an isomorphism by Proposition 10 and Sect. A.2. For boundary maps \(\hat{\partial }_{i(\spadesuit )}\), we use its expressions through exponentials (see [14] for even \(i(\spadesuit )\) and Appendix A.3 for odd \(i(\spadesuit )\)) and the diagram commutes. Note that, by Proposition 3, the boundary map \(\hat{\partial }_{i(\spadesuit )}\) is surjective. The following is the main result of this section.
Theorem 2
\(\hat{\partial }_{i(\spadesuit )}(\mathscr {I}_\mathrm {Gapped}^{n,2,\spadesuit }(H)) = \mathscr {I}_\mathrm {Gapless}^{n,2, \spadesuit }(H)\).
Proof
The operator \(\hat{H}^{\alpha ,\beta }\) is a self-adjoint lift of \((H^\alpha ,H^\beta )\) and preserves the symmetries of the class \(\spadesuit \). Therefore, we have \(L(\mathscr {I}_\mathrm {Gapped}^{n,2,\spadesuit }(H)) = [c(\spadesuit ) \hat{H}^{\alpha ,\beta }]\) and the results follow from the commutativity of the above diagram. \(\square \)
Remark 5
(Relation with bulk weak invariants) Under Assumption 1, the bulk Hamiltonian H is also invertible. When we take H in place of \(h = (H^\alpha , H^\beta )\) and define the unitary \(u'\) as u in Sect. 5.2 for each symmetry classesFootnote 10, we obtain an element \([u']\) in \(KO_{i(\spadesuit )}(C(\mathbb {T}^n), \tau _\mathbb {T})\), which classifies bulk invariants in class \(\spadesuit \). A relation between gapped invariants \(\mathscr {I}_\mathrm {Gapped}^{n,2,\spadesuit }(H)\) and these bulk invariants can be discussed through the map \((\sigma \otimes 1)_* :KO_{i(\spadesuit )}(\mathscr {S}^{\alpha , \beta }\otimes C(\mathbb {T}^{n-2}), \tau ) \rightarrow KO_{i(\spadesuit )}(C(\mathbb {T}^{n}), \tau _\mathbb {T})\), which maps [u] to \([u']\). As a result, under Assumption 1, bulk strong invariants are trivial.
For bulk weak invariants, except for the cases when \(\alpha \) and \(\beta \) are both rational (or \(\pm \infty \)) and \(t = -ps+qr\) is even, only bulk weak invariants associated with the direction parallel to the codimension-two corner can be non-trivial.
When \(\alpha \) and \(\beta \) are both rational (or \(\pm \infty \)) and \(t = -ps+qr\) is even, some of the bulk weak invariants can also be non-trivial as discussed in Remark 1. We here discuss it from the viewpoint of the bulk-boundary correspondence for (first-order) topological insulators, for that we restrict our attention to the case of \(n=2\) and, as in Remark 1, replace \(\alpha \) and \(\beta \) to 0 and \(\gamma \), respectively. In this setup, let us consider a bulk gapped Hamiltonian of class D or DIII (corresponding to cases of \(i=2\) or 3 in Remark 1) of non-trivial \(\mathbb {Z}_2\)-valued bulk weak invariant in the x-direction but of trivial bulk strong invariant and trivial bulk weak invariant in the y-direction. In this case, the bulk-boundary correspondence prevents us to find invertible half-plane lift Hamiltonian for the half-plane cut across y-axis (i.e. there is no invertible self-adjoint element in the matrix algebra of \(\mathscr {T}^\infty \) preserving the symmetry of class D or DIII which maps to our bulk Hamiltonian by the map \(\sigma ^\infty \)) but not for half-planes cut across x-axis and the lineFootnote 11\(y=\gamma x\). Therefore, there can be an invertible self-adjoint element in the matrix algebra of \(\mathscr {S}^{0, \gamma }\) preserving the symmetry which maps to our bulk Hamiltonian by \(\sigma \). Elements \([(v_2, w_+)]\) and \([(v_3, z_+)]\) discussed in Sect 3.2 provide such examples, which can be seen as a background of t dependence of Table 3 when \(i=2\) and 3.
Remark 6
(Convex and concave corners) When we fix \(\alpha \) and \(\beta \), there exist two models of corners: convex and concave corners (\(\hat{\mathscr {H}}^{\alpha ,\beta }\) and \(\check{\mathscr {H}}^{\alpha ,\beta }\)). We have discussed convex corners though, as in [34], similar results also hold for concave corners by using (3) in place of (2) in our discussion. As in Remark 2, the gapless invariants of these two are related by the factor \(-1\).
5.5 Higher-codimensional cases
Let n and k be positive integers satisfying \(3 \le k \le n\). In this subsection, we consider n-D system with a codimension-k corner. Let \(d=n-k\). We consider a continuous map \(\mathbb {T}^n \rightarrow \mathrm {Herm}(V)\) and the bounded linear self-adjoint operator H on \(l^2(\mathbb {Z}^n)\) generated by this map, which is our model of the bulk. We next introduce models of corners of codimension \(k-1\) whose intersection makes a codimension k corner. For this, we choose d variables \(t_{j_1}, \ldots , t_{j_{d}}\) in \(t_1, t_2, \ldots , t_n\) and consider the partial Fourier transform in these d variables to obtain a continuous family of self-adjoint operators \(\{ H({\varvec{t}})\}_{{\varvec{t}}\in \mathbb {T}^{d}}\) on \(l^2(\mathbb {Z}^k; V)\). On the Hilbert space \(l^2(\mathbb {Z}^k;V) \cong (l^2(\mathbb {Z}) \otimes \cdots \otimes l^2(\mathbb {Z})) \otimes V\), we consider projections \(P_k = (P_{\ge 0} \otimes \cdots \otimes P_{\ge 0}) \otimes 1_V\), and \(P_{k,i} = (P_{\ge 0} \otimes \cdots \otimes 1 \otimes \cdots \otimes P_{\ge 0}) \otimes 1_V\) for \(1 \le i \le k\) where inside the brackets is the tensor products of \(P_{\ge 0}\) except for the i-th tensor product replaced by the identity. By using these projections, we define the following operators:
for \(1 \le i \le k\) and for \({\varvec{t}}\in \mathbb {T}^{d}\). These two are our model for a codimension k corner and codimension \(k-1\) corners, respectively. When we fix a basis on V, we have \((H_1({\varvec{t}}), \ldots , H_k({\varvec{t}})) \in M_N(\mathscr {S}^k)\) by the construction. We assume the following condition in this subsection.
Assumption 2
(Spectral Gap Condition) We assume that our models for codimension \(k-1\) corners \(H_1, \ldots , H_k\) are invertible.
Under this assumption, the model for the bulk, surfaces and corners of codimension less than k, whose intersection makes our codimension-k corner, are invertible. As in Sect. 5.1, let \(h = (H_1, \ldots , H_k)\).
Definition 4
For a Hamiltonian in class \(\spadesuit =\) \(\mathrm {AI}\), \(\mathrm {BDI}\), \(\mathrm {D}\), \(\mathrm {DIII}\), \(\mathrm {AII}\), \(\mathrm {CII}\), \(\mathrm {C}\) or \(\mathrm {CI}\) satisfying Assumption 2, let u be a unitary defined by using this h in place of that in Sect. 5.2. As in Sect. 5.2, this unitary u satisfies the relation \(\mathscr {R}_{i(\spadesuit )}\) where \(i(\spadesuit )\) is as indicated in Table 10. We denote its class [u] in the KO-group \(KO_{i(\spadesuit )}(\mathscr {S}^k \otimes C(\mathbb {T}^{d}), \tau )\) by \(\mathscr {I}_\mathrm {Gapped}^{n,k, \spadesuit }(H)\).
The KO-groups \(KO_{i}(\mathscr {S}^k \otimes C(\mathbb {T}^{d}), \tau )\) are computed by using Proposition 5. For each \({\varvec{t}}\in \mathbb {T}^{d}\), the operator \(H^c({\varvec{t}})\) is Fredholm by Corollary 1.
Definition 5
For \(\spadesuit =\) AI, BDI, D, DIII, AII, CII, C or CI, let \(i(\spadesuit )\), \(c(\spadesuit )\) and \(\mathrm {Fred}^{\spadesuit }\) be numbers and the \(\mathbb {Z}_2\)-space as in Tables 10 and 11. For a Hamiltonian H in class \(\spadesuit \) satisfying Assumption 2, we denote \(\mathscr {I}_\mathrm {Gapless}^{n,k, \spadesuit }(H)\) for \([ c(\spadesuit ) H^c] \in KO_{i(\spadesuit )-1}(C(\mathbb {T}^{d}), \tau _\mathbb {T})\). We call \(\mathscr {I}_\mathrm {Gapless}^{n,k, \spadesuit }(H)\) the gapless corner invariant.
We next discuss a relation between these two topological invariants. As in Sect. 5.4, we consider a tensor product of the extension (14) and \((C(\mathbb {T}^{d}), \tau _\mathbb {T})\) and consider the boundary map \(\partial _{i(\spadesuit )} :KO_{i(\spadesuit )}(\mathscr {S}^k \otimes C(\mathbb {T}^{d}), \tau ) \rightarrow KO_{i(\spadesuit )-1}(\mathscr {K}^k \otimes C(\mathbb {T}^{d}), \tau )\) associated with it expressed through exponentials. Since \(H^c\) is a self-adjoint lift of \((H_1, \ldots , H_k)\), the following relation holds, as in Theorem 2.
Theorem 3
\(\partial _{i(\spadesuit )}(\mathscr {I}_\mathrm {Gapped}^{n,k,\spadesuit }(H)) = \mathscr {I}_{\mathrm {Gapless}}^{n,k, \spadesuit }(H).\)
Remark 7
As in Remark 5, under Assumption 2, some gapped invariants related to corner states for corners of codimension \(< k\) are also defined, though, by Remark 3, only bulk weak invariants associated with the direction parallel to the codimension-k corner can be non-trivial.
Remark 8
Gapless corner invariants for each systems are elements of the KO-group \(KO_i(C(\mathbb {T}^{d}), \tau _\mathbb {T}) \cong \bigoplus _{j=0}^d \left( {\begin{array}{c}d\\ j\end{array}}\right) KO_{i-j}(\mathbb {C},\mathrm {id})\). As in the case of (first-order) topological insulators [43], we call the component \(KO_{i-d}(\mathbb {C},\mathrm {id})\) strong and others weakFootnote 12. That is, we call weak invariants when a corner Hamiltonian representing the K-class can be obtained by stacking lower-dimensional one with the corner of the same codimension, and others strong.
Complex cases can also be discussed in a similar wayFootnote 13. For class A systems with a codimension \(\ge 3\) corner, under Assumption 2, we define gapped and gapless invariants as elements of \(K_0(\mathscr {S}^k \otimes C(\mathbb {T}^d))\) and \(K_1(C(\mathbb {T}^d))\), respectively, and the boundary map \(\partial _0 :K_0(\mathscr {S}^k \otimes C(\mathbb {T}^d)) \rightarrow K_1(\mathscr {K}^k \otimes C(\mathbb {T}^d))\) associated with (14) relates these two, which is surjective by Proposition 6. In class AIII systems, we use \(\partial _1 :K_1(\mathscr {S}^k \otimes C(\mathbb {T}^d)) \rightarrow K_0(\mathscr {K}^k \otimes C(\mathbb {T}^d))\) instead. Gapless corner invariants take value in \(K_{i}(C(\mathbb {T}^{d})) \cong \bigoplus _{j=0}^d \left( {\begin{array}{c}d\\ j\end{array}}\right) K_{i-j}(\mathbb {C})\), and we call the component \(K_{i-d}(\mathbb {C})\) strong and others weak.
Strong invariants for each system are classified in Table 1.
5.6 Numerical corner invariants
Our gapless corner invariants are defined as elements of some KO-group. In this subsection, we introduce \(\mathbb {Z}\)- or \(\mathbb {Z}_2\)-valued numerical corner invariants for our systems in cases where \(k=n\) and \(k=n-1\) to make the relation between our gapped invariants and corner states more explicit. From Table 11, we discuss Hamiltonians in classes \(\mathrm {BDI}\), \(\mathrm {D}\), \(\mathrm {DIII}\) and \(\mathrm {CII}\) when \(k=n\) and \(\mathrm {D}\), \(\mathrm {DIII}\), \(\mathrm {AII}\) and \(\mathrm {CII}\) when \(k=n-1\) satisfying our spectral gap condition.
5.6.1 Case of \(k=n\)
In this case, our model of the corner \(H^c\) is a self-adjoint Fredholm operator which has some symmetry corresponding to its Altland–Zirnbauer classFootnote 14. An appropriate definition of numerical topological invariants is introduced in [9] and we put them in our framework.
In class BDI, the operator \(H^c\) is an element of the fixed point set \((\mathrm {Fred}^{(0,\underline{2})}_*)^{\mathfrak {r}_\varTheta }\) of the involution \(\mathfrak {r}_\varTheta \), where the Clifford action of \( Cl _{0,1}\) on the Hilbert space is given by \(\epsilon _1 = \varPi \) (see also Lemma 13 and Remark 12). We express \(\varPi \) and \(\varTheta \) as in (17) and express \(H^c\) as follows.
The operator \(h^c\) is a Fredholm operator that commutes with \(\mathscr {C}\) and thus is a real Fredholm operator. Its Fredholm index is
where the right-hand side is the trace of \(\varPi \) restricted to \({{\,\mathrm{\mathrm {Ker}}\,}}(H^c)\). The Fredholm index induces an isomorphism \({{\,\mathrm{\mathrm {ind}}\,}}^\mathrm {BDI}:[(\mathrm {pt}, \mathrm {id}), (\mathrm {Fred}^{(0,\underline{2})}_*, \mathfrak {r}_\varTheta )]_{\mathbb {Z}_2} \rightarrow \mathbb {Z}\).
In class D, \(i H^c\) commutes with the real structure \(\varXi \) and is a real skew-adjoint Fredholm operator. Its mod 2 index [9] is
which induces the isomorphism \({{\,\mathrm{\mathrm {ind}}\,}}^\mathrm {D}:[(\mathrm {pt}, \mathrm {id}), (\mathrm {Fred}^{(\underline{1}, 0)}_*, \mathfrak {r}_\varXi )]_{\mathbb {Z}_2} \rightarrow \mathbb {Z}_2.\)
In class \(\mathrm {DIII}\), \(H^c\) is an element of \((\mathrm {Fred}^{(1,\underline{1})}_*)^{\mathfrak {q}_\varTheta }\), where the action of \( Cl _{1,0}\) is given by \(e_1 = i\varPi \). The operator \(iH^c\) and \(e_1\) commute with the real structure \(\varXi \); thus, \(iH^c\) is a real skew-adjoint Fredholm operator that anticommutes with \(e_1\). Its mod 2 index [9] is
which induces the isomorphism \({{\,\mathrm{\mathrm {ind}}\,}}^\mathrm {DIII}:[(\mathrm {pt}, \mathrm {id}),(\mathrm {Fred}^{(1,\underline{1})}_*, \mathfrak {q}_\varTheta )]_{\mathbb {Z}_2} \rightarrow \mathbb {Z}_2.\)
In class \(\mathrm {CII}\), the operator \(H^c\) is an element of \((\mathrm {Fred}^{(0,\underline{2})}_*)^{\mathfrak {q}_\varTheta }\), where the Clifford action of \( Cl _{0,1}\) is given by \(\epsilon _1 = \varPi \). We express \(\varTheta \) and \(\varPi \) as in (19) and express \(H^c\) as in (20). The operator \(h^c\) commutes with \(\mathscr {J}\) and is a quaternionic Fredholm operator. Its Fredholm index \({{\,\mathrm{\mathrm {ind}}\,}}(h^c)\) is an even integer that induces an isomorphism \({{\,\mathrm{\mathrm {ind}}\,}}^\mathrm {CII}:[(\mathrm {pt}, \mathrm {id}), (\mathrm {Fred}^{(0,\underline{2})}_*, \mathfrak {q}_\varTheta )]_{\mathbb {Z}_2} \rightarrow 2\mathbb {Z}\).
Definition 6
For n-D systems with codimension-n corners in classes \(\mathrm {BDI}\), \(\mathrm {D}\), \(\mathrm {DIII}\) and \(\mathrm {CII}\), we define the numerical corner invariant as follows.
-
In class \(\mathrm {BDI}\), let \(\mathscr {N}^{n,n,\mathrm {BDI}}_\mathrm {Gapless}(H) = {{\,\mathrm{\mathrm {ind}}\,}}(h^c) \in \mathbb {Z}\).
-
In class \(\mathrm {D}\), let \(\mathscr {N}^{n,n,\mathrm {D}}_\mathrm {Gapless}(H) = {{\,\mathrm{\mathrm {ind}}\,}}_1(i H^c) \in \mathbb {Z}_2\).
-
In class \(\mathrm {DIII}\), let \(\mathscr {N}^{n,n,\mathrm {DIII}}_\mathrm {Gapless}(H) = {{\,\mathrm{\mathrm {ind}}\,}}_2(i H^c) \in \mathbb {Z}_2\).
-
In class \(\mathrm {CII}\), let \(\mathscr {N}^{n,n,\mathrm {CII}}_\mathrm {Gapless}(H) = {{\,\mathrm{\mathrm {ind}}\,}}(h^c) \in 2\mathbb {Z}\).
Note that by these definitions, they are images of gapless corner invariants \(\mathscr {I}^{n,n,\spadesuit }_\mathrm {Gapless}(H)\) for each class \(\spadesuit = \mathrm {BDI}\), \(\mathrm {D}\), \(\mathrm {DIII}\) and \(\mathrm {CII}\) through the isomorphism \({{\,\mathrm{\mathrm {ind}}\,}}^\spadesuit \). In each case, the numerical corner invariant is computed through \({{\,\mathrm{\mathrm {Ker}}\,}}(H^c)\) and is related to the number of corner states.
5.6.2 Case of \(k=n-1\)
In this case, \(\{ H^c({\varvec{t}})\}_{{\varvec{t}}\in \mathbb {T}}\) is a continuous family of self-adjoint Fredholm operators preserving some symmetry. The numerical corner invariants are given by using (\(\mathbb {Z}\)-valued) spectral flow [8] and its \(\mathbb {Z}_2\)-valued variants [18, 19]. We first review \(\mathbb {Z}\)- and \(\mathbb {Z}_2\)-valued spectral flow.
Spectral flow is, roughly speaking, the net number of crossing points of eigenvalues of a continuous family of self-adjoint Fredholm operators with zero [8]. The following definition of spectral flow is due to Phillips [57].
Definition 7
(Spectral flow) Let \(A :[-1,1] \rightarrow \mathrm {Fred}^{(0,\underline{1})}_*\) be a continuous map. We choose a partition \(-1 = s_0< s_1< \cdots < s_n = 1\) and positive numbers \(c_1, c_2, \ldots , c_n\) so that for each \(i = 1, 2, \ldots , n\), the function \(t \mapsto \chi _{[-c_i, c_i]}(A_s)\) is continuous and finite rank on \([s_{i-1}, s_i]\), where \(\chi _{[a, b]}\) is the characteristic function of [a, b]. We define the spectral flow of A as follows.
Spectral flow is independent of the choice made and depends only on the homotopy class of the path A leaving the endpoints fixed. Thus, the spectral flow induces a map \({{\,\mathrm{\mathrm {sf}}\,}}:[\mathbb {T}, \mathrm {Fred}^{(0,\underline{1})}_*] \rightarrow \mathbb {Z}\) which is a group isomorphism.
We next discuss \(\mathbb {Z}_2\)-valued spectral flow. Let \(\zeta _0\) be an involution on the interval \([-1,1]\) given by \(\zeta _0(s) = -s\). Let A be a \(\mathbb {Z}_2\)-map from \(([-1,1], \zeta _0)\) to \((\mathrm {Fred}^{(0,\underline{1})}_*, \mathfrak {q})\). Then, the spectrum \(\mathrm {sp}(A_s)\) of \(A_s\) is symmetric with respect to \(\zeta _0\), and roughly speaking, \(\mathbb {Z}_2\)-valued spectral flow counts the mod 2 of the net number of pairs of crossing points of \(\mathrm {sp}(A_s)\) with zero. \(\mathbb {Z}_2\)-valued spectral flow is studied in [15, 18, 19, 21] and we give one definition following [19, 57].
Definition 8
(\(\mathbb {Z}_2\)-Valued Spectral Flow) Let us consider a \(\mathbb {Z}_2\)-map \(A :([-1,1], \zeta _0) \rightarrow (\mathrm {Fred}^{(0,\underline{1})}_*, \mathfrak {q})\). We choose a partition \(0 = s_0< s_1< \cdots < s_n = 1\) of [0, 1] and positive numbers \(c_1, c_2, \ldots , c_n\) so that for each \(i = 1, 2, \ldots , n\), the map \(t \mapsto \chi _{[-c_i, c_i]}(A_s)\) is continuous and finite rank on \([s_{i-1}, s_i]\). We define the \(\mathbb {Z}_2\)-valued spectral flow \({{\,\mathrm{\mathrm {sf_2}}\,}}(A)\) of A as follows.
\(\mathbb {Z}_2\)-valued spectral flow is independent of the choice made and depends only on the \(\mathbb {Z}_2\)-homotopy class of the \(\mathbb {Z}_2\)-map A leaving the endpoints fixed or leaving these points in the \(\mathbb {Z}_2\)-fixed point set \((\mathrm {Fred}^{(0,\widehat{1})}_*)^\mathfrak {q}\). Thus \(\mathbb {Z}_2\)-valued spectral flow induces a group homomorphism \({{\,\mathrm{\mathrm {sf_2}}\,}}:[(\mathbb {T}, \zeta _0), (\mathrm {Fred}^{(0,\underline{1})}_*, \mathfrak {q})]_{\mathbb {Z}_2} \rightarrow \mathbb {Z}_2\). By Appendix A, the \(\mathbb {Z}_2\)-homotopy classes \([(\mathbb {T}, \zeta _0), (\mathrm {Fred}^{(0,\underline{1})}_*, \mathfrak {q})]_{\mathbb {Z}_2}\) is isomorphic to \(KO_{3}(C(\mathbb {T}),\tau _\mathbb {T}) \cong \mathbb {Z}_2\).
Example 2
On \(\mathbb {C}^2\), let us consider a family of self-adjoint operators given by \(B_s = \mathrm {diag}(s,-s)\) for \(s \in [-1, 1]\), and an antiunitary j given by \(j(x,y) = (-\bar{y},\bar{x})\). Then, we have a \(\mathbb {Z}_2\)-map \(B :([-1,1],\zeta _0) \rightarrow (M_2(\mathbb {C}), {{\,\mathrm{\mathrm {Ad}}\,}}_{j})\) whose \(\mathbb {Z}_2\)-valued spectral flow \({{\,\mathrm{\mathrm {sf_2}}\,}}(B)\) is one. We extend this finite-dimensional example to an infinite-dimensional one to give an example of a family parametrized by the circle of nontrivial \(\mathbb {Z}_2\)-valued spectral flow. Let \(\mathscr {V}\) be a separable infinite-dimensional complex Hilbert space equipped with a quaternionic structure q. On \(\mathscr {V}' = \mathbb {C}^2 \oplus \mathscr {V} \oplus \mathscr {V}\), we consider a quaternionic structure \(q' = j \oplus q \oplus q\) and a family self-adjoint Fredholm operators given by \(C_s = \mathrm {diag}(B_s,1_\mathscr {V},-1_{\mathscr {V}})\). Let \(U^{(0,\underline{1})}_*(\mathscr {V}')\) the space of unitaries on \(\mathscr {V}'\) whose spectrum is \(\{\pm 1\}\) equipped with the norm topology. Then, its endpoints \(C_{\pm 1}\) are contained in \(U^{(0,\underline{1})}_*(\mathscr {V}')\). Through an identification \((\mathscr {V} \oplus \mathscr {V}, q \oplus q) \cong (\mathscr {V}', q')\), the operator \(\mathrm {diag}(1_{\mathscr {V}}, -1_{\mathscr {V}})\) gives an element \(v_0 \in U^{(0,\underline{1})}_*(\mathscr {V}')\) which satisfies \({{\,\mathrm{\mathrm {Ad}}\,}}_q'(v_0) = v_0\). The space \(U^{(0,\underline{1})}_*(\mathscr {V}')\) is homeomorphic to the homogeneous space \(U(\mathscr {V}')/ (U(\mathbb {C}\oplus \mathscr {V}) \times U(\mathbb {C}\oplus \mathscr {V}))\), which is contractible by the Kuiper’s theorem [46]. Thus, there is a path \(l :[0,1] \rightarrow U^{(0,\underline{1})}_*(\mathscr {V}')\) whose endpoints are \(l(0) = v_0\) and \(l(1)=C_1\). We extend l to a \(\mathbb {Z}_2\)-map \(l' :([-1, 1],\zeta _0) \rightarrow (U^{(0,\underline{1})}_*(\mathscr {V}), {{\,\mathrm{\mathrm {Ad}}\,}}_{q'})\) by \(l'(s) = {{\,\mathrm{\mathrm {Ad}}\,}}_{q'}(l(-s))\) for \(s \in [-1,0]\). Since \(l'(\pm 1) = C_{\pm 1}\), we connect the endpoints of C and \(l'\) to construct a \(\mathbb {Z}_2\)-map \(C' :(\mathbb {T},\zeta ) \rightarrow (\mathrm {Fred}^{(0,\widehat{1})}_*, \mathfrak {q}')\), where \(\mathfrak {q}' = {{\,\mathrm{\mathrm {Ad}}\,}}_{q'}\). Then, \({{\,\mathrm{\mathrm {sf_2}}\,}}(C') = {{\,\mathrm{\mathrm {sf_2}}\,}}(B) = 1\).
In class \(\mathrm {D}\), we have a \(\mathbb {Z}_2\)-map \(i H^c :(\mathbb {T}, \zeta ) \rightarrow (\mathrm {Fred}^{(\underline{1},0)}_*, \mathfrak {r}_\varXi )\). The \(\mathbb {Z}_2\)-homotopy classes \([(\mathbb {T},\zeta ), (\mathrm {Fred}^{(\underline{1}, 0)}_*, \mathfrak {r}_\varXi )]_{\mathbb {Z}_2}\) is isomorphic to \(KO_{1}(C(\mathbb {T}),\tau _\mathbb {T})\cong \mathbb {Z}_2 \oplus \mathbb {Z}.\) By forgetting the \(\mathbb {Z}_2\)-actions and multiplying \(-i\), we have a map \([(\mathbb {T},\zeta ), (\mathrm {Fred}^{(\underline{1}, 0)}_*, \mathfrak {r}_\varXi )]_{\mathbb {Z}_2} \rightarrow [\mathbb {T}, \mathrm {Fred}^{(0,\underline{1})}_*]\). Combined with this map and the spectral flow \({{\,\mathrm{\mathrm {sf}}\,}}:[\mathbb {T}, \mathrm {Fred}^{(0,\underline{1})}_*] \rightarrow \mathbb {Z}\), we obtain a homomorphism
Example 3
Let \(B' :([-1,1], \zeta _0) \rightarrow (\mathbb {C}, {{\,\mathrm{\mathrm {Ad}}\,}}_c) \) be a \(\mathbb {Z}_2\)-map defined by \(B'_s = is\). Then, \({{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {D}(B')\) is defined and \({{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {D}(B') = 1\).
In class \(\mathrm {DIII}\), \(H^c :(\mathbb {T}, \zeta ) \rightarrow (\mathrm {Fred}^{(1,\underline{1})}_*, \mathfrak {q}_\varTheta )\) is a \(\mathbb {Z}_2\)-map, where the action of the Clifford algebra on the right-hand side is given by \(e_1 = i\varPi \). The \(\mathbb {Z}_2\)-homotopy classes \([(\mathbb {T},\zeta ), (\mathrm {Fred}^{(1,\underline{1})}_*, \mathfrak {q}_\varTheta )]_{\mathbb {Z}_2}\) are isomorphic to \(KO_{2}(C(\mathbb {T}),\tau _\mathbb {T}) \cong \mathbb {Z}_2 \oplus \mathbb {Z}_2\). Since the \(\mathbb {Z}_2\)-space \((\mathrm {Fred}^{(1,\underline{1})}_*, \mathfrak {q}_\varTheta )\) is a \(\mathbb {Z}_2\)-subspace of \((\mathrm {Fred}^{(0,\underline{1})}_*, \mathfrak {q}_\varTheta )\), the inclusion induces a map \([(\mathbb {T},\zeta ), (\mathrm {Fred}^{(1,\underline{1})}_*, \mathfrak {q}_\varTheta )]_{\mathbb {Z}_2} \rightarrow [(\mathbb {T},\zeta ), (\mathrm {Fred}^{(0,\underline{1})}_*, \mathfrak {q}_\varTheta )]_{\mathbb {Z}_2}\). Combined with the \(\mathbb {Z}_2\)-valued spectral flow, we obtain the following map:
For \(b = 1\) or \(-1\), let \(i_b\) be the inclusion \(\{ b\} \hookrightarrow \mathbb {T}\). We define \(w_+\) and \(w_-\) as the composite of the following maps when \(b=1\) and \(b=-1\), respectively:
Example 4
Let j, \(\mathscr {V}\), \(\mathscr {V}'\), q, \(q'\), \(B_s\) and \(C_s\) be as in Example 2. Let \(e_1 = \left( \begin{array}{cc} 0&{}i\\ i&{} 0 \end{array} \right) \) and \(e'_1 = \left( \begin{array}{cc} 0&{} -1_\mathscr {V}\\ 1_\mathscr {V}&{} 0 \end{array} \right) \) which gives a \( Cl _{1,0}\)-module structure on \(\mathbb {C}^2\) and \(\mathscr {V} \oplus \mathscr {V}\), respectively. Then, \(C_s = \mathrm {diag}(B_s, 1, -1)\) gives a \(\mathbb {Z}_2\)-map from \(([-1,1],\zeta _0)\) to \((\mathrm {Fred}^{(1,\underline{1})}_*, \mathfrak {q}')\). The operator \(C_1\) is contained in the space of self-adjoint unitaries on \(\mathscr {V}'\) that anticommutes with \(e_1 \oplus e_1'\). As in [9], this space of unitaries is contractible by Kuiper’s theorem. We embed \([-1,1]\) into \(\mathbb {T}\) by \(s \mapsto \exp (\frac{\pi i s}{2})\) and, as in Example 2, extend C onto \(\mathbb {T}\) through this contractible space of unitaries to obtain a \(\mathbb {Z}_2\)-map \(D :(\mathbb {T}, \zeta ) \rightarrow (\mathrm {Fred}^{(1,\underline{1})}_*, \mathfrak {q}')\). For this example, we have \({{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {DIII}(D) = {{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {DIII}(B) = 1\), \(w_+(D)=1\) and \(w_-(D) = 0\). If we take \(D'\) as \(D'_s = D_{-s}\), then \(D'\) is also such a \(\mathbb {Z}_2\)-map and its invariants are \({{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {DIII}(D') = 1\), \(w_+(D')=0\) and \(w_-(D') = 1\).
In class \(\mathrm {AII}\), \(H^c :(\mathbb {T}, \zeta ) \rightarrow (\mathrm {Fred}^{(0,\underline{1})}_*, \mathfrak {q}_\varTheta )\) is a \(\mathbb {Z}_2\)-map and its \(\mathbb {Z}_2\)-valued spectral flow is defined. We denote \({{\,\mathrm{\mathrm {sf}}\,}}^{\mathrm {AII}}\) for \({{\,\mathrm{\mathrm {sf}}\,}}_2\).
In class \(\mathrm {C}\), we have a \(\mathbb {Z}_2\)-map \(i H^c :(\mathbb {T}, \zeta ) \rightarrow (\mathrm {Fred}^{(\underline{1},0)}_*, \mathfrak {q}_\varXi )\). Note that the set \([(\mathbb {T},\zeta ), (\mathrm {Fred}^{(\underline{1},0)}_*, \mathfrak {q}_\varXi )]_{\mathbb {Z}_2}\) is isomorphic to the group \(KO_{5}(C(\mathbb {T}),\tau _\zeta ) \cong \mathbb {Z}\). By forgetting the \(\mathbb {Z}_2\)-actions and multiplying \(-i\), there is a map from \([(\mathbb {T},\zeta ), (\mathrm {Fred}^{(\underline{1},0)}_*, \mathfrak {q}_\varXi )]_{\mathbb {Z}_2}\) to \([\mathbb {T}, \mathrm {Fred}^{(0,\underline{1})}_*]\). Combined with the spectral flow, we obtain a homomorphism
Note that the image of \({{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {C}\) are even integers since each eigenspace corresponding to the crossing points of the spectrum of \(-iA_t\) with zero has a quaternionic vector space structure given by \(\varXi \).
Example 5
For \(s \in [-1,1]\), let \(B''_s = \mathrm {diag}(is,is)\), and let j be the quaternionic structure in Example 2. Then, \(B'' :([-1,1], \zeta ) \rightarrow (M_2(\mathbb {C}), {{\,\mathrm{\mathrm {Ad}}\,}}_{j})\) is a \(\mathbb {Z}_2\)-map, and we have \({{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {C}(B'') = {{\,\mathrm{\mathrm {sf}}\,}}(-iB'') = 2\).
Lemma 8
-
(1)
\({{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {AII} :[(\mathbb {T}, \zeta ), (\mathrm {Fred}^{(0,\underline{1})}_*, \mathfrak {q})]_{\mathbb {Z}_2} \rightarrow \mathbb {Z}_2\) is an isomorphism.
-
(2)
\({{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {D}:[(\mathbb {T},\zeta ), (\mathrm {Fred}^{(\underline{1}, 0)}_*, \mathfrak {r})]_{\mathbb {Z}_2} \rightarrow \mathbb {Z}\) is surjective.
-
(3)
\({{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {DIII}, \ w_+, \ w_- :[(\mathbb {T},\zeta ), (\mathrm {Fred}^{(1,\underline{1})}_*, \mathfrak {q})]_{\mathbb {Z}_2} \rightarrow \mathbb {Z}_2\) are surjective
-
(4)
\({{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {C}:[(\mathbb {T},\zeta ), (\mathrm {Fred}^{(\underline{1},0)}_*, \mathfrak {q})]_{\mathbb {Z}_2} \rightarrow 2\mathbb {Z}\) is an isomorphism.
Proof
It is sufficient to find examples of \(\mathbb {Z}_2\)-maps which maps to generators of \(\mathbb {Z}\), \(\mathbb {Z}_2\) and \(2\mathbb {Z}\). Therefore, (1) and (3) follow from Examples 2 and 4. For (2) and (4), we can construct such examples from Examples 3 and 5, as in Example 2. \(\square \)
In class DIII cases, we have three surjections \({{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {DIII}\), \(w_+\) and \(w_-\) from \(\mathbb {Z}_2 \oplus \mathbb {Z}_2\) to \(\mathbb {Z}_2\). There is the following relation between them.
Lemma 9
\({{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {DIII}= w_+ + w_-\).
Proof
Let D and \(D'\) be \(\mathbb {Z}_2\)-maps in Example 4. Let \(D'' = D \oplus D'\), then we have \({{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {DIII}(D'') = 0\), \(w_+(D'')=1\) and \(w_-(D'') = 1\). Invariants \({{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {DIII}\), \(w_-\) and \(w_+\) for D, \(D'\) and \(D''\) tell that non-trivial three elements in the group \([(\mathbb {T},\zeta ), (\mathrm {Fred}^{(1,\underline{1})}_*, \mathfrak {q})]_{\mathbb {Z}_2}\) consists of classes of D, \(D'\) and \(D''\). Therefore, we computed three maps \({{\,\mathrm{\mathrm {sf}}\,}}^\mathrm {DIII}\), \(w_-\) and \(w_+\), from which the result follows. \(\square \)
Remark 9
For our class \(\mathrm {DIII}\) systems, \(\mathbb {Z}_2\)-valued spectral flow counts the strong invariant. This corresponds to one direct summand of \(\mathbb {Z}_2 \oplus \mathbb {Z}_2\), while the other corresponds to a weak invariant. When \(w_+ \ne w_-\), the strong invariant is nonzero. When \(w_+ = w_- = 1\), the strong invariant is zero and the weak invariant is nonzero. When \(w_+ = w_- = 0\), both of them are zero.
Definition 9
For n-D systems with codimension \(n-1\) corners in classes \(\mathrm {D}\), \(\mathrm {DIII}\), \(\mathrm {AII}\) and \(\mathrm {C}\), we define the numerical corner invariant as follows.
-
In class \(\mathrm {D}\), let \(\mathscr {N}^{n,n-1,\mathrm {D}}_\mathrm {Gapless}(H) = {{\,\mathrm{\mathrm {sf}}\,}}(H^c) \in \mathbb {Z}\).
-
In class \(\mathrm {DIII}\), let \(\mathscr {N}^{n,n-1,\mathrm {DIII}}_\mathrm {Gapless}(H) = {{\,\mathrm{\mathrm {sf_2}}\,}}(H^c) \in \mathbb {Z}_2\).
-
In class \(\mathrm {AII}\), let \(\mathscr {N}^{n,n-1,\mathrm {AII}}_\mathrm {Gapless}(H) = {{\,\mathrm{\mathrm {sf_2}}\,}}(H^c) \in \mathbb {Z}_2\).
-
In class \(\mathrm {C}\), let \(\mathscr {N}^{n,n-1,\mathrm {C}}_\mathrm {Gapless}(H) = {{\,\mathrm{\mathrm {sf}}\,}}(H^c) \in 2\mathbb {Z}\).
For each of the above classes \(\spadesuit \), the numerical invariant \(\mathscr {N}^{n,n-1,\spadesuit }_\mathrm {Gapless}(H)\) is the image of the gapless corner invariant \(\mathscr {I}^{n,n-1,\spadesuit }_\mathrm {Gapless}(H)\) through the map \({{\,\mathrm{\mathrm {sf}}\,}}^\spadesuit \). These numerical invariants account for strong invariants introduced in Remark 8. For (first-order) topological insulators, \(\mathbb {Z}\)- or \(\mathbb {Z}_2\)-valued spectral flow counts the number of chiral or helical edge states. Correspondingly, our numerical corner invariant accounts for chiral or helical hinge states for n-D systems with codimension \(n-1\) corners.
Remark 10
In Definition 9, the numerical corner invariants for both class \(\mathrm {DIII}\) and class \(\mathrm {AII}\) are defined by using \(\mathbb {Z}_2\)-valued spectral flow, though these two \(\mathbb {Z}_2\) are different from the viewpoint of index theory in the sense that they sit in different Bott clock. A similar remark holds for, e.g., cases of \(n=k\) in classes \(\mathrm {BDI}\) and \(\mathrm {CII}\), where both of these numerical corner invariants are defined as Fredholm indices.
5.7 Product formula
In Sect. 4 of [33], a construction of the second-order topological insulators of 3-D class A systems is proposed, which is given by using the Hamiltonians of 2-D class A and 1-D class AIII topological insulators. In this subsection, we generalize this construction to other pairs in the Altland–Zirnbauer classification. This provides a way to construct nontrivial examples of each entry in Table 1 from the Hamiltonians of (first-order) topological insulatorsFootnote 15. For this purpose, we use an exterior product of topological KR-groups [6].
For \(j=1,2\), let \(H_j\) be a bulk Hamiltonian of an \(n_j\)-D \(k_j\)-th-order topological insulatorFootnote 16 in real Altland–Zirnbauer class \(\spadesuit _j\) (AI, BDI, D, DIII, AII, CII, C or CI). Let \(n = n_1+ n_2\), \(k=k_1 + k_2\) and \(d_j = n_j - k_j\) for \(j=1,2\), and let \(d = d_1+d_2\). Corresponding to the class in the Altland–Zirnbauer classification (for which we write \(\spadesuit _j\)) to which the Hamiltonian belongs, it preserves the symmetries as (even/odd) TRS, (even/odd) PHS or chiral symmetry. We write \(\varTheta _j\), \(\varXi _j\) and \(\varPi _j\) for the symmetry operator for \(H_j\). As in Sect. 5, the models of corners \(H_i^c\) lead to a continuous family of self-adjoint or skew-adjoint Fredholm operators and defines an element of the KO-group \(KO_{i'(\spadesuit _j)}(C(\mathbb {T}^{d_j}), \tau )\) where \(i'(\spadesuit _j) = i(\spadesuit _j) -1\). As in Appendix A.1, we have an exterior product of KO-groups
described through these Fredholm operators. By using this form of the product, we obtain an explicit form of the product of the gapless invariants of \(H_1\) and \(H_2\). As a result, we can write down a bulk Hamiltonian H of an n-D k-th order topological insulator of class \(\spadesuit \). The lattice on which we consider \(H^c\) as a model of the codimension-k corner is introduced as the product of thatFootnote 17 of \(H^c_1\) and that of \(H^c_2\). By this construction, we have the following relation between gapless invariants.
Theorem 4
For the Hamiltonian H indicated in Table 12, we have
where \(\cdot \) denotes the exterior product of elements of the KO-groups.
Note that Theorem 4 is the product formula at the level of KO-group elements and accounts for both strong and weak invariants. In order to show this theorem, we need to write down the explicit form of H. In the following, we discuss them for some classes.
Let us consider the case where \(\spadesuit _1 = \mathrm {BDI}\) and \(\spadesuit _2 = \mathrm {BDI}\). In this case, each \(H_j\) has even TRS, even PHS and chiral symmetry. We now consider the following n-dimensional Hamiltonian:
which satisfies even TRS given by \(\varTheta = \varTheta _1 \otimes \varTheta _2\), even PHS given by \(\varXi = \varXi _1 \otimes \varXi _2\) and the chiral symmetry given by \(\varPi = \varPi _1 \otimes \varPi _2\). Thus, the Hamiltonian H belongs to the class \(\spadesuit = \mathrm {BDI}\). The model of the codimension-k corner \(H^c\) of H is written by using the model \(H^c_j\) of the codimension-\(k_j\) corner as follows:
where \({\varvec{t}}_j\) is an element of the \(d_j\)-dimensional torus (momentum space) corresponding to a direction parallel to the corner of \(H^c_j\) for \(j=1,2\). Note that \(({\varvec{t}}_1, {\varvec{t}}_2)\) constitute the parameter of the d-dimensional momentum space in a direction parallel to the corner of \(H^c\). By our assumption, \(H^c_j({\varvec{t}}_j)\) is an element of the space \(\mathrm {Fred}^{(0,\underline{2})}_*\) and gives a \(\mathbb {Z}_2\)-map \((\mathbb {T}^{d_j}, \zeta ) \rightarrow (\mathrm {Fred}^{(0,\underline{2})}_*, \mathfrak {r}_{\varTheta _j})\). The operator \(H^c({\varvec{t}}_1,{\varvec{t}}_2)\) is the image of the pair \((H^c_1, H^c_2)\) through the map,
in (23), where the action of \( Cl _{0,1}\) to define the left-hand side is given by \(\epsilon _j = \varPi _j\) and that for the right-hand side is given by \(\epsilon = \epsilon _1 \otimes \epsilon _2 = \varPi \). Since this map induces the exterior product of KO-groups (Appendix A.1),
we obtain Theorem 4 in this case.
We next consider the case where \(\spadesuit _1 = \mathrm {DIII}\) and \(\spadesuit _2 = \mathrm {D}\). In this case, \(H_1\) has odd TRS, even PHS and the chiral symmetry, and \(H_2\) has even PHS. As in Sect. 5.3, \(H^c_1({\varvec{t}}_1)\) belongs to \((\mathrm {Fred}^{(1, \underline{1})}_*, \mathfrak {q}_{\varTheta _1})\), and \(iH^c_2({\varvec{t}}_2)\) belongs to \((\mathrm {Fred}^{(\underline{1},0)}_*, \mathfrak {r}_{\varXi _2})\). By using Proposition 7, we identify \((\mathrm {Fred}^{(1, \underline{1})}_*, \mathfrak {q}_{\varTheta _1})\) with \((\mathrm {Fred}^{(2, \underline{2})}_*, \mathfrak {q}_{\varTheta _1 \oplus \varTheta _1})\) and \((\mathrm {Fred}^{(\underline{1},0)}_*, \mathfrak {r}_{\varXi _2})\) with \((\mathrm {Fred}^{(0,\underline{3})}_*, \mathfrak {r}_{\varXi _2 \oplus \varXi _2})\). We then use the map (23) of the form
where \(\mathfrak {q}'\) is the conjugation of the fourfold direct sum of \(\varTheta _1 \otimes \varXi _2\). By Proposition 7, we have the \(\mathbb {Z}_2\)-homeomorphism \((\mathrm {Fred}^{(2, \underline{3})}_*, \mathfrak {q}') \cong (\mathrm {Fred}^{(0, \underline{1})}_*, \mathfrak {q}_{\varTheta _1 \otimes \varXi _2})\). Thus, we obtain a \(\mathbb {Z}_2\)-map \(H^c :(\mathbb {T}^d, \zeta ) \rightarrow (\mathrm {Fred}^{(0, \underline{1})}_*, \mathfrak {q}_{\varTheta _1 \otimes \varXi _2})\) from \(H_1^c\) and \(H_2^c\) which is a model for the codimension-k corner in class \(\spadesuit = \mathrm {AII}\). Its bulk Hamiltonian H and (odd) TRS operator \(\varTheta \) is expressed as (21) and \(\varTheta = \varTheta _1 \otimes \varXi _2\), respectively. Note that \(\varPi _1 = i \varTheta _1 \varXi _1\) in class DIII and \(\varTheta \) commutes with H. Since the map (23) induces the exterior product of KO-groups, Theorem 4 holds for this class AII Hamiltonian H.
The other cases are computed in a similar way, and the results are summarized in Table 12, where we write
Our product formula (Theorem 4) and the graded ring structure of \(KO_*(\mathbb {C},\mathrm {id})\) (Theorem 6.9 of [7]) lead to the following product formula for numerical corner invariants. We collect the results here where the form of H is as indicated in Table 12.
Corollary 2
(Cases of \(n=k\)) The case of \(k_1 = n_1\) and \(k_2 = n_2\).
-
\(\mathrm {BDI}\times \mathrm {BDI}\rightarrow \mathrm {BDI}\), \(\mathscr {N}^{n_1,n_1,\mathrm {BDI}}_\mathrm {Gapless}(H_1) \cdot \mathscr {N}^{n_2,n_2,\mathrm {BDI}}_\mathrm {Gapless}(H_2) = \mathscr {N}^{n,n,\mathrm {BDI}}_\mathrm {Gapless}(H)\).
-
\(\mathrm {BDI}\times \mathrm {D}\rightarrow \mathrm {D}\), \((\mathscr {N}^{n_1,n_1,\mathrm {BDI}}_\mathrm {Gapless}(H_1) \bmod 2) \cdot \mathscr {N}^{n_2,n_2,\mathrm {D}}_\mathrm {Gapless}(H_2) = \mathscr {N}^{n,n,\mathrm {D}}_\mathrm {Gapless}(H)\).
-
\(\mathrm {BDI}\times \mathrm {DIII}\rightarrow \mathrm {DIII}\),
\((\mathscr {N}^{n_1,n_1,\mathrm {BDI}}_\mathrm {Gapless}(H_1) \bmod 2) \cdot \mathscr {N}^{n_2,n_2,\mathrm {DIII}}_\mathrm {Gapless}(H_2) = \mathscr {N}^{n,n,\mathrm {DIII}}_\mathrm {Gapless}(H)\).
-
\(\mathrm {BDI}\times \mathrm {CII}\rightarrow \mathrm {CII}\), \(\mathscr {N}^{n_1,n_1,\mathrm {BDI}}_\mathrm {Gapless}(H_1) \cdot \mathscr {N}^{n_2,n_2,\mathrm {CII}}_\mathrm {Gapless}(H_2) = \mathscr {N}^{n,n,\mathrm {CII}}_\mathrm {Gapless}(H)\).
-
\(\mathrm {D}\times \mathrm {D}\rightarrow \mathrm {DIII}\), \(\mathscr {N}^{n_1,n_1,\mathrm {D}}_\mathrm {Gapless}(H_1) \cdot \mathscr {N}^{n_2,n_2,\mathrm {D}}_\mathrm {Gapless}(H_2) = \mathscr {N}^{n,n,\mathrm {DIII}}_\mathrm {Gapless}(H)\).
-
\(\mathrm {CII}\times \mathrm {CII}\rightarrow \mathrm {BDI}\), \(\mathscr {N}^{n_1,n_1,\mathrm {CII}}_\mathrm {Gapless}(H_1) \cdot \mathscr {N}^{n_2,n_2,\mathrm {CII}}_\mathrm {Gapless}(H_2) = \mathscr {N}^{n,n,\mathrm {BDI}}_\mathrm {Gapless}(H)\).
Corollary 3
(Cases of \(n=k-1\)) The case of \(k_1 = n_1\) and \(k_2 = n_2-1\).
-
\(\mathrm {BDI}\times \mathrm {D}\rightarrow \mathrm {D}\), \(\mathscr {N}^{n_1,n_1,\mathrm {BDI}}_\mathrm {Gapless}(H_1) \cdot \mathscr {N}^{n_2,n_2-1,\mathrm {D}}_\mathrm {Gapless}(H_2) = \mathscr {N}^{n,n-1,\mathrm {D}}_\mathrm {Gapless}(H)\).
-
\(\mathrm {BDI}\times \mathrm {DIII}\rightarrow \mathrm {DIII}\),
\((\mathscr {N}^{n_1,n_1,\mathrm {BDI}}_\mathrm {Gapless}(H_1) \bmod 2) \cdot \mathscr {N}^{n_2,n_2-1,\mathrm {DIII}}_\mathrm {Gapless}(H_2) = \mathscr {N}^{n,n-1,\mathrm {DIII}}_\mathrm {Gapless}(H)\).
-
\(\mathrm {BDI}\times \mathrm {AII}\rightarrow \mathrm {AII}\),
\((\mathscr {N}^{n_1,n_1,\mathrm {BDI}}_\mathrm {Gapless}(H_1) \bmod 2) \cdot \mathscr {N}^{n_2,n_2-1,\mathrm {AII}}_\mathrm {Gapless}(H_2) = \mathscr {N}^{n,n-1,\mathrm {AII}}_\mathrm {Gapless}(H)\).
-
\(\mathrm {BDI}\times \mathrm {C}\rightarrow \mathrm {C}\), \(\mathscr {N}^{n_1,n_1,\mathrm {BDI}}_\mathrm {Gapless}(H_1) \cdot \mathscr {N}^{n_2,n_2-1,\mathrm {C}}_\mathrm {Gapless}(H_2) = \mathscr {N}^{n,n-1,\mathrm {C}}_\mathrm {Gapless}(H)\).
-
\(\mathrm {D}\times \mathrm {D}\rightarrow \mathrm {DIII}\),
\(\mathscr {N}^{n_1,n_1,\mathrm {D}}_\mathrm {Gapless}(H_1) \cdot (\mathscr {N}^{n_2,n_2-1,\mathrm {D}}_\mathrm {Gapless}(H_2) \bmod 2) = \mathscr {N}^{n,n-1,\mathrm {DIII}}_\mathrm {Gapless}(H)\).
-
\(\mathrm {D}\times \mathrm {DIII}\rightarrow \mathrm {AII}\), \(\mathscr {N}^{n_1,n_1,\mathrm {D}}_\mathrm {Gapless}(H_1) \cdot \mathscr {N}^{n_2,n_2-1,\mathrm {DIII}}_\mathrm {Gapless}(H_2) = \mathscr {N}^{n,n-1,\mathrm {AII}}_\mathrm {Gapless}(H)\).
-
\(\mathrm {DIII}\times \mathrm {D}\rightarrow \mathrm {AII}\),
\(\mathscr {N}^{n_1,n_1,\mathrm {DIII}}_\mathrm {Gapless}(H_1) \cdot (\mathscr {N}^{n_2,n_2-1,\mathrm {D}}_\mathrm {Gapless}(H_2) \bmod 2) = \mathscr {N}^{n,n-1,\mathrm {AII}}_\mathrm {Gapless}(H)\).
-
\(\mathrm {CII}\times \mathrm {D}\rightarrow \mathrm {C}\), \(\mathscr {N}^{n_1,n_1,\mathrm {CII}}_\mathrm {Gapless}(H_1) \cdot \mathscr {N}^{n_2,n_2-1,\mathrm {D}}_\mathrm {Gapless}(H_2) = \mathscr {N}^{n,n-1,\mathrm {C}}_\mathrm {Gapless}(H)\).
-
\(\mathrm {CII}\times \mathrm {C}\rightarrow \mathrm {D}\), \(\mathscr {N}^{n_1,n_1,\mathrm {CII}}_\mathrm {Gapless}(H_1) \cdot \mathscr {N}^{n_2,n_2-1,\mathrm {C}}_\mathrm {Gapless}(H_2) = \mathscr {N}^{n,n-1,\mathrm {D}}_\mathrm {Gapless}(H)\).
We also have a similar formula by exchanging \(H_1\) and \(H_2\) (e.g. pairs like \(\mathrm {D}\times \mathrm {BDI}\rightarrow \mathrm {D}\)). Note that in the case of \(\mathrm {CII}\times \mathrm {CII}\rightarrow \mathrm {BDI}\) in Corollary 2, we take the product of two even integers, which is necessarily a multiple of four. A similar remark also holds in the case of \(\mathrm {CII}\times \mathrm {C}\rightarrow \mathrm {D}\) in Corollary 3.
Notes
In standard terminologies, they will be called edges, surfaces, hinges or edge of edges depending on n and k. In this paper, we may simply call them corners but state its codimensions.
i.e., a complex linear automorphism of A that preserves \(*\) and satisfies \(\tau (ab) = \tau (b)\tau (a)\).
For notations of the transpositions introduced here, we follow [14].
An operator A on a complex Hilbert space \(\mathscr {V}\) is called the antiunitary operator if A is an antilinear bijection on \(\mathscr {V}\) satisfying \(\langle A v, A w \rangle = \overline{\langle v,w \rangle }\) for any v and w in \(\mathscr {V}\).
When \(\alpha = - \infty \) and \(\beta \in \mathbb {Q}\), we have \({{\,\mathrm{\mathrm {Coker}}\,}}(\varphi _1) \cong \mathbb {Z}_s\). This is the case when \(p = -1\) and \(q =0\) and \(t = -ps + qr = s\) in this case. A similar remark also holds for \(i = 2,3,5\).
The matrix \(Y^{(3)}_4\) is introduced in Appendix A.3.
We simply write \(\tau \) in place of \(\tau _\mathscr {S}\otimes \tau _\mathbb {T}\). In the following, these abbreviations for tensor products of transpositions are employed, though the meaning will be clear from the context.
For example, for class AI, class BDI and class D systems, we define \(u'\) as follows,
$$\begin{aligned} u'= \left( \begin{array}{cc} {{\,\mathrm{\mathrm {sign}}\,}}(H)&{}0\\ 0&{}1_N \end{array} \right) \ \ \text {class AI}, \ \ \ \ \ \ {{\,\mathrm{\mathrm {sign}}\,}}(H) = \left( \begin{array}{cc} 0&{}{u'}^*\\ u'&{}0 \end{array} \right) \ \ \text {class BDI}, \ \ \ \ \ \ u' = {{\,\mathrm{\mathrm {sign}}\,}}(H) \ \ \text {class D}. \end{aligned}$$If we transform \(\mathscr {H}^\gamma \) to \(\mathscr {H}^\infty \) by an action of \(SL(2,\mathbb {Z})\) on the lattice, we can see that the corresponding \(\mathbb {Z}_2\)-valued bulk weak invariant in the x-direction is trivial.
For (first-order) topological insulators, strong and weak invariants may be introduced for gapped bulk invariants, though we can also distinguish them through gapless boundary invariants by the bulk-boundary correspondence. In this paper, we take the latter point of view for corners and distinguish strong and weak invariants through gapless corner invariants since, when we define our gapped invariants, the shape of the corner is to some extent fixed and our interest here is corner states.
In [33, 34], there is a mistake in the computations of the group \(K_0(\mathscr {S}^{\alpha , \beta })\) in the case where \(\alpha \) and \(\beta \) are rational numbers (there is a torsion part in general, as in \(KO_0(\mathscr {S}^{\alpha , \beta },\tau _{\mathscr {S}})\) computed in Sect. 4), which is correctly stated in [56]. The author would like to thank Guo Chuan Thiang for pointing this mistake out.
In what follows, we also write \(H^c\) for \(\hat{H}^{\alpha ,\beta }\) in \(k=2\) case.
For the case of \(k=2\), the construction is restricted to \(\alpha = 0\) and \(\beta = \infty \) case.
When \(k_j=1\), the lattice is \(\mathbb {Z}_{\ge 0} \times \mathbb {Z}^{d_j}\), where \(H^c_j\) is the compression of the bulk Hamiltonian onto this half-space. Topological invariants for them are the one discussed in topological insulators. To clarify our sign choices, we mention that they are obtained by applying the discussion in Sect. 5 to the Toeplitz extension (11) in place of (2) or (12).
Note that the “real \(\mathbb {Z}_2\)-graded \(\mathrm {Cliff}(\mathbb {R}^{k,l})\)-module” introduced in [6] is the same as the (ungraded) real \( Cl _{l,k+1}\)-module discussed in this paper.
Matrices \(W_{2n}\), \(Q_{4n}\), \(V_{2n}\) and \(X_{4n}\) are what we borrowed from Sect. 8 of [14]. Some of the basic formulas that they satisfy can be found there.
References
Alldridge, A., Max, C., Zirnbauer, M.R.: Bulk-boundary correspondence for disordered free-fermion topological phases. Commun. Math. Phys. 377(3), 1761–1821 (2020)
Altland, A., Zirnbauer, M.R.: Nonstandard symmetry classes in mesoscopic normal-superconduction hybrid structures. Phys. Rev. B 55(2), 1142–1161 (1997)
Antonian, S.: Equivariant embeddings into \(G\)-ARs. Glas. Math. Ser. III 22(2), 503–533 (1987)
Antonyan, S.A., Elfving, E.: The equivariant homotopy type of \(G\)-ANR’s for proper actions of locally compact groups. In: Algebraic topology—old and new. Banach Center Publ., vol. 85, pp. 155–178. Polish Acad. Sci. Inst. Math., Warsaw (2009)
Araki, H., Mizoguchi, T., Hatsugai, Y.: \(\mathbb{Z}_Q\) Berry phase for higher-order symmetry-protected topological phases. Phys. Rev. Res. 2, 012009 (2020)
Atiyah, M.F.: \(K\)-theory and reality. Quart. J. Math. Oxford Ser. 2(17), 367–386 (1966)
Atiyah, M.F., Bott, R., Shapiro, A.: Clifford modules. Topology 3, 3–38 (1964)
Atiyah, M.F., Patodi, V.K., Singer, I.M.: Spectral asymmetry and Riemannian geometry. III. Math. Proc. Cambridge Philos. Soc. 79(1), 71–99 (1976)
Atiyah, M.F., Singer, I.M.: Index theory for skew-adjoint Fredholm operators. Inst. Hautes Études Sci. Publ. Math. 37, 5–26 (1969)
Bellissard, J.: \(K\)-theory of \(C^\ast \)-algebras in solid state physics. In: Statistical mechanics and field theory: mathematical aspects (Groningen, 1985), Lecture Notes in Phys., vol. 257, pp. 99–156. Springer, Berlin (1986)
Bellissard, J., van Elst, A., Schulz-Baldes, H.: The noncommutative geometry of the quantum Hall effect. J. Math. Phys. 35(10), 5373–5451 (1994)
Benalcazar, W.A., Bernevig, B.A., Hughes, T.L.: Quantized electric multipole insulators. Science 357, 61–66 (2017)
Boersema, J.L.: Real \(C^*\)-algebras, united \(K\)-theory, and the Künneth formula. K-Theory 26(4), 345–402 (2002)
Boersema, J.L., Loring, T.A.: \(K\)-theory for real \(C^*\)-algebras via unitary elements with symmetries. New York J. Math. 22, 1139–1220 (2016)
Bourne, C., Carey, A.L., Lesch, M., Rennie, A.: The KO-valued spectral flow for skew-adjoint fredholm operators. J. Topol, Anal (2020)
Bourne, C., Carey, A.L., Rennie, A.: The bulk-edge correspondence for the quantum Hall effect in Kasparov theory. Lett. Math. Phys. 105(9), 1253–1273 (2015)
Bourne, C., Kellendonk, J., Rennie, A.: The \(K\)-theoretic bulk-edge correspondence for topological insulators. Ann. Henri Poincaré 18(5), 1833–1866 (2017)
Carey, A.L., Phillips, J., Schulz-Baldes, H.: Spectral flow for skew-adjoint Fredholm operators. J. Spectr. Theory 9(1), 137–170 (2019)
De Nittis, G., Schulz-Baldes, H.: Spectral flows of dilations of Fredholm operators. Canad. Math. Bull. 58(1), 51–68 (2015)
tom Dieck, T.: Transformation Groups, De Gruyter Studies in Mathematics, vol. 8. Walter de Gruyter & Co., Berlin (1987)
Doll, N., Schulz-Baldes, H., Waterstraat, N.: Parity as \(\mathbb{Z}_2\)-valued spectral flow. Bull. Lond. Math. Soc. 51(5), 836–852 (2019)
Douglas, R.G.: Banach algebra techniques in the theory of Toeplitz operators. CBMS Regional Conference Series in Mathematics, no. 15. American Mathematical Society, Providence, R.I. (1973)
Douglas, R.G., Howe, R.: On the \(C^*\)-algebra of Toeplitz operators on the quarterplane. Trans. Am. Math. Soc. 158, 203–217 (1971)
Freed, D.S., Moore, G.W.: Twisted equivariant matter. Ann. Henri Poincaré 14(8), 1927–2023 (2013)
Friedrich, T.: Dirac Operators in Riemannian Geometry. Graduate Studies in Mathematics, vol. 25. American Mathematical Society, Providence, RI (2000). Translated from the 1997 German original by Andreas Nestke
Geier, M., Trifunovic, L., Hoskam, M., Brouwer, P.W.: Second-order topological insulators and superconductors with an order-two crystalline symmetry. Phys. Rev. B 97, 205135 (2018)
Gomi, K.: Freed-Moore K-theory (2017). arXiv:1705.09134 [math.KT]
Gomi, K., Thiang, G.C.: ‘Real’ gerbes and Dirac cones of topological insulators (2021). arXiv:2103.05350 [hep-th]
Goodearl, K.R.: Notes on Real and Complex \(C^{\ast } \)-Algebras. Shiva Mathematics Series, vol. 5. Shiva Publishing Ltd., Nantwich (1982)
Großmann, J., Schulz-Baldes, H.: Index pairings in presence of symmetries with applications to topological insulators. Commun. Math. Phys. 343(2), 477–513 (2016)
Hashimoto, K., Wu, X., Kimura, T.: Edge states at an intersection of edges of a topological material. Phys. Rev. B 95, 165443 (2017)
Hatsugai, Y.: Chern number and edge states in the integer quantum hall effect. Phys. Rev. Lett. 71(22), 3697–3700 (1993)
Hayashi, S.: Topological invariants and corner states for Hamiltonians on a three-dimensional lattice. Commun. Math. Phys. 364(1), 343–356 (2018)
Hayashi, S.: Toeplitz operators on concave corners and topologically protected corner states. Lett. Math. Phys. 109(10), 2223–2254 (2019)
Ji, R., Kaminker, J.: The \(K\)-theory of Toeplitz extensions. J. Oper. Theory 19(2), 347–354 (1988)
Jiang, X.: On Fredholm operators in quarter-plane Toeplitz algebras. Proc. Am. Math. Soc. 123(9), 2823–2830 (1995)
Kane, C.L., Mele, E.J.: \(Z_2\) topological order and the quantum spin Hall effect. Phys. Rev. Lett. 95, 146802 (2005)
Karoubi, M.: Espaces classifiants en \(K\)-théorie. Trans. Am. Math. Soc. 147, 75–115 (1970)
Kellendonk, J.: On the \(C^*\)-algebraic approach to topological phases for insulators. Ann. Henri Poincaré 18(7), 2251–2300 (2017)
Kellendonk, J., Richter, T., Schulz-Baldes, H.: Edge current channels and Chern numbers in the integer quantum Hall effect. Rev. Math. Phys. 14(1), 87–119 (2002)
Khalaf, E.: Higher-order topological insulators and superconductors protected by inversion symmetry. Phys. Rev. B 97, 205136 (2018)
Khalaf, E., Po, H.C., Vishwanath, A., Watanabe, H.: Symmetry indicators and anomalous surface states of topological crystalline insulators. Phys. Rev. X 8, 031070 (2018)
Kitaev, A.: Periodic table for topological insulators and superconductors. AIP Conf. Proc. 1134(1), 22–30 (2009)
Kubota, Y.: Notes on twisted equivariant K-theory for \(C^*\)-algebras. Int. J. Math. 27(6), 1650058 (2016)
Kubota, Y.: Controlled topological phases and bulk-edge correspondence. Commun. Math. Phys. 349(2), 493–525 (2017)
Kuiper, N.H.: The homotopy type of the unitary group of Hilbert space. Topology 3, 19–30 (1965)
Kwasik, S.: On the homotopy type of \(G\)-manifolds and \(G\)-ANRs. Bull. Acad. Polon. Sci. Sér. Sci. Math. 28(9–10), 509–515 (1981)
Lawson Jr., H.B., Michelsohn, M.L.: Spin Geometry. Princeton Mathematical Series, vol. 38. Princeton University Press, Princeton, NJ (1989)
Mathai, V., Thiang, G.C.: T-duality simplifies bulk-boundary correspondence. Commun. Math. Phys. 345(2), 675–701 (2016)
Matumoto, T.: Equivariant \(K\)-theory and Fredholm operators. J. Fac. Sci. Univ. Tokyo Sect. I A Math. 18, 109–125 (1971)
Matumoto, T.: On \(G\)-\({\rm CW}\) complexes and a theorem of JHC Whitehead. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 18, 363–374 (1971)
Okugawa, R., Hayashi, S., Nakanishi, T.: Second-order topological phases protected by chiral symmetry. Phys. Rev. B 100, 235302 (2019)
Okuma, N., Sato, M., Shiozaki, K.: Topological classification under nonmagnetic and magnetic point group symmetry: Application of real-space Atiyah-Hirzebruch spectral sequence to higher-order topology. Phys. Rev. B 99, 085127 (2019)
Palais, R.S.: On the homotopy type of certain groups of operators. Topology 3, 271–279 (1965)
Park, E.: Index theory and Toeplitz algebras on certain cones in \({ Z}^2\). J. Oper. Theory 23(1), 125–146 (1990)
Park, E.L.: The index theory of Toeplitz operators on the skew quarter plane. Ph.D. thesis, State University of New York at Stony Brook (1988)
Phillips, J.: Self-adjoint Fredholm operators and spectral flow. Canad. Math. Bull. 39(4), 460–467 (1996)
Prodan, E., Schulz-Baldes, H.: Bulk and Boundary Invariants for Complex Topological Insulators: From \(K\)-theory to physics. Mathematical Physics Studies. Springer, Berlin (2016)
Rørdam, M., Larsen, F., Laustsen, N.: An Introduction to \(K\)-Theory for \(C^*\)-Algebras, London Mathematical Society Student Texts, vol. 49. Cambridge University Press, Cambridge (2000)
Schindler, F., Cook, A.M., Vergniory, M.G., Wang, Z., Parkin, S.S.P., Bernevig, B.A., Neupert, T.: Higher-order topological insulators. Sci. Adv. 4(6), eaat0346 (2018)
Schnyder, A.P., Ryu, S., Furusaki, A., Ludwig, A.W.W.: Classification of topological insulators and superconductors in three spatial dimensions. Phys. Rev. B 78, 195125 (2008)
Schröder, H.: \(K\)-Theory for Real \(C^*\)-Algebras and Applications. Pitman Research Notes in Mathematics Series, vol. 290. Longman Scientific & Technical, Harlow; copublished in the United States with John Wiley & Sons, New York (1993)
Simonenko, I.B.: Operators of convolution type in cones. Math. Sb. N.S. 74(116), 298–313 (1967)
Takahashi, R., Tanaka, Y., Murakami, S.: Bulk-edge and bulk-hinge correspondence in inversion-symmetric insulators. Phys. Rev. Res. 2, 013300 (2020)
Thiang, G.C.: On the \(K\)-theoretic classification of topological phases of matter. Ann. Henri Poincaré 17(4), 757–794 (2016)
Thouless, D.J., Kohmoto, M., Nightingale, M.P., den Nijs, M.: Quantized Hall conductance in a two-dimensional periodic potential. Phys. Rev. Lett. 49, 405–408 (1982)
Trifunovic, L., Brouwer, P.W.: Higher-order bulk-boundary correspondence for topological crystalline phases. Phys. Rev. X 9, 011012 (2019)
Waner, S.: Equivariant homotopy theory and Milnors theorem. Trans. Am. Math. Soc. 258(2), 351–368 (1980)
Wood, R.: Banach algebras and Bott periodicity. Topology 4, 371–389 (1966)
Xia, J.: The \(K\)-theory and the invertibility of almost periodic Toeplitz operators. Integral Equ. Oper. Theory 11(2), 267–286 (1988)
Acknowledgements
The author thanks Takeshi Nakanishi, Ryo Okugawa, Guo Chuan Thiang and Yukinori Yoshimura for the many discussions. This work was supported by JSPS KAKENHI (Grant Nos. JP17H06461, JP19K14545) and JST PRESTO (Grant No. JPMJPR19L7).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
\(\mathbb {Z}_2\)-spaces of self-adjoint/skew-adjoint Fredholm operators and Boersema–Loring’s K-theory
\(\mathbb {Z}_2\)-spaces of self-adjoint/skew-adjoint Fredholm operators and Boersema–Loring’s K-theory
In this Appendix, we collect necessary results and notations used in this paper. The results have been developed in much generality [6, 9, 15, 27, 38, 44, 69], and we contain minimal background for this paper focusing on their relation with Boersema–Loring’s K-theory [14]. In Appendix A.1, we introduce some \(\mathbb {Z}_2\)-spaces of self-adjoint and skew-adjoint Fredholm operators following [9]. Some proofs for known results are contained simply to fix isomorphisms used in this paper (e.g. the derivation of Table 12). In Appendix A.2, we discuss its relation with Boersema–Loring’s K-theory. In Appendix A.3, inspired by exponential maps in [9, 69], we write the boundary maps of the 24-term exact sequence of KO-theory in Boersema–Loring’s unitary picture through exponentials. Some of them are already expressed by exponentials in [14]; thus, we consider the remaining cases. This form of boundary maps is useful when we discuss a relation between our gapped invariants and gapless invariants through boundary maps [14, 45].
1.1 \(\mathbb {Z}_2\)-spaces of self-adjoint/skew-adjoint Fredholm operators
For nonnegative integers k and l, let \( Cl _{k,l}\) be the Clifford algebra that is an associative algebra with unit over \(\mathbb {R}\) generated by \(k+l\) elements \(e_1, \ldots , e_k\) and \(\epsilon _1, \ldots , \epsilon _l\), which satisfy \(e_i^2= -1\) \((i = 1, \ldots , k)\) and \(\epsilon _j^2=1\) \((j = 1, \ldots , l)\) and anticommute with each other. The following are well-known Clifford algebra isomorphisms [48].
Lemma 10
-
(1)
\( Cl _{k,l+1} \cong Cl _{l, k+1}\).
-
(2)
\( Cl _{k,l} \otimes Cl _{1,1} \cong Cl _{k+1,l+1}\).
-
(3)
\( Cl _{k,l} \otimes Cl _{4,0} \cong Cl _{k+4,l}\) and \( Cl _{k,l} \otimes Cl _{0,4} \cong Cl _{k,l+4}\).
-
(4)
\( Cl _{k,l} \otimes Cl _{8,0} \cong Cl _{k+8,l}\) and \( Cl _{k,l} \otimes Cl _{0,8} \cong Cl _{k,l+8}\).
Proof
-
(1)
Let \(e_1, \ldots , e_k\) and \(\epsilon _1, \ldots , \epsilon _{l+1}\) be generators of the Clifford algebra \( Cl _{k,l+1}\). Let \(\tilde{e}_i = \epsilon _{i+1} \epsilon _{1}\) \((i = 1, \ldots , l)\), \(\tilde{\epsilon }_{1} = \epsilon _{1}\) and \(\tilde{\epsilon }_{i} = e_{i-1} \epsilon _{1}\) \((i = 2, \ldots , k+1)\). Then, \(\tilde{e}_1, \ldots , \tilde{e}_l\) and \(\tilde{\epsilon }_{1}, \ldots , \tilde{\epsilon }_{k+1}\) correspond to generators of the Clifford algebra \( Cl _{l, k+1}\).
-
(2)
Let \(e_1, \ldots , e_k\) and \(\epsilon _1, \ldots , \epsilon _{l}\) be generators of the Clifford algebra \( Cl _{k,l}\), and let \(e_1\) and \(\epsilon _1\) be those of \( Cl _{1,1}\). We write \(\omega _{1,1}\) for \(e'_1 \epsilon '_1 \in Cl _{1,1}\). Then, \(\tilde{e}_{i} = e_i \otimes \omega _{1,1}\) \((i = 1, \ldots , k)\), \(\tilde{e}_{k+1} = 1 \otimes e'_1\), \(\tilde{\epsilon }_{i} = \epsilon _i \otimes \omega _{1,1}\) \((i = 1, \ldots , l)\) and \(\tilde{\epsilon }_{l} = 1 \otimes \epsilon '_1\) correspond to generators of the Clifford algebra \( Cl _{k+1,l+1}\).
-
(3)
We show that \( Cl _{k,l} \otimes Cl _{0,4} \cong Cl _{k,l+4}\); the other is proved similarly. Let \(e_1, \ldots , e_k\) and \(\epsilon _1, \ldots , \epsilon _{l}\) be generators of the Clifford algebra \( Cl _{k,l}\), and let \(\epsilon '_1\), \(\epsilon '_2\), \(\epsilon '_3\), and \(\epsilon '_4\) be those of \( Cl _{0,4}\). We write \(\omega _{0,4}\) for \(-\epsilon '_1 \epsilon '_2 \epsilon '_3 \epsilon '_4 \in Cl _{0,4}\). Then, \(\tilde{e}_{i} = e_i \otimes \omega _{0,4}\) \((i = 1, \ldots , k)\), \(\tilde{\epsilon }_i = \epsilon _i \otimes \omega _{0,4}\) \((i = 1, \ldots , l)\) and \(\tilde{\epsilon }_{i} = 1 \otimes \epsilon '_i\) \((i = 1, \ldots , 4)\) correspond to generators of the algebra \( Cl _{k,l+4}\).
-
(4)
We show that \( Cl _{k,l} \otimes Cl _{0,8} \cong Cl _{k,l+8}\); the other is proved similarly. Let \(e_1, \ldots , e_k\) and \(\epsilon _1, \ldots , \epsilon _{l}\) be generators of \( Cl _{k,l}\), and let \(\epsilon '_1, \ldots , \epsilon '_8\) be those of \( Cl _{0,8}\). We write \(\omega _{0,8}\) for \(\epsilon '_1 \cdots \epsilon '_8 \in Cl _{0,8}\). Then, \(\tilde{e}_{i} = e_i \otimes \omega _{0,8}\) \((i = 1, \ldots , k)\), \(\tilde{\epsilon }_i = \epsilon _i \otimes \omega _{0,8}\) \((i = 1, \ldots , l)\) and \(\tilde{\epsilon }_{i} = 1 \otimes \epsilon '_i\) \((i = 1, \ldots , 8)\) correspond to generators of the algebra \( Cl _{k,l+8}\).
\(\square \)
Let W be a (ungraded) complex left \( Cl _{k,l}\)-module. We say that W is a (ungraded) real (resp. quaternionic) \( Cl _{k,l}\)-moduleFootnote 18 if W is equipped with an antilinear map \(r :W \rightarrow W\) (resp. \(q :W \rightarrow W\)), which commutes with the \( Cl _{k,l}\)-action and satisfies \(r^2 = 1\) (resp. \(q^2=-1\)). We call this r (resp. q) the real (resp. quaternionic) structure on the Clifford module. Since a real (resp. quaternionic) \( Cl _{k,l}\)-module is the same thing as a module of \( Cl _{k,l} \otimes Cl _{1,1} \cong Cl _{k+1,l+1}\) (resp. \( Cl _{k,l} \otimes Cl _{2,0} \cong Cl _{l+2,k}\)) over \(\mathbb {R}\), the algebra \( Cl _{k,l}\) has one inequivalent irreducible real or quaternionic module when \(k - l \not \equiv 3 \bmod 4\) and has two when \(k - l \equiv 3 \bmod 4\).
Lemma 11
-
(1)
Let \(\varDelta _{1,1}\) be a complex irreducible representation of \( Cl _{1,1}\). There exists a real structure \(r_{1,1}\) on \(\varDelta _{1,1}\) that commutes with the Clifford action.
-
(2)
Let \(\varDelta _{0,4}\) (resp. \(\varDelta _{4,0}\)) be a complex irreducible representation of \( Cl _{0,4}\) (resp. \( Cl _{4,0}\)). There exists a quaternionic structure \(q_{0,4}\) (resp. \(q_{4,0}\)) on \(\varDelta _{0,4}\) (resp. \(\varDelta _{4,0}\)) that commutes with the Clifford action.
-
(3)
Let \(\varDelta _{0,8}\) (resp. \(\varDelta _{8,0}\)) be a complex irreducible representation of \( Cl _{0,8}\) (resp. \( Cl _{8,0}\)). There exists a real structure \(r_{0,8}\) (resp. \(r_{8,0}\)) on \(\varDelta _{0,8}\) (resp. \(\varDelta _{8,0}\)) that commutes with the Clifford action.
For the proof of this lemma, see [25], for example. For a \(\mathbb {Z}_2\)-space \((X, \zeta )\) with two \(\mathbb {Z}_2\)-fixed points \(x_0, x_1 \in X^\zeta \), we write \(P(X; x_0, x_1)\) for the path space starting from \(x_0\) and ending at \(x_1\), that is, the space of continuous maps \(f :[0,1] \rightarrow X\) satisfying \(f(0) = x_0\) and \(f(1) = x_1\) equipped with the compact-open topology. On this space, we consider an involution, for which we also write \(\zeta \) by abuse of notation, defined as \((\zeta (f))(t) = \zeta (f(t))\) for t in [0, 1], and obtain a \(\mathbb {Z}_2\)-space \((P(X; x_0, x_1), \zeta )\). When \(x_0=x_1\), we write \(\varOmega _{x_0}X\) for \(P(X; x_0, x_0)\), which is the based loop space of X with the base point \(x_0\).
Remark 11
Banach \(\mathbb {Z}_2\)-spaces and its open \(\mathbb {Z}_2\)-subspaces are \(\mathbb {Z}_2\)-absolute neighborhood retracts [3], and have the homotopy type of \(\mathbb {Z}_2\)-CW complexes [47]. The path spaces and loop spaces we discuss in the following also have the homotopy type of \(\mathbb {Z}_2\)-CW complexes [68]. By the equivariant Whitehead theorem, weak \(\mathbb {Z}_2\)-homotopy equivalences between these spaces are \(\mathbb {Z}_2\)-homotopy equivalences [4, 51].
Let \(\mathscr {V}\) be a separable infinite-dimensional complex Hilbert space. Let \(\mathscr {B}(\mathscr {V})\) be the space of bounded complex linear operators on \(\mathscr {V}\) equipped with the norm topology. Let \(GL(\mathscr {V})\), \(U(\mathscr {V})\), \(\mathrm {Fred}(\mathscr {V})\) and \(\mathscr {K}(\mathscr {V})\) be subspaces of \(\mathscr {B}(\mathscr {V})\) consisting of invertible, unitary, Fredholm and compact operators on \(\mathscr {V}\), respectively. We assume that our Hilbert space \(\mathscr {V}\) has a real structure r or a quaternionic structure q, that is, an antiunitary operator on \(\mathscr {V}\) satisfying \(r^2=1\) or \(q^2 = -1\), respectively. Correspondingly, the space \(\mathscr {B}(\mathscr {V})\) has an (antilinear) involution \(\mathfrak {r}= {{\,\mathrm{\mathrm {Ad}}\,}}_r\) or \(\mathfrak {q}= {{\,\mathrm{\mathrm {Ad}}\,}}_q\). These involutions induce involutions on \(GL(\mathscr {V})\), \(U(\mathscr {V})\), \(\mathrm {Fred}(\mathscr {V})\) and \(\mathscr {K}(\mathscr {V})\), for which we also write \(\mathfrak {r}\) or \(\mathfrak {q}\). We write a for r or q and \(\mathfrak {a}\) for \(\mathfrak {r}\) or \(\mathfrak {q}\). We also assume that there is a complex linear action of the Clifford algebra \( Cl _{k,l}\) on the Hilbert space \(\mathscr {V}\) that commutes with the real or the quaternionic structure. For an element \(v \in Cl _{k,l}\), we also write v for its action on \(\mathscr {V}\), for simplicity. When \(k-l \equiv 3 \bmod 4\), we further assume that each of the two inequivalent irreducible real or quaternionic representations of \(Cl_{k,l}\) has infinite multiplicity. In the following, we discuss the subspaces of \(\mathscr {B}(\mathscr {V})\); we may abbreviate the Hilbert space \(\mathscr {V}\) from its notation when it is clear from the context. When the Hilbert space \(\mathscr {V}\) is such a \( Cl _{k,l}\)-module, let \(\mathscr {B}^{(\underline{k+1},l)}_\mathrm {sk}\) (resp. \(\mathscr {B}^{(k,\underline{l+1})}_\mathrm {sa}\)) be the subspace of \(\mathscr {B}(\mathscr {V})\) consisting of skew-adjoint (resp. self-adjoint) operators A on \(\mathscr {V}\) satisfying \(e_i A = -A e_i\) for \(i = 1, \ldots , k\) and \(\epsilon _j A = - A \epsilon _j\) for \(j=1, \ldots , l\). Let \(\mathrm {Fred}^{(\underline{k},l)}_\mathrm {sk}= \mathrm {Fred}\cap \mathscr {B}^{(\underline{k},l)}_\mathrm {sk}\) and \(\mathrm {Fred}^{(k,\underline{l})}_\mathrm {sa}= \mathrm {Fred}\cap \mathscr {B}^{(k,\underline{l})}_\mathrm {sa}\). The involution \(\mathfrak {a}\) on \(\mathscr {B}(\mathscr {V})\) induces involutions on \(\mathrm {Fred}^{(\underline{k},l)}_\mathrm {sk}\) and \(\mathrm {Fred}^{(k,\underline{l})}_\mathrm {sa}\) for which we also write \(\mathfrak {a}\). Consider the space \(\mathrm {Fred}^{(\underline{k},l)}_\mathrm {sk}\), and let \(\varUpsilon = e_1 \cdots e_{k-1} \epsilon _1 \cdots \epsilon _l\). When \(k-l\) is odd, the space \(\mathrm {Fred}^{(\underline{k},l)}_\mathrm {sk}\) is decomposed into three components \(\mathrm {Fred}^{(\underline{k},l)}_+\), \(\mathrm {Fred}^{(\underline{k},l)}_-\) and \(\mathrm {Fred}^{(\underline{k},l)}_*\) corresponding to whether the following element is essentially positive, essentially negative or neither: \(i^{-1}\varUpsilon A\) when \(k-l \equiv 1 \bmod 4\) and \(\varUpsilon A\) when \(k-l \equiv 3 \bmod 4\) for \(A \in \mathrm {Fred}^{(\underline{k},l)}_\mathrm {sk}\). As in [9], each of these three components is nonempty. When \(k-l \equiv 1 \bmod 4\), the involution \(\mathfrak {a}\) maps \(\mathrm {Fred}^{(\underline{k},l)}_\pm \) to \(\mathrm {Fred}^{(\underline{k},l)}_\mp \) (double-sign corresponds), and \(\mathrm {Fred}^{(\underline{k},l)}_*\) is closed under the action of \(\mathfrak {a}\). When \(k-l \equiv 3 \bmod 4\), each of the three components is closed under the action of \(\mathfrak {a}\). The space \(\mathrm {Fred}^{(k,\underline{l})}_\mathrm {sa}\) is also decomposed into three components in the same way, except that we take \(e_1 \cdots e_k \epsilon _1 \cdots \epsilon _{l-1}\) for \(\varUpsilon \) in this case, and we define the space \(\mathrm {Fred}^{(k,\underline{l})}_*\) when \(k-l\) is odd. When \(k-l\) is even, we set \(\mathrm {Fred}^{(\underline{k},l)}_* = \mathrm {Fred}^{(\underline{k},l)}_\mathrm {sk}\) and \(\mathrm {Fred}^{(k,\underline{l})}_* = \mathrm {Fred}^{(k,\underline{l})}_\mathrm {sa}\). Summarizing, we have the following \(\mathbb {Z}_2\)-spaces:
Proposition 7
The following \(\mathbb {Z}_2\)-homeomorphisms exist.
-
(1)
\((\mathrm {Fred}^{(\underline{k},{l})}_*, \mathfrak {a}) \cong (\mathrm {Fred}^{(\underline{k+1},{l+1})}_*, \mathfrak {a})\) and \((\mathrm {Fred}^{(k,\underline{l})}_*, \mathfrak {a}) \cong (\mathrm {Fred}^{(k+1,\underline{l+1})}_*, \mathfrak {a})\),
-
(2)
\((\mathrm {Fred}^{(\underline{k},{l})}_*, \mathfrak {a}) \cong (\mathrm {Fred}^{(\underline{k+4},{l})}_*, \widetilde{\mathfrak {a}})\) and \((\mathrm {Fred}^{(k,\underline{l})}_*, \mathfrak {a}) \cong (\mathrm {Fred}^{(k+4,\underline{l})}_*, \widetilde{\mathfrak {a}})\),
-
(3)
\((\mathrm {Fred}^{(\underline{k},{l})}_*, \mathfrak {a}) \cong (\mathrm {Fred}^{(\underline{k},{l+4})}_*, \widetilde{\mathfrak {a}})\) and \((\mathrm {Fred}^{(k,\underline{l})}_*, \mathfrak {a}) \cong (\mathrm {Fred}^{(k,\underline{l+4})}_*, \widetilde{\mathfrak {a}})\),
-
(4)
\((\mathrm {Fred}^{(\underline{k},{l})}_*, \mathfrak {a}) \cong (\mathrm {Fred}^{(\underline{k+8},{l})}_*, \mathfrak {a})\) and \((\mathrm {Fred}^{(k,\underline{l})}_*, \mathfrak {a}) \cong (\mathrm {Fred}^{(k+8,\underline{l})}_*, \mathfrak {a})\),
-
(5)
\((\mathrm {Fred}^{(\underline{k},{l})}_*, \mathfrak {a}) \cong (\mathrm {Fred}^{(\underline{k},{l+8})}_*, \mathfrak {a})\) and \((\mathrm {Fred}^{(k,\underline{l})}_*, \mathfrak {a}) \cong (\mathrm {Fred}^{(k,\underline{l+8})}_*, \mathfrak {a})\),
-
(6)
\((\mathrm {Fred}^{(\underline{k+1},{l+1})}_*, \mathfrak {a}) \cong (\mathrm {Fred}^{(l,\underline{k+2})}_*, \mathfrak {a})\),
where \(\widetilde{\mathfrak {a}} = \mathfrak {q}\) when \(\mathfrak {a}= \mathfrak {r}\) and \( \widetilde{\mathfrak {a}} = \mathfrak {r}\) when \(\mathfrak {a}= \mathfrak {q}\).
Proof
Once the Clifford module structure on the left-hand side of these homeomorphisms is fixed that on the right-hand side is given following the isomorphisms of Clifford algebras in Lemma 10. By using Lemma 11, the \(\mathbb {Z}_2\)-homeomorphisms are given as follows.
-
(1)
The map \((\mathrm {Fred}^{(k,\underline{l})}_*(\mathscr {V}), {{\,\mathrm{\mathrm {Ad}}\,}}_a) \rightarrow (\mathrm {Fred}^{(k+1,\underline{l+1})}_*(\mathscr {V} \otimes \varDelta _{1,1} ), {{\,\mathrm{\mathrm {Ad}}\,}}_{a \otimes r_{1,1} })\) given by \(A \mapsto A \otimes \omega _{1,1}\) is a \(\mathbb {Z}_2\)-homeomorphism. The other one is proved similarly.
-
(3)
The map \((\mathrm {Fred}^{(k,\underline{l})}_*(\mathscr {V}), {{\,\mathrm{\mathrm {Ad}}\,}}_a) \rightarrow (\mathrm {Fred}^{(k,\underline{l+4})}_*(\mathscr {V} \otimes \varDelta _{0,4}), {{\,\mathrm{\mathrm {Ad}}\,}}_{a \otimes q_{0,4}})\) given by \(A \mapsto A \otimes \omega _{0,4}\) is a \(\mathbb {Z}_2\)-homeomorphism. The other one and (2), (4) and (5) follow in a similar way.
-
(6)
The map \((\mathrm {Fred}^{(\underline{k+1},{l+1})}_*(\mathscr {V}), \mathfrak {a}) \rightarrow (\mathrm {Fred}^{(l,\underline{k+2})}_*(\mathscr {V}), \mathfrak {a})\) given by \(A \mapsto A \epsilon _{1}\) is a \(\mathbb {Z}_2\)-homeomorphism.
\(\square \)
Proposition 8
The following \(\mathbb {Z}_2\)-homotopy equivalences exist.
-
(1)
\((\mathrm {Fred}^{(\underline{k+1},l)}_*, \mathfrak {a}) \simeq (\varOmega _{e_k}\mathrm {Fred}^{(\underline{k},l)}_*, \mathfrak {a})\), for \(k \ge 1\) and \(l \ge 0\).
-
(2)
\((\mathrm {Fred}^{(k,\underline{l+1})}_*, \mathfrak {a}) \simeq (\varOmega _{\epsilon _l}\mathrm {Fred}^{(k,\underline{l})}_*, \mathfrak {a})\), for \(k \ge 0\) and \(l \ge 1\).
-
(3)
\((\mathrm {Fred}^{(\underline{1},0)}_*, \mathfrak {a}) \simeq (\varOmega _{1}\mathrm {Fred}, \mathfrak {a})\).
Proposition 8 is proved as in [9]. In what follows, we outline its proof since some spaces introduced there are of our interest.
Proposition 9
The following maps are \(\mathbb {Z}_2\)-homotopy equivalences.
-
(1)
\(\alpha _1 :(\mathrm {Fred}^{(\underline{k+1},l)}_*, \mathfrak {a}) \rightarrow (P(\mathrm {Fred}^{(\underline{k},l)}_*; e_k, -e_k), \mathfrak {a})\), where
\(\alpha _1(A)(t) = e_k \cos (\pi t) + A \sin (\pi t)\) for \(0 \le t \le 1\).
-
(2)
\(\alpha _2 :(\mathrm {Fred}^{(k,\underline{l+1})}_*, \mathfrak {a}) \rightarrow (P(\mathrm {Fred}^{(k,\underline{l})}_*; \epsilon _l, -\epsilon _l), \mathfrak {a})\), where
\(\alpha _2(A)(t) = \epsilon _l \cos (\pi t) - A \sin (\pi t)\) for \(0 \le t \le 1\).
-
(3)
\(\alpha _3 :(\mathrm {Fred}^{(\underline{1},0)}_*, \mathfrak {a}) \rightarrow (P(\mathrm {Fred}; 1, -1), \mathfrak {a})\), where
\(\alpha _3(A)(t) = \cos (\pi t) + A \sin (\pi t)\) for \(0 \le t \le 1\).
Proposition 8 follows from Proposition 9 since, in each case, there is a path connecting the endpoints of each path space in the unitaries preserving the Clifford action and the \(\mathbb {Z}_2\)-action. As in [9], the proof of Proposition 9 reduces to showing the \(\mathbb {Z}_2\)-homotopy equivalences between some spaces of Fredholm operators and some spaces of unitary operators (Proposition 10). Let \(F^{(\underline{k},l)}_*\) (resp. \(F^{(k,\underline{l})}_*\)) be the subspace of \(\mathrm {Fred}^{(\underline{k},l)}_*\) (resp. \(\mathrm {Fred}^{(k,\underline{l})}_*\) ) consisting of those operators whose essential spectra are \(\{ i, -i \}\) (resp. \(\{ 1, -1 \}\)) and whose operator norms are 1. The spaces \(F^{(\underline{k},l)}_*\) and \(F^{(k,\underline{l})}_*\) are closed under the action of \(\mathfrak {a}\); thus, we have \(\mathbb {Z}_2\)-spaces \((F^{(\underline{k},l)}_*, \mathfrak {a})\) and \((F^{(k,\underline{l})}_*, \mathfrak {a})\). Inclusions \((F^{(\underline{k},l)}_*, \mathfrak {a}) \hookrightarrow (\mathrm {Fred}^{(\underline{k},l)}_*, \mathfrak {a})\) and \((F^{(k,\underline{l})}_*, \mathfrak {a}) \hookrightarrow (\mathrm {Fred}^{(k,\underline{l})}_*, \mathfrak {a})\) are \(\mathbb {Z}_2\)-homotopy equivalences. Let \(U_\mathrm {cpt}\) be the subspace of \(U(\mathscr {V})\) consisting of unitary operators of the form \(1 + T\), where \(T \in \mathscr {K}(\mathscr {V})\). When the Hilbert space \(\mathscr {V}\) is a \( Cl _{k,l}\)-module, let \(U^{(\underline{k},l)}_\mathrm {cpt}\) (resp. \(U^{(k,\underline{l})}_\mathrm {cpt}\)) be the subspace of \(U(\mathscr {V}) \cap \mathscr {B}^{(\underline{k},l)}_\mathrm {sk}\) (resp. \(U(\mathscr {V}) \cap \mathscr {B}^{(k,\underline{l})}_\mathrm {sa}\)) consisting of a unitary u satisfying \(u^2=-1\) (resp. \(u^2=1\)) and \(u \equiv e_k\) (resp. \(u \equiv \epsilon _l\)) modulo compact operators. If the Hilbert space has a real or quaternionic structure, these spaces of unitaries are closed under the action of \(\mathfrak {a}\), and we obtain \(\mathbb {Z}_2\)-spaces.
Proposition 10
The following maps are \(\mathbb {Z}_2\)-homotopy equivalences:
-
(1)
\(p_1 :(F^{(\underline{k+1},l)}_*, \mathfrak {a}) \rightarrow (-U^{(\underline{k},l)}_\mathrm {cpt}, \mathfrak {a})\), \(p_1(A) = e_{k} \exp (\pi A e_{k})\), for \(k \ge 1\), \(l \ge 0\).
-
(2)
\(p_2 :(F^{(k,\underline{l+1})}_*, \mathfrak {a}) \rightarrow (-U^{(k,\underline{l})}_\mathrm {cpt}, \mathfrak {a})\), \(p_2(A) = \epsilon _{l} \exp (\pi A \epsilon _{l})\), for \(k \ge 0\), \(l \ge 1\).
-
(3)
\(p_3 :(F^{(\underline{1},0)}_*, \mathfrak {a}) \rightarrow (-U_\mathrm {cpt}, \mathfrak {a})\), \(p_3(A) = \exp (\pi A)\).
-
(4)
\(p_4 :(F^{(0,\underline{1})}_*, \mathfrak {a}) \rightarrow (-U_\mathrm {cpt}, \mathfrak {a}\circ *)\), \(p_4(A) = \exp (\pi i A)\).
Proof
By Remark 11, it is sufficient to show that these maps are weak \(\mathbb {Z}_2\)-homotopy equivalences. Equivalently, to show that \(p_i\) and its restriction to the \(\mathbb {Z}_2\)-fixed point sets (the map \(p_1^{\mathbb {Z}_2} :(F^{(\underline{k+1},l)}_*)^\mathfrak {a}\rightarrow (-U^{(\underline{k},l)}_\mathrm {cpt})^\mathfrak {a}\) in the case of (1)) are weak homotopy equivalences. They are proved by using quasifibrations on some dense subspaces of contractible fibers as in [9]. \(\square \)
Lemma 12
There is a \(\mathbb {Z}_2\)-homeomorphism \((\mathrm {Fred}, \mathfrak {a}) \cong (\mathrm {Fred}_*^{(0,\underline{2})}, \mathfrak {a})\).
Proof
This is given by a \(\mathbb {Z}_2\)-map \((\mathrm {Fred}(\mathscr {V}), \mathfrak {a}) \rightarrow (\mathrm {Fred}_*^{(0,\underline{2})}(\mathscr {V} \oplus \mathscr {V}), \mathfrak {a}\oplus \mathfrak {a})\), \( A \mapsto \left( \begin{array}{cc} 0 &{} A^*\\ A &{} 0 \end{array} \right) \), where the action of \( Cl _{0,1}\) on \(\mathscr {V} \oplus \mathscr {V}\) is given by \(\epsilon _1 = \mathrm {diag}(1,-1)\). \(\square \)
Proposition 7, Proposition 8 and Lemma 12 lead to the following.
Corollary 4
The following \(\mathbb {Z}_2\)-homotopy equivalences exist.
-
(1)
\((\mathrm {Fred}^{(\underline{k},l)}_*, \mathfrak {r}) \simeq (\varOmega ^{k-l} \mathrm {Fred}, \mathfrak {r})\).
-
(2)
\((\mathrm {Fred}^{(\underline{k},l)}_*, \mathfrak {q}) \simeq (\varOmega ^{k-l+4} \mathrm {Fred}, \mathfrak {r})\).
-
(3)
\((\mathrm {Fred}^{(k,\underline{l})}_*, \mathfrak {r}) \simeq (\varOmega ^{l-k+6} \mathrm {Fred}, \mathfrak {r})\).
-
(4)
\((\mathrm {Fred}^{(k,\underline{l})}_*, \mathfrak {q}) \simeq (\varOmega ^{l-k+2} \mathrm {Fred}, \mathfrak {r})\).
When the subscript m on \(\varOmega ^m\) is negative, this should be replaced by \(m + 8n\) by taking a sufficiently large integer n to make the subscript nonnegative.
Note that when k and l are relatively small, we further have the following \(\mathbb {Z}_2\)-homeomorphisms.
Lemma 13
Multiplication by the imaginary unit \(i = \sqrt{-1}\) induces the following \(\mathbb {Z}_2\)-homeomorphisms:
-
(1)
\((\mathrm {Fred}^{(0,\underline{2})}_*, {{\,\mathrm{\mathrm {Ad}}\,}}_r) \rightarrow (\mathrm {Fred}^{(\underline{1},1)}_*, {{\,\mathrm{\mathrm {Ad}}\,}}_{\widetilde{r}})\), where \(\tilde{r}= r \epsilon _1\).
-
(2)
\((\mathrm {Fred}^{(0,\underline{2})}_*, {{\,\mathrm{\mathrm {Ad}}\,}}_q) \rightarrow (\mathrm {Fred}^{(\underline{1},1)}_*, {{\,\mathrm{\mathrm {Ad}}\,}}_{\widetilde{q}})\), where \(\tilde{q}= -q \epsilon _1\).
-
(3)
\((\mathrm {Fred}^{(1,\underline{1})}_*, {{\,\mathrm{\mathrm {Ad}}\,}}_q) \rightarrow (\mathrm {Fred}^{(\underline{2},0)}_*, {{\,\mathrm{\mathrm {Ad}}\,}}_{\widetilde{r}})\), where \(\tilde{r} =qe_1\).
-
(4)
\((\mathrm {Fred}^{(1,\underline{1})}_*, {{\,\mathrm{\mathrm {Ad}}\,}}_r) \rightarrow (\mathrm {Fred}^{(\underline{2},0)}_*, {{\,\mathrm{\mathrm {Ad}}\,}}_{\widetilde{q}})\), where \(\tilde{q}= -re_1\).
Remark 12
The \(\mathbb {Z}_2\)-spaces in Lemma 13 appear in the study of topological insulators. Specifically, Table 11 is obtained by taking the quantum symmetries as real or quaternionic Clifford module structures as follows.
-
In class \(\mathrm {BDI}\), we put \(r = \varTheta \) and \(\epsilon _1 = \varPi \) in (1); then, \(\tilde{r} = \varXi \).
-
In class \(\mathrm {CII}\), we put \(q = \varTheta \) and \(\epsilon _1 = \varPi \) in (2); then, \(\tilde{q} = \varXi \).
-
In class \(\mathrm {DIII}\), we put \(q = \varTheta \) and \(e_1 = i\varPi \) in (3); then, \(\tilde{r} = \varXi \).
-
In class \(\mathrm {CI}\), we put \(r = \varTheta \) and \(e_1 = i\varPi \) in (4); then, \(\tilde{q} = \varXi \).
For \(l \ge 1\), let us consider the map
defined by \((A, B) \mapsto A \otimes 1 + \epsilon _l \otimes B\), where the Clifford action to define \(\mathrm {Fred}^{(k+k',\underline{l+l'})}_*\) is generated by \(\tilde{e}_i = e_i \otimes 1\) \((i=1, \ldots , k)\), \(\tilde{e}_{k+i} = \epsilon _l \otimes e_i\) \((i = 1, \ldots , k')\), \(\tilde{\epsilon }_i = \epsilon _i \otimes 1\) \((i= 1, \ldots , l-1)\) and \(\tilde{\epsilon }_{l+i-1} = \epsilon _l \otimes \epsilon _i\) \((i=1, \ldots , l')\). As in [9], this map induces the exterior product of topological KR-groups which appears in the Künneth formula for united K-theory as discussed in [13] for some real \(C^*\)-algebras.
1.2 Relation with Boersema–Loring’s unitary picture
In this subsection, we discuss a relation between these \(\mathbb {Z}_2\)-spaces of self-adjoint/skew-adjoint Fredholm operators and Boersema–Loring’s K-theory.
Let \(\{W_i\}_{i \in I}\) be the set of mutually inequivalent irreducible real (resp. quaternionic) representations of \( Cl _{k,l}\) with Hermitian inner-products which \(\{W_i\}_{i \in I}\) consists of one or two elements corresponding to k and l. Let \(W = \oplus _{i \in I} W_i\) and \(\mathscr {V} = l^2(\mathbb {Z}_{\ge 0}) \otimes W\) which has a real (resp. quaternionic) \( Cl _{k,l}\)-module structure induced by that of \(\{W_i\}_{i \in I}\). We take a complete orthonormal basis \(\{\delta _j\}_{j \in \mathbb {Z}_{\ge 0}}\) of \(l^2(\mathbb {Z}_{\ge 0})\) given by generating functions of each points in \(\mathbb {Z}_{\ge 0}\). Let \(\mathscr {V}_n\) be the subspace of \(\mathscr {V}\) spanned by \(\{ \delta _j \otimes w \ | \ 0 \le j \le n, w \in W \}\), which is a real (resp. quaternionic) \( Cl _{k,l}\)-module. Let \(GL_\mathrm {cpt}\) be the space of invertible operators on \(\mathscr {V}\) of the form \(e_k + T\) for some compact operator T. Let \(GL^{(\underline{k},l)}_\mathrm {cpt}= GL_\mathrm {cpt}\cap \mathscr {B}_\mathrm {sk}^{(\underline{k},l)}(\mathscr {V})\) and \(GL^{(k,\underline{l})}_\mathrm {cpt}= GL_\mathrm {cpt}\cap \mathscr {B}_\mathrm {sa}^{(k,\underline{l})}(\mathscr {V})\). Let \(GL^{(\underline{k},l)}_n\) (resp. \(GL^{(k,\underline{l})}_n\)) be the subspace of \(\mathscr {B}_\mathrm {sk}^{(\underline{k},l)}(\mathscr {V}_n)\) (resp. \(\mathscr {B}_\mathrm {sa}^{(k,\underline{l})}(\mathscr {V}_n)\)) consisting of invertible operators, and let \(U^{(\underline{k},l)}_n\) (resp. \(U^{(k,\underline{l})}_n\)) be its subspace of unitaries. We have an injection \(GL^{(\underline{k},l)}_n \hookrightarrow GL^{(\underline{k},l)}_{n+1}\) (resp. \(GL^{(k,\underline{l})}_n \hookrightarrow GL^{(k,\underline{l})}_{n+1}\)) given by mapping A to \(A \oplus e_k\) (resp. \(A \oplus \epsilon _l\)), and let \(GL^{(\underline{k},l)}_\infty \) (resp. \(GL^{(k,\underline{l})}_\infty \)) be its inductive limit (resp. ). We also define \(U^{(\underline{k},l)}_\infty \) and \(U^{(k,\underline{l})}_\infty \) for unitaries in the same way. The space \(GL^{(\underline{k},l)}_n\) (resp. \(GL^{(k,\underline{l})}_n\)) is identified with the subspace of \(GL^{(\underline{k},l)}_\mathrm {cpt}\) (resp. \(GL^{(k,\underline{l})}_\mathrm {cpt}\)) consisting of operators of the form \(e_k + T\) (resp. \(\epsilon _l + T\)), where \(T \in \mathscr {B}(\mathscr {V}_n)\), and we have an injective \(\mathbb {Z}_2\)-map \((GL^{(\underline{k},l)}_\infty , \mathfrak {a}) \rightarrow (GL^{(\underline{k},l)}_\mathrm {cpt}, \mathfrak {a})\) (resp. \((GL^{(k,\underline{l})}_\infty , \mathfrak {a}) \rightarrow (GL^{(k,\underline{l})}_\mathrm {cpt}, \mathfrak {a})\)). As in [54], the following holdsFootnote 19.
Proposition 11
The map \((GL^{(\underline{k},l)}_\infty , \mathfrak {a}) \rightarrow (GL^{(\underline{k},l)}_\mathrm {cpt}, \mathfrak {a})\) and \((GL^{(k,\underline{l})}_\infty , \mathfrak {a}) \rightarrow (GL^{(k,\underline{l})}_\mathrm {cpt}, \mathfrak {a})\) are \(\mathbb {Z}_2\)-homotopy equivalences.
By using a deformation of invertibles to unitaries, \((U^{(\underline{k},l)}_\infty , \mathfrak {a})\) and \((U^{(k,\underline{l})}_\infty , \mathfrak {a})\) are \(\mathbb {Z}_2\)-homotopy equivalent to \((U^{(\underline{k},l)}_\mathrm {cpt}, \mathfrak {a})\) and \((U^{(k,\underline{l})}_\mathrm {cpt}, \mathfrak {a})\), respectively. We denote \(U^{\spadesuit }_\infty \) for these subspaces of \(U^{\spadesuit }\) as indicated in Table 11.
These \(\mathbb {Z}_2\)-spaces of unitaries appears in Boersema–Loring’s KO-theory [14]. Let \((X, \zeta )\) be a compact Hausdorff \(\mathbb {Z}_2\)-space, and consider a \(C^{*, \tau }\)-algebra \((C(X), \tau _\zeta )\) of continuous functions on X, whose transposition \(\tau _\zeta \) is given by \(f^{\tau _\zeta }(x) = f(\zeta (x))\). Then, the \(\mathbb {Z}_2\)-homotopy classes \([(X, \zeta ), U^{\spadesuit }_\infty ]_{\mathbb {Z}_2}\) can be identified with the group \(KO_{i(\spadesuit )-1}(C(X), \tau _\zeta )\) where \(i(\spadesuit )\) is as indicated in Table 10. In the following, we discuss two of eight KO-groups and the others are discussed in a similar way.
As for the \(KO_{-1}\)-group, an element of the set \([(X, \zeta ), (U_\infty , \mathfrak {r}\circ *)]_{\mathbb {Z}_2}\) is represented by a \(\mathbb {Z}_2\)-map \(f :(X, \zeta ) \rightarrow (U_n, \mathfrak {r}\circ *)\). This f is a unitary element of \(M_n(C(X))\) satisfying \(f(\zeta (x)) = \mathfrak {r}(f(x))^*\) which is the same as the relation \(f^{\tau _\zeta } = f\) to define \(KO_{-1}\)-groups. Thus, the set \([(X, \zeta ), (U_\infty , \mathfrak {r}\circ *)]_{\mathbb {Z}_2}\) is the same as \(KO_{-1}(C(X), \tau _\zeta )\) by the definition of Boersema–Loring’s \(KO_{-1}\)-group.
Finally, we discuss the \(KO_6\)-group. By the multiplication of \(-i\), we have a \(\mathbb {Z}_2\)-homeomorphism \((U^{(\underline{1},0)}_\infty , \mathfrak {q}) \rightarrow (U^{(0,\underline{1})}_\infty , -\mathfrak {q})\). A \(\mathbb {Z}_2\)-continuous map \(f :(X, \zeta ) \rightarrow (U^{(0,\underline{1})}_n, -\mathfrak {q})\) is a self-adjoint unitary in \(M_n(C(X))\) satisfying \(f^{\sharp \otimes \tau _\zeta } = -f^* = -f\). The Clifford algebra \( Cl _{1,0}\) has just one irreducible quaternionic representation up to equivalence, which is constructed as follows. On \(W = \mathbb {C}^2\), we consider the action \(\rho \) of \( Cl _{1,0} \otimes Cl _{2,0}\) defined as follows:
where c is the complex conjugation on \(\mathbb {C}\). The space \(U^{(\underline{1},0)}_\infty \) is defined as the inductive limit of maps \(U^{(\underline{1},0)}_n \rightarrow U^{(\underline{1},0)}_{n+1}\), \(A \mapsto A \oplus I\) where \(I = \rho (e_1 \otimes 1)\) and the space \(U^{(0,\underline{1})}_\infty \) is defined as that of maps \(A \mapsto A \oplus -iI\) where \(-iI = I^{(6)}\).
1.3 Boersema–Loring’s K-theory and exponential maps
We describe boundary maps of the 24-term exact sequence of KO-theory (which we denote as \(\partial ^{\mathrm {BL}}_i\) in this section) in Boersema–Loring’s unitary picture through exponential maps. The map \(\partial ^{\mathrm {BL}}_i\) for even i has already been expressed as an exponential map in [14]; thus, we focus on \(\partial ^{\mathrm {BL}}_i\) for odd i. A clue is the exponential maps given in Proposition 10. For a short exact sequence of \(C^{*, \tau }\)-algebras,
and for each odd i, we construct a group homomorphism
and show they coincide with \(\partial ^{\mathrm {BL}}_i\) up to a factor of \(-1\). Let \(W_{2n} \in M_{2n}(\mathbb {C})\) and \(Q_{4n} \in M_{4n}(\mathbb {C})\) be the following matrices:
and let \(V_{2n} \in M_{2n}(\mathbb {R})\) and \(X_{4n} \in M_{4n}(\mathbb {R})\) be the permutation matrices satisfyingFootnote 20
As in [14], let \(Y_{2n}^{(-1)} = V_{2n} W_{2n}\), \(Y_{2n}^{(1)} = V_{2n}\), \(Y_{4n}^{(3)} = V_{4n} Q_{4n} W_{4n}\) and \(Y_{4n}^{(5)} = X_{4n}\).
Definition 10
Suppose we have a short exact sequence of \(C^{*, \tau }\)-algebras as in (24). We assume \(\mathscr {I} = {{\,\mathrm{\mathrm {Ker}}\,}}(\varphi )\) and identify the unit in \(\widetilde{\mathscr {I}}\) with that of \(\widetilde{\mathscr {A}}\). For \(i \in \{-1,1,3,5\}\), suppose \([u] \in KO_i(\mathscr {B}, \tau )\), where \(u \in M_{n_i \cdot n}(\widetilde{\mathscr {B}})\) is a unitary satisfying the relation \(\mathscr {R}_i\) and \(\lambda (u) = I_n^{(i)}\), for which \(n_i\), \(\mathscr {R}_i\) and \(I^{(i)}\) are as in Table 2. Let a in \(M_{n_i \cdot n}(\widetilde{\mathscr {A}})\) be a lift of u satisfying the relation \(\mathscr {R}_i\) and \(\Vert a\Vert \le 1\). Then, define
where \(A = \left( \begin{array}{cc} 0&{}a^*\\ a&{}0 \end{array} \right) \) and \(\epsilon _1 = \mathrm {diag}(1_{n_i \cdot n}, -1_{n_i \cdot n})\).
Lemma 14
\(\partial ^{\exp }_i\) for odd i are well-defined group homomorphisms.
Proof
We need to show that (a) the unitaries constructed all satisfy the correct relation, (b) the choice of lift is not important, (c) some lift is always available, (d) homotopy is respected, (e) compatible with respect to the stabilization by \(I^{(i)}\) and (f) the addition is respected. (c), (b) and (d) are proved in the same way as in Lemma 8.2 of [14] and we discuss the other parts. For convenience, let \(C(a) = -\epsilon _1 \exp (\pi A \epsilon _1)\) and \(C'(a)= Y_{2n_i \cdot n}^{(i)} C(a) Y_{2n_i \cdot n}^{(i)*}\).
-
(1)
We first consider the case of \(i=1\). Let \(u \in M_n(\widetilde{\mathscr {B}})\) be a unitary satisfying \(u^\tau = u^*\) and \(\lambda _n(u) = I_n^{(1)}\). We take a lift \(a \in M_n(\widetilde{\mathscr {A}})\) of u such that \(\Vert a \Vert \le 1\) and \(a^\tau = a^*\). Since \(\varphi (C'(a)) = V_{2n} \epsilon _1 V_{2n}^* = I^{(0)}_n\), we have \(C'(a) \in M_n(\widetilde{I})\) and \(\lambda (C'(a)) = I^{(0)}_n\). Since \(A^\tau = A\), we have,
$$\begin{aligned} C(a)^\tau = -\exp (\pi A \epsilon _1)^\tau \epsilon _1^\tau = - \epsilon _1^2 \exp (\pi \epsilon _1^\tau A^\tau ) \epsilon _1^* = -\epsilon _1 \exp (\pi \epsilon _1^2 A \epsilon _1^*) = C(a). \end{aligned}$$Since \(Y_{2n}^{(1)}= V_{2n}\) is the orthogonal matrix, \((Y_{2n}^{(1)})^\tau = Y_{2n}^{(1)*}\), and thus, \(C'(a)^\tau = C'(a)\) holds. When \(u = 1\), we can take \(a=1\) and \(C'(1)= I^{(1)}\) in this case. Combined with this, the proof is completed once we have checked that \(\partial ^{\exp }_1\) preserves the addition. Let \(u \in M_m(\widetilde{\mathscr {B}})\) and \(v \in M_n(\widetilde{\mathscr {B}})\). We take their lift a and b such that \(a^\tau = a^*\) and \(b^\tau = b^*\). Then, we have \(C'(\mathrm {diag}(a,b)) = \mathrm {diag}(C'(a),C'(b))\) since
$$\begin{aligned}&C\left( \left( \begin{array}{cc} a&{}0\\ 0&{}b \end{array} \right) \right) = - \left( \begin{array}{cc} 1_{m+n} &{} 0 \\ 0 &{} -1_{m+n} \end{array} \right) \exp \Biggl ( \pi \left( \begin{array}{cc} 0 &{} \mathrm {diag}(-a^*, -b^*)\\ \mathrm {diag}(a, b) &{} 0 \end{array}\right) \Biggl ), \\&{{\,\mathrm{\mathrm {Ad}}\,}}_{V_{2m+2n}} \exp \Biggl ( \pi \left( \begin{array}{cc} 0 &{} \mathrm {diag}(-a^*, -b^*) \\ \mathrm {diag}(a, b) &{} 0 \end{array}\right) \Biggl )\\&= \exp \left( \pi \cdot \mathrm {diag}\left( {{\,\mathrm{\mathrm {Ad}}\,}}_{V_{2m}} \left( \begin{array}{cc} 0 &{} -a^* \\ a &{} 0 \\ \end{array}\right) , {{\,\mathrm{\mathrm {Ad}}\,}}_{V_{2n}} \left( \begin{array}{cc} 0 &{} -b^* \\ b &{} 0 \\ \end{array}\right) \right) \right) , \end{aligned}$$which shows that \(\partial ^{\exp }_1([u] + [v]) = \partial ^{\exp }_1([u]) + \partial ^{\exp }_1([v])\).
-
(2)
We next consider the case of \(i=-1\). Let \(u \in M_n(\widetilde{\mathscr {B}})\) be a unitary satisfying \(u^\tau = u\) and \(\lambda _n(u) = I_n^{(-1)}\). We take a lift \(a \in M_n(\widetilde{\mathscr {A}})\) of u such that \(\Vert a \Vert \le 1\) and \(a^\tau = a\). Since \(\varphi (C'(a)) =I^{(6)}_n\), we have \(C'(a) \in M_n(\widetilde{\mathscr {I}})\) and \(\lambda (C'(a)) = I^{(6)}_n\). Since \(A^{\widetilde{\sharp }\otimes \tau } = -A\), we have
$$\begin{aligned} C(a)^{\widetilde{\sharp }\otimes \tau }&= -\exp (\pi A \epsilon _1)^{\widetilde{\sharp }\otimes \tau } \epsilon _1^{\widetilde{\sharp }\otimes \tau } = \exp (\pi \epsilon _1^{\widetilde{\sharp }\otimes \tau } A^{\widetilde{\sharp }\otimes \tau }) \epsilon _1\\&= \exp (\pi \epsilon _1 A) \epsilon _1 = \epsilon _1 \exp (\pi A \epsilon _1) = -C(a). \end{aligned}$$Since \((V_{2n} x V_{2n}^*)^{\sharp \otimes \tau } = V_{2n} x^{\widetilde{\sharp } \otimes \tau } V_{2n}^*\) and \(W_{2n}^{\widetilde{\sharp } \otimes \tau } = - W_{2n}^*\), the relation \(C'(a)^{\sharp \otimes \tau } = - C'(a)\) holds. For \(u = 1\), we take \(a = 1\) and \(C'(1) = I^{(6)}\) holds. Therefore, as in (1), all we have to show is the additivity of \(\partial _{-1}^{\exp }\). Let \(a \in M_m(\widetilde{\mathscr {A}})\) and \(b \in M_n(\widetilde{\mathscr {A}})\) be lifts of the unitaries u and v. Then, \(C'(\mathrm {diag}(a,b)) = \mathrm {diag}(C'(a), C'(b))\) follows from
$$\begin{aligned}&V_{2m+2n} W_{2m+2n} \left( \begin{array}{cc} 0 &{} \mathrm {diag}(-a^*, -b^*) \\ \mathrm {diag}(a, b) &{} 0 \end{array}\right) W_{2m+2n}^* V_{2m+2n}^*\\&= \mathrm {diag}\left( V_{2m} W_{2m} \left( \begin{array}{cc} 0 &{} -a^* \\ a &{} 0 \\ \end{array}\right) W_{2m}^* V_{2m}^*, V_{2n} W_{2n} \left( \begin{array}{cc} 0 &{} -b^* \\ b &{} 0 \\ \end{array}\right) W_{2n}^* V_{2n}^* \right) . \end{aligned}$$ -
(3)
Let us consider the case of \(i=5\). Let \(u \in M_{2n}(\widetilde{\mathscr {B}})\) be a unitary satisfying \(u^{\sharp \otimes \tau } = u^*\) and \(\lambda _{2n}(u) = I_n^{(5)}=1_{2n}\). We take a lift \(a \in M_{2n}(\widetilde{\mathscr {A}})\) of u such that \(\Vert a \Vert \le 1\) and \(a^{\sharp \otimes \tau } = a^*\). Since \((X_{4n} x X_{4n})^{\sharp \otimes \tau } = X_{4n} x^{\sharp \otimes \tau } X_{4n}\), \(A^{\sharp \otimes \tau } = A\) and \(\epsilon _1^{\sharp \otimes \tau } =\epsilon _1\), the relation
$$\begin{aligned} C'(a)^{\sharp \otimes \tau } = -X_{4n}\exp (\pi \epsilon _1 A^{\sharp \otimes \tau }) \epsilon _1 X_{4n}^* = -X_{4n}\exp (\pi \epsilon _1 A)\epsilon _1 X_{4n}^* = C'(a) \end{aligned}$$holds. We have \(C'(1_2) = I^{(4)}\), and for the additivity of \(\partial ^{\exp }_{5}\), note that
$$\begin{aligned}&X_{4m+4n} \left( \begin{array}{cc} 0 &{} \mathrm {diag}(-a^*, -b^*) \\ \mathrm {diag}(a, b) &{} 0 \end{array}\right) X_{4m+4n}^*\\&= \mathrm {diag}\left( X_{4m} \left( \begin{array}{cc} 0 &{} -a^* \\ a &{} 0 \\ \end{array}\right) X_{4m}^*, X_{4n} \left( \begin{array}{cc} 0 &{} -b^* \\ b &{} 0 \\ \end{array}\right) X_{4n}^* \right) . \end{aligned}$$ -
(4)
Consider the case of \(i=3\). Let \(u \in M_{2n}(\widetilde{\mathscr {B}})\) be a unitary satisfying \(u^{\sharp \otimes \tau } = u\) and \(\lambda _{2n}(u) = I_n^{(3)}=1_{2n}\). We take a lift \(a \in M_{2n}(\widetilde{\mathscr {A}})\) of u such that \(\Vert a \Vert \le 1\) and \(a^{\sharp \otimes \tau } = a\). Since \(A^{\widetilde{\sharp } \otimes \sharp \otimes \tau } = -A\) and \(\epsilon _1^{\widetilde{\sharp } \otimes \sharp \otimes \tau } = -\epsilon _1\), the relation \(C(a)^{\widetilde{\sharp } \otimes \sharp \otimes \tau } = -C(a)\) holds. Since \((Q_{4n} x Q_{4n}^*)^\tau = Q_{4n} x^{\widetilde{\sharp } \otimes \sharp \otimes \tau } Q_{4n}^*\) and \(W_{4n}^{\widetilde{\sharp } \otimes \sharp } = -W_{4n}^*\), we have \(C'(a)^\tau = -C'(a)\). For the remaining part, we note that \(C'(1_2) = I^{(2)}_2\) and
$$\begin{aligned}&Y_{4m+4n}^{(3)} \left( \begin{array}{cc} 0 &{} \mathrm {diag}(-a^*, -b^*) \\ \mathrm {diag}(a, b) &{} 0 \end{array}\right) Y_{4m+4n}^{(3)*}\\&= \mathrm {diag}\left( Y_{4m}^{(3)} \left( \begin{array}{cc} 0 &{} -a^* \\ a &{} 0 \\ \end{array}\right) Y_{4m}^{(3)*}, Y_{4n}^{(3)} \left( \begin{array}{cc} 0 &{} -b^* \\ b &{} 0 \\ \end{array}\right) Y_{4n}^{(3)*} \right) . \end{aligned}$$
\(\square \)
Lemma 15
Each \(\partial _i^{\exp }\) is natural with respect to the morphisms of short exact sequences of \(C^*\)-algebras. That is, suppose we have the following commutative diagram of exact lows:
Then, we have \(\iota _* \circ \partial _i^{\exp } = \partial _i^{\exp } \circ \beta _*\).
Proof
As in Lemma 8.5 of [14], this lemma is proved by following the definition of each map. We assume \({{\,\mathrm{\mathrm {Ker}}\,}}(\varphi _j) = \mathscr {I}_j\) \((j=1,2)\) for simplicity. Let \([u_1] \in KO_i^u(\mathscr {B}_1,\tau )\) be an element represented by a unitary \(u_1 \in M_{n_i \cdot n}(\widetilde{\mathscr {B}}_1)\) satisfying the symmetry relation \(\mathscr {R}_i\). Let \(a_1 \in M_{n_i \cdot n}(\widetilde{\mathscr {A}})\) be a lift of \(u_1\) such that \(||a_1||\le 1\), and satisfy the relation \(\mathscr {R}_i\). Then, \(a_2 = \alpha (a_1)\) is a lift of \(u_2\) satisfying the symmetry, and thus, \(\partial _i^{\exp }([u_2]) = [C'(a_2)]\) holds. Since \(\alpha (C'(a_1)) = C'(\alpha (a_1)) = C'(\alpha _2)\), we have
\(\square \)
Proposition 12
\(\partial _i^{\mathrm {BL}} = - \partial _i^{\exp }\) for odd i.
As in the proof of Theorem 8.9 of [14], we can reduce the proof to the complex case, and Proposition 12 follows from the lemma below. In the complex case, the boundary map \(\partial _1^{\exp } :K_1(\mathscr {B}) \rightarrow K_0(\mathscr {I})\) is defined by forgetting the real structure in the case of \(i=1\) of Definition 10.
Lemma 16
The boundary maps \(\partial _1^{\mathrm {BL}}\) and \(\partial _1^{\exp }\) from \(K_1(\mathscr {B})\) to \(K_0(\mathscr {I})\) satisfy the relation \(\partial _1^{\mathrm {BL}} = - \partial _1^{\exp }\).
Proof
Suppose that \([u] \in K_1(\mathscr {B})\) where \(u \in M_n(\tilde{\mathscr {B}})\) and \(\lambda (u)=1_n\). We take a lift a of u in \(M_n(\tilde{A})\) satisfying \(||a|| \le 1\). Consider the partial isometry \(v = \left( \begin{array}{cc} a&{}0\\ \sqrt{1-a^*a} &{}0 \end{array} \right) \) and let \(V = \left( \begin{array}{cc} 0&{}v^* \\ v&{}0 \end{array} \right) \). \(\partial _1^{\exp }([u])\) is computed as
As in [59], \(\partial _1^{\mathrm {BL}}([u])\) is also expressed by using v, which is \(-\partial _1^{\exp }([u])\). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hayashi, S. Classification of topological invariants related to corner states. Lett Math Phys 111, 118 (2021). https://doi.org/10.1007/s11005-021-01460-8
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-021-01460-8