Когомологии

В математике , особенно в теории гомологии и алгебраической топологии , когомологии — это общий термин для последовательности абелевых групп , обычно связанных с топологическим пространством , часто определяемым из коцепного комплекса . Когомологии можно рассматривать как метод присвоения пространству более богатых алгебраических инвариантов, чем гомологии. Некоторые версии когомологий возникают в результате дуализации конструкции гомологии. Другими словами, коцепи — это функции группы цепей в теории гомологии.

С момента своего появления в топологии эта идея стала доминирующим методом в математике второй половины двадцатого века. Начиная с первоначальной идеи гомологии как метода построения алгебраических инвариантов топологических пространств, область применения теорий гомологии и когомологий распространилась по всей геометрии и алгебре . Терминология имеет тенденцию скрывать тот факт, что когомологии, контравариантная теория, во многих приложениях более естественны, чем гомологии. На базовом уровне это связано с функциями и обратными моделями в геометрических ситуациях: с учетом пространств X и Y и некоторой функции F на Y для любого отображения f : X → Y композиция с f порождает функцию F. ∘ ж на X. ​Наиболее важные теории когомологии имеют продукт — чашечное произведение , которое придает им кольцевую структуру. Из-за этой особенности когомологии обычно являются более сильным инвариантом, чем гомологии.

Сингулярные когомологии

Сингулярные когомологии — мощный инвариант топологии, связывающий градуированное коммутативное кольцо с любым топологическим пространством. Каждое непрерывное отображение f : X → Y определяет гомоморфизм кольца когомологий Y в кольцо когомологий X ; накладывает строгие ограничения на возможные отображения от X до Y. это В отличие от более тонких инвариантов, таких как гомотопические группы , кольцо когомологий имеет тенденцию быть вычислимым на практике для интересующих пространств.

Для топологического пространства X определение сингулярных когомологий начинается с комплекса сингулярных цепей :

$$\cdots \to C_{i+1}{\stackrel {\partial _{i+1}}{\to }}C_{i}{\stackrel {\partial _{i}}{\to }}\ C_{i-1}\to \cdots$$

По определению, сингулярные гомологии X — это гомологии этого цепного комплекса (ядро одного гомоморфизма по модулю образа предыдущего). Более подробно, C _i — свободная абелева группа на множестве непрерывных отображений стандартного i -симплекса в X (называемых «сингулярными i -симплексами в X »), а ∂ _i — i- й граничный гомоморфизм. Группы C _i равны нулю для i отрицательных.

Теперь зафиксируйте абелеву группу A и замените каждую группу C _i ее двойственной группой. $C_{i}^{*}:=\mathrm {Hom} (C_{i},A),$ и $\partial _{i}$ своим двойственным гомоморфизмом

$$d_{i-1}:C_{i-1}^{*}\to C_{i}^{*}.$$

Это приводит к «переворачиванию всех стрелок» исходного комплекса, в результате чего остается коцепный комплекс.

$$\cdots \leftarrow C_{i+1}^{*}{\stackrel {d_{i}}{\leftarrow }}\ C_{i}^{*}{\stackrel {d_{i-1}}{\leftarrow }}C_{i-1}^{*}\leftarrow \cdots$$

Для целого i i числа ^й Группа когомологий X с коэффициентами из A определяется как ker( d _i )/im( d _{i −1} ) и обозначается H ^я ( Х , А ). Группа Н ^я ( X , A ) равно нулю для i отрицательного. Элементы $C_{i}^{*}$ называются сингулярными i коцепями с коэффициентами из A. - (Эквивалентно, i -коцепь на X может быть отождествлена ​​с функцией из множества особых i -симплексов от X до A. ) Элементы ker( d ) и im( d ) называются коциклами и кограницами соответственно, а элементы ker( d )/im( d ) = H ^я ( X , A ) называются классами когомологий (поскольку они являются классами эквивалентности коциклов).

В дальнейшем группа коэффициентов А иногда не пишется. Обычно A считают коммутативным кольцом R ; тогда группы когомологий являются R - модулями . Стандартный выбор — Z. чисел целых кольцо

Некоторые формальные свойства когомологий представляют собой лишь второстепенные варианты свойств гомологии:

• Непрерывная карта $f:X\to Y$ определяет прямого действия гомоморфизм $f_{*}:H_{i}(X)\to H_{i}(Y)$ о гомологиях и обратного образа гомоморфизме $f^{*}:H^{i}(Y)\to H^{i}(X)$ по когомологиям. Это превращает когомологии в контравариантный функтор из топологических пространств в абелевы группы (или R -модули).
• Два гомотопических отображения из X в Y индуцируют один и тот же гомоморфизм в когомологиях (так же, как и в гомологиях).
• Последовательность Майера-Виеториса является важным вычислительным инструментом в когомологиях, как и в гомологиях. Заметим, что граничный гомоморфизм увеличивает (а не уменьшает) степень когомологий. То есть, если пространство X представляет собой объединение открытых подмножеств U и V , то существует длинная точная последовательность :
  $$\cdots \to H^{i}(X)\to H^{i}(U)\oplus H^{i}(V)\to H^{i}(U\cap V)\to H^{i+1}(X)\to \cdots$$
• Существуют относительные группы когомологий. $H^{i}(X,Y;A)$ для любого подпространства Y пространства X . Они связаны с обычными группами когомологий длинной точной последовательностью:
  $$\cdots \to H^{i}(X,Y)\to H^{i}(X)\to H^{i}(Y)\to H^{i+1}(X,Y)\to \cdots$$
• Теорема об универсальных коэффициентах описывает когомологии в терминах гомологии, используя группы Ext . А именно, существует короткая точная последовательность
  $$0\to \operatorname {Ext} _{\mathbb {Z} }^{1}(\operatorname {H} _{i-1}(X,\mathbb {Z} ),A)\to H^{i}(X,A)\to \operatorname {Hom} _{\mathbb {Z} }(H_{i}(X,\mathbb {Z} ),A)\to 0.$$
  Связанное с этим утверждение заключается в том, что поля F для $H^{i}(X,F)$ это в точности двойственное пространство к векторному пространству $H_{i}(X,F)$.
• Если X — топологическое многообразие или комплекс CW , то группы когомологий $H^{i}(X,A)$ равны нулю для i чем размерность X большего , . Если X — компактное многообразие (возможно, с краем) или CW-комплекс с конечным числом ячеек в каждом измерении, а R — коммутативное нетерово кольцо , то R -модуль H ^я ( X , R ) конечно генерируется для каждого i .

С другой стороны, когомологии имеют решающую структуру, которой нет у гомологии: для любого топологического пространства X и коммутативного кольца R существует билинейное отображение , называемое чашечным произведением :

$$H^{i}(X,R)\times H^{j}(X,R)\to H^{i+j}(X,R),$$

определяется явной формулой для сингулярных коцепей. Произведение классов когомологий u и v записывается как u ∪ v или просто как uv . Это произведение составляет прямую сумму

$$H^{*}(X,R)=\bigoplus _{i}H^{i}(X,R)$$

в градуированное кольцо , кольцом X. когомологий называемое Он градуированно-коммутативен в том смысле, что:

$$uv=(-1)^{ij}vu,\qquad u\in H^{i}(X,R),v\in H^{j}(X,R).$$

Для любой непрерывной карты $f\colon X\to Y,$ откат ​ $f^{*}:H^{*}(Y,R)\to H^{*}(X,R)$ является гомоморфизмом градуированных R - алгебр . Отсюда следует, что если два пространства гомотопически эквивалентны , то их кольца когомологий изоморфны.

Вот некоторые геометрические интерпретации изделия из чашки. В дальнейшем под многообразиями будем понимать не имеющие края, если не оговорено иное. означает Замкнутое многообразие компактное многообразие (без края), тогда как замкнутое подмногообразие N многообразия M означает подмногообразие, которое является замкнутым подмножеством M , не обязательно компактным (хотя N автоматически компактно, если M таково).

• Пусть X — замкнутое ориентированное многообразие размерности n . Тогда двойственность Пуанкаре дает изоморфизм H ^я Икс ≅ ЧАС _{п - я} Икс . В результате замкнутое ориентированное подмногообразие коразмерности i в определяет X S класс когомологий в H ^я X , называемый [ S ]. В этих терминах произведение чашки описывает пересечение подмногообразий. А именно, если S и T — подмногообразия коразмерности i и j , пересекающиеся трансверсально , то
  $$[S][T]=[S\cap T]\in H^{i+j}(X),$$
  где пересечение S ∩ T является подмногообразием коразмерности i + j с ориентацией, определяемой ориентациями S , T и X . В случае гладких многообразий , если S и T не пересекаются трансверсально, эту формулу все равно можно использовать для вычисления чашечного произведения [ S ][ T ], возмущая S или T , чтобы сделать пересечение трансверсальным.
  В более общем смысле, не предполагая, что X имеет ориентацию, замкнутое подмногообразие X с ориентацией на его нормальном расслоении определяет класс когомологий на X . Если X — некомпактное многообразие, то замкнутое подмногообразие (не обязательно компактное) определяет класс когомологий на X . В обоих случаях произведение чашки снова можно описать через пересечения подмногообразий.
  Заметим, что Том построил класс целочисленных когомологий степени 7 на гладком 14-многообразии, который не является классом какого-либо гладкого подмногообразия. С другой стороны, он показал, что каждый класс целочисленных когомологий положительной степени на гладком многообразии имеет положительное кратное, которое является классом гладкого подмногообразия. Кроме того, каждый класс целочисленных когомологий на многообразии может быть представлен «псевдомногообразием», то есть симплициальным комплексом, который является многообразием вне замкнутого подмножества коразмерности не менее 2.
• Для гладкого многообразия X гласит , теорема де Рама что сингулярные когомологии X с вещественными коэффициентами изоморфны когомологиям де Рама X , определенным с помощью дифференциальных форм . Чашечное изделие соответствует произведению дифференциальных форм. Эта интерпретация имеет то преимущество, что произведение на дифференциальных формах градуировано-коммутативно, тогда как произведение на сингулярных коцепях градуировано-коммутативно только с точностью до гомотопии цепи . Фактически невозможно модифицировать определение сингулярных коцепей с целыми коэффициентами $\mathbb {Z}$ или в $\mathbb {Z} /p$ для простого числа p, чтобы сделать произведение градуально-коммутативным на носу. Нарушение градуированной коммутативности на уровне коцепи приводит к операциям Стинрода над когомологиями mod p .

Очень неформально, для любого топологического пространства X элементы $H^{i}(X)$ можно рассматривать как представленное подпространствами коразмерности i пространства X которые могут свободно перемещаться по X. , Например, один из способов определить элемент $H^{i}(X)$ состоит в том, чтобы задать непрерывное отображение f из X в многообразие M и замкнутое коразмерности i подмногообразие N в M с ориентацией на нормальном расслоении. Неформально, думают о результирующем классе $f^{*}([N])\in H^{i}(X)$ как лежащий в подпространстве $f^{-1}(N)$ из X ; это оправдано тем, что класс $f^{*}([N])$ ограничивается до нуля в когомологиях открытого подмножества $X-f^{-1}(N).$ Класс когомологий $f^{*}([N])$ может свободно перемещаться по X в том смысле, что можно заменить любой непрерывной деформацией N внутри M. N

Примеры

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

• Кольцо когомологий точки — это кольцо Z степени 0. В силу гомотопической инвариантности это также кольцо когомологий любого стягиваемого пространства, например евклидова пространства R. ^н .

• 

  Первая группа когомологий двумерного тора имеет базис, заданный классами двух показанных окружностей.

  Для натурального числа n кольцо когомологий сферы $S^{n}$ Z ( [ x ]/ x ² ) ( фактор-кольцо по кольца многочленов данному идеалу ), с x в степени n . В терминах двойственности Пуанкаре, как указано выше, x — это класс точки на сфере.
• Когомологическое кольцо тора $(S^{1})^{n}$ — внешняя алгебра над Z на n образующих степени 1. Например, пусть P обозначает точку в окружности. $S^{1}$, а Q - точка ( P , P ) в 2-мерном торе $(S^{1})^{2}$. Тогда когомологии ( S ¹ ) ² имеет базис в виде свободного Z -модуля вида: элемент 1 степени 0, x := [ P × S ¹ ] и y := [ S ¹ × P ] в степени 1 и xy = [ Q ] в степени 2. (Здесь неявно зафиксированы ориентации тора и двух окружностей.) Обратите внимание, что yx = − xy = −[ Q ], по градуированному коммутативность.
• В более общем смысле, пусть R — коммутативное кольцо, а X и Y — любые топологические пространства такие, что H ^* ( X , R ) — конечно порожденный свободный R -модуль каждой степени. не требуется (Никаких предположений относительно Y .) Тогда формула Кюннета дает, что кольцо когомологий пространства произведения X × Y является произведением тензорным R -алгебр:
  $$H^{*}(X\times Y,R)\cong H^{*}(X,R)\otimes _{R}H^{*}(Y,R).$$
• Кольцо когомологий вещественного проективного пространства RP ^н с Z коэффициентами /2 равно Z /2[ x ]/( x ^{п +1} ), где x в степени 1. Здесь x — класс гиперплоскости RP ^{п -1} в РП ^н ; это имеет смысл, хотя РП ^дж не ориентируемо при четном и положительном j , поскольку двойственность Пуанкаре с коэффициентами Z /2 работает для произвольных многообразий.
  С целочисленными коэффициентами ответ немного сложнее. -когомологии Z RP ​ ^22а имеет элемент y степени 2 такой, что вся когомология представляет собой прямую сумму копии Z , натянутой на элемент 1 степени 0, вместе с копиями Z /2, натянутыми на элементы y ^я для i =1,..., a . -когомологии Z RP ​ ^{2 а +1} то же самое вместе с дополнительной копией Z в степени 2 a +1.
• Кольцо когомологий комплексного проективного пространства CP ^н Z ( [ x ]/ x ^{п +1} ), где x находится во второй степени. Здесь x — класс гиперплоскости CP ^{п -1} в КП ^н . В более общем плане х ^дж — класс линейного подпространства CP ^{п - j} в КП ^н .
• Кольцо когомологий замкнутой ориентированной поверхности X рода A g ≥ 0 имеет базис в виде свободного Z -модуля вида: элемент 1 степени 0, 1 _, ..., A _g и B ₁ ,... , B _g в степени 1 и класс P точки в степени 2. Произведение определяется следующим образом: A _i A _j = B _i B _j = 0 для всех i и j , A _i B _j = 0, если i ≠ j , и A _i B _i знак равно P для всех i . Из градуированной коммутативности следует, что B _i A _i = − P .
• В любом топологическом пространстве из градуированной коммутативности кольца когомологий следует, что 2 x ² = 0 для всех классов когомологий нечетной степени x . Отсюда следует, что для кольца R, содержащего 1/2, все элементы нечетной степени из H ^* ( X , R ) имеют квадратный ноль. С другой стороны, элементы нечетной степени не обязательно должны иметь квадратный ноль, если R равен Z /2 или Z , как это видно на примере RP. ² (с Z коэффициентами /2) или РП ⁴ × РП ² (с коэффициентами Z ).

Диагональ

Произведение чашки на когомологиях можно рассматривать как происходящее из диагонального отображения Δ: X → X × X , x ↦ ( x , x ). А именно, для любых пространств X и Y с классами когомологий u ∈ H ^я ( Икс , R ) и v ∈ H ^дж ( Y , R ), существует класс когомологий внешнего произведения (или перекрестного произведения ) u × v ∈ H ^{я + дж} ( Икс × Y , р ). Чашечное произведение классов u ∈ H ^я ( Икс , R ) и v ∈ H ^дж ( X , R ) можно определить как откат внешнего продукта по диагонали:

$$uv=\Delta ^{*}(u\times v)\in H^{i+j}(X,R).$$

Альтернативно, внешний продукт может быть определен как продукт в форме чашки. Для пространств X и Y запишите f : X × Y → X и g : X × Y → Y для двух проекций. Тогда внешнее произведение классов u ∈ H ^я ( Икс , R ) и v ∈ H ^дж ( Y , R ) это:

$$u\times v=(f^{*}(u))(g^{*}(v))\in H^{i+j}(X\times Y,R).$$

Двойственность Пуанкаре

Основная статья: двойственность Пуанкаре

Другая интерпретация двойственности Пуанкаре состоит в том, что кольцо когомологий замкнутого ориентированного многообразия самодвойственно в сильном смысле. А именно, пусть X — замкнутое связное ориентированное многообразие размерности n и F — поле. Тогда Х ^н ( X , F ) изоморфно F , а произведение

$H^{i}(X,F)\times H^{n-i}(X,F)\to H^{n}(X,F)\cong F$

является идеальной парой для каждого целого числа i . В частности, векторные пространства H ^я ( Икс , F ) и Ч ^{п - я} ( X , F ) имеют одинаковую (конечную) размерность. Аналогично, произведение целых когомологий по модулю кручения со значениями в H ^н ( X , Z ) ≅ Z идеальное спаривание над Z. —

Классы характеристик

Основная статья: Характеристический класс

Ориентированное вещественное векторное расслоение E ранга r над топологическим пространством X определяет класс когомологий на X , класс Эйлера χ( E ) ∈ H ^р ( Х , Z ). класс Эйлера — это класс нулевого множества общего сечения E . Неформально Эту интерпретацию можно сделать более явной, когда — гладкое векторное расслоение над гладким многообразием X , поскольку тогда общее гладкое сечение X исчезает на подмногообразии коразмерности r в X. E

Существует несколько других типов характеристических классов для векторных расслоений, которые принимают значения в когомологиях, включая классы Черна , классы Стифеля-Уитни и классы Понтрягина .

Пространства Эйленберга–Маклейна

Основная статья: пространство Эйленберга – Маклейна

Для каждой абелевой группы A и натурального числа j существует пространство $K(A,j)$ чья j -я гомотопическая группа изоморфна A , а остальные гомотопические группы равны нулю. Такое пространство называется пространством Эйленберга–Маклейна . Это пространство обладает тем замечательным свойством, что оно является классифицирующим пространством когомологий: существует естественный элемент u из $H^{j}(K(A,j),A)$, и каждый класс когомологий степени j в каждом пространстве X является возвратом u с помощью некоторого непрерывного отображения $X\to K(A,j)$. Точнее, возвращение класса u дает биекцию

$[X,K(A,j)]{\stackrel {\cong }{\to }}H^{j}(X,A)$

для любого пространства X с гомотопическим типом комплекса CW. Здесь $[X,Y]$ обозначает множество гомотопических классов непрерывных отображений X в Y .

Например, пространство $K(\mathbb {Z} ,1)$ (определенный с точностью до гомотопической эквивалентности) можно считать окружностью $S^{1}$. Итак, в приведенном выше описании говорится, что каждый элемент $H^{1}(X,\mathbb {Z} )$ вытягивается из класса u точки на $S^{1}$ по какой-то карте $X\to S^{1}$.

Существует родственное описание первых когомологий с коэффициентами в любой абелевой группе A для CW-комплекса X. , скажем , А именно, $H^{1}(X,A)$ находится во взаимно однозначном соответствии с множеством классов изоморфизма пространств Галуа, с группой накрывающих X A , называемых главными A -расслоениями над X. также Для связного X отсюда следует, что $H^{1}(X,A)$ изоморфен $\operatorname {Hom} (\pi _{1}(X),A)$, где $\pi _{1}(X)$ является группой X . фундаментальной Например, $H^{1}(X,\mathbb {Z} /2)$ классифицирует двойные накрытия X с элементом $0\in H^{1}(X,\mathbb {Z} /2)$ соответствующее тривиальному двойному накрытию, непересекающемуся объединению двух копий X .

Ограничение продукта

Основная статья: Кепка

Для любого топологического пространства X верхнее произведение представляет собой билинейное отображение.

$\cap :H^{i}(X,R)\times H_{j}(X,R)\to H_{j-i}(X,R)$

для любых целых чисел i и j и любого коммутативного кольца R . Полученная карта

$H^{*}(X,R)\times H_{*}(X,R)\to H_{*}(X,R)$

превращает сингулярные гомологии X в модуль над кольцом сингулярных когомологий X .

Для i = j произведение шапки дает естественный гомоморфизм

$H^{i}(X,R)\to \operatorname {Hom} _{R}(H_{i}(X,R),R),$

который является изоморфизмом для R. поля

Например, пусть X — ориентированное многообразие, не обязательно компактное. Тогда замкнутое ориентированное подмногообразие ( не компактное обязательно Y коразмерности X ) определяет элемент H ^я ( X , R ), а компактное ориентированное j -мерное подмногообразие Z многообразия X определяет элемент H _j ( X , R ). Произведение шапки [ Y ] ∩ [ Z ] ∈ H _{j − i} ( X , R ) можно вычислить, возмутив Y и Z, чтобы заставить их пересекаться трансверсально, а затем взяв класс их пересечения, который представляет собой компактное ориентированное подмногообразие размерности j - я .

Замкнутое ориентированное многообразие X размерности n имеет фундаментальный класс [ X ] в H _n ( X , R ). Изоморфизм двойственности Пуанкаре

$$H^{i}(X,R){\overset {\cong }{\to }}H_{n-i}(X,R)$$

определяется продуктом ограничения с фундаментальным классом X .

сингулярных

Хотя когомология является фундаментальной для современной алгебраической топологии, ее важность не была замечена в течение примерно 40 лет после развития гомологии. Концепция двойственной клеточной структуры , которую Анри Пуанкаре использовал в доказательстве своей теоремы двойственности Пуанкаре, содержала начало идеи когомологий, но это было замечено только позже.

Существовали различные предшественники когомологий. В середине 1920-х годов Дж. У. Александер и Соломон Лефшец основали теорию пересечений циклов на многообразиях. На замкнутом ориентированном n -мерном многообразии M i -цикл и j -цикл с непустым пересечением, если они находятся в общем положении , будут иметь в качестве пересечения ( i + j − n )-цикл. Это приводит к умножению классов гомологии.

$H_{i}(M)\times H_{j}(M)\to H_{i+j-n}(M),$

который (ретроспективно) можно отождествить с произведением чашки на когомологиях M .

К 1930 году Александер определил первое понятие коцепи, думая об i -коцепи в пространстве X как о функции в малых окрестностях диагонали в X. ^{я +1} .

В 1931 году Жорж де Рам связал гомологии и дифференциальные формы, доказав теорему де Рама . Этот результат можно сформулировать проще в терминах когомологий.

В 1934 году Лев Понтрягин доказал теорему двойственности Понтрягина ; результат о топологических группах . Это (в довольно особых случаях) обеспечило интерпретацию двойственности Пуанкаре и двойственности Александера в терминах групповых характеров .

На конференции 1935 года в Андрей Москве Колмогоров и Александр представили когомологии и попытались построить структуру произведения когомологий.

В 1936 году Норман Стинрод построил когомологии Чеха путем дуализации гомологий Чеха.

С 1936 по 1938 год Хасслер Уитни и Эдуард Чех разработали произведение чашки (превращающее когомологии в градуированное кольцо) и произведение крышки и поняли, что двойственность Пуанкаре может быть сформулирована в терминах произведения крышки. Их теория по-прежнему ограничивалась конечными клеточными комплексами.

В 1944 году Сэмюэл Эйленберг преодолел технические ограничения и дал современное определение сингулярных гомологии и когомологии.

В 1945 году Эйленберг и Стинрод сформулировали аксиомы, определяющие теорию гомологии или когомологий, обсуждаемые ниже. В своей книге 1952 года «Основы алгебраической топологии » они доказали, что существующие теории гомологии и когомологии действительно удовлетворяют своим аксиомам.

В 1946 году Жан Лере определил когомологии пучков.

В 1948 году Эдвин Спэньер , основываясь на работе Александра и Колмогорова, разработал когомологии Александра-Спанье .

Когомологии пучков

Основная статья: Когомологии пучка

Пучковые когомологии — это богатое обобщение сингулярных когомологий, позволяющее использовать более общие «коэффициенты», чем просто абелева группа. Для каждого пучка абелевых групп E в топологическом пространстве X существуют группы когомологий H ^я ( X , E ) для целых чисел i . В частности, в случае постоянного пучка на X, ассоциированного с абелевой группой A , результирующие группы H ^я ( X , A ) совпадают с сингулярными когомологиями для X - многообразия или CW-комплекса (но не для произвольных пространств X ). Начиная с 1950-х годов когомологии пучков стали центральной частью алгебраической геометрии и комплексного анализа , отчасти из-за важности пучка регулярных функций или пучка голоморфных функций .

Гротендик изящно определил и охарактеризовал когомологии пучков на языке гомологической алгебры . Существенным моментом является фиксирование пространства X и представление пучковых когомологий как функтора из абелевой категории пучков на X в абелевы группы. Начните с функтора, переводящего пучок E на X в его абелеву группу глобальных сечений над X , E ( X ). Этот функтор точен слева , но не обязательно точен справа. Гротендик определил группы пучковых когомологий как правые производные функторы левого точного функтора E ↦ E ( X ).

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

В широком смысле слова «когомологии» часто используются для правых производных функторов левого точного функтора на абелевой категории, тогда как «гомологии» используются для левых производных функторов точного правого функтора. Например, для кольца R группы Tor Tor _i ^Р ( M , N , левые производные функторы тензорного произведения M ⊗ _RN R -модулей ) образуют «теорию гомологии» по каждой переменной . Аналогично, Ext группирует Ext ^я _R ( M , N ) можно рассматривать как «теорию когомологий» по каждой переменной, правые производные функторы функтора Hom Hom _R ( M , N ).

Когомологии пучка можно отождествить с типом группы Ext. А именно, для пучка E в топологическом пространстве X , H ^я ( X , E ) изоморфно Ext ^я ( Z _X , E ), где Z _X обозначает постоянный пучок, ассоциированный с целыми числами Z , а Ext берется из абелевой категории пучков на X .

Когомологии разновидностей

Существует множество машин, построенных для вычисления когомологий алгебраических многообразий. Простейший случай — определение когомологий гладких проективных многообразий над полем характеристики $0$. Инструменты теории Ходжа, называемые структурами Ходжа, помогают вычислять когомологии этих типов многообразий (с добавлением более уточненной информации). В простейшем случае когомологии гладкой гиперповерхности в $\mathbb {P} ^{n}$ можно определить только по степени многочлена.

При рассмотрении многообразий над конечным полем или полем характеристики $p$, требуются более мощные инструменты, поскольку классические определения гомологии/когомологии не работают. Это связано с тем, что многообразия над конечными полями будут представлять собой только конечный набор точек. Гротендик придумал топологию Гротендика и использовал когомологии пучков над этальной топологией , чтобы определить теорию когомологий для многообразий над конечным полем. Использование этальной топологии для многообразия по полю характеристики $p$ можно построить $\ell$-адические когомологии для $\ell \neq p$. Это определяется как

$H^{k}(X;\mathbb {Q} _{\ell }):=\varprojlim H_{et}^{k}(X;\mathbb {Z} /(\ell ^{n}))\otimes _{\mathbb {Z} _{\ell }}\mathbb {Q} _{\ell }$

Если у нас есть схема конечного типа

$X={\text{Proj}}\left({\frac {\mathbb {Z} \left[x_{0},\ldots ,x_{n}\right]}{\left(f_{1},\ldots ,f_{k}\right)}}\right)$

то существует равенство размерностей когомологий Бетти $X(\mathbb {C} )$ и $\ell$-адические когомологии $X(\mathbb {F} _{q})$ всякий раз, когда многообразие гладко по обоим полям. В дополнение к этим теориям когомологий существуют другие теории когомологий, называемые теориями когомологий Вейля , которые ведут себя аналогично сингулярным когомологиям. Существует предполагаемая теория мотивов, лежащая в основе всех теорий когомологий Вейля.

Еще одним полезным вычислительным инструментом является последовательность раздутия. Учитывая коразмерность $\geq 2$ подсхема $Z\subset X$ существует декартов квадрат

${\begin{matrix}E&\longrightarrow &Bl_{Z}(X)\\\downarrow &&\downarrow \\Z&\longrightarrow &X\end{matrix}}$

Отсюда возникает связанная длинная точная последовательность

$\cdots \to H^{n}(X)\to H^{n}(Z)\oplus H^{n}(Bl_{Z}(X))\to H^{n}(E)\to H^{n+1}(X)\to \cdots$

Если подмногообразие $Z$ гладко, то все соединительные морфизмы тривиальны, следовательно,

$H^{n}(Bl_{Z}(X))\oplus H^{n}(Z)\cong H^{n}(X)\oplus H^{n}(E)$

Аксиомы и

Смотрите также: Список теорий когомологии

Существуют различные способы определения когомологий для топологических пространств (например, сингулярные когомологии, когомологии Чеха , когомологии Александера-Спанье или когомологии пучков ). (Здесь пучковые когомологии рассматриваются только с коэффициентами в постоянном пучке.) Эти теории дают разные ответы для некоторых пространств, но существует большой класс пространств, в отношении которых все они согласны. Это легче всего понять аксиоматически: существует список свойств, известных как аксиомы Эйленберга-Стинрода , и любые две конструкции, которые разделяют эти свойства, будут согласовываться, по крайней мере, на всех комплексах CW. Существуют версии аксиом теории гомологии, а также теории когомологий. Некоторые теории можно рассматривать как инструменты для вычисления сингулярных когомологий для специальных топологических пространств, таких как симплициальные когомологии для симплициальных комплексов , клеточные когомологии для комплексов CW и когомологии де Рама для гладких многообразий.

Одной из аксиом Эйленберга – Стинрода для теории когомологий является аксиома размерности : если P — одна точка, то H ^я ( P ) = 0 для всех i ≠ 0. Примерно в 1960 году Джордж Уайтхед заметил, что полезно полностью исключить аксиому размерности: это дает понятие обобщенной теории гомологии или обобщенной теории когомологий, определенной ниже. Существуют обобщенные теории когомологии, такие как K-теория или комплексный кобордизм, которые дают богатую информацию о топологическом пространстве, недоступную напрямую из сингулярных когомологий. (В этом контексте сингулярные когомологии часто называют «обычными когомологиями».)

По определению, обобщенная теория гомологии — это последовательность функторов h _i (для целых чисел i ) из категории CW- пар ( X , A ) (поэтому X — CW-комплекс, а A — подкомплекс) в категорию абелевых групп. вместе с естественным преобразованием ∂ _i : h _i ( X , A ) → h _{i −1} ( A ), называемым граничным гомоморфизмом (здесь h _{i −1} ( A ) является сокращением для h _{i −1} ( A , ∅) ). Аксиомы:

1. Гомотопия : если $f:(X,A)\to (Y,B)$ гомотопен $g:(X,A)\to (Y,B)$, то индуцированные гомоморфизмы на гомологиях совпадают.
2. Точность : каждая пара ( X , A ) порождает длинную точную последовательность гомологии посредством включений f : A → X и g : ( X ,∅) → ( X , A ) :
   $$\cdots \to h_{i}(A){\overset {f_{*}}{\to }}h_{i}(X){\overset {g_{*}}{\to }}h_{i}(X,A){\overset {\partial }{\to }}h_{i-1}(A)\to \cdots .$$
3. Вырезание : Если X является объединением подкомплексов A и B , то включение f : ( A , A ∩ B ) → ( X , B ) индуцирует изоморфизм
   $$h_{i}(A,A\cap B){\overset {f_{*}}{\to }}h_{i}(X,B)$$
   для каждого я .
4. Аддитивность ( X , A ) является дизъюнктным объединением множества пар ( Xα _Xα , Aα _Aα ), то включения ( Если ₎ , прямой _: ) → ( X , A индуцируют изоморфизм из суммы :
   $$\bigoplus _{\alpha }h_{i}(X_{\alpha },A_{\alpha })\to h_{i}(X,A)$$
   для каждого я .

Аксиомы обобщенной теории когомологий получаются, грубо говоря, перестановкой стрелок. Более подробно, обобщенная теория когомологий представляет собой последовательность контравариантных функторов h ^я (для целых i ) из категории CW-пар в категорию абелевых групп вместе с естественным преобразованием d : h ^я ( А ) → час ^{я +1} ( X , A ) называется граничным гомоморфизмом (запись h ^я ( А ) в течение часа ^я ( А ,∅)). Аксиомы:

1. Гомотопия : Гомотопические отображения индуцируют один и тот же гомоморфизм в когомологиях.
2. Точность : каждая пара ( X , A ) порождает длинную точную последовательность когомологий посредством включений f : A → X и g : ( X ,∅) → ( X , A ):
   $$\cdots \to h^{i}(X,A){\overset {g_{*}}{\to }}h^{i}(X){\overset {f_{*}}{\to }}h^{i}(A){\overset {d}{\to }}h^{i+1}(X,A)\to \cdots .$$
3. Вырезание : Если X является объединением подкомплексов A и B , то включение f : ( A , A ∩ B ) → ( X , B ) индуцирует изоморфизм
   $$h^{i}(X,B){\overset {f_{*}}{\to }}h^{i}(A,A\cap B)$$
   для каждого я .
4. Аддитивность ( X , A ) является несвязным объединением множества пар ( , _, Aα ) _Xα , то включения ( : Если ₎ Aα ) _Xα → ( X , A индуцируют изоморфизм группы произведений :
   $$h^{i}(X,A)\to \prod _{\alpha }h^{i}(X_{\alpha },A_{\alpha })$$
   для каждого я .

Спектр определяет как обобщенную теорию гомологии , так и обобщенную теорию когомологий. Фундаментальный результат Брауна, Уайтхеда и Адамса гласит, что каждая обобщенная теория гомологий возникает из спектра, и аналогичным образом каждая обобщенная теория когомологий исходит из спектра. Это обобщает представимость обычных когомологий пространствами Эйленберга–Маклейна.

Тонкий момент заключается в том, что функтор из стабильной гомотопической категории (гомотопической категории спектров) в обобщенные теории гомологии на CW-парах не является эквивалентностью, хотя и дает биекцию на классах изоморфизма; существуют ненулевые отображения в стабильной гомотопической категории (называемые фантомными отображениями ), которые индуцируют нулевое отображение между теориями гомологии на CW-парах. Аналогично, функтор из стабильной гомотопической категории в теории обобщенных когомологий на CW-парах не является эквивалентностью. Именно стабильная гомотопическая категория, а не эти другие категории, обладает хорошими свойствами, такими как триангулированность .

Если кто-то предпочитает, чтобы теории гомологии или когомологии были определены на всех топологических пространствах, а не на комплексах CW, один из стандартных подходов состоит в том, чтобы включить аксиому о том, что каждая слабая гомотопическая эквивалентность индуцирует изоморфизм гомологий или когомологий. (Это верно для сингулярных гомологий или сингулярных когомологий, но не для пучковых когомологий, например.) Поскольку каждое пространство допускает слабую гомотопическую эквивалентность из комплекса CW, эта аксиома сводит теории гомологии или когомологии на всех пространствах к соответствующей теории на CW комплексы.

Некоторые примеры теорий обобщенных когомологий:

• Стабильные когомотопические группы $\pi _{S}^{*}(X).$ Соответствующая теория гомологии используется чаще: стабильные гомотопические группы $\pi _{*}^{S}(X).$
• Различные разновидности групп кобордизмов , основанные на изучении пространства путем рассмотрения всех его отображений на многообразия: неориентированный кобордизм. $MO^{*}(X)$ ориентированный кобордизм $MSO^{*}(X),$ комплексный кобордизм $MU^{*}(X),$ и так далее. Комплексный кобордизм оказался особенно мощным в теории гомотопий. Это тесно связано с формальными группами через теорему Дэниела Квиллена .
• Различные варианты топологической K-теории , основанные на изучении пространства путем рассмотрения всех векторных расслоений над ним: $KO^{*}(X)$ (действительная периодическая K-теория), $ko^{*}(X)$ (реальная соединительная К-теория), $K^{*}(X)$ (комплексная периодическая K-теория), $ku^{*}(X)$ (комплексная связная К-теория) и так далее.
• Когомологии Брауна-Петерсона , K-теория Моравы , E-теория Моравы и другие теории, построенные на основе комплексных кобордизмов.
• Различные варианты эллиптических когомологий .

Многие из этих теорий несут более богатую информацию, чем обычные когомологии, но их труднее вычислить.

Теория когомологий E называется мультипликативной, если $E^{*}(X)$ имеет структуру градуированного кольца для каждого пространства X . На языке спектров существует несколько более точных понятий кольцевого спектра , например, E∞ _{кольцевого} спектра , где произведение коммутативно и ассоциативно в сильном смысле.

теории

Теории когомологий в более широком смысле (инварианты других алгебраических или геометрических структур, а не топологических пространств) включают:

• Алгебраическая К-теория
• Когомологии Андре – Квиллена
• Ограниченные когомологии
• БРСТ-когомологии
• Чешские когомологии
• Когерентные когомологии пучков
• Кристаллические когомологии
• Циклические когомологии
• Когомологии Делиня
• Эквивариантные когомологии
• Распространение когомологий
• Дополнительные группы
• Плоские когомологии
• Гомологии Флоера
• Когомологии Галуа
• Групповые когомологии
• Когомологии Хохшильда
• Когомологии пересечения
• гомологии Хованова
• Когомологии алгебры Ли
• Локальные когомологии
• Мотивические когомологии
• Неабелевы когомологии
• Квантовые когомологии

См. также

• теория комплексно-ориентированных когомологий

Ссылки

• Дьедонне, Жан (1989), История алгебраической и дифференциальной топологии , Биркхойзер , ISBN  0-8176-3388-Х , МР   0995842
• Дольд, Альбрехт (1972), Лекции по алгебраической топологии , Springer-Verlag , ISBN  978-3-540-58660-9 , МР   0415602
• Эйленберг, Сэмюэл ; Стинрод, Норман (1952), Основы алгебраической топологии , Princeton University Press , ISBN  9780691627236 , МР   0050886
• Хартсхорн, Робин (1977), Алгебраическая геометрия , Тексты для выпускников по математике, том. 52, Нью-Йорк, Гейдельберг: Springer-Verlag , ISBN  0-387-90244-9 , МР   0463157
• Хэтчер, Аллен (2001), Алгебраическая топология , издательство Кембриджского университета , ISBN  0-521-79540-0 , МР   1867354
• «Когомологии» , Математическая энциклопедия , EMS Press , 2001 [1994] .
• Мэй, Дж. Питер (1999), Краткий курс алгебраической топологии (PDF) , University of Chicago Press , ISBN  0-226-51182-0 , МР   1702278
• Свитцер, Роберт (1975), Алгебраическая топология — гомология и гомотопия , Springer-Verlag , ISBN  3-540-42750-3 , МР   0385836
• Том, Рене (1954), «Некоторые глобальные свойства дифференцируемых многообразий» , Commentarii Mathematici Helvetici , 28 : 17–86, doi : 10.1007/BF02566923 , MR   0061823 , S2CID   120243638