[Paper Review] On extensions of typical group actions

Oleg N. Ageev|arXiv (Cornell University)|Dec 11, 2012

Advanced Topology and Set Theory12 references3 citations

TL;DR

This paper provides a complete group-theoretic characterization of when a typical measure-preserving action of a subgroup $ H $ of a countable abelian group $ G $ can be extended to a free measure-preserving $ G $-action. Using spectral theory, duality in abelian groups, and category-theoretic methods on the space of group actions, the authors show that such extensions are possible if and only if $ H $ is not an infinite bounded group or, if it is, then $ G $ must be weakly isomorphic to $ H $. The result resolves long-standing questions on extendability of typical actions and provides first examples of non-embeddable pairs $ H \leq G $.

ABSTRACT

For every countable abelian group $G$ we find the set of all its subgroups $H$ ($H\leq G$) such that a typical measure-preserving $H$-action on a standard atomless probability space $(X,\mathcal{F}, μ)$ can be extended to a free measure-preserving $G$-action on $(X,\mathcal{F}, μ)$. The description of all such pairs $H\leq G$ was made in purely group terms, in the language of the dual $\hat{G}$, and $G$-actions with discrete spectrum. As an application, we answer a question when a typical $H$-action can be extended to a $G$-action with some dynamic property, or to a $G$-action at all. In particular, we offer first examples of pairs $H\leq G$ satisfying both $G$ is countable abelian, and a typical $H$-action is not embeddable in a $G$-action.

Motivation & Objective

• To determine all pairs $ H \leq G $ of countable abelian groups for which a typical $ H $-action on a standard probability space extends to a free $ G $-action.
• To resolve a longstanding question on the extendability of typical group actions, particularly in the context of spectral properties and group duality.
• To provide the first examples of pairs $ H \leq G $ where a typical $ H $-action cannot be extended to any $ G $-action, even when $ G $ is abelian.
• To clarify the role of dynamic properties—especially freeness—in the extension problem using topological category theory.

Proposed method

• The authors use the dual group $ \widehat{G} $ and spectral theory of unitary representations to analyze the structure of typical actions.
• They apply the concept of 'typical' actions defined via dense $ G_\delta $ sets in the space of all $ G $-actions, leveraging the 0-1 law for dynamic properties.
• The proof relies on constructing explicit sets of locally dense points for the restriction map $ \pi_H: \Omega_G \to \Omega_H $, extending techniques from prior work on $ \mathbb{Z} $-actions.
• A group-theoretic version of the weak-closure theorem is established for infinite countable abelian groups to rule out free extensions in non-weakly isomorphic cases.
• The analysis incorporates the centralizer structure of typical transformations and uses rigidity and rank-one properties to show category preservation.
• The authors use category-theoretic arguments to show that $ \pi_H(F) $ is typical if and only if $ \pi_H $ preserves category, linking this to weak isomorphism conditions.

Experimental results

Research questions

• RQ1 For which subgroups $ H \leq G $ of a countable abelian group $ G $ can a typical $ H $-action be extended to a free $ G $-action?
• RQ2 What is the role of group duality and discrete spectrum in determining the extendability of typical actions?
• RQ3 When is a typical $ H $-action not embeddable in any $ G $-action, even when $ G $ is abelian?
• RQ4 How do dynamic properties like freeness or ergodicity interact with the extension problem via category-theoretic maps?

Key findings

• A typical $ H $-action extends to a free $ G $-action if $ H $ is not an infinite bounded group.
• If $ H $ is an infinite bounded group, then such an extension exists if and only if $ G $ is weakly isomorphic to $ H $.
• The authors construct the first known examples of pairs $ H \leq G $ with $ G $ countable abelian where a typical $ H $-action cannot be extended to any $ G $-action.
• The restriction map $ \pi_H: \Omega_G \to \Omega_H $ preserves category (i.e. sends typical sets to typical sets) if and only if $ G $ is weakly isomorphic to $ H $, when $ H $ is infinite bounded.
• The result implies that for such $ H $, any typical dynamic property (e.g. ergodicity, weak mixing) is inherited under extension if and only if weak isomorphism holds.
• The paper establishes a group-theoretic version of the weak-closure theorem for infinite countable abelian groups, crucial for ruling out non-weakly isomorphic extensions.