K-theory of Furstenberg transformation group C^-algebras

From MaRDI portal
Publication:2862944



Abstract: The paper studies the K-theoretic invariants of the crossed product C∗-algebras associated with an important family of homeomorphisms of the tori BbbTn called {em Furstenberg transformations}. Using the Pimsner-Voiculescu theorem, we prove that given n, the K-groups of those crossed products, whose corresponding nimesn integer matrices are unipotent of maximal degree, always have the same rank an. We show using the theory developed here, together with two computing programs - included in an appendix - that a claim made in the literature about the torsion subgroups of these K-groups is false. Using the representation theory of the simple Lie algebra fraksl(2,BbbC), we show that, remarkably, an has a combinatorial significance. For example, every a2n+1 is just the number of ways that 0 can be represented as a sum of integers between −n and n (with no repetitions). By adapting an argument of van Lint (in which he answered a question of Erd"os), a simple, explicit formula for the asymptotic behavior of the sequence an is given. Finally, we describe the order structure of the K_{0}-groups of an important class of Furstenberg crossed products, obtaining their complete Elliott invariant using classification results of H. Lin and N. C. Phillips.


This article computes the \(K\)-theory of crossed product \(C^{\ast}\)-algebras of tori of arbitrary dimension by certain minimal homeomorphisms, called Furstenberg transformations. The basis of this computation is the Pimsner-Voiculescu exact sequence. Since the \(K\)-theory of tori gets more and more complicated with increasing dimension, a full computation of the \(K\)-theory of the crossed product leads to some intricate combinatorics and linear algebra.NEWLINENEWLINECertain Furstenberg transformations are minimal and uniquely ergodic, so that the crossed product \(C^{\ast}\)-algebra is simple with a unique trace. A theorem by Lin and Phillips shows that such crossed products are classified up to isomorphism by \(K\)-theory together with the order on \(K_0\) and the class of the unit; the order on \(K_0\) contains the same information as the map on \(K_0\) induced by the unique trace.NEWLINENEWLINEThe Anzai transformations are a particular case of Furstenberg transformations. They are defined on the \(n\)-torus by mapping NEWLINE\[NEWLINE (z_1,\dots,z_n)\mapsto (\exp(2\pi i\theta) z_1, z_1z_2, z_2z_3,\dots, z_{n-1}z_n) NEWLINE\]NEWLINE for a real number \(\theta\). By homotopy invariance, the \(K\)-theory of the crossed product, as an abelian group, does not depend on \(\theta\); but the order structure depends on \(\theta\). Both \(K_0\) and \(K_1\) are finitely generated abelian groups of the same rank. This common rank depends on the dimension \(n\) of the torus. The resulting sequence is described in several different ways, using generating functions and an interpretation by certain kinds of partitions. This leads to an asymptotic formula for these ranks.











This page was built for publication: \(K\)-theory of Furstenberg transformation group \(C^{\ast}\)-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2862944)