Упорядоченные группы.

Левоупорядоченность групп узлов.

Богдан Чужинов

Новосибирский Государственный Университет

Семинар "Инварианты трехмерных многообразий"

22 сентября 2020 г.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 1 / 19

Структура презентации

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

групп
2 Предварительные факты
3 Основная теорема
4 Заключение

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 2 / 19

Введение

Рассмотрим произвольную группу G . Пусть на ней задан строгий

линейный порядок <.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 3 / 19

Введение

Рассмотрим произвольную группу G . Пусть на ней задан строгий

линейный порядок <.
Определение
Пара (G , <) называется левоупорядоченной группой, если для
произвольных a, b ∈ G условие a < b влечет ca < cb для любого
c ∈ G.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 3 / 19

Введение

Рассмотрим произвольную группу G . Пусть на ней задан строгий

линейный порядок <.
Определение
Пара (G , <) называется левоупорядоченной группой, если для
произвольных a, b ∈ G условие a < b влечет ca < cb для любого
c ∈ G.

Определение
Пара (G , <) называется правоупорядоченной группой, если для
произвольных a, b ∈ G условие a < b влечет ac < bc для любого
c ∈ G.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 3 / 19

Введение

Рассмотрим произвольную группу G . Пусть на ней задан строгий

линейный порядок <.
Определение
Пара (G , <) называется упорядоченной группой, если (G , <)
одновременно лево- и право- упорядочена.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 4 / 19

Введение

Рассмотрим произвольную группу G . Пусть на ней задан строгий

линейный порядок <.
Определение
Пара (G , <) называется упорядоченной группой, если (G , <)
одновременно лево- и право- упорядочена.

Пример
Ясно, что группа целых чисел Z с естественным порядком является
упорядоченной группой.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 4 / 19

Введение

Рассмотрим группу Z2 . Допустим, что на ней есть отношение < такое,

что (Z2 , <) – левоупорядочена. Пусть t – образующая Z2 . Если t < e,
то t 2 < t

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 5 / 19

Введение

Рассмотрим группу Z2 . Допустим, что на ней есть отношение < такое,

что (Z2 , <) – левоупорядочена. Пусть t – образующая Z2 . Если t < e,
то e < t – противоречие.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 6 / 19

Введение

Рассмотрим группу Z2 . Допустим, что на ней есть отношение < такое,

что (Z2 , <) – левоупорядочена. Пусть t – образующая Z2 . Если t < e,
то e < t – противоречие.
Если e < t, то t < t 2 = e – противоречие.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 6 / 19

Введение

Рассмотрим группу Z2 . Допустим, что на ней есть отношение < такое,

что (Z2 , <) – левоупорядочена. Пусть t – образующая Z2 . Если t < e,
то e < t – противоречие.
Если e < t, то t < t 2 = e – противоречие.
Утверждение
Если группа левоупорядочена, то она без кручения.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 6 / 19

Введение

Рассмотрим группу Z2 . Допустим, что на ней есть отношение < такое,

что (Z2 , <) – левоупорядочена. Пусть t – образующая Z2 . Если t < e,
то e < t – противоречие.
Если e < t, то t < t 2 = e – противоречие.
Утверждение
Если группа левоупорядочена, то она без кручения.

В общем случае обратное неверно.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 6 / 19

Введение

Рассмотрим группу Z2 . Допустим, что на ней есть отношение < такое,

что (Z2 , <) – левоупорядочена. Пусть t – образующая Z2 . Если t < e,
то e < t – противоречие.
Если e < t, то t < t 2 = e – противоречие.
Утверждение
Если группа левоупорядочена, то она без кручения.

В общем случае обратное неверно.

Теорема
Абелева группа упорядочена, если и только если она свободна от
кручения.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 6 / 19

Утверждение
Группа G левоупорядочена тогда и только тогда, когда она
эффективно действует на линейно упорядоченном множестве X
посредством сохраняющих порядок биекций.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 7 / 19

Утверждение
Группа G левоупорядочена тогда и только тогда, когда она
эффективно действует на линейно упорядоченном множестве X
посредством сохраняющих порядок биекций.

Доказательство:
Левоупорядоченная группа действует на себе умножениями слева.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 7 / 19

Утверждение
Группа G левоупорядочена тогда и только тогда, когда она
эффективно действует на линейно упорядоченном множестве X
посредством сохраняющих порядок биекций.

Доказательство:
Левоупорядоченная группа действует на себе умножениями слева.
Обратно,пусть группа G действует на X так, что для любого
g ∈ G , x < y ⇔ g (x) < g (y ).

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 7 / 19

Утверждение
Группа G левоупорядочена тогда и только тогда, когда она
эффективно действует на линейно упорядоченном множестве X
посредством сохраняющих порядок биекций.

Доказательство:
Левоупорядоченная группа действует на себе умножениями слева.
Обратно,пусть группа G действует на X так, что для любого
g ∈ G , x < y ⇔ g (x) < g (y ). Пусть ≺ – отношение полного порядка на
X.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 7 / 19

Утверждение
Группа G левоупорядочена тогда и только тогда, когда она
эффективно действует на линейно упорядоченном множестве X
посредством сохраняющих порядок биекций.

Доказательство:
Левоупорядоченная группа действует на себе умножениями слева.
Обратно,пусть группа G действует на X так, что для любого
g ∈ G , x < y ⇔ g (x) < g (y ). Пусть ≺ – отношение полного порядка на
X . Для g 6= h обозначим через x0 наименьший (относительно ≺)
x ∈ X такой, что g (x) 6= h(x).

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 7 / 19

Утверждение
Группа G левоупорядочена тогда и только тогда, когда она
эффективно действует на линейно упорядоченном множестве X
посредством сохраняющих порядок биекций.

Доказательство:
Левоупорядоченная группа действует на себе умножениями слева.
Обратно,пусть группа G действует на X так, что для любого
g ∈ G , x < y ⇔ g (x) < g (y ). Пусть ≺ – отношение полного порядка на
X . Для g 6= h обозначим через x0 наименьший (относительно ≺)
x ∈ X такой, что g (x) 6= h(x). Тогда положим g  h (h  g ), если
g (x0 ) < h(x0 ) (h(x0 ) < g (x0 )). Можно проверить, что такой порядок
будет инвариантным относительно умножкния слева.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 7 / 19

Примеры и свойства

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 8 / 19

Примеры и свойства

1 Свободные группы упорядочены

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 8 / 19

Примеры и свойства

1 Свободные группы упорядочены

2 Группы кос левоупорядочены, но не упорядочены

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 8 / 19

Примеры и свойства

1 Свободные группы упорядочены

2 Группы кос левоупорядочены, но не упорядочены
3 Группы крашеных кос упорядочены

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 8 / 19

Примеры и свойства

1 Свободные группы упорядочены

2 Группы кос левоупорядочены, но не упорядочены
3 Группы крашеных кос упорядочены
4 Группы поверхностей, не включая бутылку Клейна и проективную
плоскость, упорядочены

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 8 / 19

Примеры и свойства

1 Свободные группы упорядочены

2 Группы кос левоупорядочены, но не упорядочены
3 Группы крашеных кос упорядочены
4 Группы поверхностей, не включая бутылку Клейна и проективную
плоскость, упорядочены
5 Homeo + (R) – левоупорядочена

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 8 / 19

Примеры и свойства
Утверждение
В упорядоченных группах справедливы следующие утверждения:

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 9 / 19

Примеры и свойства
Утверждение
В упорядоченных группах справедливы следующие утверждения:
1 Если g n = hn для какого-то n 6= 0, то g = h.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 9 / 19

Примеры и свойства
Утверждение
В упорядоченных группах справедливы следующие утверждения:
1 Если g n = hn для какого-то n 6= 0, то g = h.
2 Если для какого-то n 6= 0 элемент g коммутирует с hn , то g
коммутирует с h.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 9 / 19

Примеры и свойства
Утверждение
В упорядоченных группах справедливы следующие утверждения:
1 Если g n = hn для какого-то n 6= 0, то g = h.
2 Если для какого-то n 6= 0 элемент g коммутирует с hn , то g
коммутирует с h.

Определение
Группа G называется индикабельной, если существует сюръективный
гомоморфизм G → Z.
Если любая нетривиальная конечно порожденная подгруппа группы G
является индикабельной, то G называется локально индикабельной.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 9 / 19

Примеры и свойства
Утверждение
В упорядоченных группах справедливы следующие утверждения:
1 Если g n = hn для какого-то n 6= 0, то g = h.
2 Если для какого-то n 6= 0 элемент g коммутирует с hn , то g
коммутирует с h.

Определение
Группа G называется индикабельной, если существует сюръективный
гомоморфизм G → Z.
Если любая нетривиальная конечно порожденная подгруппа группы G
является индикабельной, то G называется локально индикабельной.

Теорема
Упорядоченность ⇒ локальная индикабельность ⇒
левоупорядоченность.
Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 9 / 19
Предварительные факты

Рассмотрим топологическое пространство X . Обозначим через C

коммутант группы π1 (X ).

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 10 / 19

Предварительные факты

Рассмотрим топологическое пространство X . Обозначим через C

коммутант группы π1 (X ). Известно, что π1 (X )/C ∼
= H1 (X ).
Отображение факторизации будем обозначать Ab : π1 (X ) → π1 (X )/C .

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 10 / 19

Предварительные факты

Рассмотрим топологическое пространство X . Обозначим через C

коммутант группы π1 (X ). Известно, что π1 (X )/C ∼
= H1 (X ).
Отображение факторизации будем обозначать Ab : π1 (X ) → π1 (X )/C .

Лемма 1
Пусть K – узел, обозначим через X дополнение этого узла S 3 − K ,
тогда Ab(π1 (X )) = Z.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 10 / 19

Предварительные факты

Лемма 2 [Теорема Скотта о ядре многообразия]

Пусть M – трехмерное многообразие, с конечно порожденной
фундаментальной группой. Тогда в M существует компактное
трехмерное подмногообразие N, называемое компактным ядром M,
такое, что отображение включения N → M индуцирует изоморфизм
фундаментальных групп π1 (N) → π1 (M).

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 11 / 19

Предварительные факты

Лемма 3
Пусть M и N – топологические n-мерные многообразия без края,
f : N → M – непрервыное локально-биективное отображение.
Тогда f – открытое отображение.

Следствие
У связного многообразия без края не существует компактных
собственных подмногообразий без края той же размерности.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 12 / 19

Предварительные факты

Определение
Трехмерное многообразие M называется неприводимым, если любая
двумерная сфера S ⊂ M ограничивает трехмерный шар B ⊂ M.

Лемма 4
Накрытие неприводимого многообразия – неприводимо.

Лемма 5
Пусть M – компактное трехмерное многообразие и ∂M непусто и не
содержит двумерных сфер и проективных плоскостей. Тогда
b1 (M) > 0.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 13 / 19

Основная теорема

Являются ли группы узлов упорядоченными?

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 14 / 19

Основная теорема

Являются ли группы узлов упорядоченными?

Рассмотрим торический (p, q)-узел.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 14 / 19

Основная теорема

Являются ли группы узлов упорядоченными?

Рассмотрим торический (p, q)-узел. Группа этого узла
G = ha, b | ap = b q i.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 14 / 19

Основная теорема

Являются ли группы узлов упорядоченными?

Рассмотрим торический (p, q)-узел. Группа этого узла
G = ha, b | ap = b q i.

Утверждение
В упорядоченных группах если для какого-то n 6= 0 элемент g
коммутирует с hn , то g коммутирует с h.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 14 / 19

Основная теорема

Являются ли группы узлов упорядоченными?

Рассмотрим торический (p, q)-узел. Группа этого узла
G = ha, b | ap = b q i.

Утверждение
В упорядоченных группах если для какого-то n 6= 0 элемент g
коммутирует с hn , то g коммутирует с h.

В данном случае ab q = ap+1 = b q a, но ab 6= ba.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 14 / 19

Основная теорема

Теорема [Howie-Short]
Все группы узлов локально индикабельны и, следовательно,
левоупорядочены.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 15 / 19

Основная теорема

Теорема [Howie-Short]
Все группы узлов локально индикабельны и, следовательно,
левоупорядочены.

Доказательство:
Дан узел K . Рассмотрим дополнение узла X = S 3 − K .

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 15 / 19

Основная теорема

Теорема [Howie-Short]
Все группы узлов локально индикабельны и, следовательно,
левоупорядочены.

Доказательство:
Дан узел K . Рассмотрим дополнение узла X = S 3 − K .
В π1 (X ) рассмотрим произвольную конечно порожденную подгруппу
H.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 15 / 19

Основная теорема

Теорема [Howie-Short]
Все группы узлов локально индикабельны и, следовательно,
левоупорядочены.

Доказательство:
Дан узел K . Рассмотрим дополнение узла X = S 3 − K .
В π1 (X ) рассмотрим произвольную конечно порожденную подгруппу
H. Нам нужно найти сюръективный гомоморфизм H → Z.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 15 / 19

Основная теорема

Теорема [Howie-Short]
Все группы узлов локально индикабельны и, следовательно,
левоупорядочены.

Доказательство:
Дан узел K . Рассмотрим дополнение узла X = S 3 − K .
В π1 (X ) рассмотрим произвольную конечно порожденную подгруппу
H. Нам нужно найти сюръективный гомоморфизм H → Z.
Случай, когда все ясно: H конечного индекса.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 15 / 19

Основная теорема

Теорема [Howie-Short]
Все группы узлов локально индикабельны и, следовательно,
левоупорядочены.

Доказательство:
Дан узел K . Рассмотрим дополнение узла X = S 3 − K .
В π1 (X ) рассмотрим произвольную конечно порожденную подгруппу
H. Нам нужно найти сюръективный гомоморфизм H → Z.
Случай, когда все ясно: H конечного индекса.
Тогда Ab(H) – подгруппа конечного индекса в Z, но это значит, что
Ab(H) ∼= nZ ∼ = Z.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 15 / 19

Основная теорема

Случай, когда не понятно, что делать: H – подгруппа бесконечного

индекса.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 16 / 19

Основная теорема

Случай, когда не понятно, что делать: H – подгруппа бесконечного

индекса.
Для H < π1 (X ) существует накрытие p : X̃ → X такое, что
p∗ (π1 (X̃ )) = H.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 16 / 19

Основная теорема

Случай, когда не понятно, что делать: H – подгруппа бесконечного

индекса.
Для H < π1 (X ) существует накрытие p : X̃ → X такое, что
p∗ (π1 (X̃ )) = H. Так как H бесконечного индекса, то накрытие
бесконечнолистное, а значит, X̃ некомпактно.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 16 / 19

Основная теорема

Случай, когда не понятно, что делать: H – подгруппа бесконечного

индекса.
Для H < π1 (X ) существует накрытие p : X̃ → X такое, что
p∗ (π1 (X̃ )) = H. Так как H бесконечного индекса, то накрытие
бесконечнолистное, а значит, X̃ некомпактно. Но так как H
конечно-порожденная, то существует компактное ядро C ⊂ X̃ с
фундаментальной группой π1 (C ), причем включение C → X̃
индуцирует изоморфизм π1 (C ) → π1 (X̃ ) ∼= H.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 16 / 19

Основная теорема

Случай, когда не понятно, что делать: H – подгруппа бесконечного

индекса.
Для H < π1 (X ) существует накрытие p : X̃ → X такое, что
p∗ (π1 (X̃ )) = H. Так как H бесконечного индекса, то накрытие
бесконечнолистное, а значит, X̃ некомпактно. Но так как H
конечно-порожденная, то существует компактное ядро C ⊂ X̃ с
фундаментальной группой π1 (C ), причем включение C → X̃
индуцирует изоморфизм π1 (C ) → π1 (X̃ ) ∼= H. C должно иметь
непустую границу ∂C , иначе бы C = X̃ .

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 16 / 19

Основная теорема

Случай, когда не понятно, что делать: H – подгруппа бесконечного

индекса.
Для H < π1 (X ) существует накрытие p : X̃ → X такое, что
p∗ (π1 (X̃ )) = H. Так как H бесконечного индекса, то накрытие
бесконечнолистное, а значит, X̃ некомпактно. Но так как H
конечно-порожденная, то существует компактное ядро C ⊂ X̃ с
фундаментальной группой π1 (C ), причем включение C → X̃
индуцирует изоморфизм π1 (C ) → π1 (X̃ ) ∼= H. C должно иметь
непустую границу ∂C , иначе бы C = X̃ .
Допустим, что двумерная сфера S ⊂ ∂C .

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 16 / 19

Основная теорема

Случай, когда не понятно, что делать: H – подгруппа бесконечного

индекса.
Для H < π1 (X ) существует накрытие p : X̃ → X такое, что
p∗ (π1 (X̃ )) = H. Так как H бесконечного индекса, то накрытие
бесконечнолистное, а значит, X̃ некомпактно. Но так как H
конечно-порожденная, то существует компактное ядро C ⊂ X̃ с
фундаментальной группой π1 (C ), причем включение C → X̃
индуцирует изоморфизм π1 (C ) → π1 (X̃ ) ∼= H. C должно иметь
непустую границу ∂C , иначе бы C = X̃ .
Допустим, что двумерная сфера S ⊂ ∂C . Так как X неприводимо, то
X̃ тоже неприводимо, но тогда S ограничивает трехмерный шар B в
X̃ .

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 16 / 19

Основная теорема

Случай, когда не понятно, что делать: H – подгруппа бесконечного

индекса.
Для H < π1 (X ) существует накрытие p : X̃ → X такое, что
p∗ (π1 (X̃ )) = H. Так как H бесконечного индекса, то накрытие
бесконечнолистное, а значит, X̃ некомпактно. Но так как H
конечно-порожденная, то существует компактное ядро C ⊂ X̃ с
фундаментальной группой π1 (C ), причем включение C → X̃
индуцирует изоморфизм π1 (C ) → π1 (X̃ ) ∼= H. C должно иметь
непустую границу ∂C , иначе бы C = X̃ .
Допустим, что двумерная сфера S ⊂ ∂C . Так как X неприводимо, то
X̃ тоже неприводимо, но тогда S ограничивает трехмерный шар B в
X̃ . Есть два варианта расположения B.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 16 / 19

Основная теорема

Случай, когда не понятно, что делать: H – подгруппа бесконечного

индекса.
Для H < π1 (X ) существует накрытие p : X̃ → X такое, что
p∗ (π1 (X̃ )) = H. Так как H бесконечного индекса, то накрытие
бесконечнолистное, а значит, X̃ некомпактно. Но так как H
конечно-порожденная, то существует компактное ядро C ⊂ X̃ с
фундаментальной группой π1 (C ), причем включение C → X̃
индуцирует изоморфизм π1 (C ) → π1 (X̃ ) ∼= H. C должно иметь
непустую границу ∂C , иначе бы C = X̃ .
Допустим, что двумерная сфера S ⊂ ∂C . Так как X неприводимо, то
X̃ тоже неприводимо, но тогда S ограничивает трехмерный шар B в
X̃ . Есть два варианта расположения B. Либо B ∩ C = S, либо
C ⊂ B ⊂ X̃ . Но второй случай невозможен, так как иначе включение
C → X̃ индуцирует тривиальный гомоморфизм π1 (C ) → π1 (X̃ ).

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 16 / 19

Основная теорема

Таким образом B ∩ C = S.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 17 / 19

Основная теорема

Таким образом B ∩ C = S. Но тогда приклеем этот шар по S, и при

этом π1 (C ) не изменится.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 17 / 19

Основная теорема

Таким образом B ∩ C = S. Но тогда приклеем этот шар по S, и при

этом π1 (C ) не изменится. То есть мы можем предполагать, что
двумерных сфер нет в качестве компонент ∂C .

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 17 / 19

Основная теорема

Таким образом B ∩ C = S. Но тогда приклеем этот шар по S, и при

этом π1 (C ) не изменится. То есть мы можем предполагать, что
двумерных сфер нет в качестве компонент ∂C . Заметим, что ∂C не
содержит P 2 .

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 17 / 19

Основная теорема

Таким образом B ∩ C = S. Но тогда приклеем этот шар по S, и при

этом π1 (C ) не изменится. То есть мы можем предполагать, что
двумерных сфер нет в качестве компонент ∂C . Заметим, что ∂C не
содержит P 2 . Следовательно b1 (C ) > 0. 

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 17 / 19

Заключение

Определение
Узел K называется расслоенным, если существует локально
тривиальное расслоение (S 3 − K ) → S 1 , со слоем, гомеоморфным
открытой поверхности в S 3 , чьей границей является K .

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 18 / 19

Заключение

Определение
Узел K называется расслоенным, если существует локально
тривиальное расслоение (S 3 − K ) → S 1 , со слоем, гомеоморфным
открытой поверхности в S 3 , чьей границей является K .

Теорема
1 Если узел K расслоенный и все корни его полинома Александера
вещественны и положительны, то π1 (S 3 − K ) упорядочена.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 18 / 19

Заключение

Определение
Узел K называется расслоенным, если существует локально
тривиальное расслоение (S 3 − K ) → S 1 , со слоем, гомеоморфным
открытой поверхности в S 3 , чьей границей является K .

Теорема
1 Если узел K расслоенный и все корни его полинома Александера
вещественны и положительны, то π1 (S 3 − K ) упорядочена.
2 Если группа расслоенного узла упорядочена, то его полином
Александера имеет хотя бы один вещественный положительный
корень.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 18 / 19

Полином Александера для торического (p, q)-узла K равен
(t pq −1)(t−1)
∆K = (t p −1)(t q −1) .

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 19 / 19

Полином Александера для торического (p, q)-узла K равен
(t pq −1)(t−1)
∆K = (t p −1)(t q −1) . Видно, что он не имеет вещественных корней.
Известно, что K является расслоенным узлом, а тогда группа
π1 (S 3 − K ) не является упорядоченной.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 19 / 19

Полином Александера для торического (p, q)-узла K равен
(t pq −1)(t−1)
∆K = (t p −1)(t q −1) . Видно, что он не имеет вещественных корней.
Известно, что K является расслоенным узлом, а тогда группа
π1 (S 3 − K ) не является упорядоченной.
Если рассмотреть узел восьмерку 41 , то ∆41 = t 2 − 3t + 1.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 19 / 19

Полином Александера для торического (p, q)-узла K равен
(t pq −1)(t−1)
∆K = (t p −1)(t q −1) . Видно, что он не имеет вещественных корней.
Известно, что K является расслоенным узлом, а тогда группа
π1 (S 3 − K ) не является упорядоченной.
Если рассмотреть узел восьмерку √
4 , то ∆41 = t 2 − 3t + 1. Корни
√1
3+ 5 3− 5
этого полинома равны 2 и 2 . Они оба положительны,
следовательно группа π1 (S 3 − 41 ) является упорядоченной.

Богдан Чужинов (НГУ) Инварианты трехмерных многообразий 22 сентября 2020 г. 19 / 19