Suppose M is a noncompact connected 2-manifold and m is a good Radon measure of M with m(partial M) = 0. Let H(M)_0 denote the identity component of the group of homeomorphisms of M equipped with the compact-open topology and let H(M; m)_0 denote the identity component of the subgroup consisting of m-preserving homeomorphisms of M. We use results of A.Fathi and R.Berlanga to show that H(M; m)_0 is a strong deformation retract of H(M)_0 and classify the topological type of H(M; m)_0.
In this paper we introduce a general notion of weak extension property for embeddings induced by a group actions. As an example, for the group H(M, m) of measure-preserving homeomorphisms of a noncompact manifold M, we deduce weak type extension theorems, and as an application we exhibit the local contractibility of the group H_c(M, m) of measure-preserving homeomorphisms with compact support of a noncompact connected manifold M endowed with the Whitney topology.
Suppose M is a noncompact connected PL 2-manifold and let H(M)_0 denote the identity component of the homeomorphism group of M with the compact-open topology. In this paper we classify the homotopy type of H(M)_0 by showing that {\cal H}(M)_0 has the homotopy type of the circle if M is the plane, an open or half open annulus, or the punctured projective plane. In all other cases we show that H(M)_0 is homotopically trivial.
Suppose M is a noncompact connected PL 2-manifold. In this paper we study the topological property of the triple (H(M)_0, H^PL(M)_0, H^PL, c(M)_0), where H(M)_0 is the identity component of the homeomorphism group {\cal H}(M) of M with the compact-open topology, and H^PL(M)_0 and H^PL, c(M)_0 are the identity components of the subgroups consisting of PL-homeomorphisms of M and ones with compact supports. We show that this triple is a (s^infty,sigma^infty,sigma^infty_f)-manifold and determine its topological type. We also study the subgroups of Lipschitz homeomorphisms.
We extend the proof of automatic continuity for homeomorphism groups of manifolds to non-compact manifolds and manifolds with marked points and their mapping class groups. Specifically, we show that, for any manifold $M$ homeomorphic to the interior of a compact manifold, and a set $X \subset M$ homeomorphic to the union of a Cantor set and finite set, the relative homeomorphism group $\mathrm{Homeo}(M, X)$ and the mapping class group $\mathrm{Homeo}(M, X)/\mathrm{Homeo}_0(M,X)$ have the property that any homomorphism from such a group to any separable topological group is necessarily continuo…
Suppose M is a noncompact connected n-manifold and m is a good Radon measure of M with m(bdry M) = 0. Let H(M; m) denote the group of m-preserving homeomorphisms of M equipped with the compact-open topology and H_E(M; m) denote the subgroup consisting of all h in H(M; m) which fix the ends of M. Each h in H_E(M; m) moves mass toward ends and this quantity is measured by a mass flow homomorphism J : H_E(M; m) -> V_m, where V_m is a topological vector space. We show that the map J has a continuous section. This induces the factorization H_E(M; m) cong Ker J times V_m and implies that Ker J is a …
Relationships between a chaotic behavior and closely related properties of topological transitivity, sensitivity to initial conditions, density of closed orbits of homeomorphism groups and their countable products are investigated. We construct numerous new examples of chaotic groups of homeomorphisms of countable products of various metrizable topological spaces, including infinite-dimensional topological manifolds, whose factors can be as noncompact surfaces, so triangulable closed manifolds of an arbitrary dimension.
Nielsen realization problem for the mapping class group $\text{Mod}(S_g)$ asks whether the natural projection $p_g: \text{Homeo}_+(S_g)\to \text{Mod}(S_g)$ has a section. While all the previous results use torsion elements in an essential way, in this paper, we focus on the much more difficult problem of realization of torsion-free subgroups of $\text{Mod}(S_g)$. The main result of this paper is that the Torelli group has no realization inside the area-preserving homeomorphisms.
Let $\text{Homeo}_+(D^2_n)$ be the group of orientation-preserving homeomorphisms of $D^2$ fixing the boundary pointwise and $n$ marked points as a set. Nielsen realization problem for the braid group asks whether the natural projection $p_n:\text{Homeo}_+(D^2_n)\to B_n:=π_0(\text{Homeo}_+(D^2_n))$ has a section over subgroups of $B_n$. All of the previous methods either use torsions or Thurston stability, which do not apply to the pure braid group $PB_n$, the subgroup of $B_n$ that fixes $n$ marked points pointwise. In this paper, we show that the pure braid group has no realization inside th…
Let $\imath: M\to \RR^{p+2}$ be a smooth embedding from a connected, oriented, closed $p$-dimesional smooth manifold to $\RR^{p+2}$, then there is a spin structure $\imath^\sharp(ς^{p+2})$ on $M$ canonically induced from the embedding. If an orientation-preserving diffeomorphism $τ$ of $M$ extends over $\imath$ as an orientation-preserving topological homeomorphism of $\RR^{p+2}$, then $τ$ preserves the induced spin structure. Let $\esg_\cat(\imath)$ be the subgroup of the $\cat$-mapping class group $\mcg_\cat(M)$ consisting of elements whose representatives extend over $\RR^{p+2}$ as orientat…
Let $R$ be a compact, connected, orientable surface of genus $g$ with $n$ boundary components with $g \geq 2$, $n \geq 0$. Let $\mathcal{N}(R)$ be the nonseparating curve graph, $\mathcal{C}(R)$ be the curve graph and $\mathcal{HT}(R)$ be the Hatcher-Thurston graph of $R$. We prove that if $λ: \mathcal{N}(R) \rightarrow\mathcal{N}(R)$ is an edge-preserving map, then $λ$ is induced by a homeomorphism of $R$. We prove that if $θ: \mathcal{C}(R) \rightarrow \mathcal{C}(R)$ is an edge-preserving map, then $θ$ is induced by a homeomorphism of $R$. We prove that if $R$ is closed and $τ: \mathcal{HT}…
The Nielsen Conjecture for Homeomorphisms asserts that any homeomorphism $f$ of a closed manifold is isotopic to a map realizing the Nielsen number of $f$, which is a lower bound for the number of fixed points among all maps homotopic to $f$. The main theorem of this paper proves this conjecture for all orientation preserving maps on geometric or Haken 3-manifolds. It will also be shown that on many manifolds all maps are isotopic to fixed point free maps. The proof is based on the understanding of homeomorphisms on 2-orbifolds and 3-manifolds. Thurston's classification of surface homeomorphis…
Let ${\mathcal H}$ be the group of isotopy classes of orientation preserving homeomorphisms of $S^3$ that preserve a Heegaard splitting of genus two. In this paper, we use a tree in the barycentric subdivision of the disk complex of a handlebody of the splitting to obtain a finite presentation of ${\mathcal H}$.
Let $R$ be a compact, connected, orientable surface of genus $g$ with $n$ boundary components. Let $\mathcal{C}(R)$ be the curve graph of $R$. We prove that if $g=0, n \geq 5$ or $g=1, n \geq 3$, and $λ: \mathcal{C}(R) \rightarrow\mathcal{C}(R)$ is an edge preserving map, then $λ$ is induced by a homeomorphism of $R$, and this homeomorphism is unique up to isotopy.
Suppose M is a noncompact connected oriented C^infty n-manifold and omega is a positive volume form on M. Let D^+(M) denote the group of orientation preserving diffeomorphisms of M endowed with the compact-open C^infty topology and D(M; omega) denote the subgroup of omega-preserving diffeomorphisms of M. In this paper we propose a unified approach for realization of mass transfer toward ends by diffeomorphisms of M. This argument together with Moser's theorem enables us to deduce two selection theorems for the groups D^+(M) and D(M; omega). The first one is the extension of Moser's theorem to …
Set theory, logic, and homeomorphism groups of manifolds
Iowa State University（爱荷华州立大学）；University of Virginia（弗吉尼亚大学）；Korea Institute for Advanced Study (KIAS)（韩国高等研究院）；University of Maryland, College Park（马里兰大学帕克分校）
Let $M$ be a closed surface. By $\Homeo(M)$ we denote the group of orientation preserving homeomorphisms of $M$ and let $\MC(M)$ denote the Mapping class group. In this paper we complete the proof of the conjecture of Thurston that says that for any closed surface $M$ of genus $\g \ge 2$, there is no homomorphic section $\E:\MC(M) \to \Homeo(M)$ of the standard projection map $\Proj:\Homeo(M) \to \MC(M)$.
Suppose M is a noncompact connected smooth 2-manifold without boundary and let D(M)_0 denote the identity component of the diffeomorphism group of M with the compact-open C^infty-topology. In this paper we investigate the topological type of D(M)_0 and show that D(M)_0 is a topological ell_2-manifold and it has the homotopy type of the circle if M is the plane, the open annulus or the open M"obius band, and it is contractible in all other cases. When M admits a volume form w, we also discuss the topological type of the group of w-preserving diffeomorphisms of M. To obtain these results we stud…
With a compact PL manifold X we associate a category T(X). The objects of T(X) are all combinatorial manifolds of type X, and morphisms are combinatorial assemblies. We prove that the homotopy equivalence BT (X) \approx BPL(X) holds, where PL(X) is the simplicial group of PL-homeomorphisms. Thus the space BT(X) is a canonical countable (as a CW-complex) model of BPL(X). As a result, we obtain functorial pure combinatorial models for PL fiber bundles with fiber X and a PL polyhedron B as the base. Such a model looks like a T(X)-coloring of some triangulation K of B. The vertices of K are colore…
Let $X$ be a connected topological space and $c \in \mathrm{H}^2(X;\mathbb{Z})$ a non-zero cohomology class. A $\mathrm{Homeo}(X,c)$-bundle is a fiber bundle with fiber $X$ whose structure group reduces to the group $\mathrm{Homeo}(X,c)$ of $c$-preserving homeomorphisms of $X$. If $\mathrm{H}^1(X;\mathbb{Z}) = 0$, then a characteristic class for $\mathrm{Homeo}(X,c)$-bundles called the Dixmier-Douady class is defined via the Serre spectral sequence. We show a relation between the universal Dixmier-Douady class for foliated $\mathrm{Homeo}(X,c)$-bundles and the gauge group extension of $\mathrm…
Let X be a path-connected topological space admitting a universal cover. Let Homeo(X,a) denote the group of homeomorphisms of X preserving degree one cohomology class a. We investigate the distortion in Homeo(X,a). Let g be an element of Homeo(X,a). We define a Nielsen-type equivalence relation on the space of g-invariant Borel probability measures on X and prove that if a homeomorphism g admits two nonequivalent invariant measures then it is undistorted. We also define a local rotation number of a homeomorphism generalising the notion of the rotation of a homeomorphism of the circle. Then we …
We use the reflection group trick to glue manifolds with corners that are Borel-Serre compactifications of locally symmetric spaces of noncompact type and obtain aspherical manifolds. We call these \emph{piecewise locally symmetric} manifolds. This class of spaces provide new examples of aspherical manifolds whose fundamental groups have the structure of a complex of groups. These manifolds typically do not admit a locally $\CAT(0)$ metric. We prove that any self homotopy equivalence of such manifolds is homotopic to a homeomorphism. We compute the group of self homotopy equivalences of such a…
We show that the topological groups $Diff_{+}^{1}(I)$ and $Diff_{+}^{1}(\mathbb{S}^1)$ of orientation-preserving $C^1$-diffeomorphisms of the interval and the circle, respectively, admit finitely generated dense subgroups. We also investigate the question of genericity (in the sense of Baire category) of such finite topological generating sets in related groups. We show that the generic pair of elements in the homeomorphism group $Homeo_+(I)$ generate a dense subgroup of $Homeo_+(I)$. By contrast, if $M$ is any compact connected manifold with boundary other than the interval, we observe that a…
Suppose $S_{1}$ and $S_{2}$ are orientable surfaces of finite topological type such that $S_{1}$ has genus at least $3$ and the complexity of $S_{1}$ is an upper bound of the complexity of $S_{2}$. Let $φ: \mathcal{C}(S_{1}) \rightarrow \mathcal{C}(S_{2})$ be an edge-preserving map; then $S_{1}$ is homeomorphic to $S_{2}$, and in fact $φ$ is induced by a homeomorphism. To prove this, we use several simplicial properties of rigid expansions, which we prove here.
Let G be a group acting on the plane by orientation-preserving homeomorphisms. We show that if for some k>0 there is a ball of radius r > k/\sqrt{3} such that each point x in the ball satisfies |gx -hx| < k for all g, h in G, and the action of G satisfies a nonwandering hypothesis, then the action has a global fixed point. In particular, any group of measure-preserving orientation preserving homeomorphisms of the plane with uniformly bounded orbits has a global fixed point. The constant k/\sqrt{3} is sharp. We also show that a group acting on the plane with orbits bounded as above is left orde…
Let X be a connected topological space admitting a universal cover. Let a be a degree one cohomology class on X. We define and study a two-cocycle on a group acting on X by homeomorphisms preserving the class a. We use this cocycle to investigate group actions on X. For example, we show that if an action preserves a Borel probability measure on X then the cocycle is cohomologically trivial. Under various assumptions on a homeomorphism g, we prove that it is undistorted in Homeo(X,a). In particular, we introduce a local rotation number of a homeomorphism and prove that a homeomorphism with non-…
It is well known that a countable group admits a left-invariant total order if and only if it acts faithfully on R by orientation preserving homeomorphisms. Such group actions are special cases of group actions on simply connected 1-manifolds, or equivalently, actions on oriented order trees. We characterize a class of left-invariant partial orders on groups which yield such actions, and show conversely that groups acting on oriented order trees by order preserving homeomorphism admit such partial orders as long as there is an action with a point whose stabilizer is left-orderable.
Let $M$ be a connected compact orientable surface, $f:M\to \mathbb{R}$ be a Morse function, and $h:M\to M$ be a diffeomorphism which preserves $f$ in the sense that $f\circ h = f$. We will show that if $h$ leaves invariant each regular component of each level set of $f$ and reverses its orientation, then $h^2$ is isotopic to the identity map of $M$ via $f$-preserving isotopy. This statement can be regarded as a foliated and a homotopy analogue of a well known observation that every reversing orientation orthogonal isomorphism of a plane has order $2$, i.e. is a mirror symmetry with respect to …
We determine the bounded cohomology of the group of homeomorphisms of certain low-dimensional manifolds. In particular, for the group of orientation-preserving homeomorphisms of the circle and of the closed 2-disc, it is isomorphic to the polynomial ring generated by the bounded Euler class. These seem to be the first examples of groups for which the entire bounded cohomology can be described without being trivial. We further prove that, contrary to ordinary cohomology, the diffeomorphisms groups of the circle and of the closed 2-disc have the same bounded cohomology as their homeomorphism gro…
We prove that manifolds with complicated enough fundamental group admit measure-preserving homeomorphisms which have positive stable fragmentation norm with respect to balls of bounded measure.
