Abelian quotients of mapping class groups of highly connected manifolds (Q289874): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Property / reviewed by
 
Property / reviewed by: Jonathan P. E. Hodgson / rank
Normal rank
 

Revision as of 20:42, 22 February 2024

scientific article
Language Label Description Also known as
English
Abelian quotients of mapping class groups of highly connected manifolds
scientific article

    Statements

    Abelian quotients of mapping class groups of highly connected manifolds (English)
    0 references
    0 references
    0 references
    31 May 2016
    0 references
    Let \(W^{2n}_{g} = g(S^{n} \;\times \;S^{n})\) where the \(g\) denotes the \(g\)-fold connected sum. Let \(\mathrm{Diff}^{+}(W^{2n}_{g})\) be the group of orientation preserving diffeomorphisms of \(W^{2n}_{g}\) and let \(\mathrm{Diff}(W^{2n}_{g}, D^{2n})\) be the subgroup of those diffeomorphisms that fix an open neighbourdood of the disk. The mapping class groups are \[ \Gamma^{n}_{g,1} = \pi_{0}D(\mathrm{Diff}(W^{2n}_{g}, D^{2n})\text{ and } \Gamma^{n}_{g} = \pi_{0}(\mathrm{Diff}^{+}(W^{2n}_{g})). \] It is a result of \textit{M. Kreck} that these two groups are isomorphic for \(n \geq 3\) [Lect. Notes Math. 763, 643--663 (1979; Zbl 0421.57009)]. This paper computes the abelianizations of these two groups for \(n \geq 3\) and \(g \geq 5\). The elements of the abelianizations are determined by a pair consisting of an element in the first homology group of the automorphisms of the quadratic forms on \(H^{n}(W^{2n}_{g})\) defined by \textit{C. T. C. Wall} [Ann. Math. (2) 75, 163--189 (1962; Zbl 0218.57022)] and an element in a cobordism group \(\Omega ^{\langle n\rangle}_{2n+1}\). This element is obtained by taking the mapping torus of an element of \(\mathrm{Diff}(W^{2n}_{g}, D^{2n})\) and performing surgery on the embedded \(D^{2n} \;\times S^{1}\).
    0 references
    mapping class group
    0 references
    mapping torus
    0 references
    Wall quadratic form
    0 references
    self diffeomorphism
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references