MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


I have recently read about the construction of the descent map in Kasparov KK theory, which, for a group $G$ and two $G$-equivariant $C^*$ algebra $A$ and $B$ send $KK_i^G(A,B)$ to $KK_i(A \rtimes_{red} G, B \rtimes_{red} G)$.

I havn't checked all the detail, but it seems to me that the same construction should also give a map from $KK_i^G(A,B)$ to $KK_i(A \rtimes_{max} G, B \rtimes_{max} G)$ : One can also construct bimodule over $( . \rtimes_{max} G)$ from a $G$-equivariant bimodule. But as this one is never mentioned anywhere, I guess something goes wrong with it.

My question is "why this second map does not appears in literature ?"

Is the construction of the application impossible, and then what exactly goes wrong ? Or the construction is possible but this map doesn't bring more information than the classical descent homomorphism ? Or the map exists, is interesting but simply wasn't needed in the application as we have no idea of what is the $K$-theory of $A \rtimes_{max} G$ when it is different from $A \rtimes_{red} G$ ?

Note : I'm mostly interested in the case where $G$ is a discrete (countable) group.

Thank you !

share|cite|improve this question
up vote 1 down vote accepted

This descent map sometimes appears in the literature, see e.g. my contribution to:

Mislin, Guido & Valette, Alain (2003), Proper Group Actions and the Baum-Connes Conjecture, Basel: Birkäuser, ISBN 0-8176-0408-1.

One reason to consider it, is that the full crossed product has better functoriality properties than the reduced crossed product, as can be seen already for group $C^*$-algebras (the full group $C^*$-algebra is functorial for arbitrary group homomorphisms).

There are some points in the construction which are easier for reduced crossed products, e.g. those dealing with positivity of scalar products in Hilbert $C^*$-modules; I make a remark on that on p.95 of the above-mentioned book.

share|cite|improve this answer

The descent homomorphisms were both proved for the reduced crossed product as well as for the universal (maximal) crossed product in Kasparov's paper in Inventiones Math. from 1988.

As you have recognized, the proofs are indeed quite similar.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.