一般光滑流形的族过于庞大且缺乏有限参数化，导致对一般流形假设的检验不可计算，这是论文将流形族收紧到代数完全交的动机。