Skip to main content

All Questions

Filter by
Sorted by
Tagged with
18 votes
1 answer
2k views

Rokhlin lemma for arbitrary infinite groups.

Let $G$ be an at most countable discrete group acting freely on a standard probability measure space $X$ in a measure preserving way. It is well known that if $G$ is a finite group then this action ...
Łukasz Grabowski's user avatar
16 votes
3 answers
1k views

What are some interesting examples of non-classical dynamical systems? (Group action other than $\mathbb{Z}$ or $\mathbb{R}$ )

By classical dynamical system, I mean a measure space together with a measurable action of the integers or the reals. Of course, this action is often interpreted as evolution with respect to discrete ...
13 votes
3 answers
882 views

Has dynamics on $G/\Gamma$ ever been used to prove interesting things about $\Gamma$?

Fix a Lie group $G$ and a discrete subgroup $\Gamma \subset G$. Homogeneous dynamics is about studying the actions of subgroups $H \subset G$ on the quotient $G/\Gamma$. Does anyone know of an ...
11 votes
1 answer
925 views

About positive upper density

For $S\subset \mathbb{N}$ define the upper density as $D^{\ast }(S)=\limsup_{n\rightarrow \infty }\frac{\left\vert S\cap \{1,2,\ldots,n\} \right\vert }{% \left\vert n\right\vert }.$ Question: ...
Ali  Barzanouni's user avatar
8 votes
3 answers
1k views

amenable equivalence relation generated by an action of a non-amenable group

Question. Give a (possibly elementary) example of a probability measure preserving action $\rho\colon G \curvearrowright X$ of a finitely-generated discrete group $G$ on a standard borel space $X$ ...
Łukasz Grabowski's user avatar
7 votes
0 answers
305 views

Generator of a $\bigoplus_{n=0}^\infty \mathbb{Z}/2\mathbb{Z}$-action

Let $T$ be a measure-preserving action of a group $G$ on a Lebesgue space $X$. That means that $T$ associates an automorphism (i.e. an invertible measure-preserving transformation) $T^g$ of $X$ to ...
Stéphane Laurent's user avatar
6 votes
2 answers
411 views

pointwise ergodic theorem and mean sojourn time

Originally posted on Maths StackExchange, but repositing here because of getting no answer there. Not a research question really - I'm just confused by implications between various ergodic theorems. ...
Łukasz Grabowski's user avatar
5 votes
2 answers
297 views

Seeking to understand meaning of "von Neumann spectrum" in a paper of Bader–Furman–Shaker

In attempting to understand the paper "Superrigidity, Weyl groups, and actions on the circle" of Uri Bader, Alex Furman and Ali Shaker (linked at Furman's page) I find that towards the end of the ...
Rupert's user avatar
  • 2,125
5 votes
0 answers
352 views

"topological" conjugacy of group automorphisms

In the paper "Orbit Equivalence and Topological Conjugacy of Affine Actions on Compact Abelian Groups", S. Bhattacharya shows (Theorem 3) the following: Theorem. Given two actions $\alpha$ and $\...
Łukasz Grabowski's user avatar
4 votes
1 answer
314 views

Properties of the spectrum of the Koopman representation

Let $G$ be a discrete countable infinite group acting on a compact metric space $X$ via homeomorphisms preserving a probability measure $\mu$. A function $\lambda\colon G\to \mathbb C$ is an ...
Martha Łącka's user avatar
4 votes
1 answer
332 views

Kac's lemma for amenable group actions

The classical Kac's lemma says the following. Let $(X,\mu)$ be a probability space and $T$ a measure preserving transformation. Assume $A\subset X$ has positive measure. Then $$\sum_{k\ge 1} k\mu(A_k)...
apvelozo's user avatar
3 votes
3 answers
570 views

Free ergodic probability measure-preserving actions of the free group

Let $(X,\mathcal{B},\mu)$ be a standard Borel probability space. Let $\Gamma$ be a countable group. An action of $\Gamma$ on $X$ is: essentially free if for all $g \in \Gamma \setminus \{e \}$,...
Sebastien Palcoux's user avatar
3 votes
2 answers
448 views

Asymptotically invariant maps and strongly ergodic actions

Let $\Gamma$ be a countable group which acts strongly ergodically on a probability measure space $(X,\mu)$. Let $\sigma_k:X \rightarrow Y$ be a sequence of measurable functions into a complete metric ...
ness1's user avatar
  • 121
2 votes
0 answers
153 views

Proof of Zimmer's cocycle super-rigidity theorem

I was reading the proof of Zimmer's cocycle super-rigidity theorem from the book 'Ergodic theory and semi-simple groups' by Robert Zimmer (Theorem 5.2.5, page 98). But I am not able to understand it. ...
John Depp's user avatar
  • 331
1 vote
0 answers
121 views

Name/terminology for a relationship between group actions

Let $G$ and $H$ be groups, both acting on a set $X$. Suppose that there is a homomorphism $\phi:G\to H$ such that for every $g\in G$ and $x\in X$, $g\cdot x = \phi(g)\cdot x$. Is there a name for this ...
Iian Smythe's user avatar
  • 3,115