WikiDer > Двойственность Экмана – Хилтона

Eckmann–Hilton duality

В математических дисциплинах алгебраическая топология и теория гомотопии, Двойственность Экмана – Хилтона в своей основной форме состоит из принятия заданного диаграмма для конкретной концепции и изменения направления всех стрелок, как в теория категорий с идеей противоположная категория. В значительно более глубокой форме утверждается, что тот факт, что двойственное понятие предел это копредел позволяет нам изменить Аксиомы Эйленберга – Стинрода для гомология дать аксиомы для когомология. Он назван в честь Бено Экманн и Питер Хилтон.

Обсуждение

Пример приводится карри, что говорит нам, что для любого объекта ${displaystyle X}$ , карта ${displaystyle X imes I o Y}$ это то же самое, что и карта ${displaystyle X o Y ^ {I}}$ , где ${displaystyle Y ^ {I}}$ это экспоненциальный объект, заданный всеми картами из ${displaystyle I}$ к ${displaystyle Y}$ . На случай, если топологические пространства, если взять ${displaystyle I}$ быть единичным интервалом, это приводит к двойственности между ${displaystyle X imes I}$ и ${displaystyle Y ^ {I}}$ , что затем дает двойственность между уменьшенная подвеска ${displaystyle Sigma X}$ , который является частным от ${displaystyle X imes I}$ , а пространство петли ${displaystyle Omega Y}$ , которое является подпространством ${displaystyle Y ^ {I}}$ . Затем это приводит к сопряженное отношение ${displaystyle langle Sigma X, Yangle = langle X, Omega Yangle}$ , что позволяет изучать спектры, которые вызывают теории когомологий.

Мы также можем напрямую связать расслоения и кофибрации: расслоение ${displaystyle pcolon E o B}$ определяется наличием свойство гомотопического подъема, представленный следующей диаграммой

и кофибрация ${displaystyle icolon A o X}$ определяется двойственным свойство гомотопического расширения, представленный путем дуализации предыдущей диаграммы:

Вышеупомянутые соображения также применимы при рассмотрении последовательностей, связанных с расслоением или c-расслоением, как заданным расслоением. ${displaystyle F o E o B}$ мы получаем последовательность

{displaystyle cdots o Omega ^ {2} B o Omega F o Omega E o Omega B o F o E o B,}

и учитывая кофибрацию ${displaystyle A o X o X / A}$ мы получаем последовательность

{displaystyle A o X o X / A o Sigma A o Sigma X o Сигма слева (X / Aight) o Sigma ^ {2} A o cdots.,}

и в более общем смысле двойственность между точным и совпадающим Последовательности кукол.

Это также позволяет нам связать гомотопия и когомологии: мы знаем, что гомотопические группы находятся гомотопические классы карт из п-сфера в наше пространство, написанное ${displaystyle pi _ {n} (X, p) cong langle S ^ {n}, Xangle}$ , а мы знаем, что у сферы есть единственный ненулевой (приведенный) группа когомологий. С другой стороны, группы когомологий - это гомотопические классы отображений в пространства с одной ненулевой гомотопической группой. Это дано Пространства Эйленберга – Маклейна ${displaystyle K (G, n)}$ и отношение