×

非Housdorff群胚,真作用和K理论。 (英语) Zbl 1058.22005年

设\(G\)是拓扑广群,\(G^{(0)}\)是它的单位集,\(r,s:G\到G^{(0){\)是范围映射和源映射\如果映射\((r,s):G\到G^{(0)}\乘以G^{(0){)是正确的,则称(G\)为{proper}。证明了适当性在森田等价下是不变的。设\(T\)是拓扑空间,\(\rho:G^{(0)}\ to T\)是\(G\)不变映射。那么,如果映射\((r,s):G\到G^{(0)}\times_TG^{0)}\是正确的,则\(G\)是{\(rho\)-property}。如果\(G\)作用于空间\(Z\),并且\(rho:Z\到T\)是\(G\-不变的,那么如果\(Z\rtimes G\)是适当的,则作用是{\(\rho\)-适当}。
设\(G_1\),\(G_2\)是两个群胚。从(G_1)到(G_2)的广义态射是一个三元组((Z,rho,sigma),其中(Z)被赋予了一个左作用(G_1\)、一个动量映射(rho:Z到G_1^{(0)}\)和一个右作用(G_2诱导同胚\(Z/G_2\cong G_1^{(0)}\)。如果(G_1)在(Z)上的作用是(sigma)-真的,并且对于任何拟紧子集(K\子集G_2^{(0)}),(sigma^{-1}(K)是(G_1\)-紧的,则广义态射是{真}。
在假定(G_1)和(G_2)是具有开区间映射和Haar系统的局部紧群胚,并且(G_1^{(0)}和(G_2^{)}是Hausdorff的前提下,作者证明了从(G_1\)到(G_2 \)的任何适当的广义态射都会产生(C^*\)-对应,即到(KK(C^_r(G_1),C^*_r(G2)))的一个元素。特别地,这意味着两个Morita等价群胚具有Morita等效(C^*)-代数。

MSC公司:

22A22号 拓扑群胚(包括可微群胚和李群胚)
46升05 代数的一般理论
46升80 \(K)理论和算子代数(包括循环理论)
54天35分 空间的扩展(压缩、超压缩、补全等)
PDF格式BibTeX公司 XML格式引用