Bounded cohomology of certain groups of homeomorphisms
Bounded cohomology of certain groups of homeomorphisms
复制标题
某些同胚群的有界上同调
DOI:
10.1090/s0002-9939-1985-0787909-6
复制
发表时间:
1985
影响因子:
3.1
通讯作者:
S. Morita
中科院分区:
文献类型:
--
作者:
S. Matsumoto;S. Morita
We consider the condition when bounded cohomology injects into ordinary cohomology and prove the vanishing of bounded cohomology of the group of all compactly supported homeomorphisms of RW. Introduction. In this note we consider relations among bounded cohomology, ordinary real cohomology and 1 homology of spaces or groups. In particular we present a necessary and sufficient condition under which bounded cohomology injects into ordinary cohomology and by using it prove the vanishing of bounded cohomology and 1 homology of HomeoKR', the group of all homeomorphisms of R'7 with compact support. We also determine the second bounded cohomology of SL2R. 1. Bounded cohomology. Let us quickly review the theory of bounded cohomology developed by Gromov [2] (see also Brooks [1] and Mitsumatsu [5]). Let X be a topological space and let W'*(X) = {CQ(X), aq} be the singular chain complex of X with real coefficients. Define a norm on Cq(X) by lIIn=1aaiill = ,-=jail. The differentials a are then bounded linear operators. Let W'((X) = {(C'(X), aq} be the norm completion of W',(X). Thus Cql(X) (Y?=1laiailD%1jail < 00) is a Banach space. Passing to the dual Banach spaces, we obtain a cochain complex if b(X) = (Cq( X), b q It is a subcomplex of the ordinary singular cochain complex consisting of bounded cochains. The homology of W*' (X), denoted by Hl (X), is called 11 homology of X and the cohomology of Wb (X), denoted by Hb*(X), is called bounded cohomology of X. The inclusions induce homomorphisms H*(X) -* H* (X) and Hb*( X) -* H *(X). Since the image of a bounded operator is not necessarily a closed subspace, it may happen that the pseudonorms induced on H* (X) or Hb*( X) are not norms. Following Mitsumatsu [5], we define Hl*(X) (resp. H,b*(X)) to be the quotient of Hl (X) (resp. Hb*(X)) by the subspace of pseudonorm zero. In other words, H"'(X) Z('( X)/Bl$ ( X) and Hbq( X) = Zb( X)/Bbf( X), where Z or B denotes the spaces of (co)cycles or (co)boundaries of the corresponding complex and B denotes the closure of B. Notice that H' (X) and Hbq(X) are Banach spaces. There is a Received by the editors July 19, 1984. 1980 Mathematics Subject Classification. Primary 55N99; Secondary 57T99.