Botanic of Trees in Outer Space
Joint work with Arnaud Hilion
I am interested in particular examples of trees with isometric actions of a free group . These are real trees, action is minimal (all orbits are dense), very small (all arc stabilisers are trivial). These represent points of Outer space (case of free actions) and its boundary.
1. Limit set
I am interested in a new notion of limit set: is the set of points in the tree at which orbits accumulate in at least two different ways.
Definition 1 if there exist distinct points , and sequences , converging respectively to and and such that and tend to .
The boundary map , is continuous provided is equipped with the weak observer topology (whose open sets are directions .
1. Start with a once punctured torus. View it as the mapping torus of on . It carries a measured foliation. Lift to universal covering space. There, the space of leaves is a metric tree with an isometric action of . If , orbits are dense and .
2. The Levitt tree. Start with a band complex which is not a surface. E.g. more than two bands can be glued along the same interval. View this as the mapping torus of an interval translation mapping (more general that an interval exchange). Here, is totally disconnected. Indeed, points of are those which belong to bi-infinite leaves. Run Rips’ machine: erase the points which are endpoints of at most one band. Iterate. What remains is the relative limit set . It is a Cantor set. Then has empty interior and is totally disconnected.
Theorem 2 (Coulbois, Hilion, Lustig) Every tree in Outer space and its boundary is transverse to the foliation of a band complex built on a compact subtree of .
Band complex is constructed as follows. Pick a basis of free group . It restricts to a partial isometry of . Glue a band to .
Here is our botanic. Trees split into 4 types,
- Surface type trees: .
- Levitt type trees: is totally disconnected.
- Geometric trees: is a finite tree.
- Non geometric trees: see below.
To distinguish these types, we introduce numerical invariants. For simplicity, let us assume the action is free.
2.1. Geometric index
Definition 3 For , set
Then define the geometric index of by
Theorem 4 (Gaboriau, Levitt) For all trees in Outer space of and its boundary, the geometric index satisfies
with equality iff is geometric.
Again, assume the -action is free.
Definition 5 For , set
Then define the -index of by
Theorem 6 (Coulbois, Hilion) For all trees in the boundary of Outer space of , the -index satisfies
with equality iff is of surface type.
Of surface type does not mean it arises from a surface, it is more general.
Example: Let be iwip. Then the action on on the boundary of Outer Space has two fixed points which are trees with actions all of whose orbits are dense.
Proposition 7 If is iwip, both fixed points have the same -index.
Example 1 (Boshernitzian, Kornfeld) Let map , , . Then the fixed point is our second example (Levitt tree), it is geometric, but . Whereas has , it is surface type. It has a compact heart of Hausdorff dimension ( is incomplete and is contained in the metric completion). Furthermore, so it is non geometric.