2012_Topology / L-KoGom

Все эти классы форм обладают структурой векторного пространства (они замкнуты относительно операций сложения и умножения на скаляр). Таким образом, Zp(X) и Bp(X) — векторные подпространства Cp(X).

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

Напомним, что последовательность гомоморфизмов

называется полуточной, если Im φi Ker φi+1 и точной, если Im φi =

Ker φi+1 для любого i. Очевидно, что

Zp(X) = {ω Cp(X) : dω = 0} = Ker dp,

где

dp : Cp(X) → Cp+1(X),

аналогично определяется

Bp(X) = {ω Cp(X) : ω = dϕ} = Im dp−1,

где

dp−1 : Cp−1(X) → Cp(X).

Учитывая (11.1), получаем, что последовательность гомоморфизмов (11.2) является полуточной.

Определение 11.2. Факторпространство

HDRp (X) := Zp(X)/Bp(X)

называется группой когомологий де Рама (пространством когомологий де Рама) размерности p многообразия X.

Итак, группа когомологий HDRp (X) состоит из классов [ω] замкнутых форм степени p, причем две формы ω1 и ω2 когомологичны (ω1 ω2), т.е. лежат в одном классе, если они отличаются на точную форму, т.е. если

ω1 − ω2 = dϕ.

Заметим, что если бы последовательность (11.2) была точной, то это означало бы, что каждая замкнутая форма на X является точной и что для p > 1 все группы когомологий де Рама тривиальны, т.е. HDRp (X) = 0.

Упражнение 11.1. Доказать, что для любого многообразия X когомологии де Рама HDR0 (X) Rq, где q — количество связных компонент X.

Пример 11.1 (Когомологии вещественной прямой). Вычислим HDR1 (R). Любая форма ω C1(R) имеет вид ω = f(x)dx и является замкнутой, поскольку d(f(x)dx) = 0. Из математического анализа известно, что любая 1-форма ω имеет первообразную, и значит, является точной на R.

Действительно, в анализе одного переменного под основной леммой интегрального исчисления иногда понимают следующее: если f(x) непрерывна, то для нее существует первообразная, а именно, интеграл с

переменным верхним пределом

Беря указанный интеграл, находим, что dF = f(x)dx.

Таким образом, C1(R) = Z1(R) = B1(R), следовательно, HDR1 (R) = 0.

Замечание 11.1. На первом курсе нет когомологий де Рама! Не смотря на это, еще раз подчеркнем, что в классическом математическом анализе было бы корректнее определять первообразную не функции f(x), а дифференциальной формы f(x)dx как форму F , такую, что ее дифференциал dF = f(x)dx, тогда теория была бы стройнее.

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

Пример 11.2 (Замкнутой, но не точной формы). Рассмотрим форму Пуанкаре

Однако, ω не может быть точной на R2, поскольку в областях R2 \ {x = 0} и R2 \ {y = 0} она имеет разные первообразные. Т.о. первообразная формы Пуанкаре — неоднозначная функция на R2, а т.к. любые две первообразные отличаются на константу, то не существует однозначной формы ϕ C0(R2) такой, что dϕ = ω.

Рассмотрим форму dz/z и заметим, что ω = −Im (dz/z). Действительно,

Следовательно, у формы dz/z также нет однозначной первообразной.

Лекция 12 ´

Теорема Пуанкаре. Гомотопическая инвариантность групп когомологий

Определение звездной области. Теорема Пуанкаре. Гомотопически эквивалентные многообразия. Теорема о гомотопической инвариантности.

Каждое отображение f : X → Y индуцирует обратное отображение дифференциальных форм

f : Cp(Y ) → Cp(X)

по правилу: если

X

ωy = aI(y)dyI

|I|=p

— это дифференциальная форма на Y в локальных координатах y = (y1, . . . , ym), то

(x1, . . . , xn).

Обозначим через Ckp(Y ) и Ckp(X) — множество форм степени p класса

Ck, соответственно на X и на Y , и рассмотрим диаграмму:

Ckp(Y ) −−f→ Ckp(X)

Ckp−+11(Y ) −−f→ Ckp−+11(X)

Предложение 12.1. Диаграмма (12.1) коммутативна, т.е. df = f d.

Доказательство. Следует из свойства инвариантности формы дифференциала, согласно которому (dωy)x = dωx, а также того, что в правиле преобразования дифференциальной формы при переходе от одних координат к

оператор A : Cp(G) → Cp−1(G), называемый оператором гомотопии, такой, что

где I — тождественный оператор в Cp(G).

Теорема Пуанкаре выражает, что если G — звездная область, то группы когомологий де Рама HDRp (G) тривиальны для p > 1.

Доказательство. Первое утверждение теоремы следует из (12.2). Действительно, Adω + dAω = ω для любой формы ω Cp(G). Если ω Zp(G)

т.е. dω = 0, то A(dω) = 0 в силу линейности A, и (12.2) будет иметь вид dAω = ω. Следовательно, ω — точная и ее первообразная равна Aω. Т.о. оператор A позволяет находить первообразную формы, если она существует.

Построим теперь оператор A и докажем (12.2). Рассмотрим отображение f : G × [0, 1] → G по правилу f(x, t) = tx. Это отображение корректно определено, поскольку G — звездная, и значит tx G.

Для произвольной дифференциальной формы

X

ω = aI(x)dxI

|I|=p

из Cp(G) рассмотрим форму

X

f ω = aI(tx)d(txi1) · · · d(txip) = ω1(t, x) + dt ω0(t, x)

|I|=p

из Cp(G×[0, 1]), в которой дифференциальные формы ω0(t, x) степени (p−1)

и ω1(t, x) = P tp · aI(tx)dxI степени p не содержат dt. Положим

|I|=p

где интеграл означает, что в дифференциальной форме интегрируются все коэффициенты. Вычислим теперь Adω. Для этого найдем сначала f (dω) =

где через dx обозначен полный дифференциал по переменным x. Тогда

1 1 1

2. Совпадение групп когомологий у гомотопически эквивалентных многообразий

Пусть X, Y — гладкие многообразия, а f0 и f1 — отображения из X в Y , f0, f1 C1.

Определение 12.2. Говорят, что отображения f0 и f1 гомотопны (и обозначают f0 f1), если существует гладкое отображение F : X ×

[0, 1] → Y , такое, что F (x, 0) = f0(x), F (x, 1) = f1(x).

Отображения f0, f1 : X → Y индуцируют обратные отображения дифференциальных форм f0, f1 : Cp(Y ) → Cp(X).

Теорема 12.2. Если отображения f0, f1 : X → Y гомотопны, то они индуцируют равные гомоморфизмы групп когомологий де Рама, т.е.

f0 = f1 : HDRp (Y ) → HDRp (X), k = 0, 1, 2, . . .

При этом существует оператор гомотопии A : Cp(Y ) → Cp−1(X) со свойством

Заметим, что гомоморфизм групп когомологий корректно определен. В самом деле, в силу того, что df ω = f dω, любая замкнутая форма переходит в замкнутую, а точная форма ω = dϕ — в точную форму f ω = d(f ϕ). Доказательство теоремы 12.2 аналогично доказательству теоремы Пуанкаре.

Доказательство. Так как отображения f0 и f1 гомотопны, то существует гладкая функция F : X × [0, 1] → Y . Рассмотрим индуцированное отображение F : Cp(Y ) → Cp(X × [0, 1]) и с его помощью построим оператор гомотопии A. Пусть ω = ω(y) Cp(Y ). Тогда

F ω = ω1(t, x) + dt ω0(t, x) Cp(X × [0, 1]),

причем ω0 Cp(X ×[0, 1]) и ω1 Cp−1(X ×[0, 1]) не содержат dt, а форма ω1

P

имеет вид: ω1(t, x) = aI(F (x, t)) · dxFI(x, t). Определим Aω по формуле

|I|=p

(12.3) и покажем, что A удовлетворяет соотношению (12.6). Учитывая, что

F dω = dF ω, находим, что Adω и dAω имеют вид (12.4), а их сумма

Adω + dAω определяется равенством (12.5). Из определения гомотопии и из вида формы ω1 получаем, что ω1(x, 1) = f1 ω, а ω1(x, 0) = f0 ω, что и доказывает справедливость (12.6).

Докажем первое утверждение теоремы. Из (12.6) следует, что любые две замкнутые формы ϕ0 = f0 ω и ϕ1 = f1 ω отличаются на точную форму

ϕ = d(Aω), и значит принадлежат одному и тому же классу когомологий. Теорема 12.2 доказана.

Определение 12.3. Многообразия X и Y называются гомотопически эквиваленитными, если существуют гладкие отображения f : X → Y

и g : Y → X, такие, что их композиции гомотопны тождественным отображениям, т.е. f ◦ g 1Y , g ◦ f 1X.

Лекция 13 ´

Примеры гомотопически эквивалентных многообразий

Звездная область гомотопически эквивалентна одноточечно-

му многообразию. Гомотопическая эквивалентность сфере

Sn многообразия Rn+1 \{0} и комплексной квадрики, другие

примеры.

1. Гомотопическая эквивалентность звездной области и точки

Предложение 13.1. Звездная область с центром x0 гомотопически эквивалентна одноточечному многообразию.

Доказательство. Пусть G — звездная область, Y = {x0} — одноточечное многообразие. Рассмотрим отображение f : G → {x0} по правилу f(x) = x0

и отбражение g : {x0} → G, при котором x0 отображается сама в себя. Рассмотрим композицию:

(f ◦ g) (x0) = f (g(x0)) = f(x0) = x0.1{x0};

Очевидно, f ◦ g ≡ — тождественное отображение на Y . Аналогично,

(g ◦ f) (x) = g (f(x)) = g(x0) = x0,

следовательно (g ◦ f) (x) = x0 — постоянное отображение. Остается показать, что (g ◦ f) (x) гомотопически эквивалентно 1G.

В самом деле, нужную гомотопию осуществляет отображение

F : G × [0, 1] → G, F (x, t) = tx0 + (1 − t)x.

Для него F (x, 0) = x = 1G, а F (x, 1) = x0, что и т.д.