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

Abstract: We apply the framework of Rosendal to study the large-scale geometry of the topological groups

D i f f_{+}^{k} (M^{1})

, consisting of orientation-preserving

C^{k}

-diffeomorphisms (for

1 l e q k l e q i n f t y

) of a compact

1

-manifold

M^{1}

(

= I

or

m a t h b b S^{1}

). We characterize the relative property (OB) in such groups:

A s u b s e t e q D i f f_{+}^{k} (M^{1})

has property (OB) relative to

D i f f_{+}^{k} (M^{1})

if and only if

d i s p l a y s t y l e s u p_{f i n A} s u p_{x i n M^{1}} | l o g f^{'} (x) | < i n f t y

and

d i s p l a y s t y l e s u p_{f i n A} s u p_{x i n M^{1}} | f^{(j)} (x) | < i n f t y

for every integer

2 l e q j l e q k

. We deduce that

D i f f_{+}^{k} (M^{1})

has the local property (OB), and consequently a well-defined non-trivial quasi-isometry class, if and only if

k < i n f t y

. We show that the groups

D i f f_{+}^{1} (I)

and

D i f f_{+}^{1} (m a t h b b S^{1})

are quasi-isometric to the infinite-dimensional Banach space

C [0, 1]

.

Recommendations

Cites work

Cited in

(4)

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