show/hide this revision's text 2 added 261 characters in body

Using the standard notation, let $\lambda_gf(x)=f(g^{-1}x)$ be the left regular representation and $\rho_gf(x)=f(xg)$ be the right regular one, acting on the space $V$ of complex-values functions on $G$.

Let $b:G\to \ell_2(G)$ be a cocycle for $\rho$; i.e., $b_g=\rho_g f-f\in \ell_2(G)$ for some $f\in V$ and every $g\in G$.

Question: Does $a_g=\lambda_g f-f$ belong to $\ell_2(G)$ for every $g\in G$? If not, what is the "smallest" subspace $W$ of $V$, $\ell_2(G)\subseteq W\subseteq V$ for which this happens?

(

The most interesting case seems to be when $G$ is amenable.) amenable.

Edit: The metric interpretation is the following. Take all $f\in V$ whose discrete gradient with respect to the left-invariant metric is $\ell_2$-summable. Then $W$ is the space consisting of gradients of these $f$, with respect to the right-invariant metric.

show/hide this revision's text 1

Cocycles for right- and left- regular representations on $\ell_2(G)$

Using the standard notation, let $\lambda_gf(x)=f(g^{-1}x)$ be the left regular representation and $\rho_gf(x)=f(xg)$ be the right regular one, acting on the space $V$ of complex-values functions on $G$.

Let $b:G\to \ell_2(G)$ be a cocycle for $\rho$; i.e., $b_g=\rho_g f-f\in \ell_2(G)$ for some $f\in V$ and every $g\in G$.

Question: Does $a_g=\lambda_g f-f$ belong to $\ell_2(G)$ for every $g\in G$? If not, what is the "smallest" subspace $W$ of $V$, $\ell_2(G)\subseteq W\subseteq V$ for which this happens?

(The most interesting case seems to be when $G$ is amenable.)