K-theory for dummies, I
Posted by Urs Schreiber
I feel like talking about K-theory, K-homology, and the like. Here I start leisurely with a bird’s eye overview of some central ideas.
So this are the main concepts, informally:
Pick some topological space . Consider all complex vector bundles over X. Including their homomorphisms these form a category .
There is sort of a semi-ring structure on that category in that vector bundles can be added, using the direct sum, and multiplied, using the direct product. When we take equivalence classes in the result is in fact an ordinary semi-ring. There is a standard way, called the Grothendieck group completion, to throw in additive inverses such as to obtain an honest ring. This ring is denoted and is called the K-theory of .
Instead of , one can consider the suspension of . This is sort of a ‘sphere’ which at every latitude looks like , if you wish. More precisely, it is the space obtained by taking the product of with the unit interval and identifying all points of attached to and all those attached to :
The -th iteration of taking the suspension is written and one defines
Bott periodicity says that is isomorphic to :
(In the case of K-theory for real vector bundles we’d have periodicity 8 instead of 2).
Since K-theory is something algebraic, it is natural to do away with topological spaces and replace them by their algebraic equivalent, -algebras.
Given the -algebra of continuous complex-valued functions on , a vector bundle over can equivalently be characterized as a projection in , i.e. as an -matrix with values in that satisfies .
So an alternative way to define , but now generalized to arbitrary -algebras , is as the abelian group which has one generator for every projector in for all subject to the identification of projections which can be continuously connected and to the relation
This formulation makes it easy to define sort of a dual K-theory.
For every -algebra there is are dual -algebras defined as the commutant-up-to-compact-operators of any rep of . So given , choose any rep of in terms of bounded operators on some seperable Hilbert space . Then
where means that is a compact operator.
It may happen that didn’t have a unit. Let the result of making it unital by adjoining a unit be denoted by .
The K-theory of (for any ) is now called K-homology. One writes
The position of the indices here denotes the covariant or contravariant nature of these maps, when these are regarded as functors from the category of -algebras to that of abelian groups.
The reason for calling the map a homology is that in the case where is the -algebra of functions on , this map can be shown to define what is called a generalized homology theory.
This is any theory which associates a list of groups to any topological space such that a couple of crucial properties copied from ordinary (simplicial, say) homology, are satisfied.
So one might wonder what the cohomology theory corresponding to might be. Turns out that this is nothing but the K-theory that we started with (which is another way to understand the position of the indices):
But at the level of the above definitions this duality is neither straightforward to see nor really nice. It becomes much neater once a cool result is established which says that is nothing but equivalence classes of generalized Dirac operators on rank- vector bundles over , loosely speaking.
More precisely, this works as follows:
A Fredholm operator is a bounded operator which admits a notion of index:
A Fredholm module is like a spectral triple with a Fredholm operator instead of a Dirac operator, namely its a triple of a Hilbert space on which and the -algebra is represented by and such that satisfies three technical conditions.
If in addition a Clifford algebra is represented on which commutes with this is called a -multigraded Fredholm module.
Now, Kasparov went ahead and defined the Kasparov K-homology group to be the abelian group of equivalence classes of Fredholm modules.
More precisely, is the abelian group generated by -multigraded Fredholm modules up to unitary equivalence, up to modules which can be continuously connected, and up to the relation
where are Fredholm modules, their images in and denotes the rather obvious direct sum of such modules.
So, this definition looks rather similar in spirit to the one above. And indeed, it turns out that Kasparov’s groups are isomorphic to the ordinary K-homology groups like this:
This is nice, among other things because it gives a nice interpretation for the pairing between K-homology and K-theory:
First of all, any Dirac operator on gives rise to a Fredholm module (that’s pretty much the motivation for the definition of Fredholm module, I guess). More generally, every symmetric elliptic first-order differential operator on some vector bundle over gives a Fredholm module and hence an element in and hence an element in K-homology .
Now suppose in addition an element in K-theory itself is given, i.e. the class of a further vector bundle over . We can in natural way get the operator obtained by tensoring with and then compute it’s index. This gives a map
So to coin a slogan summarizing this situation:
K-theory consists of classes of vector bundles, K-homology consists of classes of Dirac operators and under the index map Dirac operators are dual to vector spaces.
Before quitting I should admit that most of what I said here comes from the very nice textbook
N. Higson & J. Roe
Analytic K-Homology
Oxford Univ. Press (2000)
Re: K-theory for dummies, I
So, I went through this brief period in graduate school trying to find a use in string theory for E-theory. Perhaps now I can pass along this responsibility to you :).