CC BY
53
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
УДК 515.162
ОБОБЩЕНИЕ МНОГООБРАЗИЯ ЭВЕРИТА. ДИАГРАММЫ ХЕГОРА.
СЛОЖНОСТЬ Т. А. Козловская
GENERALIZATION OF EVERITT MANIFOLD. HEEGAARD DIAGRAMS. COMPLEXITY
T. Kozlovskaya
В данной работе исследуется класс замкнутых ориентируемых трехмерных многообразий Mn(p, q) (n ^ 1, pj ^ 3, 0 < q <p и (p,q) = 1), определенных попарными отождествлениями граней фундаментальных многогранников и обладающих циклической симметрией. Найдены верхние оценки сложности (по Матвееву) многообразий Mn(p, 1), заданных их диаграммами Хегора.
In this paper we study a class of closed orientable three-dimensional manifolds Mn(p, q) (n ^ 1, p ^ 3, 0 < q < p and (p, q) = 1) defined via pairwise identifications of the faces of fundamental polyhedra and having a cyclic symmetry. Using Heegaard diagram of Mn(p, 1), we obtain upper bounds for their Matveev complexity.
Ключевые слова: сложность многообразия, диаграммы Хегора, трехмерное многообразие.
Keywords: complexity of 3-manifolds, Heegaard
Работа поддержана РФФИ (гранты № 10-01-00642 и УрО РАН.
1. Построение многообразий из многогранников
Любое замкнутое трехмерное многообразие может быть представлено как результат попарного отождествления граней его фундаментального многогранника. Наиболее известными примерами такого рода являются: представление сферы Пуанкаре, как додекаэдра с двугранными углами 2п/3, у которого грани отождествлены по некоторому правилу; представление гиперболического пространства Вебера-Зейферта, как додекаэдра с двугранными углами 2п/5, у которого каждые две противоположные грани отождествлены, и представление линзового пространства как бипирамиды, у которой верхние треугольные грани отождествлены с нижними треугольными гранями. Построению трехмерных многообразий из правильных платоновых тел посвящено много работ. В работе [10] Эверит привел полный список многообразий, получаемых из правильных многогранников. Список содержит сферические многообразия Mi,..., Mg, евклидовы Mg,..., M14 и гиперболические M15,..., M2g. Так, например, из додекаэдра с двугранными углами 2п/5 получено восемь многообразий, одно из которых, Mi5, является многообразием Вебера - Зейферта, построенного в [17]. Из икосаэдра с двугранными углами 2п/3 получено шесть многообразий. В [10] приведено попарное отождествление граней 2п/3 - икосаэдра, приводящее к многообразию M24. Если все двугранные углы икосаэдра равны 2п/3, то он может быть реализован как ограниченный многогранник в пространстве Лобачевского H3. В работе будет построено семейство замкнутых ориентируемых трехмерных многообразий Mn (p, q), обобщающих конструкцию гиперболического многооб-
diagrams, 3-manifolds.
и № 10-01-91056) и Интеграционным грантом СО РАН
разия М24 из списка Эверита.
По построению, гиперболическое многообразие Вебера — Зейферта [17] обладает симметрией пятого порядка, которая позволяет представить это многообразие как 5-листное циклическое накрытие трехмерной сферы, разветвленное над зацеплением Уайтхеда. В [6], как обобщение конструкции Вебера — Зейферта, описаны фундаментальные многогранники многообразий, являющихся п-листными (п ^ 5) циклическими накрытиями трехмерной сферы, разветвленными над зацеплением Уайтхеда. Различные способы построения трехмерных многообразий, которые циклически накрывают трехмерную сферу, разветвленно над двухмостовыми узлами и зацеплениями приведены в [13]. Трехмерные многообразия, являющиеся циклическими накрытиями линзовых пространств, разветвленными над узлами, исследовались в [14].
Авторы работы [7] строили трехмерные гиперболические многообразия, для которых фундаментальным многогранником является правильный икосаэдр с двугранными углами 2п/3. Они установили, что гиперболическое многообразие M24 является трехлистным накрытием линзового пространства L(3,1), разветвленным над некоторым двухкомпонентным зацеплением.
В работе [1] дано обобщение конструкции из
[8], [9]. А именно - в терминах фундаментальных многогранников строится бесконечное семейство замкнутых ориентируемых трехмерных многообразий, являющихся циклическими накрытиями линзового пространства L(p, q), разветвленными над двухкомпонентными зацеплениями.
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
2. Построение многообразий Мп(р, д) и их свойства
Введем двупараметрическое семейство трехмерных мноогообразий Мп(р, д), определенных попарными отождествлениями граней некоторых сим-плициальных комплексов, обладающих цикличе-
ской симметрией.
Рассмотрим симплициальный комплекс Рп(р), где п ^ 1, р ^ 3, изображенный на рис. 1. Комплекс имеет 6п + 2 граней, (7 +р)п ребер и (р + 1)п вершин. На каждом ребре 5^^, г = 1,... ,п, добавлены вспомогательные точки Т1 ,Т2,... Т^ (нумерация идет от 5 к Qi), где в = р — 3.
Рис. 1. Построение многообразия Мп(р,д)
Положим, что п(р, д) отождествляет грани Рп(р) следующим образом:
[РіРі + 1Qi ^ + 2Рі+2^і+і]?
\RiPiQi ^ ЗгЯг+іЯг+і],
\QiRiSiTl ...Т^ ^ TSQiRi+іБіТІ... Т?-і], если д =1; \QiRiSiTl ...Т^ ^ Tls-1TгsQiRi +^1... Т?-2], если д = 2;
\QiRiSiT1 ...Т.'? ^ Т'І ... TiSQiRi+^і], если д = р - 3
\QiRiSiTi1...Т'? ^ SiT¡ ... T?QiRi+l], если д = р - 2
[QiRiSiT¡ ...Т? ^ Ri+l SiT1... Т? Qi], если д = р - 1
а : Б ^ Б [Р1Р2... Рп-іРп ^ S3s4 ... SlS2],
где г = 1,... ,п, все индексы берутся по модулю п и грани отождествляются в соответствии с указанным порядком вершин.
Теорема 1. [1] Факторпространство
Мп(р,д) = Тп(р)/^п(р,д), где п > 2, р > 3, 0 < д < р, (р,д) = 1 является ориентируемым трехмерным многообразием.
Для доказательства теоремы достаточно проверить эйлерову характеристику по теореме Зейферта-Трельфалля: комплекс, получающийся путем попарного отождествления сторон многогранника, является замкнутым трехмерным многообразием в том и только в том случае, когда его эйлерова характеристика равна 0 (см. [2]).
Теорема 2. [1] Многообразия Мп(р, д), где п ^ 2, XJ ^ 3, 0 < д < р, (р,д) = 1 являются п- лист-
ными циклическими накрытиями линзового пространства Ь(р, д), разветвленными над 2- компонентным зацеплением.
Доказательство теоремы основано на построении диаграмм Хегора фактор-многообразий (рис. 2) и их преобразовании к каноническим диаграммам линзовых пространств с помощью последовательности движений Зингера. Хорошо известно, что две диаграммы Хегора предствляют одно и то же трехмерное многообразие тогда и только тогда, когда от одной диаграммы к другой можно перейти с помощью конечной последовательности преобразований, каждое из которых является движением Зингера [15].
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
Рис. 2. Преобразования диаграммы Хегора факторпространства Мп(р,д)/рп
Построенный класс многообразий Мп(р, д) содержит, в частности, бесконечные серии многообразий из [7, 8, 9].
3. Оценки еложности для класса замкнутых трехмерных многообразий, обобщающих многообразие Эве-рита
В последние годы задача вычисления сложности трехмерных многообразий является актуальной и довольно полезной для классификации трехмерных многообразий. Её полезность состоит в том, что значение сложности многообразия показывает, насколько сложно устроено это многообразие. А известно, что обычно классификация геометрических объектов ведется в порядке возрастания их сложности. По настоящее время точные значения сложности известны для табличных многообразий [4], а также для двух бесконечных серий гиперболических многообразий с краем [5], для нескольких бесконечных серий линзовых пространств и для обобщенных пространств кватернионов [11],[12]. Точные значения сложности многообразий Паолюци-Циммермана получены в работе [2]. В данной работе найдены верхние оценки сложности для некоторых многообразий из двухпараметрического класса замкнутых ориентируемых трехмерных мноогообразий Мп(р,д) (п ^ 1, р > 3, 0 < д < р и (р, д) = 1).
Напомним, что разбиение трехмерного многообразия М в объединение двух полных кренделей рода д без общих внутренних точек называется разбиением Хегора рода д многообразия М. Род Хегора многообразия определяется как минимальный род его разбиений Хегора. Известно, что любое замкнутое ориентируемое трехмерное мно-
гообразие М можно представить в виде объединения двух полных кренделей Н и Н' с общим краем: М = Н и Н' и Н П Н' = дН = дН' (крендели Н и Н' обязаны иметь одинаковый род). Считается, что, чем больше род, тем многообразие сложнее. Трехмерная сфера Б3 является единственным ориентируемым многообразием с нулевым родом Хегора. Род Хегора равен единице лишь для линзовых пространств, включая многообразие Б2 хБ1.
Пусть Нд — полный крендель рода д, и В1В2,... ,Вд — собственные непересекающиеся диски в Нд. Говорят, что В1,В2,... ,Вд составляют систему меридиональных дисков, если они разбивают Нд до шара, т. е. если Нд \ (В1 и В2 и ... и В д) = В3. Границы меридиональных дисков называются меридианами.
Наиболее распространенным способом задания замкнутых ориентируемых трехмерных многообразий является задание их через диаграммы Хегора. Пусть М = Нд и Н'д — разбиение Хе-
гора, Бд
дНд
дН' — поверхность Хегора,
и = {и1,и2,... ,ид} — система меридианов первого кренделя Н д, V = {VI, У2,... ,уд} — система меридианов второго кренделя Н'. Тройка (Б д,и^) называется диаграммой Хегора многообразия М.
На основе построенной теории спайнов С. В. Матвеевым было введено понятие сложности трехмерного многообразия с(М) [4]. Напомним, что полиэдр Р С М называется спайном многообразия М с краем, если М \ Р гомеоморф-но дМ х (0,1]. Полиэдр Р называется спайном замкнутого многообразия М, если Р является спайном многообразия М \ ТпЪВ3, где ТпЬВ3 -
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
открытый трехмерный шар в М.
Простой двумерный полиэдр имеет особенности только двух типов: конус над полным графом с четырьмя вершинами и конус над окружностью с диаметром. В первом случае особая точка называется истинной вершиной,во втором - тройной точкой. Тройные точки организуются в тройные линии, соединяющие истинные вершины, и тройные окружности. Неособые точки организуются в 2-компоненты. Если спайн имеет хотя бы одну истинную вершину и все его 2-компоненты являются клетками, то полиэдр называется специальным.
Почти простой полиэдр получается из простого добавлением графа, валентности вершин которого не меньше двух, и приклеиванием к компонентам связности дуг по обоим концам. Спайн Р трехмерного многообразия М называется специальным, простым или почти простым, если он является специальным, простым или почти простым полиэдром соответственно.
Сложность с(М) многообразия М определяется как число истинных вершин его минимального (в смысле числа вершин) почти простого спайна.
Пусть Т - произвольная триангуляция замкнутого трехмерного многообразия М, содержащая к тетраэдров. Тогда двумерный остов двойственного разбиения многообразия М на клетки является специальным спайном п раз пунктированного М, то есть многообразия М с удаленными шаровыми окрестностями вершин. Число истинных вершин этого спайна равно к. Удаление 2-компонент, разделяющих различные шаровые окрестности, приводит к почти специальному спайну с < к истинными вершинами (см. [4]). Таким образом, сложность с(М) замкнутого трехмерного многообразия М может быть найдена как минимальное число тетраэдров, необходимых для построения многообразия М, попарными отождествлениями их граней.
Например, сложность трехмерной сферы $3, проективного пространства НР3 и линзового пространства Ь(3,1) равна 0. Поскольку в первом случае, в качестве ее почти простого спайна, можно взять точку (которая, конечно, не является истинной вершиной), во втором и третьем - их естественные почти специальные спайны представляют собой соответственно проективную плоскость НР2 и факторпространство диска В2 по стандартному действию поворотами группы ^ 3 на его крае. Оказывается, что это единственные замкнутые неприводимые многообразия сложности 0.
Пусть (Г, ¡лг,Хг, 1 < г < д) - диаграмма Хегора замкнутого трехмерного многообразия М. Здесь Г
- поверхность в М, разбивающая его на два полных кренделя рода д, а , Хг - полные наборы меридианов этих кренделей. Тогда объединение поверхности Г с 2д меридиональными дисками является простым спайном дважды пунктированного многообразия М. Число истинных вершин этого спайна равно общему числу точек пересечения меридианов. При слиянии двух шаров в один путем удаления одной из областей диаграммы число истинных вершин может только уменьшится.Так как диаграммная сложность Хегора строится по разбиению Хегора определенного рода, то сложность Хегора определяется только для замкнутых многообразий [4].
Теорема 1. Для сложности многообразий Мп(3,1) (п > 2) имеет место следующая оценка С(Мп(3,1)) < 10(п - 1).
Доказательство теоремы состоит в построении диаграммы Хегора Н многообразия Мп(3,1) (рис. 3) и в использовании понятия сложности (по Матвееву), где 10п - общее число точек пе-ресечния меридианов, а 10 - число вершин на границе дисков А1, Б\, С1, С1, Ап в области (А1Б1С1С 1Ап)
Рис. 3. Диаграмма Хегора многообразия Мп(3,1)
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
Теорема 2. Для сложности многообразий Аналогично доказательству теоремы 1, мы Мп(р, 1) (п > 2,р > 3) имеет место следующая строим диаграмму Хегора Н многообразия оценка С(Мп(р, 1)) < 10(п — 1) + п(р — 3). Мп(р, 1) (рис. 4) и используем понятие сложно-
сти многообразия.
------------1/ £) VI__________
Рис. 4. Диаграмма Хегора многообразия Mn(p, 1)
Замечание. Вычисление сложностей мно- тель многообразий” [15] позволило получить сле-гообразий Мп(3,1) (п = 2, 3,4, 5) и М3(5, д) дующие верхние оценки:
(д = 1, 2, 3, 4) с помощью программы “Распознава-
M M2(3,1) M3 (3,1) M4(3,1) M5(3,1) M3 (5,1) M3(5, 2) M3(5, 3) M3 (5,4)
C (M) < 6 < 15 < 22 < 29 < 21 < 18 < 18 < 21
Литература
[1] Веснин, А. Ю. Разветвленные циклические накрытия линзовых пространст / А. Ю. Веснин, Т. А. Козловская // Сиб. матем. журн. - 2011. -Т. 52, № 3. - С. 542 - 554.
[2] Веснин, А. Ю. Точные значения сложности многообразий Паолюци-Циммермана / А. Ю. Веснин, Е. А. Фоминых // Доклады РАН. - 2011. - Т. 439, № 6. - С. 727 - 729.
[3] Зейферт, Г. Топология / Г. Зейферт,
В. Трельфалль. - Ижевск, 2001. - 448 с.
[4] Матвеев, С. В. Распознавание и табулирование трехмерных многообразий / С. В. Матвеев // Доклады РАН. - 2005. - Т. 400, № 1. - С. 26 - 28.
[5] Anisov, S. Exact values of complexity for an infinite number of 3-manifolds / S. Anisov // Mosc. Math. J. - 2005. - Vol. 5, № 2. - С. 305 - 310.
[6] Barbieri, E.Some series of honey-comb spaces / F. Barbieri, A. Cavicchioli, F. Spaggiari, // Rocky Mountain J. Math. - 2009. - Vol. 39, №2. - P. 381 -398.
[7] Cavicchioli, A. Topology of compact space forms from Platonic solids. I / A. Cavicchioli,
F. Spaggiari, A. Telloni // Topology Appl. - 2009.
- Vol. 156. - P. 812 - 822.
[8] Cavicchioli, A. Topology of compact space forms from Platonic solids. II / A. Cavicchioli, F. Spaggiari, A. Telloni // Topology Appl. - 2010.
- Vol. 157. - P. 921 - 931.
[9] Cristofori, P. Cyclic generalizations of two hyperbolic icosahedral manifolds / P. Cristofori, T. Kozlovskaya, A. Vesnin // Topology Appl. submitted.
[10] Everitt, B. 3-manifolds from compact space forms from Platonic solids / B. Everitt // Topology Appl. - 2004. - Vol. 138. - P. 253 - 263.
[11] Jaco, W. Minimal triangulations for an infinite family of lens spaces / W. Jaco, H. Rubinstein, S. Tillmann // J. Topology. - 2009. -Vol. 2, №1. - P. 253 - 263.
[12] Jaco, W. Coverings and minimal triangulations of 3-manifolds / W. Jaco, H. Rubinstein, S. Tillmann //To appear in Algebr. Geom. Topol.- arXiv:0903.0112.
[13] Mulazzani, M. The many faces of cyclic branched coverings of 2-bridge knots and links / M. Mulazzani, A. Vesnin // Atti Sem. Mat. Fis. Univ.
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
Modena. - 2001. - Vol. IL. - P. 177 - 215.
[14] Mulazzani, M. Cyclic presentation of groups and cyclic branched covering of (1,1) knots / M. Mulazzani // Bull. Korean Math. Soc. - 2003.
- Vol. 40, №. 1. - P. 101 - 108.
[15] Recognizer Three-manifold Recognizer, the computer program developed by members of the
topology group of Chelyabinsk State University.
[16] Singer, J. Three-dimensional manifolds and their Heegaard diagrams / J. Singer // Trans. Amer. Math. Soc. - 1933. - Vol. 35, №. 1. - P. 88 - 111.
[17] Weber, C. Die Beiden Dodekaederaume /
C. Weber, H. Seifert // Math. Z. - 1933. - Vol. 37.
- P. 237 - 253.
УДК 515.162.8
ПРИМАРНЫЕ РАЗЛОЖЕНИЯ ВИРТУАЛЬНЫХ УЗЛОВ
Ф. Г. Кораблев
PRIME DECOMPOSITIONS OF VIRTUAL KNOTS Ph. G. Korablev
Доказывается, что произвольный виртуальный узел представляется в виде связной суммы нескольких примарных и тривиальных виртуальных узлов, причем примарные слагаемые такого разложения определены однозначно, то есть определяются только исходным виртуальным узлом. Для этого на множестве узлов в утолщенных поверхностях вводятся два типа редукций и доказывается, что результат применения этих редукций к произвольному узлу в утолщенной поверхности существует и однозначно определен.
We prove that any virtual knot can be presented as a connected sum of several prime and trivial virtual knots. Prime summands of the presentation are defined uniquely, i.e. they are determined by the original knot. We introduce two types of reductions on the set of knots in thickened surfaces and prove that the result of any sequence of reductions exists and is defined uniquely.
Ключевые слова: виртуальный узел, связная сумма, теория корней.
Keywords: virtual knot, connected sum, root theory.
Работа выполнена при поддержке гранта РФФИ (проект № 10-01-96035) и Программы, выполняемой совместно Институтом математики и механики УрО РАН и Институтом математики СО РАН (проект № 09-С-1-1007).
1. Введение и предварительные сведения
Под узлом в утолщенной поверхности понимается простая замкнутая кривая К в прямом произведении Б х I, где Б — замкнутая ориентируемая поверхность, I = [0; 1] — отрезок. Удобно понимать такие узлы, как пары (Б х 1,К). Все узлы в утолщенных поверхностях рассматриваются с точностью до гомеоморфизмов, сохраняющих основания прямого произведения и рассматриваемых как гомеоморфизмы пар. Пусть (Б х I, К)
- узел в утолщенной поверхности. Выберем такую пару непересекающихся дисков Dl,D2 С Б, что х I) П К = 0, г = 1, 2. Операция стабилизации узла (Б х I, К) состоит в вырезании из многообразия Б х I цилиндров Di х I, г = 1, 2 и склеивании копий колец дDi х I на крае получившегося многообразия по такому гомеоморфизму дDl х I ^ дD2 х I, чтобы в результате получился узел в утолщенной поверхности. Операция, обратная стабилизации, называется дестабилизацией и состоит в уменьшении рода поверхности Б без изменения кривой К.
Два узла в утолщенных поверхностях (^1 х ^Кх) и (Б2 х ЦК2) эквивалентны, если от одного к другому можно перейти с помощью последовательности преобразований стабилизации и дестабилизации. Виртуальным узлом называется класс эквивалентности узлов в утолщенных поверхностях (см. [1, 2, 3]).
Пусть (_Р\ х I, Кх) и (Б2 х I, К2) - два узла в утолщенных поверхностях. Для каждого г = 1, 2 выберем такой диск Di С Бг, что пересечение 1г = х I) П Кг является тривиальной ду-
гой в топологическом шаре Di х I. Склеим пары ((Бг \Ы Di) х I, К.1 \Ы и) по такому обращающему индуцированные ориентации гомеоморфизму Ф: дD1 хI ^ дD2 х I, что ф(дD1 х {0}) = дD2 х {0} и ф(д1\) = д^2. Получившийся в результате узел в утолщенной поверхности (Б х I, К) называется кольцевой связной суммой узлов (_Р\ х I,K1) и (^2 х I, К2) (также см. [4, 5]). Операция кольцевой связной суммы является прямым обобщением операции связного суммирования классических узлов в Б3 на случай узлов в утолщенных поверхностях.
Операция кольцевой связной суммы узлов в
