Квазирасслоение
В алгебраической топологии квазирасслоение является обобщением расслоений и расслоений, введенных Альбрехтом Дольдом и Рене Томом . Грубо говоря, это непрерывное отображение p : E → B, имеющее то же поведение, что и расслоение относительно (относительных) гомотопических групп E . , B и p −1 ( х ). Эквивалентно, можно определить квазирасслоение как непрерывное отображение такое, что включение каждого слоя в его гомотопический слой является слабой эквивалентностью . Одно из основных применений квазирасслоений заключается в доказательстве теоремы Дольда-Тома .
Определение
[ редактировать ]Непрерывное сюръективное отображение топологических пространств p : E → B называется квазирасслоением , если оно индуцирует изоморфизмы
для всех x ∈ B , y ∈ p −1 ( x ) и i ≥ 0. Для i = 0,1 можно говорить только о биекциях между двумя множествами.
По определению, квазирасслоения обладают общим ключевым свойством расслоений, а именно то, что квазирасслоение p : E → B индуцирует длинную точную последовательность гомотопических групп.
что следует непосредственно из длинной точной последовательности для пары ( E , p −1 ( х )).
Эта длинная точная последовательность также является функториальной в следующем смысле: любое послойное отображение f : E → E′ индуцирует морфизм между точными последовательностями пар ( E , p −1 ( x )) и ( E′ , p′ −1 ( x )) и, следовательно, морфизм между точными последовательностями квазирасслоения. Следовательно, диаграмма
коммутирует с f 0, являющимся ограничением f на p −1 ( x ) и x′ является элементом формы p′ ( f ( e )) для e ∈ p −1 ( х ).
Эквивалентное определение гласит, что сюръективное отображение p : E → B является квазирасслоением, если включение слоя p −1 ( b гомотопический слой Fb точки p b над B. является слабой эквивалентностью для b ∈ ) в всех Чтобы убедиться в этом, напомним, что F b — это слой q под действием b , где q : E p → B — обычная конструкция расслоения путей . Таким образом, у человека есть
и q определяется как q ( e , γ) = γ(1). Теперь рассмотрим естественную гомотопическую эквивалентность φ: E → E p , заданную формулой φ( e ) = ( e , p ( e )), где p ( e ) обозначает соответствующий постоянный путь. По определению, p пропускается через E p так, что получается коммутативная диаграмма
Применение π n дает альтернативное определение.
Примеры
[ редактировать ]- Каждое расслоение Серра является квазирасслоением. Это следует из свойства гомотопического подъема .
- Проекция буквы L на ее базовый интервал является квазирасслоением, но не расслоением. В более общем смысле, проекция M f → I цилиндра отображения отображения f : X → Y между связными комплексами CW на единичный интервал является квазирасслоением тогда и только тогда, когда π i ( M f , p −1 ( б )) знак равно 0 знак равно π я ( я , б ) имеет место для всех я € I и б € B . Но по длинной точной последовательности пары ( M f , p −1 ( b )) и по теореме Уайтхеда это эквивалентно тому, что f является гомотопической эквивалентностью . Для топологических пространств X и Y в целом это эквивалентно тому, что f является слабой гомотопической эквивалентностью. Более того, если f не является сюръективным, непостоянные пути в I, начинающиеся с 0, не могут быть повышены до путей, начинающихся в точке Y вне образа f в M f . Это означает, что в данном случае проекция не является расслоением.
- Отображение SP( p ) : SP( X ) → SP( X / A ), индуцированное проекцией p : X → X / A, является квазирасслоением для пары CW ( X , A ), состоящей из двух связных пространств. Это одно из основных утверждений, используемых при доказательстве теоремы Дольда-Тома . В общем случае это отображение также не может быть расслоением.
Характеристики
[ редактировать ]Следующее является прямым следствием альтернативного определения расслоения с использованием гомотопического слоя:
- Теорема. Каждое квазирасслоение p : E → B факторизуется через расслоение, слои которого слабо гомотопически эквивалентны слоям p .
Следствием этой теоремы является то, что все слои квазирасслоения слабо гомотопически эквивалентны, если базовое пространство линейно связно , как это имеет место для расслоений.
Проверка того, является ли данное отображение квазирасслоением, бывает довольно утомительной. Следующие две теоремы призваны облегчить эту задачу. Они будут использовать следующее понятие: Пусть p : E → B — непрерывное отображение. Подмножество U ⊂ p ( E ) называется выделенным (относительно p ), если p : p −1 ( U ) → U — квазирасслоение.
- Теорема. Если открытые подмножества U,V и U ∩ V различены относительно непрерывного отображения p : E → B , то и U ∪ V различены . [1]
- Теорема. Пусть p : E → B — непрерывное отображение, где B — индуктивный предел последовательности B 1 ⊂ B 2 ⊂ ... Кроме того, предполагается, что все B n удовлетворяют первой аксиоме разделения. все Bn Если выделены, то p — квазирасслоение.
Чтобы убедиться в справедливости последнего утверждения, достаточно иметь в виду, что непрерывные образы компактов из B лежат в некотором Bn уже . Таким образом, можно свести его к случаю, когда утверждение известно.Эти две теоремы означают, что достаточно показать, что данное отображение является квазирасслоением на определенных подмножествах. Затем можно соединить их вместе, чтобы увидеть, что оно справедливо для больших подмножеств, и, наконец, используя ограничивающий аргумент, можно увидеть, что отображение является квазирасслоением на всем пространстве. Эта процедура, например, использовалась при доказательстве теоремы Дольда-Тома.
Примечания
[ редактировать ]- ^ Дольд и Том (1958), Теорема 2.2
Ссылки
[ редактировать ]- Агилар, Марсело; Гитлер, Самуэль; Прието, Карлос (2008). Алгебраическая топология с гомотопической точки зрения . Springer Science & Business Media. ISBN 978-0-387-22489-3 .
- Дольд, Альбрехт; Лашоф, Ричард (1959), «Основные квазирасслоения и волоконная гомотопическая эквивалентность расслоений», Illinois Journal of Mathematics , 2 (2): 285–305
- Дольд, Альбрехт; Том, Рене (1958), «Квазирасслоения и бесконечные симметричные произведения», Annals of Mathematics , Second Series, 67 (2): 239–281, doi : 10.2307/1970005 , ISSN 0003-486X , JSTOR 1970005 , MR 0097062
- Хэтчер, Аллен (2002). Алгебраическая топология . Издательство Кембриджского университета . ISBN 978-0-521-79540-1 .
- Мэй, Дж. Питер (1990), «Слабые эквивалентности и квазирасслоения», конспект лекций Springer , 1425 : 91–101.
- Пиччинини, Ренцо А. (1992). Лекции по теории гомотопии . Эльзевир. ISBN 9780080872827 .
Внешние ссылки
[ редактировать ]- Квазирасслоения и гомотопические возвраты в MathOverflow
- Квазирасслоения из Университета Лихай