This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical systems. The main result is a stable uniqueness theorem that generalizes a fundamental characterization of ordinary $KK$-theory by Lin and Dadarlat-Eilers. Along the way, we prove an equivariant Cuntz-Thomsen picture analog of the fact that the equivalence relation of homotopy agrees with the (a priori stronger) equivalence relation of stable operator homotopy. The results proved in this paper will be employed as the technical centerpiece in forthcoming work of the authors to classify certain amenable group actions on Kirchberg algebras by equivariant Kasparov theory.
Let G be a finite group. We systematically exploit general homological methods in order to reduce the computation of G-equivariant KK-theory to topological equivariant K-theory. The key observation is that the functor assigning to a separable G-C*-algebra the collection of all its equivariant K-theory groups lifts naturally to a homological functor taking values in the abelian tensor category of Mackey modules over the classical representation Green functor for G. This fact yields a new universal coefficient and a new Kuenneth spectral sequence for the G-equivariant Kasparov category, whose co…
Let G be a locally compact group. We describe elements of KK^G (A,B) by equivariant homomorphisms, following Cuntz's treatment in the non-equivariant case. This yields another proof for the universal property of KK^G: It is the universal split exact stable homotopy functor. To describe a Kasparov triple (E, phi, F) by an equivariant homomorphism, we have to arrange for the Fredholm operator F to be equivariant. This can be done if A is of the form K(L^2G) otimes A' and more generally if the group action on A is proper in the sense of Rieffel and Exel.
In this article, we generalize to the case of measured quantum groupoids on a finite basis some important results concerning equivariant Kasparov theory for actions of locally compact quantum groups [S. Baaj and G. Skandalis, 1989, 1993]. To every pair $(A,B)$ of C*-algebras continuously acted upon by a regular measured quantum groupoid on a finite basis $\cal G$, we associate a $\cal G$-equivariant Kasparov theory group ${\sf KK}_{\cal G}(A,B)$. The Kasparov product generalizes to this setting. By applying recent results concerning actions of regular measured quantum groupoids on a finite bas…
Let $G=\mathrm{SL}(3,\mathbb{C})$. We construct an element of $G$-equivariant $K$-homology from the Bernstein-Gelfand-Gelfand complex for $G$. This furnishes an explicit splitting of the restriction map from the Kasparov representation ring $R(G)$ to the representation ring $R(K)$ of its maximal compact subgroup, and the splitting factors through the equivariant $K$-homology of the flag variety of $G$. In particular, we obtain a new model for the gamma element of $G$. The proof makes extensive use of earlier results of the author concerning harmonic analysis of longitudinal psuedodifferential …
We construct a Fredhom module representing the Kasparov gamma element in G-equivariant KK-theory for G a semisimple Lie group of real rank one. This is the main step of our proof of the Baum-Connes conjecture for such groups.
For a proper, cocompact action by a locally compact group of the form $H \times G$, with $H$ compact, we define an $H \times G$-equivariant index of $H$-transversally elliptic operators, which takes values in $KK_*(C^*H, C^*G)$. This simultaneously generalises the Baum--Connes analytic assembly map, Atiyah's index of transversally elliptic operators, and Kawasaki's orbifold index. This index also generalises the assembly map to elliptic operators on orbifolds. In the special case where the manifold in question is a real semisimple Lie group, $G$ is a cocompact lattice and $H$ is a maximal comp…
Higson proved that every homotopy invariant, stable and split exact functor from the category of $C^*$-algebras to an additive category factors through Kasparov's $KK$-theory. By adapting a group equivariant generalization of this result by Thomsen, we generalize Higson's result to the inverse semigroup equivariant setting.
We have been studying the index theory for some special infinite-dimensional manifolds with a "proper cocompact" actions of the loop group LT of the circle T, from the viewpoint of the noncommutative geometry. In this paper, we will introduce the LT-equivariant KK-theory and we will construct three KK-elements: the index element, the Clifford symbol element and the Dirac element. These elements satisfy a certain relation, which should be called the (KK-theoretical) index theorem, or the KK-theoretical Poincaré duality for infinite-dimensional manifolds. We will also discuss the assembly maps.
The stabilization theorem for $A$-Hilbert modules was established by G. G. Kasparov. The equivariant version, in which a locally compact group $H$ acts properly on a locally compact space $Y$, was proved by N. C. Phillips. This equivariant theorem involves the Hilbert $(H,C_{0}(Y))$-module $C_{0}(Y,L^{2}(H)^{\infty})$. It can naturally be interpreted in terms of a stabilization theorem for proper groupoids, and the paper establishes this theorem within the general proper groupoid context. The theorem has applications in equivariant KK-theory and groupoid index theory.
In this thesis, we investigate the proof of the Baum-Connes Conjecture with Coefficients for a-$T$-menable groups. We will mostly and essentially follow the argument employed by N. Higson and G. Kasparov in the paper [Nigel Higson and Gennadi Kasparov. $E$-theory and $KK$-theory for groups which act properly and isometrically on Hilbert space. Invent. Math., 144(1):23-74, 2001]. The crucial feature is as follows. One of the most important point of their proof is how to get the Dirac elements (the inverse of the Bott elements) in Equivariant $KK$-Theory. We prove that the group homomorphism use…
We provide sufficient conditions to factorise an equivariant spectral triple as a Kasparov product of unbounded classes constructed from the group action on the algebra and from the fixed point spectral triple. Our results are for the action of compact abelian Lie groups, and we demonstrate them with examples from manifolds and $θ$-deformations. In particular we show that equivariant Dirac-type spectral triples on the total space of a torus principal bundle always factorise. We also present an example that shows what goes wrong in the absence of our sufficient conditions (and how we get around…
Let $T$ be a circle group, and $LT$ be its loop group. We hope to establish an index theory for infinite-dimensional manifolds which $LT$ acts on, including Hamiltonian $LT$-spaces, from the viewpoint of $KK$-theory. We have already constructed several objects in the previous paper \cite{T}, including a Hilbert space $\mathcal{H}$ consisting of "$L^2$-sections of a Spinor bundle on the infinite-dimensional manifold", an "$LT$-equivariant Dirac operator $\mathcal{D}$" acting on $\mathcal{H}$, a "twisted crossed product of the function algebra by $LT$", and the "twisted group $C^*$-algebra of $L…
We investigate the homological ideal $\mathfrak{J}_G^H$, the kernel of the restriction functors in compact Lie group equivariant Kasparov categories. Applying the relative homological algebra developed by Meyer and Nest, we relate the Atiyah-Segal completion theorem with the comparison of $\mathfrak{J}_G^H$ with the augmentation ideal of the representation ring. In relation to it, we study on the Atiyah-Segal completion theorem for groupoid equivariant $\mathrm{KK}$-theory, McClure's restriction map theorem, permanence property of the Baum-Connes conjecture under extensions of groups and a cla…
A group equivariant $KK$-theory for rings will be defined and studied in analogy to Kasparov's $KK$-theory for $C^*$-algebras. It is a kind of linearization of the category of rings by allowing addition of homomorphisms, imposing also homotopy invariance, invertibility of matrix corner embeddings, and allowing morphisms which are the opposite split of split exact sequences. We demonstrate the potential of this theory by proving for example equivalence induced by Morita equivalence and a Green-Julg isomorphism in this framework.
We give a decomposition of the equivariant Kasparov category for discrete quantum group with torsions. As an outcome, we show that the crossed product by a discrete quantum group in a certain class preserves the UCT. We then show that quasidiagonality of a reduced C*-algebra of a countable discrete quantum group $Γ$ implies that $Γ$ is amenable, and deduce from the work of Tikuisis, White and Winter, and the results in the first part of the paper, the converse (i.e. the quantum Rosenberg Conjecture) for a large class of countable discrete unimodular quantum groups. We also note that the unimod…
