Расслоение

Понятие расслоения обобщает понятие расслоения и играет важную роль в алгебраической топологии — разделе математики.

Расслоения используются, например, в системах Постникова или теории препятствий .

В этой статье все отображения являются непрерывными отображениями между топологическими пространствами .

Формальные определения [ править ]

Свойство подъема гомотопии [ править ]

Отображение $p\colon E\to B$ удовлетворяет свойству гомотопического подъема пространства $X$ если:

для каждой гомотопии $h\colon X\times [0,1]\to B$ и
для каждого отображения (также называемого лифтом) ${\tilde {h}}_{0}\colon X\to E$ подъем $h|_{X\times 0}=h_{0}$ (т.е. $h_{0}=p\circ {\tilde {h}}_{0}$ )

существует (не обязательно единственная) гомотопия ${\tilde {h}}\colon X\times [0,1]\to E$ подъем $h$ (т.е. $h=p\circ {\tilde {h}}$ ) с ${\tilde {h}}_{0}={\tilde {h}}|_{X\times 0}.$

Следующая коммутативная диаграмма показывает ситуацию: ^[1]^: 66

Расслоение [ править ]

Расслоение ( также называемое расслоением Гуревича) — это отображение $p\colon E\to B$ удовлетворяющее свойству гомотопического подъема для всех пространств $X.$ Космос $B$ называется базовым пространством , а пространство $E$ называется полным пространством . Волокно над $b\in B$ это подпространство $F_{b}=p^{-1}(b)\subseteq E.$ ^[1]^: 66

Фибрационная теплица [ править ]

Расслоение Серра (также называемое слабым расслоением) — это отображение $p\colon E\to B$ удовлетворяющее свойству гомотопического подъема для всех CW-комплексов . ^[2]^: 375-376

Каждое расслоение Гуревича является расслоением Серра.

Квазирасслоение [ править ]

Отображение $p\colon E\to B$ называется квазирасслоением , если для любого $b\in B,$ $e\in p^{-1}(b)$ и $i\geq 0$ справедливо, что индуцированное отображение $p_{*}\colon \pi _{i}(E,p^{-1}(b),e)\to \pi _{i}(B,b)$ является изоморфизмом .

Каждое расслоение Серра является квазирасслоением. ^[3]^: 241-242

Примеры [ править ]

Проекция на первый фактор $p\colon B\times F\to B$ является расслоением. То есть тривиальные расслоения являются расслоениями.
Каждое покрытие $p\colon E\to B$ является расслоением. В частности, для каждой гомотопии $h\colon X\times [0,1]\to B$ и каждый лифт ${\tilde {h}}_{0}\colon X\to E$ существует однозначно определенный лифт ${\tilde {h}}\colon X\times [0,1]\to E$ с $p\circ {\tilde {h}}=h.$ ^[4]^: 159 ^[5]^: 50
Каждый пучок волокон $p\colon E\to B$ удовлетворяет свойству гомотопического подъема для каждого CW-комплекса. ^[2]^: 379
Расслоение с паракомпактным и хаусдорфовым базовым пространством удовлетворяет свойству гомотопического подъема для всех пространств. ^[2]^: 379
Примером расслоения, не являющегося расслоением, является отображение $i^{*}\colon X^{I^{k}}\to X^{\partial I^{k}}$ индуцированное включением $i\colon \partial I^{k}\to I^{k}$ где $k\in \mathbb {N} ,$ $X$ топологическое пространство и $X^{A}=\{f\colon A\to X\}$ — пространство всех непрерывных отображений с компактно-открытой топологией . ^[4]^: 198
Хопфа Расслоение $S^{1}\to S^{3}\to S^{2}$ является нетривиальным расслоением и, в частности, расслоением Серра.

Основные понятия [ править ]

Гомотопическая эквивалентность волокон

Отображение $f\colon E_{1}\to E_{2}$ между тотальными пространствами двух расслоений $p_{1}\colon E_{1}\to B$ и $p_{2}\colon E_{2}\to B$ с той же базой является гомоморфизмом расслоения, если коммутирует следующая диаграмма:

Отображение $f$ является послойной гомотопической эквивалентностью , если, кроме того, существует гомоморфизм расслоений $g\colon E_{2}\to E_{1}$ существует такое, что отображения $f\circ g$ и $g\circ f$ гомотопны в силу гомоморфизмов расслоений тождествам $\operatorname {Id} _{E_{2}}$ и $\operatorname {Id} _{E_{1}}.$ ^[2]^: 405-406

Расслоение обратного расслоения [ править ]

Учитывая расслоение $p\colon E\to B$ и отображение $f\colon A\to B$ , отображение $p_{f}\colon f^{*}(E)\to A$ является расслоением, где $f^{*}(E)=\{(a,e)\in A\times E|f(a)=p(e)\}$ это откат и проекции $f^{*}(E)$ на $A$ и $E$ получим следующую коммутативную диаграмму:

Расслоение $p_{f}$ называется расслоением обратного расслоения или индуцированным расслоением. ^[2]^: 405-406

Расслоение пространства путей [ править ]

С помощью конструкции пространства путей любое непрерывное отображение можно расширить до расслоения, расширив его область определения до гомотопически эквивалентного пространства. Это расслоение называется расслоением пространства путей .

Общая площадь $E_{f}$ расслоения пространства путей для непрерывного отображения $f\colon A\to B$ между топологическими пространствами состоит из пар $(a,\gamma )$ с $a\in A$ и пути $\gamma \colon I\to B$ с отправной точкой $\gamma (0)=f(a),$ где $I=[0,1]$ это единичный интервал . Космос $E_{f}=\{(a,\gamma )\in A\times B^{I}|\gamma (0)=f(a)\}$ несет подпространства топологию $A\times B^{I},$ где $B^{I}$ описывает пространство всех отображений $I\to B$ и несет компактно-открытую топологию .

Расслоение пространства путей задается отображением $p\colon E_{f}\to B$ с $p(a,\gamma )=\gamma (1).$ Волокно $F_{f}$ также называется слоем гомотопическим $f$ и состоит из пар $(a,\gamma )$ с $a\in A$ и пути $\gamma \colon [0,1]\to B,$ где $\gamma (0)=f(a)$ и $\gamma (1)=b_{0}\in B$ держит.

Для частного случая включения базовой точки $i\colon b_{0}\to B$ , возникает важный пример расслоения пространства путей. Общая площадь $E_{i}$ состоит из всех путей в $B$ который начинается в $b_{0}.$ Это пространство обозначается $PB$ и называется пространством путей. Расслоение пространства путей $p\colon PB\to B$ отображает каждый путь в его конечную точку, следовательно, волокно $p^{-1}(b_{0})$ состоит из всех замкнутых путей. Волокно обозначается $\Omega B$ и называется пространством петли . ^[2]^: 407-408

Свойства [ править ]

Волокна $p^{-1}(b)$ над $b\in B$ для гомотопически эквивалентны каждой пути компоненты $B.$ ^[2]^: 405
Для гомотопии $f\colon [0,1]\times A\to B$ обратные расслоения $f_{0}^{*}(E)\to A$ и $f_{1}^{*}(E)\to A$ являются слоями гомотопически эквивалентными. ^[2]^: 406
Если базовое пространство $B$ стягиваемо , то расслоение $p\colon E\to B$ является гомотопическим расслоением слоя, эквивалентным расслоению произведения $B\times F\to B.$ ^[2]^: 406
Расслоение пространства путей расслоения $p\colon E\to B$ очень похож на себя. Точнее, включение $E\hookrightarrow E_{p}$ является послойной гомотопической эквивалентностью. ^[2]^: 408
Для расслоения $p\colon E\to B$ с волокном $F$ и стягиваемом тотальном пространстве существует слабая гомотопическая эквивалентность $F\to \Omega B.$ ^[2]^: 408

Последовательность кукол [ править ]

Для расслоения $p\colon E\to B$ с волокном $F$ и базовая точка $b_{0}\in B$ включение $F\hookrightarrow F_{p}$ слоя в гомотопический слой есть гомотопическая эквивалентность . Отображение $i\colon F_{p}\to E$ с $i(e,\gamma )=e$ , где $e\in E$ и $\gamma \colon I\to B$ это путь из $p(e)$ к $b_{0}$ в базовом пространстве является расслоением. В частности, это расслоение обратного расслоения пространства путей. $PB\to B$ . Теперь эту процедуру можно снова применить к расслоению $i$ и так далее. Это приводит к длинной последовательности:

$\cdots \to F_{j}\to F_{i}\xrightarrow {j} F_{p}\xrightarrow {i} E\xrightarrow {p} B.$

Волокно $i$ через точку $e_{0}\in p^{-1}(b_{0})$ состоит из пар $(e_{0},\gamma )$ с закрытыми путями $\gamma$ и отправная точка $b_{0}$ , т.е. пространство цикла $\Omega B$ . Включение $\Omega B\hookrightarrow F_{p}(\simeq F)$ является гомотопической эквивалентностью, и итерация дает последовательность:

$\cdots \Omega ^{2}B\to \Omega F\to \Omega E\to \Omega B\to F\to E\to B.$

Ввиду двойственности расслоения и корасслоения существует также последовательность корасслоений. Эти две последовательности известны как последовательности Пуппе или последовательности расслоений и кофибраций. ^[2]^: 407-409

Главное расслоение [ править ]

Расслоение $p\colon E\to B$ с волокном $F$ называется принципалом , если существует коммутативная диаграмма:

Нижняя строка представляет собой последовательность расслоений, а вертикальные отображения являются слабой гомотопической эквивалентностью. Главные расслоения играют важную роль в башнях Постникова . ^[2]^: 412

последовательность гомотопических групп Длинная точная

Для расслоения Серра $p\colon E\to B$ существует длинная точная последовательность гомотопических групп . Для базовых точек $b_{0}\in B$ и $x_{0}\in F=p^{-1}(b_{0})$ это дано:

$\cdots \rightarrow \pi _{n}(F,x_{0})\rightarrow \pi _{n}(E,x_{0})\rightarrow \pi _{n}(B,b_{0})\rightarrow \pi _{n-1}(F,x_{0})\rightarrow$ $\cdots \rightarrow \pi _{0}(F,x_{0})\rightarrow \pi _{0}(E,x_{0}).$

Гомоморфизмы $\pi _{n}(F,x_{0})\rightarrow \pi _{n}(E,x_{0})$ и $\pi _{n}(E,x_{0})\rightarrow \pi _{n}(B,b_{0})$ являются индуцированными гомоморфизмами включения $i\colon F\hookrightarrow E$ и проекция $p\colon E\rightarrow B.$ ^[2]^: 376

Расслоение Хопфа [ править ]

Расслоения Хопфа — это семейство расслоений , слой, полное пространство и базовое пространство которого представляют собой сферы :

$S^{0}\hookrightarrow S^{1}\rightarrow S^{1},$
$S^{1}\hookrightarrow S^{3}\rightarrow S^{2},$
$S^{3}\hookrightarrow S^{7}\rightarrow S^{4},$
$S^{7}\hookrightarrow S^{15}\rightarrow S^{8}.$

Длинная точная последовательность гомотопических групп расслоения Хопфа $S^{1}\hookrightarrow S^{3}\rightarrow S^{2}$ дает:

$\cdots \rightarrow \pi _{n}(S^{1},x_{0})\rightarrow \pi _{n}(S^{3},x_{0})\rightarrow \pi _{n}(S^{2},b_{0})\rightarrow \pi _{n-1}(S^{1},x_{0})\rightarrow$ $\cdots \rightarrow \pi _{1}(S^{1},x_{0})\rightarrow \pi _{1}(S^{3},x_{0})\rightarrow \pi _{1}(S^{2},b_{0}).$

Эта последовательность распадается на короткие точные последовательности, так как слой $S^{1}$ в $S^{3}$ стягивается до точки:

$0\rightarrow \pi _{i}(S^{3})\rightarrow \pi _{i}(S^{2})\rightarrow \pi _{i-1}(S^{1})\rightarrow 0.$

Эта короткая точная последовательность расщепляется из-за надстройки гомоморфизма $\phi \colon \pi _{i-1}(S^{1})\to \pi _{i}(S^{2})$ и существуют изоморфизмы :

$\pi _{i}(S^{2})\cong \pi _{i}(S^{3})\oplus \pi _{i-1}(S^{1}).$

Гомотопические группы $\pi _{i-1}(S^{1})$ тривиальны для $i\geq 3,$ поэтому существуют изоморфизмы между $\pi _{i}(S^{2})$ и $\pi _{i}(S^{3})$ для $i\geq 3.$

Аналоговые волокна $S^{3}$ в $S^{7}$ и $S^{7}$ в $S^{15}$ стягиваемы до точки. Далее короткие точные последовательности распадаются и возникают семейства изоморфизмов: ^[6]^: 111

$\pi _{i}(S^{4})\cong \pi _{i}(S^{7})\oplus \pi _{i-1}(S^{3})$ и $\pi _{i}(S^{8})\cong \pi _{i}(S^{15})\oplus \pi _{i-1}(S^{7}).$

последовательность Спектральная

Спектральные последовательности являются важными инструментами алгебраической топологии для вычисления групп (ко) гомологий.

Спектральная последовательность Лере -Серра соединяет (ко)гомологии тотального пространства и слоя с (ко)гомологиями базового пространства расслоения. Для расслоения $p\colon E\to B$ с волокном $F,$ где базовое пространство представляет собой связный CW-комплекс, а аддитивная теория гомологии $G_{*}$ существует спектральная последовательность: ^[7]^: 242

H_{k}(B;G_{q}(F))\cong E_{k,q}^{2}\implies G_{k+q}(E).

Расслоения не дают длинных точных последовательностей в гомологии, как в гомотопии. Но при определенных условиях расслоения обеспечивают точные гомологические последовательности. Для расслоения $p\colon E\to B$ с волокном $F,$ где базовое пространство и волокно соединены путями , фундаментальная группа $\pi _{1}(B)$ действует тривиально на $H_{*}(F)$ и, кроме того, условия $H_{p}(B)=0$ для $0<p<m$ и $H_{q}(F)=0$ для $0<q<n$ вернее, существует точная последовательность (также известная под названием точная последовательность Серра):

$H_{m+n-1}(F)\xrightarrow {i_{*}} H_{m+n-1}(E)\xrightarrow {f_{*}} H_{m+n-1}(B)\xrightarrow {\tau } H_{m+n-2}(F)\xrightarrow {i^{*}} \cdots \xrightarrow {f_{*}} H_{1}(B)\to 0.$ ^[7]^: 250

Эту последовательность можно использовать, например, для доказательства теоремы Гуревича или для вычисления гомологии пространств петель вида $\Omega S^{n}:$ ^[8]^: 162

$H_{k}(\Omega S^{n})={\begin{cases}\mathbb {Z} &\exists q\in \mathbb {Z} \colon k=q(n-1)\\0&{\text{otherwise}}\end{cases}}.$

Для частного случая расслоения $p\colon E\to S^{n}$ где базовым пространством является $n$ -сфера с волокном $F,$ существуют точные последовательности (также называемые последовательностями Ванга ) гомологии и когомологии: ^[1]^: 456

$\cdots \to H_{q}(F)\xrightarrow {i_{*}} H_{q}(E)\to H_{q-n}(F)\to H_{q-1}(F)\to \cdots$ $\cdots \to H^{q}(E)\xrightarrow {i^{*}} H^{q}(F)\to H^{q-n+1}(F)\to H^{q+1}(E)\to \cdots$

Ориентируемость [ править ]

Для расслоения $p\colon E\to B$ с волокном $F$ и фиксированное коммуативное кольцо $R$ , существует контравариантный функтор фундаментального группоида с единицей $B$ к категории оцениваемых $R$ -модули, которые назначаются $b\in B$ модуль $H_{*}(F_{b},R)$ и к классу пути $[\omega ]$ гомоморфизм $h[\omega ]_{*}\colon H_{*}(F_{\omega (0)},R)\to H_{*}(F_{\omega (1)},R),$ где $h[\omega ]$ является гомотопическим классом в $[F_{\omega (0)},F_{\omega (1)}].$

Расслоение называется ориентируемым над $R$ если для любого замкнутого пути $\omega$ в $B$ имеет место следующее: $h[\omega ]_{*}=1.$ ^[1]^: 476

Эйлерова характеристика [ править ]

Для ориентируемого расслоения $p\colon E\to B$ над полем $\mathbb {K}$ с волокном $F$ и базовое пространство, связанное путями, эйлерова характеристика всего пространства определяется как:

$\chi (E)=\chi (B)\chi (F).$

Здесь эйлеровы характеристики базового пространства и слоя определены над полем $\mathbb {K}$ . ^[1]^: 481

См. также [ править ]

Приблизительное расслоение

Ссылки [ править ]

^ Перейти обратно: ^а ^б ^с ^д ^Это Спаниер, Эдвин Х. (1966). Алгебраическая топология . Книжная компания МакГроу-Хилл . ISBN 978-0-387-90646-1 .
^ Перейти обратно: ^а ^б ^с ^д ^Это ^ж ^г ^час ^я ^дж ^к ^л ^м ^н Хэтчер, Аллен (2001). Алгебраическая топология . Нью-Йорк: Издательство Кембриджского университета . ISBN 0-521-79160-Х .
^ Дольд, Альбрехт ; Том, Рене (1958). «Квазирасслоения и бесконечные симметричные произведения». Анналы математики . 67 (2): 239–281. дои : 10.2307/1970005 . JSTOR 1970005 .
^ Перейти обратно: ^а ^б Лаур, Герд; Шимик, Маркус (2014). Топология базового курса (на немецком языке) (2-е изд.). Спрингеровский спектр. дои : 10.1007/978-3-662-45953-9 . ISBN 978-3-662-45952-2 .
^ Мэй, JP (1999). Краткий курс алгебраической топологии (PDF) . Издательство Чикагского университета . ISBN 0-226-51182-0 . OCLC 41266205 .
^ Стинрод, Норман (1951). Топология пучков волокон . Издательство Принстонского университета . ISBN 0-691-08055-0 .
^ Перейти обратно: ^а ^б Дэвис, Джеймс Ф.; Кирк, Пол (1991). Конспекты лекций по алгебраической топологии (PDF) . Департамент математики Университета Индианы.
^ Коэн, Ральф Л. (1998). Конспект лекций по топологии пучков волокон (PDF) . Стэндфордский Университет.

[Spanier1966-1] Перейти обратно: ^а ^б ^с ^д ^Это Спаниер, Эдвин Х. (1966). Алгебраическая топология . Книжная компания МакГроу-Хилл . ISBN 978-0-387-90646-1 .

[Hatcher2001-2] Перейти обратно: ^а ^б ^с ^д ^Это ^ж ^г ^час ^я ^дж ^к ^л ^м ^н Хэтчер, Аллен (2001). Алгебраическая топология . Нью-Йорк: Издательство Кембриджского университета . ISBN 0-521-79160-Х .

[Dold1958-3] Дольд, Альбрехт ; Том, Рене (1958). «Квазирасслоения и бесконечные симметричные произведения». Анналы математики . 67 (2): 239–281. дои : 10.2307/1970005 . JSTOR 1970005 .

[Laures2014-4] Перейти обратно: ^а ^б Лаур, Герд; Шимик, Маркус (2014). Топология базового курса (на немецком языке) (2-е изд.). Спрингеровский спектр. дои : 10.1007/978-3-662-45953-9 . ISBN 978-3-662-45952-2 .

[May1999-5] Мэй, JP (1999). Краткий курс алгебраической топологии (PDF) . Издательство Чикагского университета . ISBN 0-226-51182-0 . OCLC 41266205 .

[Steenrod1951-6] Стинрод, Норман (1951). Топология пучков волокон . Издательство Принстонского университета . ISBN 0-691-08055-0 .

[Davis1991-7] Перейти обратно: ^а ^б Дэвис, Джеймс Ф.; Кирк, Пол (1991). Конспекты лекций по алгебраической топологии (PDF) . Департамент математики Университета Индианы.

[Cohen1998-8] Коэн, Ральф Л. (1998). Конспект лекций по топологии пучков волокон (PDF) . Стэндфордский Университет.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]