Recursive Massicot–Wagner Argument

• The Recursive Massicot–Wagner Argument is a combinatorial and measure-theoretic method that recursively builds descending chains of symmetric approximate subgroups to model locally compact groups.
• It leverages invariant means, finite covering properties, and recursive inclusion to ensure each successive subgroup retains structural compatibility with the original set.
• This technique has broad applications in additive combinatorics, model theory, and ergodic theory, offering insights into amenability and definability within group actions.

The Recursive Massicot–Wagner Argument is a combinatorial and measure-theoretic technique, principally applied to the structural understanding of approximate subgroups and, in more recent developments, group actions on measure spaces. It establishes the existence of a descending chain of symmetric subsets within a group or its subgroup such that the chain encodes the passage to a locally compact (often Lie) group model, even in asymmetric situations involving group actions on external sets. The argument leverages properties of invariant means, finite covering, and recursive inclusion within powers of approximate subgroups or related definable sets.

1. Foundations: The Standard (Symmetric) Massicot–Wagner Method

The classical Massicot–Wagner argument investigates approximate subgroups $\Lambda$ of a group $G$, seeking a locally compact model through recursive descent. The basic lemma asserts that for any $n\in\mathbb{N}$, there exists a symmetric approximate subgroup $S\subseteq\Lambda^4$ satisfying $S^n\subseteq\Lambda^4$ (Fanlo, 22 Sep 2025). This forms the foundation for the recursive stepwise construction, where each stage produces a definable approximate subgroup $D_i$ (with $D_0=\Lambda$) such that $D_{i+1}^2\subseteq D_i$, and each $D_i$ remains commensurable with $\Lambda$ or a fixed power $G$0. Compactness and quotient arguments guarantee that the existence of such a chain implies the presence of a type-definable normal subgroup of bounded index, permitting the quotient of $G$1 by this subgroup to inherit a locally compact group structure.

2. Abstract Formulation and the Asymmetric Argument for Group Actions

Extending beyond the symmetric case, the argument accommodates arbitrary group actions on external sets $G$2. The main result in (Fanlo, 22 Sep 2025) introduces an asymmetric version: given a group $G$3 acting on $G$4, and sets $G$5 in an invariant mean space $G$6, the key condition is that

$G$7

Here, $G$8 is an approximate subgroup, and $G$9 measures the "overlap" induced by the action. Instead of revising $n\in\mathbb{N}$0 and $n\in\mathbb{N}$1 at each step, the recursive process holds $n\in\mathbb{N}$2 fixed and modifies control sets, such as $n\in\mathbb{N}$3 and an auxiliary set $n\in\mathbb{N}$4, to establish the requisite descending chain $n\in\mathbb{N}$5 with $n\in\mathbb{N}$6 and $n\in\mathbb{N}$7 for all $n\in\mathbb{N}$8. Thus, the existence of this sequence in the group action context is shown to imply a locally compact model for $n\in\mathbb{N}$9.

3. Methodological Steps and Formulae

The recursive descent proceeds by:

• Starting with an initial approximate subgroup $S\subseteq\Lambda^4$0 and mean $S\subseteq\Lambda^4$1.
• Applying the covering property: for any $S\subseteq\Lambda^4$2 in a certain level $S\subseteq\Lambda^4$3 of the Massicot–Wagner system,

$S\subseteq\Lambda^4$4

is "thick" in $S\subseteq\Lambda^4$5, meaning there exists a finite subset $S\subseteq\Lambda^4$6 such that

$S\subseteq\Lambda^4$7

• Recursively constructing a descending sequence $S\subseteq\Lambda^4$8 with $S\subseteq\Lambda^4$9 and $S^n\subseteq\Lambda^4$0.
• Concluding with $S^n\subseteq\Lambda^4$1 and forming the quotient $S^n\subseteq\Lambda^4$2, which is locally compact.

This is accompanied by quantitative control: using parameters $S^n\subseteq\Lambda^4$3, $S^n\subseteq\Lambda^4$4 to force inequalities such as

$S^n\subseteq\Lambda^4$5

with appropriate choice of $S^n\subseteq\Lambda^4$6.

4. Extensions: Application to Amenability and Definability

The extension and refinement in (Hrushovski et al., 2019) demonstrate the argument's adaptability to settings involving amenable topological or definable groups. Here, stabilizer theorems leverage invariant means on lattices of $S^n\subseteq\Lambda^4$7-definable sets, not just finitely supported ones, constructing generic, symmetric sets $S^n\subseteq\Lambda^4$8 such that

$S^n\subseteq\Lambda^4$9

for a stabilizer $D_i$0 and some $D_i$1. This recursive approach enables the proof of equalities like $D_i$2 connecting group-theoretic connected components and compactifications under amenability conditions. The recursive mechanism is essential for producing type-definable components which control the structure of approximate subgroups and their quotients.

5. Algebraic Analogues: Recursive Arguments via Binomial Recursions

Distinct but related methodologies appear in algebraic recursions, notably the "Recursive Massicot–Wagner Argument" in the context of generalized binomial coefficients and Jarden’s Theorem (Lang et al., 2013). Here, recursive strategies permit the derivation of recurrence relations for powers and products of recursive functions. Instead of relying on ratios that may be undefined when terms vanish, the argument defines coefficients intrinsically via polynomials, enabling a passage to the limit and unifying recurrence proofs in regular and degenerate cases:

$D_i$3

where $D_i$4 is a generalized binomial coefficient defined via polynomial evaluation at roots of the characteristic polynomial.

6. Connections to Additive Combinatorics and Model Theory

The method informs qualitative and quantitative structural results in additive combinatorics, such as the classification of approximate groups and their locally compact models central to results by Breuillard–Green–Tao and others. The recursive nature of the descending sequence construction provides concrete control over the approximate subgroup, ultimately linked to definability properties in model-theoretic settings. The argument’s utility extends to contexts including ergodic theory, topological dynamics, and the study of non-abelian groups acting on auxiliary structures.

7. Concluding Remarks and Broader Significance

The Recursive Massicot–Wagner Argument provides a combinatorially transparent, measure-theoretically robust approach to the extraction of locally compact models for approximate subgroups, with a powerful generalization to group actions. It unifies former combinatoric and model-theoretic techniques—leveraging recursive chains of symmetric subsets and invariant means—to yield strong structural results on subgroups, their quotients, and compactifications. The asymmetric version further broadens its applicability, encapsulating contexts where group actions transcend left multiplication and intersect with combinatorial or topological properties of associated measure spaces. As such, the method occupies a central role in contemporary group theory, model theory, and additive combinatorics, as demonstrated in the foundational and recent literature (Fanlo, 22 Sep 2025, Hrushovski et al., 2019, Lang et al., 2013).