location:  Publications → journals → CJM
Abstract view

K-Theory of Non-Commutative Spheres Arising from the Fourier Automorphism

Published:2001-06-01
Printed: Jun 2001
• Samuel G. Walters
 Format: HTML LaTeX MathJax PDF PostScript

Abstract

For a dense $G_\delta$ set of real parameters $\theta$ in $[0,1]$ (containing the rationals) it is shown that the group $K_0 (A_\theta \rtimes_\sigma \mathbb{Z}_4)$ is isomorphic to $\mathbb{Z}^9$, where $A_\theta$ is the rotation C*-algebra generated by unitaries $U$, $V$ satisfying $VU = e^{2\pi i\theta} UV$ and $\sigma$ is the Fourier automorphism of $A_\theta$ defined by $\sigma(U) = V$, $\sigma(V) = U^{-1}$. More precisely, an explicit basis for $K_0$ consisting of nine canonical modules is given. (A slight generalization of this result is also obtained for certain separable continuous fields of unital C*-algebras over $[0,1]$.) The Connes Chern character $\ch \colon K_0 (A_\theta \rtimes_\sigma \mathbb{Z}_4) \to H^{\ev} (A_\theta \rtimes_\sigma \mathbb{Z}_4)^*$ is shown to be injective for a dense $G_\delta$ set of parameters $\theta$. The main computational tool in this paper is a group homomorphism $\vtr \colon K_0 (A_\theta \rtimes_\sigma \mathbb{Z}_4) \to \mathbb{R}^8 \times \mathbb{Z}$ obtained from the Connes Chern character by restricting the functionals in its codomain to a certain nine-dimensional subspace of $H^{\ev} (A_\theta \rtimes_\sigma \mathbb{Z}_4)$. The range of $\vtr$ is fully determined for each $\theta$. (We conjecture that this subspace is all of $H^{\ev}$.)
 Keywords: C*-algebras, K-theory, automorphisms, rotation algebras, unbounded traces, Chern characters
 MSC Classifications: 46L80 - $K$-theory and operator algebras (including cyclic theory) [See also 18F25, 19Kxx, 46M20, 55Rxx, 58J22] 46L40 - Automorphisms 19K14 - $K_0$ as an ordered group, traces

 top of page | contact us | privacy | site map |