WikiDer > Расслоение пространства путей - Википедия

Path space fibration - Wikipedia

В алгебраической топологии расслоение пространства путей на основе Космос ${ displaystyle (X, *)}$ ^[1] это расслоение формы

{ displaystyle Omega X hookrightarrow PX { overset { chi mapsto chi (1)} { to}} X}

куда

${ displaystyle PX = operatorname {Map} (I, X) = {е двоеточие I к X mid f { text {continuous}}, f (0) = * }}$ , оснащенный компактно-открытая топология, пространство, называемое пространство пути из Икс,
${ displaystyle Omega X}$ это волокно ${ Displaystyle чи mapsto чи (1)}$ над базовой точкой Икс; таким образом, это пространство петли из Икс.

Космос ${ displaystyle X ^ {I}}$ состоит из всех карт из я к Икс это может не сохранить базовые точки; это называется свободное пространство из Икс и расслоение ${ displaystyle X ^ {I} to X}$ дано, скажем, ${ Displaystyle чи mapsto чи (1)}$ , называется расслоение пространства свободного пути.

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

Отображение пространства пути

Если ${ displaystyle f двоеточие от X до Y}$ любая карта, то отображение пространства пути ${ displaystyle P_ {f}}$ из ${ displaystyle f}$ это откат расслоения ${ Displaystyle Y ^ {I} к Y, , chi mapsto chi (1)}$ вдоль ${ displaystyle f}$ . Так как расслоение возвращается к расслоению, если Y базируется, имеется расслоение

{ displaystyle F_ {f} hookrightarrow P_ {f} { overset {p} { to}} Y}

куда ${ Displaystyle р (х, чи) = чи (0)}$ и ${ displaystyle F_ {f}}$ это гомотопическое волокно, откат расслоения ${ Displaystyle PY { overset { chi mapsto chi (1)} { to}} Y}$ вдоль ${ displaystyle f}$ .

Обратите внимание также ${ displaystyle f}$ состав

{ Displaystyle X { overset { phi} { to}} P_ {f} { overset {p} { to}} Y}

где первая карта ${ displaystyle phi}$ отправляет Икс к ${ Displaystyle (х, c_ {е (х)})}$ ; Вот ${ Displaystyle c_ {е (х)}}$ обозначает постоянный путь со значением ${ displaystyle f (x)}$ . Четко, ${ displaystyle phi}$ - гомотопическая эквивалентность; таким образом, приведенное выше разложение говорит, что любое отображение является расслоением с точностью до гомотопической эквивалентности.

Если ${ displaystyle f}$ сначала является расслоением, то отображение ${ displaystyle phi двоеточие X к P_ {f}}$ это послойная гомотопическая эквивалентность и следовательно,^[2] волокна ${ displaystyle f}$ над компонентой пути базовой точки гомотопически эквивалентны гомотопическому слою ${ displaystyle F_ {f}}$ из ${ displaystyle f}$ .

Пространство пути Мура

По определению путь в пространстве Икс карта из единичного интервала я к Икс. Опять же по определению произведение двух путей ${ displaystyle alpha, beta}$ такой, что ${ Displaystyle альфа (1) = бета (0)}$ это путь ${ displaystyle beta cdot alpha двоеточие от I до X}$ предоставлено:

{ displaystyle ( beta cdot alpha) (t) = { begin {case} alpha (2t) & { text {if}} 0 leq t leq 1/2 beta (2t- 1) & { text {if}} 1/2 leq t leq 1 end {case}}}

.

Этот продукт, как правило, не вызывает ассоциации на носу: ${ Displaystyle ( гамма CDOT бета) CDOT альфа neq гамма CDOT ( бета CDOT альфа)}$ , как видно прямо. Одно из решений этой неудачи - перейти к гомотопическим классам: у одного есть ${ Displaystyle [( гамма CDOT бета) CDOT альфа] = [ гамма CDOT ( бета CDOT альфа)]}$ . Другое решение - работать с путями произвольной длины, что приводит к описанным ниже понятиям пространства путей Мура и расслоения пространства путей Мура.^[3] (Более сложное решение - переосмыслить композиция: работа с произвольным семейством композиций; см. введение в статью Лурье,^[4] приводя к понятию операда.)

Учитывая базовое пространство ${ displaystyle (X, *)}$ , мы позволяем

{ displaystyle P'X = {е двоеточие [0, r] к X mid r geq 0, f (0) = * }.}

Элемент ж этого набора имеет уникальное расширение ${ displaystyle { widetilde {f}}}$ к интервалу ${ displaystyle [0, infty)}$ такой, что ${ Displaystyle { widetilde {f}} (т) = е (г), , т geq г}$ . Таким образом, множество можно идентифицировать как подпространство ${ displaystyle operatorname {Map} ([0, infty), X)}$ . Полученное пространство называется Пространство пути Мура из Икс, после Джон Коулман Мур, который представил концепцию. Тогда, как и раньше, возникает расслоение Расслоение пространства путей Мура:

{ displaystyle Omega 'X hookrightarrow P'X { overset {p} { to}} X}

куда п отправляет каждый ж: [0, р] → Икс к ж(р) и ${ Displaystyle Omega 'X = p ^ {- 1} (*)}$ это волокно. Оказывается, что ${ displaystyle Omega X}$ и ${ displaystyle Omega 'X}$ гомотопически эквивалентны.

Теперь мы определяем карту продукта:

{ displaystyle mu: P'X times Omega 'X to P'X}

автор: для ${ displaystyle f двоеточие [0, r] к X}$ и ${ displaystyle g двоеточие [0, s] в X}$ ,

{ displaystyle mu (g, f) (t) = { begin {case} f (t) & { text {if}} 0 leq t leq r g (tr) & { text { if}} r leq t leq s + r end {case}}}

.

Этот продукт явно ассоциативный. В частности, с μ ограничен Ω'Икс × Ом'Икс, имеем Ω'Икс это топологический моноид (в категории всех пространств). Более того, этот моноид Ω'Икс действует на п'Икс через оригинал μ. Фактически, ${ displaystyle p: P'X to X}$ является Ω 'Икс-фибрация.^[5]

Примечания

^ На протяжении всей статьи пробелы относятся к категории «разумных» пространств; например, категория компактно порожденных слабых Хаусдорфовы пространства.
^ с использованием смена волокна
^ Уайтхед 1979, Гл. III, § 2.
^ Лурье, Джейкоб (30 октября 2009 г.). "Производная алгебраическая геометрия VI: E [k] -алгебры" (PDF).
^
Позволять грамм = Ω'Икс и п = п'Икс. Который грамм сохраняет волокна ясно. Чтобы увидеть, для каждого γ в п, карта ${ Displaystyle G к p ^ {- 1} (p ( gamma)), , g mapsto gamma g}$ ${ Displaystyle G к p ^ {- 1} (p ( gamma)), , g mapsto gamma g}$ является слабой эквивалентностью, можно использовать следующую лемму:
Лемма — Позволять п: D → B, q: E → B быть расслоениями над необоснованным пространством B, ж: D → E карта над B. Если B линейно связно, то следующие эквиваленты:
- ж является слабой эквивалентностью.
- ${ displaystyle f: p ^ {- 1} (b) to q ^ {- 1} (b)}$ является слабой эквивалентностью для некоторых б в B.
- ${ displaystyle f: p ^ {- 1} (b) to q ^ {- 1} (b)}$ является слабой эквивалентностью для любого б в B.
Применим лемму с ${ Displaystyle B = I, D = I times G, E = I times _ {X} P, f (t, g) = (t, alpha (t) g)}$ куда α это путь в п и я → Икс является т → конечная точка α(т). С ${ displaystyle p ^ {- 1} (p ( gamma)) = G}$ если γ - постоянный путь, утверждение следует из леммы. (Короче говоря, лемма следует из длинная точная гомотопическая последовательность и лемму о пяти.)

Navigation

Navigation

Themenportale

WikiDer > Расслоение пространства путей - Википедия

Содержание

Отображение пространства пути

Пространство пути Мура

Примечания

Рекомендации