CC BY
41
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
УДК 513.83
ЗНАЧЕНИЯ t-ИНВАРИАНТА ДЛЯ САПФИРОВЫХ МНОГООБРАЗИИ
М. А. Овчинников
VALUES OF THE t-INVARIANT FOR THE SAPPHIRE MANIFOLDS
M. A. Ovchinnikov
t-Инвариант трехмерных многообразий - это в некотором смысле существенная часть инварианта Тураева-Виро, соответствующего корню 5-й степени из 1. В работе получена формула для вычисления значений t-инварианта многообразий, образованных из двух ориентируемых утолщенных бутылок Клейна отождествлением их торических краев. Формула имеет вид функции от 4 целых чисел - элементов матрицы, задающей отождествление торов.
The t-invariant of 3-manifolds is an essential part of the Turaev-Viro invariant corresponding to the 5-th root of unity. Sapphire manifolds are result of pasting two orientable thickened Klein bottles along their boundaries. The manifold is defined by a 2x2 matrix of the pasting. A formula for values of the t-invariant is given in the work. The formula is a function on the matrix four elements.
Ключевые слова: трехмерные многообразия, квантовые инварианты, инварианты Тураева-Виро. Keywords: 3-manifolds, quantum invariants, Turaev-Viro invariants.
Работа выполнена при поддержке гранта РФФИ (проект № 10-01-96035) и Программы, выполняемой совместно Институтом математики и механики УрО РАН и Институтом математики СО РАН (проект № 09-С-1-1007).
1. Введение
Двумерный полиэдр P, лежащий в компактном трехмерном многообразии M, называется спайном многообразия M, если дополнение к полиэдру в многообразии является прямым произведением края многообразия на полуинтервал или открытым трехмерным шаром. Двумерный полиэдр на-зывется простым, если каждая его точка имеет линк вида окружность, либо окружность с диаметром, либо окружность с 3 радиусами. Точки последнего типа называются вершинами полиэдра. Спайн простой, если он является простым полиэдром. Множество всех простых подполиэдров полиэдра P, включая сам полиэдр P и пустое подмножество, обозначаем S(P).
t-инвариант 3-многообразия M определяется формулой ([2]):
t(M)
v(Q)xQ)
(-є) є
Q€S(P)
где Р - произвольный фиксированный простой спайн многообразия М, є = 1+2^5, - число
вершин полиэдра Q, а х(Я) - эйлерова характеристика полиэдра Q.
Свойство инвариантности состоит в том, что значение, даваемое этой формулой, не зависит от выбора простого спайна данного многообразия ([2]).
Известна формула для линзовых пространств ([2]):
Эта формула показывает, что зависимость значения ^инварианта от параметров линзы весьма простая. В то же время эта формула дает некоторую дополнительную информацию по сравнению с первой группой гомологий линзы. В данной работе выводится формула для нахождения значений ^инварианта для многообразий, полученных склейкой двух экземпляров ориентируемого косого произведения бутылки Клейна на отрезок К х I. Такие многообразия исследовались в [3]. В этой работе они назывались сапфировыми многообразиями.
Край многообразия КхI является тором. Поскольку отождествление торов задается целочисленной матрицей порядка два, то четыре целых числа - элементы невырожденной матрицы порядка два - можно рассматривать как параметры для этой серии многообразий. Для определенности необходимо выбрать координаты на ториче-ских краях склеиваемых многообазий.
Фиксируем координаты в крае многообразия КхI следующим образом. Первая координатная кривая на торическом крае проектируется в кривую на бутылке Клейна, разрезающую ее до кольца. Образ второй кривой разрезает бутылку на две ленты Мебиуса.
а Ь с &,
Пусть A
невырожденная цело-
t(Lp,q) =
1, p = ±1 mod Б є + 1, p = ±2 mod Б є + 2, p = 0 mod Б, q = ±1 0, p = 0 mod Б, q = ±2
mod Б mod Б
численная матрица, и ві, в2, ві, в2 - координатные окружности на двух торах. Тогда равенства ві = аз'і + св2, в2 = Ьз'і + ^2 определяют отождествление данных торов посредством матрицы А.
Теорема 1. Пусть Ма обозначает результат склейки двух экземпляров многообразия
К х I посредством матрицы А = ^
Вестник КемГУ № З/І 20ІІ Геометрия трехмерных многообразий
Тогда значение t-инварианта многообразия Ma равно линейной комбинации значений t-инварианта нескольких линз, определяемых матрицей A:
10
t(MA) = kit(Lpi,qi ),
i=1
где 10 троек чисел (ki,pi,qi) - это (4, b, a), (2,a — b, b), (2, b + d,a + c), (2, 2b + d, 2a + c), (2, a — 2b, b), (1,a + c — b — d,b + d), (1,a + c — 2b — 2d,b + d), (1, 2a + c — 2b — d, 2b + d), (1, 2a + c — 4b — 2d, 2b + d), ( — 10, 2,1).
Выражение t-инварианта для этих многообразий через значения инварианта некоторых линз оказалось экономнее, чем формула, дающая зависимость значения инварианта непосредственно через значения параметров a, b, c, d - непосредственная формула получается весьма сложной и громоздкой.
Перебор случаев показал, что формула дает 22 различных значений t-инварианта.
2. Идея доказательства
Мы используем некоторое свойство t-инварианта, которое позволяет значение инварианта представить как произведение матриц, вычисляемых по кускам, из которых спайн определенным образом склеен. Если речь идет об одном многообразии (спайне), то такой путь не выглядит сколько-нибудь экономным. Другое дело, если исследовать значения инварианта для бесконечной серии многообразий, которые получаются различными склейками одних и тех же многообразий с краем (полиэдров). На этом пути быстро обнаруживаются возможности для получения формул для бесконечных серий многообразий.
3. Элементарные полиэдры и построение спайнов из них
Опишем нужный нам полиэдр, лежащий в Kх I. Это - бутылка Клейна K, к которой приклеено своим основанием прямое произведение 6x1 тэта-кривой (тэта-кривая - это граф с двумя вершинами и соединяющими их тремя ребрами) на отрезок. Два ребра из трех ребер основания составляют окружность, разрезающую бутылку Клейна на две ленты Мебиуса. Третье ребро основания приклеено вдоль пути с концами на этой окружности и пересекающей окружность еще в одной точке, так что полученный граф разбивает бутылку Клейна на два пятиугольника. Обозначим этот полиэдр буквой N (от слова neighbourhood - окрестность, т. к. N - это замкнутая окрестность бутылки Клейна в полиэдре). Полиэдр N лежит в KхI собственным образом, т. е. второй край прямого
произведения в х I лежит в крае К х I. Дополнение к бутылке Клейна в многообразии К х I - прямое произведение тора на полуинтервал. Разрезание тора края по тэта-кривой дает шестиугольник, значит дополнение к полиэдру N в многообразии ІпіК х I является открытым трехмерным шаром, примыкающим к открытому диску в крае, дополнительному к тэта-кривой.
Для обеспечения различных склеек двух экземпляров полиэдра N мы используем полиэдры-связки. Полиэдр J - это проективная плоскость с двумя дырами, к которой приклеены два полукруга своими диаметрами вдоль собственных неразбивающих дуг, пересекающихся в одной точке и имеющих концы на крае одной - своей для каждой дуги - дыры. Заметим, что двулистное накрытие проективной плоскости с двумя дырами является сферой с 4 дырами. Наши две дуги - это образы двух дуг на сфере, которые соединяют по две дыры на сфере и тем самым превращают ее в кольцо. Полудиски полиэдра Т индуцируют по два полу-диска, примыкающих к краям указанного кольца и оставляющих его кольцом. Приклеивая по итоговому кольцу полный цилиндр своей боковой поверхностью, получаем описание вложения полиэдра Т в утолщенный тор Т2 XI.
Для описания склеек нумеруем ребра на краях полиэдров цифрами 1, 2, 3. Фиксируем следующий выбор нумерации. У полиэдра N номер 1 - у ребра, противоположному ”пути”. Номер 2 -у ребра, противоположного той части ”окружно-сти”, которая пересекается с ”путем”. Номер 3 - у ребра, противоположного той части ”окружности”, которая с ”путем” не пересекается. У полиэдра Т край состоит из двух тэта-кривых. В каждой тэта-кривой края номера 1 и 2 - у ребер, составляющих край дыры, причем ребра с номером 1 разных тэта-кривых входят в край одного из двух многоугольников, на которые проективная плоскость с двумя дырами разбивается диаметрами полукругов. Край второго многоугольника содержит ребра с номером 2. Края полукругов содержат ребра с номером 3.
Еще два элементарных полиэдра - это полиэдры вида в х I, которые склеены из трех прямоугольников, со специальной нумерацией ребер краев. Первый такой полиэдр мы будем обозначать (23). В его краях два ребра с номером 1 входят в край одного прямоугольника, а два ребра с номером 2 (как и 3) входят в края разных прямоугольников. Аналогично определяется полиэдр (13). Очевидно, последовательно склеивая копии полиэдров (23) и (13) можно получить полиэдр вида в х I, у которого разметка ребер соответствует любой наперед заданной перестановке из трех элементов.
Для полноты охвата возможностей следовало бы задать и разметку (нумерацию) вершин тэта-кривых, т. е. ориентацию ребер тэта-кривых. Но
8З
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
из-за симметрии элементарных полиэдров и тех полиэдров, которые мы из них строим, варьирование ориентации ребер в склеИках не меняет результат склеек.
Оказывается, любое сапфирово многообразие можно склеить из двух экземпляров многообразия К х I с полиэдром N внутри и нескольких подходящих утолщенных торов с полиэдрами .1, (23) и (13) внутри с совмещением тэта-кривых краев полиэдров. При этом полиэдры склеиваются в простои полиэдр. Дополнительные шары к полиэдрам в склеиваемых многообразиям последовательно склеиваются по открытым дискам в открытыи трехмерный шар - дополнение к суммарному простому полиэдру. Значит, полученный простой полиэдр является простым спаином сапфирова многообразия.
В ходе доказательства теоремы используется элементарный полиэдр Е, который представляет собой ленту Мебиуса, к которой по неразбивающему собственному отрезку приклеен полукруг своим диаметром. Ребра, составляющие край ленты Мебиуса, имеют номера 1 и 2. Ребро края, принадлежащее полукругу, имеет номер 3.
4. ^-инвариант для полиэдров с краем
Двумерный полиэдр назывется простым с краем, если каждая его точка имеет линк вида окружность, либо окружность с диаметром, либо окружность с 3 радиусами, либо интервал, либо три интервала с общим концом. Множество точек последних двух типов называется краем полиэдра Р и обозначается дР.
Граф называем простым, если он имеет вершины только степени три. Пустое множество также считаем простым графом. Очевидно, край простого полиэдра с краем (который может отсутствовать) является простым графом. Множество всех простых подпграфов графа О, включая сам граф
О и пустое подмножество, обозначаем 5(О). Множество простых подполиэдров с краем в полиэдре с краем Р
Пусть Р - произвольный простой полиэдр с краем, граф 5(дР). Множество простых подполи-эдров с краем в полиэдре с краем Р с выделенным в его крае простым графом О таких, что край простого подполиэдра совпадает с графом О, обозначается 5(дР, О).Тогда паре полиэдр и граф в его крае соответствует значение ^инварианта согласно формуле:
Ь(Р,О) = ^ (_£)-Чд)£х(1^д)+2 хт),
QeS(дP)
где е = 1+2^5, у^) - число вершин полиэдра Q, х(Я) - эйлерова характеристика полиэдра Q.
Мы используем то же название инварианта, поскольку в случае пустого края значение этого
инварианта совпадает со значением ^инварианта, определенного во введении, т. е. Ь(Р, 0) = Ь(Р), если дР = 0.
5. Матрицы значений ^-инварианта для элементарных полиэдров
Для тэта-кривой в множество простых подграфов 5(в) насчитывает 5 элементов: пустой, сам граф, три подграфа, гомеоморфных окружности. Матрица из значений ^инварианта полиэдра с краем тэта-кривая зависит от порядка, выбранного в множестве 5(в). Используя пронумерованность ребер тэта-кривой, фиксируем следуюший порядок в этом множестве: 0, в\{1}, в\{2}, в\{3}, в.
Простейшим из элементарных полиэдров с одной тэта-кривой на краю является полиэдр Е. По определению, вычисления для него оказываются самыми минимальными:
ь(Е) = (1 о о 1 е2)Т.
Полиэдр N тоже имеет одну тэта-кривую на краю. Для него уже вычисления несколько больше, но совсем незначительно:
)Т
) = (231 _е-1 е-2) .
Если полиэдр имеет край, состоящий из двух тэта-кривых, то его значения Ь-инварианта составляют уже квадратную матрицу размера 5 х 5. Особенно простыми получатся матрицы для элементарных полиэдров (23) и (13).
*(23)
1 0 0 0 0
0 1 0 0 0
0 0 0 1 0
0 0 1 0 0
0 0 0 0 1
1 0 0 0 0
0 0 0 1 0
0 0 1 0 0
0 1 0 0 0
0 0 0 0 1
*(13)
Чуть посложнее получается матрица для полиэдра Т.
1 0 0 0 0
0 1 0 0 0
0 0 1 0 0
0 0 0 є-1 1 є 2
0 0 0 1 є 2 -є- 1
І(1 ) =
6. Реализация автоморфизмов тора с помощью элементарных полиэдров
В [6] показано, что элементарные полиэдры (23), (13) и .1 с пронумерованными ребрами определяют автоморфизмы тора, соответствующие матрицам соответственно:
1 0 11
-1 -1
01
10
01
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
Любую невырожденную матрицу порядка два можно выразить через эти три матрицы и тем самым найти последовательную склейку элементарных полиэдров, реализующую автоморфизм тора, описываемый заданной матрицей склейки.
Матрица ^инвариантов для найденной последовательной склейки элементарных полиэдров равна произведению их матриц ^инвариантов. В
[5] показано, что матрицы ^инвариантов элементарных полиэдров порождают конечную группу матриц из 120 элементов. Этот факт сразу влечет, что число различных значений Ь-инварианта для многообразий, получаемых из двух многообразий отождествлением по одному тору в крае, не более 120.
В [5] также показано, что домножение вектора Ь(Е) на эти 120 матриц дает всего 12 различных векторов, которые в [5] приведены. А различных скалярных произведений между этими 12 векторами всего четыре. Геометрически этим скалярным произведениям соответствуют склейки двух экземпляров полиэдра Е и нескольких элементарных полиэдров вида (23), (13) и Т. Нетрудно убедиться, что любой такой полиэдр является простым спайном линзы, и для любой линзы такой спайн можно построить. На этом пути получается формула для ^инвариантов линз.
7. Уточнение координат и модификация полиэдра N
Правило для превращения тэта-кривой с пронумерованными ребрами в букет координатных окружностей: ребра 1 и 2 ориентировать так, чтобы они имели общее начало, и затем ребро 3 стянуть в точку.
Оказывается, край полиэдра N дает первую кривую с лишней скруткой вдоль второй кривой. Для избежания этого эффекта модифицируем полиэдр N следующим образом. Приклеим к краю N последовательно элементарные полиэдры (23) и .1. Полученный полиэдр обозначим N1. Его Ь-инарианты легко вычисляются умножением матриц.
умножение этих векторов на матрицы Ь(23), Ь(13), Ь(Т) дает опять эти векторы.
г(м1) = і(і>(23)і(ж ) =
= (2 3 —є-1
~-2
2є-3)Т .
1 1 1
0 0 є
0 , є , 0
є 0 0
\°, / 0 \0
1 1 1
0 1 0
1 0 0
0 0 1
1 1 1
є 2 у \є2 / \ є 2
1 1 \1
0 1 1
1 0 1
1 1 0
1 1
є у \— 2/ —є-
1 / 1 1
1 —є-1 1
-є-1 , 1 , 1
1 1 —є-
3 3
2/ \є ч ує-2
Отметим, что полиэдр N1 также лежит внутри К хI собственным образом.
8. Доказательство теоремы
Приведем из [5] все те 12 векторов, которые являются векторами і-инвариантов для всевозможных полиэдров Е с несколькими приклеенными элементарными полиэдрами вида (23),(13) и .1. Несложноми вычислениями легко убедиться, что
Эти векторы имеют естественную характеристику в виде пары чисел - коэффициенты выражения координатных петель через ось полното-рия (ленты Мебиуса в полиэдре Е) как гомологических циклов по модулю 5. Эти числа будем называть параметрами векторов. Векторы имеют следующие параметры, соответственно: ±(1,1), ±(0,1), ±(1,0), ±(2,1), ±(1, 2), ±(1, —1), ±(2, —і), ±(і, —2), ±(2, —2), ±(0, 2), ±(2,0), ±(2, 2). Неоднозначность знаков освязана с тем, что ориентация осевой окружности не фиксирована. Векторы будем обозначать Уа,ь, где а,Ь - параметры вектора с точностью до одновременной смены знаков.
Ниже мы воспользуемся следующим фактом о линзах. Пусть на краях двух полных торов выбраны букеты координатных окружностей. Склейка полных торов полностью определяется совмещением координатных окружностей. Если известны выражения координатных окружностей через оси полных торов как гомологических циклов, то как определить параметры линзы ? Параметр р равен определителю матрицы из упомянутых степеней. А для параметра ц укажем алгоритм нахождения. Если степени относительно одного полно-тория записаны в строку, то применяем сложение-вычитание столбцов. Так как степени необходимо взаимно просты, то можно добиться в - допустим, верхней - строке чисел 1, 0. Тогда число под единицей - искомое ц (а под нулем - определитель р).
Склейка любой пары таких полиэдров является спайном какой-то линзы. А скалярное произведение соответствующих векторов является значением і-инварианта этой линзы. (На этом пути выводится формула для і-инвариантов линз.)
1
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
Представим вектор Ь(^) как линейную комбинацию трех векторов, соответствующих параметрам (1,0), (1,1) и (2,1), и еще некоторого вектора.
2 2
3 1
-є-1 = -(є + є-1) 1 +
є-2 1
\2є-Ч 3 \є V
1 1 1
є 0 0
0 + 0 + 1
0 є 0
К0) 0 1 \є Ч
+ є (2
Слагаемые в этом разложении замечательно ведут себя при умножении на матрицы і(23), і(13), і(1). Первое слагаемое не меняется, а остальные превращаются в какие-то из 12 векторов. Отсюда следует возможность получить искомое значение і-инварианта как линейную комбинацию і-инвариантов некоторых линз и некоторого добавка. Остается проследить за результатом этого подхода.
Обозначая вектор в первом слагаемом Уо, найденное разложение запишем кратко:
і(^) = -(є + є-1)Уо + є(2Уі,о + У1,1 + У2,і).
Непосредственной проверкой нетрудно убедиться в выполнении следущих свойств:
Ь(.1)Уа,Ъ = Уа,-ь,
Ь(23)Уа,Ъ = Уа-Ъ,-Ъ,
Ь(1 )г(23)Уа,Ъ = Уа-Ъ,ь,
1(23)1(1 )Уа,Ъ = Уа+Ъ,Ъ, к(13)Уа,Ъ = У-а,-а+Ъ,
Ь(1 )г(13)Уа,Ъ = У-а,а-Ъ, г(13)г(1 )Уа,Ъ = У- а,-а-Ъ = Уа,а+Ъ-Отсюда следует, что если размеченный полиэдр Qл, склеенный из элементарных полиэдров, реализует матрицу А, то Ь^л)Уа,Ъ = У(а,Ъ)л-1.
В силу симметрии А и А-1 дают одно и то же сапфировое многообразие. Это мы тоже использу-а Ь
ем. Пусть А =
. Тогда
і(Мі) і^Л)і(№і) = (-(є+є )У0+2є(У1,0 + У1,1+У2,1)
(-(е + е 1)У0 + 2е(Уа,Ъ + Уа+е,Ъ+а + У2а+е,2Ъ+д) = ■■■
Учитывая, что (е + е-1)2 = 5, У0Уи,у = 2 + е = е%/5, и алгоритм определения параметров линзы, продолжаем выкладки.
■■■ = -10є4 + є2(2У1,0 + У1,1 + У2,1)Т (2Уа,Ь + Уа+е,Ь+а + У2а+с,2Ь+в) =
= -10є4 + є2(4УТ0 Уа,Ь + 2У1}0Уа+с,Ь+а + 2УТ0 У2а+е,2Ь+а + 2У\}1Уа,Ь +
+ У11Уа+с,Ь+а + У\,1У2а+с,2Ь+а + 2У2,1Уа,Ь + У2,1Уа+с,Ь+а + У2,1У2а+с,2Ь+а) =
= -10є‘4 + є‘2(4і(ЬЬ,а) + 2і(ЬЬ+а,а+с) + 2і(Ь2Ь+а,2а+с) + 2і(1а-Ь,Ь) + +і(Ьа-Ь+с-а,Ь+а) + і(І2а-2Ь+с-а,2Ь+а) + 2і(Ьа-2Ь,Ь) + і(1а-2Ь+с-2й,Ь+а) + і(І2а-4Ь+с-2а,2Ь+а)) = = Є2 (-10і(І2,1 ) + 4і(ІЬ,а) + 2і(ІЬ+а,а+с) + 2і(І2Ь+а,2а+с) + 2і(^а-Ь,Ь) + +і(Еа-Ь+с-а,Ь+а) + і(Е2а-2Ь+с-а,2Ь+а) + 2і(Еа-2Ь,Ь) + і(Еа-2Ь+с-2а,Ь+а) + і(Е2а-4Ь+с-2а,2Ь+а ^
Доказательство окончено.
9. О связях ^-инварианта с топологическими квантовыми теориями поля
Формально ^инвариант определяется довольно просто и без каких-либо ссылок на инварианты Тураева-Виро и какие-либо топологические квантовые теории поля (ТКТП). Его замечательное свойство, позволяющее многообразиям с краем сопоставлять матричные инварианты, согласованные умножением, доказывается столь же просто. Хотя ^инвариант значительно менее информативен, чем первая группа гомологий, последней Ь-инвариант не перекрывается.
Существует связь Ь-инварианта с одним из инвариантов Тураева-Виро, а тем самым и с соответствующей ТКТП. Эта связь делает Ь-инвариант и его матричную версию не столь самостоятельны-
ми и независимыми. С одной стороны, можно говорить, что это всего лишь частный случай из огромного числа родственных и многих более мощных инвариантов. А с другой,- разбираясь с загадочным поведением этого простого и ’’бедного” инварианта, мы можем рассчитывать и на прояснение поведения родственных ему инвариантов.
Где тут, собственно, ТКТП? Если многообразия с краем с кусками спайнов внутри и с выделенными графами рассматривать не как инструмент для вычислений значения Ь-инвариантов многообразий, а рассматривать как самостоятельный объект для изучения, то это и будет изучением соответствующей ТКТП. Смысл таких объектов весьма неочевиден. По крайней мере, видно, что множество таких объектов гораздо более обширно,
)■
С
Вестник КемГУ № 3j1 2011 Геометрия трехмерных многообразий
чем многообразий без этих дополнительных структур. А для больщинства аналогичных инвариантов соответствующие ТКТП имеют дело с еще более необозримыми множествами объектов. Здесь t-инвариант оказывается интересным как пример, позволяющий входить в тематику ТКТП ценой сравнительно небольших вычислений.
Литература
[1] Turaev, V. G. State sum invariants of 3-manifolds and quantum 6j-symbols / V. G. Turaev, O. Y. Viro // Topology. - 1992. - Vol.31. - P. 865 -902.
[2] Матвеев, С. В. Построение и свойства t-инварианта / С. В. Матвеев, М. А. Овчинников, М. В. Соколов // Записки научных семинаров ПО-МИ. - 2000. - Vol.267. - P. 207 - 219.
[3] Morimoto, K. Some orientable 3-manifolds containing Klein Bottles / K. Morimoto // Kobe J. Math. - 1985. - Vol.2. - P. 37 - 44.
[4] Овчинников, М. А. Построение простых спайнов многообразий Вальдхаузена / М. А. Овчинников // Труды Международной конференции “Маломерная топология и комбинаторная теория групп. Челябинск 1999“. - Киев: Институт математики, 2000. - P. 65 - 86.
[5] Ovchinnikov, M. A. Values of the t-invariant for small Seifert manifolds / M. A. Ovchinnikov // [Электронный ресурс]. - Режим доступа: Preprint. arXiv:math.GT/0806.2073, свободный.
[6] Овчинников, М. А. Представление гомео-топий тора простыми полиэдрами с краем / М. А. Овчинников // Математические заметки. -1999. - Vol.66,4. - P. 533 - 540.
УДК 515.162
ВЕРХНИЕ ОЦЕНКИ СЛОЖНОСТИ МНОГООБРАЗИЙ, СКЛЕЕННЫХ ИЗ ДВУХ МНОГООБРАЗИЙ ЗЕЙФЕРТА С БАЗОЙ ДИСК И ДВУМЯ ОСОБЫМИ СЛОЯМИ
Е. А. Фоминых
UPPER BOUNDS OF COMPLEXITY FOR GRAPH-MANIFOLDS OBTAINED BY GLUING TOGETHER TWO SEIFERT MANIFOLDS FIBERED OVER THE DISC WITH TWO EXCEPTIONAL FIBERS E. A. Fominykh
В работе доказана формула, позволяющая вычислять верхние оценки сложности граф-многообразий, склеенных из двух многообразий Зейферта с базой диск и двумя особыми слоями.
We prove a formula for an upper bound of complexity of graph-manifolds obtained by gluing together two Seifert manifolds fibered over the disc with two exceptional fibers.
Ключевые слова: трехмерные многообразия, сложность.
Keywords: 3-manifolds, complexity.
Работа выполнена при поддержке гранта РФФИ (проект № 10-01-96035) и Программы, выполняемой совместно Институтом математики и механики УрО РАН и Институтом математики СО РАН (проект № 09-С-1-1007).
1. Введение
Пусть М — компактное трехмерное многообразие. Напомним [1], что подполиэдр Р С М называется спайном многообразия М, если либо дМ = 0 и многообразие М \ Р гомеоморфно дМ х (0,1], либо дМ = 0 и многообразие М \ Р гомеоморфно открытому шару. Спайн Р называется почти простым, если линк каждой его точки вкладывается в полный граф К4 с четырьмя вершинами. Точки, линки которых гомеоморфны графу К4, называются истинными вершинами спайна Р. Оложность с(М) многообразия М определяется как минимальное возможное число истинных вершин почти простого спайна многообразия.
Задача вычисления сложности трехмерных
многообразий является весьма трудной. В настоящее время точные значения сложности известны только для табличных многообразий [2] и для нескольких бесконечных серий многообразий [37]. Поэтому проблема построения "потенциально точных” верхних оценок сложности довольно актуальна. Важные результаты в этом направлении были получены в работах [8-12]. В данной работе доказана формула, анонсированная в [13], позволяющая вычислять потенциально точные верхние оценки сложности граф-многообразий, склеенных из двух многообразий Зейферта с базой диск и двумя особыми слоями.
