Haagerup's Approximation Property and Relative Amenability
A finite von Neumann algebra $\mathcal{M}$ with a faithful normal trace $% τ$ has Haagerup's approximation property (relative to a von Neumann subalgebra $\mathcal{N}$) if there exists a net $(ϕ_α)_{α\in Λ}$ of normal completely positive ($\mathcal{N}$-bimodular) maps from $\mathcal{M}$ to $\mathcal{M}$ that satisfy the subtracial condition $% τ\circ ϕ_α\leq τ$, the extension operators $% T_{ϕ_α}$ are bounded compact operators (in $<\mathcal{M%},e_{\mathcal{N}}>$), and pointwise approximate the identity in the trace-norm, i.e., $\lim_α||ϕ_α(x)-x||_{2}=0$ for all $% x\in \mathcal{M}$. We prove that the subtraciality condition can be removed, and provide a description of Haagerup's approximation property in terms of Connes's theory of correspondences. We show that if $\mathcal{N}\subseteq \mathcal{M}$ is an amenable inclusion of finite von Neumann algebras and $% \mathcal{N}$ has Haagerup's approximation property, then $\mathcal{M}$ also has Haagerup's approximation property. This work answers two questions of Sorin Popa.