{"id":"arxiv/2601.23029","url":"https://arxiv.org/abs/2601.23029","tags":["math.OA","math.KT"],"score":0,"title":"The uniqueness theorem for Kasparov theory","domain":"math.OA","source":"arxiv","authors":["Gábor Szabó"],"reviews":0,"subject":"math.OA","summary":"Answering a question of Carrión 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 absorbing representations $\\varphi,ψ: A\\to\\mathcal{M}(B\\otimes\\mathcal{K})$, the induced element of $KK(A,B)$ vanishes if and only if $\\varphi$ and $ψ$ are strongly asymptotically unitarily equivalent. This improves upon the Lin-Dadarlat-Eilers stable uniqueness theorem. The conclusion is deduced by first showing the $K_1$-injectivity of an auxiliary…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-30","reactions":{}}