On the action of the $Σ(2,3,7)$ homology sphere group on its space of left-orders
We show that the action of the group $Γ=\langle a,b,c\mid a^2=b^3=c^7=abc\rangle$ on its space of left-orders has exactly two minimal components.
Discover
Research tools
Network
Opportunities
Account
Source author record
Kathryn Mann appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We show that the action of the group $Γ=\langle a,b,c\mid a^2=b^3=c^7=abc\rangle$ on its space of left-orders has exactly two minimal components.
We give general classification and structure theorems for actions of groups of homeomorphisms and diffeomorphisms on manifolds, reminiscent of classical results for actions of (locally) compact groups. This gives a negative answer to Ghys' "extension problem" for diffeomorphisms of manifolds with boundary, as well as a classification of all homomorphisma $\mathrm{Homeo}_0(M) \to \mathrm{Homeo}_0(N)$ when dim(M) = dim(N) (and related results for diffeomorphisms), and a complete classification of actions of $\mathrm{Homeo}_0(S^1)$ on surfaces. This resolves many problems in a program initiated by Ghys, and gives definitive answers to conjectures of Militon and Hurtado and a question of Rubin.
We answer two questions about the topology of end spaces of infinite type surfaces and the action of the mapping class group that have appeared in the literature. First, we give examples of infinite type surfaces with end spaces that are not self-similar, but a unique maximal type of end, either a singleton or Cantor set. Secondly, we use an argument of Tsankov to show that the "local complexity" relation $\preccurlyeq$ on end types gives an equivalence relation that agrees with the notion of being locally homeomorphic.
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 continuous.
Let $M$ be a manifold, $N$ a 1-dimensional manifold. Assuming $r \neq \dim(M)+1$, we show that any nontrivial homomorphism $ρ: \text{Diff}^r_c(M)\to \text{Homeo}(N)$ has a standard form: necessarily $M$ is $1$-dimensional, and there are countably many embeddings $ϕ_i: M\to N$ with disjoint images such that the action of $ρ$ is conjugate (via the product of the $ϕ_i$) to the diagonal action of $\text{Diff}^r_c(M)$ on $M \times M \times ...$ on $\bigcup_i ϕ_i(M)$, and trivial elsewhere. This solves a conjecture of Matsumoto. We also show that the groups $\text{Diff}^r_c(M)$ have no countable index subgroups.
In this paper, we study Euler classes in groups of homeomorphisms of Seifert fibered 3-manifolds. We show that, in contrast to the familiar Euler class for $\mathrm{Homeo}_0(S^1)^δ$, these Euler classes for $\mathrm{Homeo}_0(M^3)^δ$ are unbounded classes. In fact, we give examples of flat topological M bundles over a genus 3 surface whose Euler class takes arbitrary values.
Let M be a compact manifold. We show the identity component $\mathrm{Homeo}_0(M)$ of the group of self-homeomorphisms of M has a well-defined quasi-isometry type, and study its large scale geometry. Through examples, we relate this large scale geometry to both the topology of M and the dynamics of group actions on M. This gives a rich family of examples of non-locally compact groups to which one can apply the large-scale methods developed in previous work of the second author.
We show that the group of piecewise linear homeomorphisms of any compact PL manifold does not admit a Polish group topology. This uses a) new results on the relationship between topologies on groups of homeomorphisms, their algebraic structure, and the topology of the underlying manifold, and b) new results on the structure of certain subgroups of PL(M). The proof also shows that the group of piecewise projective homeomorphisms of the circle has no Polish group topology.
Let M be a compact manifold, possibly with boundary. We show that the group of homeomorphisms of M has the automatic continuity property: any homomorphism from Homeo(M) to any separable group is necessarily continuous. This answers a question of C. Rosendal. If N is a submanifold of M, the group of homeomorphisms of M that preserve N also has this property. Various applications of automatic continuity are discussed, including applications to the topology and structure of groups of germs of homeomorphisms. In an appendix with Frederic Le Roux we also show, using related techniques, that the group of germs at a point of homeomorphisms of Rn is strongly uniformly simple.
We survey rigidity results for groups acting on the circle in various settings, from local to global and $C^0$ to smooth. Our primary focus is on actions of surface groups, with the aim of introducing the reader to recent developments and new tools to study groups acting by homeomorphisms.
We show that the group of germs at infinity of orientation-preserving homeomorphisms of R admits no action on the line. This gives an example of a left-orderable group of the same cardinality as Homeo+(R) that does not embed in Homeo+(R). As an application of our techniques, we construct a finitely generated group of germs that does not extend to Homeo+(R) and, separately, extend a theorem of E. Militon on homomorphisms between groups of homeomorphisms.
We give a new lower bound on the number of connected components of the space of representations of a surface group into the group of orientation preserving homeomorphisms of the circle. Precisely, for the fundamental group of a genus g surface, we show there are at least k^(2g) + 1 connected components containing representations with Euler number (2g-2)/(k). We also show that certain representations are rigid, meaning that all deformations lie in the same semiconjugacy class. Our methods apply to representations of surface groups into finite covers of PSL(2,R) and into Diff+(S^1) as well, in which case we recover theorems of W. Goldman and J. Bowden. The key technique is an investigation of local maximality phenomena for rotation numbers of products of circle homeomorphisms, using techniques of Calegari-Walker. This is a new approach to studying deformation classes of group actions on the circle, and may be of independent interest.
In this paper we discuss the relationship between groups of diffeomorphisms of spheres and balls. We survey results of a topological nature and then address the relationship as abstract (discrete) groups. We prove that the identity component Diff_0(S^{2n-1}) of the group of smooth diffeomorphisms of S^{2n+1} admits no nontrivial homomorphisms to the group of C^1 diffeomorphisms of the ball B^m for any n and m. This result generalizes theorems of Ghys and Herman. We also examine finitely generated subgroups of Diff_0(S^n) and produce an example of a finitely generated torsion free group Gamma with an action on the circle by smooth diffeomorphisms that does not extend to a C^1 action of Gamma on the disc.
For r at least 3, p at least 2, we classify all actions of the groups Diff^r_c(R) and Diff^r_+(S1) by C^p -diffeomorphisms on the line and on the circle. This is the same as describing all nontrivial group homomorphisms between groups of compactly supported diffeomorphisms on 1- manifolds. We show that all such actions have an elementary form, which we call topologically diagonal. As an application, we answer a question of Ghys in the 1-manifold case: if M is any closed manifold, and Diff(M)_0 injects into the diffeomorphism group of a 1-manifold, must M be 1 dimensional? We show that the answer is yes, even under more general conditions. Several lemmas on subgroups of diffeomorphism groups are of independent interest, including results on commuting subgroups and flows.
In this note, we give an explicit counterexample to the simple loop conjecture for representations of surface groups into PSL(2,R). Specifically, we show that for any surface with negative Euler characteristic and genus at least 1, there are uncountably many non-conjugate, non-injective homomorphisms of its fundamental group into PSL(2,R) that kill no simple closed curve (nor any power of a simple closed curve). This result is not new -- work of Louder and Calegari for representations of surface groups into SL(2, C) applies to the PSL(2,R) case, but our approach here is explicit and elementary.
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 orderable.