Arxiv:0901.1002V4 [Math.DS] 22 May 2014 O Eesrl Ndmnin4[O8] Ncnrs,Cniuu Maps Continuous [Hir94]

Home , Homeomorphism

arXiv:0901.1002v4 [math.DS] 22 May 2014 o eesrl ndmnin4[o8] ncnrs,cniuu maps continuous [Hir94]. contrast, maps In smooth by [Don83]. uniformly approximated 4 be dimension in necessarily not hoe 1. Theorem morphism if yJ .Mnrs[u6,Mn5 n .W ish[i6]i h omo form the in [Hir63] Hirsch W. in M. for found [Con63] was and Connell H. solution Mun65] E. A by [Mun60, and [Ale32]. theory, Munkres obstruction as R. far as J. least by at back dates question in iemrhssi laspsil ftedmninof dimension the if possible appr uniform always a is particular, In diffeomorphisms homeomorphisms. PL by approximation oncinwt ui’ hoe)[h6,Whi74]. [Whi69, theorem) Lusin’s or with [OU41] author’s diffeomorphisms connection have the everywhere problem almost this of by of approximation variants point e.g. Interesting starting question. this the in interest was and Mül08b, Mül08a], MO07, o o upiigy h rbe ean novdi dimension in unsolved remains discusse problem are the boundary surprisingly, with too manifolds Not and manifolds non-compact of atclritrs ndmnintoi h otx of context the diffeomorphisms in two preserving dimension volume in t interest by particular diffeomorphisms, uniformly pr by approximated volume uniformly be a if also approximated [Sik07]: be t Sikorav can J.-C. in p and answered homeomorphism volume [Oh06] was by Oh question approximated Y.-G. this be by of also independently part it second can The so, if diffeomorphisms. and [OU41]), problem in (this example diffeomorphisms for by uniformly approximated be can form fasot manifold smooth a of ϕ R nti hr oe ecmieteaoerslst rv h follow the prove to results above the combine we note, short this In e eto o eal.W rtrdc h hoe otecs o case the to theorem the reduce first We details. for 2 section See n a hnakwehrahmoopimwihpeevsagiven a preserves which homeomorphism a whether ask then can One ai rbe ndffrniltplg st eeti ie homeomor given a if detect to is topology differential in problem basic A 2010 n siooi oadiffeomorphism. a to isotopic is NFR PRXMTO FHOMEOMORPHISMS OF APPROXIMATION UNIFORM nscin3 n hnpoetelclrsl nscin4 Homeomorp 4. section in result local the prove then and 3, section in ahmtc ujc Classification. Subject Mathematics upre iemrhssi n nyi ti stpct di a preserving diffeomorphis to volume preserving isotopic volume addition is by in uniformly it is approximated homeomorphism if given only the and If if diffeomorphisms supported aiodo dimension of manifold Abstract. ϕ of Let M M epoeta opcl upre oemrhs fasmoot a of homeomorphism supported compactly a that prove We a eapoiae nfrl ydffoopim fadonly and if diffeomorphisms by uniformly approximated be can M eacoe mohmnfl fdimension of manifold smooth closed a be a eapoiae nfrl ydffoopim.This diffeomorphisms. by uniformly approximated be can YDIFFEOMORPHISMS BY n ≥ 1. a eapoiae nfrl ycompactly by uniformly approximated be can 5 TFNM STEFAN Introduction 71,5Q5 83,28D05. 58C35, 57Q55, 57R12, 1 ULLER ¨ R C n 0 smlci oooy[Oh06, topology -symplectic i nitreit uniform intermediate an via M is ms. hni a be can it then , n ffeomorphism. ≤ n lobe studied, been also n ≥ Mn0,but [Mun60], 3 4. = eaffirmative, he nmaue(in measure in nscin5. section in d h ntball unit the f xmto by oximation 5 n theorem. ing smentioned is dependently homeo- A . hsi of is This . a always can e tcan it hen continued h reserving eserving volume phism hisms an f 2 STEFAN MULLER¨

2. Preliminaries Let M be a closed smooth manifold of dimension dim M ≥ 5. Without loss of generality, we may assume that M is connected. Denote by Homeo(M) and Diff(M) the group of homeomorphisms and the subgroup of diffeomorphisms of M, respectively. The group Homeo(M) is equipped with the uniform (or compact-open) topology. It is metrizable by the uniform distance of homeomorphisms or by the so-called C0-distance (that is, the uniform distance of homeomorphisms and of their inverses). Only the latter is complete. However, if a sequence of homeomorphisms converges uniformly to another homeomorphism (in other words, if a limit exists), then it also converges in the C0-metric. Recall that any C1-diffeomorphism can be approximated uniformly by C∞- diffeomorphisms [Hir94, Theorem 2.7]. Thus for the purposes of this paper, we do not need to distinguish between diffeomorphisms that are of class C1 and C∞. An isotopy is a continuous map Φ: [0, 1] × M → M such that ϕt = Φ(t, ·) is a homeomorphism for each t; two homeomorphisms ϕ and ψ are said to be isotopic if there exists an isotopy Φ with Φ(0, ·)= ϕ and Φ(1, ·)= ψ.

3. From local to global The following main lemma is a local version of Theorem 1, and is due to Munkres [Mun60], Connell [Con63], and R. H. Bing [Bin63]. Lemma 2 (Munkres, Connell, Bing). Let n ≥ 5, and ϕ: Bn → Bn be a homeomorphism of the open unit ball in Rn that is the identity near the boundary of Bn, and is isotopic to the identity through an isotopy that fixes pointwise a neighborhood of the boundary. Then ϕ can be approximated uniformly by diffeomorphisms of Bn that are the identity near the boundary of Bn. A proof will be given in the next section. The only subtlety that is not stated explicitly in the cited references is that the diffeomorphisms that approximate the given homeomorphism can be chosen to be equal to the identity near the boundary, and therefore extend to diffeomorphisms of an ambient manifold. Aside from a few well-known classical theorems in (differential) topology, this last fact is the main ingredient in our proof of Theorem 1. Assuming the main lemma, we will give a proof of Theorem 1. Proposition 3. Let ϕ ∈ Homeo(M) be a homeomorphism that is isotopic to the identity. Then ϕ can be approximated uniformly by diffeomorphisms. Proof. Choose a finite cover U of M by subsets that are diffeomorphic to open balls in Rn. By Corollary 1.3 in [EK71], ϕ can be fragmented as a finite composition ϕ = ϕm ◦···◦ ϕ1, with each ϕi ∈ Homeo(M) isotopic to the identity by an isotopy that is compactly supported in a member of the cover U. By Lemma 2, each ϕi can be approximated uniformly by diffeomorphisms. The proposition follows. Proof of Theorem 1. Suppose that ϕ is isotopic to a diffeomorphism ψ. Then the homeomorphism ψ−1 ◦ ϕ satisfies the hypothesis of Proposition 3, and therefore can be approximated uniformly by a sequence ψi of diffeomorphisms. But then the sequence ψ ◦ ψi converges uniformly to ϕ. Conversely, suppose ϕ can be approximated uniformly by diffeomorphisms. The path components of Homeo(M) are locally contractible by [Cer69]ˇ or [EK71], so if ψ is sufficiently close to ϕ, then the two homeomorphisms are isotopic. UNIFORM APPROXIMATION OF HOMEOMORPHISMS 3

4. Proof of the main lemma The main lemma is essentially Theorem 6 in [Con63], which is stated there with the hypothesis n ≥ 7. By the first remark of section 5 of that paper, see also [Bin63] or [Rus73, Chapter 4.11], the theorem is also true for n ≥ 5. Although this local version of Theorems 3 and 4 in [Con63] is not stated explicitly in [Rus73, Chapter 4.11], it can be deduced from the previous results of that chapter verbatim as in [Con63]. The only subtlety not stated explicitly in any of the above references is that with the present hypotheses, the approximating diffeomorphisms can be chosen to equal the identity near the boundary of the ball, and thus extend to diffeomorphisms of the ambient manifold M. The latter however follows from a careful inspection of the proofs of Theorem 6 in [Con63] and Theorem 5.7 in [Mun60].

Proof. Extend ϕ to a homeomorphism of Rn by ϕ = id outside Bn. Let ǫ > 0. Then by [Con63, Theorem 6], there exists a homeomorphism ψ of Rn such that ψ = id on the complement of the open unit ball Bn, the restriction of ψ to Bn is a diffeomorphism, and the uniform distance between ϕ and ψ is less than ǫ. It only remains to show that ψ can be chosen so that it is compactly supported in the interior of the open ball Bn, and in particular extends to a diffeomorphism of Rn. The final step in the approximation of ϕ by a diffeomorphism is an application of Theorem 5.7 and (the arguments in the proof of) Theorem 6.2 in [Mun60] (and the universal coefficient theorem, cf. the proof of Theorem 6.5 in [Mun60]), see the proofs of Theorems 4 and 6 in [Con63]. If the PL homeomorphisms f : Bn → Bn in [Con63, Theorem 6] is the identity in a neighborhood of the boundary of the ball, we may delete part of L (the (n − 1)-skeleton of a smooth triangulation of the open unit ball) in a neighborhood of the boundary without destroying the hypotheses of the theorem. Then by the last statement of the conclusion, the diffeomorphism that uniformly approximates f may be chosen equal to f and hence the identity in a neighborhood of the boundary of the ball Bn. The intermediate step in the proof is an approximation of ϕ by the PL homeomorphism f above. This approximation is carried out in sections 3 and 4 of [Con63]. For the remainder of the present proof, all references to theorems and lemmas are to results in that paper, and for the readers’ convenience, the notation is the same as in Connell’s paper [Con63] whenever possible. In the proof of Theorem 6 with g = ϕ, one may choose the homeomorphism −1 n n h2 = h1 . Then h2 ◦ g ◦ h1 : R → R is compactly supported. The main lemma follows once we show that the PL homeomorphism h in the proof of Theorem 6 can also be chosen to be compactly supported. This homeomorphism h in turn is a modification of the homeomorphism h2 ◦g◦h1 −1 of the preceding paragraph via Theorem 3; more precisely, h = (h2 ◦g◦h1)◦f2 ◦f1 , where f1 and f2 are constructed in the proof of Theorem 3. (By conjugating by a translation if necessary, the homeomorphism h2 ◦g ◦h1 itself satisfies the conclusion of the first paragraph in the proof of Theorem 3.) Therefore it is enough to prove −1 n that f1 and f2 can be chosen so that f2 ◦ f1 = id outside a compact subset of R . This can be accomplished by a close inspection of Lemma 4. n Indeed, the PL structures T and T1 agree outside a compact subset of R , since the homeomorphism h2◦g◦h1 is compactly supported. The two homeomorphisms f1 and f2 are constructed in Lemma 4 as modifications of the same homeomorphism h; they are infinite compositions built from repeated applications of Theorem 2. 4 STEFAN MULLER¨

′ ′ From the proof of Theorem 2 it follows that each iteration gk = fk ◦···◦ f1 is obtained from the previous homeomorphism gk−1 via composition on the right ′ ′ with another homeomorphism h . (The homeomorphisms fk here are called fk, and the homeomorphism h′ is called h, in the original proofs. The notation had to be altered in these two places to avoid an unfortunate overlap in notation among the cited results within [Con63].) The above iterated homeomorphisms are piecewise linear with respect to the two PL structures T and T1. For k sufficiently large, the next step in the induction process modifies the previous step only outside a ball of large radius, where T and ′ T1 coincide. Thus the homeomorphism h in the proof of Theorem 2 can be chosen the same in the induction process for T and for T1 in each step for k sufficiently large. (Again, in the original paper this homeomorphism h′ is called h.) As a result, the two iterated homeomorphisms f1 and f2 in the proof of Theorem 3 differ only by a finite number of initial iterations, and all other factors cancel out in the −1 expression f2 ◦ f1 . By item (2’) on page 333, the composition of the initial iterations is the identity −1 outside a large enough ball. Therefore f2 ◦ f1 is the identity outside a sufficiently large compact subset of Rn. This completes the proof of the the main lemma.

5. Non-compact manifolds and manifolds with boundary In this section, the manifold M is allowed to be non-compact and to have non- empty boundary. All homeomorphisms of M are assumed to have compact support in the interior of M, and the group Homeo(M) is equipped with the usual direct limit topology over compact codimension zero submanifolds K of the interior of M. With these modifications, Theorem 1 applies to open manifolds: Let ϕ be a homeomorphism of M. After replacing M by a compact codimension zero submanifold N of its interior such that the interior of N contains the support of ϕ, we may assume that M is a compact manifold with non-empty boundary. Suppose that ϕ is isotopic to a diffeomorphism; the isotopy is supported in a compact subset K of the interior of M. Therefore we may assume without loss of generality that ϕ is isotopic to the identity (cf. the proof of Theorem 1). Then ϕ can be fragmented into homeomorphisms with small support as in the proof of Proposition 3. In this case, one needs a relative version of the Edwards-Kirby Corollary 1.3, in which a collar neighborhood of the boundary remains fixed by all deformations; see Section 6 in [EK71]. The resulting homeomorphisms ϕi are compactly supported in open balls that do not intersect the boundary of M. Thus Lemma 2 applies, and ϕ can be approximated by a sequence of diffeomorphisms that are compactly supported in a common compact subset of the interior of M. Conversely, suppose that ψ is a diffeomorphism that lies in a small neighborhood of the homeomorphism ϕ, and let N be a compact subset of the interior of M that is the closure of an open submanifold of M and contains the support of both ϕ and ψ. Then ϕ and ψ can be viewed as homeomorphisms of N that are the identity on the boundary. Since the group of homeomorphisms of N that are the identity on the boundary is again locally contractible [EK71, Section 7] or [Cer69],ˇ ϕ is isotopic to ψ provided that the two homeomorphism are within ǫ of one another for sufficiently small ǫ> 0. For homeomorphism that preserve volume, the only necessary observation is that if M is non-compact, then the volume form in question is assumed to be finite UNIFORM APPROXIMATION OF HOMEOMORPHISMS 5 on compact subsets, and thus induces a Radon measure on M. Then the proofs in [Oh06, Sik07] of uniform approximation by volume preserving diffeomorphisms apply to non-compact manifolds and manifolds with non-empty boundary. Their result continuous to hold for homeomorphisms and diffeomorphisms that preserve the measure induced by a volume density rather than a genuine volume form on a possibly non-orientable manifold. References [Ale32] J. W. Alexander, Some problems in topology, Verh. des Int. Math. Kong. Zürich 1 (1932), 249–257. [Bin63] R. H. Bing, Stable Homeomorphisms on En can be approximated by piecewise linear ones, Notices Amer. Math. Soc. 10 (1963), 607–16. [Cer69]ˇ A. V. Cernavski˘ı,ˇ Local contractibility of the group of homeomorphisms of a manifold., Mat. Sb. (N.S.) 79 (121) (1969), 307–356. MR 0259925 (41 #4554) [Con63] E. H. Connell, Approximating stable homeomorphisms by piecewise linear ones, Ann. of Math. (2) 78 (1963), 326–338. MR 0154289 (27 #4238) [Don83] S. K. Donaldson, An application of gauge theory to four-dimensional topology, J. Dif- ferential Geom. 18 (1983), no. 2, 279–315. MR 710056 (85c:57015) [EK71] Robert D. Edwards and Robion C. Kirby, Deformations of spaces of imbeddings, Ann. Math. (2) 93 (1971), 63–88. MR 0283802 (44 #1032) [Hir63] Morris W. Hirsch, Obstruction theories for smoothing manifolds and maps, Bull. Amer. Math. Soc. 69 (1963), 352–356. MR 0149493 (26 #6980) [Hir94] , Differential topology, Graduate Texts in Mathematics, vol. 33, Springer-Verlag, New York, 1994, Corrected reprint of the 1976 original. MR 1336822 (96c:57001) [MO07] Stefan Müller and Yong-Geun Oh, The group of Hamiltonian homeomorphisms and C0-symplectic topology, J. Symplectic Geom. 5 (2007), no. 2, 167–219. MR 2377251 (2009k:53227) [Mül08a] Stefan Müller, The group of Hamiltonian homeomorphisms and C0-symplectic topology, 2008, Ph.D. Thesis, The University of Wisconsin-Madison. MR 2711770 [Mül08b] , The group of Hamiltonian homeomorphisms in the L∞-norm, J. Korean Math. Soc. 45 (2008), no. 6, 1769–1784. MR 2449929 (2010a:53185) [Mun60] James Munkres, Obstructions to the smoothing of piecewise-differentiable homeomorphisms, Ann. of Math. (2) 72 (1960), 521–554. MR 0121804 (22 #12534) [Mun65] James R. Munkres, Higher obstructions to smoothing, Topology 4 (1965), 27–45. MR 0176486 (31 #758) [Oh06] Y.-G. Oh, C0-coerciveness of Moser’s Problem and smoothing area-preserving Homeo- morphisms, arXiv:math/0601183, 2006. [OU41] J. C. Oxtoby and S. M. Ulam, Measure-preserving homeomorphisms and metrical tran- sitivity, Ann. of Math. (2) 42 (1941), 874–920. MR 0005803 (3,211b) [Rus73] T. Benny Rushing, Topological embeddings, Academic Press, New York-London, 1973, Pure and Applied Mathematics, Vol. 52. MR 0348752 (50 #1247) [Sik07] J.-C. Sikorav, Approximation of a volume-preserving Homeomorphism by a volume- preserving Diffeomorphism, http://www.umpa.ens-lyon.fr/ symplexe, September 2007. [Whi69] H. E. White, Jr., The approximation of one-one measurable transformations by diffeomorphisms, Trans. Amer. Math. Soc. 141 (1969), 305–322. MR 0243546 (39 #4867) [Whi74] , The approximation of one-one measurable transformations by measure preserving homeomorphisms, Proc. Amer. Math. Soc. 44 (1974), 391–394. MR 0367159 (51 #3401) E-mail address: [email protected]

University of Illinois at Urbana-Champaign, Urbana, IL 61801, USA

Korea Institute for Advanced Study, Seoul 130–722, Republic of Korea