Related papers: Dynamical complexity and controlled operator K-the…
We study the computational complexity theory of smooth, finite-dimensional dynamical systems. Building off of previous work, we give definitions for what it means for a smooth dynamical system to simulate a Turing machine. We then show that…
This is a survey on Kasparov's bivariant $KK$-theory in connection with the Baum-Connes conjecture on the $K$-theory of crossed products $A\rtimes_rG$ by actions of a locally compact group $G$ on a C*-algebra $A$. In particular we shall…
We have introduced a notion of $C^*$-symbolic dynamical system in [K. Matsumoto: Actions of symbolic dynamical systems on $C^*$-algebras, to appear in J. Reine Angew. Math.], that is a finite family of endomorphisms of a $C^*$-algebra with…
We develop the notion of independent resolutions for crossed products attached to totally disconnected dynamical systems. If such a crossed product admits an independent resolution of finite length, then its K-theory can be computed (at…
These notes cover the contents of three survey lectures held at the ICTP Trieste Summer school on High dimensional manifold theory 2001. They introduce techniques coming from the theory of operator algebras. We will focus on the basic…
In this paper we introduce the crossed product construction for a discrete group action on an operator system. In analogy to the work of E. Katsoulis and C. Ramsey, we describe three canonical crossed products arising from such a dynamical…
The well known "associativity property" of the crossed product by a semi-direct product of discrete groups is generalized into the context of discrete \emph{quantum} groups. This decomposition allows to define an appropriate triangulated…
In this paper, we use the KK-theory of Kasparov to prove exactness of sequences relating the K-theory of a real C^*-algebra and of its complexification (generalizing results of Boersema). We use this to relate the real version of the…
We define and study an analogue of the Baum-Connes assembly map for complex semisimple quantum groups, that is, Drinfeld doubles of $ q $-deformations of compact semisimple Lie groups. Our starting point is the deformation picture of the…
We give complete descriptions of the tracial states on both the universal and reduced crossed products of a C*-dynamical system consisting of a unital C*-algebra and a discrete group. In particular, we also answer the question of when the…
In this paper we analyse for a $G$-$C^{*}$-algebra $A$ to which extent one can calculate the $K$-theory of the reduced crossed product $K(A\rtimes_{r}G)$ from the $K$-theory spectrum $K(A)$ with the induced $G$-action. We also consider some…
Cuntz and Li have defined a C*-algebra associated to any integral domain, using generators and relations, and proved that it is simple and purely infinite and that it is stably isomorphic to a crossed product of a commutative C*-algebra. We…
Let G be a discrete group. We give methods to compute for a generalized (co-)homology theory its values on the Borel construction (EG x X)/G of a proper G-CW-complex X satisfying certain finiteness conditions. In particular we give formulas…
We define united K-theory for real C*-algebras, generalizing Bousfield's topological united K-theory. United K-theory incorporates three functors -- real K-theory, complex K-theory, and self-conjugate K-theory -- and the natural…
We construct explicit approximating nets for crossed products of C*-algebras by actions of discrete quantum groups. This implies that C*-algebraic approximation properties such as nuclearity, exactness or completely bounded approximation…
We redefine the Baum-Connes assembly map using simplicial approximation in the equivariant Kasparov category. This new interpretation is ideal for studying functorial properties and gives analogues of the assembly maps for all equivariant…
The recently developed theory of partial actions of discrete groups on $C^*$-algebras is extended. A related concept of actions of inverse semigroups on $C^*$-algebras is defined, including covariant representations and crossed products.…
Dynamic complexity is concerned with updating the output of a problem when the input is slightly changed. We study the dynamic complexity of model checking a fixed monadic second-order formula over evolving subgraphs of a fixed maximal…
We compute the equivariant $K$-homology of the classifying space for proper actions, for compact 3-dimensional hyperbolic reflection groups. This coincides with the topological $K$-theory of the reduced $C^\ast$-algebra associated to the…
We prove the $K$-theoretic Farrell-Jones conjecture for groups as in the title with coefficient rings and $C^*$-algebras which are stable with respect to compact operators. We use this and Higson-Kasparov's result that the Baum-Connes…