Шершавое многообразие

Шершавое или несглаживаемое многообразие — топологическое многообразие, не допускающее гладкой структуры. Более точно, топологическое многообразие не гомеоморфное никакому гладкому многообразию.

Примеры

• E₈-многообразие
• Возьмём $4k$-мерное многообразие Милнора $W^{4k}$, $k>1$; $W^{4k}$ параллелизуемо, его сигнатура равна $8$, и его край $M=\partial W^{4k}$ гомотопически эквивалентен сфере $S^{4k-1}$. Подклейка к $W^{4k}$ конуса $C(M)$ к $\partial W^{4k}$ приводит к пространству $P^{4k}$. При этом, так как $M$ есть кусочно-линейная сфера (см. обобщенная гипотеза Пуанкаре), то $C(M)$ кусочно-линейный шар, так что $P^{4k}$ — кусочно-линейное многообразие. С другой стороны, $P^{4k}$ есть шершавое многообразие, так как его сигнатура равна 8, а сигнатура гладкого почти параллелизуемого (то есть параллелизуемого после выкалывания точки) $4k$-мерного многообразия кратна числу ${\sigma }_k$, экспоненциально растущему с ростом $k$.
  • В частности, из этого следует, что многообразие $M$ не диффеоморфно сфере $S^{4k-1}$.

Критерий сглаживаемости кусочно-линейного многообразия

Пусть $O_n$ — ортогональная группа, a $P{L}_n$ — группа сохраняющих начало кусочно-линейных гомеоморфизмов ${ℝ}^n$. Включение $O_n\to P{L}_n$ индуцирует расслоение $B{O}_n\to BP{L}_n$, где $BG$ — классифицирующее пространство группы $G$. При $n\to \mathrm{\infty }$ получается расслоение $p:B{O}_n\to BP{L}_n$, слой которого обозначается через $M/O$.
Кусочно-линейное многообразие $X$ обладает линейным стабильным нормальным расслоением $\nu$, классифицируемым отображением $\nu :X\to BP{L}_n$.
Если же $X$ является гладким (сглаживаемым) многообразием, то оно обладает векторным стабильным нормальным расслоением $\overline{\nu }$, классифицируемым отображением $\overline{\nu }:X\to B{O}_n$, причем $p\circ \overline{\nu }=\nu$. Это условие также и достаточно, то есть

• Замкнутое кусочно-линейное многообразие $X$ сглаживаемо тогда и только тогда, когда его кусочно-линейное стабильное нормальное расслоение допускает векторную редукцию, то есть когда отображение $\nu :X\to BP{L}_n$ «поднимается» в $B{O}_n$ (то есть существует такое $\overline{\nu }:X\to B{O}_n$, что $p\circ \overline{\nu }=\nu$).

См. также

• Сфера Милнора

Литература

• Милнор Дж., Сташеф Дж. Характеристические классы, пер. с англ., — Шаблон:М, 1979.
• Kervaire M. «Comment, math, helv.», 1960, t. 34, p. 257—70;