GICAR代数的迹态空间

本文证明GICAR代数的迹态空间是—个Bauer单纯形,其端点集合同胚于[0,1]。