Koszulity of cohomology = K(π,1)-ness + quasi-formality

[posic]

http://arxiv.org/abs/1507.04691

Comments

[udod.livejournal.com]

Спасибо, полезно. А вот идиотский вопрос про рациональную фунд группу - бывает ли на свете рациональный простой гомотопический тип?
Старшие кручения уайтхеда рациональные это вроде обычных харклассов, кажется

[posic.livejournal.com]

К сожалению, я не разбираюсь в этом. Мои познания в топологии крайне ограничены все же (о существовании "простых гомотопических типов" сейчас вот от вас узнал).

[udod.livejournal.com]

простой гомотопический тип многообразия, скажем, это к1 функтор групповой алгебры фундаментальной группы. Отвечает за гипотезу пуанкаре в рамерности больше 4.
Что бы это значило рационально, интересно. Что то родственное Вашей премудрости.