Кольцо когомологий

Материал из testwiki
Перейти к навигации Перейти к поиску

В алгебраической топологии, кольцо когомологий топологического пространства X — это N-градуированное кольцо, составленное из групп когомологий пространства с ⌣-произведением (произведением Колмогорова — Александера) в качестве умножения в кольце:

H∙(X;R)=⨁k∈ℕHk(X;R),

где коэффициенты берутся в коммутативном кольце R (как правило в качестве R берут Zn, Z, Q, R или C). Здесь под когомологиями как правило понимают сингулярные когомологии. Кольцо когомологий представляет собой важнейший топологический инвариант: непрерывное отображение топологических пространств X→Y индуцирует гомоморфизм колец H∙(Y;R)→H∙(X;R).

Особенно важной вехой в развитии топологии по многим причинам оказался 1935 год. В сентябре 1935 года в Москве состоялась «Шаблон:Iw». Независимые друг от друга доклады Дж. Александера, И. И. Гордона и А. Н. Колмогорова, прочитанные на этой конференции, положили начало теории когомологий. Конструкция умножения когомологий Шаблон:Nobr отличалась от конструкций Дж. Александера и А. Н. Колмогорова, которые были идентичны. Несколько позднее изоморфизм колец Гордона и Александера-Колмогорова был доказан [[Фройденталь, Ханс|Шаблон:Nobr]].

Примеры

  • H∗(ℝPn;𝔽2)=𝔽2[α]/(αn+1), где |α|=1.
  • H∗(ℝP∞;𝔽2)=𝔽2[α], где |α|=1.
  • H∗(ℂPn;ℤ)=ℤ[α]/(αn+1), где |α|=2.
  • H∗(ℂP∞;ℤ)=ℤ[α], где |α|=2.
  • H∗(ℍPn;ℤ)=ℤ[α]/(αn+1), где |α|=4.
  • H∗(ℍP∞;ℤ)=ℤ[α], где |α|=4.

Литература