Jump to content

Квазирасслоение

В алгебраической топологии квазирасслоение является обобщением расслоений и расслоений, введенных Альбрехтом Дольдом и Рене Томом . Грубо говоря, это непрерывное отображение 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 уже . Таким образом, можно свести его к случаю, когда утверждение известно.Эти две теоремы означают, что достаточно показать, что данное отображение является квазирасслоением на определенных подмножествах. Затем можно соединить их вместе, чтобы увидеть, что оно справедливо для больших подмножеств, и, наконец, используя ограничивающий аргумент, можно увидеть, что отображение является квазирасслоением на всем пространстве. Эта процедура, например, использовалась при доказательстве теоремы Дольда-Тома.

Примечания

[ редактировать ]
  1. ^ Дольд и Том (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 .
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 515e95433fa2200bf923c5c3f42b2269__1705880100
URL1:https://arc.ask3.ru/arc/aa/51/69/515e95433fa2200bf923c5c3f42b2269.html
Заголовок, (Title) документа по адресу, URL1:
Quasi-fibration - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)