Topological invariants and corner states for Hamiltonians on a three dimensional lattice
Periodic Hamiltonians on a three dimensional lattice which have a spectral gap not only on the bulk but also on two edges at the common Fermi level are considered. By using -theory applied for quarter-plane Toeplitz algebras, two topological invariants are defined for such gapped Hamiltonians. One is defined for the bulk and edges, and the other corresponds to wave functions localized near the corner. A correspondence of these two invariants is proved.
Key words and phrases:bulk-edge invariants, bulk-edge and corner correspondence, quarter-plane Toeplitz operators, -theory for -algebras
2010 Mathematics Subject Classification:Primary 19K56; Secondary 47B35, 81V99.
In condensed matter physics, it is known a correspondence between topological invariants defined for a gapped Hamiltonian of an infinite system without edge and that for a Hamiltonian of a system with edge. This correspondence is called the bulk-edge correspondence. In the theoretical study of the quantum Hall effect, an integer valued topological invariant for a gapped Hamiltonian of an infinite system without edge was introduced by D. J. Thouless, M. Kohmoto, M. P. Nightingale and M. den Nijs [TKNdN82]. This invariant is called the TKNN number, which is the first Chern number of the Bloch bundle [Koh85]. Y. Hatsugai considered such phenomena on a system with edge, and defined a topological invariant as a winding number counted on a Riemann surface, in other words, the spectral flow of a family of self-adjoint Fredholm Toeplitz operators [Hat93a]. The equality between these two topological invariants (bulk-edge correspondence) was proved by Hatsugai [Hat93b].
Since the work of J. Bellissard [Bel86, BvESB94], -theory for -algebras is known to be very useful in this context. J. Kellendonk, T. Richter and H. Schulz-Baldes proved the bulk-edge correspondence by using the six-term exact sequence of -Theory for -algebras associated to the following Toeplitz extension,
where is the -algebra of compact operators on , is the Toeplitz algebra and is the -algebra consists of continuous functions on the unit circle in the complex plane with uniform norm [SBKR00, KRSB02]. There are many mathematical works (see a comprehensive account [PSB16] and references therein).
Apart from the study of topological phases, the analysis of Toeplitz operators was developed (see [Dou98, BS06], for example). We here focus on the theory of quarter-plane Toeplitz operators. Such operators were first studied by R. G. Douglas and R. Howe, and many results were obtained [DH71, CDSS71, CDS72]. Among other things, E. Park showed that there is a short exact sequence for -algebras,
In this paper, we mainly consider a system with corner which appears as the intersection of two edges. We consider a periodic Hamiltonian on the three dimensional lattice , which has a spectral gap not only on the bulk (which means that our Hamiltonian is gapped) but also on two edges (which means that restrictions of our Hamiltonian onto two semigroups of our lattice which correspond to two edges, are gapped) at the common Fermi level. For such systems, we define two topological invariants. One is defined for the bulk and edges, and the other is defined for the corner. Both invariants are defined as elements of some -groups. In our settings, topological invariants considered in the case of the bulk-edge correspondence are zero since our edges are also gapped. In this sense, invariants considered in this paper can be seen as secondary invariants. We next show a correspondence of these two invariants, by using the six-term exact sequence associated to (1). We have maps from these -groups to , and our invariants corresponds to a spectral flow of a one-parameter family of self-adjoint Fredholm quarter-plane Toeplitz operators. Although we mainly consider some three dimensional systems, our method can also be applied to some systems of other dimensions (Remark 3.10)
Note that, except for the use of the sequence (1), our invariants are defined and the correspondence is proved as in the case of the bulk-edge correspondence. Although our study of such invariants are modeled on Kellendonk–Richter–Schulz-Baldes’ proof of the bulk-edge correspondence, we note that there are many other proofs of the bulk-edge correspondence [EG02, ASBVB13, GP13, BCE15, Hay16, Kub16, MT16].
There also is a bulk-edge correspondence for systems with symmetry (time-reversal symmetry for quantum spin Hall systems, for example) [ASBVB13, GP13, Kub16, MT16, BKR17]. So it is natural to expect such a “bulk-edge and corner” correspondence for systems with symmetries, which is not treated in this paper.
This paper is organized as follows. In Sect. 2, some basic facts about -theory for -algebras, spectral flow and quarter-plane Toeplitz operators, which are used in this paper, is collected. In Sect. 3, conditions for “gapped” Hamiltonians which are considered in this paper are fixed. Two topological invariants for such Hamiltonians are defined, and the correspondence of these two is proved.
The author expresses gratitude to his supervisor Mikio Furuta for his support and encouragement. This work is motivated by author’s collaborative research with Mikio Furuta, Motoko Kotani, Yosuke Kubota, Shinichiroh Matsuo and Koji Sato. He would like to thank them for many stimulating conversations and encouragements.
In this section, we collects some basic facts and calculations needed in this paper. Throughout this paper, all algebras and Hilbert spaces are considered over the complex field , and all operators are complex linear.
2.1. -theory for -algebras
In this paper, we use -theory for -algebras in order to define some topological invariants and also to prove our main theorem. This subsection collects some basic facts from -theory for -algebras without proof. We refer the reader to [Mur90, WO93, Bla98, HR00, RLL00] for the details.
Let be a unital -algebra, that is a Banach -algebra with multiplicative unit which satisfies for any in . An element in is called a projection if , and an element in is said to be unitary if . For a positive integer , let be the matrix algebra of all matrices with entries in . As in the case of , the matrix algebra has a natural -algebra structure. We know that has a (unique) norm making it a -algebra. We denote the set of all projections in and let by . For and , we write if and only if there exists some such that and . The relation is an equivalence relation on . We define a binary operation on by . Then induces an addition on equivalence classes , and is a commutative monoid. The -group for a unital -algebra is defined to be the group completion (Grothendieck group) of the commutative monoid . We denote the class of in by . For a non-unital -algebra , we define its -group to be the kernel of the map , where is the unitization of , and the map is induced by the projection onto the second component. Let be the group of unitary elements in , and let . We consider the set . Let be a binary operation on defined as above. For and , we write if and only if there exists some such that and are homotopic in . The relation is an equivalence relation on , and induces an addition on equivalence classes . Then is an abelian group. We denote this group by and the class of in by . For a non-unital -algebra , its -group is defined by using its unitization, . Note that, by using the polar decomposition, an invertible element in defines an element in . -homomorphisms between -algebras are said to be homotopic if there exists a path of -homomorphisms for such that the map defined by is continuous for each , and . In this sense, and are the additive covariant homotopy functor from the category of -algebras to the category of abelian groups. Let be a separable Hilbert space and be the set of compact operators on . For a -algebra , we have the stability property, that is, where and is the -algebraic tensor product.
Let be a -algebra. The suspension of is the -algebra , where is the -algebra of continuous functions from to , and is the -algebra of complex valued continuous functions which vanish at infinity. Then there is an isomorphism . We also have a map , called the Bott map. If is a unital -algebra, is given by where . By the Bott periodicity theorem, is an isomorphism. For a short exact sequence of -algebras , there associates the following six-term exact sequence.
The map is called the exponential map. If and are unital -algebras, and is a closed ideal in , then is expressed in the following way. For , we can take its self-adjoint lift , and then we have . Note that the following diagram is commutative.
2.2. Spectral Flow and Winding Number
Let (resp. ) be the set of strictly positive (resp. negative) real numbers.
For a separable Hilbert space , we consider the space of bounded linear operators on with norm topology.
Let be the subspace of consists of all self-adjoint Fredholm operators whose essential spectrum
Let be the inclusion. Then is a homotopy equivalence.
Let be the inductive limit of a sequence , where is the unitary group of degree , and the map is given by .
We have a map given by . The map also is a homotopy equivalence.
where the map is given by the spectral flow, and the map is given by taking the winding number of the determinant. All arrows are group isomorphisms.
2.3. Quarter-Plane Toeplitz -algebras
In this subsection, we collects basic facts about quarter-plane Toeplitz operators which are used later.
Let be the Hilbert space . For a pair of integers , let be the element of that is at and elsewhere. For such , let be the translation operator defined by . We choose real numbers , and let and be closed subspaces of spanned by and , respectively. Let be their intersection (see Figure .).
We can take or , but not both. Let and be orthogonal projections of onto and , respectively. Then be the orthogonal projection of onto . We define the quarter-plane Toeplitz -algebra to be the -algebra generated by . We also define half-plane Toeplitz -algebras and to be -algebras generated by and , respectively. We have surjective -homomorphisms and , which map to and , respectively. We also have surjective -homomorphisms and which map to and to , respectively, where . Well-definedness of and is proved in [Par90], and that of and is proved in [CD71]. Let , and be bounded linear maps given by compression, that is, , and , respectively. We define a -algebra to be the pullback of and along , that is, There is a -homomorphism given by . Let be the -algebra of compact operators on .
Theorem 2.1 (Park[Par90]).
There is the following short exact sequence,
which has a linear splitting given by .
The following theorem follows immediately by using Atkinson’s theorem.
An operator in is a Fredholm operator if and only if and are both invertible elements in and , respectively.
By taking a tensor product of the above sequence and , we have the short exact sequence,
Note that is isomorphic to .
The map is surjective.
3. Bulk-Edge and Corner Correspondence
In this section, we consider some “gapped” Hamiltonians, and define two topological invariants for them. A correspondence between these two is proved.
3.1. Bulk-Edge Invariant
Let be a finite dimensional Hermitian vector space and denote the complex dimension of by .
Let , , , , and .
We consider a continuous family of bounded linear operators,
where, for each in , the operator is a self-adjoint multiplication operator generated by a continuous map.
We assume that we are given, for each , an endomorphism on , which satisfies . We consider an operator, defined by,
We assume that is a self-adjoint operator. Then its partial Fourier transform gives an example of our family.
We consider following half-plane Toeplitz operators,
They are bounded self-adjoint operators. We call and edge Hamiltonians. We take an orthonormal frame of . Then, since and are compression of the same operator , the pair defines a self-adjoint element of the -algebra . We now take a real number such that does not contained neither nor for any in . Then the element is invertible in .
Such does exists. Actually we can take sufficiently large or small. However, if we choose such , our topological invariants are zero (see also Remark 3.9). Non-trivial invariants appear if operators and have a common spectral gap at the Fermi level . Note that, in this case, our Hamiltonian also has a spectral gap at since is contained in .
By Remark 3.2, we further assume that does not contained neither nor . We refer to our assumption about the choice of as the spectral gap condition.
We next define some topological invariants for our operators. We consider following subspaces of the complex plane.
Let be a continuous function which is on and on .
By the continuous functional calculous, we have a projection in .
We denote the element in the -group by , and call the bulk-edge invariant.
Note that, in order to define the bulk-edge invariant, we use just the information of “bulk and edge”, and do not use the information of “corner”. This is a justification of the name of the “bulk-edge invariant”.
3.2. Corner Invariant
We consider following quarter-plane Toeplitz operators,
We call corner Hamiltonians.
By Theorem 2.2, we have a continuous family of bounded self-adjoint Fredholm operators. By our spectral gap condition, this family defines an element of the -group . We call the corner invariant.
The following is the main theorem of this paper.
The map maps the bulk-edge invariant to the corner invariant, that is,
Let . Since , we have , where is a self-adjoint lift of . By our spectral gap condition and Theorem 2.1, we have . By considering a spectral deformation which collapses eigenvalues in some small neighborhoods of and to points and , respectively, we can deform into an element of . Thus we obtain . Let us consider the isomorphisms . Then we have the following relation.
Since two loops and are homotopic in , we have . ∎
By the diagram (2), the map maps our invariants to the spectral flow of . The spectral flow of is defined by counting wave functions localized near the corner. Thus, if the corner invariant is non-trivial, there exists topologically protected corner states. Note that the bulk-edge invariant cannot change unless the spectral gap of edges closes. By Theorem 3.6, this stability also holds for corner invariants.
Since the map is not an isomorphism (Remark 2.4), bulk-edge invariants may have more information than corner invariants.
If the spectrum of is contained in or , then we can define the bulk-edge invariant in the same way.
The spectral flow of the family is also defined.
Since is just a parameter space in our formulation, we can generalize the parameter space to other spaces. Let be a compact Hausdorff space, and consider a continuous family of bounded self-adjoint multiplication operators generated by continuous functions . Then we have edge Hamiltonians and the corner Hamiltonian. If we assume our spectral gap condition, we can define the bulk-edge invariant and the corner invariant in the same way as elements of and , respectively. As in Theorem 3.6, it is easily checked that the bulk-edge invariant maps to the corner invariant by the exponential map . In this case we lack the understanding of the corner invariant as the spectral flow, but we still have a relation with our invariants and corner states. It is easily checked that if the corner invariant is non-trivial, then there are topologically protected corner states. In particular, if we take , then this argument gives a “bulk-edge and corner” correspondence for such four dimensional systems.
- In this paper, we denote the spectrum of an operator by , and the essential spectrum of by . For a self-adjoint operator , the essential spectrum of consists of accumulation points of and isolated points of with infinite multiplicity (see Proposition of [HR00], for example).
- The subspace and the commutativity of the diagram (2) was discussed explicitly in [Phi96], while the homotopy equivalence between and was essentially proved in [AS69]. We here follow the notations used in [Phi96].
- Such a necessary and sufficient condition was first obtained by Douglas-Howe [DH71] for the special case by expressing the algebra as a tensor product of two Toeplitz algebras. Park obtained such conditions for the general in a different way [Par90].
- Since is an abelian -algebra, is a nuclear -algebra by Takesaki’s theorem. Since is nuclear, this sequence is exact (see [Mur90], for example).
- See Example 7.5.1 of [Mur90], for example.
- Let be a continuous map. Then the operator on defined by is called the multiplication operator generated by .
- In order to define the element of the -group , we took the orthonormal frame of . However, this element does not depend on the choice.
- In this case, the family is not contained in , and does not define an element of the -group .
- Atiyah, M.F., Patodi, V.K., Singer, I.M.: Spectral asymmetry and Riemannian geometry. I. Math. Proc. Cambridge Philos. Soc., 77, 43–69, (1975)
- Atiyah, M.F., Singer, I.M.: Index theory for skew-adjoint Fredholm operators. Inst. Hautes Études Sci. Publ. Math. 37, 5–26 (1969)
- Avila, J.C., Schulz-Baldes, H., Villegas-Blas, C.: Topological invariants of edge states for periodic two-dimensional models. Math. Phys. Anal. Geom. 16(2), 137–170 (2013)
- Bellissard, J.: -theory of -algebras in solid state physics. Statistical mechanics and field theory: mathematical aspects (Groningen, 1985), 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)
- Blackadar, B.: -theory for operator algebras: Second edition. Mathematical Sciences Research Institute Publications, vol 5. Cambridge University Press, Cambridge, (1998)
- Böttcher, A., Silbermann, B.: Analysis of Toeplitz operators: Second edition. Springer-Verlag, Berlin (2006)
- 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 -theoretic bulk-edge correspondence for topological insulators. Ann. Henri Poincaré (2017). doi:10.1007/s00023-016-0541-2
- Coburn, L.A., Douglas, R.G.: -algebras of operators on a half-space. I. Inst. Hautes Études Sci. Publ. Math. 40, 59–67 (1971)
- Coburn, L.A., Douglas, R.G., Singer, I.M.: An index theorem for Wiener-Hopf operators on the discrete quarter-plane. J. Differ. Geom. 6, 587–593 (1972)
- Coburn, L.A., Douglas, R.G., Schaeffer, D.G., Singer, I.M.: -algebras of operators on a half-space. II. Index theory. Inst. Hautes Études Sci. Publ. Math. 40, 69–79 (1971)
- Douglas, R.G., Howe, R.: On the -algebra of Toeplitz operators on the quarterplane. Trans. Amer. Math. Soc. 158, 203–217 (1971)
- Douglas, R.G.: Banach algebra techniques in operator theory: Second edition. volume 179 of Graduate Texts in Mathematics. Springer-Verlag, New York (1998)
- Elbau, P., Graf, G.M.: Equality of bulk and edge Hall conductance revisited. Comm. Math. Phys. 229(3), 415–432 (2002)
- Graf, G.M., Porta, M.: Bulk-edge correspondence for two-dimensional topological insulators. Comm. Math. Phys. 324(3), 851–895 (2013)
- Hatsugai, Y.: Edge states in the integer quantum Hall effect and the Riemann surface of the Bloch function. Phys. Rev. B 48, 11851–11862 (1993)
- Hatsugai, Y.: Chern number and edge states in the integer quantum Hall effect. Phys. Rev. Lett. 71, 3697–3700 (1993)
- Hayashi, S.: Bulk-edge correspondence and the cobordism invariance of the index. preprint, arXiv:1611.08073[math-ph], (2016)
- Higson, N., Roe, J.: Analytic -homology. Oxford Mathematical Monographs. Oxford University Press, Oxford Science Publications, Oxford (2000)
- Jiang, X.: On Fredholm operators in quarter-plane Toeplitz algebras. Proc. Amer. Math. Soc. 123(9), 2823–2830 (1995)
- 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)
- Kohmoto, M.: Topological invariant and the quantization of the hall conductance. Annals of Physics, 160, 343–354 (1985)
- Kubota, Y.: Controlled topological phases and bulk-edge correspondence. Comm. Math. Phys. (2016). doi:10.1007/s00220-016-2699-3
- Mathai, V., Thiang, G.C.: T-duality simplifies bulk-boundary correspondence. Comm. Math. Phys. 345, 675 (2016). doi:10.1007/s00220-016-2619-6
- Murphy, G.J.: -algebras and operator theory. Academic Press, Inc., Boston, MA, (1990)
- Park, E.: Index theory and Toeplitz algebras on certain cones in . J. Operator Theory, 23(1), 125–146, (1990)
- Park, E., Schochet, C.: On the -theory of quarter-plane Toeplitz algebras. Internat. J. Math. 2(2),195–204, (1991)
- 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 -theory to physics. Springer, Springer International Publishing, Berlin (2016)
- Rørdam, M., Larsen, F., Laustsen, N.: An introduction to -theory for -algebras. volume 49 of London Mathematical Society Student Texts. Cambridge University Press, Cambridge, (2000)
- Schulz-Baldes, H., Kellendonk, J., Richter, T.: Simultaneous quantization of edge and bulk Hall conductivity. J. Phys. A 33(2), L27–L32 (2000)
- 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)
- Wegge-Olsen, N.E.: -theory and -algebras. A friendly approach. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, (1993).