## Is $SU(\infty)$ amenable?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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)$.

-
I think that it contains free groups, isn't it? – Valerio Capraro Oct 16 2011 at 19:44
@Valerio Capraro Certainly it does, but that only makes it non-amenable as a discrete group. – John Wiltshire-Gordon Oct 16 2011 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 2011 at 21:53

## 1 Answer

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)$.

-

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 2011 at 18:20
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 27, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9356181025505066, "perplexity_flag": "head"}