Universal cycles and homological invariants of locally convex algebras (Q1760155)

\textit{G. G. Kasparov}'s bivariant \(K\)-theory, \(KK\)-theory, particularly its Kasparov product, provides powerful tools for working with \(C^{*}\)-algebras and their applications. However, many deep results require techniques that leave the category of \(C^{*}\)-algebras. \textit{A. Connes}'s cyclic cohomology is most interesting on algebras like the algebra of smooth functions on a smooth manifold, and \textit{V. Lafforgue} [Invent. Math. 149, No. 1, 1--95 (2002; Zbl 1084.19003)] has developed a bivariant \(K\)-theory (without a product) for Banach algebras in order to make progress on the Baum-Connes conjecture. Motivated by questions about the extent to which the constructions and properties of \(KK\)-theory occur also in the bivariant theory for locally convex algebras, \(kk\)-theory, developed by \textit{J. Cuntz} [Doc. Math., J. DMV 2, 139--182 (1997; Zbl 0920.19004); \(K\)-Theory 35, No. 1--2, 93--137 (2005; Zbl 1111.19003)], the paper under review ``develop[s] a complete framework of locally convex Kasparov modules, together with equivalence relations between them, and stud[ies] how they induce morphisms under split exact functors on the category of locally convex algebras. [It] show[s] that smooth versions of Kasparov's Dirac and dual-Dirac elements appear naturally as locally convex Kasparov modules'' [from the paper]. A crucial problem is to find usable ``sufficient conditions for a locally convex Kasparov module to represent the composition \dots of two homomorphisms induced under a functor \(H\) by quasihomomorphisms coming from locally convex Kasparov modules'' [from the paper]. The author's solution to this problem is suggested by the connection formalism of \textit{A. Connes} and \textit{G. Skandalis} [Publ. Res. Inst. Math. Sci. 20, 1139--1183 (1984; Zbl 0575.58030)]. This solution recovers Bott periodicity and a Thom isomorphism for an appropriate class of split exact functors. Locally convex Kasparov modules are also convenient ways to represent classes associated with elliptic differential and pseudodifferential operators.