Geometric K-homology and the Freed-Hopkins-Teleman theorem

Kasparov theory ((KK)-theory) (19K35) Index theory (19K56) Twisted (K)-theory; differential (K)-theory (19L50) Loop groups and related constructions, group-theoretic treatment (22E67)

Abstract: We describe a map from the equivariant twisted K-homology of a compact, connected, simply connected Lie group

G

to the Verlinde ring. Our map is described at the level of `D-cycles' for the geometric twisted K-homology of

G

, and is inverse to the Freed-Hopkins-Teleman isomorphism. As an application, we show that two possible definitions of the `quantization' of a Hamiltonian loop group space are compatible with each other.

Review text

This paper is a well-written, well-organized and well-illustrated. It makes a valuable contribution in the analysis of the gaps between representation theory and \(K\)-theory. The author gives an explicit construction of the inverse to the Freed-Hopkins-Teleman isomorphism of rings \(\mu:R_k(G)\to K^0_G(G,\mathcal{A}^{k+h^\vee})\) from a Verlinde ring associated to \(G\) to a twisted \(K\)-theory of \(G\), see Subsection 6.2. It defines \(\mu^{-1}\) under the Poincaré duality isomorphism \(K^*_G(G,\mathcal{A}^{k+h^\vee})\cong K^G_*(G,\mathcal{A}^{k+h^\vee})\) and clarifies that \(\mu^{-1}\) coincides with a Baum-Connes-type analytic assembly map. Also, it investigates \(\mu^{-1}\) on analytic cycles coming from twisted Dirac operators through the well-known Baum-Higson-Schick construction.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Geometric \(K\)-homology and the Freed-Hopkins-Teleman theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2140247)