zbMATH — the first resource for mathematics

Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
Cyclic cohomology, the Novikov conjecture and hyperbolic groups. (English) Zbl 0759.58047

This paper gives a proof of the Novikov conjecture for hyperbolic groups using the techniques of noncommutative differential geometry developed by the first author [Publ. Math., Inst. Hautes Étud. Sci. 62, 257-360 (1985; Zbl 0592.46056)].

Let Γ be a finitely presented group and ψ a continuous map from M to BΓ. Let L(M) be the Hirzebruch L-class of M; if ξ is a class in H * (BΓ,) then the number L(M)·ψ * (ξ),[M] is a higher signature. The Novikov conjecture says these numbers are oriented homotopy invariants of (M,ψ). For the case in which Γ is a discrete subgroup of a Lie group with finitely many components, this conjecture was proved by G. G. Kasparov using his bivariant K-theory [Invent. Math. 91, No. 1, 147-201 (1988; Zbl 0647.46053)]. G. G. Kasparov and G. Skandalis extended these techniques to discrete subgroups of p-adic and adelic groups [C. R. Acad. Sci., Paris, Sér. I 310, No. 4, 171-174 (1990; Zbl 0705.19010)].

Let D be an elliptic operator on the compact manifold M. The authors show how the Alexander-Spanier cohomology of M naturally pairs with D to yield the localized analytic indices for D. They give a cohomological formula for these localized indices using heat equation techniques based on the Getzler calculus of asymptotic pseudodifferential operators. However, the computations are far more intricate than those needed for the Atiyah-Singer index theorem.

Let H * (Γ,) be the group cohomology of Γ, which is isomorphic to H * (BΓ,). Given cH * (Γ,), we denote by ξ c the corresponding class in H * (BΓ,). Let Γ denote the algebraic group ring of Γ and the algebra of smoothing operators on L 2 (M). Given cH * (Γ,), there is a naturally defined cyclic cocycle that gives an additive map τ c :K 0 (ΓR).

We can view an elliptic operator D on M as a Γ-invariant operator on the universal cover of M; thus, D defines an element D ¯K 0 (ΓR) (this correspondence is made very explicit in the paper). If cH * (Γ,) the authors show that τ c ,D ¯=ψ * (ξ c ),D, the localized analytic index associated with the cohomology class ψ * (ξ c )H * (M,). In particular, when D is the signature operator on M, this yields the higher signature associated to ψ * (ξ c ).

Let j:ΓR r * (Γ)K(H) be the natural inclusion and let j K :K 0 (ΓR)K( r * (Γ)) be the induced map on K-theory. Homotopy invariance of the higher signatures follows once one shows that there is a map τ ^ c :K( r * (Γ)) such that τ ^ c j K =τ c . A group cocycle is called extendable if this happens for τ c . It is here that the hyperbolic assumption on the group is used; if Γ is hyperbolic then every group cocycle is extendable.

The authors indicate the possibility of a different approach to the Novikov theorem that avoids the localized analytic indices. There is also an aside on asymptotic cyclic cocycles and a promise of further development of this idea in a future paper.

58J22Exotic index theories (PDE on manifolds)
19D55K-theory and homology; cyclic homology and cohomology
19K56Index theory (K-theory)
46L80K-theory and operator algebras
57R20Characteristic classes and numbers (differential topology)