6.8

Приложения сингулярных гомологий

[21/100%]
Показать
LaTeX
Задача 6.8.1

Используя теорему 6.6.2 (гомотопическая эквивалентность пар индуцирует изоморфизм в гомологиях) и свойство размерности, покажите, что

Hk(Dn)={Zk=0,0k>0. H_k(D^n) = \begin{cases} \mathbb {Z} & k = 0, \\ 0 & k > 0. \end{cases}
?
Задача 6.8.2

Покажите, что

Hk(S0)={Z⊕Zk=0,0k>0. H_k(S^0) = \begin{cases} \mathbb {Z} \oplus \mathbb {Z} & k = 0, \\ 0 & k > 0. \end{cases}
?
Задача 6.8.3

Используя длинную точную последовательность пары (D1,S0)(D^1, S^0), покажите, что

Hk(D1,S0)={Zk=1,0k≠1. H_k(D^1, S^0) = \begin{cases} \mathbb {Z} & k = 1, \\ 0 & k \neq 1. \end{cases}
?
Задача 6.8.4

Приведите явный сингулярный симплекс σ:Δ1→D1\sigma : \Delta_1 \to D^1, представляющий образующую группы H1(D1,S0)H_1(D^1, S^0) (вычисленной в упражнении 6.8.3).

?
Примечание.
?

Он должен переходить под действием ∂\partial в образующую ядра отображения i∗0:H0(S0)→H0(D1)i_*^0 : H_0(S^0) \to H_0(D^1).

Задача 6.8.5

Покажите, что существует гомеоморфизм h:D1→S+1={x∈S1:x2≥0}h : D^1 \to S^1_+ = \left\{ x \in S^1 : x_2 \geq 0\right\}, и с его помощью вычислите Hk(S+1,S0)H_k(S^1_+, S^0) для всех k≥0k \geq 0.

?
Задача 6.8.6

Пусть B=S+1⊂S1B = S^1_+ \subset S^1 — верхняя полуокружность x2≥0x_2 \geq 0, а A=S−1A = S^1_- — нижняя полуокружность.

?
(a)

Используя упражнение 6.7.7, покажите, что существует изоморфизм Hk(S+1,S0)→Hk(S1,S−1)H_k(S^1_+, S^0) \to H_k(S^1, S^1_-). Укажите, как найти множества U,U′U, U', использованные в том упражнении.

(b)

Используя упражнение 6.7.8, покажите, что существует изоморфизм Hk(S+1,S0)→Hk(S1,S−1)H_k(S^1_+, S^0) \to H_k(S^1, S^1_-). Укажите, как найти требуемую биворотниковую окрестность.

Задача 6.8.7

Используя упражнения 6.8.5 и 6.8.6, вычислите Hk(S1,S−1)H_k(S^1, S^1_-).

?
Задача 6.8.8

Приведите явный сингулярный симплекс σ:Δ1→S1\sigma : \Delta_1 \to S^1, представляющий образующую группы H1(S1,S−1)H_1(S^1, S^1_-) (вычисленной в упражнении 6.8.7).

?
Примечание.
?

Существенное свойство образующей состоит в том, что она соответствует образующей группы H1(S+1,S0)H_1(S^1_+, S^0), а эта образующая должна переходить в образующую ker⁡(i∗0)⊂H0(S0)\ker (i_*^0) \subset H_0(S^0). Из более ранней работы (упражнение 6.8.4) известно, что ker⁡(i∗0)\ker (i_*^0) порождается элементом ([1]−[−1])([1] - [-1]). Существует простая тригонометрическая формула, подходящая для σ\sigma.

Задача 6.8.9

Используя упражнения 6.8.7 и 6.8.8, вычислите Hk(S1)H_k(S^1) с помощью длинной точной последовательности пары (S1,S−1)(S^1, S^1_-).

?
Задача 6.8.10

Приведите явную сингулярную цепь, являющуюся суммой двух сингулярных симплексов, один из которых — ответ упражнения 6.8.8, а другой — сингулярный симплекс в S−1S^1_-, представляющую образующую группы H1(S1)H_1(S^1). Объясните, как это связано с изоморфизмом между H1(S1)H_1(S^1) и π1(S1,1)\pi_1(S^1, 1).

?
Задача 6.8.11

Пусть p≥1p \geq 1. Покажите, что Hk+1(Dp+1,Sp)≃Hk(Sp)H_{k+1}(D^{p+1}, S^p) \simeq H_k(S^p), k>0k > 0. Покажите, что H1(Dp+1,Sp)=0H_1(D^{p+1}, S^p) = 0.

?
Примечание.
?

Упражнения 6.8.1--6.8.10 устанавливают цепочку изоморфизмов Hk+1(S1)≃Hk+1(S1,S−1)≃Hk+1(S+1,S0)≃Hk+1(D1,S0)H_{k+1}(S^1) \simeq H_{k+1}(S^1, S^1_-) \simeq H_{k+1}(S^1_+, S^0) \simeq H_{k+1}(D^1, S^0). При k>0k > 0 существует также изоморфизм Hk+1(D1,S0)≃Hk(S0)H_{k+1}(D^1, S^0) \simeq H_k(S^0). При k=0k = 0 рассуждение немного отличается, поскольку S0S^0 не линейно связно, и вместо этого используется изоморфизм H1(D1,S0)≃ker⁡(i∗0)H_1(D^1, S^0) \simeq \ker (i_*^0). Это упражнение и следующие за ним обобщают эти рассуждения для вычисления гомологий SpS^p и (Dp+1,Sp)(D^{p+1}, S^p) при p≥1p \geq 1 посредством индуктивного рассуждения. Поскольку Sp,Dp+1S^p, D^{p+1} линейно связны, H0(Sp)≃H0(Dp+1)≃ZH_0(S^p) \simeq H_0(D^{p+1}) \simeq \mathbb {Z}, и часть точной последовательности H0(Sp)→H0(Dp+1)→H0(Dp+1,Sp)→0H_0(S^p) \to H_0(D^{p+1}) \to H_0(D^{p+1}, S^p) \to 0 показывает, что H0(Dp+1,Sp)=0H_0(D^{p+1}, S^p) = 0, поскольку первое отображение является изоморфизмом.

Задача 6.8.12

Пусть p≥1p \geq 1. Покажите, что Hk(Dp+1,Sp)≃Hk(S+p+1,Sp)H_k(D^{p+1}, S^p) \simeq H_k(S^{p+1}_+, S^p), k≥0k \geq 0. Здесь S+p+1S^{p+1}_+ обозначает часть сферы, где последняя координата ≥0\geq 0.

?
Задача 6.8.13

Пусть p≥1p \geq 1. Покажите, что Hk(S+p+1,Sp)≃Hk(Sp+1,S−p+1)H_k(S^{p+1}_+, S^p) \simeq H_k(S^{p+1}, S^{p+1}_-), k≥0k \geq 0.

?
Задача 6.8.14

Пусть p≥1p \geq 1. Покажите, что Hk(Sp+1)≃Hk(Sp+1,S−p+1)H_k(S^{p+1}) \simeq H_k(S^{p+1}, S^{p+1}_-), k≥1k \geq 1.

?
Задача 6.8.15

Пусть p≥1p \geq 1. Объединив упражнения 6.8.11--6.8.14, покажите, что Hk+1(Sp+1)≃Hk(Sp)H_{k+1}(S^{p+1}) \simeq H_k(S^p) при k≥1k \geq 1, и H1(Sp+1)=0H_1(S^{p+1}) = 0.

?
Задача 6.8.16

Используя индуктивное рассуждение (опираясь на упражнения 6.8.11--6.8.15), покажите, что

?
(a)
Hk(Sn)={Z⊕Zn=k=0,Zn=k>0 или n>0,k=0,0в остальных случаях; H_k(S^n) = \begin{cases} \mathbb {Z} \oplus \mathbb {Z} & n = k = 0, \\ \mathbb {Z} & n = k > 0 \text{ или } n > 0, k = 0, \\ 0 & \text{в остальных случаях}; \end{cases}
(b)
Hk(Dn,Sn−1)={Zk=n≥0,0в остальных случаях. H_k(D^n, S^{n-1}) = \begin{cases} \mathbb {Z} & k = n \geq 0, \\ 0 & \text{в остальных случаях}. \end{cases}
Задача 6.8.17

Если A⊂XA \subset X с вложением ii, отображение r:X→Ar : X \to A называется ретракцией, если ri=1Ari = 1_A. Покажите, что если r:X→Ar : X \to A — ретракция, то r∗:Hk(X)→Hk(A)r_* : H_k(X) \to H_k(A) сюръективно для каждого kk.

?
Задача 6.8.18

Покажите, что если существует kk такое, что Hk(X)=0H_k(X) = 0 и Hk(A)≠0H_k(A) \neq 0, то не существует ретракции (в смысле упражнения 6.8.17) XX на AA.

?
Задача 6.8.19

Покажите, что DnD^n не ретрагируется на Sn−1S^{n-1}, n≥1n \geq 1.

?
Задача 6.8.20

Покажите, что если f:Dn→Dnf : D^n \to D^n непрерывно, то существует неподвижная точка x∈Dnx \in D^n с f(x)=xf(x) = x.

?
Примечание.
?

См. доказательство теоремы 3.5.4.

Задача 6.8.21
?
(a)

Если MM обозначает лист Мёбиуса с границей ∂M\partial M, покажите, что H1(∂M)H_1(\partial M) и H1(M)H_1(M) изоморфны Z\mathbb {Z}, но индуцированное отображение i∗i_* задаётся умножением на 22.

(b)

Используя (а), покажите, что лист Мёбиуса не ретрагируется на свою границу, хотя они имеют изоморфные гомологии.