Discrete groups with Kazhdan's property \(T\) and factorization property are residually finite (Q1337521)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Discrete groups with Kazhdan's property \(T\) and factorization property are residually finite
scientific article

    Statements

    Discrete groups with Kazhdan's property \(T\) and factorization property are residually finite (English)
    0 references
    0 references
    0 references
    9 November 1994
    0 references
    Let \(G\) be a discrete group. \(G\) has factorization property (property (F)) if the two-sided regular representation \(\lambda\otimes \rho: G\times G\to {\mathcal L}(\ell_ 2(G))\) given by \(\lambda\otimes \rho(g,h)= \lambda(g)\rho(h)\) extends to a continuous *-representation from \(C^*(G)\otimes^{\min} C^*(G)\) into \({\mathcal L}(\ell_ 2(G))\) [cf. the author, Invent. Math. 112, 449-489 (1993), sec. 7]. Let \(G\) be a discrete group with property \(T\) of \textit{D. A. Kazhdan} [Funct. Anal. Appl. 1, 63-65 (1967; Zbl 0168.276)]. We show that \(G\) is maximally almost periodic if and only if \(G\) has property (F). Since for discrete groups with property \(T\), maximal almost periodicity is equivalent to residual finiteness, it follows that property (F) is not satisfied for all discrete groups. In particular, \(G\) is residually finite if it has property \(T\) and has a faithful representation into a locally compact group \(H\) such that \(C^*(H)\) is nuclear (e.g. if \(H\) is a connected Lie group) or if \(G\) has property \(T\) and a faithful unitary representation into the hyperfinite \(\text{II}_ 1\) factor.
    0 references
    0 references
    0 references
    0 references
    0 references
    property (F)
    0 references
    discrete group with property \(T\) of Kazhdan
    0 references
    factorization property
    0 references
    two-sided regular representation
    0 references
    maximal almost periodicity
    0 references
    residual finiteness
    0 references
    nuclear
    0 references
    Lie group
    0 references
    faithful unitary representation
    0 references
    hyperfinite \(\text{II}_ 1\) factor
    0 references