{"title":"粘在歧管中的奇维圆盘的微分同态","authors":"Johannes Ebert","doi":"10.2140/agt.2023.23.2329","DOIUrl":null,"url":null,"abstract":"For a compact $(2n+1)$-dimensional smooth manifold, let $\\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 $ B Diff_\\partial (D^{2n+1})$ are known in the concordance stable range. We prove two results on the behaviour of the map $\\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 $M$ contains sufficiently many embedded copies of $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.","PeriodicalId":50826,"journal":{"name":"Algebraic and Geometric Topology","volume":"32 1","pages":""},"PeriodicalIF":0.6000,"publicationDate":"2021-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Diffeomorphisms of odd-dimensional discs, glued into a manifold\",\"authors\":\"Johannes Ebert\",\"doi\":\"10.2140/agt.2023.23.2329\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"For a compact $(2n+1)$-dimensional smooth manifold, let $\\\\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 $ B Diff_\\\\partial (D^{2n+1})$ are known in the concordance stable range. We prove two results on the behaviour of the map $\\\\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 $M$ contains sufficiently many embedded copies of $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.\",\"PeriodicalId\":50826,\"journal\":{\"name\":\"Algebraic and Geometric Topology\",\"volume\":\"32 1\",\"pages\":\"\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2021-07-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Algebraic and Geometric Topology\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.2140/agt.2023.23.2329\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algebraic and Geometric Topology","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.2140/agt.2023.23.2329","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 1
摘要
对于一个紧的$(2n+1)$维光滑流形,设$\mu_M : B Diff_\partial (D^{2n+1}) \to B Diff (M)$为映射,该映射是通过恒等在嵌入盘上扩展微分同态来定义的。通过Farrell和Hsiang的经典结果,已知$ B Diff_\partial (D^{2n+1})$的有理同伦群和有理同伦在调和稳定范围内。我们证明了映射$\mu_M$在一致性稳定范围内的两个结果。首先,它在有理同伦群上是\emph{内射}的;其次,如果$M$包含足够多的嵌入副本$S^n\times S^{n+1} \setminus int(D^{2n+1})$,它在有理同伦上是\emph{平凡}的。同调命题可能不是一个新的命题,它是由光滑扭转不变量理论衍生而来的。该同调陈述依赖于Botvinnik和Perlmutter关于奇维流形的微分同态的工作。
Diffeomorphisms of odd-dimensional discs, glued into a manifold
For a compact $(2n+1)$-dimensional smooth manifold, let $\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 $ B Diff_\partial (D^{2n+1})$ are known in the concordance stable range. We prove two results on the behaviour of the map $\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 $M$ contains sufficiently many embedded copies of $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.