В математике гомологическое многообразие (или обобщенное многообразие ) — это локально компактное топологическое пространство X , которое локально выглядит как топологическое многообразие с точки зрения теории гомологии .
Гомологическое G -многообразие (без границы) размерности n над абелевой группой G коэффициентов — это локально компактное топологическое пространство X с конечной G -когомологической размерностью, такое что для любого x ∈ X группы гомологии
являются тривиальными, если только p = n , в этом случае они изоморфны G . Здесь H — некоторая теория гомологии, обычно сингулярная гомология. Гомологические многообразия — это то же самое, что и гомологические Z -многообразия.
В более общем смысле можно определить гомологические многообразия с границей, позволяя локальным гомологическим группам исчезать в некоторых точках, которые, конечно, называются границей гомологического многообразия. Граница n -мерного гомологического многообразия с первой счетностью является n −1 -мерным гомологическим многообразием (без границы).