伦等价于一个"n"-维流形；以及"n"-维流形之间的同伦等价是否同伦于微分同胚。在这两种情形，对"n">4都存在两个阻碍，首先是关于向量丛存在性的拓扑K-理论阻碍：如果它消失则存在一个，便可以定义代数L-理论中对正规映射执行割补手术以得到同伦等价的第二割补阻碍。