Крышка продукта

Метод в алгебраической топологии

В алгебраической топологии кепочное произведение — это метод присоединения цепи степени p к коцепи степени q такой, что q ≤ p , для образования составной цепи степени p − q . Он был введен Эдуардом Чехом в 1936 году и независимо Хасслером Уитни в 1938 году.

Определение

Пусть X — топологическое пространство , а R — кольцо коэффициентов. Продукт шапки представляет собой билинейное отображение сингулярных гомологий и когомологий.

${\displaystyle \frown \;:H_{p}(X;R)\times H^{q}(X;R)\rightarrow H_{p-q}(X;R).}$

определяется стягиванием особой цепи с особой коцепью по формуле: ${\displaystyle \sigma :\Delta \ ^{p}\rightarrow \ X}$ ${\displaystyle \psi \in C^{q}(X;R),}$

${\displaystyle \sigma \frown \psi =\psi (\sigma |_{[v_{0},\ldots ,v_{q}]})\sigma |_{[v_{q},\ldots ,v_{p}]}.}$

Здесь обозначение указывает на ограничение симплициального отображения на его грань, натянутую векторами базы, см. Симплекс . ${\displaystyle \sigma |_{[v_{0},\ldots ,v_{q}]}}$ ${\displaystyle \sigma }$

Интерпретация

По аналогии с интерпретацией чашечного произведения с точки зрения формулы Кюннета , существование шапочного произведения можно объяснить следующим образом. Используя CW-приближение, мы можем предположить, что – CW-комплекс и (и ) – комплекс его клеточных цепей (или коцепей соответственно). Рассмотрим тогда композицию , в которой мы берем тензорные произведения цепных комплексов , - это диагональное отображение , которое индуцирует отображение цепного комплекса, и - это отображение оценки (всегда 0, за исключением ). ${\displaystyle X}$ ${\displaystyle C_{\bullet }(X)}$ ${\displaystyle C^{\bullet }(X)}$ $${\displaystyle C_{\bullet }(X)\otimes C^{\bullet }(X){\overset {\Delta _{*}\otimes \mathrm {Id} }{\longrightarrow }}C_{\bullet }(X)\otimes C_{\bullet }(X)\otimes C^{\bullet }(X){\overset {\mathrm {Id} \otimes \varepsilon }{\longrightarrow }}C_{\bullet }(X)}$$ ${\displaystyle \Delta \colon X\to X\times X}$ $${\displaystyle \Delta _{*}\colon C_{\bullet }(X)\to C_{\bullet }(X\times X)\cong C_{\bullet }(X)\otimes C_{\bullet }(X)}$$ ${\displaystyle \varepsilon \colon C_{p}(X)\otimes C^{q}(X)\to \mathbb {Z} }$ ${\displaystyle p=q}$

Затем эта композиция переходит к фактору, чтобы определить предельное произведение , и внимательный взгляд на приведенную выше композицию показывает, что она действительно принимает форму карт , которая всегда равна нулю для . ${\displaystyle \frown \colon H_{\bullet }(X)\times H^{\bullet }(X)\to H_{\bullet }(X)}$ ${\displaystyle \frown \colon H_{p}(X)\times H^{q}(X)\to H_{p-q}(X)}$ ${\displaystyle p<q}$

Фундаментальный класс

Для любой точки в мы имеем длинную точную последовательность в гомологиях (с коэффициентами в ) пары (M, M - {x}) (см. Относительные гомологии ) ${\displaystyle x}$ ${\displaystyle M}$ ${\displaystyle R}$

${\displaystyle \cdots \to H_{n}(M-{x};R){\stackrel {i_{*}}{\to }}H_{n}(M;R){\stackrel {j_{*}}{\to }}H_{n}(M,M-{x};R){\stackrel {\partial }{\to }}H_{n-1}(M-{x};R)\to \cdots .}$

Элемент называется фундаментальным классом, поскольку if является генератором . Фундаментальный класс существует, если замкнут и R-ориентируем . Фактически, если это замкнутое, связное и -ориентируемое многообразие, отображение является изоморфизмом для всех , и, следовательно, мы можем выбрать любой генератор в качестве фундаментального класса. ${\displaystyle [M]}$ ${\displaystyle H_{n}(M;R)}$ ${\displaystyle M}$ ${\displaystyle j_{*}([M])}$ ${\displaystyle H_{n}(M,M-{x};R)}$ ${\displaystyle M}$ ${\displaystyle M}$ ${\displaystyle M}$ ${\displaystyle R}$ ${\displaystyle H_{n}(M;R){\stackrel {j_{*}}{\to }}H_{n}(M,M-{x};R)}$ ${\displaystyle x}$ ${\displaystyle R}$ ${\displaystyle H_{n}(M;R)}$

Связь с двойственностью Пуанкаре

Для замкнутого -ориентируемого n-многообразия с фундаментальным классом в (который мы можем выбрать в качестве любого генератора ) отображение произведения шапки является изоморфизмом для всех . Этот результат известен как двойственность Пуанкаре . ${\displaystyle R}$ ${\displaystyle M}$ ${\displaystyle [M]}$ ${\displaystyle H_{n}(M;R)}$ ${\displaystyle H_{n}(M;R)}$ $${\displaystyle H^{k}(M;R)\to H_{n-k}(M;R),\alpha \mapsto [M]\frown \alpha }$$ ${\displaystyle k}$

Наклонный продукт

Если в приведенном выше обсуждении заменить на , конструкцию можно (частично) воспроизвести, начиная с отображений и ${\displaystyle X\times X}$ ${\displaystyle X\times Y}$ $${\displaystyle C_{\bullet }(X\times Y)\otimes C^{\bullet }(Y)\cong C_{\bullet }(X)\otimes C_{\bullet }(Y)\otimes C^{\bullet }(Y){\overset {\mathrm {Id} \otimes \varepsilon }{\longrightarrow }}C_{\bullet }(X)}$$ $${\displaystyle C^{\bullet }(X\times Y)\otimes C_{\bullet }(Y)\cong C^{\bullet }(X)\otimes C^{\bullet }(Y)\otimes C_{\bullet }(Y){\overset {\mathrm {Id} \otimes \varepsilon }{\longrightarrow }}C^{\bullet }(X)}$$

чтобы получить соответственно наклонные произведения : и ${\displaystyle /}$ $${\displaystyle H_{p}(X\times Y;R)\otimes H^{q}(Y;R)\rightarrow H_{p-q}(X;R)}$$ $${\displaystyle H^{p}(X\times Y;R)\otimes H_{q}(Y;R)\rightarrow H^{p-q}(X;R).}$$

В случае X = Y первый из них связан с продуктом ограничения диагональным отображением: . ${\displaystyle \Delta _{*}(a)/\phi =a\frown \phi }$

Эти «произведения» в некотором смысле больше похожи на деление, чем на умножение, что отражено в их обозначениях.

Уравнения

Граница продукта ограничения определяется как:

${\displaystyle \partial (\sigma \frown \psi )=(-1)^{q}(\partial \sigma \frown \psi -\sigma \frown \delta \psi ).}$

Учитывая отображение f, индуцированные отображения удовлетворяют:

${\displaystyle f_{*}(\sigma )\frown \psi =f_{*}(\sigma \frown f^{*}(\psi )).}$

Колпачок и чашка связаны между собой:

${\displaystyle \psi (\sigma \frown \varphi )=(\varphi \smile \psi )(\sigma )}$

где

${\displaystyle \sigma :\Delta ^{p+q}\rightarrow X}$, и ${\displaystyle \psi \in C^{q}(X;R)}$ ${\displaystyle \varphi \in C^{p}(X;R).}$

Если разрешено иметь более высокую степень, чем , последнее тождество принимает более общую форму ${\displaystyle \sigma }$ ${\displaystyle p+q}$

${\displaystyle (\sigma \frown \varphi )\frown \psi =\sigma \frown (\varphi \smile \psi )}$

что превращается в правый модуль . ${\displaystyle H_{\ast }(X;R)}$ ${\displaystyle H^{\ast }(X;R)}$

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

• Кубок продукта
• Двойственность Пуанкаре
• Особые гомологии
• Теория гомологии

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

• Хэтчер, А. , Алгебраическая топология, издательство Кембриджского университета (2002) ISBN  0-521-79540-0 . Подробное обсуждение теорий гомологии симплициальных комплексов и многообразий, сингулярных гомологии и т. д.
• Мэй Дж. П. (1999). Краткий курс алгебраической топологии (PDF) . Издательство Чикагского университета . Архивировано (PDF) из оригинала 9 октября 2022 г. Проверено 27 сентября 2008 г.В разделе 2.7 дается теоретико-категорное представление теоремы как копредела в категории группоидов.
• наклонный продукт в n Lab
• Двойственность Пуанкаре в лаборатории n