close

Вход

Забыли?

вход по аккаунту

?

Специальный спайн линзы типа длинная восьмерка и линза как пространство двулистного накрытия 3-сферы разветвленного вдоль двумостного зацепления.

код для вставкиСкачать
СПЕЦИАЛЬНЫЙ СПАЙН ЛИНЗЫ
ТИПА ДЛИННАЯ ВОСЬМЕРКА
И ЛИНЗА КАК ПРОСТРАНСТВО
ДВУЛИСТНОГО НАКРЫТИЯ 3-СФЕРЫ
РАЗВЕТВЛЕННОГО ВДОЛЬ ДВУМОСТНОГО
ЗАЦЕПЛЕНИЯ
М.А Овчинников*
Челябинский государственный университет
Доказывается, что "осевая" симметрия спайна линзы типа длинная восьмерка
задает инволюцию линзы, являющуюся классическим представлением линзы в виде двулистного накрытия трехмерной сферы разветвленного вдоль двуместного зацепления
Показывается как по изображению такого спайна линзы непосредственно получается
диаграмма четырехсплетения, описываемая разложением дроби из параметров линзы
в непрерывную дробь
Ключевые слова: трехмерные многообразия, спайны,разветвленные накрытия,
зацепления, тенглы, линзовые пространства
•Л
1.
Введение
Спайном замкнутого 3 многообразия называется лежащий в многообразии
полиэдр, если дополнение к нему является открытым шаром
Полиэдр называется специальным, если линк каждой его сингулярной
точки является либо окружностью с диаметром, либо окружное гъю с тре
мя радиусами, и связные компоненты множества неособых точек полиэдра
являются открытыми дисками.
Специальные спайны трехмерных многообразий применяются как спо
соб задания трехмерных многообразий, поскольку 3 многообразия по ним
восстанавливаются однозначно [1]. Систематически свойства специальных
спайнов изучались Матвеевым С.В [2 -6] В частности им замечено, что
в некоторых; случаях о свойствах многообразия можно сделать выводы по
структуре сингулярною множества специально о спайна многообразия.
* Работа выполнена при поддержке РФФИ (грант №96-01-00847)
146
М.А. Овчинников
Множество сингулярных точек специального полиэдра является регу-
лярным графом степени 4. Он называется сингулярным или особым графом
спайна.
Граф, состоящий из двух петель, соединенных цепочкой скольких-то,
может быть, нуля, двойных ребер, называется длинной восьмеркой. Специальный спайн, у которого сингулярное множество является графом длинная
восьмерка, называем спайно,.и типа длинная восьмерка.
Пусть Р - специальный спайн типа длинная восьмерка многообразия
М.
Очевидна инволюция (симметрия) сингулярного графа О спайна Р,
оставляющая неподвижными вершины графа, переставляющая ребра в каждом двойном ребре графа и совмещающая каждое петельное ребро с собой
с обращением ориентации ребра. Эту симметрию будем называть осевой
симметрией (осевой инволюцией) графа.
Спайн Р типа длинная восьмерка называем осесимметричным, если
он имеет инволюцию, продолжающую осевую инволюцию его сингулярного
графа, и инволюцию спайна называем осевой симметрией спайна.
С.Матвеев показал в [3], что если замкнутое ориентируемое многообразие имеет осесимметричный спайн типа длинная восьмерка, то род
многообразия не больше 1.
Далее везде в тексте многообразия рода не больше 1 называем просто
линзами.
Такие спайны линз имеют хорошо описываемую регулярную структуру, что позволило выяснить точную связь между структурой спайна и
параметрами линзы [7].
Двулистные накрытия трехмерной сферы, разветвленные вдоль зацеплений, замечательны тем, что характеризуются только соответствующим зацеплением (не требуют дополнительных алгебраических данных о
накрытии). Линзы относятся к числу многообразий, которые представляются как пространство двулистного накрытия 3-сферы разветвленного некоторого зацепления. Оказывается, такое представление линзы тесно связано с представлением линзы ее спайном типа длинная восьмерка.
ТЕОРЕМА 1.1. Пусть трехмерное многообразие М является линзой и лежащий в нем полиэдр Р является осесимметричным спайном типа длинная восьмерка.
Тогда существует двулистное разветвленное накрытие трехмерной сферы
р : М -» б'3
такое, что его ограничение р\р на спайне Р является осевой симметрией
спайна, и в дополнительном шаре М-Р множество неподвижных точек
инволюции накрытия является незаузленной собственной дугой.
СПЕЦИАЛЬНЫЕ СПАЙНЫ ЛИНЗ И ЧЕТЫРЕХСПЛЕТВНИЯ
147
Как следствие, по спайну можно получить зацепление, если суметь
как-то построить полиэдр - фактор спайна по симметрии, вложить полученный полиэдр в наше пространство, отследить в полиэдре неподвижные
точки симметрии и замкнуть свободные концы (должны оказаться и ровно
два), не образуя дополнительных заузливаний.
Предпочтительнее, насколько возможно, непосредственно увидеть зацепление, исходя из употребляемых графических способов представления
специальных спайнов.
Пусть спайн Р осесимметричный типа длинная восьмерка.
Естественен способ изображения спайна Р как "тонкой" диаграммы
Хегора. Обозначим Н крендель в многообразии М, являющийся регулярной
окрестностью сингулярного графа (7, и С\,..., Сь -зацепление в М, высеченное в крае кренделя Н 2-компонентами спайна Р. По кренделю Я с кривыми
на крае многообразие восстанавливается однозначно. Полный крендель Н
с кривыми в его крае является диаграммой Хегора многообразия М, индуцированной спайном Р.
СЛЕДСТВИЕ 1.1. Пусть Р - осесимметричный спайн типа длинная восьмерка линзы М. Предположим, Н полный крендель с кривыми С\, ...,Оь и
осевой симметрией а, индуцированные спайном Р.
Тогда фактор В кренделя по симметрии а является шаром. Образ
в В кривых на кренделе и неподвижных точек кренделя является набором
кривых X = (/.•!, ...,Ьт), из которых замкнуты все, кроме одной,скажем,
1\, являющейся собственной дугой в шаре В. Шар В с выделенными кривыми Ь, склеенный по краю с шаром В', в котором выделена ось с концами, совпадающими с концами дуги Ь^ в В, является трехмерной сферой с
зацеплением, вдоль которого разветвленное двулистное накрытие сферы
В И В' является исходным многообразием М.
Графически диаграмма Хегора изображается проекцией кренделя с
кривыми на плоскость. Изображение представляет собой диск с несколькими дырами с системой непересекающихся собственных "верхних" дуг и
системой непересекающихся собственных "нижних" дуг с концами в тех же
точках края диска с дырами, в которых кончаются верхние дуги.
Если крендель изобразить достаточно "тонким", чтобы было видно,
для какого графа он является окрестностью, то тогда кривые С*!, •••-(-А.
задают приклейку дисков к сингулярному графу спайна, и.значит, но такому
изображению диаграммы Хегора восстанавливается спайн многообразия.
"Тонкую" диаграмму Хегора, индуцированную спайном, будем называть
диаграммой спайна.
Очевидно, изображение осесимметричной диаграммы Хегора также
можно сделать симметричным относительно прямой, пересекающей все дыры в диске (см. рисунок 1).
148
М.А Овчинников
Рис. 1
Рис. 2
Диаграмму зацепления тогда можно получить следующим образом.
Нижние дуги изображаем "разорванными" посредством верхних дуг, как в
диаграммах узлов. Оставляем только половину диаграммы спайна, отрезаемую осью симметрии. К дугам кривых добавляем отрезки оси симметрии,
лежащие в диске с дырами. Поправим изображение локально: каждый отрезок оси в окрестности его середины "продавим" внутрь оставленной половины диаграммы, не меняя "высоту", т.е. оставаясь выше нижней дуги
и ниже верхней (см. рисунок 2).
Свободные концы крайних отрезков соединяем дугой, лежащей вне
''нашей половинки" диаграммы спайна. О краях диска с дырами "забываем", оставляем только кривые - зацепление нарисовано (см. рисунок 3).
Про полученную диаграмму зацепления будем говорить, что она индуцирована диаграммой спайна типа длинная восьмерка.
Хорошо известно, что линза является пространством двулистного накрытия трехмерной сферы разветвленного вдоль некоторого двумостного
Рис. 3
СПЕЦИАЛЬНЫЕ СПАЙНЫ ЛИНЗ И ЧЕТЫРЕХСПЛБТБНИЯ
149
Рис. 4
Рис. 5
зацепления. Известным способом изображения двуместного зацепления является четырехсплетение. Четырехсплетением называют диаграмму, полученную замыканием косы из 4 нитей, из которых одна крайняя нить не
зацеплена с остальными нитями, кратчайшим образом: начало 1-й нити
соединено с началом 2-й нити и т.д.
Оказывается, сходство изображений спайнов типа длинная восьмерка
и четырехсплетений не случайно.
СЛЕДСТВИЕ 1.2. Диаграмма зацепления, индуцированная диаграммой спайна типа длинная восьмерка, является четырехсплетением.
Набор целых чисел а1,...,а^, однозначно задает четырехсплетение,
как показано на рис.5., и обозначается (а-,...,а^} [9]. В частности, четырехсплетение на рис.4, задается числами
(-!,-!,2,-1,1,0,-2,1,-1,1,-2,1,-2,0,1,0,-2).
Очевидно, каждое четырехсплетение задает зацепление наряду с бесконечным множеством других четырехсплетений, и каждое четырехсплетение
задается бесконечным множеством кодов, благодаря возможности нулей в
составе кода.
150
М А Овчинников
Замечательно, что составляя из чисел кода непрерывную дробь, мы
найдем параметры соответствующей линзы Ьъа:
Нетрудно убедиться, что для любою осесимметричного спайна типа
длинная восьмерка диаграмму можно построить последовательным соединением графических элементов, изображенных на рис.6. Выделим в диаграмме сегменты подряд следующих элементов 1,2,4,1', 2', 4' - такие сетменты называем сегментами первого типа; 3,3' - такие сегменты называем
сегментами второго типа. Сегменты могут разделяться элементами 0 и О'.
С диаграммой сопоставляем последовательность целых чисел по следующему правилу. Сегменты из элементов 1, 2, 4 и из элементов 3 сопоставля
ются с длиной сегмента. Сегменты из элементов 1',2'. 4' и из элементов 3'
сопоставляются с длиной сегмента, взятой с минусом. Последовательность
элементов 0 и 0' сопоставляется с таким же либо на 1 большим числом
нулей, чтобы выполнялось правило: если нулей четное число, то разделяемые нулями числа относятся к сегментам одного типа, если нечетное то разных типов. Полученную последовательность целых чисел называем
кодом диаграммы спайна. По своему коду диаграмма восстанавливается
однозначно. Отметим правило, необходимо учитываемое при восстановлении: если последовательность нулей разделяет числа одинаковых знаков,
то количество соответствующих фрагментов 0 и 0' четное, если разных
то нечетное. Так что при совпадении четности числа нулей с требуемой
четностью числа элементов 0 и 0' берем элементов столько, сколько нулей,
при несовпадении - берем элементов 0 и 0' на 1 меньше числа нулей.
П Р И М Е Ч А Н И Е . Для нетривиальных линз (с //1 ф 7>, 0, 2?) есть спайны
типа длинная восьмерка без 1- и 2-угольников. Диаграмма такого спайна не
включает элементов 0 и О'. В этом случае зацепление имеет код из положительных чисел, который является каноническим [8] и называется символом
Конвея четырехсплетения [9].
СЛЕДСТВИЕ 1.3. Если диаграмма спайна описывается набором чисел
[а\,а,1,...,аъ\, то четырехсплетение, индуцированное данной диаграммой
спайна, и четырехсплетение, задаваемое набором чисел [а15 а2, ...,аъ\, являются диаграммами одного и того же зацепления.
Значит, и соответствующее многообразие является линзой Ьр,д, где
параметры р и </ линзы можно найти как знаменатель и числитель непре
СПЕЦИАЛЬНЫЕ СПАЙНЫ ЛИНЗ И ЧЕТЫРЕХСПЛЕТЕНИЯ
151
Рис б
рывной дроби
? = ________1________
'а1 + ———————Ц—————'
«2 +——————————
а3 + ...—————р
Р
а^_: + —
•ЗА
2. Доказательство георемы .1.1
Пусть V - вершина графа, К С Р - замкнутая окрестность вершины в
спайне, инвариантная относительно осевой симметрии спайна. Граф СП V
является букетом 4 отрезков ("крестом"). Осевая симметрия действует на
"крест" перестановкой двух пар его ребер. 2-компонента в V, приклеенная вдоль переставляемой пары ребер, под действием осевой симметрии
спайна отображается в себя с обращением ориентации. Следовательно, со
держащая эту 2 компоненту полиэдра V 2-компонента спайна Р под действием осевой симметрии отображается в себя с обращением ориентации.
В окрестности каждой вершины две 2-компоненты переходят в себя при
осевой симметрии. Аналогично, в окрестности середины петельного ребра
есть 2-компонента, переходящая в себя при осевой симметрии спайна. Из
152
М.А Овчинников
,
соображений симметрии следует, что каждая 2-компонента спайна содежит
две 2-компоненты из окрестностей вершин спайна и середин петельных ребер, переходящие в себя при симметрии. Следовательно, все 2-компоненты
спайна при симметрии переходят в себя с обращением ориентации. Значит,
множеством неподвижных точек в 2-компоненте спайна, является собственная дуга 2-компоненты (диаметр диска). В каждой вершине спайна соединяются две такие дуги (или замыкается в окружность одна дуга). Середина
петельного ребра является концом одной дуги. Первая часть утверждения
теоремы 1 доказана.
Каждую пару симметричных точек графа О соединим в спайне тремя, каждую вершину с собой - двумя, середину каждого петельного с собой
- одним - отрезками в спайне, переходящими в себя при симметрии. Тем
самым представим каждую 2-компоненту спайна как объединение интервалов, переходящих в себя при симметрии. Спайн расслоен на две окружности, п экземпляров букета двух окружностей и п + 1 экземпляров произведения тэта-кривой на интервал. (Тэта-кривая это граф с двумя вершинами
и тремя простыми ребрами.) Окрестность каждой из двух окружностей в
спайне представляет собой лист Мебиуса, к которому вдоль неразбивающей
собственной дуги приклеен полукруг своим диаметром. Лист Мебиуса с полукругом разбивает торическую окрестность окружности в многообразии
до шара. Дополнение в многообразии к двум полноториям с окружностями
является утолщенным тором, которое спайн Р разбивает до шара. Расслоение спайна Р, очевидно, распространяется до естественного расслоения
утолщенного тора на торы. Окрестность каждой тэта-кривой (или букета
окружностей) в соответствующем торе является тором с дырой, а дополнение к ней является замкнутым диском. Край диска является окружностью,
которая при осевой симметрии спайна переходит в себя без неподвижных
точек. В силу инволютивносги симметрии можно сказать, что край диска
испытывает поворот на 180 градусов. Распространим инволюцию спайна
на дополнительный шар, задав ее действие на дисках слоения как поворот
на 180 градусов вокруг центра диска. Множеством неподвижных точек в
дополнительном шаре является ось шара. Теорема доказана.
3. Доказательство следствия 1.2
По определению, спайн Р - полиэдр в многообразии М, крендель
Н также лежит в многообразии. Зафиксируем набор 2-ручек как разность
N Р - Н для достаточно малой регулярной окрестности N Р спайна в многообразии. Объединение кренделя и 2-ручек Яи(/УР — Н) является окрестностью спайна и - самим многообразием, из которого удалили открытый
шар. Фактор кренделя по симметрии, продолжающей осевую симметрию
СПЕЦИАЛЬНЫЕ СПАЙНЫ ЛИНЗ И ЧЕТЫРЕХСПЛЕТЕНИЯ
153
Рис 7
спайна, является шаром, который обозначим В. Фактор каждой 2-ручки
по осевой симметрии также просто шар, поскольку в 2-ручке неподвижные
точки симметрии составляют одну собственную незаузленную дугу (которую будем называть "неподвижной дугой"). Фактор каждой кривой Сг по
симметрии является дугой С( в крае шара Б, поскольку, как показано при
доказательстве теоремы, кривая С, пересекает ось кренделя только в двух
точках. Для доказательства следствия достаточно показать, что неподвижная дуга и дуга С' изотопны.
Для каждого г шар Вг - образ г~й 2-ручки - приклеен к шару В по
диску, который является окрестностью дуги С( в крае шара В.
Образ неподвижной дуги пересекает диск в точках, которые являются
концами дуги С', и незаузлен в шаре Д, так как незаузлена неподвижная
дуга в 2-ручке. Значит, эту дугу, не сдвигая ее концов, можно изотонией
совместить с дугой С(.
4. Доказательство следствия 1.3
Из диаграммы Хегора получается коса из 3 нитей, у которой с каждой
стороны из 3 концов соединены 2. Добавляемая незаузленная дуга является
4-й незацепленной нитью косы.
5. Доказательство следствия 1.4
Согласно нашей процедуре построения четырехсплетения по диаграмме спайна одинаковым графическим элементам диаграммы спайна соответствуют одинаковые фрагменты четырехсплетения. После применения
преобразований Рейдемейстера внутри фрагментов получаются графические элементы для построения четырехсплегений, изображенные на рисунке
7 с нумерацией, указываемой на соответствие с графическими элементами
диаграмм спайнов. Построение четырехсплетения из этих графических элементов дает тот же результат, что и построение четырехсплетения по коду
диаграммы спайна.
154
М.А. Овчинников
Список литературы
1.
Са81ег В.С. Ап етЪед&пд 1пеогет /ог соппесгеЛ 3-тапг/оШз шггН ЬоипЛагу //
2.
Ргос.Атег.Зос. 1965. Уо1. 16. Р.559-566.
Матвеев С.В. Специальные остовы кусочно линейных многообразий // Мат.сб.
3.
4.
5.
6.
7.
8.
9.
1973. Т.92, №2. С.282-293.
Матвеев С.В. Один способ задания 3-многообразий // Вести. МГУ. 1975, №3.
С.11-20.
Матвеев С.В. Универсальные 5-деформации специальны.,- полиэдров // Успехи
мат. наук. 1987. Т.42, №3. С.193-194.
Матвеев С.В. Преобразования специальных спайнов и гипотеза Зимина // Изв.
Акад. Наук СССР. Сер. Мат, . 1987. Т. 51, №5. С. 1104-1116.
Ма1уееу 8.У. Сотр1ехИу Меогу о/ 1Нгее-а'1тет1опа1 тат]оЫз // Ас(,а
АррНсапс1ае Ма1Ь. 1990. Уо1. 19. Р.101-130.
Овчинников М.А. Петли спайнов и вычисление параметров линзовых пространств II Вести. ЧелГУ. Математика, механика. 1996., йып.1. С.84-90.
Сопмгау Л. Оп епттега.!гоо о/ &по1з ап^ /ш/с.5 апа1 зоте о/ Легг ге!а1е(1
ргорегггез//Сотри1а1юпа1 РгоЫетв т АЬ81гас1 А1§еЬга, Ргос. Соп{. ОхГогй, 1967.
Рег§атоп Ргеаз, 1970. С.329-358.
Етв! С., витпегв О.\У. А са1си1ия /ог га1гопа1 1апд1е$: аррИсаЬюпз 1о ^NА
гесотЪтагюп //Ма(,Ь. Ргос. СатЬп<1§е РЫ1. Зое., 1990. Уо1. 108, №3. С.489-515.
511ММАКУ
1п 1:Ье рарег 11; 15 зЬодан 1:Ьа1, 1:Ье ахаа! туо1и.лоп оГ 1оп§-е1,...;111 п§иге
зрес!а1 зрте оГ1еп8 зрасе ех1;еп(18 \,о 1;Ье 1пуо1и1:1оп оГ1;Ье 1епз зрасе 1пс}ис1п§ 2{оЫ соуег1п§ оуег З-зрггеге ЪгапсЬес! а!оп§ 2-Ьг1с1§е Пн!-.:. А тегЬос! 1з з觧е81;ес1
Ьо\у 1ю §е1 а 4-р1а1 сИа^гат апс! согге8ропс11п§ соп11пиои8 .ГгасИоп Ггот саа^гат
о$ Нте 8р1пе.
1/--страниц
Пожаловаться на содержимое документа