On the large-scale geometry of diffeomorphism groups of 1-manifolds

DOI10.1515/FORUM-2016-0149MaRDI QIDQ1689395zbMATH OpenOpenAlexFDO

Authors Michael P. Cohen

Publication date 12 January 2018

Published in Forum Mathematicum (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1606.03994

zbMATH Keywords

diffeomorphism groupproperty (OB)quasi-isometry

Mathematics Subject Classification ID

Geometric group theory (20F65) General theory of group and pseudogroup actions (22F05) Dynamical systems involving smooth mappings and diffeomorphisms (37C05)

Abstract: We apply the framework of Rosendal to study the large-scale geometry of the topological groups $Dif{f}_{+}^k(M^1)$, consisting of orientation-preserving $C^k$-diffeomorphisms (for $1leqkleqinfty$) of a compact $1$-manifold $M^1$ ($=I$ or $mathbb{S}^1$). We characterize the relative property (OB) in such groups: $AsubseteqDif{f}_{+}^k(M^1)$ has property (OB) relative to $Dif{f}_{+}^k(M^1)$ if and only if $displaystylesu{p}_{finA}su{p}_{xin{M}^1}|log{f}^{\prime }(x)|<infty$ and $displaystylesu{p}_{finA}su{p}_{xin{M}^1}|f^{(j)}(x)|<infty$ for every integer $2leqjleqk$. We deduce that $Dif{f}_{+}^k(M^1)$ has the local property (OB), and consequently a well-defined non-trivial quasi-isometry class, if and only if $k<infty$. We show that the groups $Dif{f}_{+}^1(I)$ and $Dif{f}_{+}^1(mathbb{S}^1)$ are quasi-isometric to the infinite-dimensional Banach space $C[0,1]$.

Review text

\textit{C. Rosendal} has developed an approach to the coarse geometry of topological groups which unifies aspects of the study of the large scale geometry of finitely-generated groups (the traditional setting), of locally compact groups, and of Banach spaces [``Coarse geometry of topological groups, Preprint, University of Illinois at Chicago (2017)]. This is applied here to study the group of \(C^k\) diffeomorphisms of a compact \(1\)-manifold. It is shown in particular that this group has a well-defined non-trivial quasi-isometry class if and only if \(k<\infty\), and that the group of \(C^1\) diffeomorphisms of the circle or interval is quasi-isometric to the Banach space \(C([0,1])\).

Recommendations

• Large-scale geometry of homeomorphism groups
• Diffeomorphism groups of compact manifolds
• Strong distortion in transformation groups
• A zoo of diffeomorphism groups on \(\mathbb R^n\)
• Quasi-isometric embeddings into diffeomorphism groups

Cites work

• A topological version of the Bergman property
• Functional analysis and infinite-dimensional geometry
• Metric embeddings. Bilipschitz and coarse embeddings into Banach spaces
• Metric geometry of locally compact groups
• The nonlinear geometry of Banach spaces

Cited in

(4)

• Geometric diffeomorphism finiteness in low dimensions and homotopy group finiteness
• Locally Roelcke precompact Polish groups
• Large-scale geometry of homeomorphism groups
• Maximal pseudometrics and distortion of circle diffeomorphisms

This page was built for publication: On the large-scale geometry of diffeomorphism groups of 1-manifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1689395)