Вопрос задавал в недавней теме, но интерес к нему не угас, а тема утонула, поэтому выделю его в отдельную тему.
Вот у нас есть многообразие

(связное, без края) и оно тем свойством обладает, что любое его подмногообразие (компактное, связанное, без края)

и любой гомеоморфизм

, подмногообразия

в себя продолжается до гомеоморфизма

многообразия

в себя (что значит ровно то, что существует гомеоморфизм

поверхности в себя, такой, что его сужение на

совпадает с

).
Что известно про такие

? Очевидно, что в качестве

может выступать

, и не может выступать

(что для меня было менее очевидно, но в соседней теме, кажись, разобрались). Может ли выступать в качестве

двумерный тор? Сфера с

ручками? Проективная плоскость? Произвольная конечная сумма проективных плоскостей и торов? Многообразие размерности 3?
Заранее спасибо за ответы.