No Arabic abstract
We introduce the notion of a homotopy of product systems, and show that the Cuntz-Nica-Pimsner algebras of homotopic product systems over N^k have isomorphic K-theory. As an application, we give a new proof that the K-theory of a 2-graph C*-algebra is independent of the factorisation rules, and we further show that the K-theory of any twisted k-graph C*-algebra is independent of the twisting 2-cocycle. We also explore applications to K-theory for the C*-algebras of single-vertex k-graphs, reducing the question of whether the $K$-theory is independent of the factorisation rules to a question about path-connectedness of the space of solutions to an equation of Yang-Baxter type.
We establish exact sequences in $KK$-theory for graded relative Cuntz-Pimsner algebras associated to nondegenerate $C^*$-correspondences. We use this to calculate the graded $K$-theory and $K$-homology of relative Cuntz-Krieger algebras of directed graphs for gradings induced by ${0,1}$-valued labellings of their edge sets.
We study the equilibrium simplex of Nica-Pimsner algebras arising from product systems of finite rank on the free abelian semigroup. First we show that every equilibrium state has a convex decomposition into parts parametrized by ideals on the unit hypercube. Secondly we associate every gauge-invariant part to a sub-simplex of tracial states of the diagonal algebra. We show how this parametrization lifts to the full equilibrium simplices of non-infinite type. The finite rank entails an entropy theory for identifying the two critical inverse temperatures: (a) the least upper bound for existence of non finite-type equilibrium states, and (b) the least positive inverse temperature below which there are no equilibrium states at all. We show that the first one can be at most the strong entropy of the product system whereas the second is the infimum of the tracial entropies (modulo negative values). Thus phase transitions can happen only in-between these two critical points and possibly at zero temperature.
We construct a functor that maps $C^*$-correspondences to their Cuntz-Pimsner algebras. The objects in our domain category are $C^*$-correspondences, and the morphisms are the isomorphism classes of $C^*$-correspondences satisfying certain conditions. As an application, we recover a well-known result of Muhly and Solel. In fact, we show that functoriality leads us to a more generalized result: strongly Morita equivalent $C^*$-correspondences have Morita equivalent Cuntz-Pimsner algebras.
We give necessary and sufficient conditions for nuclearity of Cuntz-Nica-Pimsner algebras for a variety of quasi-lattice ordered groups. First we deal with the free abelian lattice case. We use this as a stepping stone to tackle product systems over quasi-lattices that are controlled by the free abelian lattice and satisfy a minimality property. Our setting accommodates examples like the Baumslag-Solitar lattice for $n=m>0$ and the right-angled Artin groups. More generally the class of quasi-lattices for which our results apply is closed under taking semi-direct and graph products. In the process we accomplish more. Our arguments tackle Nica-Pimsner algebras that admit a faithful conditional expectation on a small fixed point algebra and a faithful copy of the co-efficient algebra. This is the case for CNP-relative quotients in-between the Toeplitz-Nica-Pimsner algebra and the Cuntz-Nica-Pimsner algebra. We complete this study with the relevant results on exactness.
Given two correspondences X and Y, we show that (under mild hypotheses) the Cuntz-Pimsner algebra of the tensor product of X and Y embeds as a certain subalgebra of the tensor product of the Cuntz-Pimsner algebra of X and the Cuntz=Pimsner algebra of Y. Furthermore, this subalgebra can be described in a natural way in terms of the gauge actions on the Cuntz-Pimsner algebras. We explore implications for graph algebras, crossed products by the integers, and crossed products by completely positive maps. We also give a new proof of a result of Kaliszewski and Quigg related to coactions on correspondences.