Invariant functionals on C(R) and amenable groups - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T14:25:52Z http://mathoverflow.net/feeds/question/90263 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/90263/invariant-functionals-on-cr-and-amenable-groups Invariant functionals on C(R) and amenable groups Mariarty 2012-03-05T09:15:35Z 2012-06-12T06:10:29Z <p>Since there seems to be no progress in this interesting question, I took the liberty to reformulate it in a way, that is easier to understand. Moreover, my answer shows that the question is related to amenable groups. Therefore I changed the title to make it more attractive to group theorists. </p> <p>$C_b(\mathbb{R})$ resp. $C_0(\mathbb{R})$ are the continuous functions $\mathbb{R} \to \mathbb{R}$ that are bounded resp. vanish at infinity. </p> <p><strong>Question:</strong> Given two homoeomorphisms $g_1,g_2: \mathbb{R} \to \mathbb{R}$ and a continuous linear functional $L: C_b(\mathbb{R}) \to \mathbb{R}$ with the following properties: </p> <ol> <li>The restriction of $L$ to $C_0(\mathbb{R})$ is zero </li> <li>$L$ is invariant under $g_1,g_2$, i.e. $L(f \circ g_i) = L(f)$ for all $f \in C_b(X)$ </li> </ol> <p>What are conditions on $g_1,g_2$ that enforce $L=0$ ? </p> <hr> <p><em>Original formulation:</em> </p> <p>I have next situation:</p> <p>Let $C_b(\mathbb R)=$ { $f:\mathbb R\rightarrow \mathbb R$ } is the subset of $C(\mathbb R)$ consisting of all bounded continuous functions with a norm $\|\cdot\|$ defined as $\|f\|_\infty=\sup\|f(x)\|$.</p> <p>Let $C_0(\mathbb R)=$ { $f:\mathbb R\rightarrow \mathbb R$ } is the subset of $C(\mathbb R)$ consisting of functions such that for every $ε > 0$, there is a compact set $K⊂\mathbb R$ such that $|f(x)| &lt; ε$ for all $x \in \mathbb R\setminus K$. This is usually called the space of functions vanishing at infinity.</p> <p>There are two homeomorphisms of the line $g_1, g_2$ and a continuous linear positive functional $l$ on $C_b(\mathbb R)$ which is invariant with respect to $g_1, g_2$. Also this functional is permanent: $l([C_0(\mathbb R)])=0$, so $l$ is "concentrate at infinity".</p> <p>Then we make a Stone-Čech compactification of the $\mathbb R$ designated as $\beta \mathbb R$.</p> <p>After Stone-Čech compactification of the line, the homeomorphism still will be a homeomorphism and I can show that it will transfer $\mathbb R$ to $\mathbb R$ and the remainder $\mathbb R^*$ to $\mathbb R^*$ ($\mathbb R^* = \beta\mathbb R\setminus\mathbb R$). By the Riesz representation theorem, for our linear functional (already on $\beta\mathbb R$ and still invariant) there is a unique regular countably additive Borel measure $\mu$ on $\beta\mathbb R$. I can show that this measure will be trivial zero at $\mathbb R$. I need to understand under which conditions on the homeomorphisms this measure will be trivial zero at $\mathbb R^*$. I will be very grateful for links on this problem.</p> <p><strong>UPDATE [12.06.2012]</strong> There is a potential result: let $g_1, g_2\in Homeo_+(\mathbb R)$. $g_1$ can be represented as a line $y=x+k$, where $k>0$, and $g_2$ is such that there are two points $t_1,t_2$, for which following conditions are fulfilled $t_1 &lt; t_2; g_2(t_1)=t_1; g_2(t_2)=t_2; g_2(t)>t$ (or $g_2(t) &lt; t$ ) for $t \in (t_1, t_2); g_1(t_1) \in (t_1, t_2); g_2(t)$ is an arbitrary monotone increasing curve for $t\in (-\infty, t_1) \cup (t_2,+\infty)$. Also we have a group $G =&lt; g_1,g_2 >$ with two generators.</p> <p>If $L$ is a continuous linear functional, which is invariant under $g_1, g_2$, and $L$ was "lowered" from the group $G$ to the $\mathbb R$, and after "lowering" it appears to be permanent (the restriction of $L$ to $C_0(\mathbb R)$ is zero), then $L=0$ and the group $G$ is not amenable.</p> <p>The definition of "lowering" functional from the group to $\mathbb R$ can be found in section §3.1 of the paper <a href="http://arxiv.org/abs/1112.1942" rel="nofollow">http://arxiv.org/abs/1112.1942</a> and the proof of the statement is the whole paper. This paper has not yet verified.</p> http://mathoverflow.net/questions/90263/invariant-functionals-on-cr-and-amenable-groups/91867#91867 Answer by Ralph for Invariant functionals on C(R) and amenable groups Ralph 2012-03-21T22:25:53Z 2012-03-22T07:44:51Z <p>A necessary condition is that the subgroup of homoeomorphisms of $\mathbb{R}$ generated by $g_1,g_2$ is not amenable. </p> <p>As an example concerning $g_1,g_2$ in the OP's comment above, take $$g_1(t) = t+2\hspace{140pt}$$ $$g_2(t)= g(t-2n) + 2n\;\;\; \text{ if }\;\;\; 2n \le t \le 2n+2$$ where $g:[0,2] \to [0,2]$ is any homeo. with $g(0)=0,g(2) =2$. Then $g_1,g_2$ commute. Hence $\langle g_1,g_2\rangle$ is abelian and therefore amenable. Now apply: </p> <blockquote> <p>If $G$ is an amenable group of homeomorphisms of $\mathbb{R}$, there is a continuous functional $L$ with $L(1) = 1$ such that $L|C_0(\mathbb{R})=0$ and $L(f \circ g)=L(f)$ for all $g \in G$. </p> </blockquote> <p>Proof: Suppose $L_0: C_b(\mathbb{R}) \to \mathbb{R}$ is a contiunous functional with $L_0(1) = 1$ and $L_0|C_0(\mathbb{R}) = 0$. Since $G$ is amenable, there is a finitely additive $G$-invariant measure $\mu$ with $\mu(G) = 1$. For each $f \in C_b(\mathbb{R})$, the function $G \to \mathbb{R},\; g \mapsto L_0(f \circ g)$ is bounded. Hence we can define $$L: C_b(\mathbb{R}) \to \mathbb{R}; \; f \mapsto \int_G L_0(f \circ g)\; d\mu(g).$$ It's easy to see that $L$ has the desired properties. </p> <p>In order to obtain $L_0$ let $C_l(\mathbb{R})$ be the space of the continuous functions $f: \mathbb{R} \to \mathbb{R}$ such that $\lim_{t \to +\infty}f(t)$ exists. Then $$L_0: C_l(\mathbb{R}) \to \mathbb{R},\; f \mapsto \lim_{t \to +\infty}f(t)$$ is continous, linear with $L_0|C_0(\mathbb{R}) = 0$ and $L_0(1)=1$. Finally, since $C_l(\mathbb{R})$ is a closed subspace of $C_b(\mathbb{R})$, $L_0$ can be continuously extended to $C_b(\mathbb{R})$ by the Hahn-Banach theorem. </p>