3f7b4c6c10a992f9.tex
1: \begin{abstract}
2: A triple of finite von Neumann algebras $B\subset N\subset M$ is said to have the relative weak asymptotic homomorphism property if there exists a net of unitaries $(u_i)_{i\in I}\subset U(B)$ such that
3: $$
4: \lim_{i\in I}\Vert \E_B(xu_iy)-\E_B(\E_N(x)u_i\E_N(y))\Vert_2=0
5: $$
6: for all $x,y\in M$.
7: Then recently, J. Fang, M. Gao and R. Smith proved that the triple $B\subset N\subset M$ has the relative weak asymptotic homomorphism property if and only if $N$ contains the set of all $x\in M$ such that $Bx\subset\sum_{i=1}^n x_iB$ for finitely many elements $x_1,\ldots,x_n\in M$. Furthermore, if 
8: $H<G$ is a pair of groups, they get a purely algebraic characterization of the weak asymptotic homomorphism property for the pair of von Neumann algebras $L(H)\subset L(G)$, but their proof requires a result which is very general and whose proof is rather long. We extend the result to the case of a triple of groups $H<K<G$, we present a direct and elementary proof of the above mentioned characterization and we introduce three more equivalent combinatorial conditions on the triple $H<K<G$, one of them stating that the subspace of $H$-compact vectors 
9: of the quasi-regular representation of $H$ on $\ell^2(G/H)$ is contained in $\ell^2(K/H)$.
10: \end{abstract}