ScalingStacks

0NGJ

Fact 4.11. Any functor F:π’žβ†’π’ŸF\colon\mathcal{C}\to\mathcal{D} of KK-linear categories induces natural KK-module homomorphism HH0​(F):HH0​(π’ž)β†’HH0​(π’Ÿ)\mathrm{HH}_{0}(F)\colon\mathrm{HH}_{0}(\mathcal{C})\to\mathrm{HH}_{0}(\mathcal{D}) sending [f:xβ†’x]↦[F(f):F(x)β†’F(x)]][f\colon x\to x]\mapsto[F(f)\colon F(x)\to F(x)]]. This is well-defined since f∘gβˆ’g∘f↦F⁑(f)∘F⁑(g)βˆ’F⁑(g)∘F⁑(f)f\circ g-g\circ f\mapsto F(f)\circ F(g)-F(g)\circ F(f). If FF is an equivalence, then HH0​(F)\mathrm{HH}_{0}(F) is an isomorphism; see e.g. [4].

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Ciprian Manolescu, Kevin Walker, Paul Wedrich

Original source: arXiv:2206.04616v2