Cтраница 4
Переходя от башен Постникова к клеточным структурам, меняя роли гомотопий и когомологий, а также коммутативных градуированных дифференциальных алгебр и градуированных алгебр Ли, различные авторы ( Бауес и Лемер [3], Ниссендорфер и Миллер [33] построили теорию, двойственную теории Сулливана, руководствуясь при этом понятием, двойственным понятию формальности, но не эквивалентным ему. [46]
Возьмем теперь в качестве X рациональный гомотопический тип Хл, соответствующий orf в только что доказанном предложении, а в качестве f любое непрерывное отображение / ф, соответствующее Ф: ЗЛ ( М) - - orf ( х) е) при эквивалентности категорий, о которой говорится в теореме Квиллена и Сулливана. [47]
Сулливан [1] дал замечательно полное решение проблемы жесткости в описанном классе многообразий. [48]
Здесь требуется еще определить ц на предельном множестве A ( G) группы G, когда его мера положительна. Сулливан [224] показал, что для конечно порожденных групп первого рода это равенство должно выполняться автоматически. Прямой подсчет дает, что при выполнении ( 23) отображение Y / - / If / - вместе с является мебиусовым. [49]