Теорема об универсальных коэффициентах

В алгебраической топологии теоремы об универсальных коэффициентах устанавливают отношения между группами гомологий (или группами когомологий) с разными коэффициентами. Например, для каждого топологического пространства X его целые группы гомологий :

ЧАС _я ( X ; Z )

полностью определить ее группы гомологий с коэффициентами из A для любой абелевой группы A :

ЧАС _я ( Икс ; А )

Здесь H _i может быть симплициальной гомологией или, в более общем плане, сингулярной гомологией . Обычное доказательство этого результата представляет собой чистую часть гомологической алгебры о цепных комплексах свободных абелевых групп . Форма результата такова, что можно использовать другие коэффициенты A за счет использования функтора Tor .

Например, принято считать, что A равно Z /2 Z , так что коэффициенты равны по модулю 2. Это становится очевидным в отсутствие 2- кручения в гомологиях. В общем, результат указывает на взаимосвязь, которая сохраняется между числами Бетти b _i из X и числами Бетти b _{i , F} с коэффициентами в поле F . Они могут различаться, но только тогда, когда характеристикой F , является простое число p для которого существует некоторое p -кручение гомологии.

Заявление о случае гомологии

Рассмотрим тензорное произведение модулей H _i ( X ; Z ) ⊗ A . Теорема утверждает, что существует короткая точная последовательность, включающая функтор Tor

$0\to H_{i}(X;\mathbf {Z} )\otimes A\,{\overset {\mu }{\to }}\,H_{i}(X;A)\to \operatorname {Tor} _{1}(H_{i-1}(X;\mathbf {Z} ),A)\to 0.$

Более того, эта последовательность распадается , хотя и не естественным образом. Здесь µ — отображение, индуцированное билинейным отображением H _i ( X ; Z ) × A → H _i ( X ; A ) .

кольцо коэффициентов A есть Z / pZ Если , то это частный случай спектральной последовательности Бокштейна .

для

Пусть G — модуль над областью главных идеалов R (например, Z или полем).

Существует также теорема об универсальных коэффициентах для когомологий, включающая функтор Ext , которая утверждает, что существует естественная короткая точная последовательность

$0\to \operatorname {Ext} _{R}^{1}(H_{i-1}(X;R),G)\to H^{i}(X;G)\,{\overset {h}{\to }}\,\operatorname {Hom} _{R}(H_{i}(X;R),G)\to 0.$

Как и в случае гомологии, последовательность расщепляется, хотя и не естественным образом.

В самом деле, предположим

$H_{i}(X;G)=\ker \partial _{i}\otimes G/\operatorname {im} \partial _{i+1}\otimes G$

и определим:

$H^{*}(X;G)=\ker(\operatorname {Hom} (\partial ,G))/\operatorname {im} (\operatorname {Hom} (\partial ,G)).$

Тогда h выше — это каноническая карта:

$h([f])([x])=f(x).$

Альтернативная точка зрения может быть основана на представлении когомологий через пространство Эйленберга – Маклейна , где отображение h переводит гомотопический класс отображений из X в K ( G , i ) в соответствующий гомоморфизм, индуцированный в гомологиях. Таким образом, пространство Эйленберга–Маклейна является слабым правым сопряженным гомологии функтору .

Пример: когомологии по модулю 2 реального проективного пространства

Пусть X = P ^н ( R ) — действительное проективное пространство . Мы вычисляем сингулярные когомологии X с коэффициентами из R = Z /2 Z .

Зная, что целочисленная гомология определяется выражением:

$H_{i}(X;\mathbf {Z} )={\begin{cases}\mathbf {Z} &i=0{\text{ or }}i=n{\text{ odd,}}\\\mathbf {Z} /2\mathbf {Z} &0<i<n,\ i\ {\text{odd,}}\\0&{\text{otherwise.}}\end{cases}}$

У нас есть Ext( R , R ) = R , Ext( Z , R ) = 0 , так что приведенные выше точные последовательности дают

$\forall i=0,\ldots ,n:\qquad \ H^{i}(X;R)=R.$

Фактически полная когомологий кольцевая структура имеет вид

$H^{*}(X;R)=R[w]/\left\langle w^{n+1}\right\rangle .$

Следствия

Частным случаем теоремы является вычисление целочисленных когомологий. Для конечного комплекса CW X конечно порождено, и H _i ( X ; Z ) поэтому мы имеем следующее разложение .

$H_{i}(X;\mathbf {Z} )\cong \mathbf {Z} ^{\beta _{i}(X)}\oplus T_{i},$

где β _i ( X ) — Бетти X и числа $T_{i}$ является торсионной частью $H_{i}$. Это можно проверить

$\operatorname {Hom} (H_{i}(X),\mathbf {Z} )\cong \operatorname {Hom} (\mathbf {Z} ^{\beta _{i}(X)},\mathbf {Z} )\oplus \operatorname {Hom} (T_{i},\mathbf {Z} )\cong \mathbf {Z} ^{\beta _{i}(X)},$

и

$\operatorname {Ext} (H_{i}(X),\mathbf {Z} )\cong \operatorname {Ext} (\mathbf {Z} ^{\beta _{i}(X)},\mathbf {Z} )\oplus \operatorname {Ext} (T_{i},\mathbf {Z} )\cong T_{i}.$

Это дает следующее утверждение для целых когомологий:

$H^{i}(X;\mathbf {Z} )\cong \mathbf {Z} ^{\beta _{i}(X)}\oplus T_{i-1}.$

Для X — , ориентируемого замкнутого и связного n - многообразия , это следствие в сочетании с двойственностью Пуанкаре дает, что β _i ( X ) = β _{n − i} ( X ) .

последовательность

Существует обобщение теоремы об универсальных коэффициентах для (ко)гомологий со скрученными коэффициентами .

Для когомологий мы имеем

$E_{2}^{p,q}=Ext_{R}^{q}(H_{p}(C_{*}),G)\Rightarrow H^{p+q}(C_{*};G)$

Где $R$ представляет собой кольцо с единицей, $C_{*}$ представляет собой цепной комплекс бесплатных модулей над $R$, $G$ есть ли какой-нибудь $(R,S)$-бимодуль для некоторого кольца с единицей $S$, $Ext$ это группа Ext . Дифференциал $d^{r}$ имеет степень $(1-r,r)$.

Аналогично для гомологии

$E_{p,q}^{2}=Tor_{q}^{R}(H_{p}(C_{*}),G)\Rightarrow H_{*}(C_{*};G)$

для Tor группа Tor и дифференциал $d_{r}$ имеющий степень $(r-1,-r)$.

Ссылки

• Аллен Хэтчер , Алгебраическая топология , Издательство Кембриджского университета, Кембридж, 2002. ISBN   0-521-79540-0 . Современное введение в алгебраическую топологию с геометрическим уклоном. Книга доступна бесплатно в форматах PDF и PostScript на домашней странице автора .
• Кайнен, ПК (1971). «Слабые сопряженные функторы». Математический журнал . 122 : 1–9. дои : 10.1007/bf01113560 . S2CID   122894881 .
• Джером Левин . «Узловые модули. Я." Труды Американского математического общества 229 (1977): 1–50. https://doi.org/10.2307/1998498

Внешние ссылки

• Теорема об универсальных коэффициентах с кольцевыми коэффициентами