2
$\begingroup$

Let $G$ be a discrete group.

Do you know characterizations of amenable groups which use the space $\ell_1(G)$ and convolution?

I only know Johnson's theorem:

A group is amenable if and only if the Banach algebra $\ell_1(G)$ is amenable.

Different characterizations are welcome.

$\endgroup$
2
  • 5
    $\begingroup$ I think this needs to be community wiki $\endgroup$
    – Yemon Choi
    Dec 6, 2010 at 0:48
  • 1
    $\begingroup$ @YemonChoi, your patience has been rewarded after less than 11 years! $\endgroup$
    – LSpice
    Aug 29, 2021 at 19:47

2 Answers 2

6
$\begingroup$

I like the following characterization, due to Kaimanovich and Vershik (conjectured by Furstenberg):

A (countable) group is amenable if and only if there is an everywhere positive $\ell^{1}$-function $\mu$ of norm $1$ on $G$ such that $\|g\mu^{\ast n} - \mu^{\ast n}\|_{1} \to 0$ for all $g \in G$.

As a consequence, a group is amenable if and only if some Poisson boundary $\Gamma{(G,\mu)}$ is reduced to a point. The neat thing is that you can always choose a Reiter sequence formed by the convolution powers of a single probability.

$\endgroup$
6
$\begingroup$

To get the ball rolling: the convolution algebra $\ell^1(G)$ always supports a character $\varepsilon$ (=homomorphism from the algebra to the complex numbers) defined by sending $\delta_x$ to 1 for each $x\in G$ - this is usually called the augmentation character - and its kernel is called the augmentation ideal. Denoting this ideal by $I_0(G)$, we have the following result:

Theorem. The following are equivalent:

  1. $G$ is amenable
  2. $I_0(G)$ has a bounded approximate identity
  3. $I_0(G)$ has an approximate identity

Another variant of this result is that $G$ is amenable if and only if the one-dimensional $\ell^1(G)$-module corresponding to $\varepsilon$ is flat in the sense of Helemskii et al.

$\endgroup$
8
  • $\begingroup$ @Yemon: Can the approximate unit of $I_0(G)$ be taken to be two-sided and of norm at most one? $\endgroup$ Dec 6, 2010 at 1:18
  • $\begingroup$ Theo: I think that if $G$ is amenable then the BAI can indeed be chosen to have the properties you describe, but I would have to check this. Conversely, the existence of any approximate identity (possibly unbounded) does force $G$ to be amenable; if I recall correctly this is due to George Willis but I will have to check later. $\endgroup$
    – Yemon Choi
    Dec 6, 2010 at 5:37
  • $\begingroup$ Good point, Andreas. I wasn't thinking clearly when I said that one could get a BAI of norm 1, this seems to fail for any finite group with cardinality $\geq 3$. (What I meant in my head was that 1 minus the BAI has norm 1, via Folner sets as you say.) $\endgroup$
    – Yemon Choi
    Dec 6, 2010 at 15:13
  • $\begingroup$ Yemon: I suspect Willis proved 3 $\Rightarrow$ 2, right? $\endgroup$ Dec 6, 2010 at 21:32
  • 1
    $\begingroup$ I've now found a reference: Delaporte-Derighetti, ams.org/mathscinet-getitem?mr=1301019 Essentially they proceed as I outlined an hour ago. Their Theorem 3 can be applied in our situation with $H=G$ and shows that a two-sided approximate unit of norm two can indeed be found. If $G$ is infinite, their Theorem 5 shows that $2$ is the best possible bound. $\endgroup$ Dec 7, 2010 at 8:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.