Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $G$ be a finitely generated group acting on a set $S$ (on the right). Define the heirarchy of "marginal sets" as follows:

  • The emptyset is 0-marginal.

  • A set E is $(k+1)$-marginal if $E$ can be covered by finitely many sets $A$ such that for some $k$-marginal set $B$ and some $g$ in $G$, if $a$ is in $A$ and $a \cdot g^i$ is in $A$ for some $i > 0$, then there is a $j < i$ such that $a \cdot g^j$ is in $B$.

  • a set is marginal if it is $k$-marginal for some $k$.

    So if we recall that $A$ is wandering if, for some $g$ in $G$, the sets $A \cdot g^i$ $(i < \infty)$ are pairwise disjoint, then 1-marginal just means that the set is a finite union of wandering sets.

    The point is that marginal sets are assigned measure 0 by any invariant measure (or even by any invariant exhaustive submeasure --- see my other recent question).

    Now for the question(s):

  • Are there non-amenable actions which are aperiodic but not marginal? (Notice that if $G$ is a non-amenable torsion group acting on itself then the emptyset is the only marginal set.)

  • Can $S$ be $(k+1)$-marginal but not $k$-marginal for some $k > 0$?

  • Has the notion of marginality been considered (and given a name)? (I used the notion to give estimates in my proof of a lower bound for the Folner function for Thompson's $F$, but it seems this "must" have been considered before.)

  • share|improve this question
        
    typo in title of question, btw –  Yemon Choi Nov 12 '10 at 3:53
        
    Maybe it is not exactly the same, but the notion of center of a dynamical system comes to my mind here. Consider $\Omega(f)$ the nonwandering set, now $\Omega_2(f)=\Omega(f|_{\Omega(f)})$ this process can be iterated, and by transfinite induction, you get a set $C(f)$ which is called the center of $f$. It seems as that its complement is related to your marginal sets. –  rpotrie Nov 12 '10 at 11:54
        
    @rpotrie:I don't follow. What do you mean by the non-wandering set? There are sets which are wandering with respect to the action of the group (i.e. there is some element of the group g such that $E \cdot g^k$ $(k < \infty)$ is a pairwise disjoint family, where $E$ is the wandering set) and then every other set is non wandering. –  Justin Moore Nov 12 '10 at 14:57
    1  
    Welcome to MO, Justin! –  François G. Dorais Nov 12 '10 at 15:14
        
    Sorry, I didn't explain enough. The wandering set (in topological dynamics) means the set of points having a neighborhood which is wandering, it is an open set. Its complemente (closed) is the nonwandering set. I know this is not exactly what you are after, it just came into my mind reading your definitions and thought it could help. –  rpotrie Nov 12 '10 at 15:19
    show 1 more comment

    Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

    Your Answer

     
    discard

    By posting your answer, you agree to the privacy policy and terms of service.

    Browse other questions tagged or ask your own question.