location:  Publications → journals → CMB
Abstract view

# Symmetries of Kirchberg Algebras

Published:2003-12-01
Printed: Dec 2003
• David J. Benson
• Alex Kumjian
• N. Christopher Phillips
 Format: HTML LaTeX MathJax PDF PostScript

## Abstract

Let $G_0$ and $G_1$ be countable abelian groups. Let $\gamma_i$ be an automorphism of $G_i$ of order two. Then there exists a unital Kirchberg algebra $A$ satisfying the Universal Coefficient Theorem and with $[1_A] = 0$ in $K_0 (A)$, and an automorphism $\alpha \in \Aut(A)$ of order two, such that $K_0 (A) \cong G_0$, such that $K_1 (A) \cong G_1$, and such that $\alpha_* \colon K_i (A) \to K_i (A)$ is $\gamma_i$. As a consequence, we prove that every $\mathbb{Z}_2$-graded countable module over the representation ring $R (\mathbb{Z}_2)$ of $\mathbb{Z}_2$ is isomorphic to the equivariant $K$-theory $K^{\mathbb{Z}_2} (A)$ for some action of $\mathbb{Z}_2$ on a unital Kirchberg algebra~$A$. Along the way, we prove that every not necessarily finitely generated $\mathbb{Z} [\mathbb{Z}_2]$-module which is free as a $\mathbb{Z}$-module has a direct sum decomposition with only three kinds of summands, namely $\mathbb{Z} [\mathbb{Z}_2]$ itself and $\mathbb{Z}$ on which the nontrivial element of $\mathbb{Z}_2$ acts either trivially or by multiplication by $-1$.
 MSC Classifications: 20C10 - Integral representations of finite groups 46L55 - Noncommutative dynamical systems [See also 28Dxx, 37Kxx, 37Lxx, 54H20] 19K99 - None of the above, but in this section 19L47 - Equivariant $K$-theory [See also 55N91, 55P91, 55Q91, 55R91, 55S91] 46L40 - Automorphisms 46L80 - $K$-theory and operator algebras (including cyclic theory) [See also 18F25, 19Kxx, 46M20, 55Rxx, 58J22]