Когомологии пучков — это результат использования гомологической алгебры для исследования глобальных сечений пучков. Грубо говоря, когомологии пучков описывают препятствия к глобальному решению геометрической проблемы, когда она может быть решена локально.

Пучки, когомологии пучков и спектральные последовательности были изобретены Жаном Лере, когда он находился в лагере военнопленных в Австрии.[1] Определения Лере были упрощены и прояснены в 50-е годы. Стало ясно, что когомологии пучков представляют собой не только новый подход к построению теории когомологий в алгебраической топологии, но и мощный метод комплексной аналитической геометрии[en] и алгебраической геометрии. В этих областях часто требуется построить глобально определённые функции с заданными локальными свойствами, и когомологии пучков прекрасно приспособлены для таких задач. Многие более ранние результаты, такие как теорема Римана — Роха и теорема Ходжа были обобщены и лучше поняты благодаря когомологиям пучков.

Определение править

Категория пучков абелевых групп на топологическом пространстве X является абелевой категорией, поэтому имеет смысл вопрос, когда морфизм пучков f: BC является инъективным (мономорфизмом) или сюръективным (эпиморфизмом). Один из возможных ответов заключается в том, что f инъективен (соответственно, сюръективен) тогда и только тогда, когда индуцированный гомоморфизм слоёв BxCx инъективен (соответственно, сюръективен) для каждой точки x в X. Из этого следует, что f инъективен тогда и только тогда, когда гомоморфизм B(U) → C(U) групп сечений над U инъективен для каждого открытого множества U в X. Ситуация с сюръективностью более сложная: морфизм f сюръективен тогда и только тогда, когда для каждого открытого множества U в X, каждого сечения s пучка C над U и каждой точки x в U существует открытая окрестность V точки x в U, такая, что s, ограниченное на V является образом некоторого сечения B над V.

Возникает следующий вопрос: для данной сюръекции f: BC и сечения s пучка C над X, когда s является образом сечения B над X? Это — модель для всех глобальных вопросов в геометрии. Когомологии пучков дают удовлетворительный общий ответ. А именно, пусть A — ядро сюръекции BC, включающееся в короткую точную последовательность

 

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

 

где H0(X,A) — это группа A(X) глобальных сечений A над X. Например, если группа H1(X,A) нулевая, то из этой точной последовательности следует, что каждое глобальное сечение C поднимается до глобального сечения B. Более общо, эта точное последовательность делает изучение высших групп когомологий основным инструментом для понимания сечений пучков.

Определение когомологий пучков, данное Гротендиком и ставшее стандартным, использует язык гомологической алгебры. Его существенный момент состоит в том, чтобы зафиксировать топологическое пространство X и думать о когомологиях как о функторе из пучков абелевых групп на X в абелевы группы. А именно, рассмотрим функтор EE(X) из пучков абелевых групп на X в абелевы группы. Этот функтор точен слева, но, вообще говоря, не точен справа. Группы Hi(X,E) для целых j определяются как правые производные функторы функтора EE(X). Из этого автоматически следует, что Hi(X,E) равно нулю при i < 0, и что H0(X,E) — это группа глобальных сечений E(X).

Определение производных функторов использует тот факт, что в категории пучков абелевых групп на произвольном топологическом пространстве X достаточно много инъективных объектов; другими словами, для любого пучка E существует инъективный пучок[en] I и инъекция EI.[2] Из этого следует, что у любого пучка E имеется инъективная резольвента:

 

Группы когомологий пучка Hi(X,E) — это группы когомологий (ядро гомоморфизма по модулю образа предыдущего гомоморфизма) следующего комплекса абелевых групп:

 

Стандартными рассуждениями из гомологической алгебры доказывается, что эти группы когомологий не зависят от выбора инъективной резольвенты E.

Это определение редко используется напрямую для вычисления когомологий пучков. Тем не менее, оно является мощным, так как работает в большой общности (любой пучок на любом топологическом пространстве), и из него легко вытекают формальные свойства когомоолгий пучков, такие как приведённая выше длинная точная последовательность. Для конкретных классов пространств или пучков существует множество инструментов для вычисления когомологий, некоторые из которых описаны ниже.

Когомологии с постоянными коэффициентами править

Для топологического пространства X и абелевой группы A постоянный пучок[en] AX — это пучок локально постоянных функций со значениями в A. Группы когомологий пучков Hj(X,AX) часто обозначают просто как Hj(X,A), если это не вызывает путаницы с другими видами когомологий, такими как сингулярные когомологии. Пучковые когомологии с постоянными коэффициентами образуют контравариантный функтор из топологических пространств в абелевы группы.

Для любых пространств X и Y и абелевой группы A, гомотопные отображения f и g из X в Y индуцируют одинаковые гомоморфизмы когомологий пучков:[3]

 

Из этого следует, что гомотопически эквивалентные пространства имеют изоморфные пучковые когомологии с постоянными коэффициентами.

Пусть X — паракомпактное хаусдорфово пространство, которое локально стягиваемо, в том смысле, что каждая открытая окрестность U произвольной точки x содержит открытую окрестность V точки x, такую что включение VU гомотопно постоянному отображению. Тогда сингулярные когомологии X с коэффициентами в абелевой группе A изоморфны когомологиям пучков H*(X,AX). В частности, это верно, если X — топологическое многообразие или CW-комплекс.

Вялые и мягкие пучки править

Пучок абелевых групп E на топологическом пространстве X называется ацикличным, если Hj(X,E) = 0 для всех j > 0. Из длинной точной последовательности когомологий пучков следует, что когомологии любого пучка можно вычислять с помощью ацикличной резольвенты (вместо инъективной резольвенты). Инъективные пучки ацикличны, но для вычислений полезно иметь другие примеры ацикличных пучков.

Пучок E на X называется вялым, если любое сечение E на открытом подмножестве X может быть продолжено до сечения на всём X. Вялые пучки ацикличны.[4] Годеман[en] определял когомологии пучков при помощи так называемой канонической резольвенты, состоящей из вялых пучков. Так как вялые пучки ацикличны, определение Годемана согласуется с определением, данным выше.[5]

Пучок E на паракомпактном хаусдорфовом пространстве X называется мягким, если любое сечение ограничения E на замкнутое подмножество X может быть продолжено до сечения E на всём X. Мягкие пучки ацикличны.[6]

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

Эти результаты, в частности, образуют часть доказательства теоремы де Рама. Для гладкого многообразия X лемма Пуанкаре[en] утверждает, что комплекс де Рама является резольвентой постоянного пучка RX:

 

где ΩXj — пучок гладких дифференциальных j-форм и отображение ΩXj → ΩXj+1 — это внешний дифференциал d. Из приведённых выше результатов следует, что пучки ΩXj мягкие, и, следовательно, ацикличные. Из этого следует, что пучковые когомологии X с вещественными коэффициентами изоморфны когомологиям де Рама X, определёнными как когомологии комплекса вещественных векторных пространств:

 

Другая часть теоремы де Рама идентифицирует пучковые и сингулярные когомологии X с вещественными коэффициентами: это верно в большей общности, как обсуждалось выше.

Когомологии Чеха править

Когомологии Чеха — это приближение к когомологиям пучков, часто полезное для вычислений. А именно, пусть   — открытое покрытие пространства X попарно различными множествами  ,   — пучок на X. Обозначим  . Коцепь   сопоставляет упорядоченному набору   элемент  . Кограничный гомоморфизм определяется формулой

 

Простая стандартная проверка показывает, что  . Это позволяет определить группу когомологий   — когомологии Чеха покрытия   с коэффициентами в пучке  .[7]

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

Если любое конечное пересечение V открытых множеств   не имеет высших когомологий с коэффициентами в E. в том смысле, что Hj(V,E) = 0 для всех j > 0, то гомоморфизм из когомологий Чеха   в когомологии пучков является изоморфизмом.[8]

Другой подход к связыванию когомологий Чеха с когомологиями пучков состоит в следующем. Группы когомологий Чеха   определяются как прямой предел   по всем открытым покрытиям   (где покрытия упорядочены по отношению «являться подпокрытием»). Существует гомоморфизм   из когомологий Чеха в когомологии пучков, который является изоморфизмом при j ≤ 1. Для произвольных топологических пространств когомологии Чеха могут отличаться от когомологий пучков в более высоких степенях. Однако они изоморфны для любого пучка на паракомпактном хаусдорфовом пространстве.[9]

Примечания править

  1. Miller, Haynes. «Leray in Oflag XVIIA: The origins of sheaf theory, sheaf cohomology, and spectral sequences» Архивная копия от 9 сентября 2006 на Wayback Machine, 2000.
  2. Iversen, 1986, Theorem II.3.1.
  3. Iversen, 1986, Theorem IV.1.1.
  4. Iversen, 1986, Theorem II.3.5.
  5. Iversen, 1986, Theorem II.3.6.
  6. Бредон, 1988, Теорема II.9.8.
  7. Прасолов, 2006, с. 286-287.
  8. Годеман, 1961, раздел II.5.4.
  9. Годеман, 1961, раздел II.5.10.

Литература править

  • Г. Э. Бредон. Теория пучков / пер. с англ. под ред. Е. Г. Скляренко. — М.: Наука, 1988.
  • Р. Годеман. Алгебраическая топология и теория пучков. — М.: ИН, 1961.
  • В. В. Прасолов. Элементы теории гомологий. — М.: МЦНМО, 2006.
  • Р. Хартсхорн. Алгебраическая геометрия / пер. с англ. В. А. Исковских. — М.: Мир, 1981.
  • Iversen, Birger. Cohomology of Sheaves. — Springer-Verlag, 1986. — ISBN 978-3-540-16389-3.
  • Grothendieck, A. Sur quelques points d’algèbre homologique // Tôhoku Mathematical Journal. — Vol. 9, № 2. — P. 119–221.