---
title: Stationary Actions in Locally Compact Groups
url: https://www.emergentmind.com/topics/stationary-actions-of-locally-compact-groups
type: topic
---

# Stationary Actions in Locally Compact Groups

A stationary action of a locally compact group encapsulates the interplay between group dynamics, random walks, measure theory, and boundary theory on noncompact spaces. For a locally compact second-countable group $G$ endowed with a probability measure $\mu$, a $G$-space $(X,\nu)$ is $\mu$-stationary if $\mu * \nu = \nu$, meaning $\nu$ is preserved in mean under the random walk generated by $\mu$. Stationary measures provide a framework that generalizes invariant measures and unlocks deep structural, rigidity, and analytic properties of group actions, particularly in contexts lacking $G$-invariance.

## 1. Definitions and Foundational Structures

Given a locally compact second-countable (lcsc) group $G$ and a Borel probability measure $\mu$ that is admissible (absolutely continuous with respect to Haar measure and whose support generates $G$ as a closed semigroup), a $G$-space is a standard Borel space $X$ with a Borel $G$-action. A Borel probability measure $\nu$ is quasi-invariant if $g_*\nu \sim \nu$ for all $g \in G$.

A $G$-space $(X,\nu)$ is $\mu$-stationary if, for every Borel set $A \subset X$,
$$
\mu * \nu(A) = \int_G \nu(g^{-1} A) \, d\mu(g) = \nu(A).
$$
Equivalently, for $\nu$-almost every $x$, $\int_G \frac{d(g_*\nu)}{d\nu}(x)\,d\mu(g) = 1$. The family of Radon–Nikodym derivatives $\alpha(g,x) = \frac{d(g^{-1}_* \nu)}{d\nu}(x)$ forms a measurable cocycle, satisfying $\alpha(gh, x) = \alpha(g, h.x)\,\alpha(h,x)$ $\nu$-almost everywhere and, when possible, pointwise for strict versions [2604.09093].

In the topological context, if $\Gamma$ is a finitely generated group and $\mu$ is nondegenerate and finitely supported, a Radon measure $\nu$ (assigning finite mass to compact sets) on a locally compact Hausdorff $X$ is $\mu$-stationary as above when the mean-value equation holds for all $f \in C_c(X)$ [2410.23600].

## 2. Existence of Stationary Measures and the Stationary Tarski Theorem

A key existence result is that every co-compact action of a finitely generated group $\Gamma$ on a locally compact Hausdorff space admits a nonzero $\mu$-stationary Radon measure, regardless of amenability. Explicitly, if $\Gamma$ acts co-compactly on $X$ (i.e., there exists compact $K$ with $X = \bigcup_{g \in \Gamma} g K$), then there is a nonzero Radon measure $\nu$ satisfying $\mu * \nu = \nu$ [2410.23600].

The existence is proven via a stationary analogue of Tarski's theorem: for every nonempty subset $A \subset \Gamma$, there exists a finitely additive, $\mu$-stationary measure $M$ on $2^\Gamma$ with $M(A) = 1$ and $M(E) = \sum_{g} \mu(g)\,M(g^{-1}E)$ for all $E \subseteq \Gamma$. The construction is built on potential theory, using the Green function $G(g) = \sum_{n \geq 0} \mu^{(n)}(g)$. Two disjoint cases are considered based on the total Green mass of $A$ (finite or infinite), and in both situations, compactness arguments and the property of stationarity are pivotal.

A nonzero $\mu$-stationary Radon measure is then constructed by pulling back $C_c(X)$ functions to $\Gamma$, using the finitely additive measure to generate a positive stationary linear functional, and invoking the Riesz–Markov representation theorem [2410.23600].

This result demonstrates that in the nonamenable setting, where no invariant Radon measure may exist, a nonzero infinite stationary measure is nonetheless always present for co-compact actions. The distinction between invariant and stationary measures is thus crucial: amenability is equivalent to the existence of invariant measures on all compact actions, but stationarity always holds for co-compact actions.

## 3. Structure Theory and the Furstenberg–Zimmer Analogue

Stationary actions of lcsc groups admit a deep structural decomposition paralleling—yet generalizing—the classical Furstenberg–Zimmer structure theorem. For any $\nu$-stationary action $G \curvearrowright (X, \mu)$, there exists a diagram of factors with
- $(X, \mu) \rightarrow (Y,\eta) \rightarrow \mathrm{pt}$
such that $(X,\mu) \to (Y,\eta)$ is a weakly mixing extension and $(Y,\eta)\to \mathrm{pt}$ is a distal, measure-preserving action [2212.04353].

The proof centers on random-walk (Markov) operators and conditional $L^2$-modules ($L^2(X|Z)$), with the dichotomy that any stationary extension is either weakly mixing or admits a nontrivial isometric (distal) intermediate factor. The construction uses transfinite recursion over intermediate factors, with separability arguments ensuring the tower terminates [2212.04353].

In this framework, new phenomena absent in strictly measure-preserving dynamics arise: stationary actions may lack invariant measures but still admit a distal factor and a weakly mixing “noise” extension; the distal factor remains measure-preserving even if the ambient system does not.

Illustrative examples include stationary measures for projective group actions and the structure of the Poisson boundary, which is always a weakly mixing extension of a measure-preserving distal system [2212.04353].

## 4. Classification, Rigidity, and Cocycles

The dynamical types of stationary actions are sharply constrained compared to nonsingular actions. The following rigidity results hold [2604.09093]:
- Every stationary action of a noncompact group is conservative: for every Borel set $A$ of positive measure, the set $\{g: \nu(gA \cap A) > 0\}$ has infinite Haar measure.
- Stationary actions are never of type I (purely dissipative) or type II$_\infty$ (infinite invariant measure); ergodic stationary actions are either of type II$_1$ (invariant probability measure) or type III (no σ-finite invariant measure).
- For any stationary action of type III$_1$ (maximal type III), it is possible to construct stationary actions of every type III$_\lambda$ via skew-products and Maharam extensions, encoding all possible ratio sets.

The Radon–Nikodym cocycle $\alpha(g,x)$ attached to a stationary action satisfies an almost-cocycle equation and encodes the full measured orbit equivalence class. Analytic control of $\alpha$ is given via positive $\mu$-harmonic functions:
$$
H(G, \mu) = \{u: G \to \mathbb{R}_{>0}\mid u*\mu = u,\, u(e)=1\}
$$
with the harmonic majorant $m_\mu(g) = \sup_{u \in H(G, \mu)} u(g)$ controlling the oscillation of $\alpha$. Harnack-type inequalities hold where $m_\mu$ is locally bounded, which is guaranteed when $\mu$ has compact support and admits an $L^p$ density, ensuring locally uniform regularity of $\alpha(g,x)$ [2604.09093].

## 5. Universal Models and Regularity Phenomena

Every lcsc $G$ admits a universal compact $G$-space $Y$ (Mackey–Varadarajan model) into which arbitrary Borel $G$-spaces embed equivariantly. Under analytic control assumptions (e.g., $E_\mu[m_\mu]<\infty$), there exists a universal compact model $\mathcal{M}$ with a continuous $\mu$-harmonic cocycle $\beta$ such that every stationary action embeds into $\mathcal{M}$ carrying its Radon–Nikodym cocycle to $\beta$. The construction uses the compactness and equicontinuity of the cone of positive $\mu$-harmonic functions via Arzelà–Ascoli, with an explicit realization of the cocycle structure [2604.09093].

However, the affine group demonstrates the failure of universal regularity. For a random walk on $\operatorname{Aff}(\mathbb{R})$ in the contracting regime, the Poisson kernel (Radon–Nikodym derivative) can be unbounded near the identity, violating Harnack’s inequality and the SAT* property. No continuous compact model can realize the Poisson boundary cocycle in this setting, indicating essential limitations in the theory and reflecting intricate interactions between analytic and probabilistic features of stationary boundaries [2604.09093].

## 6. Connections and Further Directions

Connections to random walks and boundary theory are central. The construction of stationary measures recalls methods from Martin boundary theory, with the Green function playing a prominent role. The Poisson boundary $\Pi(G,\mu)$ of a measured group is always a weakly mixing extension in the stationary category, with no nontrivial isometric factors (Björklund’s criterion) [2212.04353]. Analytic tools such as the harmonic majorant provide direct control over possible cocycle behaviors, and potential-theoretic methods inform possible generalizations beyond finitely supported measures [2410.23600].

Further expected extensions include analogues for more general measured groups (e.g., spread-out or absolutely continuous measures), and for actions of more general groups (beyond countable or discrete). The robust invariance versus stationarity dichotomy highlights the nuanced differences in their ergodic/decomposition theories: amenability characterizes invariance, while co-compactness suffices for nonzero stationary measures.

Counterexamples and rigidity phenomena, such as the absence of stationary measures in certain non-co-compact settings or the unboundedness of Poisson kernels, illustrate both the universality and limitations of stationary measure theory for lcsc group actions [2410.23600, 2604.09093].

Source: https://www.emergentmind.com/topics/stationary-actions-of-locally-compact-groups