Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

ИнМu_lectures

.pdf
Скачиваний:
67
Добавлен:
04.06.2015
Размер:
15.2 Mб
Скачать

Кратное интегрирование. Когомологии

111

Лекция 15 ´

Когомологическая последовательность Майера-Вьеториса

Основной инструмент для вычисления когомологий де Рама — когомологическая последовательность МайераВьеториса. Принцип Майера-Вьеториса. Хорошие покрытия многообразий. Конечномерность когомологий де Рама

1. Когомологическая последовательность Майера-Вьеториса

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

Пусть U и V — открытые множества. Оказывается, когомологические группы пространств U, V , X = U V и U ∩ V очень тесно связаны. Эту связь и выражает когомологическая последовательность МайераВьеториса.

`

Обозначим через U V — несвязное объединение U и V , а через 0 и

1 — вложения U ∩ V в U и в V соответственно. Рассмотрим последовательность вложений

δ0

 

U V ←− U aV ←−δ1U ∩ V.

(15.1)

Напомним, что отображение многообразий f : X → Y индуцирует отображение форм f : Cp(Y ) → Cp(X). Следовательно, последовательность (15.1) индуцирует последовательность ограничений форм

δ0

Cp(U ∩ V ), p = 0, 1, . . . (15.2)

Cp(X) → Cp(U) Cp(V ) −→δ1

где под ограничением формы на многообразие мы понимаем ее образ при отображении, индуцированном вложением.

Беря разность δ = δ0 − δ1, получаем последовательность МайераВьеториса

0 → Cp(X) → Cp(U) Cp(V ) → Cp(U ∩ V ) → 0, p = 0, 1, . . . (15.3)

112

И.А. Антипова, О.В. Знаменская, А.К. Цих

Здесь форма (ω, t) Cp(U) Cp(V ) отображается в форму t−ω Cp(U ∩V ).

Утверждение 15.1. Последовательность Майера-Вьеториса (15.3)

точна.

Доказательство. Точность в первом члене очевидна. Нужно доказать точность во втором члене, т.е. что отображение Cp(U) Cp(V ) −→ Cp(U ∩ V )

— сюръекция.

Пусть ω — форма степени p на (U ∩ V ). Покажем, что любую форму ω можно представить виде разности форм на U и на V . Используем для этого разбиение единицы U , ρV }, подчиненное открытому покрытию {U, V }. Заметим, что ρV ω является формой на U (чтобы получить форму на одном открытом множестве, мы должны умножать на функцию разбиения, соответствующую другому открытому множеству). Поскольку

U ω) − (−ρV ω) = ω,

для любой ω Cp(U ∩ V ) существет прообраз (−ρV ω, ρU ω) из Cp(U) Cp(V ). Таким образом, гомоморфизм Cp(U) Cp(V ) → Cp(U ∩ V ) сюръективен.

Последовательность Майера-Вьеториса

0 → C (X) → C (U) C (V ) → C (U ∩ V ) → 0

порождает диаграмму с точными строками:

xd

xd

xd

 

 

 

 

 

 

0 −−−−→ Cp+1(M)

x

d

x

0 −−−−→ Cp(M)

x

d

−−−−→ Cp+1(U) Cp+1(V ) −−−−δ → Cp+1(U ∩ V ) −−−−→ 0

 

d

xd

 

xd

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Cp(U)

x

δ

x

V )

 

0

−−−−→

Cp(V )

−−−−→

Cp(U

−−−−→

 

 

 

 

 

 

xd

 

xd

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(15.4)

(15.5)

Определим кограничный оператор d .

Пусть ω Cp(U ∩ V ) — замкнутая форма. Ввиду точности строк существует ξ Cp(U) Cp(V ), отображающая на ω, а именно ξ = (−ρV ω, ρU ω).

Кратное интегрирование. Когомологии

113

Ввиду коммутативности диаграммы 15.5 и того факта, что dω = 0, форма равна 0 на Cp+1(U ∩ V ), т.е. −d(ρV ω) и d(ρU ω) согласуется на пересечении U ∩ V . Следовательно, является образом элемента из Cp+1(X). Легко видеть, что это элемент замкнут и представляет класс d [ω]. Как отмечалось ранее, можно показать, что класс d [ω] не зависит от произвола в сделанном выборе представителей. В явном виде кограничный оператор задается соотношением

d [ω] =

[−d(ρV ω)]

на

U

(15.6)

 

[d(ρU ω)]

на

V

 

 

 

 

 

 

Последовательность (15.5) индуцирует длинную точную последовательность в когомологиях, которая так же называется последовательностью Майера-Вьеториса:

i

 

 

 

δ

 

d

 

 

Hp+1(X) −−−−→

Hp+1(U) Hp+1(V ) −−−−→

Hp+1(U ∩ V ) −−−−→

 

 

 

 

d

 

 

 

 

d

Hp(X)

 

 

i

 

δ

(15.7)

−−−−→

 

−−−−→

Hp(U) Hp(V ) −−−−→ Hp(U ∩ V )

Определим носитель формы на многообразии

 

 

 

 

 

 

 

supp ω =

{p X| ωp ̸= 0}

.

 

 

Заметим, что в

последовательности Майера-Вьеториса форма

d [ω]

 

 

H (X) имеет носитель в (U

V ).

 

 

 

 

 

 

 

 

 

 

 

 

2. Принцип Майера-Вьеториса

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

В качестве демонстрации его мощи и универсальности с его помощью для многообразий с конечными хорошими покрытиями выводится конечно-

114

И.А. Антипова, О.В. Знаменская, А.К. Цих

мерность когомологии де Рама, двойственность Пуанкаре, формула Кюннета, теорема Лерэ-Хирша и изоморфизм Тома.

Пусть X — многообразие размерности n. Рассмотрим сначала вопрос о существовании хорошего покрытия.

Определение 15.1. Открытое покрытие U = {Uα} многообразия X называется хорошим покрытием, если все непустые конечные пересечения

Uα0 ∩ · · · ∩ Uαp

диффеоморфны пространству Rn. Многообразие, обладающее конечным хорошим покрытием, называется многообразием конечного типа.

Теорема 15.1. Каждое многообразие имеет хорошее покрытие. Если многообразие компактно, покрытие может быть выбрано конечным.

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

Определение 15.2. Римановой структурой на многообразии X называется гладко меняющаяся метрика , , заданная в каждой точке касательного пространства многообразия X.

В определении 15.2 гладкость понимается в следующем смысле: если u и v — два гладких векторных поля на X, то u, v является гладкой функцией на X.

Всякое многообразие может быть снабжено римановой структурой с помощью следующей процедуры склеивания. Пусть {Uα} — открытое координатное покрытие на X, , α — риманова метрика на Uα и ρα — разби-

P

ение единицы, подчиненное покрытию Uα. Тогда , = ρα , является римановой метрикой на X.

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

Кратное интегрирование. Когомологии

115

выпуклую окрестность. Пересечение любых двух таких окрестностей снова геодезически выпукло. Поскольку геодезически выпуклая окрестность в римановом многообразии размерности n диффеоморфна пространству Rn, открытое покрытие, состоящее из геодезически выпуклых окрестностей, будет хорошим покрытием.

Пусть заданы два покрытия

U = {Uα}α I и V = {Vβ}β J .

Определение 15.3. Говорят, что покрытие V является измельчением покрытия U (и пишут U > V), если каждое множество Vβ содержится в некотором множестве Uα.

Для большей аккуратности мы описываем измельчение таким отображением ϕ:

ϕ : J −→ I,

что Vβ Uϕ(β).

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

Направленным множеством называется множество I, на котором задан частичный порядок >, так что для любых двух элементов a и b из I

найдется такой элемент c, что a > c и b > c. Множество открытых покрытий многообразия является направленным множеством, так как любые два открытых покрытия всегда имеют общее измельчение. Подмножество

J направленного множества I называется кофинальным в I, если для любого i из I найдется такое j в J, что i < j. Ясно, что в таком случае J

также является направленным множеством.

Следствие 15.1. Хорошие покрытия образуют кофинальное подмножество в множестве всех покрытий многообразия X.

116

И.А. Антипова, О.В. Знаменская, А.К. Цих

Предложение 15.1. Если многообразие X обладает конечным хорошим покрытием, его когомологий конечномерны.

Доказательство. Из последовательности Майера-Вьеториса

. . . −−→ Hq−1

d

r

(U ∩ V ) −−→ Hq(U V ) −−→ Hq(U) Hq(V ) −−→ . . .

имеем

Hq(U V ) ker r im r im d im r.

Таким образом, если q-e когомологий множеств U, V и U ∩ V конечномерны, таковыми же являются когомологий множества U V .

Для многообразия, диффеоморфного пространству Rn, конечномерность

H (X) следует из леммы Пуанкаре. Теперь воспользуемся индукцией по мощности хорошего покрытия. Предположим, что когомологий любого многообразия, имеющего хорошее покрытие из не более чем p открытых множеств, конечномерны. Рассмотрим многообразие, имеющее хорошее покрытие {U0, . . . , Up}, состоящее из (p + 1) открытого множества. Многообразие (U0 · · · Up−1)∩Up обладает хорошим покрытием, состоящим из p открытых множеств, а именно {U0p, U1p, . . . , Up−1,p}. Согласно предположению индукции, q-е когомологии множеств U0 · · · Up−1, Up и (U0 · · · Up−1)∩Up конечномерны. Ввиду сделанного выше замечания о конечномерности когомологий объединения, таковыми же являются q-e когомологий множества

U0 · · · Up. Это завершает доказательство шага индукции.

Часть II

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

Тема 5. Когомологии Чеха и теоремы де Рама

Лекция 16 ´

Когомологии Чеха

Коцепи с вещественными значениями, комплекс Чеха, когомологии Чеха. Хорошие покрытия. Формулировка теоремы де Рама. Расширение комплекса Чеха: введение коцепей со значениями в пространствах дифференциальных форм. Точность расширенного комплекса.

1. Когомологии Чеха со значениями в R

Подход Чеха в теории гомологий и когомологий основан на альтернативе открытых покрытий многообразий, взамен их триангуляций, связанных с симплициальными гомологиями. Итак, пусть U = {Uα}α A

открытое покрытие многообразия X. Обозначим через Uα0...αp пересечения

Uα0 ∩ · · · ∩ Uαp ровно (p + 1) элементов покрытия.

Определение 16.1. p-коцепью относительно покрытия U называют всякую функцию, которая присваивает каждому Uα0,...,αp определенное число из R.

Иными словами, p-коцепь — это набор ω вещественных чисел α0...αp}, где 0 . . . αp) пробегает декартову степень Ap+1. Будем предполагать, что этот набор альтернированным образом зависит от порядка индексов

α0, . . . , αp, т.е. умножается на ±1 в зависимости от четности перестановки этих индексов.

Заметим, что p-коцепи можно складывать:

ω + ϕ = {ωα0...αp + ϕα0...αp}.

Кратное интегрирование. Когомологии

119

Относительно этой операции они образуют группу, которая называется

группой p-коцепей относительно покрытия U и обозначается CP (U) =

Cp(U, R).

Определим оператор

δ : Cp(U) → Cp+1(U),

который называется кограничным оператором Чеха, по формулам

p+1

 

b

Xi

(−1)i

(δω)α0...αp+1 =

ωα0...αi...αp.

=0

 

 

Далее мы покажем, что δ2 = 0, т.е. что δ определяет комплекс. Поэтому определена p-мерная группа когомологий Чеха для покрытия U:

Hp(U, R) = Zp(U, R)/Bp(U, R),

где Zp и Bp — это, соответственно, ядро и образ оператора δ. Предел таких групп по возможным измельчениям покрытия U называется p-мерной группой когомологий Чеха многообразия X и обозначается

Hp(X, R) или HCHp (X).

Определение 16.2. Покрытие U = {Uα}α A многообразия X называется хорошим если все пересечения конечного числа открытых множеств Uα

либо пусты, либо диффеоморфны Rn.

Теорема 16.1 (Теорема де Рама). Если U есть хорошее покрытие X, то когомологии де Рама X изоморфны когомологиям Чеха покрытия

HDp R(X) Hp(U, R).

2. Коцепи со значениями в пространстве дифференциальных форм

Пусть U = {Uα}α A, где A — счетное упорядоченное множество индексов, есть открытое покрытие n-мерного гладкого многообразия X.

120

И.А. Антипова, О.В. Знаменская, А.К. Цих

Оозначим через E q(Uα0...αp) пространство C-дифференциальных форм степени q на пересечениях Uα0...αp, а через Cp, q(U, E ) (или Cp(U, E q)) — прямое произведение

Y

E q(Uα0...αp).

α0<···<αp

Элементами последнего из упомянутых пространств являются, так называемые, p-коцепи, которые интерпретируются как наборы дифференциальных форм класса Cна пересечениях p + 1 открытых множеств покрытия. Эти p-коцепи с операцией покомпоненетного сложения образуют абелеву группу.

Очевидно, введенная в п.1 группа коцепей вкладывается в группу

Cp(U, E0), поскольку приписывание пересечению Uα0...αp вещественного числа ωα0...αp можно трактовать как приписывание постоянной на Uα0...αp (а потому непрерывной) функции.

Замечание 16.1. Естественным обобщением введенной выше группы коцепей является понятие группы коцепей Cp(U, F) покрытия U с коэффициентами в пучке F. Эти вопросы будут подробно обсуждаться в следующих лекциях.

Определим кограничный оператор Чеха

δ : Cp, q(U, E ) → Cp+1, q(U, E ),

который набору дифференциальных q-форм

ω = (ωβ0...βp) Cp(U, E q)

ставится в соответствие набор q-форм на (p + 2)-кратных пересечениях по

правилу

p+1

b

Xi

(δω)α0...αp+1 =

(−1)iωα0...αi...αp+1 .

=0

 

Предложение 16.1. Оператор δ удовлетворяет условию δ2 = 0.