Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

We can write the finitary special unitary group $SU(\infty)$ as the direct limit $\varinjlim SU(n)$ of ordinary special unitary groups. These groups $SU(n)$ are compact, thus amenable. In other words each of them has an invariant mean (in this case, from Haar measure). Is $SU(\infty)$ amenable? Of course one then asks the same question for the full unitary group $U(\infty)$, the special orthogonal group $SO(\infty)$ and the unitary symplectic (quaternion unitary) group $Sp(\infty)$.

share|improve this question
    
I think that it contains free groups, isn't it? –  Valerio Capraro Oct 16 '11 at 19:44
    
@Valerio Capraro Certainly it does, but that only makes it non-amenable as a discrete group. –  John Wiltshire-Gordon Oct 16 '11 at 21:12
5  
Sorry if this is silly but what exactly do you mean by amenability for non locally compact groups such as $SU(\infty)$? I'm not at all an expert on this but one definition I guess could be that if $G$ acts on a compact space then there is an invariant probability measure. With that definition I think any direct limit of amenable (in that sense) groups is amenable by weak compactness of probability measures on a compact space. –  Vitali Kapovitch Oct 16 '11 at 21:53
add comment

1 Answer 1

The answer is that $G=SU(\infty)$ (with the direct limit topology of the usual Hilbert-Schmidt topologies) is extremely amenable. This means (by definition) that every continuous action of $G$ on a compact set has a fixed point.

This was proved as an application of the isoperimetric inequality by Gromov and Milman

M. Gromov and V.D. Milman, A topological application of the isoperimetric inequality, Amer. J. Math. 105 (1983), 843–854.

Since $SU(\infty)$ is not locally compact, various characterizations of amenability have to be adapted. One way to define amenability for such groups is to say that there exists a $G$-invariant mean on the algebra of bounded uniformly continuous real-valued functions on $G$. Extreme amenability then gives even the existence of a $G$-invariant character on this algebra. This is somewhat unintuitive, since obviously no compact group can admit such a character on the algebra of continuous functions on it.

Extreme amenability is a concept which is related to phenomena of measure concentration. Gromov and Milman proved (as an application of lower bounds on the Ricci curvature) that for every sequence of measurable subsets $A_n \subset SU(n)$ with $\liminf_{n \to \infty} \mu_n(A_n) \neq 0$, one has $$\lim_{n \to \infty} \mu_n(A_{n,\epsilon}) = 1.$$ Here, $\mu_n$ denotes the normalized Haar measure and $A_{n,\varepsilon}$ the $\varepsilon$-neighborhood of $A_n$ in the unnormalized Hilbert-Schmidt metric. This concentration phenomenon can be used to prove extreme amenability of $SU(\infty)$.

share|improve this answer
1  
I found another affirmative answer in Example 3.4 of a paper "Functional Analytic Background for a Theory of Infinite-Dimensional Reductive Lie Groups" by Daniel Beltita. He shows that if $G$ is a topological group and there is a directed system $\{G_\alpha\}_{\alpha \in A}$ of amenable topological subgroups whose union is dense in $G$ then $G$ is amenable. Here "amenable" means that there is a left-invariant mean. –  Joseph Wolf Oct 25 '11 at 18:20
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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