Skip to main content
3 of 5
typo

almost fundamental domains for 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 admits a fundamental domain.

Call a set $U\subset X$ an $(\varepsilon, N)$-fundamentalish domain iff there exist $N$ elements $g_1, \ldots, g_N$ of $G$ such that the sets $g_i(U)$ are pairwise disjoint and the measure of their union is at least $1-\varepsilon$.

Question 1 If $G$ is an infinite group, $N_0$ is a natural number, $\varepsilon_0$ is a positive real number, does there exist an $(\varepsilon, N)$-fundamentalish domain with $\varepsilon<\varepsilon_0$ and $N>N_0$?

Question 2 Same as above, but assume there is an element of infinite order in $G$.

Question 2 boils down to $G=\mathbb Z$. I'm particularly interested in Bernoulli shifts.

For example when the action is profinite and "transitive on each level", then clearly answer to Question 1 is positive: there exist $(0,N)$-fundamentalish domains for arbitrary large $N$.