4.1

Основные примеры и свойства

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

Покажите, что если p:A→Bp : A \to B — накрывающее отображение, а CC — линейно связное, локально линейно связное хаусдорфово пространство, то P:A×C→B×CP : A \times C \to B \times C, P(a,c)=(p(a),c)P(a, c) = (p(a), c) является накрывающим отображением.

?
Задача 4.1.2

Покажите, что если p1:A1→B1p_1 : A_1 \to B_1, p2:A2→B2p_2 : A_2 \to B_2 — накрывающие отображения, то таковым же является P:A1×A2→B1×B2P : A_1 \times A_2 \to B_1 \times B_2, P(a1,a2)=(p1(a1),p2(a2))P(a_1, a_2) = (p_1(a_1), p_2(a_2)).

?
Задача 4.1.3

Покажите, что pm:S1→S1p_m : S^1 \to S^1, pm(z)=zmp_m(z) = z^m (комплексное умножение) — или, эквивалентно, p(cos⁡x,sin⁡x)=(cos⁡mx,sin⁡mx)p(\cos x, \sin x) = (\cos mx, \sin mx) — является накрывающим отображением.

?
Задача 4.1.4

Покажите, что если AA компактно, а p:A→Bp : A \to B — накрывающее отображение, то для любого b∈Bb \in B множество p−1(b)p^{-1}(b) состоит из конечного числа точек.

?
Задача 4.1.5

Используя контекст упражнения 4.1.4 (что AA компактно, а p:A→Bp : A \to B — накрывающее отображение), покажите, что поскольку BB предполагается линейно связным, число точек в p−1(b)p^{-1}(b) не зависит от bb.

?
Задача 4.1.6

Напомним, что порядок накрывающего отображения — это (постоянное) число точек в каждом прообразе p−1(x)p^{-1}(x); когда это число конечно и равно kk, накрытие называется kk-листным.

?
(a)

Покажите, что Pm,n:S1×S1→S1×S1P_{m,n} : S^1 \times S^1 \to S^1 \times S^1, Pm,n(z,w)=(zm,wn)P_{m,n}(z, w) = (z^m, w^n), является накрывающим пространством.

(b)

Покажите, что порядок этого накрытия равен mnmn.

Задача 4.1.7

Рассмотрим накрытие P2,1:T→TP_{2,1} : T \to T из упражнения 4.1.6. На рисунке 4.1(a) изображено это накрытие. Теперь изменим базовое пространство на T(2)T^{(2)}, используя ту же конструкцию, которая применялась для получения TT из S2S^2 (хирургия: удаление двух дисков и замена их цилиндром), а в накрывающем пространстве TT проделаем эту хирургию дважды, как показано на рисунке 4.1(b).

Построение накрытия p : T^{(3)} \to T^{(2)}.Построение накрытия p : T^{(3)} \to T^{(2)}.

?
(a)

Покажите, что описанная выше конструкция приводит к двулистному накрытию P:T(3)→T(2)P : T^{(3)} \to T^{(2)}.

(b)

Начиная с Pm,1P_{m,1}, постройте mm-листное накрытие p:T(m+1)→T(2)p : T^{(m+1)} \to T^{(2)}.

Задача 4.1.8

Продолжая хирургическую конструкцию из упражнения 4.1.7 и начиная с Pm,1P_{m,1}, но теперь выполняя nn хирургий над базовым пространством, постройте mm-листное накрытие p:T(mn+1)→T(n+1)p : T^{(mn+1)} \to T^{(n+1)}.

?
Задача 4.1.9

Напомним (из изучения неориентируемых поверхностей), что существуют двулистные накрытия p:S→Pp : S \to P и p:T→Kp : T \to K, где S,TS, T — сфера и тор, а P,KP, K — проективная плоскость и бутылка Клейна. Из них можно получить новые накрывающие пространства с помощью хирургии (удаление диска как из накрывающего пространства, так и из базового пространства, согласованным с накрывающим отображением образом, и замена каждого из них ручкой), как в упражнениях 4.1.7-4.1.8. Покажите, что существует двулистное накрытие pn:T(2n)→P(2n+1)p_n : T^{(2n)} \to P^{(2n+1)}.

?
Задача 4.1.10

Покажите, что существует двулистное накрытие pn:T(2n+1)→P(2n+2)p_n : T^{(2n+1)} \to P^{(2n+2)}.

?
Задача 4.1.11

Начнём с K=S1×S1/(z,w)∼(−z,w‾)K = S^1 \times S^1 / (z, w) \sim (-z, \overline{w}) (обычная конструкция бутылки Клейна KK как фактора тора). Для нечётного nn образуем новое пространство Kn=S1×S1/(z,w)∼(eπi/nz,w‾)K_n = S^1 \times S^1 / (z, w) \sim (e^{\pi i/n} z, \overline{w}); заметим, что при n=1n = 1 получается обычная конструкция KK. Существует естественное отображение из KK в KnK_n, индуцированное тождественным отображением T=S1×S1T = S^1 \times S^1 на себя (оно корректно определено, поскольку nn нечётно, так что (z,w)∼(−z,w‾)(z, w) \sim (-z, \overline{w}) является частью отношения эквивалентности, задающего KnK_n). Покажите, что KnK_n гомеоморфно KK.

?
Задача 4.1.12

Для каждого из конечных накрытий p:A→Bp : A \to B поверхностей, построенных хирургией в упражнениях 4.1.6-4.1.11, проверьте, что имеет место формула

χ(A)=kχ(B) \chi (A) = k \chi (B)

связывающая эйлеровы характеристики AA и BB, где kk — порядок накрытия.

?
Задача 4.1.13

Предполагая формулу χ(A)=kχ(B)\chi (A) = k\chi (B) для поверхностей (упражнение 4.1.12), покажите, что единственные поверхности без края, которые могут накрывать сами себя с порядком k>1k > 1, — это TT (тор) и KK (бутылка Клейна).

?
Задача 4.1.14

Пусть p:A→Bp : A \to B — накрывающее отображение конечного порядка kk одной поверхности на другую, и пусть дано разбиение BB на ручки, в котором каждая ручка лежит в равномерно накрытой окрестности.

?
(a)

Тогда существует эквивариантное разбиение AA на ручки, содержащее kk ii-ручек для каждой ii-ручки из BB.

(b)

Используя (а), покажите, что χ(A)=kχ(B)\chi (A) = k \chi (B).

Задача 4.1.15

Пусть WW — букет Sa1∨Sb1S^1_a \vee S^1_b двух окружностей, помеченных a,ba, b. Накрывающее пространство порядка 22 можно изобразить, пометив накрытие как a1,a2,b1,b2a_1, a_2, b_1, b_2. На рисунке 4.2 показан один такой пример, в котором каждая окружность WW двулистно накрывается одной окружностью.

Двулистное накрытие S^1 \vee S^1.Двулистное накрытие S^1 \vee S^1.

Существуют ещё два неэквивалентных 2-листных накрывающих пространства для WW, отличных от изображённого выше. Приведите их изображения.

?
Задача 4.1.16

На рисунке 4.3 показано 3-листное накрытие W=Sa1∨Sb1W = S^1_a \vee S^1_b. Рёбра, помеченные aa, отображаются на одну окружность, а помеченные bb — на другую.

Трёхлистное накрытие S^1 \vee S^1.Трёхлистное накрытие S^1 \vee S^1.

Приведите изображения двух различных неэквивалентных 3-листных накрывающих пространств для WW, отличных от изображённого на рисунке 4.3.

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

Существует более двух других, так что возможно много ответов.

Задача 4.1.17

Докажите следующую лемму: пусть p:A→Bp : A \to B — накрывающее отображение, и U⊂BU \subset B — линейно связное открытое множество, которое равномерно накрыто, причём p−1(U)=⋃iUip^{-1}(U) = \bigcup_i U_i, и b∈Ub \in U. Пусть ai∈Uia_i \in U_i удовлетворяют p(ai)=bp(a_i) = b. Если XX связно и f:X→Bf : X \to B непрерывно, причём f(X)⊂Uf(X) \subset U, f(x)=bf(x) = b, то существует единственное поднятие f~i\tilde{f}_i отображения ff с f~i(x)=ai\tilde{f}_i(x) = a_i. Более того, f~i(X)⊂Ui\tilde{f}_i(X) \subset U_i.

?
Задача 4.1.18

Докажите теорему о единственности поднятия пути: пусть p:A→Bp : A \to B — накрывающее отображение с p(a)=bp(a) = b. Дан путь f:I→Bf : I \to B с f(0)=bf(0) = b; тогда существует единственный путь f~:I→A\tilde{f} : I \to A с f~(0)=a\tilde{f}(0) = a и pf~=fp\tilde{f} = f.

?
Задача 4.1.19

Пусть r:I→Br : I \to B — путь в BB с r(0)=b1r(0) = b_1 и r(1)=b2r(1) = b_2. Определим отображение из p−1(b1)p^{-1}(b_1) в p−1(b2)p^{-1}(b_2) следующим образом: для каждого a∈p−1(b1)a \in p^{-1}(b_1) пусть rar_a — единственное поднятие пути rr с ra(0)=ar_a(0) = a. Затем сопоставим aa точку ra(1)r_a(1). Покажите, что это задаёт биекцию между p−1(b1)p^{-1}(b_1) и p−1(b2)p^{-1}(b_2).

?
Задача 4.1.20

Докажите следующую теорему: пусть F:(I×I,{0}×I,1×I)→(B,b1,b2)F : (I \times I, \left\{ 0\right\} \times I, 1 \times I) \to (B, b_1, b_2) — гомотопия между f0,f1f_0, f_1, и p(a)=b1p(a) = b_1.

?
(a)

Существует единственное поднятие F~\tilde{F} с F~(0,0)=a\tilde{F}(0,0) = a.

(b)

Если f~0,f~1\tilde{f}_0, \tilde{f}_1 — поднятия с f~0(0)=f~1(0)=a\tilde{f}_0(0) = \tilde{f}_1(0) = a, то f~0(1)=f~1(1)\tilde{f}_0(1) = \tilde{f}_1(1).

Задача 4.1.21

Используя упражнение 4.1.20, определите отображение из π1(B,b)\pi_1(B, b) в p−1(b)p^{-1}(b) следующим образом: сопоставим [f][f] точку f~(1)\tilde{f}(1), где f~\tilde{f} — единственное поднятие пути ff с f~(0)=a\tilde{f}(0) = a.

?
(a)

Используя предположение о линейной связности AA, покажите, что это отображение сюръективно.

(b)

Пусть G⊂π1(B,b)G \subset \pi_1(B, b) — подмножество классов [f][f] с f~(1)=a\tilde{f}(1) = a. Покажите, что GG является подгруппой π1(B,b)\pi_1(B, b).