Amenable group actions on $L_p$ lattices

Antonio M. Scielzo

2024-02-16

Abstract:A result by Ornstein and Weiss states that a free and measure-preserving action of an amenable group on a probability space yields a decomposition of the space in disjoint images, up to a small error, analogous to the one given by the Rokhlin lemma in the case of a single transformation. We generalise this result to non-singular actions, and use it to prove that the theory of an action by automorphisms of an amenable group on a Banach $L_p$ lattice admits a model companion, which is stable and has quantifier elimination.

Dynamical Systems,Functional Analysis,Logic

What problem does this paper attempt to address?

The problems that this paper attempts to solve can be divided into two main parts:

1. **Generalization of Rokhlin's Lemma under Non - Singular Free Group Actions**:
- Firstly, the paper aims to further generalize Ornstein and Weiss's Rokhlin's Lemma for countable amenable groups acting measurably and freely on probability spaces to the case of non - singular free actions. Specifically, the author hopes to prove a similar decomposition result by introducing a weaker non - singular condition without preserving the measure.
- This generalization not only combines previous research on Rokhlin's Lemma for single transformations and non - singular transformations but also extends the application range of these results, making them applicable to a wider range of group action situations.

2. **Model Theory of Group Actions on Banach Lp - Lattices**:
- The second part of the paper is devoted to studying the theory of automorphisms of amenable groups acting on Banach Lp - lattices. The author introduces a suitable concept of "functional" freeness and represents it as a set of axioms in the G - Lp - lattice language.
- By extending TG (the theory of G - Lp - lattices) and adding these axioms, the author proves that the new theory Tfree_G is a model companion of TG, and when G is an amenable group, this theory is stable and has the quantifier elimination property.
- This result generalizes previous research on Z (the group of integers), indicating that this new theory Tfree_G also has stability and the quantifier elimination property.

### Specific Problems and Solutions

- **Problem 1: Rokhlin's Lemma for Non - Singular Free Actions**:
- **Solution**: By introducing the concept of "approximate multi - covering", the author proves that even under non - singular conditions, it is possible to find a set of sets that almost completely cover the space such that these sets are almost disjoint under group actions. The key to this result lies in choosing sufficiently invariant subsets to ensure that the measure of the boundary part is very small.

- **Problem 2: Model Theory of Group Actions on Banach Lp - Lattices**:
- **Solution**: The author uses the results of the previous part to connect non - singular transformation actions on probability spaces with group actions on Banach Lp - lattices. Through the representation theorem, it is shown how to transfer the results of Rokhlin's Lemma to Lp - lattices. This enables one to obtain local decomposition results on Lp - lattices, and further proves that Tfree_G is a model companion of TG and has stability and the quantifier elimination property.

### Mathematical Formulas

- **Approximate Multi - Covering**:
\[
\sum_{i \in I} \chi_{U_i} \leq M \quad \text{a.e.}
\]
\[
\sum_{i \in I} \mu(U_i) \geq (1 - \delta)M
\]

- **Generalization of Rokhlin's Lemma**:
\[
\mu\left(\bigcup_{1 \leq i \leq \ell} T_i W_i\right) > 1 - \epsilon
\]
\[
\sum_{1 \leq i \leq \ell} \mu((\partial_K T_i) W_i) < \epsilon
\]

- **Stability in Model Theory**:
\[
\text{Tfree}_G \text{ is stable and has quantifier elimination}
\]

Through these results, the paper not only theoretically extends the application range of Rokhlin's Lemma but also provides new insights in model theory, providing a powerful tool for studying group actions on Banach Lp - lattices.