Related papers: A survey on operator $K$-theory via homotopical al…
This is half an overview article since what we describe here is essentially known. We describe $KK$-theory by generators and relations in a formal sum of formal products of $*$-homomorphisms and some synthetical morphisms. What comes out is…
This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…
It is shown that if $A$ and $B$ are unital separable simple nuclear $\mathcal Z$-stable C$^*$-algebras and there is a unital embedding $A \rightarrow B$ which is invertible on $KK$-theory and traces, then $A \cong B$. In particular, two…
In a previous paper we introduced the unitary conjugation groupoid associated to any unital separable Type I C*-algebra. This groupoid encodes the representation-theoretic structure of the algebra through the action of its unitary group on…
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…
In this paper, we introduce Kasparov's bivariant K-theory that is equivariant under symmetries of a C*-tensor category. It is motivated by some dualities in quantum group equivariant KK-theory, and the classification theory of inclusions of…
This research comprehensively describes the basic theory of transversally Heisenberg elliptic operators, and investigates the index theory of Heisenberg elliptic and transversally Heisenberg elliptic operators from the perspective of…
We introduce a global equivariant refinement of algebraic K-theory; here `global equivariant' refers to simultaneous and compatible actions of all finite groups. Our construction turns a specific kind of categorical input data into a global…
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 study cohomology theories of strongly homotopy algebras, namely $A_\infty, C_\infty$ and $L_\infty$-algebras and establish the Hodge decomposition of Hochschild and cyclic cohomology of $C_\infty$-algebras thus generalising previous work…
We construct a symmetric spectrum representing the G-equivariant K-theory of C*-algebras for a compact group or a proper groupoid G. Our spectrum is functorial for equivariant *-homomorphisms. We use this to establish the additivity of the…
This survey article on relative homological algebra in bivariant K-thoery is mainly intended for readers with a background knowledge in triangulated categories. We briefly recall the general theory of relative homological algebra in…
For an algebra B with an action of a Hopf algebra H we establish the pairing between even equivariant cyclic cohomology and equivariant K-theory for B. We then extend this formalism to compact quantum group actions and show that equivariant…
Answering a question of Carri\'on et al in their recent landmark paper on C*-algebra classification, we prove a general uniqueness theorem for $KK$-theory. Given arbitrary separable C*-algebras $A$ and $B$ and a Cuntz pair consisting of two…
Given a connected and locally compact Hausdorff space X with a good base K we assign, in a functorial way, a C(X)-algebra to any precosheaf of C*-algebras A defined over K. Afterwards we consider the representation theory and the Kasparov…
We develop a version of controlled algebra for simplicial rings. This generalizes the methods which lead to successful proofs of the algebraic K- theory isomorphism conjecture (Farrell-Jones Conjecture) for a large class of groups. This is…
We initiate the study of real $C^*$-algebras associated to higher-rank graphs $\Lambda$, with a focus on their $K$-theory. Following Kasparov and Evans, we identify a spectral sequence which computes the $\mathcal{CR}$ $K$-theory of…
The purpose of this paper is to present a simple and explicit construction of the Bokstedt-Hsiang-Madsen cyclotomic trace relating algebraic K-theory and topological cyclic homology. Our construction also incorporates Goodwillie's idea of a…
We compute the homology of the groupoid associated to the Katsura algebras, and show that they capture the $K$-theory of the $C^*$-algebras, and hence satisfying the (HK) conjecture posted by Matui. Moreover, we show that several…
We define a symmetric monoidal structure on the parametrised stable homotopy category over a base space with an action of an $E_\infty$ operad. We discuss products, orientations and push-forwards in parametrised cohomology theories…