
E8-многовид — компактний, однозв'язний топологічний 4-вимірний многовид із формою перетинів ґратки E8.

Історія
E8-многовид побудував Фрідман 1982 року.

Побудова
Многовид будується пламінгом розшарувань дисків над сферою з ейлеровим числом 2 за схемою Динкіна для E8. Це приводить до 4-вимірного многовиду P'Е8 з межею, гомеоморфною сфері Пуанкаре. За теоремою Фрідмана про , межу можна заклеїти фальшивою кулею і отримати таким чином Е8-многовид.

Властивості
* За теоремою Рохліна він шорсткий, тобто не має гладкої структури.
** Те саме випливає з .
** Більш того, за теоремою про , Е''8-многовид не допускає тріангуляції.

Див. також
* Е8 (математика)
* Надзвичайно проста теорія всього

Джерела

* 
* 




