вот кстати открытый вопрос:

пусть T^r \to E \to B

расслоение со слоем r-мерный тор, с компактной односвязной базой

доказать, что размерность когомологий расслоения не меньше 2^r, т.е.

dim H*(E) \ge 2^r