\[ W W ^ { - 1 } = \phi ^ { - 1 } ( V _ { 0 } ^ { 4 } ) \subset \phi ^ { - 1 } ( V ) \]

is dense in some neighborhood of the identity in \( \mathrm { H o m e o } _ { 0 } ( M ) \). This proves the lemma.

Of course, improving “dense in a neighborhood of the identity” to “contains a neighborhood of the identity” is a nontrivial matter and the main goal of this work!

# Step 2: A localized version (after Rosendal)

As in Step 1, assume that we have fixed a homomorphism \( \phi : { \mathrm { H o m e o } } ( M ) \to H \), and a neighborhood V of the identity in H, with the aim of showing that \( \phi \) satisfies condition 3.1.

The “localized version” of Condition 3.1 that we aim to prove here states, loosely speaking, that a homeomorphism \( f \in { \mathrm { H o m e o } } _ { 0 } ( M ) \) with sufficiently small support lies in \( \phi ^ { - 1 } ( V ) \). The precise statement that we will use in the next step is given in Lemma 3.8 below. Our strategy is to build up to this statement gradually, using a series of lemmata guided by Rosendal’s work in [13].

Notation 3.4. As in Lemma 3.2, we start by fixing a smaller, symmetric neighborhood of the identity \( V _ { 0 } \subset V \) such that \( V _ { 0 } ^ { 8 } \subset V \). Let \( W = \phi ^ { - 1 } ( V _ { 0 } ) \).

The first lemma is a very rough version of our end goal. It states that in any neighborhood of any point of M, we can find an open ball so that all diffeomorphisms supported on that ball are restrictions of elements in \( \phi ^ { - 1 } ( V _ { 0 } ^ { 2 } ) \subset \phi ^ { - 1 } ( V ) \).

Lemma 3.5. Let \( B \subset M \) be an embedded ball. There exists a ball \( B ^ { \prime } \subset B \) such that for every \( f \in { \mathrm { H o m e o } } _ { 0 } ( M ) \) with \( \operatorname { s u p p } ( f ) \subset B ^ { \prime } \), there is an element \( w _ { f } \in W ^ { 2 } \) with \( \operatorname { s u p p } ( w ) \subset B \) and such that the restriction of \( w _ { f } \) to \( B ^ { \prime } \) agrees with f.

Proof. Let \( B \subset M \) be an embedded ball. The argument from the proof of Lemma 3.2 implies that there exists a countable set \( \{ g _ { i } \} \subset { \mathrm { H o m e o } } _ { 0 } ( M ) \) such that

\[ { \mathrm { H o m e o } } ( M ) = \bigcup _ { i } g _ { i } W . \]

We first prove a related claim for these translates of W.

Claim 3.6. There exists a ball \( B ^ { \prime } \subset B \), and a left translate \( g _ { i } W \) such that if \( \operatorname { s u p p } ( f ) \subset B ^ { \prime } \), then there exists \( w _ { f } \in g _ { i } W \) such that

i) \( \operatorname { s u p p } ( w _ { f } ) \subset B \), and

ii) the restriction of \( w _ { f } \) to \( B ^ { \prime } \) agrees with f.

Proof of claim. Let \( B _ { i } \), \( i = 1 , 2 , \dots \). be a sequence of disjoint balls with disjoint closures and with the closure of \( \bigcup _ { i = 1 } ^ { \infty } B _ { i } \) contained in B.

We will show that for some i, every \( f \in { \mathrm { H o m e o } } _ { 0 } ( M ) \) with \( \operatorname { s u p p } ( f ) \subset B _ { i } \) agrees with the restriction of an element of \( g _ { i } W \) supported on B.

Suppose for contradiction that this is not the case. Then there is a sequence \( f _ { i } \in \)\( \mathrm { H o m e o } _ { 0 } ( M ) \) with \( \operatorname { s u p p } ( f _ { i } ) \subset B _ { i } \) and such that \( f _ { i } \) does not agree with the restriction to