Расслоение Хопфа
Расслоение Хопфа — пример локально тривиального расслоения трёхмерной сферы над двумерной со слоем-окружностью:
S1↪S3→ pS2{displaystyle S^{1}hookrightarrow S^{3}{xrightarrow { p,}}S^{2}}.
Расслоение Хопфа не является тривиальным. Является также важным примером главного расслоения.
Одним из самых простых способов задания этого расслоения является представление трёхмерной сферы S3{displaystyle S^{3}} как единичной сферы в C2{displaystyle mathbb {C} ^{2}}, а двумерной сферы S2{displaystyle S^{2}} как комплексной проективной прямой CP1{displaystyle mathbb {C} P^{1}}. Тогда отображение:
- p:(z1,z2)↦(z1:z2){displaystyle p:(z_{1},z_{2})mapsto (z_{1}:z_{2})}
и задаёт расслоение Хопфа. При этом слоями расслоения будут орбиты свободного действия группы S1{displaystyle S^{1}}:
θ:(z1,z2)↦(θz1,θz2){displaystyle theta :(z_{1},z_{2})mapsto (theta z_{1},theta z_{2})},
где окружность представлена как множество единичных по модулю комплексных чисел:
S1={θ∣θ∈C,|θ|=1}{displaystyle S^{1}={theta mid theta in mathbb {C} ,,|theta |=1}}.
Обобщения |
Совершенно аналогично, нечётномерная сфера S2n+1{displaystyle S^{2n+1}} расслаивается со слоем-окружностью над CPn{displaystyle mathbb {C} P^{n}}. Иногда это расслоение также называют расслоением Хопфа.
Также (помимо «комплексной») существуют вещественная, кватернионная и октавная версии таких семейств расслоений. Они начинаются соответственно с:
S0↪S1→S1{displaystyle S^{0}hookrightarrow S^{1}rightarrow S^{1}} (вещественная),
S1↪S3→S2{displaystyle S^{1}hookrightarrow S^{3}rightarrow S^{2}} (комплексная — собственно расслоение Хопфа),
S3↪S7→S4{displaystyle S^{3}hookrightarrow S^{7}rightarrow S^{4}} (кватернионная),
S7↪S15→S8{displaystyle S^{7}hookrightarrow S^{15}rightarrow S^{8}} (октавная).
Такие расслоения сферы Sn{displaystyle S^{n}}, для которых и слой, и база, и тотальное пространство являются сферами, возможны только в случаях n∈{1,3,7,15}{displaystyle nin {1,3,7,15}}. Исключительность этих случаев связана с тем, что умножение в Rn{displaystyle mathbb {R} ^{n}} без делителей нуля может быть определено только при n∈{1,2,4,8}{displaystyle nin {1,2,4,8}}.
См. также |
Сфера Римана — комплексная проективная прямая, базовое многообразие расслоения Хопфа
Унитарная группа U(1) — структурная группа расслоения Хопфа
Трехмерная сфера — тотальное пространство расслоения Хопфа
Сфера Пуанкаре и сфера Блоха — расслоение Хопфа в физике описывает поляризацию поперечной волны, состояние двухуровневой квантовой системы, релятивистское искажение небесной сферы и прочее[1][2]
- Сфера Милнора
Примечания |
↑ Р.Пенроуз, В.Риндлер. Спиноры и пространство-время, спинорные и твисторные методы в геометрии пространства-времени. — Москва «Мир», 1988. — P. 78.
↑
Д.Н. Клышко (1993). “Геометрическая фаза Берри в колебательных процессах”. УФН. 163 (11): 1..mw-parser-output cite.citation{font-style:inherit}.mw-parser-output q{quotes:"""""""'""'"}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
Ссылки |
- Видео-демонстрация отображения Хопфа на сайте Dimensions-math, главы 7 и 8
- Пояснения к демонстрации отображения Хопфа на сайте Dimensions-math
- Отображение Хопфа на сайте Mathworld