_46 的维数都有限。这个苏利文代数称作 formula_1 的苏利文极小模型，且在同构意义上唯一。这个构造给出了这一类空间的有理同伦型与极小苏利文代数之间的等价，并且拥有以下性质：当 formula_1 是光滑流形时， formula_1 上的光滑微分形式组成的分次代数（即德拉姆复形）几乎可以视作 formula_1 的模型；更精确地说，这个代数是 formula_1 的复形与实数域的张量积，因而确定了 formula_1 的实同伦型。同理还可更进一步定义p进同伦型以及adelic同伦型，并与有理同伦型