pith. sign in

arxiv: 2604.09093 · v2 · submitted 2026-04-10 · 🧮 math.DS

On stationary actions of locally compact groups and their Radon-Nikodym cocycles

Nachi Avraham-Re'em , Michael Bj\"orklund This is my paper

Pith reviewed 2026-05-10 17:35 UTC · model grok-4.3

classification 🧮 math.DS
keywords stationary actionsRadon-Nikodym cocycleslocally compact groupsharmonic majorantPoisson boundarytype III actionsconservative dynamical systemsuniversal models
0
0 comments X

The pith

Locally compact groups with compactly supported Lp-density measures admit a universal compact space realizing all stationary actions together with their continuous Radon-Nikodym cocycles.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that stationary actions of locally compact groups are always conservative and therefore never of type I, while ergodic ones that possess an absolutely continuous sigma-finite invariant measure are in fact probability-preserving and thus never of type II_infty. It also proves that the existence of one type III_1 stationary action implies the existence of stationary actions of every type III_lambda. The central result is that when the driving probability measure is compactly supported and has an Lp density for some p greater than 1, the harmonic majorant of positive harmonic functions is finite and locally bounded, yielding a single compact G-space equipped with a continuous cocycle into which every stationary action embeds so that the ambient cocycle reproduces the Radon-Nikodym derivatives of the action.

Core claim

For measured groups whose probability measure has compact support and an Lp density for p>1, the harmonic majorant is finite and locally bounded. Consequently such groups possess a universal compact Radon-Nikodym model: a single compact G-space carrying a continuous cocycle into which any stationary action can be realized, with the model's cocycle providing a version of the action's Radon-Nikodym cocycle. This strengthens the Mackey-Varadarajan compact model theorem by incorporating the cocycle. By contrast, a random walk on the real affine group is constructed whose Poisson boundary has unbounded Poisson kernel near the identity, so that Harnack's inequality fails and no topological model w

What carries the argument

The harmonic majorant on normalized positive harmonic functions, which supplies Harnack-type control of the Radon-Nikodym derivatives arising from stationary actions.

If this is right

  • Every stationary action of a noncompact locally compact group is conservative.
  • An ergodic stationary action that admits an absolutely continuous invariant sigma-finite measure must in fact be probability-preserving.
  • Any group that possesses a stationary action of type III_1 also possesses stationary actions of every type III_lambda for lambda in (0,1).
  • All stationary actions of the group can be realized simultaneously inside one compact G-space whose continuous cocycle reproduces every Radon-Nikodym cocycle.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The universal model could make it easier to compare dynamical invariants such as entropy or rigidity across different stationary actions of the same group.
  • The counterexample on the affine group indicates that dropping the Lp-density hypothesis typically destroys the possibility of a continuous topological model, highlighting the necessity of the regularity condition.
  • The result may extend to questions of measurable versus topological boundary realizations for actions of Lie groups or other geometric groups.

Load-bearing premise

The probability measure driving the stationary action must be compactly supported and must possess an Lp density for some p greater than 1.

What would settle it

An explicit compactly supported probability measure with Lp density on some locally compact group for which the associated harmonic majorant is infinite on a positive-measure set or unbounded on some compact set would show that the universal compact Radon-Nikodym model cannot exist under the stated hypotheses.

read the original abstract

We study stationary actions of locally compact measured groups through the structure and regularity of their Radon-Nikodym cocycles. We start with two dynamical consequences of stationarity. Extending a theorem of Furstenberg-Glasner from discrete groups to noncompact locally compact groups, we show that every stationary action is conservative. Thus stationary actions are never of type I. We then show that an ergodic stationary action admitting an absolutely continuous invariant sigma-finite measure is in fact probability preserving. Thus stationary actions are never of type II_infty. Using a construction of Katznelson-Weiss and Vaes-Verjans, we show that if a group admits a stationary action of type III_1, then it admits stationary actions of every type III_lambda. The second part concerns the regularity of the Radon-Nikodym cocycle. We introduce the harmonic majorant on normalized positive harmonic functions, which gives Harnack-type control of Radon-Nikodym derivatives of stationary actions. For compactly supported probability measures with an Lp-density for some p>1, we prove that the harmonic majorant is finite and locally bounded. As a consequence, such measured groups admit a universal compact Radon-Nikodym model: a single compact G-space with a continuous cocycle into which stationary actions can be realized, so that the ambient cocycle gives a version of its Radon-Nikodym cocycle. This strengthens the Mackey-Varadarajan compact model theorem by incorporating the Radon-Nikodym cocycle into the model. By contrast, we construct a random walk on the real affine group whose Poisson boundary fails Kaimanovich's SAT* property: the Poisson kernel is unbounded arbitrarily close to the identity. Therefore, Harnack's inequality already fails for positive harmonic functions. In particular, this Poisson boundary admits no topological model with continuous Poisson kernel.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper examines stationary actions of locally compact groups through the lens of Radon-Nikodym cocycles. It extends Furstenberg-Glasner to show conservativity of all stationary actions (hence never type I), proves that ergodic stationary actions with absolutely continuous invariant sigma-finite measures are probability-preserving (hence never type II_∞), shows that existence of a type III_1 stationary action implies existence of all type III_λ, introduces the harmonic majorant on positive harmonic functions to obtain Harnack-type bounds on RN derivatives, proves that compactly supported measures with L^p density (p>1) make the majorant finite and locally bounded, yielding a universal compact RN model that strengthens the Mackey-Varadarajan theorem, and constructs a counterexample random walk on the real affine group whose Poisson boundary fails Kaimanovich's SAT* property with unbounded Poisson kernel near the identity, precluding a continuous topological model.

Significance. If the central claims hold, the work provides useful extensions of conservativity and type results to the locally compact setting, a new regularity criterion (compact support plus L^p density) guaranteeing a universal compact model incorporating the RN cocycle, and a sharp counterexample demonstrating necessity of the regularity assumptions via failure of SAT* and Harnack inequality. Credit is due for the independent dynamical consequences, the explicit affine-group construction, and the model strengthening; these are concrete advances in measured group dynamics.

minor comments (2)
  1. [Abstract] Abstract, first paragraph: the statement that stationary actions are never of type II_∞ follows from the sigma-finite case being probability-preserving; clarify whether this applies only to ergodic actions or more generally.
  2. The counterexample section: specify the precise probability measure on the affine group and the random walk used, to make the failure of SAT* and the unbounded kernel near the identity fully reproducible from the text.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful and accurate summary of our manuscript, the recognition of its contributions to conservativity, type classifications, regularity of Radon-Nikodym cocycles, and the counterexample, as well as the recommendation for minor revision. The report correctly identifies the key results extending Furstenberg-Glasner, the harmonic majorant construction, the L^p-density criterion for a universal compact model, and the failure of SAT* in the affine-group example.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's core derivations extend external results (Furstenberg-Glasner conservativity, Katznelson-Weiss/Vaes-Verjans type-III realizations) and introduce the harmonic majorant with an independent proof of its finiteness and local boundedness under the stated Lp-density and compact-support assumptions on the measure; the universal compact Radon-Nikodym model then follows from this boundedness via standard realization arguments (Mackey-Varadarajan). The affine-group counterexample is constructed separately to demonstrate sharpness of the assumptions. No step reduces a claimed prediction or uniqueness statement to a fitted parameter, self-definition, or load-bearing self-citation chain; all load-bearing steps rest on externally verifiable or cited facts outside the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The claims rest on standard axioms of measure theory, ergodic theory, and the theory of locally compact groups; the harmonic majorant is introduced as a new auxiliary object rather than a postulated physical entity.

pith-pipeline@v0.9.0 · 5650 in / 1479 out tokens · 80335 ms · 2026-05-10T17:35:39.308778+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

  1. [1]

    InProbability Measures on Groups, H

    ´Elie, L.Fonctions harmoniques positives sur le groupe affine. InProbability Measures on Groups, H. Heyer, Ed., vol. 706 ofLecture Notes in Mathematics. Springer, Berlin, 1978, pp. 96–110

    work page 1978

  2. [2]

    quelques exemples clefs dont le groupe affine

    ´Elie, L.Noyaux potentiels associ´ es aux marches al´ eatoires sur les espaces homog` enes. quelques exemples clefs dont le groupe affine. InTh´ eorie du Potentiel, G. Mokobodzki and D. Pinchon, Eds., vol. 1096 ofLecture Notes in Mathe- matics. Springer, 1983, pp. 223–260. [16]Furman, A.Random walks on groups and random transformations. InHandbook of dyna...

    work page arXiv 1983