Coarse Index Theory: John Roe
Coarse Index Theory: John Roe
Coarse Index Theory: John Roe
May 2006
John Roe
Outline
De Rham Cohomology
John Roe
John Roe
Lemma For any form , d(d) = 0. This lemma means that the differential forms form a complex 0 (M) 1 (M) 2 (M) called the de Rham complex, and we have Theorem The cohomology of the de Rham complex is isomorphic to the topologically dened (singular or Cech) cohomology of M.
John Roe
In particular, if M is a compact manifold, the de Rham cohomology spaces H i (M) are nite dimensional. This is a non-trivial statement about partial differential equations. From the de Rham complex of a (compact) manifold we can extract two important numerical invariants:
1 2
John Roe
denes a nondegenerate pairing H k (M) H nk (M) R. In particular if n = 4k then the intersection form gives a symmetric bilinear form on H 2k (M). The signature of M is by denition the signature of this symmetric bilinear form.
John Roe Coarse Index Theory Lecture 1
Consider a rst order linear differential operator D on sections of a vector bundle E over M. There is a unique endomorphism-valued homogeneous function D on T M with the property that D(fs) = fDs + D (df )s for all (smooth) functions f and sections s of E. Denition D is called the symbol of D. Example The symbol of the exterior derivative operator d is the 1-form that takes a covector to the operation exterior multiplication by .
John Roe Coarse Index Theory Lecture 1
Denition The linear differential operator D is called elliptic if, for every nonzero , the endomorphism D () is invertible. For example, the de Rham operator d + d that we discussed earlier is elliptic. The basic analytical information about elliptic operators on compact manifolds is contained in the following theorem. Theorem Let D be a self-adjoint elliptic operator on a compact manifold. Then D has compact resolvent: for any f C0 (R), the operator f (D) (dened by the functional calculus) is compact.
John Roe
Corollary The kernel of an elliptic operator is a nite-dimensional vector space. Together with the Hodge theorem this provides an analytic explanation for the nite dimensionality of de Rham cohomology. (In fact, the basic analytical facts about elliptic operators are needed in the proof of the Hodge theorem.)
John Roe
Gradings
Denition Let D be an elliptic operator on a bundle E. A grading for D is a self-adjoint involution of E that anticommutes with D (D + D = 0). In other words, splits E into two orthogonal subbundles E , and D interchanges them. Denition The index of a graded operator (D, ) is the integer dim ker D+ dim ker D where D denotes the restriction of D to an operator E E .
John Roe Coarse Index Theory Lecture 1
Let D = d + d denote the de Rham operator on a compact Riemannian manifold. Example The involution which equals (1)k on the space of k -forms is a grading, and the index of D with respect to this grading is the Euler characteristic. Let M be oriented and of dimension 4k . The Hodge star operator is a (linear) identication p np coming from the Riemannian metric. Up to some powers of i = 1, the Hodge star operator is a grading for D. Example The index of D with respect to the Hodge star grading is the signature.
John Roe Coarse Index Theory Lecture 1
It is not hard to prove that the index of an elliptic operator on a compact manifold M depends only on its symbol, and indeed only on the homotopy class of that symbol in the space of elliptic symbols. The Atiyah-Singer index theorem gives an explicit topological formula for the index in terms of characteristic classes associated to the homotopy class of the symbol. Thus it makes a connection between topology and analysis.
John Roe
Example The index theorem applied to the signature operator produces the Hirzebruch Signature Formula Sign(M) =
M
L(M)
where L is a certain combination of Pontrjagin classes. Explicitly, we have for example Dimension of M L-class 4 p1 /3 2 8 (7p2 p1 )/45 3 12 (62p3 13p1 p2 + 2p1 )/945 in terms of the Pontrjagin classes of the tangent bundle.
John Roe Coarse Index Theory Lecture 1
K-theory
The version of algebraic topology that is most suitable for calculations with indices is K -theory. Let A be a C -algebra with unit. A projection in A is an element p such that p = p2 = p . Let Pn (A) be the collection of all projections in the matrix algebra Mn (A), and let P(A) be the direct limit P(A) = lim Pn (A).
n
This is a topological space. Moreover, its set of connected components, 0 (P(A)), has a natural addition operation deform two projections until they are disjoint, then take the direct sum.
John Roe Coarse Index Theory Lecture 1
Denition The K -theory group K0 (A) is the Grothendieck (or universal) group associated to the abelian semigroup 0 (P(A)). Example The group K0 (C) is isomorphic to Z. The isomorphism associates to a projection in Mn (C) the dimension of its range. One can extend the denition of K0 to algebras without unit. If J is an algebra without unit, embed it as an ideal in a larger algebra A. Then K0 (J) is generated by formal differences [p] [q] of projections in Mn (A) such that p q Mn (J).
John Roe
Again let A be a unital algebra. A unitary in A is an element u such that uu = u u = 1. Let Un (A) denote the collection of unitaries in Mn (A) and let U(A) be the direct limit lim Un (A). Denition The K -theory group K1 (A) is the collection of connected components 0 (U(A)). Here, because U(A) is already a topological group, there is no need to use the Grothendieck construction to obtain a group.The group operation in K1 (A) can be obtained from multiplication of unitaries, or from direct sum. In particular, K1 (A) is abelian.
John Roe
Example The group K1 (C) is zero, because all the unitary groups Un (C) are connected. Example Consider the algebra A = C(S 1 ) of continuous functions on the circle. Then K1 (A) Z. The isomorphism is given by sending a = loop of unitary matrices to the winding number of its determinant (a loop in C \ {0}) about the origin. One can also extend the denition of K1 to non-unital algebras.
John Roe
K -theory is a functor: for any -homomorphism : A B one can nd an induced homomorphism of abelian groups : Ki (A) Ki (B). Homotopic -homomorphisms induce identical maps on K -theory.
John Roe
K1 (B) o
K1 (A) o
K1 (J)
Consider the case A = B(H), J = K(H). The quotient B = A/J is then the Calkin algebra. Any unitary u B lifts to V A which is an essentially unitary Fredholm operator. On the other hand, u also denes a class [u] K1 (B). Theorem The class [u] K0 (J) = Z is the index of the Fredholm operator V . Notice that the statement the index of an invertible operator is zero is encoded in the exactness of the K -theory sequence.
John Roe
Motivated by the above, we are going to reinterpret the index of an elliptic operator (on a compact manifold) in terms of operator K -theory. This will show us the correct generalization of the index to non-compact manifolds. Our abstract set-up will be H is a Hilbert space. J is a C -algebra of operators on H. D is an unbounded, self-adjoint operator on H such that f (D) J for all f C0 (R).
John Roe
Gradings
We distinguish the graded and ungraded cases of our basic set-up. In the ungraded case the data is exactly as I have said. In the graded case we assume in addition that H is a graded Hilbert space it is equipped with a self-adjoint involution . The grading operator is a multiplier of J, that is J = J = J. D is odd relative to the grading, that is, D + D = 0.
John Roe
Now let A be the multiplier algebra of J (the largest C -algebra of operators on H within which J is an ideal). There is a short exact sequence 0 J A A/J 0.
Denition A normalizing function is a continuous increasing odd function : R (1, 1) such that (t) 1 as t . Observe
1
Any two normalizing functions differ by an element of C0 (R). The square of a normalizing function is equal to 1 modulo C0 (R).
John Roe Coarse Index Theory Lecture 1
Thus the operator F = (D) is an element of M(J), and its class in the quotient algebra M(J)/J is a symmetry (a self-adjoint involution). In the ungraded case, a self-adjoint involution in M(J)/J denes a class in K0 (M(J)/J). In the graded case, an odd self-adjoint involution in M(J)/J denes a class in K1 (M(J)/J). Denition The index class of D is the image of [F ] K (M(J)/J) under the boundary map : K (M(J)/J) K1 (J).
John Roe
Theorem The index is an obstruction to invertibility. In other words, if 0 does not belong to the spectrum of D, then Index(D) = 0. Proof. If the spectrum of D does not contain 0 then one can nd a normalizing function that is equal to 1 everywhere on the spectrum of D. Then (D) itself is an involution so denes a class in Ki (M(J)). By exactness, the index in Ki1 (J) is equal to zero. In the ungraded case there is nothing special about 0 here if the spectrum of D has any gap at all, then Index(D) = 0.
John Roe
Index formulas
To conclude we give formulae for the index. These depend on knowledge of the explicit form of the connecting homomorphisms. In the ungraded case the index is the homotopy class of the unitary u = ei(D) where is a normalizing function. (This is a unitary differing from the identity by an element of J.) It is sometimes convenient to select so that u becomes the Cayley transform (D + i)(D i)1 of D.
John Roe Coarse Index Theory Lecture 1
In the graded case we rst dene a sort of relative index. Denition Let S, T be symmetries in M(J) that anticommute modulo J (that is, ST + TS J). Dene [S : T ] K0 (J) to be the K -theory class of the formal difference [STS] [T ]
of symmetries (or of the corresponding projections). The denition of the boundary map in K -theory gives that the index of the graded operator D is equal to [S : ] where S A is any symmetry equal to (D) modulo J. An example of such a symmetry is S = (D) +
John Roe
1 (D)2 .
Coarse Index Theory Lecture 1
We can simplify this expression. Lemma If S + T is invertible then [S : T ] = [T : S]. If we choose S = (D) + 1 (S)2 then S + is invertible so the index is equal to [ : S]. Now take () = (1 + 2 )1/2 ; then S is the phase (D + )|D + |1 , and similarly S is the phase of D . Thus the graded index is the difference of the phases of D .
John Roe