Topological K-theory of C*-algebras for the Working Mathematician – Lecture 4 (K-homology and Brown-Douglas-Fillmore)
by Orr Shalit
My notes of Haim’s Schochet’s fourth lecture in this series is here below.
It is impossible to start without mention that Alexander Grothendieck passed away last week. Grothendieck is considered by many as one of the greatest mathematicians of 20th century, and his contributions affect the material in this lecture series in at least two significant ways. As we mentioned, a first version of K-theory was developed by Grothendieck opening the door for topological K-theory (which, in turn, opened the door for K-theory of C*-algebras). Grothendieck also developed the theory of nuclear topological vector spaces and tensor products of topological vector spaces, a theory that has influenced the development of the concepts of nuclearity and tensor product which are central to contemporary C*-algebra theory.
1. The homology theory associated with K-theory
In the previous lecture we discussed topological K-theory (of topological spaces), that is the functor . One can define and and then is a cohomology theory, and in fact (the latter denotes the K-theory of the C*-algebra ).
Now, topologists who are well versed in general nonsense know that every cohomology theory has a homology theory with which it is associated (assuming that we are working in a well behaved class of topological spaces. For the present section we assume all our topological spaces are finite CW complexes). What is the homology theory associated with K-theory?
One way is to define it using Spanier-Whitehead duality. If is a finite CW complex, then one can always find a big enough such that embeds in the northern hemisphere of the sphere , avoiding the north pole. Let denote the complement of in . One may deformation-retract to the southern hemisphere (avoiding the south pole, for technical reasons). Then is called the Spanier-Whitehead dual of . Different ways of embedding in (in particular different choices of ) may lead to a different topological space , but is determined uniquely up to stable homotopy.
A theorem (of Spanier and Whitehead? Anderson? Ask Haim) asserts that the regular homology and cohomology of and are related by
for some .
Coming back to the question “what is the homology theory associated with K-theory?”, we see that we can try to define . This does work, and defines a homology theory, but a deficiency of this approach is that it only works for finite CW complexes, and does not work for general compact spaces (as K-theory did).
2. Fredholm operators
A Fredolm operator is a bounded operator between two Banach spaces, such that and are finite dimensional (one usually throws in the assumption that has closed range, but this follows automatically if I am not mistaken). For such an operator it makes sense to define the index of , defined by
We will be mostly concerned with the case where a Hilbert space, and then a Fredholm operator can be defined to be an operator with closed range such that (in this formulation one has to include the assumption that the range is closed) and the index is then defined as
Denote by the set of Fredholm operators. Then operators in have the following prperties
- If and is compact, then and .
- If (perhaps on different spaces) then and .
- if and only if is invertible modulo the compacts. In particular is open.
- If and has sufficiently small norm then and . Thus the index is a continuous function .
Fredholm operators are a very tractable class of operators, and they have applications to partial differential and to integral equations (in fact the theory was born with Fredholm’s solution of integral equations arising from potential theory). Only decades after they were introduced and extensively used was a connection made between Fredhom operators and topology. The connection was Atiyah and Singer’s index theorem.
3. Atiyah-Singer index theorem and Atiyah’s question
In 1963 Atiyah and Singer proved their famous “Atiyah-Singer index theorem” (ASIT below), which was generalised in a series of papers during the 60s. I will make the long story very short, and the Wikipedia article I linked to above seems like an excellent place to start if you want to learn more.
The ASIT concerns elliptic operators on smooth manifolds. Elliptic operators are partial differential operators which have nice solvability properties similar to those of the Laplacian, and they are of importance in mathematical physics. A partial differential operator can be considered as a bounded operator, if interpreted as acting between the appropriate Soboloev spaces. In case the operator was elliptic, then it is not just bounded but also a Fredholm operator. Thus it has a Fredhom index, which in this setting is referred to as the analytical index.
There is another index associated with an elliptic partial differential operator an a smooth manifold called the topological index. This index is defined in terms of the partial differential operator and some other fancy topological data related to the manifold at hand.
The ASIT asserts that for an elliptic operator on a smooth manifold the topological and the analytical indices are the same. It is a far reading generalisation of many results relating the topological structure of a manifold with the dimensions of spaces of solutions of some operator, such as the classical Riemann-Roch theorem (the Riemann-Roch theorem determines the dimension of the space of meromorphic functions on a connected compact Riemann surface with given zeros and poles in terms of the genus of of the surface).
Haim told us in the lecture that according to Encyclopaedia Britannia, this theorem is one of the greatest mathematical achievements in the 1960s.
Elliptic operators are partial differential operators and are classically defined only on differentiable manifolds. Atiyah went one step further and asked for a definition of elliptic operators on a general compact space . He argued that an elliptic operator should be defined as follows.
Suppose that we have a compact space , a Hilbert space , and a faithful unital representation . Let us identify every with its image under this representation.
Definition: is elliptic if
- is Fredholm, and
- for all , is compact.
Denote by the set of all pairs where is an elliptic operator relative to as above.
Remark: A word of motivation is in order. What does this definition have to do with elliptic operators? The requirement that be Fredholm comes from the nice solvability properties of elliptic operators, namely, that they are Fredholm. The requirement is compact comes from the property of any differential operator of order , that is an operator of order (this is easy to check formally for smooth). By the Sobolev embedding theorems this means that is compact if was bounded.
Using the index map and Spanier-Whitehead duality, Atiyah was able to define (in the case that is a finite CW complex) a surjective map
And then (1969) Atiyah asked the following question.
Question: What equivalence relation on is needed to make this into an isomorphism?
This is a remarkable question, and if I am not mistaken it is the first instance of an attempt to construct a functor of topological using operator theory.
4. The theory of Brown-Douglas-Fillmore
Answering Atiyah’s question would enable one to define the homology related to K-theory in operator theoretic terms. A partial answer to the above question was given by Brown, Douglas and Fillmore (BDF below) in the 1970s. They approached this from a totally different direction (see this paper. I will be glossing over many significant details). We need a few more definitions, and then we need to go further back in time in order to place the work of BDF in full context.
In what follows, denotes the compact operators on a Hilbert space , and denotes the Calkin algebra (in the lectures as well as in their paper the Calkin algebra was denoted , but I will stick with my for typographical reasons). We use to denote the projection .
Definitions: Let . The essential spectrum of is defined to be
We say that an operator has some property essentially, if has this property. Thus is essentially normal if is normal, and essentially commute if commute. One exception to this rule is that if is invertible then is not called essentially invertible; it is simply called Fredholm.
The story of BDF does not start with topological homology theories, but with operator theory.
Weyl-von Neumann Theorem (1909, 1935): Let be two self adjoint operators on . Then if and only if is unitarily equivalent to modulo the compacts (or: essentially unitarily equivalent). To be precise, there exists a unitary such that .
Remark: There is some ambiguity in saying that two operators are essentially unitarily equivalent (or unitarily equivalent modulo the compacts). One reasonable meaning is that there is a unitary such that . Another reasonable meaning is that there is a unitary such that . The point is that it is not every a unitary can be lifted to unitary . We will take the first meaning. (BDF actually prove that these notions are equivalent, but this will not enter our discussion.)
The WvN theorem can be reformulated in the (seemingly slightly weaker form): For any two selfadjoint elements in the Calkin algebra, is unitarily equivalent to (in ) if and only if . (It is not hard to see that one may replace and above with essentially selfadjoint operators).
Thus, WvN theorem tells us that selfadjoint elements in are classified by their spectrum. It is natural to seek an extension of this theorem to normal elements in . This leads us to examine essentially normal operators in , that is, operators such that . What do essentially normal operators look like?
Example: If is normal and is compact, then is essentially normal.
Do all essentially normal operators look lie this? No: for operators as above, while on the other hand:
Example: Let be the unilateral shift
Then is a rank one projection, so is essentially normal.
The operator cannot be written as a sum of a normal plus a compact because
In fact, is unitary and from symmetry consideration one obtains . Thus the essential spectrum of is the unit circle.
Let be the bilateral shift
Then is also essentially normal (it is normal) and its essential spectrum is also . However, and are not essentially unitarily equivalent, from the above considerations.
We see that a nonzero index is an obstruction for an essentially normal operator to be a normal plus compact. Is it the only obstruction? If two essentially normal operators have the same essential spectrum, is the index (where defined) the only obstruction for them to be essentially unitarily equivalent?
BDF’s approach to these problems initiated a paradigm shift in the operator theory from “single operator theory” to the theory of operator algebra.
For an essentially normal operator, BDF wrote down the exact sequence
where denotes the C*-algebra generated by the identity, the compacts and . Since is essentially normal the quotient C*-algebra is commutative, and it is equal to . BDF observed that the sequence splits if and only if is equal to a normal plus compact. From this observation they derived their approach to the problems above: classify the equivalence classes of exact sequences (“extensions of by “, or vice-versa, however you decide to call it) of the form
where is a unital C*-algebra containing the compacts and is a compact metrisable space (for solving the operator theoretic problems above it was sufficient to consider only ). Two extensions (of by ) are said to be equivalent if there is an isomorphism that makes the diagram commute. Because of the representation theory of the compacts such an isomorphism must be implemented by a unitary in .
Note that one may alternatively think of the extension (*) as a monomorphism from into , and seek to classify such monomorphisms. The trivial extension (one that splits) corresponds to a monomorphism that lifts through , and the two monomorphisms are equivalent if and only if they are unitarily equivalent by a unitary in , that is for a unitary in .
Note that two essentially normal operators with the same essential spectrum give rise to equivalent extensions if and only they are unitarily equivalent modulo the compacts.
Denote the set of all extensions as (*) by . Every extension (*) gives rise to an exact sequence in K-theory, and in particular we obtain the connecting map
and note that .
BDF showed that is isomorphic to the free abelian group on the connected components of , and therefore – the continuous functions from the complement of to the integers. Note that whenever is essentially normal, the map is a well defined continuous integer valued function on .
Theorem (BDF): For a compact subset , the map
is an isomorphism.
An immediate consequence is the following solution to the problems we stated above regarding classification of essentially normal operators.
- If are essentially normal and then is unitarily equivalent to modulo the compacts if and only if for all .
- If is essentially normal, then it is of the form normal plus compact if and only if for all .
Next, BDF set out to find how behaves as a functor. They replaced by an arbitrary separable C*-algebra, and considered extensions of the form
In modern notation, one defines , and .
Then one has the following theorems.
Theorem (Bott periodicity): .
Theorem: is a functor form separable nuclear C*-algebras into graded abelian groups.
Theorem: is a cohomology theory on separable nuclear C*-algebras, which is homotopy invariant, additive, Morita invariant and satisfies the exactness axiom.
When restricting attention algebras of the form one obtains a homology theory for spaces, which extends the homology theory given by Spanier-Whitehead duality that we described above. So BDF’s work gives us a definition of sought for homology theory in terms of operator algebras, and answers, in a way, the question asked by Atiyah. The homology theory coming from the groups is called K-homology. (It is somewhat unsuccessful terminology that we have on the cohomological side “K-theory”, and on the homological side “K-homology”. But that’s the way it is.)
Regarding direct limits, the situation is a little more complicated.
Theorem: If is a direct limit of C*-algebras. Then there is a short exact sequence of the form
The group is always either uncountable or . Without going into details of what this means (honestly, I don’t understand this), we consider an example that illustrates some consequences.
Example: Consider the direct sequence
with the maps
and denote the direct limit by .
We have computed in the past that and . On the other hand one can show that and that . Here denotes the 2-adic integers, and is uncountable. Hence the set of equivalence classes of extensions (by the compacts) of the separable C*-algebra is uncountable.