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

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

ИсторияПравить

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

ПостроениеПравить

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

СвойстваПравить

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

См. такжеПравить

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