Вы находитесь на странице: 1из 5

Гомологические классы простых замкнутых кривых

Сергей Муратов и Виктор Шишмарёв (Санкт-Петербург, Россия)

1 Введение
Настоящая работа посвящена изучению компактных ориентируемых поверхностей Sg рода
g ≥ 1 без края. Точнее, изучается вопрос о том, в каком случае гомологический класс [α] ∈
H1 (Sg ) может быть реализован простой замкнутой кривой α на поверхности Sg .
В работе Andrew Putman [1] приведено необходимое условие существования простой за-
мкнутой кривой с данным гомологическим классом. В настоящей работе для произвольной
компактной ориентируемой поверхности доказывается существование простых замкнутых кри-
вых с таким же условием.

2 Основные определения
Мы следуем терминологии, представленной в монографии [2].
Скручивание Дена представляет собой следующее интуитивное преобразование поверхно-
сти: выбирается подмножество поверхности, гомеоморфное ленте, т.е. гомеоморфное замкну-
тому цилиндру, после чего один из её краёв проворачивается в одну из двух сторон на угол
2π. Это проворачивание изображено на рисунке 1. Это преобразование полезно тем, что при
его применении простые замкнутые кривые на поверхности не теряют свойство замкнутости
и простоты.

Рис. 1: Скручивание Дена вдоль вертикальной ленты.

1
Рассмотрим на ориентированной поверхности две ориентированные кривые (I и II), кото-
рые трансверсально пересекаются в конечном числе точек, и рассмотрим два типа перекрёст-
ков между ними, представленные на рисунке 2.

Рис. 2: Положительно и отрицательно ориентированные перекрёстки.

Сопоставим всем перекрёсткам I и II первого типа число 1, второго – число −1. Алгебраи-
ческий индекс пересечения i(I, II) по определению равен сумме сопоставленных перекрёсткам
чисел. Полезное свойство алгебраического индекса пересечения состоит в том, что он явля-
ется инвариантом для пары любых двух классов эквивалентности кривых как относительно
изотопности, так и гомологичности.
Рассмотрим кривые ai , bi на Sg , представленные на рисунке 3. Ориентируем их произволь-
ным образом. Для замкнутой кривой γ на Sg определим её координаты следующим образом:

(i(γ, a1 ), i(γ, b1 ), i(γ, a2 ), i(γ, b2 ), ..., i(γ, ag ), i(γ, bg )).

Интуитивно координаты замкнутой кривой γ дают представление о том, сколько раз и


вокруг каких ручек оборачивается γ. С точки зрения теории гомологий, координаты показы-
вают, как именно гомологический класс кривой γ выражается через порождающее множество
первой группы гомологий H1 (Sg ), соответствующее кривым ai , bi .

Рис. 3: Кривые, задающие стандартное порождающее множество первой группы гомологий


поверхности.

3 Используемые результаты
Следующая теорема, доказанная в статье Andrew Putman [1], даёт половину ответа на
задачу классификации гомологических классов простых замкнутых кривых.

Теорема 3.1. Пусть γ — простая замкнутая кривая на Sg с координатами (x1 , x2 , . . . , x2g ).


Тогда НОД(x1 , x2 , . . . , x2g )=1.

2
4 Основные результаты
Следующая теорема в совокупности с теоремой 3.1 даёт исчерпывающую классификацию
простых замкнутых кривых.
Теорема 4.1. Если набор (x1 , x2 , . . . , x2g ) ∈ Z2g удовлетворяет условию НОД(x1 , x2 , . . . , x2g )=1,
то найдётся простая замкнутая кривая на Sg с координатами (x1 , x2 , . . . , x2g ).

5 Вспомогательные результаты
Рассмотрим граф Γ, вершинами которого являются пары целых чисел. Соединим ребром
вершины вида (a, b) и (a ± b, b) а также (a, b) и (a, b ± a). Отметим, что в получающемся графе
максимальная степень вершины равна четырём.
Лемма 5.1. Имеют место следующие утверждения:
1. Вершины (0, 0), (0, 1), (0, 2), . . . лежат в разных компонентах связности графа Γ;
2. Из любой вершины графа Γ существует путь в одну из вышеперечисленных вершин.

6 Доказательства основных результатов


Доказательство теоремы 4.1. Пусть

НОД(x1 , x2 , . . . , x2g ) = 1.

Легко построить простую замкнутую кривую, имеющую координаты (1, 0, 0, . . . , 0). Мы по-
кажем, как с помощью скручиваний Дена модифицировать её, чтобы получилась прострая
замкнутая кривая с координатами (x1 , x2 , . . . , x2g ).
Рассмотрим четыре ленты, идущие вдоль ai , bi , ai+1 , bi+1 . Скручивания Дена вдоль таких
лент преобразует фрагмент координат (ai , bi , ai+1 , bi+1 ) следующим образом: (a, b, c, d) превра-
щается в
(a ± b, b, c, d), (a, b ± a, c, d), (a, b, c ± d), (a, b, c, d ± c).
Определим необходимое нам скручивание по ленте, идущей вдоль простой замкнутой кри-
вой j, окружающей ручки ai , bi , ai+1 , bi+1 . Для случая i = 1 оно представлено на рисунке 4.
Такое скручивание будет влиять на i-ую и (i + 1)-ую пары. Из фрагмента (a, b, c, d) получится

Рис. 4: Кривая j, обхватывающая сразу две ручки.

(a ± (b − d), b, c ∓ (b − d), d).

3
Из леммы 5.1(см. вспомогательные результаты) следует: при помощи скручиваний Дена
набор (x1 , x2 , . . . , x2g ) можно превратить в набор

(0, НОД(x1 , x2 ), 0, НОД(x3 , x4 ), . . . , 0, НОД(x2g−1 , x2g )).

Докажем, что из четвёрки вида (0, НОД(a, b), 0, (c, d)) можно получить четвёрку (0, 0, 0, НОД(a, b, c, d)).
Обозначим q1 := НОД(a, b), q2 := НОД(c, d) и q := НОД(a, b, c, d). Имеем следующую цепочку
преобразований:

(0, q1 , 0, q2 ) −→ (q1 , q1 , 0, q2 ) −→ (q1 − (q1 − q2 ), q1 , q1 − q2 , q2 ) −→ (q2 , q1 , q1 , q2 ).

Из леммы 5.1 (см. вспомогательные результаты) следует, что из последней четвёрки можно
получить четвёрку
(0, НОД(q1 , q2 ), 0, НОД(q1 , q2 )) = (0, q, 0, q).
Отсюда получаем цепочку преобразований:

(0, q, 0, q) −→ (q, 0, 0, q) −→ (0, 0, q, q) −→ (0, 0, 0, q).

Рассмотрим четвёрку первых чисел (x1 , x2 , x3 , x4 ). Тогда с помощью выкладок, приведённых


выше, её можно привести скручиваниями Дена к виду (0, 0, 0, НОД(x1 , x2 , x3 , x4 )). Рассмотрим
четвёрку вида (0, НОД(x1 , x2 , x3 , x4 ), x5 , x6 ) и проделаем то же самое. Таким образом, каждый
раз будет происходить сдвиг индексов элементов четвёрки на 2 единицы. Тем самым, набор
(x1 , x2 , . . . , x2g ) можно превратить в набор

(0, 0, . . . , НОД(x1 , x2 , ..., x2g )) = (0, 0, . . . , 0, 1).

Тогда кривая с кооринатами

(0, 0, . . . , 1) = (0, 0, . . . , НОД(x1 , x2 , ..., x2g ))

может быть преобразована скручиваниями Дена в набор (x1 , x2 , . . . , x2g ). Скручивания Де-
на не лишают кривую свойств простоты и замкнутости, следовательно существует простая
замкнутая кривая c координатами (x1 , x2 , . . . , x2g ).

7 Доказательства вспомогательных результатов


Доказательство леммы 5.1. Первое утверждение очевидно. Действительно, с одной стороны,
операции приведённые выше, не изменяют НОД первой и второй компоненты пары, тогда пары
чисел, связанные ребром, имеют одинаковый НОД, то есть все вершины каждой компоненты
связности графа имеют равный НОД компонент. С другой стороны, НОД пары (0, n) равен
n, следовательно все искомые пары имеют разный НОД, т. е. лежат в разных компонентах
связности.
Для доказательства второго утверждения покажем, что из любой вершины (n, m) ∈ Z × Z
существует путь в вершину (0, НОД(m, n)), которая явно содержится среди искомых вершин.
Докажем это утверждение P (x) индукцией по параметру x := min(|m|, |n|).
Докажем базу индукции: min(|m|, |n|) = 0. В этом случае m = 0 или n = 0. Заметим, что
если m = 0, утверждение доказано.

4
Для n = 0 имеем путь

(m, 0) −→ (m, m) −→ (0, m) = (0, НОД(m, n))

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

P (0), P (1), . . . , P (x).

Докажем, что справедливо утверждение P (x + 1). Обозначим через r1 остаток от деления m


на n, а через r2 остаток от деления n на m. Очевидно, что имеющимися операциями мож-
но получить пару (r1 , n), если min(|m|, |n|) = |n|, или пару (m, r2 ), если min(|m|, |n|) = |m|.
В обоих случаях минимум модулей компонент пары уменьшится, так как модуль остатка от
деления всегда меньше модуля делителя. А для y < min(|m|, |n|) утверждение P (y) выполня-
ется, т.е. хотя бы из одной из полученных пар существует путь в одну из искомых вершин.
Индукционный переход доказан.

8 Выводы и продолжение исследования


Известно, что любое зацепление в R3 может быть размещено на некоторой незаузленной
компактной ориентируемой поверхности без края (см. [2]). Узлам в такой конструкции со-
ответствуют простые замкнутые кривые на поверхности. Описание гомологических классов
таких кривых является естественным вопросом.
Утверждение теоремы 4.1 было независимо получено в работе Andrew Putman [1] в некото-
рых других терминах. Приведённое выше доказательство этого утверждения является новым.
В качестве продолжения работы возможно изучение гомологических классов простых замкну-
тых кривых на неориентируемых поверхностях и поверхностях с краем. Перспективным также
является изучение гомологических классов вложенных в трёхмерные многообразия поверхно-
стей. В отличие от индукционного подохода из работы [1], подход, представленный в данной
работе, обобщается на произвольные многообразия с помощью групп классов отображений.
Авторы работы выражают свою благодарность И. С. Алексееву за постановку задачи и
полезные обсуждения.

Список литературы
[1] Andrew Putman, Realizing homology classes by simple closed curves, J. Math. Soc. Jpn. 66
(2014) 435–447.

[2] C. Adams, The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots.
New York: W. H. Freeman and Company, 1994, 323 pages.

НЦ Лаборатория Непрерывного Математического Образования


10 января 2020 года