Abstract
We review the theory of Toeplitz extensions and their role in operator Ktheory, including Kasparov’s bivariant Ktheory. We then discuss the recent applications of Toeplitz algebras in the study of solidstate systems, focusing in particular on the bulkedge correspondence for topological insulators.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
Mathematics Subject Classification (2010)
1 Introduction
Noncommutative topology is rooted in the equivalence of categories between locally compact topological spaces and commutative C ^{∗}algebras. This duality allows for a transfer of ideas, constructions, and results between topology and operator algebras. This interplay has been fruitful for the advancement of both fields. Notable examples are the Connes–Skandalis foliation index theorem [17], the Ktheory proof of the Atiyah–Singer index theorem [4, 5], and Cuntz’s proof of Bott periodicity in Ktheory [22]. Each of these demonstrates how techniques from operator algebras lead to new results in topology, or simplify their proofs. In the other direction, Connes’ development of noncommutative geometry [19] by using techniques from Riemannian geometry to study C ^{∗}algebras, led to the discovery of cyclic homology [18], a homology theory for noncommutative algebras that generalises de Rham cohomology.
Noncommutative geometry and topology techniques have found ample applications in mathematical physics, ranging from Connes’ reformulation of the standard model of particle physics [20], to quantum field theory [21], and to solidstate physics. The noncommutative approach to the study of complex solidstate systems was initiated and developed in [6, 8], focusing on the quantum Hall effect and resulting in the computation of topological invariants via pairings between Ktheory and cyclic homology. Noncommutative geometry techniques have proven to be a key tool in this field, and applications include the study of disordered systems, quasicrystals and aperiodic solids [44, 45]. The correct framework to describe such systems, as has been shown recently, is via KKtheory elements for certain observable C ^{∗}algebras.
This review is dedicated to a discussion of Toeplitz algebras and more generally C ^{∗}extensions, and their role in noncommutative index theory. It is aimed at readers interested in the more recent applications of Toeplitz extensions and should serve as a brief overview and introduction to the subject. We shall provide an exposition of operator algebra techniques recently used in mathematical physics, in particular in the study of solidstate systems.
The paper is structured as follows. In Sect. 2 we review the construction of the classical onedimensional Toeplitz algebra as the universal C ^{∗}algebra generated by a single isometry, and we recall its role in the Noether–Gohberg–Krein index theorem, which relates the index of Toeplitz operators to the winding number of their symbol. We conclude the section by discussing how the construction can be extended to higher dimensions. In Sect. 3 we take a deep dive into the world of noncommutative topology and discuss the role of Toeplitz extensions in operator Ktheory, namely in Cuntz’s proof of Bott periodicity and in the development of Kasparov’s bivariant Ktheory. This rather technical section allows us to introduce the tools that are needed in the noncommutative approach to solidstate physics. In Sect. 4, we describe two constructions of universal C ^{∗}algebras that will later play a crucial role in the study of solidstate systems, namely crossed products by the integers, Cuntz–Pimsner algebras, and their Toeplitz algebras. Finally, Sect. 5 is devoted to describing how Toeplitz extensions and the associated maps in Ktheory provide the natural framework for implementing the bulkedge correspondence from solidstate physics.
2 Toeplitz Algebras of Operators
2.1 Shifts, Winding Numbers, and the Noether–Gohberg–Krein Index Theorem
In view of the Gelfand–Naimark theorem [25], every abstract C ^{∗}algebra, commutative or not, admits a faithful representation as a subalgebra of the algebra B(H) of bounded operators on some Hilbert space H. In this section, we will start by constructing two concrete examples of C ^{∗}algebras of operators. As mentioned in the Introduction, we are interested in how the commutative algebra of functions on the circle and the noncommutative algebra generated by a single isometry fit together in a short exact sequence. This extension will later serve as our prototypical example illustrating the use of C ^{∗}algebraic techniques in solidstate physics.
Let \( S^1 := \left \lbrace z \in \mathbb {C} \ \vert \ \overline {z}z = 1 \right \rbrace \) denote the unit circle in the complex plane. The corresponding C ^{∗}algebra, C(S ^{1}), is the closure in the supremum norm of the algebra of Laurent polynomials
The algebra C(S ^{1}) admits a convenient representation on the Hilbert space L ^{2}(S ^{1}) of squareintegrable functions on S ^{1}. This Hilbert space is isomorphic to the Hilbert space of sequences \(\ell ^2(\mathbb {Z})\), and the isomorphism is implemented by the discrete Fourier transform
Under this isomorphism, the operator of multiplication by z is mapped to the bilateral shift operator U, defined on the standard basis \(\{e_{n}\}_{n\in \mathbb {Z}}\) of \(\ell ^{2}(\mathbb {Z})\) via
It is easy to see that U is a unitary operator, i.e. U ^{∗} U = 1 = UU ^{∗}. The algebra C(S ^{1}) is then isomorphic to the smallest C ^{∗}subalgebra of \(B(\ell ^2(\mathbb {Z}))\) that contains U.
In order to define the second C ^{∗}algebra we are interested in, which is genuinely noncommutative, we shall consider the Hardy space H ^{2}(S ^{1}). This is defined as the subset of L ^{2}(S ^{1}) consisting of continuous functions that extend holomorphically to the unit disk. The projection P : L ^{2}(S ^{1}) → H(S ^{1}) is called the Hardy projection. Under the discrete Fourier transform, it corresponds to the projection \(p: \ell ^2(\mathbb {Z}) \to \ell ^2(\mathbb {N})\).
Multiplication by z on the Hardy space corresponds to a shift operator on \(\ell ^2(\mathbb {N})\), called the unilateral shift, expressed on the standard basis \(\{f_{n}\}_{n\in \mathbb {N}}\) of \(\ell ^{2}(\mathbb {N})\) via:
Its adjoint is not invertible, as
This motivates the following:
Definition 1
The Toeplitz algebra \(\mathcal {T}\) is the smallest C ^{∗}subalgebra of \(B(\ell ^2(\mathbb {N}))\) that contains T.
It is easy to see that the Toeplitz algebra \(\mathcal {T}\) is not commutative, as
In particular, it follows from (3) that elements of \(\mathcal {T}\) commute up to compact operators, and in particular the generator T is unitary modulo compact operators. In other words, the Toeplitz algebra can be viewed as the C ^{∗}algebra extension of continuous functions on the circle by the compact operators:
The extension (4) admits a completely positive and completely contractive splitting given by the Hardy projection P. Indeed, for every f ∈ C(S ^{1}), the assignment
defines a bounded operator on the Hardy space H ^{2}(S ^{1}), where, under Fourier transform, T _{z} corresponds to the unilateral shift. As the function z generates C(S ^{1}) as a C ^{∗}algebra, every such T _{f} is an element of \(\mathcal {T}\).
The following result implies that the Toeplitz algebra is the universal C ^{∗}algebra generated by an element T satisfying T ^{∗} T = 1:
Theorem 2 (Coburn [16])
Suppose v is an isometry in a unital C ^{∗} algebra A. Let \(T=T_{z} \in \mathcal {T}\) . Then there exists a unique unital ∗homomorphism \(\phi : \mathcal {T} \to A\) such that ϕ(T) = v. Moreover, if vv ^{∗}≠ 1, then the map ϕ is isometric.
2.1.1 The Noether–Gohberg–Krein Index Theorem
Recall that an operator F ∈ B(H) is a Fredholm operator if F has closed range and both \(\ker F\) and \(\ker F^{*}\) are finitedimensional. The Fredholm index of such an operator is the integer
One of the key properties of the Fredholm index is that it is constant along continuous paths of Fredholm operators. As such it is a homotopy invariant.
The completely positive linear splitting f↦T _{f} allows one to give a precise characterisation of which Toeplitz operators T _{f} are Fredholm. Moreover, the index of a Fredholm Toeplitz operator T _{f} can be described entirely in terms of a familiar homotopy invariant of the complex function f. This is the content of the Toeplitz index theorem, due to F. Noether and later reproved independently by Gohberg and Krein. It was one of the first results linking index theory to topology and should be viewed as an ancestor to the celebrated Atiyah–Singer index theorem.
Theorem 3 (Noether [41], Gohberg–Krein [27])
For \(f:S^{1}\to \mathbb {C}^{\times }\) the operator T _{f} : H ^{2}(S ^{1}) → H ^{2}(S ^{1}) is Fredholm and
with w(f) the winding number of f. If f is a C ^{1} function, then the winding number can be computed as
The latter, explicit expression for the winding number shows that the Toeplitz index should be viewed as a result of differential topology: By choosing a nice representative in the homotopy class of the function f, the differential calculus can be employed to compute a topological invariant. We will see an application of this computation in Sect. 5.
2.2 Generalisation: Higher Toeplitz Algebras
2.2.1 Toeplitz Operators on Strongly PseudoConvex Domains
The definition of Toeplitz operators on the circle in terms of the Hardy space lends itself to generalisations to higher dimensions. The crucial observation here is that the Hardy space H ^{2}(S ^{1}) can be defined as the closure of the space of boundary values of holomorphic functions on the unit disk that admit a continuous extension to the closed unit disk.
Definition 4 ([48, Definition 1.2.18])
Let Ω be a smooth domain in \(\mathbb {C}^n\) with defining function \(\rho \in C^{\infty }(\mathbb {C}^n)\):
and boundary \(\partial \Omega =\lbrace z \in \mathbb {C}^n \ : \rho (z)=0 \rbrace \). For every z ∈ ∂ Ω, the Levi form 〈 , 〉_{z} is defined as
Then Ω is called a strongly pseudoconvex domain if the Levi form is positive semidefinite on the complex tangent space at every point z ∈ ∂ Ω. That, for every nonzero u ∈ T _{z}(∂Ω) it holds that 〈u, u〉_{z} > 0.
Open balls in \(\mathbb {C}^n\) are examples of strongly pseudoconvex domains. However, the product of two open balls is not strongly pseudoconvex, showing the notion is somewhat subtle.
Given a strongly pseudoconvex domain \(\Omega \subseteq \mathbb {C}^n\) with smooth boundary, we denote by L ^{2}(∂ Ω) the Hilbert space of square integrable functions on the boundary ∂ Ω. The Hardy space H ^{2}(∂ Ω) is defined as the Hilbert space closure in L ^{2}(∂ Ω) of boundary values of holomorphic functions on Ω that admit a continuous extensions to the boundary ∂ Ω (cf. [48, Definition 2.3]). The orthogonal projection
called the Cauchy–Szegö projection, is used to define Toeplitz operators, in analogy with (5). Indeed, let f be a continuous function on ∂ Ω, the Toeplitz operator with symbol f is defined as
for all g ∈ H ^{2}(∂ Ω).
For any two f, f ^{′}∈ C(∂ Ω), the product of Toeplitz operators \(T_f\circ T_{f^\prime }\) is equal to \(T_{f f^\prime }\) modulo compact operators. Moreover, for any f ∈ C(∂ Ω), the operator T _{f} is compact if and only if f is identically zero. These two facts combined lead to the following:
Theorem 5
Let Ω be a strongly pseudoconvex domain. Let \(\mathcal {T}(\partial {\Omega })\) be the closed subalgebra of B(H ^{2}(∂ Ω)) that contains all the Toeplitz operators. There is an extension of C ^{∗} algebras
The extension admits a completely positive and completely contractive linear splitting given by the Cauchy–Szegö projection.
Applied to the unit ball in \(\mathbb {C}^{n}\) this construction yields the Toeplitz extensions for odddimensional spheres as a special case:
which clearly recover (4) for d = 1.
The Toeplitz algebra \(\mathcal {T}(S^{2d1})\) admits an equivalent description in terms of socalled dshifts, as described in [3, Theorem 5.7]. For an overview of the interplay of Toeplitz C ^{∗}algebras and index theory, as well as their role in the computation of noncommutative invariants, we refer the reader to the excellent survey [38].
3 Toeplitz Algebras in Operator KTheory and Bivariant KTheory
An indispensable tool in Fredholm index theory is operator Ktheory, a functor associating to a C ^{∗}algebra A two Abelian groups K _{∗}(A), ∗ = 0, 1. Functoriality means that for a ∗homomorphism φ : A → B between C ^{∗}algebras A and B, there are induced homomorphism of Abelian groups
The key properties of the operator Ktheory functor are that it is homotopy invariant, halfexact and Morita invariant. We now define each of these properties more precisely.
Homotopy invariance is the property that if φ and ψ are connected by a continuous path of ∗homomorphisms, then the induced maps on Ktheory coincide, that is φ _{∗} = ψ _{∗}.
Halfexactness is the property that for any extension of C ^{∗}algebras
the corresponding sequence of groups
is exact at K _{∗}(E).
Lastly, Morita invariance entails that for any rankone projection \(p\in \mathcal {K}=\mathcal {K}(\ell ^{2}(\mathbb {N}))\), the ∗homomorphism
induces an isomorphism in Ktheory.
Recall that the suspension SA of a C ^{∗}algebra A is defined to be
which is a C ^{∗}algebra in the supnorm, and pointwise product and involution inherited from A.
The operation A → SA is functorial for ∗homomorphisms, and it is customary to define the higher Kgroups as K _{n}(A) := K _{0}(S ^{n} A). Via a general construction in topology, it follows that the extension (6) induces a long exact sequence
of Abelian groups.
The boundary maps in such exact sequences are often related to index theory. For instance, for the Toeplitz extension (4), the boundary map
maps the class of a nonzero function f ∈ C(S ^{1}) to the index of the corresponding Toeplitz operator T _{f}.
One of the key features of operator Ktheory is Bott periodicity. It states that for any C ^{∗}algebra A there are natural isomorphisms between its Ktheory and the Ktheory of its double suspension S ^{2} A. It turns out that the three properties of homotopy invariance, halfexactness and Morita invariance suffice to deduce the existence of natural Bott periodicity isomorphisms K _{∗}(A) ≃ K _{∗}(S ^{2} A). As a consequence, there are only two Kfunctors, K _{0} and K _{1}, and the exact sequence (7) reduces the cyclic sixterm exact sequence
3.1 Cuntz’s Proof of Bott Periodicity
Apart from the invariance properties of the Kfunctor, Cuntz’s proof of Bott periodicity (cf. [22]) exploits essential properties of the Toeplitz extension (4). By composing the projection homomorphism \(\pi : \mathcal {T} \to C(S^1)\) with the evaluation map \(\mathrm {ev}_{1}:C(S^{1})\to \mathbb {C}\), given by ev_{1}(f) = f(1), we obtain a character of \(\mathcal {T}\):
The unital embedding \(\iota :\mathbb {C}\to \mathcal {T}\) splits the homomorphism χ in the sense that \(\chi \circ \iota =\mathrm {id}_{\mathbb {C}}\). It is a nontrivial fact that these ∗homomorphisms are mutually inverse in Ktheory, in a strong sense made precise below.
To state the result, which lies at the heart of the proof of the Bott periodicity theorem, we shall recall the construction of the spatial or minimal tensor product \(A_{1}\overline {\otimes }A_{2}\) of C ^{∗}algebras A _{i}, i = 1, 2. Choose faithful representations \(\pi _{i}:A_{i}\to B(\mathcal {H}_{i})\) and let \(\mathcal {H}_{1}\otimes \mathcal {H}_2\) be the completed tensor product of Hilbert spaces. One defines \(A\overline {\otimes }B\) to be the completion of the algebraic tensor product A ⊗ B in the norm inherited from the representation
Proposition 6 ([22, Proposition 4.3])
Let A be a C ^{∗} algebra. The map \(\chi \otimes 1:\mathcal {T}\overline {\otimes }A\to A\) induces an isomorphism \(\chi _{*}\otimes 1:K_{0}(\mathcal {T}\overline {\otimes }A)\xrightarrow {\sim } K_{0}(A)\).
Tensor products of C ^{∗}algebras are not unique, and the spatial tensor product is the completion in the minimal C ^{∗}norm on the algebraic tensor product A ⊗ B. There is also a maximal C ^{∗}norm on A ⊗ B, which involves taking the supremum over all representations. A C ^{∗}algebra N is nuclear, if for any other C ^{∗}algebra A, the minimal and maximal C ^{∗}tensor norms on N ⊗ A coincide. For our purposes it suffices to know that all commutative C ^{∗}algebras are nuclear. Given an extension of C ^{∗}algebras
the sequence of tensor products
may fail to be exact in the middle. However, nuclearity of the C ^{∗}algebra B guarantees exactness.
Lemma 7 (cf. [15, Corollary 3.7.4])
Let A be a C ^{∗} algebra and consider an extension (10). If the C ^{∗} algebra B is nuclear, then the sequence (11) is exact.
We can now exploit Proposition 6, Lemma 7, and the exactness properties of the Kfunctor to deduce Bott periodicity.
Theorem 8
For any C ^{∗} algebra A there are natural isomorphisms K _{n}(A) ≃ K _{n+2}(A).
Proof
Consider the character χ defined in (9) and let \(\mathcal {T}_{0}:=\ker \chi \), so that we have an extension
As \(\mathbb {C}\) is nuclear, this extension has the property that the induced sequence
is exact for any C ^{∗}algebra A as well, by Lemma 7.
The long exact sequence (7), together with the fact that \(S(A\overline {\otimes }B)\simeq A\overline {\otimes }SB\) and Proposition 6, imply that \(\chi _{*}:K_{n}(\mathcal {T}\overline {\otimes } A)\to K_{n}(A)\) is an isomorphism for all n. Consequently \(K_{n}(\mathcal {T}_{0}\overline {\otimes }A)=0\) for all n. Now observe that, after identifying \(\ker \mathrm {ev}_{1}\) with C _{0}(0, 1), we can construct a second extension
As C _{0}(0, 1) is nuclear, this extension, too, has the property that
is exact for any C ^{∗}algebra A, by Lemma 7. Since \(C_{0}(0,1)\overline {\otimes }A\simeq SA\), the long exact sequence (7) gives an isomorphism
Now we use the Morita invariance isomorphism \(K_{n}(\mathcal {K}\overline {\otimes }A)\simeq K_{n}(A)\) and the fact that \(C(0,1)\overline {\otimes }A\simeq SA\) to deduce that
which yields the Bott periodicity isomorphism. □
We remark that, in fact, the theorem holds if we replace K by any functor that is homotopy invariant, halfexact and Morita invariant. We also note that earlier work of Karoubi [31] provides another short and conceptual proof of Bott periodicity. Although Bott periodicity does not hold in algebraic Ktheory, Karoubi’s proof puts algebraic and topological Ktheory of Banach algebras on the same footing.
3.2 Toeplitz Extensions and Bivariant KTheory
As we have seen so far in the Toeplitz index and Bott periodicity theorems, extensions of C ^{∗}algebras play a crucial role in Ktheory and henceforth in index theory. An extension of a C ^{∗}algebra A by B should be viewed as a new C ^{∗}algebra, built by “gluing together” A and B in a possibly topologically nontrivial way.
In [14], Brown, Douglas, and Fillmore initiated the study of extensions by considering exact sequences of the form
for some Hilbert space H and some compact Hausdorff topological space M. They proved that such extensions form an Abelian group by defining addition via an appropriate version of the Baer sum. They also showed that their Abelian group is dual to Ktheory in a precise sense governed by Fredholm index theory.
Kasparov generalised this construction to extensions
where A is a separable C ^{∗}algebra and X a countably generated Hilbert C ^{∗}module over a second, σunital C ^{∗}algebra B. A technical assumption on such extensions is that they admit a completely positive and completely contractive linear splitting ℓ : A → E such that ℓ ∘ π = id_{A}. This assumption is automatically satisfied when the quotient algebra in the extension is nuclear. Commutative C ^{∗}algebras are nuclear, and thus the Toeplitz extensions discussed previously satisfy this assumption. The isomorphism classes of such extensions form an Abelian group \( \operatorname {\mathrm {Ext}}^{1}(A,B)\) which is isomorphic to the Kasparov group KK _{1}(A, B). This section is devoted to making this statement more precise. An excellent reference for this discussion is [28, Chapter 3].
3.2.1 Hilbert Modules and C ^{∗}Correspondences
Before we proceed, we need to recall some results from the theory of Hilbert C ^{∗}modules. For more details on the latter, we refer the interested reader to the monograph [37] and to the recent article [36].
Definition 9
A preHilbert module over a C ^{∗}algebra B is a right Bmodule X with a Bvalued Hermitian product, i.e. a map satisfying
for all ξ, η, ζ ∈ X and for all b ∈ B.
Note that using the existence of approximate units in C ^{∗}algebras, one can prove that the inner product automatically satisfies for all ξ, η ∈ X and \(\lambda \in \mathbb {C}\) (cf. [36, Section 2]).
For a preHilbert module X, one can define a scalar valued norm ∥⋅∥ using the C ^{∗}norm on B:
Definition 10
A Hilbert C ^{∗}module is a preHilbert module that is complete in the norm (12).
If one defines to be the linear span of elements of the form for ξ, η ∈ X, then its closure is a twosided ideal in B. We say that the Hilbert module X is full whenever is dense in B.
Let now X, Y be two Hilbert C ^{∗}modules over the same C ^{∗}algebra B.
Definition 11
A map T : X → Y is said to be an adjointable operator if there exists another map T ^{∗} : Y → X with the property that
Every adjointable operator is automatically right Blinear and bounded. However, the converse is in general not true: a bounded linear map between Hilbert modules need not be adjointable. We denote the collection of adjointable operators from X to Y by \(\mathrm {Hom}^*_B(X,Y)\). When X = Y , the adjointable operators form a C ^{∗}algebra in the operator norm, that is denoted by \(\mathrm {End}^{*}_{B}(X)\).
Inside the adjointable operators one can single out a particular subspace, which is analogous to that of finiterank operators on a Hilbert space. More precisely, for every ξ ∈ Y, η ∈ X one defines the operator θ _{ξ,η} : X → Y as
This is an adjointable operator, with adjoint \(\theta _{\xi , \eta }^* : Y \rightarrow X\) given by θ _{η,ξ}.
We denote by \(\mathcal {K}_B(X,Y)\) the closure of the linear span of
and we refer to it as the space of compact adjointable operators. In particular \(\mathcal {K}_B(X):= \mathcal {K}_B(X,X) \subseteq \mathrm {End}^{*}_{B}(X)\) is a closed twosided ideal in the C ^{∗}algebra \(\mathrm {End}^{*}_{B}(X)\), hence a C ^{∗}subalgebra, whose elements are referred to as compact endomorphisms. Elements of \(\mathcal {K}_B(X)\) and of \(\mathrm {End}^*_B(X)\) act on X from the left, motivating the following:
Definition 12
A C ^{∗}correspondence (X, ϕ) from A to B, is a right Hilbert Bmodule X endowed with a ∗homomorphism \(\phi : A\to \mathrm {End}^{*}_{B}(X)\). If \(\phi :A\to \mathcal {K}_B(X)\) we refer to (X, ϕ) as a compact C ^{∗}correspondence and in the case A = B we refer to (X, ϕ) as a C ^{∗}correspondence over B.
When no confusion arises, we will omit the map ϕ and simply write X.
Two C ^{∗}correspondences (X, ϕ) and (Y, ψ) over the same algebra B are called isomorphic if and only if there exists a unitary \(U \in \mathrm {End}^{*}_{B}(X,Y)\) intertwining ϕ and ψ.
Given an (A, B)correspondence (X, ϕ) and a (B, C)correspondence (Y, ψ), one can construct an (A, C)correspondence, named the interior tensor product of (X, ϕ) and (Y, ψ). As a first step, one constructs the balanced tensor product X ⊗_{B} Y which is a quotient of the algebraic tensor product X ⊗_{alg} Y by the subspace generated by elements of the form
for all ξ ∈ X, η ∈ Y, b ∈ B.
This has a natural structure of right module over C given by
and a Cvalued inner product defined on simple tensors as
and extended by linearity.
The inner product is welldefined (cf. [37, Proposition 4.5]); in particular, the null space can be shown to coincide with the subspace generated by elements of the form in (15).
One then defines \(X \widehat {\otimes }_\psi Y\) to be the right Hilbert module obtained by completing X ⊗_{B} Y in the norm induced by (16). Moreover for every \(T \in \mathrm {End}^*_B(X)\), the operator defined on simple tensors by
extends to a welldefined operator ϕ _{∗}(T) := T ⊗ 1. It is adjointable with adjoint given by T ^{∗}⊗ 1 = ϕ _{∗}(T ^{∗}). In particular, this means that there is a left action of A defined on simple tensors by
and extended by linearity to a map
thus turning \(X \widehat \otimes _{\psi } Y\) into an (A, C)correspondence. For all the details, we refer the reader once more to [37, Chapter 4].
We remark that the interior tensor product induces an associative operation on isomorphism classes of C ^{∗}correspondences.
3.2.2 Kasparov Modules and the Theory of Extensions
We now come to defining the key objects in Kasparov’s bivariant Ktheory [34], which are inspired by the geometry of elliptic operators on manifolds. For technical reasons, Kasparov theory is developed under some mild countability assumptions. Recall that a C ^{∗}algebra B is σunital if it admits a countable approximate unit, and separable if it admits a countable dense subset. Separable C ^{∗}algebras are σunital. A Hilbert C ^{∗}module X over B is countably generated if there is a countable subset {x _{i}}⊂ X such that the right B submodule generated by {x _{i}} is dense in X.
Definition 13
An odd Kasparov (A, B)bimodule is a pair (Y, F) where Y = (Y, ϕ) is a countably generated Hilbert C ^{∗}correspondence from A to B, and \(F\in \mathrm {End}^{*}_{B}(Y)\) is a selfadjoint operator such that F ^{2} = 1 and \([F,\phi (a)]\in \mathcal {K}(Y)\). An even Kasparov module is a triple (Y, F, γ) such that (Y, F) is an odd Kasparov module and \(\gamma \in \mathrm {End}^{*}_{B}(Y)\) is a selfadjoint unitary that commutes with A and anticommutes with F.
The natural equivalence relation of homotopy of Kasparov modules is conveniently defined via Kasparov modules for (A, C([0, 1], B)). The homotopy classes of odd Kasparov (A, B)modules form an Abelian group denoted KK _{1}(A, B). Similarly, the homotopy classes of even Kasparov modules form an Abelian group KK _{0}(A, B). If we choose \(A=\mathbb {C}\) then there are natural isomorphisms \(KK_{*}(\mathbb {C},B)\simeq K_{*}(B)\), and as such KKtheory generalises Ktheory. The main feature of the theory is the existence of an associative, bilinear product structure
the Kasparov product, defined whenever A is separable and B is σunital. Again, if we set \(A=\mathbb {C}\), we see that elements in KK _{j}(B, C) induce maps K _{∗}(B) → K _{∗+j}(C) by taking products from the right.
There is a close relationship between the Abelian groups KK _{1}(A, B) and \( \operatorname {\mathrm {Ext}}^{1}(A,B)\) which can be understood via the following Kasparov–Stinespring theorem, first proved in [33].
Theorem 14 (See the Proof of Theorem 3.2.7 in [28])
Let A, B be C ^{∗} algebras, with A separable and B σunital. Let X be a countably generated Hilbert C ^{∗} module over B and \(\rho :A\to \mathrm {End}^{*}_{B}(X)\) be a completely positive contraction. There exists a countably generated Hilbert C ^{∗} module Y over B, a ∗homomorphism \(\pi :A\to \mathrm {End}^{*}_{B}(Y)\) and an isometry v : X → Y such that ρ(a) = v ^{∗} π(a)v.
A proof of the above theorem is obtained by combining the proof of Theorem 3.2.7 in [28] with Kasparov’s stabilisation theorem for countably generated C ^{∗}modules [33, Theorem 3.2]. For our KKtheoretic purposes, remaining in the countably generated category is of vital importance, but the reader is invited to consult the more general versions of this result that are available, see for instance [37, Theorem 5.6].
It is worth noting that such an isometry v : X → Y immediately gives rise to a Toeplitz type algebra
To an extension
with a completely positive linear splitting ℓ : A → E, we can associate an odd Kasparov module by observing that, as \(\mathcal {K}(X)\) is an ideal in E, there is a ∗homomorphism \(\varphi :E\to \mathrm {End}^{*}_{B}(X)\). We consider the completely positive contraction \(\rho :=\varphi \circ \ell :A\to \mathrm {End}^{*}_{B}(X)\) and obtain an (A, B)bimodule Y and an isometry v : X → Y via Theorem 14.
Theorem 15
Let X be a countably generated Hilbert C ^{∗} module over the σunital C ^{∗} algebra B and A a separable C ^{∗} algebra. If
is a semisplit extension with completely contractive and completely positive linear splitting ℓ : A → E, then the Stinespring dilation v : X → Y of \(\rho :=\varphi \circ \ell :A\to \mathrm {End}^{*}_{B}(X)\) makes (Y, 2vv ^{∗}− 1) into an odd Kasparov module for (A, B).
Proof
As Y is an (A, B)correspondence and F = 2vv ^{∗}− 1 it holds that F ^{2} = 1 and F ^{∗} = F. Hence all we need to check is that [F, π(a)] = 2[vv ^{∗}, π(a)] is an element of \(\mathcal {K}(Y)\). Write p = vv ^{∗}, so p ^{2} = p ^{∗} = p and
It thus suffices to show that \(p\pi (a)(1p)\pi (a)^{*}p\in \mathcal {K}(Y)\), for \(\mathcal {K}(Y)\) is an ideal in \(\mathrm {End}^{*}_{B}(Y)\) and thus for \(T\in \mathrm {End}^{*}_{B}(Y)\) it holds that \(T\in \mathcal {K}(Y)\) if and only if \(TT^{*}\in \mathcal {K}(Y)\) (see for instance [10, Proposition II.5.1.1.ii]). Now \(v\mathcal {K}(X)v^{*}\subset \mathcal {K}(Y)\), since for x _{1}, x _{2} ∈ X it holds that \(v \theta _{x_{1}, x_{2}}v^{*}= \theta _{v(x_{1}),v(x_{2})}\), and we compute
This proves that (Y, F) is a Kasparov module. □
By the previous theorem, we see that an extension of C ^{∗}algebras induces an element in KK _{1}(A, B). Using the product structure (17), this leads to the elegant viewpoint that an extension induces maps
via the Kasparov product. These maps coincide with the boundary maps in the long exact sequence associated to the extension. For instance, the product with the extension
of the previous section induces the Bott periodicity isomorphisms K _{n}(S ^{2} A) ≃ K _{n}(A). In fact, the extension above, in combination with the Kasparov product, can be used to prove the general bivariant Bott periodicity isomorphisms
for any pair of separable C ^{∗}algebras (A, B).
The Kasparov–Stinespring construction can be inverted up to homotopy, yielding the statement that KK _{1}(A, B) is isomorphic to \( \operatorname {\mathrm {Ext}}^{1}(A,B)\). Effectively, this amounts to the observation that KKtheory is nothing but the study of extensions of C ^{∗}algebras.
To conclude, let us sketch the inverse construction. An odd Kasparov module (X, F) for (A, B) defines an adjointable projection \(P:=\frac {1}{2}(F+1)\) and hence a complemented submodule X := PY ⊂ Y . The C ^{∗}subalgebra
of \(\mathrm {End}^{*}_{B}(Y)\oplus A\) is an extension of A by \(\mathcal {K}(X)\). To see that E is closed under products, we use that
which is an element of \(\mathcal {K}(X)\). The quotient map E → A, given by (PTP, a)↦a has kernel \(\mathcal {K}(X) = \mathcal {K}(PY)\). Moreover, it admits the completely contractive linear splitting
The C ^{∗}algebra E can be viewed as an abstract Toeplitz algebra associated to the Kasparov module (Y, F). This inverts the Kasparov–Stinespring construction, as is easily checked.
4 Toeplitz Algebras, Crossed Products by the Integers, and Cuntz–Pimsner Algebras
We will now describe two constructions of Toeplitz C ^{∗}algebras and quotients thereof that appear in the study of solidstate systems, as they provide the natural framework for implementing the bulkedge correspondence.
4.1 Crossed Products by the Integers and the Pimsner–Voiculescu Toeplitz Algebra
Our first object of study are crossed products by the integers. They constitute one of the simplest and most wellunderstood examples of C ^{∗}algebras associated to C ^{∗}dynamical systems, a class of objects which were introduced to study group actions on C ^{∗}algebras.
Let α be an automorphism of a unital C ^{∗}algebra B. This defines an action of the additive group \(\mathbb {Z}\) of integers on B given by
The crossed product C ^{∗}algebra is realised as the universal C ^{∗}algebra generated by B and a unitary u satisfying the covariance condition
As described in [42], crossed products by a single automorphism can be realised as quotients in a Toeplitz exact sequence of C ^{∗}algebras, constructed starting from the Toeplitz extension (4).
Definition 16
Let B a unital C ^{∗}algebra and α an automorphism of B. Let \(\mathcal {T}= C^*(T)\) be the Toeplitz algebra of the unilateral shift. The Pimsner–Voiculescu Toeplitz algebra \(\mathcal {T}(B,\alpha )\) is defined as the C ^{∗}subalgebra of generated by B ⊗ 1 and u ⊗ T.
The Pimsner–Voiculescu Toeplitz algebra \(\mathcal {T}(B,\alpha )\) and the crossed product C ^{∗}algebra fit into a short exact sequence involving the stabilisation of B:
Proof of exactness of the above sequence follows after tensoring the Toeplitz exact sequence (4) with the algebra B, using nuclearity of C(S ^{1}) together with Lemma 7, and by realising as a subalgebra of \(B \overline {\otimes } C(S^1)\) (see [42, Section 2]).
The Pimsner–Voiculescu Toeplitz algebra \(\mathcal {T}(B,\alpha )\) is KKequivalent to the algebra B itself. The exact sequence (18) then induces sixterm exact sequences that allow for an elegant computation of the Ktheory and Khomology groups of the crossed product algebra in terms of those of the algebra B. These exact sequences are a special case of those described in Sect. 4.2.2.
4.2 Pimsner’s Construction: Universal C ^{∗}Algebras from C ^{∗}Correspondences
The construction which we shall describe now generalises that of crossed products by the integers. In [43], starting from a C ^{∗}correspondence (X, ϕ) such that ϕ is injective, Pimsner constructed two C ^{∗}algebras \(\mathcal {T}_X\) and \(\mathcal {O}_X\), which are now referred to as the Toeplitz algebra and the Cuntz–Pimsner algebra of the pair (X, ϕ), respectively. Both algebras are characterised by universal properties and depend only on the isomorphism class of the pair (X, ϕ). We will describe the construction for compact correspondences, i.e. such that \(\mathrm {Im}(\phi ) \subseteq \mathcal {K}_B(X)\).
4.2.1 The Toeplitz Algebra
As one can take balanced tensor products of C ^{∗}correspondences, as described in Sect. 3.2.1, we consider the modules
and we take the infinite direct sum
which is referred to as the (positive) Fock correspondence associated to the correspondence (X, ϕ).
One can naturally associate to any element ξ ∈ X a shift map:
This is an adjointable operator on F _{X}, with adjoint
Definition 17
The Toeplitz algebra of the C ^{∗}correspondence X _{ϕ} is the smallest C ^{∗}subalgebra of \(\mathrm {End}^*_B(F_{X})\) that contains all the T _{ξ} for ξ ∈ X.
When (X, ϕ) is a compact C ^{∗}correspondence, the compact operators on the Fock module sit inside \(\mathcal {T}_E\) as a twosided ideal, motivating the following:
Definition 18
The Cuntz–Pimsner algebra \(\mathcal {O}_X\) of a compact C ^{∗}correspondence (X, ϕ) is the quotient algebra appearing in the exact sequence
The image of an element \(T_{\xi } \in \mathcal {T}_{X}\) under the quotient map π will be denoted by S _{ξ}.
Changing the ideal in the exact sequence (23), one can define the Cuntz–Pimsner algebra of a general (i.e. noncompact, and possibly noninjective) C ^{∗}correspondence. We will not be concerned with this more elaborate construction here. For details see the original papers of Pimsner [43] and Katsura [35], as well as [15, Section 4.6].
Many wellknown examples of C ^{∗}algebras admit a description as Toeplitz–Pimsner or Cuntz–Pimsner algebras. The theory provides a unifying framework for a variety of examples, ranging from the study of discrete dynamics to more geometric situations.
Example
Let \(B=\mathbb {C}\) and \(X=\mathbb {C}^n\) and ϕ the left action by multiplication. If one chooses a basis for \(\mathbb {C}^n\), then the Toeplitz algebra of (X, ϕ) is the universal C ^{∗}algebra generated by n isometries V _{1}, …, V _{n} satisfying \(\sum _{i} V_i V_i^* \leq 1\).
This yields the well known Toeplitz extension for the Cuntz algebras \(\mathcal {O}_n\):
where \(\mathcal {F}\) is the full Fock space on \(\mathbb {C}^n\). In particular, for n = 1 one gets back the classical Toeplitz extension of (4).
Example (cf. [29, Section 2])
If the correspondence X is a finitely generated and projective module over a unital C ^{∗}algebra, the Pimsner algebra of (X, ϕ) can be realised explicitly in terms of generators and relations. Indeed, since X is finitely generated and projective, there exists a finite set \(\lbrace \eta _j \rbrace _{j=1}^{n}\) of elements of X such that
Then, using the above formula, one can spell out the left Baction on X as
The C ^{∗}algebra \(\mathcal {O}_X\) is then the universal C ^{∗}algebra generated by B together with n operators S _{1}, …, S _{n}, satisfying
for b ∈ B, and j = 1, …, n. The generators S _{i} are partial isometries if and only if for i ≠ j. For \(B=\mathbb {C}\) and E a Hilbert space of dimension n, one recovers the Cuntz algebra \(\mathcal {O}_n\) of Example 4.2.1.
Example
Let B be a C ^{∗}algebra and α : B → B an automorphism of B. Then X = B, seen as a module over itself, can be naturally made into a compact C ^{∗}correspondence.
The right Hilbert Bmodule structure is the standard one, with right Bvalued inner product . The automorphism α is used to define the left action via a ⋅ b = α(a)b.
Each module X ^{(k)} is isomorphic to B as a rightmodule, with left action
The corresponding Pimsner algebra \(\mathcal {O}_X\) coincides with the crossed product algebra , while the Toeplitz algebra \(\mathcal {T}_{X}\) agrees with the Toeplitz algebra \(\mathcal {T}(B,\alpha )\). The extension (23) then reduces to (18).
4.2.2 SixTerm Exact Sequences
The Toeplitz extension (23) induces a sixterm exact sequence in Ktheory. In case the extension is semisplit, it induces sixterm exact sequences in KKtheory as well. Splitexactness is automatic, for instance, when the coefficient algebra B is nuclear. These exact sequences can be simplified to a great extent after making the following observations:

For a compact C ^{∗}correspondence (X, ϕ), the triple (X, ϕ, 0) gives a welldefined even Kasparov module (with trivial grading), whose class we denote by [X].

The ideal \(\mathcal {K}(F_X)\) is naturally Morita equivalent to the algebra B itself.

By [43, Theorem 4.4.], the Toeplitz algebra \(\mathcal {T}_X\) is KKequivalent to the coefficient algebra B.
In Ktheory, the induced sixterm exact sequence reads
where i _{∗} is the map induced by the inclusion \(B \hookrightarrow \mathcal {O}_X\) and the maps ∂ are connecting homomorphisms. Up to Morita equivalence, the latter can be computed as Kasparov products with the class of the extension (23). An unbounded representative for the extension class was constructed [26] in the setting biHilbertian bimodules of finite Jones–Watatani index (cf. [30]), subject to some additional assumptions.
We conclude this section by remarking that, in the case of a selfMorita equivalence bimodule—i.e., whenever X is full and ϕ implements an isomorphism between B and \(\mathcal {K}_B(X)\)—the exact sequence (26) can be interpreted as a generalisation of the classical Gysin sequence in Ktheory (see [32, IV.1.13]) for the module of sections E of a noncommutative line bundle. The Kasparov product with the map 1 − [X] can be interpreted as a noncommutative Euler class. This analogy was exploited in [2] to compute Ktheory groups of algebras presenting a circle bundle structure.
5 Applications to Topological Insulators
We conclude by discussing the bulkedge correspondence, a principle in solidstate physics, according to which one should be able to read the topology of the bulk physical system from the effects it induces on boundary states. This principle underlies, for example, the quantization of the Hall current on the boundary of a sample of a quantum Hall system.
In this section, we illustrate how Toeplitz extensions and the maps they induce in (bivariant) Ktheory are essential for a mathematical understanding of these phenomena.
5.1 The BulkBoundary Correspondence for the OneDimensional Su–Schrieffer–Heeger Model and the Noether–Gohberg–Krein Index Theorem
We will now give an exposition of the key ideas behind the bulkedge correspondence for the onedimensional Su–Schrieffer–Heeger model [47], a lattice model with chiral symmetry. Our main reference for this Subsection is [45, Chapter 1]. On the Hilbert space \(\mathbb {C}^2 \otimes \mathbb {C}^ n \otimes \ell ^2(\mathbb {Z})\) we consider the one dimensional Hamiltonian
where 1_{n} and 1 are identity operators on \(\mathbb {C}^n\) and \(\mathbb {C}^2\), respectively, m is a mass term, U is the right shift on \(\ell ^2(\mathbb {Z})\) defined in (2), and the σ _{i} are the Pauli matrices
This Hamiltonian goes back to work of [47] and models a conducting polymer, namely polyacetilene. It possess a chiral symmetry, implemented by the unitary operator
i.e., J ^{∗} HJ = −H.
The model has a spectral gap at m = 0 so there exists ε > 0 and a continuous function
so that we can form the Fermi projection P _{F} := χ(H) through functional calculus with χ. The projection P _{F} satisfies the identity JP _{F} J = 1 − P _{F}, so that the flat band Hamiltonian
satisfies again J ^{∗} QJ = −Q. Moreover, Q ^{2} = 1, hence its spectrum consists of the two isolated points + 1 and − 1, allowing us to write
for U _{F} a unitary on \(\mathbb {C}^n \otimes \ell ^2(\mathbb {Z}).\) This unitary operator, called the Fermi unitary, provides us with a natural topological invariant for the boundary system, the first odd Chern number, which can be computed as follows.
We use the discrete Fourier transform mentioned in (1) to write \(\mathcal {F}Q\mathcal {F}^*\) as a direct integral \(\int _{S^1}^{\oplus } Q_z \mathrm {d}_z\) where each of the Q _{z}’s has the form
The family of unitary operators is differentiable and the first Chern class can be computed as the integral
This quantity is an invariant under small perturbations.
5.1.1 The Bulk Boundary Correspondence
We now introduce an edge for the Hamiltonian (27) by restricting it to the Hilbert space \(\mathbb {C}^2 \otimes \mathbb {C}^n \otimes \ell ^2(\mathbb {N})\) and imposing Dirichlet boundary conditions. The resulting Hamiltonian is
with conventions as above, and with S the unilateral shift on \(\ell ^2(\mathbb {N})\) described in Sect. 2.1. Similarly to the bulk Hamiltonian, the edge Hamiltonian has a chiral symmetry implemented by the halfspace chiral operator \(\widehat {J}=\sigma _3 \otimes {1}_n \otimes {1}\). Moreover, it has a spectral gap at 0 that we denote by Δ.
Let us now consider the Hilbert space obtained as the span of all the eigenvectors with eigenvalues in [−δ, δ] ⊂ Δ, which we denote by \(\mathcal {E}^{\delta }\). The chirality operator \(\widehat {J}\) can be diagonalised on \(\mathcal {E}^{\delta }\), and we have a splitting \(\mathcal {E}^{\delta } = \mathcal {E}^\delta _{+} \oplus \mathcal {E}^{\delta }_{}\).
The difference of the dimensions of the spaces \(\mathcal {E}^{\delta }_{\pm }\) is the boundary invariant of the system and it can be computed as a trace:
where \(\widehat {P}_{\delta } := \chi (\vert \widehat {H} \vert \leq \delta )\) is the spectral projection. This invariant is independent of the choice of δ, as long as it lies in the central gap.
The bulkedge correspondence is contained in the following identity, that relates the bulk invariant (winding number of the Fermi unitary) to the boundary invariant we just introduced.
Theorem 19 ([45, Theorem 1.2.2])
Consider the Hamiltonian (27) and its halfspace restriction (29). If U _{F} is the Fermi unitary and Ch_{1}(U _{F}) its winding number defined in (28), then
We remark that the Toeplitz extension (4) offers an index theoretic interpretation of this identity. The above equality of classes follows from the sixterm exact sequence coming from the Toeplitz extension (4). Indeed, the boundary map described in (8) maps classes of unitaries in the bulk algebra C(S ^{1}) to classes of projections in the boundary algebra \(\mathcal {K}(\ell ^2(\mathbb {N}))\), whose integer Ktheory classes are given by the winding number of the relevant unitary.
5.2 The Role of Toeplitz Extensions in the BulkEdge Correspondence
The example of the Su–Schrieffer–Heeger model is in some sense paradigmatic, as other solidstate systems can be modelled using related C ^{∗}algebraic extensions, where Toeplitz algebras serve as models for the halfspace system, while quotients of Toeplitz algebras are used to model the edge system. Likewise, the Ktheory boundary map coming from the extension can be used to implement the bulkedge correspondence, relating bulk invariants to edge invariants.
The idea to model the algebra of observables of a solidstate system via crossed product C ^{∗}algebras of some disorder space goes back to Bellissard [7]. His approach culminated in outlining a fullfledged mathematical programme for solidstate physics based on Delone sets [6, 9]. These are uniformly discrete and relatively dense subsets of Euclidean space, but are not required to possess any translational symmetry. In order to work with them, one needs to replace crossed products by groupoid C ^{∗}algebras. The recent developments around the bulkedge correspondence gave new impetus to this program [44]. We will now present a selection of contemporary results that make use of Toeplitz extensions and KKtheory.
In [12], the authors use the techniques from unbounded KKtheory to prove the bulkedge correspondence in Ktheory for the quantum Hall effect. In their approach, they are able to represent bulk topological invariants as a Kasparov product of boundary invariants with the class of a Toeplitz extension that links the bulk and boundary algebras.
A topological boundary map associated to an extension of a bulk algebra of observables by a boundary algebra is also used in [40]. The bulk algebra is constructed as a crossed product of the codimensionone boundary algebra by the integers, and the Ktheoretic invariants are obtained from the associated Toeplitz extension. In their approach the authors use methods from noncommutative Tduality [39].
In [13], the observable algebra of the physical system is a twisted crossed product C ^{∗}algebra. The Toeplitz extensions for twisted crossed products by \(\mathbb {Z}^n\) offers the natural framework for the investigation of the bulkedge correspondence, as it elegantly links the algebras of the bulk and the edge systems.
Crossed product C ^{∗}algebras are also used to describe disordered systems. The recent paper [1] describes the bulkboundary correspondence for disordered freefermion topological phases in terms of Van Daele Ktheory for graded C ^{∗}algebras [49, 50]. The relevant observable algebra is the crossed product of the algebra of continuous functions on a compact disorder space by the action of a lattice.
In [11], the authors replaced crossed products C ^{∗}algebras by groupoid C ^{∗}algebras. While crossed products of commutative C ^{∗}algebras are naturally an example of groupoid C ^{∗}algebras, the advantage of this more general setting lies in the possibility of studying systems without translational symmetries, like those resulting from nonperiodic \(\mathbb {R}^d\)actions and the above mentioned Delone sets. The systems are still linked by a short exact sequence of the form
where σ is a 2cocycle encoding the magnetic field, \(\mathcal {Y}\) is a closed subgroupoid of the groupoid \(\mathcal {G}\), and the algebra \(\mathcal {T}\) models the halfspace system.
Quite remarkably, in the onedimensional case, the groupoid C ^{∗}algebra admits an alternative description as Cuntz–Pimsner algebra of a selfMorita equivalence bimodule (cf. [11, Subsection 2.3]). The map implementing the bulkedge correspondence is realised as a Kasparov product with the unbounded representative for the class of the extension (23), as constructed in [26] (see also [2]). It remains an interesting open question whether groupoid C ^{∗}algebras of higher dimensional systems admit a description in terms of C ^{∗}algebras associated to families of C ^{∗}correspondences, for instance in terms of product and subproduct systems [23, 24, 46, 51].
Change history
16 April 2021
The original version of the book was inadvertently published without the following corrections. The chapter has now been corrected.
References
Alldridge, A., Max, C., Zirnbauer, M.R.: Bulkboundary correspondence for disordered freefermion topological phases. Commun. Math. Phys. 377, 1761–1821 (2020)
Arici, F., Kaad, J., Landi, G.: Pimsner algebras and Gysin sequences from principal circle actions. J. Noncommut. Geom. 10(1), 29–64 (2016). MR 3500816
Arveson, W.: Subalgebras of C ^{∗}algebras. III. Multivariable operator theory. Acta Math. 181(2), 159–228 (1998). MR 1668582
Atiyah, M.F.: Ktheory, 2nd edn. Advanced Book Classics. Advanced Book Program. AddisonWesley Publishing Company, Redwood City, CA (1989). Notes by D. W. Anderson. MR 1043170
Atiyah, M.F., Singer, I.M.: The index of elliptic operators. I. Ann. Math. (2) 87, 484–530 (1968). MR 236950
Bellissard, J., van Elst, A., SchulzBaldes, A.H.: The noncommutative geometry of the quantum Hall effect. J. Math. Phys. 35(10), 5373–5451 (1994). Topology and physics. MR 1295473
Bellissard, J.: Ktheory of C ^{∗}algebras in solid state physics. Statistical Mechanics and Field Theory: Mathematical Aspects (Groningen, 1985), Lecture Notes in Phys., vol. 257, pp. 99–156. Springer, Berlin (1986). MR 862832
Bellissard, J.: Gap labelling theorems for Schrödinger operators. From Number Theory to Physics (Les Houches, 1989), pp. 538–630 (Springer, Berlin, 1992). MR 1221111
Bellissard, J.V.: Delone sets and material science: a program, Mathematics of Aperiodic Order. Progr. Math., vol. 309, pp. 405–428 (Birkhäuser/Springer, Basel, 2015). MR 3381487
Blackadar, B.: Operator algebras. In: Encyclopaedia of Mathematical Sciences, vol. 122. Springer, Berlin (2006). Theory of C ^{∗}Algebras and von Neumann Algebras, Operator Algebras and Noncommutative Geometry, III. MR 2188261
Bourne, C., Mesland, B.: Index theory and topological phases of aperiodic lattices. Ann. Henri Poincaré 20(6), 1969–2038 (2019). MR 3956166
Bourne, C., Carey, A.L., Rennie, A.: The bulkedge correspondence for the quantum Hall effect in Kasparov theory. Lett. Math. Phys. 105(9), 1253–1273 (2015). MR 3376593
Bourne, C., Kellendonk, J., Rennie, A.: The Ktheoretic bulkedge correspondence for topological insulators. Ann. Henri Poincaré 18(5), 1833–1866 (2017). MR 3635969
Brown, L.G., Douglas, R.G., Fillmore, P.A.: Extensions of C ^{∗}algebras and Khomology. Ann. Math. (2) 105(2), 265–324 (1977). MR 458196
Brown, N.P., Ozawa, N.: C ^{∗}algebras and finitedimensional approximations. In: Graduate Studies in Mathematics, vol. 88. American Mathematical Society, Providence, RI (2008). MR 2391387
Coburn, L.A.: The C ^{∗}algebra generated by an isometry. Bull. Am. Math. Soc. 73, 722–726 (1967). MR 213906
Connes, A., Skandalis, G.: The longitudinal index theorem for foliations. Publ. Res. Inst. Math. Sci. 20(6), 1139–1183 (1984). MR 775126
Connes, A.: Cohomologie cyclique et foncteurs Ext^{n}. C. R. Acad. Sci. Paris Sér. I Math. 296(23), 953–958 (1983). MR 777584
Connes, A.: Noncommutative Geometry. Academic Press, San Diego, CA (1994). MR 1303779
Connes, A.: Gravity coupled with matter and the foundation of noncommutative geometry. Commun. Math. Phys. 182(1), 155–176 (1996). MR 1441908
Connes, A., Marcolli, M.: Noncommutative geometry, quantum fields and motives. In: American Mathematical Society Colloquium Publications, vol. 55. American Mathematical Society, Providence, RI; Hindustan Book Agency, New Delhi (2008). MR 2371808
Cuntz, J.: Ktheory and C ^{∗}algebras, Algebraic Ktheory, number theory, geometry and analysis (Bielefeld, 1982). In: Lecture Notes in Math., vol. 1046, pp. 55–79. Springer, Berlin (1984). MR 750677
Fletcher, J.: Iterating the CuntzNicaPimsner construction for compactly aligned product systems. New York J. Math. 24, 739–814 (2018). MR 3861035
Fowler, N.J.: Discrete product systems of Hilbert bimodules. Pac. J. Math. 204(2), 335–375 (2002). MR 1907896
Gelfand, I., Neumark, M.: On the imbedding of normed rings into the ring of operators in Hilbert space. Rec. Math. [Mat. Sbornik] N.S. 12(54), 197–213 (1943). MR 0009426
Goffeng, M., Mesland, B., Rennie, A.: Shifttail equivalence and an unbounded representative of the CuntzPimsner extension. Ergodic Theory Dynam. Systems 38(4), 1389–1421 (2018). MR 3789170
Gohberg, I.C., Kreı̆n, M.G.: The basic propositions on defect numbers, root numbers and indices of linear operators. Am. Math. Soc. Transl. (2) 13, 185–264 (1960). MR 0113146
Jensen, K.K., Thomsen, K.: Elements of KKtheory. In: Mathematics: Theory & Applications. Birkhäuser Boston, Boston, MA (1991). MR 1124848
Kajiwara, T., Pinzari, C., Watatani, Y.: Ideal structure and simplicity of the C ^{∗}algebras generated by Hilbert bimodules. J. Funct. Anal. 159(2), 295–322 (1998). MR 1658088
Kajiwara, T., Pinzari, C., Watatani, Y.: Jones index theory for Hilbert C ^{∗}bimodules and its equivalence with conjugation theory. J. Funct. Anal. 215(1), 1–49 (2004). MR 2085108
Karoubi, M.: La périodicité de Bott en Kthéorie générale. Ann. Sci. École Norm. Sup. (4) 4, 63–95 (1971). MR 285585
Karoubi, M.: KTheory. Springer, BerlinNew York (1978). An Introduction, Grundlehren der Mathematischen Wissenschaften, Band 226. MR 0488029
Kasparov, G.G.: Hilbert C ^{∗}modules: theorems of Stinespring and Voiculescu. J. Oper. Theory 4(1), 133–150 (1980). MR 587371
Kasparov, G.G.: The operator Kfunctor and extensions of C ^{∗}algebras. Izv. Akad. Nauk SSSR Ser. Mat. 44(3), 571–636, 719 (1980). MR 582160
Katsura, T.: On C ^{∗}algebras associated with C ^{∗}correspondences. J. Funct. Anal. 217(2), 366–401 (2004). MR 2102572
Kwaśniewski, B.K.: Invitation to Hilbert C ^{∗}modules and MoritaRieffel equivalence. Geometric methods in physics XXXVI. In: Trends Math., pp. 383–388. Birkhäuser/Springer, Cham (2019). MR 3991155
Lance, E.C.: Hilbert C ^{∗}modules. In: London Mathematical Society Lecture Note Series, vol. 210. Cambridge University Press, Cambridge (1995). A Toolkit for Operator Algebraists. MR 1325694
Lesch, M.: Ktheory and Toeplitz C ^{∗}algebras—a survey. In: Séminaire de Théorie Spectrale et Géométrie, No. 9, Année 1990–1991, Sémin. Théor. Spectr. Géom., vol. 9, pp. 119–132. Univ. Grenoble I, SaintMartind’Hères (1991). MR 1715935
Mathai, V., Thiang, G.C.: Tduality of topological insulators. J. Phys. A 48(42), 42FT02, 10 (2015). MR 3405349
Mathai, V., Thiang, G.C.: Tduality simplifies bulkboundary correspondence. Commun. Math. Phys. 345(2), 675–701 (2016). MR 3514956
Noether, F.: Über eine Klasse singulärer Integralgleichungen. Math. Ann. 82(1–2), 42–63 (1920). MR 1511970
Pimsner, M., Voiculescu, D.: Exact sequences for Kgroups and Extgroups of certain crossproduct C ^{∗}algebras. J. Oper. Theory 4(1), 93–118 (1980). MR 587369
Pimsner, M.V.: A class of C ^{∗}algebras generalizing both CuntzKrieger algebras and crossed products by Z. Free probability theory (Waterloo, ON, 1995). In: Fields Inst. Commun., vol. 12, pp. 189–212. Amer. Math. Soc., Providence, RI (1997). MR 1426840
Prodan, E.: A computational noncommutative geometry program for disordered topological insulators. In: SpringerBriefs in Mathematical Physics, vol. 23. Springer, Cham (2017). MR 3618067
Prodan, E., SchulzBaldes, H.: Bulk and boundary invariants for complex topological insulators. In: Mathematical Physics Studies. Springer, Cham (2016). From KTheory to Physics. MR 3468838
Shalit, O.M., Solel, B.: Subproduct systems. Doc. Math. 14, 801–868 (2009). MR 2608451
Su, W.P., Schrieffer, J.R., Heeger, A.J.: Soliton excitations in polyacetylene. Phys. Rev. B 22, 2099–2111 (1980)
Upmeier, H.: Toeplitz operators and index theory in several complex variables. In: Operator Theory: Advances and Applications, vol. 81. Birkhäuser Verlag, Basel (1996). MR 1384981
Van Daele, A.: Ktheory for graded Banach algebras. I. Q. J. Math. Oxford Ser. (2) 39(154), 185–199 (1988). MR 947500
Van Daele, A.: Ktheory for graded Banach algebras. II. Pac. J. Math. 134(2), 377–392 (1988). MR 961241
Viselter, A.: CuntzPimsner algebras for subproduct systems. Int. J. Math. 23(8), 1250081, 32 (2012). MR 2949219
Acknowledgements
We are indebted to our colleagues and collaborators C. Bourne, M. Goffeng, J. Kaad, and A. Rennie for inspiring conversations on topics related to the present paper.
FA was partially funded by the Netherlands Organisation of Scientific Research (NWO) under the VENI grant 016.192.237.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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 license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license 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.
Copyright information
© 2020 The Author(s)
About this paper
Cite this paper
Arici, F., Mesland, B. (2020). Toeplitz Extensions in Noncommutative Topology and Mathematical Physics. In: Kielanowski, P., Odzijewicz, A., Previato, E. (eds) Geometric Methods in Physics XXXVIII. Trends in Mathematics. Birkhäuser, Cham. https://doi.org/10.1007/9783030533052_1
Download citation
DOI: https://doi.org/10.1007/9783030533052_1
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 9783030533045
Online ISBN: 9783030533052
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)