aa r X i v : . [ m a t h . A T ] J un NOVIKOV’S CONJECTURE
JONATHAN ROSENBERG
Abstract.
We describe Novikov’s “higher signature conjecture,” which datesback to the late 1960’s, as well as many alternative formulations and relatedproblems. The Novikov Conjecture is perhaps the most important unsolvedproblem in high-dimensional manifold topology, but more importantly, vari-ants and analogues permeate many other areas of mathematics, from geometryto operator algebras to representation theory. Origins of the Original Conjecture
The Novikov Conjecture is perhaps the most important unsolved problem in thetopology of high-dimensional manifolds. It was first stated by Sergei Novikov, invarious forms, in his lectures at the International Congresses of Mathematicians inMoscow in 1966 and in Nice in 1970, and in a few other papers [84, 87, 86, 85]. Foran annotated version of the original formulation, in both Russian and English, werefer the reader to [37]. Here we will try instead to put the problem in context andexplain why it might be of interest to the average mathematician. For a nice book-length exposition of this subject, we recommend [65]. Many treatments of variousaspects of the problem can also be found in the many papers in the collections[38, 39].For the typical mathematician, the most important topological spaces are smoothmanifolds, which were introduced by Riemann in the 1850’s. However, it took about100 years for the tools for classifying manifolds (except in dimension 1, which istrivial, and dimension 2, which is relatively easy) to be developed. The problem isthat manifolds have no local invariants (except for the dimension); all manifolds ofthe same dimension look the same locally . Certainly many different manifolds wereknown, but how can one tell whether or not the known examples are “typical”?How can one distinguish one manifold from another?With big leaps forward in topology in the 1950’s, it finally became possible toanswer these questions, at least in part. Here were a few critical ingredients:(1) the development of the theory of Reidemeister and Whitehead torsion andthe related notion of “simple homotopy equivalence” (see [76] for a goodsurvey of all of this);(2) the theory of characteristic classes of vector bundles, developed by Chern,Weil, Pontrjagin, and others;(3) the notion of cobordism, introduced by Thom [111], who also provided amethod for computing it;
Mathematics Subject Classification.
Primary 57R67; Secondary 19J25, 19K56, 19G24,19D50, 58J22.Work on this paper was partially supported by the United States National Science Foundation,grant number 1206159. I would like to thank Andrew Ranicki and Shmuel Weinberger for usefulfeedback on an earlier draft of this paper. (4) the Hirzebruch signature theorem sign( M ) = hL ( M ) , [ M ] i [54], giving aformula for the signature of an oriented closed manifold M k (this is thealgebraic signature of the nondegenerate symmetric bilinear form ( x, y ) x ∪ y, [ M ] i on H k coming from Poincar´e duality), in terms of a certainpolynomial L ( M ) in the rational Pontrjagin classes of the tangent bundle.Using just these ingredients, Milnor [73] was able to show that there are atleast 7 different diffeomorphism classes of 7-manifolds homotopy equivalent to S .(Actually there are 28 diffeomorphism classes of such manifolds, as Milnor andKervaire [64] showed a bit later.) This and the major role played by items 2 and4 on the above list came as a big surprise, and showed that the classification ofmanifolds, even within a “standard” homotopy type, has to be a hard problem.The final two ingredients came just a bit later. One was Smale’s famous h -cobordism theorem , which was the main ingredient in his proof [108] of the high-dimensional Poincar´e conjecture in the topological category. (In other words, if M n is a smooth compact n -manifold, n ≥
5, homotopy equivalent to S n , then M ishomeomorphic to S n , even though it may not be diffeomorphic to it.) But from thepoint of view of the general manifold classification program, Smale’s important con-tribution was a criterion for telling when two manifolds really are diffeomorphic toone another. An h -cobordism between compact manifolds M and M ′ is a compactmanifold with boundary W , such that ∂W = M ⊔ M ′ and such that W has defor-mation retractions down to both M and M ′ . The h -cobordism theorem [75] saysthat if dim M = dim M ′ ≥ M , M ′ , and W are simply connected, then W is diffeomorphic to M × [0 , M and M ′ are diffeomorphic. Theadvantage of this is that diffeomorphisms between different manifolds are usuallyvery hard to construct directly; it is much easier to construct an h -cobordism.If one dispenses with simple connectivity, then an h -cobordism between M and M ′ need not be diffeomorphic to a product M × [0 , s -cobordismtheorem, due to Barden, Mazur, and Stallings, with simplifications due to Kervaire[63], says that the h -cobordisms themselves are classifiable by the Whitehead torsion τ ( W, M ), which takes values in the Whitehead group Wh( π ), where π = π ( M ), andall values in Wh( π ) can be realized by h -cobordisms. (The Whitehead group is thequotient of the algebraic K -group K ( Z π ) by its “obvious” subgroup {± } × π ab .)Thus an h -cobordism is a product if Wh( π ) = 0, which is the case for π free abelian,and in fact is conjectured to be the case if π is torsion-free. But for π finite, forexample, Wh( π ) is a finitely generated group of rank r − q , where r is the numberof irreducible real representations of π , and q is the number of irreducible rationalrepresentations of π [76, Theorem 6.2]. This number r − q is usually positive (forexample, when π is finite cyclic, it vanishes only if | π | = 1 , , , , or 6). Bass andMurthy have even shown [8] that there are finitely generated abelian groups π forwhich Wh( π ) is not finitely generated.The last major ingredient for the classification of manifolds is the method of surgery . Surgery on an n -manifold M n means cutting out a neighborhood S k × D n − k of a k -sphere S k ֒ → M (with trivial normal bundle) and replacing it by Spheres have stably trivial tangent bundle and no interesting cohomology, so one’s first guessmight be that the theory of vector bundles and the signature theorem might be irrelevant tostudying homotopy spheres. Milnor, however, showed that one can construct lots of manifoldswith the homotopy type of a 7-sphere as unit sphere bundles in rank-4 vector bundles over S .He also showed that the signature of an 8-manifold bounded by such a manifold yields lots ofinformation about the homotopy sphere. OVIKOV’S CONJECTURE 3 D k +1 × S n − k − , which has the same boundary. This can be used to modify amanifold without changing its bordism class, and was first introduced by Milnor[74] and Wallace [116].With the help of all of these techniques, Browder [20, 21] and Novikov [80, 81] fi-nally introduced a general methodology for classifying manifolds in high dimensions.The method gave complete results for simply connected manifolds in dimensions ≥
5, and only partial information in dimensions 3 and 4, which have their ownpeculiarities we won’t discuss here. With the help of additional contributions bySullivan [110], Novikov [85], and above all, Wall [114], this method grew into whatwe know today as surgery theory , codified by Wall in his book [115], which originallyappeared in 1970. There are now fairly good expositions of the theory, for examplein Ranicki’s books [94, 93], in the book by Kreck and L¨uck [65], in the first half ofWeinberger’s book [118], and in Browder’s colloquium lectures from 1977 [22], sowe won’t attempt to compete by going into details, which anyway would take fartoo many pages. Instead we will just outline enough of the ideas to set the stagefor Novikov’s conjecture.As we indicated before, surgery theory addresses the uniqueness question formanifolds: given (closed and connected, say) manifolds M and M ′ of the samedimension n , when are they diffeomorphic (or homeomorphic)? It also addressesan existence question: given a connected topological space X (say a finite CWcomplex), when is it homotopy equivalent to a (closed) manifold?A few necessary conditions are evident from a first course in topology. If M and M ′ are diffeomorphic, then certainly they are homotopy equivalent, and sothey have the same fundamental group π . Furthermore, if a finite connected CWcomplex X has the homotopy type of a closed manifold, then it has to satisfyPoincar´e duality, even in the strong sense of (possibly twisted) Poincar´e dualityof the universal cover with coefficients in Z π . Homotopy equivalences preservehomology and cohomology groups and cup products, so an orientation-preservinghomotopy equivalence also preserves the signature (in dimensions divisible by 4when the signature is defined). However, these conditions are not nearly enough.For one thing, for a homotopy equivalence to be homotopic to a diffeomorphism(or even a homeomorphism), it has to be simple , i.e., to have vanishing torsion inWh( π ). Depending on the fundamental group π , this may or may not be a seriousrestriction.But the most serious conditions involve characteristic classes of the tangent bun-dle. Via a very ingenious argument using surgery theory and the Hirzebruch sig-nature theorem, Novikov [83, 82] showed that the rational Pontrjagin classes of thetangent bundle of a manifold are preserved under homeomorphisms. (Incidentally,Gromov [45, §
7] has given a totally different short argument for this.) The rationalPontrjagin classes do not have to be preserved under homotopy equivalences. So if ϕ : M → M ′ is a homotopy equivalence not preserving rational Pontrjagin classes,it cannot be homotopic to a homeomorphism.In the simply connected case, this is (modulo finite ambiguity) just about all:if M ′ → M is an orientation-preserving homotopy equivalence of closed (oriented)simply connected oriented manifolds, the rational Pontrjagin classes of M ′ have to The same does not hold for the torsion part of the Pontrjagin classes, as one can see fromcalculations with lens spaces [86, § JONATHAN ROSENBERG satisfy the constraint hL ( M ′ ) , [ M ′ ] i = sign( M ′ ) = sign( M ) imposed by the Hirze-bruch signature theorem, but otherwise they are effectively unconstrained (assum-ing the dimension of the manifold is at least 5). And if the map does preserverational Pontrjagin classes, then there are only finitely many possibilities for M ′ up to diffeomorphism.When M is not simply connected, the situation is appreciably more complicated.Suppose one wants to check if two n -manifolds M and M ′ are diffeomorphic. Aswe indicated before, that means we need to have a simple homotopy equivalence ϕ : M ′ → M . If ϕ were homotopic to a diffeomorphism, it would preserve the classesof the tangent bundles, so it’s convenient to assume that ϕ has been promoted toa normal map ϕ : ( M ′ , ν ′ ) → ( M, ν ). Here ν and ν ′ are the stable normal bundlesdefined via the Whitney embedding theorem: if k is large enough ( n + 1 suffices),then M and M ′ have embeddings into Euclidean space R n + k , and any two suchembeddings are isotopic, so the isomorphism class of the normal bundle ν or ν ′ forsuch an embedding is well defined. (Because of the Thom-Pontrjagin construction,it’s better to work with the normal bundle than with the tangent bundle, butthey contain the same information.) Being a normal map means that ϕ has beenextended to a bundle map from ν ′ to ν , which we can assume is an isomorphism ofbundles. The idea of trying to show that M and M ′ are diffeomorphic is to startwith a normal bordism from ϕ to id M , i.e., a manifold W n +1 with boundary M ⊔ M ′ and a map Φ : W → M × [0 ,
1] restricting to ϕ and to id M on the two boundarycomponents, and with a compatible map of bundles, and then to try to modify( W, Φ) by surgery to make it into an s -cobordism. Once this is accomplished, then M and M ′ are diffeomorphic by the s -cobordism theorem. It turns out that doingthe surgery is not difficult until one gets up to the middle dimension (if n + 1 iseven) or the “almost middle” dimension (cid:4) n +12 (cid:5) (if n + 1 is odd). At this pointa surgery obstruction appears, taking its value in a group L n +1 ( Z π ) constructedpurely algebraically out of quadratic forms on Z π . (Roughly speaking, the L -groupsare groups of stable equivalence classes of forms on finitely generated projective orfree Z π -modules, and the type of the form — symmetric, skew-symmetric, etc. —depends only on the value of n mod 4. The original construction may be foundin [115].) The existence problem (telling if one can find a manifold homotopyequivalent to a given finite complex with Poincar´e duality) works in a very similarway, just down in dimension by 1, and the surgery obstruction in that case takesits values in L n ( Z π ).Ultimately, the result of this surgery process is to prove that there is a surgeryexact sequence for computation of the structure set S ( M ), the set of (simple) homo-topy equivalences ϕ : M ′ → M , where M ′ is a smooth compact manifold, moduloequivalence. We say that two such maps ϕ : M ′ → M and ϕ ′ : M ′′ → M are A precise statement to this effect may be found in [31, Theorem 6.5]. It says for example that if M is closed simply connected manifold and dim M is not divisible by 4, then for any set of elements x j ∈ H j ( M, Q ), 1 ≤ j ≤ j dim M k , there is a positive integer R such that for any integer m , thereis a homotopy equivalence of manifolds ϕ m : M ′ m → M such that p j ( M ′ m ) = ϕ ∗ m (cid:0) p j ( M )+ m R x j (cid:1) . OVIKOV’S CONJECTURE 5 equivalent if there is a commuting diagram M ′ ϕ / / ∼ = " " ❉❉❉❉❉❉❉❉ MM ′′ ϕ ′ = = ④④④④④④④④ . The surgery exact sequence then takes the form(1) · · · α / / L n +1 ( Z π ) / / S ( M ) η / / N ( M ) α / / L n ( Z π ) . Here N ( M ) is the set of normal invariants , the normal bordism classes of all normalmaps ϕ : ( M ′ , ν ′ ) → ( M, ν ) (not necessarily homotopy equivalences as before) mod-ulo linear automorphisms of ν . This can also be identified with homotopy classesof maps from M into a classifying space called G/O . If one works instead in the PLor the topological category, the same sequence (1) is valid, but
G/O is replaced by
G/P L or G/ Top , which are easier to deal with , and in fact look a lot like BO , theclassifying space for real K -theory. The natural maps G/O → G/P L → G/ Top arerational homotopy equivalences. The map η : S ( M ) → N ( M ) sends a homotopyequivalence ϕ : M ′ → M to the associated normal data.The groups L • ( Z π ) are 4-periodic, and only depend on the fundamental groupand some “decorations” which we are suppressing here, which only affect the tor-sion. The map η : N ( M ) → L n ( Z π ) takes the bordism class of a normal map ϕ : ( M ′ , ν ′ ) → ( M, ν ) to its associated surgery obstruction . When this vanishes,exactness of (1) says we can lift ϕ to an element of S ( M ), or in other words, wecan do surgery to convert it to a homotopy equivalence. The dotted arrow from L n +1 ( Z π ) to S ( M ) signifies that the surgery group operates on S ( M ) (which isjust a pointed set, not a group) and that two elements of the structure set havethe same normal invariant if and only if they lie in the same orbit for the action of L n +1 ( Z π ).The exact sequence (1) is closely related to an algebraic surgery exact sequence (2) · · · → L n +1 ( Z π ) → S n ( M ) → H n ( M, L ( Z )) A −→ L n ( Z π )constructed in [92, 94], where the map A , called the assembly map , corresponds tolocal-to-global passage. We will come back to this later.For most groups π , the L -groups L • ( Z π ) are not easy to calculate, so a lot ofthe literature on surgery theory emphasizes things related to the exact sequence (1)which don’t rely on explicit calculation of all the groups. For example, sometimesone can compare two related surgery problems, or rely on other invariants, such as η - and ρ -invariants for finite groups. These (as well as direct calculation from (1))show that there are infinitely many manifolds with the homotopy type of RP k +3 , k ≥
1. In fact, it’s shown in [27] that in dimension 4 k + 3, k ≥
1, any closedmanifold M with torsion in its fundamental group has infinitely many distinctmanifolds simple homotopy-equivalent to it.Now we are ready to explain Novikov’s conjecture. For M an oriented closedmanifold, we can rewrite the Hirzebruch signature theorem as saying that for aclosed connected oriented manifold M , the 0-degree component of L ( M ) ∩ [ M ] in H ( M, Q ) ∼ = Q coincides with sign M , which is preserved by orientation-preservinghomotopy equivalences. The components of L ( M ) ∩ [ M ] in other degrees have no once the dimension is bigger than 4! JONATHAN ROSENBERG such invariance property, and knowing them is equivalent to knowing the rationalPontrjagin classes. However, Novikov discovered in [82] (see [31, Theorem 2.1 andits proof] for a simplified version of his argument) that if π ( M ) ∼ = Z , then thedegree-1 component of L ( M ) ∩ [ M ] is also an oriented homotopy invariant. Thistheorem is the simplest special case of Novikov’s conjecture. Definition 1.1.
Let M be a closed connected oriented manifold M , and let π bea countable discrete group (usually taken to be the fundamental group of M ). Let Bπ be a classifying space for π , a CW complex with contractible universal cover andfundamental group π , and let f : M → Bπ be a continuous map. (Up to homotopy,it’s determined by the induced homomorphism π ( M ) → π .) The associated highersignature of M is f ∗ ( L ( M ) ∩ [ M ]) ∈ H • ( Bπ, Q ). Conjecture 1.2 (Novikov’s Conjecture) . Any higher signature f ∗ ( L ( M ) ∩ [ M ]) ∈ H • ( Bπ, Q ) is always an oriented homotopy invariant.In other words, if M and M ′ are closed connected oriented manifoldsand if ϕ : M ′ → M is an orientation-preserving homotopy equivalenceand f : M → Bπ , then f ∗ ( L ( M ) ∩ [ M ]) = ( f ◦ ϕ ) ∗ ( L ( M ′ ) ∩ [ M ′ ]) ∈ H • ( Bπ, Q ) . The utility of the conjecture can be illustrated by an example.
Problem 1.3.
Classify smooth compact 5-manifolds homotopy equivalent to CP × S . (Note: the diffeomorphism classification of smooth 4-manifolds homotopyequivalent to CP is not known, since surgery breaks down in the smooth categoryin dimension 4. It is known by work of Freedman [41] that up to homeomorphism ,there are exactly two closed topological 4-manifolds homotopy equivalent to CP ,but for the “exotic” one, the product with S does not have a smooth structure.) Proof.
Suppose M is a smooth closed manifold of the homotopy type of CP × S .There is a smooth map f : M → S inducing an isomorphism on π , and we cantake this to be the map f : M → Bπ , π = Z , for the case of the conjecture proven byNovikov himself. So the conjecture implies that if K = f − (pt), the inverse imageof a regular value of f , then K has signature 1. This fixes the first Pontrjagin classof M . Furthermore, K being a smooth 4-manifold with signature 1, it is in thesame oriented bordism class as CP . From this we can get a normal bordism W between M (with its stable normal bundle ν ) and CP × S (with its stable normalbundle ξ ). We plug into the surgery machine and try to do surgery to convertthis to an h -cobordism (and thus automatically an s -cobordism, since Wh( Z ) = 0).The surgery obstruction lives in L ( Z [ Z ]). This group turns out to be Z / L ( Z ) ∼ = Z / M is diffeomorphic to CP × S . But note that the key ingredient inthe whole argument is the Novikov Conjecture, which pins down the first Pontrjaginclass. (cid:3) (cid:3) Methods of Proof
Work on the Novikov Conjecture began almost as soon as the conjecture wasformulated. Roughly speaking, methods fall into three different categories: topo-logical, analytic, and algebraic. The topological approach began with Novikov’sown work on the free abelian case of the conjecture, which we already mentioned
OVIKOV’S CONJECTURE 7 in the case π = Z , and which only uses transversality and basic homology theory.This method was generalized in work of Kasparov, Farrell-Hsiang, and Cappell[58, 33, 23], who used codimension-one splitting methods to deal with free abelianand poly- Z groups, and certain kinds of amalgamated free products.Subsequent topological approaches to the conjecture have been based on con-trolled topology (if you like, a blend of analysis and topology since it amounts totopology with δ - ε estimates) or on various methods in stable homotopy theory.There is a lot more in this area than we can possibly summarize here, but it isdiscussed in detail in [37], which includes a long bibliography.The analytic approach began with the important contribution of Lusztig [71].The key idea here is to realize the higher signature of Definition 1.1 as the indexof a family of elliptic operators, just as Atiyah and Singer [2, §
6] had reprovenHirzebruch’s signature theorem by realizing the signature as the index of a certainelliptic operator, now universally called the signature operator. (This is just theoperator d + d ∗ operating on differential forms, but with a grading on the formscoming from the Hodge ∗ -operator.) A major step forward from the work of Lusztigcame with the work of Mishchenko [77, 78] and Kasparov [62, 61, 57], who realizedthat one could generalize this construction by using “noncommutative” families ofelliptic operators, based on a C ∗ -algebra completion C ∗ ( π ) of the algebraic groupring C π . Underlying this method was the idea [78, 98] that because of the inclusions Z π ֒ → C π ֒ → C ∗ ( π ), there is a natural map L n ( Z π ) → L n ( C ∗ ( π )), and that becausethe spectral theorem enables one to diagonalize quadratic forms over a C ∗ -algebra,the L -groups and topological K -groups of a C ∗ -algebra essentially coincide. As wewill see in the next section, the analytic approach to the Novikov conjecture is theone that has attracted the most recent attention, though there is still plenty ofwork being done on topological and algebraic methods.Algebraic approaches to proving the Novikov conjecture depend on a finer under-standing of the surgery exact sequence (1) and the L -groups. For a homotopy equiv-alence of manifolds ϕ : M ′ → M , the difference ϕ ∗ ( L ( M ′ ) ∩ [ M ′ ]) − ( L ( M ) ∩ [ M ]) ∈ H • ( M, Q ) is basically η ([ M ′ → M ]) ⊗ Z Q in (1). The Novikov conjecture says thatthis should vanish when we apply f ∗ , f : M → Bπ . Since we could also apply (1)with M replaced by Bπ (at least if Bπ can be chosen to be a manifold — but thereis a way of getting around this), exactness in (1) shows that the Novikov Conjectureis equivalent to rational injectivity of the map α in (1), when we replace M by Bπ .More precisely, we need to make use an idea of Quinn [90], that the L -groupsare the homotopy groups of a spectrum: L n ( Z π ) = π n ( L • ( Z π ))and that the map α in the surgery exact sequence (1) comes from an assembly map which is the induced map on homotopy groups of a map of spectra A M : M + ∧ L • ( Z ) → L • ( Z π ) . This map factors (via f : M → Bπ ) through a similar map(3) A π : Bπ + ∧ L • ( Z ) → L • ( Z π ) . If A π in (3) induces a rational injection on homotopy groups, then the NovikovConjecture follows from exactness of (1). On the other hand, if A π is not rationallyinjective, then one can construct an M and a higher signature for it that is nothomotopy invariant. So the Novikov Conjecture is reduced to a statement which at JONATHAN ROSENBERG least in principle is purely algebraic, as Ranicki in [92, 94] gives a purely algebraicconstruction of the surgery spectra and of the map A π , leading to the exact sequence(2). Variations on a Theme
One of the most interesting features of the Novikov Conjecture is that it is closelyrelated to a number of other useful conjectures. Some of these are known to betrue, some are known to be false, and most are also unsolved. But even the onesthat are false are false for somewhat subtle reasons, and still carry some “elementof truth.” Here we mention a number of these related conjectures and somethingabout their status.
Conjecture 3.1 (Borel’s Conjecture) . Any two closed aspherical ( i.e.,having contractible universal covers ) manifolds M and M ′ with the samefundamental group are homeomorphic. In fact, any homotopy equiva-lence ϕ : M ′ → M of such manifolds is homotopic to a homeomorphism. This conjecture is known to have been posed informally by Armand Borel, beforethe formulation of Novikov’s Conjecture, and was motivated by the Mostow RigidityTheorem. It amounts to a kind of topological rigidity for aspherical manifolds. Notethat if M is aspherical with fundamental group π and n = dim M ≥
5, then wecan take M = Bπ , and Borel’s conjecture amounts to saying that in the surgerysequence (1) in the topological category, S ( M ) is just a single point, or by exactness,the assembly map A π is an equivalence. This implies the Novikov Conjecture for π , but is stronger.Incidentally, it is known now that the analogue of Borel’s Conjecture, but withhomeomorphism replaced by diffeomorphism, is false. The simplest counterexampleis with M = T , the 7-torus. Since a torus is parallelizable, Wall pointed out in[115, § T n compatible with the standardPL structure is parameterized by [ T n , P L/O ] (for n ≥ P L/O is 6-connected and that (for j ≥
7) its j -th homotopygroup can be identified with the group Θ j of smooth homotopy j -spheres. SinceΘ ∼ = Z /
28 by [73, 64], the differentiable structures on T are parameterized by[ T , P L/O ] ∼ = [ T , K (Θ , ∼ = H ( T , Θ ) ∼ = Z /
28 and there are 28 differentdifferentiable structures on T . A series of counterexamples with negative curvatureto the smooth Borel conjecture was constructed in [34, 35].The fundamental group π of an aspherical manifold M (even if noncompact)has to be torsion-free, since if g ∈ π has finite order k >
1, it would act freely onthe universal cover f M , and f M / h g i would be a finite-dimensional model for B Z /k ,contradicting the fact that Z /k has homology in all positive odd dimensions. SoConjecture 3.1 can’t apply to groups with torsion. In fact, the result of [27] showsthat for groups with torsion, A π in (3) is never an equivalence. We will come backto this shortly.However, we have already mentioned the role of the Whitehead group, whichcomes from the algebraic K -theory of Z π , in studying manifolds with fundamentalgroup π . An important conjecture which we have already mentioned is: It turns out that (2) coincides with the analogue of (1) in the topological, rather than smooth,category, but the difference between these is rather small since all homotopy groups of
Top /O aretorsion. The group operation is the connected sum; inversion comes from reversing the orientation.
OVIKOV’S CONJECTURE 9
Conjecture 3.2 (Vanishing of Whitehead Groups) . If π is torsion-free,then Wh( π ) = 0 . Note that if Conjecture 3.2 fails and π is the fundamental group of a closedmanifold M , then by the s -cobordism theorem, there is an h -cobordism W with ∂W = M ⊔ ( − M ′ ) which is not a product, and we have a homotopy equivalence M ′ → M which is not simple, hence Borel’s Conjecture, Conjecture 3.1, fails for M .More generally, one can ask what one can say about the algebraic K -theory of Z π in all degrees. Loday [68] constructed an assembly map Bπ + ∧ K ( Z ) → K ( Z π ),and this being an equivalence would say that all of the algebraic K -theory of Z π comes in some sense from homology of π and K -theory of Z . This is known insome cases — for π free abelian, it follows from the “Fundamental Theorem of K -theory.” The assembly map being an equivalence in degrees ≤ π and R = Z implies Conjecture 3.2. The analogue of Novikov’s Conjecturefor K -theory is Conjecture 3.3 (Novikov Conjecture for K -Theory) . Let R = Z , Q , R , or C and let π be a discrete group. Then the assembly map Bπ + ∧ K ( R ) → K ( Rπ ) induces an injection of rational homotopy groups. Conjecture 3.3 was proved (with R = Z , the most important case) for groups π with finitely generated homology in [16]. It was also proved (without rational-izing) in [25], when π is a discrete, cocompact, torsion-free discrete subgroup of aconnected Lie group. Subsequently, Carlsson and Pedersen [26] proved it (withoutrationalizing) for any group π for which there is a finite model for Bπ , such that theuniversal cover Eπ of Bπ admits a contractible metrizable π -equivariant compact-ification X such that compact subsets of Eπ become small near the “boundary” X r Eπ . This was recently improved [91] to the case where there is a finite modelfor Bπ and π has finite decomposition complexity, which is a tameness condition on π viewed as a metric space with the word length metric (for some finite generatingset).As we have already mentioned, for groups with torsion, the assembly map A π of (3) is never an equivalence. For similar reasons, one also can’t expect the K -theory assembly map to be an equivalence for groups with torsion. The correctreplacement seems to be the following. Conjecture 3.4 (Farrell-Jones Conjecture) . Let π be a discrete groupand let F be its family of virtually cyclic subgroups ( subgroups that con-tain a cyclic subgroup of finite index ) . Such subgroups are either finiteor else admit a surjection with finite kernel onto either Z or the infinitedihedral group ( Z / ∗ ( Z / . Let E F ( π ) denote the universal π -spacewith isotropy in F . This is a contractible π -CW-complex X with allisotropy groups in F ( for the π -action ) and with X H contractible foreach H ∈ F . It is known to be uniquely defined up to π -homotopyequivalence. Then the assembly maps (4) H π • ( E F ( π ); L ( Z )) → L ( Z π ) and H π • ( E F ( π ); K ( R )) → K ( Rπ ) are isomorphisms for R = Z , Q , R , or C . Just for the experts: one needs to use the −∞ decoration on the L -spectra here. When π is torsion-free, (4) is just the assembly map (3) or its K -theory ver-sion, and the conjecture says that the assembly map is an equivalence. Conjecture3.4 implies Conjectures 3.1, 1.2, and 3.3, even for groups with torsion, as well asConjecture 3.2. More details on Conjecture 3.4 may be found in [69], in [65, Ch.19–24], or in [70]. The K -theory version of the conjecture has been proven in [7]for fundamental groups of manifolds of negative curvature and in [6] for hyperbolicgroups, and both the K -theory and L -theory versions have been proven for cer-tain groups acting on trees in [5, 106] and for cocompact lattice subgroups of Liegroups in [4]. Rational injectivity of (4) holds under much weaker conditions; seefor example [30].Another variation on the Novikov Conjecture is to consider the situation where afinite group G acts on a manifold, and one wants to study G -equivariant invariantsof M . Under suitable circumstances, one finds that the fundamental group of M leads to a certain extra amount of equivariant topological rigidity. To formulatethe analogue of Conjecture 1.2, one needs a substitute for the homology L -class L ( M ) ∩ [ M ]. The easiest way to formulate this is in K -homology, since Kasparov[59, 60], following ideas of Atiyah and Singer, showed that an elliptic differentialoperator D on M naturally leads to a K -homology class [ D ] ∈ K • ( M ) (see also [50]for an exposition), and when D is G -invariant, the class naturally lives in K G • ( M ).The image of [ D ] in K G • (pt) = R ( G ) under the map induced by M → pt is theequivariant index ind G D ∈ R ( G ) in the sense of Atiyah and Singer. When D isthe signature operator, L ( M ) ∩ [ M ] is basically (except for some powers of 2, notimportant here) the Chern character of [ D ] ∈ K • ( M ), and so if f : M → Bπ , thehigher signature of Definition 1.1, is basically the Chern character of f ∗ ([ D ]). Thatmotivates the following. Conjecture 3.5 (Equivariant Novikov Conjecture [104]) . Let M be aclosed oriented manifold admitting an action of a finite group G , andsuppose f : M → X is a G -equivariant smooth map to a finite G -CWcomplex which is G -equivariantly aspherical ( i.e., X H is aspherical forall subgroups H of G ) . Let ϕ : M ′ → M be a G -equivariant map ofclosed G -manifolds which, non-equivariantly, is a homotopy equivalence.Then if [ D M ] and [ D M ′ ] denote the equivariant K -homology classes ofthe signature operators on M and M ′ , respectively, f ∗ ([ D M ]) = ( f ◦ ϕ ) ∗ ([ D M ′ ]) ∈ K G • ( X ) . Various generalizations and applications to rigidity theorems are possible (see forexample [36, 103]), but we won’t go into details here. Conjecture 3.4 was provenin [104] for X is a closed manifold of nonpositive curvature and in [43] for X aEuclidean building, in both cases with G acting by isometries.4. New Directions
The conjectures we discussed in Section 3 are fairly directly linked to the originalNovikov Conjecture, and it is easy to see how they are connected with topologicalrigidity of highly connected manifolds. But in this section, we will discuss a numberof other conjectures which grew out of work on Novikov’s Conjecture but whichgo somewhat further afield, to the point where the connection with the originalconjecture may not be immediately obvious. However, we will try to explain therelationships as we go along.
OVIKOV’S CONJECTURE 11
We have already mentioned the assembly map and the Farrell-Jones Conjecture(Conjecture 3.4), which gives a conjectural calculation of the L -groups L • ( Z π ) fora discrete group π . However, work on Novikov’s Conjecture by analytic techniques(see Section 2) already required passing from the integral group ring to the complexgroup ring (this only affects 2-torsion in the L -groups) and then completing C π toa C ∗ -algebra. For C ∗ -algebras, L -theory is basically the same as topological K -theory, and even for real C ∗ -algebras, they agree after inverting 2 [98, Theorem1.11]. So it’s natural to ask if assembly can be used to compute the topological K -theory of C ∗ ( π ). For the full group C ∗ -algebra this seems to be impossible,but for the reduced group C ∗ -algebra C ∗ r ( π ), the completion of C π for its actionon L ( π ), there is a good guess for a purely topological calculation of K • ( C ∗ r ( π )).(Here K • denotes topological K -theory for Banach algebras, which satisfies Bottperiodicity. This is much more closely related to L -theory, which is 4-periodic,than is algebraic K -theory in the sense of Quillen.) This guess is given by the Baum-Connes Conjecture , originally formulated in [10, 9] and further refined in[11]. (See also [47] for a nice quick survey.) The conjecture applies to far morethan just discrete groups; it applies to locally compact groups, to such groups“with coefficients” (i.e., acting on a C ∗ -algebra), and even to groupoids [112]. Inits greatest generality the conjecture is known to be false [48], though a patchwhich might repair it has been proposed [13]. However, the original version of theconjecture is still open, though the literature on the conjecture has grown to morethan 300 items. To avoid having to talk about Kasparov’s KK -theory, we willomit discussion of the conjecture with coefficients, and will just stick to the originalconjecture for groups. Conjecture 4.1 (Baum-Connes Conjecture) . Let G be a second count-able locally compact group, and let C ∗ r ( G ) denote the completion of L ( G ) for its action by left convolution on L ( G ) . Then there is anatural assembly map µ : K G • ( E G ) → K • ( C ∗ r ( G )) , where E G is the universal proper G -space ( a contractible space on which G acts properly ) , and this map is an isomorphism. If G has no non-trivial compact subgroups, then the assembly map simplifies to µ : K • ( BG ) → K • ( C ∗ r ( G )) . Proposition 4.2.
Conjecture 4.1 implies Conjecture 1.2.Proof.
For this we take G = π to be discrete and countable. For simplicity, wealso work with the periodic L -theory spectra instead of the connective ones. (Thedifference only affects the bottom of the surgery sequence (1).) If π is torsion-free, the domain of µ is K • ( Bπ ) = H • ( Bπ ; K top ). But after inverting 2, K top isjust a direct sum of two copies of L ( Z ), one of them shifted in degree by 2. So if It is known that the natural map C ∗ ( π ) ։ C ∗ r ( π ) is an isomorphism if and only if π isamenable. Conjecture 4.1 holds for π and π is torsion-free, we have the commuting diagram(5) H • ( Bπ ; L ( Z )) ⊗ Q A π / / (cid:127) _ (cid:15) (cid:15) L • ( Z π ) ⊗ Q (cid:15) (cid:15) L • ( C ∗ r ( π )) ⊗ Q ∼ = (cid:15) (cid:15) H • ( Bπ ; K top ) ⊗ Q ∼ = µ / / K • ( C ∗ r ( π )) ⊗ Q . Diagram (5) immediately implies that the rational L -theory assembly map A π (thesame map as the map induced on rational homotopy groups by (3)) is injective.If π is not torsion-free, then E π and Eπ are not the same, but there is alwaysa π -equivariant map Eπ → E π . Thus we need only replace (5) by the diagram(6) H • ( Bπ ; L ( Z )) ⊗ Q / / (cid:127) _ (cid:15) (cid:15) A π , , H π • ( E π ; L ( Z )) ⊗ Q / / (cid:127) _ (cid:15) (cid:15) L • ( Z π ) ⊗ Q (cid:15) (cid:15) L • ( C ∗ r ( π )) ⊗ Q ∼ = (cid:15) (cid:15) H • ( Bπ ; K top ) ⊗ Q α / / H π • ( E π ; K top ) ⊗ Q ∼ = µ / / K • ( C ∗ r ( π )) ⊗ Q . Since points in E π have finite isotropy, and since the π -map π ։ π/σ , σ a finitesubgroup of π , induces the map Z ֒ → R ( σ ) on equivariant K -homology, a spectralsequence argument shows that the bottom left map α in (6) is injective, and so bya diagram chase, A π is injective. (cid:3) (cid:3) Thus Conjecture 4.1 (for the case of discrete groups) implies Conjecture 1.2.However, Conjecture 4.1 for non-discrete groups is also quite interesting and im-portant. There are two main reasons for this:(1) There are “change of group methods” that enable one to pass from re-sults for a group to results for a closed subgroup. Many of the significantearly results on Novikov’s Conjecture were proved by considering discretegroups π that embed in a Lie group (or p -adic Lie group) and then usingthese change of group methods to pass from the Lie group to the discretesubgroup.(2) The Baum-Connes Conjecture for connected Lie groups (also known as theConnes-Kasparov Conjecture) and the same conjecture for p -adic groups areboth quite interesting in their own right, and say a lot about representationtheory. For an introduction to this topic, see [11, 47]. For some of the moresignificant results, see [117, 66, 14, 109]. For recent applications to harmonicanalysis on reductive groups, see [89, 72, 3, 101].Another direction arising out of both the controlled topology and the analyticapproaches to Novikov’s Conjecture leads to the so-called coarse Baum-ConnesConjecture [95, 119, 49]. This conjecture deals with the large-scale geometry ofmetric spaces X of bounded geometry (think of complete Riemannian manifolds In the extreme case where π is a torsion group, E π = pt, while if π is nontrivial, Eπ isnecessarily infinite dimensional. OVIKOV’S CONJECTURE 13 with curvature bounds, or of finitely generated groups with a word-length metric).Roughly speaking, the coarse Novikov Conjecture says that indices of generalizedelliptic operators capture all of the coarse (i.e., “large-scale”) rational homology ofsuch a space X . Conjecture 4.3 (Coarse Baum-Connes and Novikov) . Let X be a uni-formly contractible locally compact complete metric space of boundedgeometry, in which all metric balls are compact. Let KX • ( X ) be thecoarse K -homology of X ( the direct limit of the K -homologies of suc-cessively coarser Rips complexes ) and let C ∗ ( X ) be the C ∗ -algebra oflocally compact, finite propagation operators on X . Then Roe defined anatural assembly map (7) µ : KX • ( X ) → K ∗ ( C ∗ ( X )) . The coarse Baum-Connes Conjecture is that µ is an isomorphism; thecoarse Novikov Conjecture is that µ is rationally injective. Positive results on Conjecture 4.3 may be found in [95, 119, 49, 28, 29, 113, 40,42].However, it is known that the conjecture fails in various situations [32, 120, 48],especially if one drops the bounded geometry assumption.The coarse Baum-Connes conjecture implies the Novikov conjecture under mildconditions. To see this, suppose for example that there is a compact metrizablemodel Y for Bπ , and let X = Eπ be its universal covering. Then there is acommutative diagram K ∗ ( Bπ ) α / / tr ∼ = (cid:15) (cid:15) K ∗ ( C ∗ r ( π )) tr (cid:15) (cid:15) π ∗ ( K X ∗ ( X ) hπ ) µ hπ / / π ∗ ( K ∗ ( C ∗ ( X )) hπ ) , where α is usual Baum-Connes assembly, µ is as in Conjecture 4.3, hπ denoteshomotopy fixed points, and tr is a transfer map. Then µ being an isomorphismimplies that µ hπ is an isomorphism, and so we get a splitting for α . Refinementsof this argument, as well as generalizations of the coarse Baum-Connes conjecture,may be found in [79].Thinking of C ∗ r ( π ) as being (up to Morita equivalence) the same thing as thefixed points of π on C ∗ ( X ) also gives rise to a nice way of relating the surgery exactsequence (4.3) to the Baum-Connes assembly map. This was accomplished in theseries of papers [51, 52, 53, 88], which set up a natural transformation from thesurgery sequence to a long exact sequence where the C ∗ -algebraic assembly mapcorresponds to the L -theory assembly map in the original sequence. This gives aneven more direct connection between coarse Baum-Connes and surgery theory.Other “new directions” from Novikov’s Conjecture arise from replacing the highersignature of Definition 1.1 with other sorts of “higher indices.” For example, animportant case is obtained by replacing L ( M ) with b A ( M ), the total b A class. Thisis again a certain polynomial in the rational Pontrjagin class, and has the prop-erty that when M is a spin manifold, b A ( M ) ∩ [ M ] is the Chern character of theclass [ D ] defined by the Dirac operator on M . (Here the reader doesn’t need toknow much about the Dirac operator D except for the fact that it’s an ellipticfirst-order differential operator canonically defined on a Riemannian manifold with a spin structure.) It was pointed out by Lichnerowicz [67] that when M is closedand has positive scalar curvature, then the spectrum of D must be bounded awayfrom 0, and thus ind( D ) = h b A ( M ) , [ M ] i has to vanish. When M is not simplyconnected, a major strengthening of this is possible: Conjecture 4.4 (Gromov-Lawson Conjecture [46]) . Let M be a con-nected closed spin Riemannian manifold of positive scalar curvature, let π be a discrete group, and let f : M → Bπ be a continuous map ( de-termined up to homotopy by a homomorphism π ( M ) → π ) . Then thehigher b A -genus f ∗ ( b A ( M ) ∩ [ M ]) ∈ H • ( Bπ, Q ) vanishes. This conjecture is still open in general, but it is known to be closely related toNovikov’s Conjecture. For example, it was shown in [96] that Conjecture 4.4 is truewhenever the K -theory assembly map K • ( Bπ ) → K • ( C ∗ r ( π )) is rationally injective,and thus a fortiori whenever Conjecture 4.1 holds. It also can be deduced fromcertain cases of Conjecture 4.3, by a descent argument similar to the one above.The Lichnerowicz argument also applies to complete noncompact spin manifolds M of uniformly positive scalar curvature, and when Conjecture 4.3 holds, one getsobstructions to existence of such metrics living in K • ( C ∗ ( X )) whenever there is acoarse map M → X .Conjecture 4.4 can be refined to conjectures about necessary and sufficient con-ditions for positive scalar curvature. Here we just mention a few of several possibleversions. For these it’s necessary to go beyond ordinary homology and to consider KO -homology, the homology theory dual to the (topological) K -theory of real vec-tor bundles. This theory is 8-periodic and has coefficient groups KO j = Z when j isdivisible by 4 (this part is detected by the Chern character to ordinary homology), Z / j ≡ , D ] of the Dirac operator ona spin manifold M lives in KO n ( M ), n = dim( M ). While the actual operator D depends on a choice of a Riemannian metric, the class [ D ] ∈ KO n ( M ) does not, sothat the following conjecture makes sense. Conjecture 4.5 (Gromov-Lawson-Rosenberg Conjecture) . Let M be aconnected closed spin manifold with fundamental group π and Dirac op-erator D M , and let f : M → Bπ be the classifying map for the universalcover. Let A : KO • ( Bπ ) → KO • ( C ∗ r ( π )) be the assembly map in real K -theory. Then M admits a Riemannian metric of positive scalar cur-vature if and only if A ◦ f ∗ ([ D M ]) = 0 in KO n ( C ∗ r ( π )) , n = dim M ≥ . The restriction to n ≥ A ◦ f ∗ ([ D M ]) = 0, which was proven in [97]. For the next conjecture, we need tointroduce a choice of Bott manifold , a geometric representative for Bott periodicityin KO -homology. This is a simply connected closed spin manifold Bt of dimension8 with h b A (Bt ) , [Bt ] i = 1. It may be chosen to be Ricci flat. OVIKOV’S CONJECTURE 15
Conjecture 4.6 (Stable Gromov-Lawson-Rosenberg Conjecture) . Let M be a connected closed spin manifold with fundamental group π andDirac operator D M , and let f : M → Bπ be the classifying map for theuniversal cover. Let Bt be a Bott manifold as above. Then M stably admits a Riemannian metric of positive scalar curvature, in the sensethat M × k z }| { Bt × · · · × Bt admits such a metric for some k , if and onlyif A ◦ f ∗ ([ D M ]) = 0 in KO n ( C ∗ r ( π )) , n = dim M . There are simple implicationsConj. 4.5 ⇒ Conj. 4.6 , Conj. 4.6 + injectivity of A ⇒ Conj. 4.4 . The (very strong) Conjecture 4.5 is known to hold for especially nice groups, such asfree abelian groups [97], hyperbolic groups of low dimension [55], and finite groupswith periodic cohomology [18], but it fails in general [55, 107]. Conjecture 4.6 isweaker, and holds for all the known counterexamples to Conjecture 4.5. It wasformulated and proven for finite groups in [102]. Subsequently, Stolz [unpublished]showed that it follows from the Baum-Connes Conjecture, Conjecture 4.1. For asurvey on this entire field, see [99].The last “new direction” we would like to discuss here comes from replacing thehigher signature in Novikov’s Conjecture by the higher Todd genus or the higherelliptic genus. This seems to be quite relevant for understanding the interactionbetween topological invariants and algebraic geometry invariants for algebraic va-rieties defined over C .The Todd class T ( M ) is still another polynomial in characteristic classes, thistime the rational Chern classes of a complex (or almost complex) manifold. Supposefor simplicity that M is a smooth projective variety over C , viewed as a complexmanifold via an embedding into some complex projective space. The HirzebruchRiemann-Roch Theorem then says that(8) hT ( M ) , [ M ] i = χ ( M, O M ) = n X j =0 ( − j dim H j ( M, O M ) , where O M is the structure sheaf of M , the sheaf of germs of holomorphic functions,and n is the complex dimension of M . The right-hand side of (8) is called the arithmetic genus . (The original definition of the latter by algebraic geometers likeSeveri turned out to be ( − n ( χ ( M, O M ) − Todd genus , and is knownto be a birational invariant. Once again, if one has a map f : M → Bπ , then wecan define the associated higher Todd genus as f ∗ ( T ( M ) ∩ [ M ]) ∈ H • ( Bπ, Q ). Recall that two varieties are said to be birationally equivalent if there are rational mapsbetween them which are inverses of each. Since rational maps do not have to be everywheredefined (this is why we denote rational maps below by dotted lines), two varieties are birationallyequivalent if and only if they have Zariski-open subsets which are isomorphic as varieties.
Conjecture 4.7 (Algebraic Geometry Novikov Conjecture [100]) . Let M be a smooth complex projective variety, and let f : M → Bπ be acontinuous map ( for the topology of M as a complex manifold ) . Let M ′ ϕ / / M be a birational map. Then the corresponding higher Toddgenera agree, i.e., f ∗ ( T ( M ) ∩ [ M ]) = ( f ◦ ϕ ) ∗ ( T ( M ′ ) ∩ [ M ′ ]) ∈ H • ( Bπ, Q ) . Note the obvious similarity with Conjecture 1.2. However, unlike Novikov’soriginal conjecture, this statement is actually a theorem [15, 19]. That follows fromthe fact that if M ′ ϕ / / M is a birational map, then ϕ ∗ ([ D M ′ ]) = [ D M ] ∈ K ( M ),where [ D M ] denotes the K -homology class of the Dolbeault operator, whose Cherncharacter is T ( M ) ∩ [ M ]. The corresponding statement for the signature operatoris not true; a homotopy equivalence does not have to preserve the class of thesignature operator. (However, the mod 8 reduction of this class is preserved [105].)However, there is another similarity with Novikov’s Conjecture which is pointedout in [100]. By [111, Th´eor`eme IV.17], Ω • , the graded ring of cobordism classesof oriented manifolds, is, after tensoring with Q , a polynomial ring in the classes ofthe complex projective spaces CP k , k ∈ N . Then if I • is the ideal in Ω • generatedby all [ M ] − [ M ′ ] with M and M ′ homotopy equivalent (in a way preserving orienta-tion), Kahn [56] proved that Ω • /I • ∼ = Q , with the quotient map identified with theHirzebruch signature. Similarly, Ω U • , the graded ring of cobordism classes of almostcomplex manifolds, is, after tensoring with Q , a polynomial ring in the classes ofall complex projective spaces, and the quotient of Ω U • by the ideal generated by all[ M ] − [ M ′ ] with M and M ′ birationally equivalent smooth projective varieties isagain Q , this time with the quotient map identifiable with the Todd genus.These results effectively say that, up to multiples, the signature is the onlyhomotopy-invariant genus on oriented manifolds, and the arithmetic genus is theonly birationally invariant genus on smooth projective varieties. But if one considersmanifolds with large fundamental group, the situation changes. By [100, Theorem4.1], a linear functional on Ω • ( Bπ ) ⊗ Q that is an oriented homotopy invariant mustcome from the higher signature, and by [100, Theorem 4.3], a linear functional onΩ U • ( Bπ ) ⊗ Q that is a birational invariant must (under a certain technical conditionsatisfied in many cases) come from the higher Todd genus.Finally, the papers [44, 17, 24] consider still more analogues of higher genera withthe Todd genus replaced by the elliptic genus. The result of [17] is particularly nice;it is the exact analogue of Conjecture 4.7, but with the Todd genus replaced bythe elliptic genus and with birational equivalence replaced by K -equivalence (abirational equivalence preserving canonical bundles). References [1] Abramovich, D., Karu, K., Matsuki, K., W lodarczyk, J.: Torification and factorization ofbirational maps. J. Amer. Math. Soc. (3), 531–572 (electronic) (2002). DOI 10.1090/S0894-0347-02-00396-X It takes a bit of work to make sense of ϕ ∗ here, since ϕ may not be everywhere defined,but this can be done. The point is that by the factorization theorem for birational maps [1],we can factor ϕ into a sequence of blow-ups and blow-downs, and ϕ ∗ is clearly defined for ablow-down (since it is a continuous map) and is an isomorphism in this case by the Baum-Fulton-MacPherson variant of Grothendieck-Riemann-Roch [12]. In the case of a blow-up, let ϕ ∗ be givenby the inverse of the map induced by the reverse blow-down. OVIKOV’S CONJECTURE 17 [2] Atiyah, M.F., Singer, I.M.: The index of elliptic operators. III. Ann. of Math. (2) ,546–604 (1968)[3] Aubert, A.M., Baum, P., Plymen, R., Solleveld, M.: On the local Langlands correspondencefor non-tempered representations. M¨unster J. Math. , 27–50 (2014)[4] Bartels, A., Farrell, F.T., L¨uck, W.: The Farrell-Jones conjecture for cocompact lattices invirtually connected Lie groups. J. Amer. Math. Soc. (2), 339–388 (2014). DOI 10.1090/S0894-0347-2014-00782-7[5] Bartels, A., L¨uck, W.: Isomorphism conjecture for homotopy K -theory and groups actingon trees. J. Pure Appl. Algebra (3), 660–696 (2006). DOI 10.1016/j.jpaa.2005.07.020[6] Bartels, A., L¨uck, W., Reich, H.: The K -theoretic Farrell-Jones conjecture for hyperbolicgroups. Invent. Math. (1), 29–70 (2008). DOI 10.1007/s00222-007-0093-7[7] Bartels, A., Reich, H.: On the Farrell-Jones conjecture for higher algebraic K -theory. J.Amer. Math. Soc. (3), 501–545 (2005). DOI 10.1090/S0894-0347-05-00482-0[8] Bass, H., Murthy, M.P.: Grothendieck groups and Picard groups of abelian group rings.Ann. of Math. (2) , 16–73 (1967)[9] Baum, P., Connes, A.: Chern character for discrete groups. In: A fˆete of topology, pp.163–232. Academic Press, Boston, MA (1988). DOI 10.1016/B978-0-12-480440-1.50015-0[10] Baum, P., Connes, A.: Geometric K -theory for Lie groups and foliations. Enseign. Math.(2) (1-2), 3–42 (2000)[11] Baum, P., Connes, A., Higson, N.: Classifying space for proper actions and K -theory ofgroup C ∗ -algebras. In: C ∗ -algebras: 1943–1993 (San Antonio, TX, 1993), Contemp. Math. ,vol. 167, pp. 240–291. Amer. Math. Soc., Providence, RI (1994). DOI 10.1090/conm/167/1292018[12] Baum, P., Fulton, W., MacPherson, R.: Riemann-Roch and topological K theory for singu-lar varieties. Acta Math. (3-4), 155–192 (1979). DOI 10.1007/BF02392091[13] Baum, P., Guentner, E., Willett, R.: Expanders, exact crossed products, and the Baum-Connes conjecture. Ann. of K-Theory (2016). URL http://arxiv.org/abs/1311.2343 . Toappear[14] Baum, P., Higson, N., Plymen, R.: A proof of the Baum-Connes conjecture for p -adic GL( n ).C. R. Acad. Sci. Paris S´er. I Math. (2), 171–176 (1997). DOI 10.1016/S0764-4442(97)84594-6[15] Block, J., Weinberger, S.: Higher Todd classes and holomorphic group actions. Pure Appl.Math. Q. (4, Special Issue: In honor of Robert D. MacPherson. Part 2), 1237–1253 (2006).DOI 10.4310/PAMQ.2006.v2.n4.a13[16] B¨okstedt, M., Hsiang, W.C., Madsen, I.: The cyclotomic trace and algebraic K -theory ofspaces. Invent. Math. (3), 465–539 (1993). DOI 10.1007/BF01231296[17] Borisov, L., Libgober, A.: Higher elliptic genera. Math. Res. Lett. (3), 511–520 (2008).DOI 10.4310/MRL.2008.v15.n3.a10[18] Botvinnik, B., Gilkey, P., Stolz, S.: The Gromov-Lawson-Rosenberg conjecture forgroups with periodic cohomology. J. Differential Geom. (3), 374–405 (1997). URL http://projecteuclid.org/euclid.jdg/1214459973 [19] Brasselet, J.P., Sch¨urmann, J., Yokura, S.: Hirzebruch classes and motivic Chern classes forsingular spaces. J. Topol. Anal. (1), 1–55 (2010). DOI 10.1142/S1793525310000239[20] Browder, W.: Poincar´e spaces, their normal fibrations and surgery. Invent. Math. , 191–202 (1972)[21] Browder, W.: Surgery on simply-connected manifolds. Springer-Verlag, New York-Heidelberg (1972). Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 65[22] Browder, W.: Differential topology of higher-dimensional manifolds. In: Surveys on surgerytheory, Vol. 1, Ann. of Math. Stud. , vol. 145, pp. 41–71. Princeton Univ. Press, Princeton,NJ (2000)[23] Cappell, S.E.: On homotopy invariance of higher signatures. Invent. Math. (2), 171–179(1976)[24] Cappell, S.E., Libgober, A., Maxim, L.G., Shaneson, J.L.: Hodge genera of algebraic vari-eties. II. Math. Ann. (4), 925–972 (2009). DOI 10.1007/s00208-009-0389-6[25] Carlsson, G.: Bounded K -theory and the assembly map in algebraic K -theory. In: Novikovconjectures, index theorems and rigidity, Vol. 2 (Oberwolfach, 1993), London Math. Soc.Lecture Note Ser. , vol. 227, pp. 5–127. Cambridge Univ. Press, Cambridge (1995). DOI10.1017/CBO9780511629365.004 [26] Carlsson, G., Pedersen, E.K.: Controlled algebra and the Novikov conjectures for K - and L -theory. Topology (3), 731–758 (1995). DOI 10.1016/0040-9383(94)00033-H[27] Chang, S., Weinberger, S.: On invariants of Hirzebruch and Cheeger-Gromov. Geom. Topol. , 311–319 (electronic) (2003). DOI 10.2140/gt.2003.7.311[28] Chen, X., Wang, Q., Yu, G.: The maximal coarse Baum-Connes conjecture for spaces whichadmit a fibred coarse embedding into Hilbert space. Adv. Math. , 88–130 (2013). DOI10.1016/j.aim.2013.09.003[29] Chen, X., Wang, Q., Yu, G.: The coarse Novikov conjecture and Banach spaces with Prop-erty (H). J. Funct. Anal. (9), 2754–2786 (2015). DOI 10.1016/j.jfa.2015.02.001[30] Corti˜nas, G., Tartaglia, G.: Trace class operators, regulators, and as-sembly maps in K -theory. Doc. Math. , 439–456 (2014). URL [31] Davis, J.F.: Manifold aspects of the Novikov conjecture. In: Surveys on surgery theory, Vol.1, Ann. of Math. Stud. , vol. 145, pp. 195–224. Princeton Univ. Press, Princeton, NJ (2000)[32] Dranishnikov, A.N., Ferry, S.C., Weinberger, S.: Large Riemannian manifolds which areflexible. Ann. of Math. (2) (3), 919–938 (2003). DOI 10.4007/annals.2003.157.919[33] Farrell, F.T., Hsiang, W.C.: Manifolds with π = G × α T . Amer. J. Math. , 813–848(1973)[34] Farrell, F.T., Jones, L.E.: Negatively curved manifolds with exotic smooth structures. J.Amer. Math. Soc. (4), 899–908 (1989). DOI 10.2307/1990898[35] Farrell, F.T., Jones, L.E.: Exotic smoothings of hyperbolic manifolds which do not supportpinched negative curvature. Proc. Amer. Math. Soc. (2), 627–630 (1994). DOI 10.2307/2160446[36] Ferry, S., Rosenberg, J., Weinberger, S.: Ph´enom`enes de rigidit´e topologique ´equivariante.C. R. Acad. Sci. Paris S´er. I Math. (19), 777–782 (1988)[37] Ferry, S.C., Ranicki, A., Rosenberg, J.: A history and survey of the Novikov conjecture.In: Novikov conjectures, index theorems and rigidity, Vol. 1 (Oberwolfach, 1993), LondonMath. Soc. Lecture Note Ser. , vol. 226, pp. 7–66. Cambridge Univ. Press, Cambridge (1995).DOI 10.1017/CBO9780511662676.003[38] Ferry, S.C., Ranicki, A., Rosenberg, J. (eds.): Novikov conjectures, index theorems andrigidity. Vol. 1,
London Mathematical Society Lecture Note Series , vol. 226. CambridgeUniversity Press, Cambridge (1995). Including papers from the conference held at the Math-ematisches Forschungsinstitut Oberwolfach, Oberwolfach, September 6–10, 1993[39] Ferry, S.C., Ranicki, A., Rosenberg, J. (eds.): Novikov conjectures, index theorems andrigidity. Vol. 2,
London Mathematical Society Lecture Note Series , vol. 227. CambridgeUniversity Press, Cambridge (1995). Including papers from the conference held at the Math-ematisches Forschungsinstitut Oberwolfach, Oberwolfach, September 6–10, 1993[40] Finn-Sell, M.: Fibred coarse embeddings, a-T-menability and the coarse analogue of theNovikov conjecture. J. Funct. Anal. (10), 3758–3782 (2014). DOI 10.1016/j.jfa.2014.09.012[41] Freedman, M.H.: The topology of four-dimensional manifolds. J. Differential Geom. (3),357–453 (1982). URL http://projecteuclid.org/euclid.jdg/1214437136 [42] Fukaya, T., Oguni, S.i.: Coronae of product spaces and the coarse Baum–Connes conjecture.Adv. Math. , 201–233 (2015). DOI 10.1016/j.aim.2015.01.022[43] Gong, D.: Equivariant Novikov conjecture for groups acting on Euclidean buildings. Trans.Amer. Math. Soc. (6), 2141–2183 (1998). DOI 10.1090/S0002-9947-98-01990-4[44] Gong, D., Liu, K.: Rigidity of higher elliptic genera. Ann. Global Anal. Geom. (3), 219–236 (1996). DOI 10.1007/BF00054471[45] Gromov, M.: Positive curvature, macroscopic dimension, spectral gaps and higher signa-tures. In: Functional analysis on the eve of the 21st century, Vol. II (New Brunswick, NJ,1993), Progr. Math. , vol. 132, pp. 1–213. Birkh¨auser Boston, Boston, MA (1996). DOI10.1007/s10107-010-0354-x[46] Gromov, M., Lawson Jr., H.B.: Positive scalar curvature and the Dirac operator on completeRiemannian manifolds. Inst. Hautes ´Etudes Sci. Publ. Math. , 83–196 (1984) (1983). URL [47] Higson, N.: The Baum-Connes conjecture. In: Proceedings of the International Congress ofMathematicians, Vol. II (Berlin, 1998), Extra Vol. II, pp. 637–646 (electronic) (1998). URL OVIKOV’S CONJECTURE 19 [48] Higson, N., Lafforgue, V., Skandalis, G.: Counterexamples to the Baum-Connes conjecture.Geom. Funct. Anal. (2), 330–354 (2002). DOI 10.1007/s00039-002-8249-5[49] Higson, N., Roe, J.: On the coarse Baum-Connes conjecture. In: Novikov conjectures,index theorems and rigidity, Vol. 2 (Oberwolfach, 1993), London Math. Soc. LectureNote Ser. , vol. 227, pp. 227–254. Cambridge Univ. Press, Cambridge (1995). DOI10.1017/CBO9780511629365.008[50] Higson, N., Roe, J.: Analytic K -homology. Oxford Mathematical Monographs. Oxford Uni-versity Press, Oxford (2000). Oxford Science Publications[51] Higson, N., Roe, J.: Mapping surgery to analysis. I. Analytic signatures. K -Theory (4),277–299 (2005). DOI 10.1007/s10977-005-1561-8[52] Higson, N., Roe, J.: Mapping surgery to analysis. II. Geometric signatures. K -Theory (4),301–324 (2005). DOI 10.1007/s10977-005-1559-2[53] Higson, N., Roe, J.: Mapping surgery to analysis. III. Exact sequences. K -Theory (4),325–346 (2005). DOI 10.1007/s10977-005-1554-7[54] Hirzebruch, F.: The signature theorem: reminiscences and recreation. In: Prospects inmathematics (Proc. Sympos., Princeton Univ., Princeton, N.J., 1970), pp. 3–31. Ann. ofMath. Studies, No. 70. Princeton Univ. Press, Princeton, N.J. (1971)[55] Joachim, M., Schick, T.: Positive and negative results concerning the Gromov-Lawson-Rosenberg conjecture. In: Geometry and topology: Aarhus (1998), Contemp. Math. , vol.258, pp. 213–226. Amer. Math. Soc., Providence, RI (2000). DOI 10.1090/conm/258/04066[56] Kahn, P.J.: Characteristic numbers and oriented homotopy type. Topology , 81–95 (1965)[57] Kasparov, G.: Novikov’s conjecture on higher signatures: the operator K -theory approach.In: Representation theory of groups and algebras, Contemp. Math. , vol. 145, pp. 79–99.Amer. Math. Soc., Providence, RI (1993). DOI 10.1090/conm/145/1216182[58] Kasparov, G.G.: The homotopy invariance of rational Pontrjagin numbers. Dokl. Akad.Nauk SSSR , 1022–1025 (1970)[59] Kasparov, G.G.: Topological invariants of elliptic operators. I. K -homology. Izv. Akad. NaukSSSR Ser. Mat. (4), 796–838 (1975)[60] Kasparov, G.G.: The operator K -functor and extensions of C ∗ -algebras. Izv. Akad. NaukSSSR Ser. Mat. (3), 571–636, 719 (1980)[61] Kasparov, G.G.: Equivariant KK -theory and the Novikov conjecture. Invent. Math. (1),147–201 (1988). DOI 10.1007/BF01404917[62] Kasparov, G.G.: K -theory, group C ∗ -algebras, and higher signatures (conspectus). In:Novikov conjectures, index theorems and rigidity, Vol. 1 (Oberwolfach, 1993), London Math.Soc. Lecture Note Ser. , vol. 226, pp. 101–146. Cambridge Univ. Press, Cambridge (1995).DOI 10.1017/CBO9780511662676.007[63] Kervaire, M.A.: Le th´eor`eme de Barden-Mazur-Stallings. Comment. Math. Helv. , 31–42(1965)[64] Kervaire, M.A., Milnor, J.W.: Groups of homotopy spheres. I. Ann. of Math. (2) , 504–537(1963)[65] Kreck, M., L¨uck, W.: The Novikov conjecture, Oberwolfach Seminars , vol. 33. Birkh¨auserVerlag, Basel (2005). Geometry and algebra[66] Lafforgue, V.: K -th´eorie bivariante pour les alg`ebres de Banach et conjecture de Baum-Connes. Invent. Math. (1), 1–95 (2002). DOI 10.1007/s002220200213[67] Lichnerowicz, A.: Spineurs harmoniques. C. R. Acad. Sci. Paris , 7–9 (1963)[68] Loday, J.L.: K -th´eorie alg´ebrique et repr´esentations de groupes. Ann. Sci. ´Ecole Norm. Sup.(4) (3), 309–377 (1976)[69] L¨uck, W.: K - and L -theory of group rings. In: Proceedings of the International Congressof Mathematicians. Volume II, pp. 1071–1098. Hindustan Book Agency, New Delhi (2010)[70] L¨uck, W., Reich, H.: The Baum-Connes and the Farrell-Jones conjectures in K - and L -theory. In: Handbook of K -theory. Vol. 1, 2, pp. 703–842. Springer, Berlin (2005). DOI10.1007/978-3-540-27855-9 \
15. URL http://k-theory.org/handbook/2-0703-0842.pdf [71] Lusztig, G.: Novikov’s higher signature and families of elliptic operators. J. DifferentialGeometry , 229–256 (1972)[72] Mendes, S., Plymen, R.: Base change and K -theory for GL( n ). J. Noncommut. Geom. (3),311–331 (2007). DOI 10.4171/JNCG/9[73] Milnor, J.: On manifolds homeomorphic to the 7-sphere. Ann. of Math. (2) , 399–405(1956) [74] Milnor, J.: A procedure for killing homotopy groups of differentiable manifolds. In: Proc.Sympos. Pure Math., Vol. III, pp. 39–55. American Mathematical Society, Providence, R.I(1961)[75] Milnor, J.: Lectures on the h -cobordism theorem. Notes by L. Siebenmann and J. Sondow.Princeton University Press, Princeton, N.J. (1965)[76] Milnor, J.: Whitehead torsion. Bull. Amer. Math. Soc. , 358–426 (1966)[77] Mishchenko, A.S.: Infinite-dimensional representations of discrete groups, and higher signa-tures. Izv. Akad. Nauk SSSR Ser. Mat. , 81–106 (1974)[78] Mishchenko, A.S.: C ∗ -algebras and K -theory. In: Algebraic topology, Aarhus 1978 (Proc.Sympos., Univ. Aarhus, Aarhus, 1978), Lecture Notes in Math. , vol. 763, pp. 262–274.Springer, Berlin (1979)[79] Mitchener, P.D.: The general notion of descent in coarse geometry. Algebr.Geom. Topol. (4), 2419–2450 (2010). DOI 10.2140/agt.2010.10.2419. URL http://msp.org/agt/2010/10-4/p18.xhtml [80] Novikov, S.P.: A diffeomorphism of simply connected manifolds. Dokl. Akad. Nauk SSSR , 1046–1049 (1962)[81] Novikov, S.P.: Homotopically equivalent smooth manifolds. I. Izv. Akad. Nauk SSSR Ser.Mat. , 365–474 (1964)[82] Novikov, S.P.: Rational Pontrjagin classes. Homeomorphism and homotopy type of closedmanifolds. I. Izv. Akad. Nauk SSSR Ser. Mat. , 1373–1388 (1965)[83] Novikov, S.P.: Topological invariance of rational classes of Pontrjagin. Dokl. Akad. NaukSSSR , 298–300 (1965)[84] Novikov, S.P.: Pontrjagin classes, the fundamental group and some problems of stablealgebra. In: Amer. Math. Soc. Translations Ser. 2, Vol. 70: 31 Invited Addresses (8 inAbstract) at the Internat. Congr. Math. (Moscow, 1966), pp. 172–179. Amer. Math. Soc.,Providence, R.I. (1968)[85] Novikov, S.P.: Algebraic construction and properties of Hermitian analogs of K -theoryover rings with involution from the viewpoint of Hamiltonian formalism. Applications todifferential topology and the theory of characteristic classes. I. II. Izv. Akad. Nauk SSSRSer. Mat. , 253–288; ibid. 34 (1970), 475–500 (1970)[86] Novikov, S.P.: Pontrjagin classes, the fundamental group and some problems of stablealgebra. In: Essays on Topology and Related Topics (M´emoires d´edi´es `a Georges de Rham),pp. 147–155. Springer, New York (1970)[87] Novikov, S.P.: Analogues hermitiens de la K -th´eorie. In: Actes du Congr`es Internationaldes Math´ematiciens (Nice, 1970), Tome 2, pp. 39–45. Gauthier-Villars, Paris (1971)[88] Piazza, P., Schick, T.: The surgery exact sequence, K -theory and the signature operator.Ann. of K-Theory (2016). URL http://arxiv.org/abs/1309.4370 . To appear[89] Plymen, R.J.: Reduced C ∗ -algebra of the p -adic group GL( n ). II. J. Funct. Anal. (1),119–134 (2002). DOI 10.1006/jfan.2002.3980[90] Quinn, F.: A geometric formulation of surgery. In: Topology of Manifolds (Proc. Inst., Univ.of Georgia, Athens, Ga., 1969), pp. 500–511. Markham, Chicago, Ill. (1970)[91] Ramras, D.A., Tessera, R., Yu, G.: Finite decomposition complexity and the integralNovikov conjecture for higher algebraic K -theory. J. Reine Angew. Math. , 129–178(2014). DOI 10.1515/crelle-2012-0112[92] Ranicki, A.: The total surgery obstruction. In: Algebraic topology, Aarhus 1978 (Proc.Sympos., Univ. Aarhus, Aarhus, 1978), Lecture Notes in Math. , vol. 763, pp. 275–316.Springer, Berlin (1979)[93] Ranicki, A.: Algebraic and geometric surgery. Oxford Mathematical Monographs. TheClarendon Press, Oxford University Press, Oxford (2002). DOI 10.1093/acprof:oso/9780198509240.001.0001. Oxford Science Publications[94] Ranicki, A.A.: Algebraic L -theory and topological manifolds, Cambridge Tracts in Mathe-matics , vol. 102. Cambridge University Press, Cambridge (1992)[95] Roe, J.: Coarse cohomology and index theory on complete Riemannian manifolds. Mem.Amer. Math. Soc. (497), x+90 (1993). DOI 10.1090/memo/0497[96] Rosenberg, J.: C ∗ -algebras, positive scalar curvature, and the Novikov conjec-ture. Inst. Hautes ´Etudes Sci. Publ. Math. , 197–212 (1984) (1983). URL OVIKOV’S CONJECTURE 21 [97] Rosenberg, J.: C ∗ -algebras, positive scalar curvature, and the Novikov conjecture. III.Topology (3), 319–336 (1986). DOI 10.1016/0040-9383(86)90047-9[98] Rosenberg, J.: Analytic Novikov for topologists. In: Novikov conjectures, index theoremsand rigidity, Vol. 1 (Oberwolfach, 1993), London Math. Soc. Lecture Note Ser. , vol. 226, pp.338–372. Cambridge Univ. Press, Cambridge (1995). DOI 10.1017/CBO9780511662676.013[99] Rosenberg, J.: Manifolds of positive scalar curvature: a progress report. In: Surveys in dif-ferential geometry. Vol. XI,
Surv. Differ. Geom. , vol. 11, pp. 259–294. Int. Press, Somerville,MA (2007). DOI 10.4310/SDG.2006.v11.n1.a9[100] Rosenberg, J.: An analogue of the Novikov conjecture in complex algebraic geometry. Trans.Amer. Math. Soc. (1), 383–394 (2008). DOI 10.1090/S0002-9947-07-04320-6[101] Rosenberg, J.: Structure and applications of real C ∗ -algebras. In: R.S. Doran, E. Park (eds.)Proc. Special Session on Operator Algebras and Their Applications: A Tribute to RichardV. Kadison (2015). URL http://arxiv.org/abs/1505.04091 . Submitted[102] Rosenberg, J., Stolz, S.: A “stable” version of the Gromov-Lawson conjecture. In: The ˇCechcentennial (Boston, MA, 1993), Contemp. Math. , vol. 181, pp. 405–418. Amer. Math. Soc.,Providence, RI (1995). DOI 10.1090/conm/181/02046[103] Rosenberg, J., Weinberger, S.: Higher G -indices and applica-tions. Ann. Sci. ´Ecole Norm. Sup. (4) (4), 479–495 (1988). URL [104] Rosenberg, J., Weinberger, S.: An equivariant Novikov conjecture. K -Theory (1), 29–53(1990). DOI 10.1007/BF00534192. With an appendix by J. P. May[105] Rosenberg, J., Weinberger, S.: The signature operator at 2. Topology (1), 47–63 (2006).DOI 10.1016/j.top.2005.06.001[106] Roushon, S.K.: The isomorphism conjecture in L -theory: graphs of groups. Homology Ho-motopy Appl. (1), 1–17 (2012). DOI 10.4310/HHA.2012.v14.n1.a1[107] Schick, T.: A counterexample to the (unstable) Gromov-Lawson-Rosenberg conjecture.Topology (6), 1165–1168 (1998). DOI 10.1016/S0040-9383(97)00082-7[108] Smale, S.: Generalized Poincar´e’s conjecture in dimensions greater than four. Ann. of Math.(2) , 391–406 (1961)[109] Solleveld, M.: Periodic cyclic homology of reductive p -adic groups. J. Noncommut. Geom. (4), 501–558 (2009). DOI 10.4171/JNCG/45[110] Sullivan, D.P.: Triangulating and smoothing homotopy equivalences and homeomor-phisms. Geometric Topology Seminar Notes. In: The Hauptvermutung book, K -Monogr.Math. , vol. 1, pp. 69–103. Kluwer Acad. Publ., Dordrecht (1996). DOI 10.1007/978-94-017-3343-4 {\ } , 17–86 (1954). URL http://retro.seals.ch/digbib/view?rid=comahe-002:1954:28::8 [112] Tu, J.L.: The Baum-Connes conjecture for groupoids. In: C ∗ -algebras (M¨unster, 1999), pp.227–242. Springer, Berlin (2000)[113] Tu, J.L.: The coarse Baum-Connes conjecture and groupoids. II. New York J. Math. ,1–27 (2012). URL http://nyjm.albany.edu:8000/j/2012/18_1.html [114] Wall, C.T.C.: Surgery of non-simply-connected manifolds. Ann. of Math. (2) , 217–276(1966)[115] Wall, C.T.C.: Surgery on compact manifolds, Mathematical Surveys and Monographs ,vol. 69, second edn. American Mathematical Society, Providence, RI (1999). DOI 10.1090/surv/069. Edited and with a foreword by A. A. Ranicki[116] Wallace, A.H.: Modifications and cobounding manifolds. Canad. J. Math. , 503–528(1960)[117] Wassermann, A.: Une d´emonstration de la conjecture de Connes-Kasparov pour les groupesde Lie lin´eaires connexes r´eductifs. C. R. Acad. Sci. Paris S´er. I Math. (18), 559–562(1987)[118] Weinberger, S.: The topological classification of stratified spaces. Chicago Lectures in Math-ematics. University of Chicago Press, Chicago, IL (1994)[119] Yu, G.: Coarse Baum-Connes conjecture. K -Theory (3), 199–221 (1995). DOI 10.1007/BF00961664[120] Yu, G.: The coarse Baum-Connes conjecture for spaces which admit a uniform embeddinginto Hilbert space. Invent. Math. (1), 201–240 (2000). DOI 10.1007/s002229900032 Department of Mathematics, University of Maryland, College Park, MD 20742-4015,USA
E-mail address ::