Гомотопические группы сфер (Ikbkmkhncyvtny ijrhhd vsyj)

Гомотопические группы сфер — один из основных объектов изучения теории гомотопий, области алгебраической топологии. Гомотопические группы сфер классифицируют отображения между многомерными сферами с точностью до непрерывной деформации. Гомотопические группы сфер являются дискретными алгебраическими объектами, а именно конечнопорождёнными абелевыми группами. Несмотря на то, что классификация конечнопорождённых абелевых групп очень проста, точная структура гомотопических групп сфер до конца неизвестна.

Их нахождение было одним из наиболее важных направлений развития топологии и математики в целом в 1950—60-х годах, вплоть до создания обобщённых теорий когомологий.^[1] Причиной этого было как то, что гомотопические группы сфер являются базовыми топологическими инвариантами, понимание которых приводит к лучшему пониманию топологических пространств в целом, так и наличие большого числа сложных закономерностей в их структуре. Результатом стало как нахождение некоторых общих закономерностей, таких как стабильные гомотопические группы сфер и J-гомоморфизм, так и вычисление групп для малых значений параметров.

Неформальное введение

Многомерная сфера $S^{n}$ размерности $n$ — это топологическое пространство, которое можно представлять как геометрическое место точек $(n+1)$ -мерного евклидова пространства, удалённых от начала координат на расстояние 1. В частности, $S^{1}$ — это окружность, а $S^{2}$ — обычная двумерная сфера.

Если $X$ — любое топологическое пространство с отмеченной точкой $x$ , то его $i$ -тая гомотопическая группа $\pi _{i}(X)$ — это множество отображений из $S^{i}$ в $X$ , переводящих $1$ в $x$ , рассмотренное с точностью до гомотопий, то есть непрерывных шевелений, которые к тому же должны сохранять отмеченную точку. В частности, $\pi _{1}(X)$ — это фундаментальная группа, то есть группа замкнутых путей в топологическом пространстве с операцией композиции. В многомерном случае это множество также можно снабдить структурой группы, при этом, в отличие от фундаментальной группы, при $i\geqslant 2$ группа $\pi _{i}(X)$ будет коммутативной.

Любое отображение из сферы меньшей размерности в сферу большой размерности можно стянуть в точку, поэтому группы $\pi _{i}(S^{n})=0$ при $i<n$ . Однако уже фундаментальная группа окружности $\pi _{1}(S^{1})\simeq \mathbb {Z}$ является бесконечной циклической группой. Её элементы, то есть отображения из окружности $S^{1}$ в себя с точностью до гомотопии, однозначно задаются числом оборотов образа окружности вокруг её центра, и при композиции путей числа оборотов складываются. Аналогично одномерному случаю, гомотопическая группа отображений из $n$ -мерной сферы в себя $\pi _{n}(S^{n})\simeq \mathbb {Z}$ является бесконечной цикличной. Тем не менее, устройство группы $\pi _{3}(S^{2})$ интуитивно неочевидно: она порождена расслоением Хопфа.

Малые значения

	$\pi _{1}$	$\pi _{2}$	$\pi _{3}$	$\pi _{4}$	$\pi _{5}$	$\pi _{6}$	$\pi _{7}$	$\pi _{8}$	$\pi _{9}$	$\pi _{10}$	$\pi _{11}$	$\pi _{12}$	$\pi _{13}$	$\pi _{14}$	$\pi _{15}$	$\pi _{16}$
$S^{1}$	$\mathbb {Z}$	$0$	$0$	$0$	$0$	$0$	$0$	$0$	$0$	$0$	$0$	$0$	$0$	$0$	$0$	$0$
$S^{2}$	$0$	$\mathbb {Z}$	$\mathbb {Z}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{12}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{3}$	$\mathbb {Z} _{15}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{2}^{2}$	$\mathbb {Z} _{12}\times \mathbb {Z} _{2}$	$\mathbb {Z} _{84}\times \mathbb {Z} _{2}^{2}$	$\mathbb {Z} _{2}^{2}$	$\mathbb {Z} _{6}$
$S^{3}$	$0$	$0$	$\mathbb {Z}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{12}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{3}$	$\mathbb {Z} _{15}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{2}^{2}$	$\mathbb {Z} _{12}\times \mathbb {Z} _{2}$	$\mathbb {Z} _{84}\times \mathbb {Z} _{2}^{2}$	$\mathbb {Z} _{2}^{2}$	$\mathbb {Z} _{6}$
$S^{4}$	$0$	$0$	$0$	$\mathbb {Z}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{2}$	$\mathbb {Z} \times \mathbb {Z} _{12}$	$\mathbb {Z} _{2}^{2}$	$\mathbb {Z} _{2}^{2}$	$\mathbb {Z} _{24}\times \mathbb {Z} _{3}$	$\mathbb {Z} _{15}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{2}^{3}$	$\mathbb {Z} _{120}\times \mathbb {Z} _{12}\times \mathbb {Z} _{2}$	$\mathbb {Z} _{84}\times \mathbb {Z} _{2}^{5}$	$\mathbb {Z} _{2}^{6}$
$S^{5}$	$0$	$0$	$0$	$0$	$\mathbb {Z}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{24}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{30}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{2}^{3}$	$\mathbb {Z} _{72}\times \mathbb {Z} _{2}$	$\mathbb {Z} _{504}\times \mathbb {Z} _{2}^{2}$
$S^{6}$	$0$	$0$	$0$	$0$	$0$	$\mathbb {Z}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{24}$	$0$	$\mathbb {Z}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{60}$	$\mathbb {Z} _{24}\times \mathbb {Z} _{2}$	$\mathbb {Z} _{2}^{3}$	$\mathbb {Z} _{72}\times \mathbb {Z} _{2}$
$S^{7}$	$0$	$0$	$0$	$0$	$0$	$0$	$\mathbb {Z}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{24}$	$0$	$0$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{120}$	$\mathbb {Z} _{2}^{3}$	$\mathbb {Z} _{2}^{4}$
$S^{8}$	$0$	$0$	$0$	$0$	$0$	$0$	$0$	$\mathbb {Z}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{2}$	$\mathbb {Z} _{24}$	$0$	$0$	$\mathbb {Z} _{2}$	$\mathbb {Z} \times \mathbb {Z} _{120}$	$\mathbb {Z} _{2}^{4}$