Фибрация

Понятие в алгебраической топологии

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

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

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

Формальные определения

Свойство подъема гомотопии

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

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

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

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

Фибрация

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

фибрилляция Серра

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

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

Квазиволокно

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

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

Примеры

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

Основные понятия

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

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

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

волокнистость с обратным натяжением

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

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

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

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

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

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

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

Характеристики

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

Последовательность кукол

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

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

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

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

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

Главное волокно

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

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

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

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

${\displaystyle \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 }$ ${\displaystyle \cdots \rightarrow \pi _{0}(F,x_{0})\rightarrow \pi _{0}(E,x_{0}).}$

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

волокнистость Хопфа

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

${\displaystyle S^{0}\hookrightarrow S^{1}\rightarrow S^{1},}$

${\displaystyle S^{1}\hookrightarrow S^{3}\rightarrow S^{2},}$

${\displaystyle S^{3}\hookrightarrow S^{7}\rightarrow S^{4},}$

${\displaystyle S^{7}\hookrightarrow S^{15}\rightarrow S^{8}.}$

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

${\displaystyle \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 }$ ${\displaystyle \cdots \rightarrow \pi _{1}(S^{1},x_{0})\rightarrow \pi _{1}(S^{3},x_{0})\rightarrow \pi _{1}(S^{2},b_{0}).}$

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

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

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

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

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

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

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

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

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

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

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

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

${\displaystyle 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}

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

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

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

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

Ориентируемость

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

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

Эйлерова характеристика

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

${\displaystyle \chi (E)=\chi (B)\chi (F).}$

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

Смотрите также

• Приблизительное волокнистое строение

Ссылки

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