Local homology of groups of volume-preserving diffeomorphisms. II (Q1079847)

This is the second in a series of three papers on the ''local homology of groups of volume-preserving diffeomorphisms [see Ann. Sci. Éc. Norm. Supér., IV. Sér. 15, 609-648 (1985; Zbl 0577.58005); ''Local homology of groups of volume-preserving diffeomorphisms. III'', Preprint (1982)]. It may be read independently of the other two papers since it uses none of their results or methods of proof. Here is a statement of the main theorem. We consider a compact, oriented, smooth manifold \(W_ 1\) with boundary \(\partial W_ 1\). Let \(W_ 0\subset W_ 1\) be the complement of an open collar neighbourhood of \(\partial W_ 1\). If \(\omega\) is a volume form on Int \(W_ 1\), we write \(Diff_{\omega}(W_ i,rel \partial)\) for the discrete group of all \(\omega\)-preserving diffeomorphisms of \(W_ i\) which are the identity near \(\partial W_ i\). Clearly \(Diff_{\omega}(W_ 0,rel \partial)\subset Diff_{\omega}(W_ 1,rel \partial).\) Theorem 1. The inclusion \(Diff_{\omega}(W_ 0,rel \partial)\subset Diff_{\omega}(W_ 1,rel \partial)\) induces an isomorphism on (untwisted) integer homology. This theorem holds for any volume form on Int \(W_ 1\). In particular, taking \(\omega =dx_ 1\wedge...\wedge dx_ n\) on \({\mathbb{R}}^ n\), we see that the inclusion of the group of \(\omega\)- preserving diffeomorphisms of \({\mathbb{R}}^ n\) with support in the open unit disc into the group of compactly supported \(\omega\)-preserving diffeomorphisms of \({\mathbb{R}}^ n\) is a homology isomorphism.