English

Diffeomorphisms of odd-dimensional discs, glued into a manifold

Algebraic Topology 2023-08-02 v3

Abstract

For a compact (2n+1)(2n+1)-dimensional smooth manifold, let μM:BDiff(D2n+1)BDiff(M)\mu_M : B Diff_\partial (D^{2n+1}) \to B Diff (M) be the map that is defined by extending diffeomorphisms on an embedded disc by the identity. By a classical result of Farrell and Hsiang, the rational homotopy groups and the rational homology of BDiff(D2n+1) B Diff_\partial (D^{2n+1}) are known in the concordance stable range. We prove two results on the behaviour of the map μM\mu_M in the concordance stable range. Firstly, it is \emph{injective} on rational homotopy groups, and secondly, it is \emph{trivial} on rational homology, if MM contains sufficiently many embedded copies of Sn×Sn+1int(D2n+1)S^n\times S^{n+1} \setminus int(D^{2n+1}). The homotopical statement is probably not new and follows from the theory of smooth torsion invariants. The homological statement relies on work by Botvinnik and Perlmutter on diffeomorphism of odd-dimensional manifolds.

Keywords

Cite

@article{arxiv.2107.00903,
  title  = {Diffeomorphisms of odd-dimensional discs, glued into a manifold},
  author = {Johannes Ebert},
  journal= {arXiv preprint arXiv:2107.00903},
  year   = {2023}
}

Comments

Major revision and added results. Final version, to appear in Algebraic and Geometric Topology

R2 v1 2026-06-24T03:50:03.595Z