Многообразие Илса — Кёйпера

Многообразием Илса — Кёйпера называется компактификация евклидова пространства ${ℝ}^n$ сферой $S^{\frac{n}{2}}$, где n = 2, 4, 8, и 16.

• n = 2: многообразие Илса — Кёйпера диффеоморфно вещественной проективной плоскости $ℝP^2$.

Для $n\ge 4$ оно является односвязным и имеет когомологическую структуру

• $n=4$: комплексной проективной плоскости $ℂ{\mathrm{P}}^2$,
• $n=8$: кватернионной проективной плоскости $ℍ{\mathrm{P}}^2$,
• n = 16: проективной плоскости Кэли $𝕆{\mathrm{P}}^2$.

Многообразия Илса — Кёйпера играют важную роль в теории Морса и в теории слоений.

Свойства

• Теорема Илса — Кёйпера. Пусть $M$ связное замкнутое многообразие размерности $n$ (не обязательно ориентируемое). Предположим, на $M$ существует функция Морса $f:M\to R$ класса гладкости $C^3$, которая имеет ровно три критические точки. Тогда $n=$2, 4, 8 или 16 и $M$ является многообразием Илса — Кёйпера.

• Теорема: Пусть $M^n$ компактное связное многообразие, на котором задано морсовское слоение $F$. Предположим, что число $c$ центров слоения $F$ больше числа седел $s$. Тогда существуют ровно две возможности:
  • $c=s+2$, в этом случае $M^n$ гомеоморфно сфере $S^n$,
  • $c=s+1$, в этом случае $M^n$ является многообразием Илса — Кёйпера, причем $n=2,4,8$ и $16$.

См. также

• Кёйпер, Николас
• Теорема Риба о сфере
• Теория Морса