CMS/SMC
Canadian Mathematical Society
www.cms.math.ca
Canadian Mathematical Society
  location:  PublicationsjournalsCJM
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 C*-algebras, K-theory, automorphisms, rotation algebras, unbounded traces, Chern characters
MSC Classifications: 46L80, 46L40, 19K14 show english descriptions $K$-theory and operator algebras (including cyclic theory) [See also 18F25, 19Kxx, 46M20, 55Rxx, 58J22]
Automorphisms
$K_0$ as an ordered group, traces
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
 

© Canadian Mathematical Society, 2014 : https://cms.math.ca/