\(K\)-theory for partial crossed products by discrete groups (Q1891839)

From MaRDI portal
scientific article
Language Label Description Also known as
English
\(K\)-theory for partial crossed products by discrete groups
scientific article

    Statements

    \(K\)-theory for partial crossed products by discrete groups (English)
    0 references
    0 references
    10 August 1997
    0 references
    A partial action of a discrete group \(G\) on a \(C^*\)-algebra \(A\), or a \(C^*\)-dynamical system \((A,G,\alpha)\), is defined by giving a collection of two-sided ideals \(\{D_g\}_{g\in G}\) in \(A\) and a collection \(\{\alpha_g\}_{g\in G}\) of isomorphisms \(\alpha_g: G_{g^{-1}}\to D_g\), satisfying natural properties of an action. The space \(L=\{a\in\ell^1(G,A);a(g)\in D_g\}\), with the usual convolution product \[ (ab)(g):= \sum_{h\in G}\alpha_h[\alpha_{h^{-1}}(a(h))b(h^{-1}g)], \] involution \[ a^*(g):= \alpha_g(a(g^{-1})^*) \] and \(\ell^1\)-norm is a Banach *-algebra. The universal enveloping \(C^*\)-algebra is the so-called partial crossed product. The reduced partial crossed product \(A\times_{\alpha_r}\) is the completion of \(\ell^1(G,A)\) with respect to the \(r\)-norm \[ |x|:= \sup\{|(\widetilde\pi\times \lambda)(x)|; (\pi,H)\in\text{Rep } (A)\}. \] Almost all ``the standard facts relating amenability and \(K\)-amenability to ordinary crossed products are extended to this case''. In particular, Proposition 4.2 shows that if \(G\) is an amenable (resp. \(K\)-amenable) discrete group then the canonical surjection from \(A\times_\alpha G\) to \(A\times_{\alpha_r} G\) is an isomorphism (resp. \(KK\)-equivalence), Corollary 5.2 to Proposition 5.1 shows that if \(A\times_\alpha G\) (resp. \(A\times_{\alpha_r} G)\) is simple then \(A\) is \(G\)-simple and for Powers' group \(A\times_{\alpha_r}g\) is simple if and only if \(A\) is \(G\)-simple. The Pimsner-Voiculescu exact sequence for reduced partial crossed products is proved and applied to calculate \(K\)-groups of the amalgamated product of two finite-dimensional \(C^*\)-algebras over a common maximal commutative subalgebra (Propositions 7.1 and 7.2).
    0 references
    0 references
    0 references
    partial action
    0 references
    \(C^*\)-dynamical system
    0 references
    convolution product
    0 references
    Banach *-algebra
    0 references
    universal enveloping \(C^*\)-algebra
    0 references
    reduced partial crossed product
    0 references
    \(K\)-amenability
    0 references
    Pimsner-Voiculescu exact sequence
    0 references
    0 references