Графические представления минимальных ds-диаграмм линзовых пространств

ГРАФИЧЕСКИЕ ПРЕДСТАВЛЕНИЯ МИНИМАЛЬНЫХ ББ-ДИАГРАММ ЛИНЗОВЫХ ПРОСТРАНСТВ1

Рассматриваются Дй'-диаграммы линзовых пространств, минимальные по числу граней среди всех известных .Ой'-диаграмм этих многообразий. Описано несколько методов построения этих диаграмм в виде графов на плоскости, составленных из прямолинейных отрезков. Отмечены достоинства и недостатки каждого из методов.

Ключевые слова: трехмерные многообразия, линзовые пространства, спайны.

Введение

Любое замкнутое трехмерное многообразие можно представить как подходящий многогранник (3-шар с графом на краю) с отождествленными гранями. Наиболее известными примерами таких представлений являются представление линзового пространства как бипирамида, у которой верхние треугольные грани отождествлены с нижними треугольными гранями, а также представление сферы Пуанкаре как додекаэдра, у которого каждые две противоположные грани отождествлены некоторым образом.

ББ-диаграмма — это сфера с трехвалентным графом и отождествлением точек, склеивающим вершины по четыре, ребра — по три, грани — по две. Любое замкнутое 3-многообразие получается отождествлением края шара по подходя-шей ББ-диаграмме. Понятие ББ-диаграммы принадлежит японским математикам [1]. Название дано в честь знаменитых топологов Дена и Зайферта. Буквы ББ — это первые буквы их фамилий.

Представление замкнутого 3-многообразия как многогранника с отождествленными гранями тесно связано с понятием спайна многообразия. Спайном замкнутого 3-многообразия называется полиэдр в многообразии, если его дополнение в многообразии является открытым шаром. Поверхность многогранника при отождествлении оказывается полиэдром, лежащим в многообразии, внутренность многогранника оказывается дополнением к этому полиэдру в многообразии, и поэтому полиэдр является спайном многообразия.

Спайн называется специальным спайном, если все его 2-компоненты являются 2-клетками и линк каждой его точки в полиэдре является связным некол-лапсируемым графом, вкладываемым в полный граф с четырьмя вершинами. Сингулярный граф специального спайна является регулярным графом с вершинами валентности четыре. ББ-диаграмму можно коротко определить как многогранник с отождествлением граней, обращающим многогранник в замкнутое

1Работа выполнена при поддержке РФФИ (грант № 07-01-96026урал).

трехмерное многообразие и поверхность многогранника — в специальный спайн многообразия.

Для каждого линзового пространства Ьр,я с первым параметром р больше трех существует специальный спайн с сингулярным графом, состоящим из двух петель и нескольких двойных ребер. Вообще говоря, таких спайнов у любой линзы бесконечно много, но среди них есть один с минимальным числом вершин [2 —

Вначале опишем ББ-диаграмму, зависящую от параметров линзы. Затем покажем, что соответствующий спайн совпадает с тем единственным для каждой линзы специальным спайном с сингулярным графом, содержащим две петли и несколько двойных ребер.

Есть гипотеза, что такие специальные спайны линз являются минимальными по числу вершин также и среди всех специальных спайнов линз. Гипотеза проверена на специальных полиэдрах с числом вершин до 12 включительно. Автоматически гипотеза переносится на соответствующие ББ-диаграммы [2]. Этим объясняется именование ББ-диаграмм такого вида в заглавии статьи как минимальных.

Описание ББ-диаграммы. Представим параметры 0 < д < р линзы Ьр,я как значение матричного выражения, задаваемого подходящим двоичным кодом

£0£1...£п, п > 0:

Представим сферу как прямоугольник в координатной плоскости 0 < x < n +1, — 2 < у < 2, у которого точки границы для x < n + 1 отождествлены по симметрии относительно оси у = 0, а для x = n +1 отождествляются точки с ординатами у и 2sgn(y) — у.

Для описания граней диаграммы и отождествления граней используем прямоугольники R0 и R1. Прямоугольником R0 называем прямоугольник 0 < x < 1, —2 < у < 2, в котором выделено 7 отрезков вида у — целое, у = x и у = x — 2. Симметричный ему прямоугольник относительно оси у = 0 обозначаем Ri. Отличие прямоугольников только в выделенных отрезках. Прямоугольники состоят из четырех квадратов, из которых два несмежных разбиты на треугольники параллельными диагоналями. Зададим отождествление на R0: квадраты отождествляются по симметрии относительно прямой у = |, пары треугольников отождествляются аффинными преобразованиями, неподвижными на прямой у = Ъ + |, Ь = — | и 6 = — 1, и отображающими прямые х = const в себя с обращением ориентации.

DS-диаграмма задается словом R£0R£1 RSn, т. е. получается последовательно склейкой копий прямоугольников R0 и Ri в соответствии с двоичным кодом, соответствующим параметрам линзы. Одновременно имеем и отображение отождествления граней диаграммы.

4].

Теорема 1. Построенная ББ-диаграмма представляет данное линзовое пространство Ьр,д.

1. Доказательство теоремы

Доказательство. Покажем, что соответствующий построенной ББ-диаграмме специальный спайн является тем хорошо известным единственным спайном данной линзы. Вначале приведем то построение этого спайна, которое нам предстоит распознать в нашей ББ-диаграмме.

Спайн можно получить склейкой по краю двух экземпляров некоторого полиэдра Е и нескольких экземпляров некоторого полиэдра 3 по определенному правилу, руководствуясь тем же самым двоичным кодом, по которому построена ББ-диаграмма [4].

Полиэдр Е — это лента Мебиуса, к которой вдоль собственного неразбивающего отрезка приклеен полудиск своим диаметром.

Полиэдр 3 получается из полиэдра Е удалением открытого диска из 2-компоненты, полученной из ленты Мебиуса, и приклеиванием полудиска своим диаметром вдоль неразбивающей собственной дуги с концами на краю дыры и пересекающей сингулярный отрезок полиэдра Е в одной точке. Легко убедиться, что полиэдр 3 определен однозначно.

Полиэдр Е имеет край, состоящий из одной тэта-кривой, и полиэдр 3 имеет край, состоящий из двух тэта-кривых. Оба полиэдра имеют симметрию, оставляющую ребра края на месте с обращением ориентации ребер, и симметрию, переводящую ребра полудисков в себя, а другие два ребра тэта-кривых — друг в друга, с сохранением ориентации. Полиэдр 3 также обладает симметрией, переставляющей края полиэдра.

Ребра тэта-кривых краев нумеруем цифрами 1, 2, 3. Однозначность нумерации обеспечивается соблюдением следующих условий. Если ребро входит в полудиск, то оно имеет номер 3. Другие два ребра в полиэдре Е получают номера 1 и 2. В полиэдре 3 при расстановке номеров 1 и 2 следим за тем, чтобы ребра с одинаковыми номерами принадлежали краю одной 2-компоненты полиэдра. Этими условиями разметка краев полиэдров определяется однозначно с точностью до гомеоморфизма.

Последовательно склеиваем копию полиэдра Е, п — 1 копий полиэдра 3 и копию полиэдра Е, отождествляя тэта-кривые краев по правилу: если соответствующая цифра двоичного кода равна нулю, то отождествляем ребра 1 и 1, 2 и 3, 3 и 2. Если цифра 1, то отождествляем ребра 1 и 3, 2 и 2, 3 и 1. В силу симметрий склеиваемых полиэдров нет необходимости различать ориентации ребер тэта-кривых краев и у полиэдра 3 различать его два края. Как показано в [4], так построенный полиэдр является специальным спайном линзы с параметрами р и д, соответствующими двоичному коду.

Покажем, что наша ББ-диаграмма задает тот же спайн. Прямыми вида х-полуцелое исходный прямоугольник разбивается на прямоугольники, чьи образы в сфере являются кольцами, за исключением крайних прямоугольников, чьи образы в сфере являются дисками. Каждое кольцо разбито на четыре треугольника и четыре шестиугольника. Непосредственно убеждаемся, что при факторизации шестиугольники дают ленту Мебиуса с дырой, треугольники — два полудиска, пересекающиеся диаметрами в одной точке, и в целом получается полиэдр 3. Крайние прямоугольники содержат по два треугольника и четыре четырехугольника,

которые при факторизации обращаются в полудиски и ленты Мебиуса соответственно и в целом — в полиэдры Е. В каждом кольце треугольники помечаем цифрой 3, шестиугольники в полосах 1 < у < 2, —1 < у < 0 — цифрой 1, в полосах 0 < у < 1, —2 < у < —1 — цифрой 2. Эта нумерация индуцирует правильную нумерацию ребер в тэта-кривых краев полиэдров 3 , получающихся факторизацией колец. Аналогично в крайних прямоугольниках помечаем цифрой 3 треугольники, цифрой 1 — четырехугольники в полосах 1 < у < 2, —1 < у < 0, цифрой 2 — четырехугольники в полосах 0 < у < 1, —2 < у < —1. Эта нумерация индуцирует правильную нумерацию ребер в тэта-кривых краев полиэдров Е, получающихся факторизацией крайних прямоугольников. Очевидно, что соответствие номеров ребер при склейке тэта-кривых согласовано со значениями соответствующих цифр двоичного кода. Тем самым показано, что в целом получается тот же полиэдр.

Пример. Параметры линзового пространства 32,7. Код 0001011. ББ -диаграмма Я0Я0Я0ЯхЯ0ЯхЯх (рис. 1).

Рис. 1

Замечание 1. Для линзы £3д двоичный код состоит из одной цифры и соответствующая ББ -диаграмма совпадает с одним элементарным прямоугольником. Конструкция полностью справедлива и в этом случае. Для обобщения необходимо особо отмечать, что окружность является допустимым трехвалентным графом и что в ББ -диаграмме точки окружности отождествляются по три.

2. Другие представления построенных ББ -диаграмм

Построенное представление является наилучшим для описания отождествления граней. Однако граф можно строить другими способами:

1. Представление диаграммы, составленное из вертикальных и горизонтальных отрезков, легко получается из построенной диаграммы сдвигом центрального и крайних отрезков на единицу вперед, превращением таким образом диагоналей в вертикальные отрезки и добавлением замыкающих отрезков — одного слева и одного справа (рис. 2). Преимущество метода в том, что используются только горизонтальные и вертикальные отрезки и отождествление прямоугольника в сферу затрагивает граф гораздо меньше. Отождествление граней определяется отождествлением вершин графа. Отождествляются те вершины графа, которые получают одинаковый номер при нумерации вдоль горизонтальной прямой.

Рис. 3

2. Еще одно представление: центральносимметричный граф на координатной плоскости, составленный из отрезка и двух лучей биссектрис координатных углов и нескольких вертикальных и горизонтальных отрезков (рис. 3). Достоинство такой диаграммы в том, что граф строится весь, кроме одной, бесконечно удаленной, точки, — без дополнительных склеиваний, как в предыдущих представлениях. В одну точку склеиваются четверки тех вершин, которые имеют одинаковый номер, если последовательно нумеровать от начала координат внутри каждого координатного угла.

3. Все предыдущие способы построения графа требуют предварительных вычислений двоичного кода. Есть способ прямого графического построения нужного графа. Он основан на графическом разложении дроби в непрерывную дробь разбиением прямоугольника на квадраты.

К прямоугольнику размером р — # на # надо добавить отрезки, отсекающие от прямоугольника полуквадраты с двух сторон, и продолжать также добавлять отрезки к центральному прямоугольнику, пока он не станет размером 2 на 1, в котором удалить стороны длины 2 и добавить срединный отрезок длины 2. Наконец, дугой вне исходного прямоугольника соединить середины коротких сторон прямоугольника. На рис. 4 представлена такая диаграмма для линзы Ь32,9 ~ ^32,7. Внешняя дуга представлена двумя лучами. Подразумевается, что плоскость пополнена бесконечно удаленной точкой и, таким образом, является сферой. Два луча и бесконечно удаленная точка дают разбиение дуги на два полуинтервала

Рис. 4

и точку.

Отождествление граней определяется отождествлением вершин графа. Концы центрального ребра нумеруем цифрой 1. Ближайшие две центральносимметричные вершины также нумеруем цифрой 1. Из-за симметрии диаграммы есть два варианта такой нумерации. Далее в каждой четверти прямоугольника вершины графа нумеруются по мере удаления от центра прямоугольника.

Список литературы

1. Ikeda, H. Invitation to DS-diagrams / H. Ikeda, Y. Inoue // Kobe J. Math.— 1985.— Vol. 2.— P. 169—185.

2. Matveev, S. V. Algorithmic Topology and Classification of 3-Manifolds /

S. V. Matveev.— Berlin ; New York : Springer-Verlag, 2007.

3. Martelli, B. 3-manifolds having complexity at most 9 / B. Martelli, C. Petronio // Experimental Math.— 2001.— Vol. 10.— P. 207—237.

4. Овчинников, М. А. Построение простых спайное многообразий Вальдхаузена / М. А. Овчинников // Маломерная топология и комбинаторная теория групп : тр. междунар. конф.— Киев : Ин-т математики, 2000.— С. 65—86.