Некоторые свойства расширенной сложности трехмерных многообразий Текст научной статьи по специальности «Математика»

НЕКОТОРЫЕ СВОЙСТВА РАСШИРЕННОЙ СЛОЖНОСТИ

_ _ _ _ _ К» -I

ТРЕХМЕРНЫХ МНОГООБРАЗИЙ1

Изучаются некоторые свойства расширенной сложности трехмерных многообразий, в частности аддитивность относительно связного и гранично связного суммирования и свойство конечности.

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

Введение

Пусть М — компактное трехмерное многообразие. Напомним, что сложность многообразия М (обозначается с(М)) определяется как число истинных вершин его минимального почти простого спайна [1, гл. 2]. Работа посвящена расширению понятия сложности трехмерных многообразий и исследованию некоторых свойств этой характеристики. Преимущество расширенной сложности состоит в том, что она всегда уменьшается при разрезании многообразия по любой несжимаемой гранично несжимаемой поверхности. В работе мы будем рассматривать только ориентируемые многообразия.

1. Сложность, Л-корень и /-компоненты трехмерного многообразия

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

Определение 1. Сложность с(М) компактного трехмерного многообразия М равна к, если М имеет почти простой спайн с к истинными вершинами и не имеет почти простых спайнов с меньшим числом истинных вершин [1].

Пусть Р — почти простой полиэдр. Через с1(Р) обозначим число тройных окружностей этого полиэдра.

Определение 2. Пусть трехмерное многообразие М имеет сложность к. Тогда через С1(М) обозначим ШШр с1(Р), где минимум берется по всем почти простым спайнам многообразия М с к истинными вершинами [1].

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

Замечание 1. Определим операцию разрезания трехмерного многообразия по собственной поверхности. Пусть М — трехмерное многообразие, Р — собственная поверхность в М. Через N(Р) обозначим регулярную окрестность поверхности Р в многообразии М. Будем говорить, что многообразие Мр = М\(IntN(Р) и 1П;(дМ(Р))) получено разрезанием многообразия М по поверхности Р. Таким образом, многообразие Мр лежит в М.

Напомним, что собственный диск Л в многообразии М называется существенным, если его граничная окружность дЛ нетривиальна на дМ.

Определение 3. Многообразие Я(М) С М называется Л-корнем [2] или сердцевиной [1] неприводимого трехмерного многообразия М, если выполняются следующие условия:

1) Я(М) гранично неприводимо;

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

Известно [1, предложение 4.1.25], что для любого неприводимого трехмерного многообразия Л-корень существует и единственен с точностью до изотопии.

Замечание 2. Пусть поверхность Р — компонента края многообразия М. Если Р несжимаема, то граничные окружности существенных дисков по ней не проходят. Поэтому поверхность Р сохраняется при переходе к Л-корню Я(М), следовательно, является компонентой $Я(М). Обратное также верно: если Р С дМ является компонентой края Л-корня Д(М), то Р несжимаема. Отметим, что многообразие получается из своего Л-корня добавлением нескольких трехмерных шаров и приклеиванием ручек индекса 1.

Определение 4. Пусть поверхность Р является компонентой края и многообразия М, а также его корня Д(М). Тогда Р называется свободной поверхностью многообразия М.

Выбор термина связан с тем, что при переходе от Л-корня к многообразию ручки к поверхности Р не приклеиваются, т. е. поверхность остается свободной. Напомним, если поверхность свободна, то она несжимаема.

Замечание 3. Характеристики с(Я(М)) и с1(Д(М)) Л-корня трехмерного многообразия М совпадают с соответствующими характеристиками самого трехмерного многообразия (так как разрезание по дискам не меняет этих характеристик [1, лемма 4.2.10]).

Пусть М — ориентируемое трехмерное многообразие, Я(М) — его Л-корень.

Определение 5. /-компонентой Л-корня Я(М) будем называть его компоненту связности вида О х / (прямое произведение поверхности на отрезок), где О — замкнутая ориентируемая поверхность, либо вида Ох/ (ориентируемое косое произведение поверхности на отрезок), где О — замкнутая неориентируемая поверхность. Поверхность О в обоих случаях называется базой /-компоненты.

Замечание 4. Пусть О/ — /-компонента Л-корня Д(М) многообразия М и Р С дО/ — одна из поверхностей ее края. Так как О/ С Д(М) и Д(М) С М, то Р С М. Возможны два случая: Р С дМ (такая поверхность является свободной) и Р С дМ.

Определение 6. /-числом многообразия М будем называть число /(М) =

3/+(М) + /+ (М) + /+(М) + 4/— (М) + 2/-(М), где /к(М) есть число /-компонент Л-корня многообразия М, имеющих ориентируемую (при е = +) или неориенти-руемую (при е = —) базу и к свободных поверхностей края.

Заметим, что общее число /-компонент /+ (М) + /+ (М) + /+ (М) + /— (М) + /—(М) корня Д(М) при разрезании многообразия по замкнутой существенной поверхности может увеличиться. Например, пусть О/ — /-компонента с ориентируемой базой О и без свободных поверхностей края и пусть поверхность Р С О/ (отметим, что тогда Р изотопна О, см. [3]). Разрежем многообразие М по поверхности Р. Компонента О/ разрушится, и вместо нее в Л-корне К(Мр) появятся две новые /-компоненты с ориентируемой базой О и одной свободной поверхностью края. Это мешает использованию общего числа /-компонент в качестве одного из параметров расширенной сложности. Вместо него мы берем /-число многообразия М. Коэффициенты в его определении подобраны так, чтобы при разрезании /-компоненты по замкнутой существенной поверхности оно всегда уменьшалось.

2. Расширенная сложность трехмерного многообразия и ее свойства

2.1. Определение

Пусть М — компактное ориентируемое трехмерное многообразие.

Определение 7. Расширенной сложностью неприводимого многообразия М называется с(М) = (с(М),С1(М),—д1(М),1(М),д^(дМ)), где с(М) — обычная сложность М,

с1(М) — минимальное число тройных окружностей, взятое по всем почти простым спайнам М с с(М) вершинами,

д/(М) — число свободных поверхностей в дМ, которые не лежат в /-компонентах Л-корня многообразия М,

/(М) — /-число многообразия М,

д(2)(дМ) = Е* д2(Р*), где д(Р*) —род компоненты С дМ, и суммирование

ведется по всем компонентам края дМ.

Наборы рассматриваются в лексикографическом порядке.

Определение 8. Пусть М = #П=1Мг#к(52 х Б1) — разложение компактного ориентируемого приводимого трехмерного многообразия М на примарные слагаемые, где слагаемые М* неприводимы. Тогда расширенной сложностью многообразия М будем называть сумму расширенных сложностей неприводимых сла-

П

гаемых его разложения с(М) = ^с(М^).

*=1

Расширенные сложности складываются покомпонентно.

Замечание 5. Пусть М1, М2 — произвольные компактные ориентируемые трехмерные многообразия. Тогда из определения расширенной сложности приводимого трехмерного многообразия следует, что с(М1^М2) = с^Мх) + с(М2).

2.2. Свойства аддитивности и конечности

Теорема 1. Для любых компактных ориентируемых трехмерных многообразий М1; М2 верно неравенство с(М1^ М2) > с(М]) + с(М2).

Доказательство. Пусть

с(М1) = (с(М1), с1(М1), —д/(М1), /(М1), д(2)(дМ1)),

с(М2) = (с(М2), С1 (М2), -&(М2), /(М2), д{2\дМ2))

— расширенные сложности многообразий М1 и М2 соответственно. Переход от граничной связной суммы к слагаемым реализуется разрезанием многообразия М1_^ М2 вдоль диска. Тогда с(М1_^ М2) = с(М1) + с(М2) и

с1(М1_^ М2) = с1(М1) + с1(М2) (см. [1, лемма 4.2.10]). Покажем, что не уве-

личиваются остальные компоненты расширенной сложности.

1. Покажем, что —д/(М1_^ М2) > —д/(М1) — д/(М2). При переходе от граничной связной суммы к слагаемым свободные компоненты д(М1_^ М2) остаются такими и в многообразиях М1 и М2. При этом если изначально свободная поверхность не лежала в /-компоненте, то и после разрезания она там не окажется. Поэтому д/(М1_^ М2) < д/(М1) + д/(М2). Следовательно, — д/(М1_^ М2) > -д1{М1) - 5/(М2), и с(МДМ2) > с(М\) +с(М2).

2. Покажем, что /(М1_^ М2) > /(М1)+/(М2). Разрезание по диску не меняет общего числа /-компонент, однако за счет выбора коэффициентов в определении /-числа многообразия получаем /(М1_^ М2) > /(М1) + /(М2). Следовательно, с(М1_ИМ2) > с(М\) + с(М2).

3. Пусть характеристики — д/(М1_^ М2) = — д/(М1) —д/(М2) и /(М1_^ М2) = /(М1) + /(М2). Покажем, что при переходе от граничной суммы к слагаемым не увеличивается последняя компонента расширенной сложности. Поверхность Р С д(М1_^ М2) граничной кривой диска разбивается на две поверхности: Р1 С М1 и Р2 С дМ2. Пусть д1 и д2 — род поверхностей Р1 и Р2 соответственно, тогда д1 +д2 — род компоненты Р края граничной связной суммы. Так как (д1 + д2)2 > д2 + д|, то

(д(М1^ М2)) > д^^дМх) + д^(дМ2). Следовательно, с(М!_1_1_ М2) > +

с(М2). □

Следствие 1.1. Если многообразие М' получено из многообразия М разрезанием ручки индекса 1, то с(М) > с(М').

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

Лемма 1. Для каждого целого набора (к1, к2, к3, к4, к5) существует только конечное число различных компактных ориентируемых неприводимых гранично

неприводимых трехмерных многообразий, которые имеют расширенную сложность (&і, к2, к3, к4, к5).

Доказательство. Пусть задан набор (кі, к2, к3, к4, к5). Заметим, что для недопустимого набора число многообразий равно 0. Пусть набор (к1, к2, к3, к4, к5) допустим.

1) Для набора (0,0,0,0,0) существует три компактных ориентируемых неприводимых гранично неприводимых связных трехмерных многообразия — Б3, ЯР3, £3.

2) (к1, к2, к3, к4, к5) = (0, 0, 0, 0, 0). Пусть дано многообразие М с расширенной сложностью с(М) = (к\, &2, &3, &4, к$). Пусть Р — минимальный неколлапси-руемый спайн многообразия М.

Покажем, что Р прост. Действительно, пусть в Р имеется одномерное ребро, тогда при утолщении этого ребра в многообразии М получим сжимающий диск. Так как многообразие гранично неприводимо, то граничная окружность этого диска на краю многообразия также ограничивает диск. Объединение этих дисков является сферой, ограничивающей шар, так как многообразие М неприводимо. Минимальным спайном шара является точка, поэтому одномерное ребро спайна соединяет простую часть спайна Р и точку, т. е. его можно сколлапсировать, что противоречит условию о неколлапсируемости спайна Р. Следовательно, спайн Р прост. Покажем, что по данному набору можно построить только конечное число простых спайнов. Числа к1,к2 задают соответственно число вершин и число окружностей особого графа минимального простого спайна многообразия. Число графов с заданными параметрами к1, к2 конечно. Простой спайн связного многообразия получается из особого графа приклеиванием к нему набора поверхностей с краем и добавлением замкнутых поверхностей.

1. Так как к каждой истинной вершине спайна подходит четыре 2-компоненты, а к каждой его тройной линии три, то число незамкнутых поверхностей, приклеиваемых к особому графу, не превышает числа 4к1 + 3к2.

2. Замкнутая поверхность при утолщении дает I-компоненту. Так как суммарное число I-компонент не превышает I-числа многообразия, то число замкнутых 2-компонент, добавляемых к особому графу, не превышает числа к4.

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

Из пунктов 1 — 3 следует, что число 2-компонент спайна Р конечно. Кроме того, поверхности к особому графу приклеиваются конечным числом способов. Поэтому число получаемых простых спайнов конечно.

Покажем, что простой спайн утолщается до ориентируемого многообразия конечным числом способов. Многообразие можно получить, приклеивая к

утолщенному особому графу утолщенные 2-компоненты. Особый граф можно утолстить единственным способом. Для получения ориентируемого многообразия 2-компоненты утолщаются также только одним способом (для ориентируемой поверхности нужно взять ее прямое произведение на отрезок, для неориентируе-мой — ориентируемое косое произведение на отрезок). Полученные утолщенные компоненты приклеиваются по кольцам к утолщенному особому графу. Осевые окружности колец склеиваются единственным образом, тогда сами кольца можно склеить двумя способами, поэтому число различных вариантов склейки утолщенных компонент конечно. Следовательно, простой спайн утолщается конечным числом способов и существует только конечное число различных компактных ориентируемых неприводимых гранично неприводимых трехмерных многообраЗИЙ, которые имеют расширенную СЛОЖНОСТЬ (&1, &2, &з, &4, &б). □

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

Доказательство. Для неприводимых гранично неприводимых многообразий утверждение доказано (см. лемму 1). Докажем утверждение для гранично приводимых многообразий. Пусть задан допустимый набор (к1, к2, к3, к4, к5) (если набор не является допустимым, то многообразий с данной расширенной сложностью не существует). Гранично приводимые многообразия получаются из гранично неприводимых приклеиванием к краю этих многообразий ручек индекса 1. Пусть (к1, к2, к3, к4, к5) — расширенные сложности гранично неприводимых слагаемых, п — число этих слагаемых. Тогда к1 = ^™=1 к^, к2 У,”=1 к2, но так как приклеивание ручки не уменьшает число несвободных поверхностей в крае и /-число многообразия, увеличивает сумму квадратов родов компонент края многообразия, то к3 > ^™=1 к3, к4 > ^™=1 к4 и к5 > ^™=1 к5. Для каждого набора (к1, к2, к3, к4, к5) существует конечное число разбиений на допустимые пятерки (к1, к2, к3, к4, к5), удовлетворяющие указанным неравенствам. По лемме 1 для каждого набора (к1, к2, к3, к4, к5) существует только конечное число компактных ориентируемых неприводимых гранично неприводимых трехмерных многообразий, следовательно, существует конечное число наборов неприводимых гранично неприводимых многообразий, из которых можно построить неприводимое многообразие со сложностью (к1, к2, к3, к4, к5). Так как приклеивание ручки увеличивает сумму квадратов родов компонент края многообразия, которая равна к5, то ручек приклеивается конечное число. При приклеивании ручки важна только компонента края, к которой приклеивается ручка, число компонент края конечно, поэтому число вариантов приклейки ручек конечно. Следовательно, число гранично приводимых многообразий, полученных приклеиванием ручек, конечно.

Итак, существует только конечное число компактных ориентируемых неприводимых трехмерных многообразий с расширенной сложностью (к1,к2,к3,к4,к5). □

2.3. Многообразия малой расширенной сложности

В этом разделе мы опишем многообразия сложности (0, 0, k3, k4, k5), где k3 G Z, k4, k5 G N.

1) Многообразиями сложности (0, 0, 0, 0, 0) являются многообразия S3, RP3, D3 и S2 х I (как связная сумма двух шаров) и RP2х I.

2) Многообразиями сложности (0, 0, 0, 0, g2) являются полные крендели рода

g.

3) Многообразиями сложности (0, 0, 0,1, 2g2) являются I-расслоения над замкнутой ориентируемой поверхностью рода g, где g > 1.

4) Многообразиями сложности (0, 0, 0, 2, (n —1)2) являются I-расслоения над замкнутой поверхностью, являющейся связной суммой n проективных плоскостей, n > 1.

5) Многообразия, имеющие расширенную сложность (0, 0, 0, k4, k5) и не принадлежащие семействам 1 — 4, являются связными или граничными связными суммами многообразий семейств 1 — 4.

Так как семейства 1 — 5 перечисляют все многообразия, спайны которых не имеют истинных вершин и тройных окружностей (т. е. первые две компоненты расширенной сложности равны 0), то других многообразий сложности (0, 0, k3, k4, k5), где k3 G Z, k4, k5 G N, нет.

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

1. Matveev, S. Algorithmic Topology and Classification of 3-Manifolds / S. Matveev.— Berlin ; Heidelberg : Springer-Verlag, 2003.

2. Hog-Angeloni, C. Roots of 3-manifolds and cobordisms / C. Hog-Angeloni, S. Matveev // Geometry&Topology.— 2007 (accepted for publication).

3. Шатных, О. Н. Расширение сложности трехмерных многообразий / О. Н. Шатных // Проблемы теоретической и прикладной математики : тр. 38-й регион. мо-лодеж. конф.— Екатеринбург : Изд-во УрО РАН, 2007.— C. 80—84.