CC BY
29
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
тривиальных узлов в F х I /С. В. Матвеев// Доклады Академии наук. - 2010. - Т. 433, no. 1. -С. 13 - 15.
[5] Кораблев, Ф. Г. Редукции узлов в утолщенных поверхностях и виртуальные узлы / Ф. Г. Кораблев, С. В. Матвеев // Доклады Академии наук. - 2011. - Т. 437, no. 6. - С. 748 - 750.
[6] Kishino, T. A note on non-classical virtual knots /T. Kishino, S. Satoh//J. of Knot Theory and Its Ramifications. - 2004. - Vol. 13, no. 7. - P. 845 -
856.
[7] Matveev, S. Roots in 3-manifold topology /C. Hog-Angelony, S. Matveev// Geometry and Topology Monograph. - 2008. - Vol. 14. - P. 295319.
[8] Miyazaki, K. Conjugation and prime decomposition of knots in closed, oriented 3-manifolds /K. Miyazaki// Trans. Amer. Math. Soc. - 1989. -Vol. 313. - P. 785 - 804.
УДК 515.162.3
О ПРИМАРНЫХ РАЗЛОЖЕНИЯХ УЗЛОВ В УТОЛЩЕННЫХ ПОВЕРХНОСТЯХ
С. В. Матвеев
ON PRIME DECOMPOSITIONS OF KNOTS IN THICKENED SURFACES
S. V. Matveev
Хорошо известно, что любой узел в сфере S3 можно представить в виде связной суммы при-марных слагаемых, причем такое представление единственно. Это - знаменитая теорема Х. Шуберта 1949 года. Верен ли аналогичный результат для узлов в утолщенных поверхностях, то есть в многообразиях вида F х I, где F - замкнутая ориентируемая поверхность? Оказывается, теорема существования примарного разложения верна, а теорема единственности - нет (построены контрпримеры). В настоящей статье описывается структура множества всех возможных контрпримеров.
It is well known that any knot in S3 can be represented as a connected sum of prime summands. Moreover, the summands are determined uniquely. This is the famous theorem of H. Schubert (1949). Is a similar result true for knots in thickened surfaces, that is, in 3-manifolds of the type F х I, where F is a closed orientable surface? It turns out that the existence theorem is true but the uniqueness theorem is false (there are counterexamples). In the paper we describe the general structure of all possible counterexamples.
Ключевые слова: узел, связная сумма, утолщенная поверхность, примарное разложение.
Keywords: knot, connected sum, thickened surface, prime decomposition .
Работа выполнена при поддержке гранта РФФИ (проект № 10-01-96035) и Программы, выполняемой совместно Институтом математики и механики УрО РАН и Институтом математики СО РАН (проект № 09-С-1-1007).
1. Введение изотопии узлов. Многие инварианты классических
узлов (например, полиномы Кауффмана и Джо-
Утолщенные поверхности, то есть многообразия унса) обобщаются на случай узлов в утолщенных вида F х I, где F - замкнутая ориентируемая по- поверхностях.
верхность, являются самыми простыми трехмерными многообразиями после сферы S3. Поэтому Напомним, что на множестве классических уз-не удивительно, что теория узлов в утолщенных лов определена операция связного суммирования поверхностях имеет много общего с теорией клас- #, относительно которой они образуют свобод-сических узлов. В частности, теории узлов в S3 ную абелеву полугруппу с тривиальным элемен-и S2 х I эквивалентны, поскольку второе много- том, но без нетривиальных обратимых элементов. образие получается из первого вырезанием двух Это следует из теоремы Х. Шуберта [1], кото-шаров, а это ни на что не влияет. Как и в клас- рая утверждает, что любой узел в S3 можно раз-сическом случае, узлы в F х I задаются своими ложить в связную сумму однозначно определен-диаграммами, то есть проекциями на F. В каж- ных слагаемых, не допускающих нетривиальных дой двойной точке проекции должно быть указа- разложений. По аналогии с простыми числами, но, какой из проходящих через нее участков узла неразложимые слагаемые называются примарны-расположен выше, какой - ниже (в смысле величи- ми (от английского слова prime - простой). Опе-ны координаты t G I). При этом роль преобразо- рация связного суммирования определена и для ваний Райдемайстера сохраняется: они реализуют узлов в утолщенных поверхностях. На уровне диа-
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
грамм ее определение в точности совпадает с классическим, а на уровне многообразий отличается от него, хотя и не очень существенно.
Верен ли результат, аналогичный теореме Шуберта, для узлов в утолщенных поверхностях? В недавней работе [2] было доказано, что если узел К С Р х I определяет тривиальный элемент группы гомологий Н\(¥; Ъ^), то его разложение в связную сумму примарных узлов существует и единственно. В общем случае теорема существования примарного разложения верна, а теорема единственности - нет. Два примера узлов в утолщенных поверхностях, допускающих по паре различных примарных разложений, были построены автором и Ф. Г. Кораблевым [2, 3]. В настоящей статье доказывается, что эти два контрпримера к теореме единственности порождают (в некотором точном смысле) все другие контрпримеры.
2. Основные определения
Пусть Р - связная замкнутая ориентируемая поверхность. Узлом в Р х I называется произволь-
ная простая замкнутая кривая K С F х I. Часто узел удобно понимать как пару вида (F х I,K). Два узла K С F х I и K' С F' х I эквивалентны, если существует гомеоморфизм р: (F х I, K) ^ (F' х I, K'), сохраняющий основания прямого произведения.
Пусть K' С F' х I, K'' С F'' х I - два узла. Выберем диски D' С F', D'' С F" и изотопно продеформируем узлы K', K'' так, чтобы пересечения l' = K' П (D' х I) и l" = K'' П (D" х I) были тривиальными дугами в цилиндрах D' х I, D'' х I.
Определение 1. Узел K = K'#K'' в F х I, где F = F'#F'', полученный склеиванием многообразий (F' \ Int D') х I, (F'' \ Int D'') х I по такому гомеоморфизму р: dD' х I ^ dD" х I, что p(dl') = dl'', называется связной суммой узлов
K' С F' х I и K'' С F'' х I.
Обратная операция, то есть переход от пары (F х I, K) к парам (F' х I, K'), (F'' х I, K'') называется кольцевой редукцией, (см. рис. 1.).
сумма
Рис. 1. Операции суммирования и редуцирования обратны друг другу
Она выполняется в два этапа. Сначала мы разрезаем F х I по вертикальному кольцу A = dD' х I = dD'' х I, которое разбивает F х I на части (F' \ Int D') х I, (F'' \ Int D'') х I, а затем заклеиваем копии кольца A на краях этих частей утолщенными дисками D' х I, D'' х I с тривиальными дугами в них. Подчеркнем, что кольцевая редукция выполняется по вертикальному кольцу (или кольцу, изотопному вертикальному), которое обязано разбивать утолщенную поверхность и трансверсально пересекать данный узел ровно в двух точках. Такие кольца будем называть допустимыми.
Связная сумма K'#K'' зависит как от выбора дисков D', D'' и изотопных деформаций узлов, так и от выбора гомеоморфизма р. В общем случае число различных связных сумм двух данных узлов бесконечно. Однако, если один из узлов K', K'' является тривиальным узлом в S2 х I, то узел K'#K'' эквивалентен второму узлу. Такое суммирование называется тривиальным.
Определение 2. Узел в утолщенной поверхности называется примарным, если его нельзя представить в виде нетривиальной связной сум-
мы двух других узлов.
Теорема 1. Если узел в утолщенной поверхности отличен от тривиального узла в 512 х I, то он либо является примарным, либо раскладывается в связную сумму нескольких примарных узлов.
Доказательство этой теоремы затруднений не вызывает. Действительно, будем применять к данному узлу К и к его появляющимся при этом слагаемым нетривиальные кольцевые редукции до тех пор, пока это возможно. Так как при применении кольцевой редукции к узлу в связной утолщенной поверхности ее род строго уменьшается, то этот процесс заведомо остановится. В результате мы получим набор примарных узлов, одна из возможных связных сумм которых совпадает с К.
3. Две серии контрпримеров
Как уже отмечалось, один и тот же узел в утолщенной поверхности может допускать различные разложения в связную сумму примарных слагаемых. Такие узлы будем называть контрпримерами, имея в виду аналог теоремы Шуберта для
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
классических узлов, вернее, ее второе заключение о единственности разложения.
Разобъем множество всех узлов в утолщенных поверхностях на два подмножества ^ и С. Первое подмножество состоит из узлов, допускающих только одно примарное разложение. Будем называть их регулярными. Второе - из контрпримеров, то есть из узлов, имеющих различные примарные разложения.
Пусть (Г х I, К) - узел. Если (Г х I, К) =
= (Г' х I, К')#(Г" х I, К") и одно из слагаемых, например, (Г' х I, К'), лежит в С, то (Г х I, К) тоже лежит в С .В этом случае будем говорить, что контрпример (Г х I, К) индуцирован контрпримером (Г' х I, К').
Определение 3. Узел (Г х I, К) € С называется базисным, если он не индуцирован никаким узлом из С или, эквивалентно, если в любом его разложении в связную сумму двух узлов оба слагаемых регулярны. Множество всех базисных контрпримеров обозначим В.
Другими словами, если (Г х I, К) € В, то выполняется следующее.
1. Для любого допустимого кольца А С (Г х I, К) узлы (ГА х I, К'А), (Г%х I, КА), полученные из узла (Г х I, К) редукцией по А, регулярны.
2. Найдется такая пара нетривиальных допу-
стимых колец P,Q С (F х I,K), что объединение примарных слагаемых узлов (F'p х I, K'P ), (F'¿х I, K'P ), получающихся редукцией по P, отлично от объединения примарных слагаемых узлов (FQ х I, KQ ), (FQ х I, KQ), получающихся редукцией по Q. Будем называть такие пары колец исключительными.
Опишем два типа базисных контрпримеров. Пусть S - двумерная сфера и U,V,W - такие компактные ориентируемые поверхности, что край dU состоит из одной компоненты, а края dV, dW - из двух компонент каждый. Рассмотрим две окружности p,q С S, которые пересекаются в четырех точках. Выберем в S диск и и две пары дисков (vi,v2), (wi,w2) так, чтобы и лежал в одном из двух четырехугольников, составленных из дуг окружностей p, q, диски каждой пары лежали по одну сторону от каждой из этих окружностей, а диски различных пар - по разные стороны от каждой из них. Перестроим сферу S, вырезав из нее диск и, пару (vi, V2), пару (wi, W2) и вклеив вместо них поверхности U, V, W, соответственно. Получим поверхность F с двумя нетривиальными разбивающими окружностями p, q, см. рис. 2 слева. Справа показан частный случай этой конструкции, когда поверхность U- диск. В этом случае для построения поверхности F вырезать диск и и заменять его на диск U не нужно.
Рис. 2. Основание поверхности и лежит внутри четырехугольника, а основания поверхностей У,Ш -
по разные стороны от каждой окружности
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
#
Рис. 3. Все слагаемые узла К различны, тогда как среди слагаемых узла Ь есть два совпадающих
слагаемых
Умножая Г на отрезок, получим утолщенную поверхность Г х I и два вертикальных кольца Р = р х I^ = ц х I в ней. Теперь построим узлы К, Ь так, как это изображено на рис. 3. Верхняя часть рисунка относится к общему случаю, когда поверхность и отлична от диска, нижняя - к частному случаю, когда и является диском и поэтому не использована при построении. Каждый из узлов пересекает каждое из колец Р^ в двух точках, причем его пересечение с каждым из много-
4. Доказательство основной теоремы
Приведенная в предыдущем разделе конструкция позволяет построить две серии базисных контрпримеров за счет варьирования как поверхностей и, У, Ш, так и поведения узлов в и х1,У х1,Ш х I. Такие контрпримеры назовем модельными.
Теорема 2. Любой базисный контрпример является модельным.
Пусть (Г х I, К) - произвольный базисный контрпример. Тогда в Г х I найдется хотя бы одна пара исключительных колец. Среди всех таких пар выберем пару Р^ С Г х I, которая является минимальной в том смысле, что число п = #(Р П Q) компонент связности пересечения РП Q принимает наименьшее возможное значение. Напомним, что собственная дуга в кольце называ-
Э П Ьд
образий У х х I состоит из одной дуги. Пересечение К П (и х I) должно состоять из двух дуг, возможно заузленных и зацепленных. Оба узла должны проходить по многообразиям У х I, Ш х I, а узел К - еще и по многообразию и х I, достаточно сложным образом, чтобы все показанные справа слагаемые, которые получаются редукциями 1 и 2 по кольцам Р и Q, были примарными и различными, кроме совпадающих слагаемых Ь"р и
Ь'я-
ется радиальной, если ее концы лежат на различных окружностях края кольца.
Лемма 1. Если пара Р^ С Г х I исключительных колец для узла (Г х I, К) является минимальной, то Р П Q состоит из четырех радиальных отрезков.
Доказательство. Связная компонента транс-версального пересечения двух допустимых колец может быть либо тривиальной или нетривиальной окружностью, либо тривиальной или нетривиальной (радиальной) дугой.
Шаг 1. Стандартная техника перестроек по самой внутренней тривиальной или самой внешней нетривиальной окружности, а также по самой внешней дуге, позволяет доказать, что в Р П Q нет ни окружностей, ни тривиальных дуг. Если бы такая окружность или дуга существовала, то
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
одно из колец (пусть кольцо Q) можно было бы заменить на такое допустимое кольцо ^ С Р х I, что #(Р П Ql) < #(Р П Q) и #(Q П Q') = 0 (см. рис. 4) для случая самой внутренней окружности
С С РПQ. Поскольку пара Р, Q исключительна, то пара (Р, Ql) тоже является исключительной. Это противоречит минимальности пары Р, Q. Подробности см. в [4, 5].
Рис. 4. Устранение тривиальной окружности
Предположим, что Р П Q состоит только из радиальных дуг. Тогда кольца имеют вид Р = рх1^ = д х1, где р и д - разбивающие простые замкнутые кривые в Р. Поэтому про кольца можно временно забыть и оперировать только с кривыми в Р, рассматривая вместо узла К его проекцию К на Р. Так как кольца допустимы, то К пересекает каждую кривую ровно в двух точках.
Шаг 2. Допустим, что р П д состоит из п > 5 точек. Они разбивают каждую окружность на п дуг. Поскольку п > 5, на каждой из окружностей (например, на р) найдется пара соседних дуг
а, в, не пересекающих К. Перестроив д по дуге а, получим объединение двух непересекающихся окружностей, которые обозначим д1,д11. Затем перестроим д1 и д11 по параллельной копии в1 дуги в, соединяющей д1 с д11. В результате получится такая нетривиальная разбивающая окружность с С Р, что с П К состоит из двух точек и #(с П р) = п — 2 < 5, #(с П д) = 4 < 5, см. рис. 5. Поскольку пара Р, Q исключительна, то одна из пар (Р, с х I), ^,с х I), тоже исключительна. Как и выше, это противоречит минимальности пары Р, Q.
ч-
Я’
В
С 2
Рис. 5. Двойная перестройка по соседним дугам
Ниже нам понадобится следующее наблюдение: все четыре точки пересечения окружностей с и д расположены в вершинах четырехугольника В, который составлен из дуг этих окружностей и не пересекает проекции узла. На рис. 5 этот четырехугольник выделен.
Шаг 3. Так как окружности р, д разбивающие, то их пересечение состоит из четного числа точек. Нетрудно показать, что исключительных пар колец, пересекающихся по двум радиальным дугам, не бывает. Поэтому п = 4. Лемма 1 доказана.
Доказательство теоремы 2. Пусть (Р х I, К) - произвольный базисный контрпример. Из леммы 1 следует, что в Р х I найдется такая пара Р = р х I^ = д х I исключительных колец, где р, д - окружности в Р, что пересечения Р П Q и р П д состоят из четырех радиальных дуг и из четырех точек, соответственно.
Допустим, что на окружностях р и д нет сосед-
них дуг, не пересекающих узла. Тогда при обходе этих окружностей дуги, пересекающие и не пересекающие узел, чередуются. См. рис. 6а,Ь (других случаев чередования нет). Области В на рис. 6а,Ь и четырехугольная область на рис. 6Ь, к которой присоединена поверхность и, обязаны быть дисками, так как в противном случае рассматриваемые контрпримеры не были бы базисными. Нетрудно проверить, что редукции по окружностям р, д примера на рис. 6Ь дают одни и те же слагаемые, поэтому он не является базисным контрпримером. Отметим, что рис. 6а определяет первую серию модельных контрпримеров.
Теперь предположим, что на одной из окружностей р, д найдутся две соседние дуги а, в, не пересекающие проекции узла. Применяя прием двойной перестройки, мы получим новую пару исключительных колец, которые по-прежнему будем обозначать Р^ и представлять в виде Р = р х I,
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
Q = ц х I. Согласно приведенному выше наблюдению, четыре дуги окружностей р, ц ограничивают четырехугольник В, стороны которого не пересекают проекции узла. Простой перебор показывает, что в этом случае К может пересекать оставшиеся четыре дуги окружностей р, ц одним из трех способов, см. рис. 6а,е,^ Случай 6а уже рассмотрен, в случае 6с базисного контрпримера опять не
получается, так как редукции по р, ц дают одно и то же. Случай 6d сводится к случаю 6е путем замены кольца Q и окружности ц на новое кольцо = д' х I и новую окружность д', которая на рис. 6d показана пунктиром. При этом поверхность и присоединяется к поверхности V. Остается заметить, что рис. 6е определяет вторую серию модельных контрпримеров.
Рис. 6. Заготовки 6а и 6е порождают все базисные контрпримеры
Литература
[1] Schubert, H. Die eindeutige Zerlegbarkeit eines Knotens in Primknoten / H. Schubert // S.B.-Heidelberger Akad. Wiss. Math. Natur. Kl. - 1949. -Vol. 3. - P. 57 - 104.
[2] Матвеев, С. В. Разложение гомологически тривиальных узлов в F х I / С. В. Матвеев // Доклады РАН. - 2010. - Том 433, № 1. - C. 13 - 15.
[3] Кораблев, Ф. Г. Редукции узлов в расши-
ренных поверхностях и виртуальные узлы / Ф. Г. Кораблев, С. В. Матвеев // Доклады РАН. -2011. - Том 437, № 1. - С. 748 - 750.
[4] Hog-Angeloni, C. Roots in 3-manifold topology / C. Hog-Angeloni, S. Matveev // Geometry & Topology Monographs. - 2008. - Vol. 14. - P. 295 -319.
[5] Кораблев, Ф. Г. Единственность корней узлов в F х I и виртуальные узлы / Ф. Г. Кораблев // Труды ИММ. - 2011. - Том 17, № 4. - C. 1 - 18.
