E8-многообразие

E₈-многообразие — компактное, односвязное топологическое 4-мерное многообразие с формой пересечений решётки E₈.

E₈-многообразие былo построено Фридманом в 1982 году.

Многообразие строится пламингом^{[неизвестный термин]} расслоений дисков над сферой с Эйлеровым числом 2 по схеме Дынкина для E₈. Это приводит к 4-мерному многообразию  P_Е8 с границей, гомеоморфной сфере Пуанкаре. По теореме Фридмана о фальшивых шарах^[англ.], границу можно заклеить фальшивым шаром и получить таким образом Е₈-многообразие.

• По теореме Рохлина оно является шершавым, то есть не имеет гладкой структуры.
  • То же следует из теоремы Дональдсона^[англ.].
  • Более того, по теореме об инварианте Кассона^[англ.], Е₈-многообразие не допускает триангуляции.

• Е₈ (математика)
• Исключительно простая теория всего
• Глоссарий топологии

В статье не хватает ссылок на источники (см. рекомендации по поиску). Информация должна быть проверяема, иначе она может быть удалена. Вы можете отредактировать статью, добавив ссылки на авторитетные источники в виде сносок. (22 июня 2018)