Given a discrete group G. Is there a nice criterion to decide, whether there is a compact Hausdorff $G$- space X, that contains the discrete space $G$ as a subspace, such that the stabilizer of every point in $X$ is (virtually) cyclic ? 


For example the free group admits such a compactification (As well as any hyperbolic group I think). Is it possible to decide, whether $\mathbb{Z}^2$ admits such a compactification? .



Which groups have nice compactifications ?
There are **many** compactifications of particular groups.
For your example of $\mathbb Z^2$: one construction for a compactification is to first embed it as a subgroup of
$S^1 = \mathbb R / \mathbb Z$ by picking two rationally independent numbers for the images of the generators.
Now compactify $\mathbb Z^2$ by making large elements connverge toward their image points in $S^1$.
The stabilizer of any point is trivial.


The same method works to get a compactification associated with any action of $G$ on a compact space $X$. Just pick a point $x \in X$, and adjoin the closure of the orbit of $X$ at infinity in $G$. If the action has no fixed points in the cloure of the orbit, then stabilizers are trivial. It's easier to avoid all but cyclic stabilizers. To make actions with small stabilizers, you can take products of examples; point stabilizes in the product become intersections of stabilizers in the factors. There are many tricks, some of them useful, for making compactifications that are Hausdorff metric spaces.


There's an ultimate (but non-constructive and of large cardinality) compactification, the Stone-Cech compactification, which has trivial point stabilizers for any group,


