I have struggled for a long time (and I continue to struggle) with the following question:
Question: Is the group of self-homeomorphisms of the unit disk (in the plane) that fix the boundary pointwise a left-orderable group?
Recall that a group is left-orderable if there is a total order on the elements satisfying if and only if for all . For a countable group, the property of being left orderable is equivalent to the property that the group admits a faithful action on the interval by orientation-preserving homeomorphisms; however, this equivalence is not “natural” in the sense that there is no natural way to extract an ordering from an action, or vice-versa. This formulation of the question suggests that one is trying to embed the group of homeomorphisms of the disk into the group of homeomorphisms of the interval, an unlikely proposition, made even more unlikely by the following famous theorem of Filipkiewicz:
Theorem: (Filipkiewicz) Let be two compact manifolds, and two non-negative integers or infinity. Suppose the connected components of the identity of and are isomorphic as abstract groups. Then and the isomorphism is induced by some diffeomorphism.
The hard(est?) part of the argument is to identify a subgroup stabilizing a point in purely algebraic terms. It is a fundamental and well-studied problem, in some ways a natural outgrowth of Klein’s Erlanger programme, to perceive the geometric structure on a space in terms of algebraic properties of its automorphism group. The book by Banyaga is the best reference I know for this material, in the context of “flexible” geometric structures, with big transformation groups (it is furthermore the only math book I know with a pink cover).
Left orderability is inherited under extensions. I.e. if is a short exact sequence, and both and are left orderable, then so is . Furthermore, it is a simple but useful theorem of Burns and Hale that a group is left orderable if and only if for every finitely generated subgroup there is a left orderable group and a surjective homomorphism . The necessity of this condition is obvious: a subgroup of a left orderable group is left orderable (by restricting the order), so one can take to be and the surjection to be the identity. One can exploit this strategy to show that certain transformation groups are left orderable, as follows:
Example: Suppose is a group of homeomorphisms of some space , with a nonempty fixed point set. If is a finitely generated subgroup of , then there is a point in the frontier of so that has a nontrivial image in the group of germs of homeomorphisms of at . If this group of germs is left-orderable for all , then so is by Burns-Hale.
Example: (Rolfsen-Wiest) Let be the group of PL homeomorphisms of the unit disk (thought of as a PL square in the plane) fixed on the boundary. If is a finitely generated subgroup, there is a point in the frontier of . Note that has a nontrivial image in the group of piecewise linear homeomorphisms of the projective space of lines through . Since the fixed point set of a finitely generated subgroup is equal to the intersection of the fixed point sets of a finite generating set, it is itself a polyhedron. Hence fixes some line through , and therefore has a nontrivial image in the group of homeomorphisms of an interval. By Burns-Hale, is left orderable.
Example: Let be the group of diffeomorphisms of the unit disk, fixed on the boundary. If is a finitely generated subgroup, then at a non-isolated point in the group fixes some tangent vector to (a limit of short straight lines from to nearby fixed points). Consequently the image of in is reducible, and is conjugate into an affine subgroup, which is left orderable. If the image is nontrivial, we are done by Burns-Hale. If it is trivial, then the linear part of at is trivial, and therefore by the Thurston stability theorem, there is a nontrivial homomorphism from to the (orderable) group of translations of the plane. By Burns-Hale, we conclude that is left orderable.
The second example does not require infinite differentiability, just , the necessary hypothesis to apply the Thurston stability theorem. This is such a beautiful and powerful theorem that it is worth making an aside to discuss it. Thurston’s theorem says that if is a finitely generated group of germs of diffeomorphisms of a manifold fixing a common point, then a suitable limit of rescaled actions of the group near the fixed point converge to a nontrivial action by translations. One way to think of this is in terms of power series: if is a group of real analytic diffeomorphisms of the line, fixing the point , then every can be expanded as a power series: . The function is a multiplicative homomorphism; however, if the logarithm of is identically zero, then if is the first index for which some is nonzero, then is an additive homomorphism. The choice of coefficient is a “gauge”, adapted to , that sees the most significant nontrivial part; this leading term is a character (i.e. a homomorphism to an abelian group), since the nonabelian corrections have strictly higher degree. Thurston’s insight was to realize that for a finitely generated group of germs of diffeomorphisms with trivial linear part, one can find some gauge that sees the most significant nontrivial part of the action of the group, and at this gauge, the action looks abelian. There is a subtlety, that one must restrict attention to finitely generated groups of homeomorphisms: on each scale of a sequence of finer and finer scales, one of a finite generating set differs the most from the identity; one must pass to a subsequence of scales for which this one element is constant (this is where the finite generation is used). The necessity of this condition is demonstrated by a theorem of Sergeraert: the group of germs of () diffeomorphisms of the unit interval, infinitely tangent to the identity at both endpoints (i.e. with trivial power series at each endpoint) is perfect, and therefore admits no nontrivial homomorphism to an abelian group.
Let us now return to the original question. The examples above suggest that it might be possible to find a left ordering on the group of homeomorphisms of the disk, fixed on the boundary. However, I think this is misleading. The construction of a left ordering in either category (PL or smooth) was ad hoc, and depended on locality in two different ways: the locality of the property of left orderability (i.e. Burns-Hale) and the tameness of groups of PL or smooth homeomorphisms blown up near a common fixed point. Rescaling an arbitrary homeomorphism about a fixed point does not make things any less complicated. Burns-Hale and Filipkiewicz together suggest that one should look for a structural dissimilarity between the group of homeomorphisms of the disk and of the interval that persists in finitely generated subgroups. The simplest way to distinguish between the two spaces algebraically is in terms of their lattices of closed (or equivalently, open) subsets. To a topological space , one can associate the lattice of (nonempty, for the sake of argument) closed subsets of , ordered by inclusion. One can reconstruct the space from this lattice, since points in correspond to minimal elements. However, any surjective map defines an embedding , so there are many structure-preserving morphisms between such lattices. The lattice is an -space in an obvious way, and one can study algebraic maps together with homomorphisms for which the algebraic maps respect the induced -structures. A weaker “localization” of this condition asks merely that for points (i.e. minimal elements) in the same -orbit, their images in are in the same -orbit. This motivates the following:
Proposition: There is a surjective map from the unit interval to the unit disk so that the preimages of any two points are homeomorphic.
Sketch of Proof: This proposition follows from two simpler propositions. The first is that there is a surjective map from the unit interval to itself so that every point preimage is a Cantor set. The second is that there is a surjective map from the unit interval to the unit disk so that the preimage of any point is finite. A composition of these two maps gives the desired map, since a finite union of Cantor sets is itself a Cantor set.
There are many surjective maps from the unit interval to the unit disk so that the preimage of any point is finite. For example, if is a hyperbolic three-manifold fibering over the circle with fiber , then the universal cover of a fiber is properly embedded in hyperbolic -space, and its ideal boundary (a circle) maps surjectively and finitely-to-one to the sphere at infinity of hyperbolic -space. Restricting to a suitable subinterval gives the desired map.
To obtain the first proposition, one builds a surjective map from the interval to itself inductively; there are many possible ways to do this, and details are left to the reader. qed.
It is not clear how much insight such a construction gives.
Another approach to the original question involves trying to construct an explicit (finitely generated) subgroup of the group of homeomorphisms of the disk that is not left orderable. There is a “cheap” method to produce finitely presented groups with no left-orderable quotients. Let be a group defined by a presentation, where is a word in the letters and , and is a word in the letters and . In any left-orderable quotient in which both and are nontrivial, after reversing the orientation if necessary, we can assume that . If further then , contrary to the fact that . If , then , contrary to the fact that . In either case we get a contradiction. One can try to build by hand nontrivial homeomorphisms of the unit disk, fixed on the boundary, that satisfy . Some evidence that this will be hard to do comes from the fact that the group of smooth and PL homeomorphisms of the disk are in fact left-orderable: any such can be arbitrarily well-approximated by smooth ; nevertheless at least one of the words evaluated on any smooth will be nontrivial. Other examples of finitely presented groups that are not left orderable include higher Q-rank lattices (e.g. subgroups of finite index in when ), by a result of Dave Witte-Morris. Suppose such a group admits a faithful action by homeomorphisms on some closed surface of genus at least . Since such groups do not admit homogeneous quasimorphisms, their image in the mapping class group of the surface is finite, so after passing to a subgroup of finite index, one obtains a (lifted) action on the universal cover. If the genus of the surface is at least , this action can be compactified to an action by homeomorphisms on the unit disk (thought of as the universal cover of a hyperbolic surface) fixed pointwise on the boundary. Fortunately or unfortunately, it is already known by Franks-Handel (see also Polterovich) that such groups admit no area-preserving actions on closed oriented surfaces (other than those factoring through a finite group), and it is consistent with the so-called “Zimmer program” that they should admit no actions even without the area-preserving hypothesis when the genus is positive (of course, admits a projective action on ). Actually, higher rank lattices are very fragile, because of Margulis’ normal subgroup theorem. Every normal subgroup of such a lattice is either finite or finite index, so to prove the results of Franks-Handel and Polterovich, it suffices to find a single element in the group of infinite order that acts trivially. Unipotent elements are exponentially distorted in the word metric (i.e. the cyclic subgroups they generate are not quasi-isometrically embedded), so one “just” needs to show that groups of area-preserving diffeomorphisms of closed surfaces (of genus at least ) do not contain such distorted elements. Some naturally occurring non-left orderable groups include some (rare) hyperbolic -manifold groups, amenable but not locally indicable groups, and a few others. It is hard to construct actions of such groups on a disk, although certain flows on -manifolds give rise to actions of the fundamental group on a plane.