| 1 | Is there a geometric action of W on X? |
For general groups this question is the basic question of
geometric group theory in the sense that the question of which two
spaces are homeomorpic is the basic question of topology. For the
other questions below I assume that there exists a geodesic action
of W on X. |
| 2 | Do the fixed point sets of generator
separate the space? | If the space doesn't have the geodesic extension property you
can always do something silly. The question is more interesting
when X has the geodesic extension property. |
| 2' | Does the fixed point set of the generators separate
the space into two components? | Mike Davis shows in
his book that this is always the case when W acts geometrically on a
Z_2 acyclic manifold. As a consequence of this he shows that these
groups are strongly rigid. As a consequence of my thesis I show
sort of the opposite when I show that strongly rigid implies two
components. |
| 2'' | Does the fixed point
set of the generators separate the space into two convex
components? | This question is largely ignored in my thesis
(the convexity part), but I show that it doesn't really matter that
much. |
| 3 | Does is the fixed point set of st =
the intersection of the fixed point sets of s and t? |
Almost the same answer as in 2). What I actually show is that there
is an action with the same orbits that does. More the purposes of
all these other questions that's all that matters! |
| 4 | Do the special subgroups act geometrically on some
convex subset? | If 2 holds (locally ... ) then it's true.
I don't know if we have "rotations" but I suspect that it's still
true. |
| 5 | Is the boundary of X the same as the
boundary of the Davis complex of X? | Some people in the
field doubt this can hold in general even for right-angled Coxeter
groups. However constructing a strict fundamental domain (see
below) gives one a way to build a concrete way of going from either
the Cayley graph or the Davis complex to a more arbitrary CAT(0)
space |
| 6 | Can X have the geodesic
extension property? | Interestingly 3) and 6) are mutually
exclusive for right-angled Coxeter group with transvections (i.e.
when the star of one vertex is contained in the star of
another) |
| 7 | Is X a (combinatorial) building?
| This is really the same as question 8' in disguise. |
| 8 | Can you point to (like saying that the
fundamental domain is the region between certain fixed point sets) a
fundamental domain? | This is something that I'm still
working on!! Based on 8' and other things this really comes down to
understanding commensibility classes of right-angled Coxeter
groups. |
| 8' | Can you point to a
closed (strict) fundamental domain? In particular does one exist?
| This is the MAIN part of my thesis. The answer is YES is
2 holds (locally). It allows me to understand all of these other
questions. |
| 9 | (4-24-08) If Aut(W) = Inn(W) semi direct GraphSymmetries (this is a really easy condition to check for right-angled Coxer groups) and W acts on a X with the geodesic extension property, does the action have a strict fundamntal domain? |
One would hope that all actions on W on such an X would have a strict fundamemental domain, but it is isn't difficult to cook up a lot of example where this does not happen. Essentially what goes on is that the dimension of the fixed point sets is small enough where it can "hide" inside of the space. |