Welcome to MathOverflow

Question

1

2

We say that an action of a (discrete) group G on a locally compact space X is called proper if the map from $G\times X$ to $X\times X$ defined by $(g,x)\mapsto (gx,x)$ is proper. Why is a proper action amenable? (see On the Baum-Connes assembly map for discrete groups-Alain Valette, proof of lemma 2.13). If this is a case, the full crossed product and reduced product for $C_0(X)$ are isomorphic.

edited Sep 3 2011 at 19:19

Alain Valette
6,429●14●26

asked Sep 3 2011 at 17:36

m07kl
551●3●8

Alain Valette · Accepted Answer · 2011-09-03 18:18:44Z UTC

4

Look at that paper by C. Anantharaman-Delaroche: http://www.univ-orleans.fr/mapmo/membres/anantharaman/publications/Exactness02.pdf

In Prop. 2.2, point (2), you find an equivalent condition for amenability of the $G$-action on $X$, in terms of the existence of a net $(g_i)$ of continuous, non-negative functions on $X\times G$. Now, if $X$ is a proper $G$-space, you find a Bruhat function on $X$, i.e. a continuous non-negative function $h$ on $X$ such that $\sum_{t\in G}h(t^{-1}x)=1$. Define then $g_i(x,t)=h(t^{-1}x)$. If I'm not mistaken, the conditions in Anantharaman's result are satisfied.

answered Sep 3 2011 at 18:18

Alain Valette
6,429●14●26

thanks a lot. Bruhat function exists if proper space X is also G-compact? what about converse? Is amenable action proper? – m07kl Sep 3 2011 at 20:53

OK, I see. For a locally compact paracompact Hausdorff space proper action is amenable. To see this if X is G-compact, then we can choose Bruhat function to be compactly supported. If X is not G-compact, Bruhat function comes from G-compact case by partition of unity since compact paracompact Hausdorff implies partition of unity. In this case Bruhat function is not compactly supported, but the intersection of support of Bruhat function with any G-compact set in X is compact. (We need also Usyhson's lemma to construct Bruhat function, but paracompact Hausdorff space is normal) – m07kl Sep 3 2011 at 21:47

This implies also that for a proper G-C*-algebra the reduced and full crossed products coincide by Theorem 5.3 in C. Anantharaman-Delaroche – m07kl Sep 3 2011 at 21:59

1

About the converse: if $G$ is amenable and infinite, the action of $G$ on a point is amenable but not proper. – Alain Valette Sep 3 2011 at 22:19

thanks for answer – m07kl Sep 4 2011 at 13:02

proper action and amenable action

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

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.