Skip to main content
Notice removed Draw attention by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Draw attention by Sanae Kochiya
Bounty Started worth 50 reputation by Sanae Kochiya
Name of paper
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

All definitions used in this post are from this paperBjörklund, Kosloff, and Vaes - Ergodicity and type of nonsingular Bernoulli actions. This post is inspired by the beginning of Section 2.2 in the same paper, and the following set-up for my question is cited from Section 2.2 in the same paper.

Let $G$ be a countable group that defines a non-singular action on a measure space $(X, \mu)$. Define the following mapping:

$$ \alpha: G\times X\rightarrow \mathbb{R}, \hspace{0.2cm} (g, x) \mapsto \log\frac{d\,g\mu}{d\,\mu}(x) = \frac{d\,\mu(g\,\cdot\,x)}{d\,\mu(x)} $$

The mapping $\alpha$ satisfies the $1$-cocycle identity:

$$ \alpha(gh, x) = \alpha(g, h\,\cdot\,x)+\alpha(h, x) $$

for all $g, h\in G$ and for $\mu$-almost every $x\in X$. Then for each $g\in G$, the group action defined on $X\times \mathbb{R}$:

$$ g\,\cdot\,(x, t) = (g\,\cdot\,x, \alpha(g, x)+t) $$

is called the Maharam extension of $G\curvearrowright(X, \mu)$. Observe that the measure $d\mu \times e^{-t}\,dt$ on $X\times \mathbb{R}$ is $G$-invariant. The $G$-action on $X\times \mathbb{R}$ commutes with the $\mathbb{R}$-action on $X\times \mathbb{R}$ where the latter one is defined by $s\,\cdot\,(x, t) = (x, s+t)$. Let $(Z, \eta)$ denote the space of ergodic components of $G\curvearrowright (X, \mu)$, so $L^{\infty} \big(X, \mu \big)^G$ the algebra of $G$-invariant function in $\big(X\times \mathbb{R}, d\mu \times e^{-t}dt\big)$ can be identified by $L^{\infty}\big(Z, \eta\big)$.

My question is the following: fix $\tau: G\times X\rightarrow \mathbb{R}$ another mapping $\tau: G\times X\rightarrow \mathbb{R}$ that is different from $\alpha$ and satisfies the $1$-cocycle identity, and defines the following new $G$-action on $X\times \mathbb{R}$:

$$ g\,\ast\,(x, t) = (g\,\cdot\,x, \tau(g, x)+t ) $$$$ g\,\ast\,(x, t) = (g\,\cdot\,x, \tau(g, x)+t ). $$ Fix an arbitrary $F\in L^{\infty}(X, \mu)^G$, so by definition we have $g\,\cdot\,F = F$ for any $g\in G$. If we assume that $g\,\ast\,F = F$ for all $g\in G$, what can we tell betweenabout the actionactions $g\,\cdot\,(x,t)$ and $g\,\ast\,(x, t)$? Could they be the same, or conjugate with each other, or does it all dependsdepend on the choice of $\tau$?

All definitions used in this post are from this paper. This post is inspired by the beginning of Section 2.2 in the same paper, and the following set-up for my question is cited from Section 2.2 in the same paper.

Let $G$ be a countable group that defines a non-singular action on a measure space $(X, \mu)$. Define the following mapping:

$$ \alpha: G\times X\rightarrow \mathbb{R}, \hspace{0.2cm} (g, x) \mapsto \log\frac{d\,g\mu}{d\,\mu}(x) = \frac{d\,\mu(g\,\cdot\,x)}{d\,\mu(x)} $$

The mapping $\alpha$ satisfies the $1$-cocycle identity:

$$ \alpha(gh, x) = \alpha(g, h\,\cdot\,x)+\alpha(h, x) $$

for all $g, h\in G$ and for $\mu$-almost every $x\in X$. Then for each $g\in G$, the group action defined on $X\times \mathbb{R}$:

$$ g\,\cdot\,(x, t) = (g\,\cdot\,x, \alpha(g, x)+t) $$

is called the Maharam extension of $G\curvearrowright(X, \mu)$. Observe that the measure $d\mu \times e^{-t}\,dt$ on $X\times \mathbb{R}$ is $G$-invariant. The $G$-action on $X\times \mathbb{R}$ commutes with the $\mathbb{R}$-action on $X\times \mathbb{R}$ where the latter one is defined by $s\,\cdot\,(x, t) = (x, s+t)$. Let $(Z, \eta)$ denote the space of ergodic components of $G\curvearrowright (X, \mu)$, so $L^{\infty} \big(X, \mu \big)^G$ the algebra of $G$-invariant function in $\big(X\times \mathbb{R}, d\mu \times e^{-t}dt\big)$ can be identified by $L^{\infty}\big(Z, \eta\big)$.

My question is the following: fix $\tau: G\times X\rightarrow \mathbb{R}$ another mapping that is different from $\alpha$ and satisfies the $1$-cocycle identity, and defines the following new $G$-action on $X\times \mathbb{R}$:

$$ g\,\ast\,(x, t) = (g\,\cdot\,x, \tau(g, x)+t ) $$ Fix an arbitrary $F\in L^{\infty}(X, \mu)^G$, so by definition we have $g\,\cdot\,F = F$ for any $g\in G$. If we assume that $g\,\ast\,F = F$ for all $g\in G$, what can we tell between the action $g\,\cdot\,(x,t)$ and $g\,\ast\,(x, t)$? Could they be the same, conjugate with each other or it all depends on the choice of $\tau$?

All definitions used in this post are from Björklund, Kosloff, and Vaes - Ergodicity and type of nonsingular Bernoulli actions. This post is inspired by the beginning of Section 2.2 in the same paper, and the following set-up for my question is cited from Section 2.2 in the same paper.

Let $G$ be a countable group that defines a non-singular action on a measure space $(X, \mu)$. Define the following mapping:

$$ \alpha: G\times X\rightarrow \mathbb{R}, \hspace{0.2cm} (g, x) \mapsto \log\frac{d\,g\mu}{d\,\mu}(x) = \frac{d\,\mu(g\,\cdot\,x)}{d\,\mu(x)} $$

The mapping $\alpha$ satisfies the $1$-cocycle identity:

$$ \alpha(gh, x) = \alpha(g, h\,\cdot\,x)+\alpha(h, x) $$

for all $g, h\in G$ and for $\mu$-almost every $x\in X$. Then for each $g\in G$, the group action defined on $X\times \mathbb{R}$:

$$ g\,\cdot\,(x, t) = (g\,\cdot\,x, \alpha(g, x)+t) $$

is called the Maharam extension of $G\curvearrowright(X, \mu)$. Observe that the measure $d\mu \times e^{-t}\,dt$ on $X\times \mathbb{R}$ is $G$-invariant. The $G$-action on $X\times \mathbb{R}$ commutes with the $\mathbb{R}$-action on $X\times \mathbb{R}$ where the latter one is defined by $s\,\cdot\,(x, t) = (x, s+t)$. Let $(Z, \eta)$ denote the space of ergodic components of $G\curvearrowright (X, \mu)$, so $L^{\infty} \big(X, \mu \big)^G$ the algebra of $G$-invariant function in $\big(X\times \mathbb{R}, d\mu \times e^{-t}dt\big)$ can be identified by $L^{\infty}\big(Z, \eta\big)$.

My question is the following: fix another mapping $\tau: G\times X\rightarrow \mathbb{R}$ that is different from $\alpha$ and satisfies the $1$-cocycle identity, and defines the following new $G$-action on $X\times \mathbb{R}$:

$$ g\,\ast\,(x, t) = (g\,\cdot\,x, \tau(g, x)+t ). $$ Fix an arbitrary $F\in L^{\infty}(X, \mu)^G$, so by definition we have $g\,\cdot\,F = F$ for any $g\in G$. If we assume that $g\,\ast\,F = F$ for all $g\in G$, what can we tell about the actions $g\,\cdot\,(x,t)$ and $g\,\ast\,(x, t)$? Could they be the same, or conjugate with each other, or does it all depend on the choice of $\tau$?

Source Link

Identification of Maharam extension

All definitions used in this post are from this paper. This post is inspired by the beginning of Section 2.2 in the same paper, and the following set-up for my question is cited from Section 2.2 in the same paper.

Let $G$ be a countable group that defines a non-singular action on a measure space $(X, \mu)$. Define the following mapping:

$$ \alpha: G\times X\rightarrow \mathbb{R}, \hspace{0.2cm} (g, x) \mapsto \log\frac{d\,g\mu}{d\,\mu}(x) = \frac{d\,\mu(g\,\cdot\,x)}{d\,\mu(x)} $$

The mapping $\alpha$ satisfies the $1$-cocycle identity:

$$ \alpha(gh, x) = \alpha(g, h\,\cdot\,x)+\alpha(h, x) $$

for all $g, h\in G$ and for $\mu$-almost every $x\in X$. Then for each $g\in G$, the group action defined on $X\times \mathbb{R}$:

$$ g\,\cdot\,(x, t) = (g\,\cdot\,x, \alpha(g, x)+t) $$

is called the Maharam extension of $G\curvearrowright(X, \mu)$. Observe that the measure $d\mu \times e^{-t}\,dt$ on $X\times \mathbb{R}$ is $G$-invariant. The $G$-action on $X\times \mathbb{R}$ commutes with the $\mathbb{R}$-action on $X\times \mathbb{R}$ where the latter one is defined by $s\,\cdot\,(x, t) = (x, s+t)$. Let $(Z, \eta)$ denote the space of ergodic components of $G\curvearrowright (X, \mu)$, so $L^{\infty} \big(X, \mu \big)^G$ the algebra of $G$-invariant function in $\big(X\times \mathbb{R}, d\mu \times e^{-t}dt\big)$ can be identified by $L^{\infty}\big(Z, \eta\big)$.

My question is the following: fix $\tau: G\times X\rightarrow \mathbb{R}$ another mapping that is different from $\alpha$ and satisfies the $1$-cocycle identity, and defines the following new $G$-action on $X\times \mathbb{R}$:

$$ g\,\ast\,(x, t) = (g\,\cdot\,x, \tau(g, x)+t ) $$ Fix an arbitrary $F\in L^{\infty}(X, \mu)^G$, so by definition we have $g\,\cdot\,F = F$ for any $g\in G$. If we assume that $g\,\ast\,F = F$ for all $g\in G$, what can we tell between the action $g\,\cdot\,(x,t)$ and $g\,\ast\,(x, t)$? Could they be the same, conjugate with each other or it all depends on the choice of $\tau$?