In low dimensional topology there are host of examples along the lines of the curve complex of a surface. Someone like Andy Putman will be able to provide a more detailed explanation, but here is a summary. You build a simplicial complex in which vertices are isotopy classes of closed curves in a surface, and n-simplices are disjoint (n+1)-tuples of curves. If you require that no curve bounds a disc (or an annulus if your surface has boundary) then it is fairly easy to see that the complex is finite dimensional. The mapping class group of the underlying surface acts on this complex.
Now, the homotopy types of this complex and its variations, and of the quotient by the mapping class group, are very interesting objects. In particular, studying the low dimensional homotopy groups allow you to do things like construct presentations for the mapping class group.
This sort of construction is really a small industry in low dim topology/geometric group theory. Braid groups, automorphism groups of free groups, surface mapping class groups, 3-manifold mapping class groups, and various subgroups of these, can all be studied via complexes of this type, and often we only understand the complex as far as its 2-type.
No comments:
Post a Comment