MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

7 deleted 129 characters in body

A finitely presented, countable discrete group $G$ is amenable if there is a finitely additive measure $m$ on the subsets of $G \backslash${$e$} with total mass 1 and satisfying $m(gX)=mX$ for all $X\subseteq G \backslash${$e$} and all $g \in G.$

A countable discrete group $G$ is inner amenable if there is a finitely additive measure $m$ on the subsets of $G \backslash${$e$} with total mass 1 and satisfying $m(gXg^{-1})=mX$ for all $X\subseteq G \backslash${$e$} and all $g \in G.$

The growth $b:\mathbb{N} \rightarrow \mathbb{N}$ of $G$ (with respect to a given word length metric on $G$) is defined as the number of elements $b(n)$ in $G$ lying inside the ball of radius $n$ around $e$.

It is possible to detect the amenability of $G$ in terms of the growth of G (c.f. R. I. Grigorchuk, “Symmetric random walks on discrete groups”, UMN, 32:6(198) (1977), 217–218).

Can the growth of G detect inner amenability?

(Owen took care of this below.)

Now,

I'd like to know if there is an i.c.c. discrete nonamenable simple group that is inner amenable?

(I ask this because it is closer to the original motivation for my earlier question.)

On a related note, what about an answer to Owen's question below?

6 Another line

A finitely presented, countable discrete group $G$ is amenable if there is a finitely additive measure $m$ on the subsets of $G \backslash${$e$} with total mass 1 and satisfying $m(gX)=mX$ for all $X\subseteq G \backslash${$e$} and all $g \in G.$

A countable discrete group $G$ is inner amenable if there is a finitely additive measure $m$ on the subsets of $G \backslash${$e$} with total mass 1 and satisfying $m(gXg^{-1})=mX$ for all $X\subseteq G \backslash${$e$} and all $g \in G.$

The growth $b:\mathbb{N} \rightarrow \mathbb{N}$ of $G$ (with respect to a given word length metric on $G$) is defined as the number of elements $b(n)$ in $G$ lying inside the ball of radius $n$ around $e$.

It is possible to detect the amenability of $G$ in terms of the growth of G (c.f. R. I. Grigorchuk, “Symmetric random walks on discrete groups”, UMN, 32:6(198) (1977), 217–218).

Can the growth of G detect inner amenability?

(Owen took care of this below.)

Now, I'd like to know if there is an i.c.c. discrete nonamenable simple group that is inner amenable?

(I ask this because it is closer to the original motivation for my earlier question.)

On a related note, what about an answer to Owen's question below?

5 Added discrete to the new question...

A finitely presented, countable discrete group $G$ is amenable if there is a finitely additive measure $m$ on the subsets of $G \backslash${$e$} with total mass 1 and satisfying $m(gX)=mX$ for all $X\subseteq G \backslash${$e$} and all $g \in G.$

A countable discrete group $G$ is inner amenable if there is a finitely additive measure $m$ on the subsets of $G \backslash${$e$} with total mass 1 and satisfying $m(gXg^{-1})=mX$ for all $X\subseteq G \backslash${$e$} and all $g \in G.$

The growth $b:\mathbb{N} \rightarrow \mathbb{N}$ of $G$ (with respect to a given word length metric on $G$) is defined as the number of elements $b(n)$ in $G$ lying inside the ball of radius $n$ around $e$.

It is possible to detect the amenability of $G$ in terms of the growth of G (c.f. R. I. Grigorchuk, “Symmetric random walks on discrete groups”, UMN, 32:6(198) (1977), 217–218).

Can the growth of G detect inner amenability?

(Owen took care of this below.)

Now, I'd like to know if there is an i.c.c. discrete nonamenable simple group that is inner amenable?

4 modification, rather than asking another question!
3 Included the most basic definition of growth, and fixed some formatting.; added 11 characters in body
2 There are amenable groups of exponential growth...characterize was the wrong word.
1