Definition

Let GG be a , and let π\pi and ρ\rho be on HπH_\pi and HρH_\rho. The representation π\pi is weakly contained in ρ\rho, written πρ\pi\prec\rho, if for every ξHπ\xi\in H_\pi, KGK\subseteq G, and ε>0\varepsilon>0, there exist η1,,ηnHρ\eta_1,\ldots,\eta_n\in H_\rho such that

π(g)ξ,ξk=1nρ(g)ηk,ηk<ε\left|\langle\pi(g)\xi,\xi\rangle- \sum_{k=1}^n\langle\rho(g)\eta_k,\eta_k\rangle\right|<\varepsilon

for every gKg\in K. The integer nn and the approximating vectors may depend on ξ\xi, KK, and ε\varepsilon. Thus the condition compares positive definite diagonal coefficients uniformly on compact subsets, allowing finite sums of coefficients of ρ\rho; it does not require an isometric embedding of HπH_\pi into HρH_\rho.

Equivalent operator-norm criterion

For the of L1(G)L^1(G), weak containment is equivalent to

π(f)ρ(f)for every fL1(G).\lVert\pi(f)\rVert\leq\lVert\rho(f)\rVert \qquad\text{for every }f\in L^1(G).

Equivalently, after passing to the , kerρkerπ\ker\rho\subseteq\ker\pi. The direction of this inclusion is important: the containing representation detects at least as large a norm. These equivalences are part of Fell's theory of weak containment Fell, 1962.

Coefficients and direct sums

The approximation condition uses diagonal ; polarization recovers approximation statements for general coefficients. A finite sum of diagonal coefficients of ρ\rho is a single diagonal coefficient of a finite direct sum of copies of ρ\rho. Consequently, πρ\pi\prec\rho and ρσ\rho\prec\sigma imply πσ\pi\prec\sigma.

Conventions and scope
References
  1. J. M. G. Fell, "Weak Containment and Induced Representations of Groups," Canadian Journal of Mathematics 14 (1962), 237–268. DOI record. Relevant: the definition and basic permanence properties of weak containment.
  2. Bachir Bekka, Pierre de la Harpe, and Alain Valette, Kazhdan's Property (T), Cambridge University Press, 2008. DOI record. Relevant: Appendix F on weak containment.