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

Шатных, Олеся Николаевна

Расширенная сложность трехмерных многообразий тема автореферата и диссертации по математике, 01.01.04 ВАК РФ

Шатных, Олеся Николаевна АВТОР

кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ

Челябинск МЕСТО ЗАЩИТЫ

2009 ГОД ЗАЩИТЫ

01.01.04 КОД ВАК РФ

Диссертация по математике на тему «Расширенная сложность трехмерных многообразий»

Автореферат диссертации на тему "Расширенная сложность трехмерных многообразий"

На правах рукописи

УДК 515.16

Шатных Олеся Николаевна

РАСШИРЕННАЯ СЛОЖНОСТЬ ТРЕХМЕРНЫХ МНОГООБРАЗИЙ

01.01.04 — геометрия и топология

АВТОРЕФЕРАТ

003469141

диссертации на соискание ученой степени кандидата физико-математических наук

Екатеринбург — 2009

1 4 МАЙ 2и09

003469141

Работа выполнена на кафедре компьютерной топологии и алгебры Челябинского государственного университета.

Научный руководитель: член-корреспондент РАН,

доктор физико-математических наук, профессор С. В. Матвеев

Официальные оппоненты: член-корреспондент РАН,

доктор физико-математических наук, А. Ю. Веснин

Ведущая организация: Санкт-Петербургский государственный

Защита диссертации состоится 2 июня 2009 года в на заседании

диссертационного совета Д 004.006.03 в'Институте математики и механики УрО РАН по адресу:

620219, г. Екатеринбург, ул. С. Ковалевской, 16.

С диссертацией можно ознакомиться в библиотеке Института математики и механики УрО РАН.

Автореферат разослан <$3 апреля 2009 г.

Ученый секретарь диссертационного совета,

кандидат физико-математических наук, М. Ф. Прохорова

университет

доктор физ.-мат. наук

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ 1

Актуальность темы

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

1. Свойство монотонности. При разрезании многообразия по существенной поверхности сложность многобразия строго уменьшается.

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

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

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

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

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

!РаГюта пынолшяш при 1ш,ущ>жк1) РФФИ (грамт № 08-01-00102)

2 Waldhausen, F. On irreducible 3-manifolds which are sufficiently large. // Ann. Math. 19S7. V. 87, N 1. P. 56-88.

чае, гомотопической и топологической). Например, недавно решенная трехмерная гипотеза Пуанкаре3 относится именно к этому классу.

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

Рассмотрим разбиение трехмерного многообразия на ручки. Напомним, что ручки индексов 0, 1, 2 называют, соответственно, шарами, балками и плитками.

Определим сложность разбиения4. Пусть В — некоторая балка разбиения и пусть S — число плиток, примыкающих к В. Обозначим 6" = max(J - 2,0), 6' = max(£ - 1,0) и определим числа х и V как X = ^ <5"> 1) — Е ô', где суммирование ведется по всем балкам разбиения. Пусть теперь е — число компонент пересечения некоторого шара разбиения с объединением балок и плиток разбиения. Тогда £ = £(е — 1), где сумма берется по всем шарам данного разбиения. Таким образом, каждому разбиению трехмерного многообразия на ручки можно поставить в соответствие тройку (х, г], С) неотрицательных чисел, которые, рассматриваемые в лексикографическом порядке, дают сложность Вальдхаузена данного разбиения.

Обозначим через Мр многообразие, полученное из многообразия M разрезанием вдоль собственной нормальной поверхности F. Эта поверхность разбивает каждую ручку на несколько ручек того же индекса, поэтому Mf обладает естественным разбиением на ручки, сложность которого мы обозначим через {x'iV'iO- Вальдхаузен доказал, что в любом неприводимом многообразии с краем найдется собственная существенная поверхность, при разрезании по которой сложность строго уменьшается, т.е. (х', Vi С) < (Xi Vi С)- Нужно отметить следующее.

1. При разрезаиии по замкнутой существенной поверхности сложность Вальдхаузена может увеличиться (за счет увеличения параметра т] при сохранении параметра

2. Вальдхаузен доказал уменьшение сложности не для любой существенной поверхности с краем. Он доказал только существование поверхности,

3 Morgan, J., Tian, G. Ricci flow and the Poincare conjecture.// Clay Math. Monographs. 2007. V. 3. P. 521.

4 WaJdhausen, F. On irreducible 3-manifolds which are sufficiently large. // Ann. Math. 1987. V. 87, N 1. P. 56-88.

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

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

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

Приведем другой пример такой характеристики.

длина многообразия. Эта характеристика использовалась еще В. Хакеном. Мы будем следовать работе В. Джейко5. Пусть М — компактное трехмерное многообразие. Частичной иерархией для многообразия М называется конечная или бесконечная последовательность пар (Mi, F\), ... , (М„, Fn),..., где Mi = М, и Fn есть двусторонняя, несжимаемая, не параллельная краю поверхность в М„, и Мп+\ — многообразие, полученное из многообразия Мп разрезанием по поверхности Fn. Если все поверхности Fn гранично несжимаемы и отличны от диска, то длина (число используемых поверхностей) любой частичной иерархии конечна. Поэтому можно определить длину и(М) многообразия М как максимально возможную длину таких иерархий. Справедливость свойства 1 (см. стр. 2 автореферата) для такой сложности сразу следует из определения, но только для случая, когда используемые поверхности отличны от диска. Поэтому его можно использовать для индуктивных доказательств. Свойство 2 здесь не выполняется. Например, все многообразия Столлингса со слоем тор имеют длину 2, а их — бесконечное число.

камерная сложность. Эта сложность, представляющая собой упорядоченную семерку чисел, была введена С.В.Матвеевым6 для доказательства теоремы классификации достаточно больших многообразий. Там же доказано, что эта сложность строго уменьшается при так называемых расширяющих преобразованиях, каждое из которых состоит во вставке существенной поверхности-перегородки в одну из камер. Вставка поверхности в камеру Q фактически означает, что мы разрезаем Q по этой поверхности. Таким образом, строгое уменьшение сложности было фактически до-

5Jaco, W. Lectures on three-manifold topology. // Regional conference series in mathematics. 1977. N 43

6 Матвеев, С. В. Алгоритмическая топология и классификация трехмерных многообразий. М.: МЦ-НМО. 2007.

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

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

сложность хегора. Напомним, что разбиением Хегора замкнутого трехмерного многообразия М называется его представление в виде объединения двух лежащих в нем полных кренделей с общим краем (но без общих внутренних точек). Родом разбиения Хегора называется род кренделей разбиения. Известно, что любое замкнутое ориентируемое многообразие допускает разбиение Хегора некоторого рода7. Говорят, что род Хегора замкнутого ориентируемого трехмерного многообразия М равен д, если М допускает разбиение Хегора рода д и не допускает разбиений Хегора меньшего рода. Считается, что чем больше род, тем многообразие сложнее (в неформальном смысле этого слова). Во всяком случае, все многообразия рода 1 классифицированы (это линзовые пространства), а многообразия рода 2 — пока нет. Род Хегора аддитивен по отношению к связному суммированию трехмерных многообразий, но для всех д > 1 число различных многообразий рода Хегора д бесконечно. Поэтому свойства конечности здесь нет, а о свойстве монотонности говорить не приходится, поскольку при разрезании многообразия по поверхности оно перестает быть замкнутым (так как появляется край).

Диаграммная сложность Хегора. Пусть Н и Я' = М — разбиение Хегора замкнутого многообразия М рода д, Р = дН — дН' — общая поверхность рода д кренделей, и = {г^,..., ид} — система меридианов кренделя Н и V = {«ь ..., г>5} — система меридианов кренделя Н'. Тогда тройка (Р, и, у) называется диаграммой Хегора многообразия М. Диаграммной сложностью Хегора с9(М) многообразия М называется минимальное число точек пересечения меридианов системы и с меридианами системы у, где минимум берется по всем возможным диаграммам Хегора рода д8. Так как сд{М) строится по разбиению Хегора, то диаграммная сложность Хегора определяется только для замкнутых многообразий. Можно доказать, что для любого числа п > О число различных многообразий рода д со сложно-

7 Матвеев. С. В.. Фоменко, А.Т. Алгоритмические и компьютерные методы в трехмерной топологии. М: Изд-во МГУ. 1991., Фоменко, А.Т. Наглядная геометрия и топология. М: Изд-во МГУ. 1992.

в Матвеев, С. В., Таркаев, В. В. Компьютерная классификация расширенных диаграмм Хегора. // Востник Челябинского госуниверситета. Серия "Математика. Механика. Информатика". Челябинск: Челяб. гос. ун-т, 2003. № 2. С. 146-152.

стью сд = п конечно. Поэтому свойство конечности выполнено.

Кристаллизационная сложность. Это понятие было введено итальянскими математиками9 на языке теории графов. Геммой называется граф Г, все вершины которого имеют валентность четыре, а ребра раскрашены четырьмя цветами так, чтобы в каждой вершине сходились четыре разноцветных ребра. По каждой гемме можно построить двумерный полиэдр Р, который получается приклеиванием к этому графу 2-клеток по всем двуцветным циклам. Можно доказать, что Р всегда утолщается до трехмерного многообразия М с краем, причем любое многообразие с краем можно получить указанным способом. При выполнении некоторых дополнительных условий граф Г называется кристаллизацией многообраг зия М. Кристаллизационная сложность многообразия М по определению равна минимальному числу вершин задающих его кристаллизаций.- Свойство конечности для такой сложности выполнено по очевидным причинам. Однако, поведение кристаллизационной сложности при разрезаниях по поверхностям достаточно сложно, причем свойства монотонности нет.

СЛОЖНОСТЬ с(М). Эта сложность была введена С.В. Матвеевым на основе построенной им теории спайнов10. Напомним, что полиэдр Р С М называется спайном многообразия М с краем, если М \ Р гомеоморфно дМ х (0,1]. Полиэдр Р называется спайном замкнутого многообразия М, если Р является спайном многообразия М \ IntDs, где IntD3 — открытый трехмерный шар в М .

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

Почти простой полиэдр получается из простого добавлением графа, валентности вершин которого не меньше двух, и приклеиванием к компонентам связности дуг по обоим концам. Спайн Р трехмерного многообразия

0 Bandied, P., Casali, M.R., Gagliaidi, С. Representing manifolds by crystallization theory: foundations, improvements and related results. // Atti Sem. Mat. Fis. Univ. Modena 2001. V. 49. P. 283-337., Ferri, M.. Gagliaidi, C., Grasselli, L. A gTaph-theorelieal representation of PL-manifolds. A survey on crystallizations. // Aequationes Matli. 1986. V. 31. P. 121-141.

111 Матвеев, С. В. Сложность геометрических многообразий. // Сборник научных трудов "Некоторые вопросы анализа и дифференциальной топологии". Институт математики АН УССР. 1988. С. 48-55. или Фоменко, А.Т. Наглядная геометрия и топология. М: Изд-во МГУ. 1902.

М называется специальным, простым или почти простым, если он является специальным, простым или почти простым полиэдром соответственно.

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

1. Свойство монотонности. При разрезании многообразия по существенной поверхности его сложность не увеличивается.

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

. многообразий с краем, которые не содержат существенных колец.

Более того, если многообразие замкнуто и не содержит проективных плоскостей, а поверхность отлична от сферы, то при разрезании по ней сложность многообразия строго уменьшается. Однако, она может сохраняться при разрезании многообразия с краем по по поверхности с краем. Чтобы исправить этот недостаток был предложен модифицированный вариант сложности12. Расширенной сложностью с(М) многообразия М называется тройка чисел (c(M),ci(M),c2(M)), где с(М) — обычная сложность многообразия М, С\(М) — минимальное число тройных окружное/гей, взятое по всем почти простым спайнам многообразия М с с(М) вершинами, и сг(М) — минимальное число 2-компонент, взятое по всем почти простым спайнам многообразия М, имеющим с(М) вершин и cj(M) тройных окружностей. Там же доказано, что если поверхность F с краем существенна и отлична от диска, то с(Мр) < с(М) (напомним, что через Мр обозначено многообразие, полученное из многообразия М разрезанием вдоль собственной поверхности F).

Условие dF ф 0 является существенным. В работе [1| мы иоказали, что при разрезании многообразия по замкнутой поверхности данная расширенная сложность может увеличиться, что ограничивает применение данного инварианта.

" Матисон. С. 13. Сложность тшетричоских многообразий. // Сборник научных трудом "Некоторые вопросы анализа и дифференциальной топологии". Институт математики АН УССР. 1988. С. 4855.. Malvecv, S. Complexity theory of I huxwlimeiii mnal manifolds. // Acta AppHcaiulao Math. 1990. V. 19. P. 101-130. нлн Матвеев, С. В. Алгоритмическая топология и классификация трехмерных многообразий. М.: МЦНМО. 2007.

'^Матвеев, С. В. Алгоритмическая топология и классификация трехмерных многообразий. М.: МЦНМО. 2007.

Цель работы

Дать определение новой расширенной сложности с(М) трехмерного многообразия М, которая принимает значения в некотором вполне упорядоченном множестве и обладает следующим ключевым свойством: при разрезании многообразия М по несжимаемой гранично несжимаемой поверхности F она строго уменьшается, т.е. с(Мр) < с(М). Исследовать свойства построенного расширения.

Основные методы исследования

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

Научная новизна работы

Основной результат диссертации является новым и заключается в следующем. .

Построено новое понятие сложности ориентируемых неприводимых трехмерных многообразий. Такая сложность многообразия представляет собой упорядоченную пятерку чисел (к\, к^ кз, ki, к^) составленную из различных инвариантов многообразия. Число совпадает с обычной сложностью с(М), поэтому введенная сложность называется расширенной. Числа к{ удовлетворяют следующим условиям: > 0 для всех i / 3 и ^ > -(4fci + 3кг). Доказано, что расширенная сложность удовлетворяет свойству монотонности: при разрезании ориентируемого неприводимого трехмерного многообразия по существенной поверхности его сложность строго уменьшается. См. теорему 2.1 ниже.

Из этого результата вытекают два важных следствия.

1. Процесс последовательного разрезания ориентируемого неприводимого трехмерного многообразия по существенным поверхностям конечен. См. теорему 2.2 ниже.

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

;'\1аго, W. Lectures on three-manifold topology. // Regional conference series in mathematics. 1977. N 43, теорема IV.7

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

2. Построенная сложность обладает свойством конечности, т.е. для каждого целого набора (к^, к-2, кц, к5) существует только конечное число различных компактных ориентируемых неприводимых трехмерных многообразий, которые имеют расширенную сложность См. теорему 2.3 ниже.

Практическая и теоретическая ценность

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

Апробация результатов

■ Изложенные в диссертации результаты работы были представлены в качестве докладов на Международной школе-конференции "Геометрия и топология 3-многообразнй" (Новосибирск, 22-27 августа 2005 г.), Всероссийской научной конференции "Математика. Механика. Информатика", посвященной 30-летию ЧелГУ (Челябинск, 19-22 сентября 2006 г.), 38-й Региональной молодежной конференции "Проблемы теоретической и прикладной математики" (Екатеринбург, 29 января - 2 февраля 2007 г.), Российской конференции "Математика в современном мире", посвященной 50-летию Института математики им. С. Л. Соболева СО РАН (Новосибирск, 1723 сентября 2007 г.), Международной конференции "Дифференциальные уравнения. Функциональные пространства. Теория приближений", посвященная 100-летию со дня рождения С.Л.Соболева (Новосибирск, 5-12 октября 2008 г.).

Публикации

Основные результаты диссертации опубликованы в шести работах, список которых приведен в конце автореферата.

Структура диссертации

Текст диссертации состоит из введения, двух глав, списка литературы, включающего 26 наименований, Общий объем диссертации составляет 87 страниц.

СОДЕРЖАНИЕ ДИССЕРТАЦИИ

Во введении описана предыстория и актуальность темы диссертации, определены цели работы, введены основные понятия, кратко изложено содержание диссертации.

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

В параграфе 1.1 дано определение сложности многообразия, и приведены некоторые свойства этой характеристики. Кроме того, здесь дано определение существенной поверхности в трехмерном многообразии.

Параграф 1.2 посвящен понятию корня трехмерного многообразия и связанным с ним понятием свободной поверхности многообразия. Напомним, что S-преобразованием (сжатием вдоль 2-сферы) многообразия М называется разрезание М вдоль сферы S и заклеивание двух появившиеся на крае сфер двумя шарами, D-преобразованием (сжатием вдоль диска) — разрезание М по собственному диску D. Если сфера или диск являются существенными, то и соответствующие преобразования также называются существенными. Многообразие М" называется (S, D)-корнем трехмерного многообразия М, если выполняются следующие условия:

1) М" получено из многообразия М с помощью существенных S- и D-преобразований;

2) М" больше не допускает существенных S- и ^-преобразований.

Для любого компактного трехмерного многообразия М его (S, Д)-корень

существует и единственен с точностью до гомеоморфизма и отбрасывания компонент, гомеоморфных трехмерной сфере или шару14. Мы при построении (5, £>)-корня многообразия будем сразу отбрасывать компоненты, го-меоморфные сфере S3 или шару D3.

Пусть М — компактное ориентируемое трехмерное многообразие, R(M) — его (S, £>)-корень. Если поверхность F лежит в дМ и в dR(M), то F будем называть свободной поверхностью многообразия М.

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

14 Hog-Angeloni, С., Matveev, S. Roots in 3-manifold topology. // Geometry&Topology Monographs. 2008. V.14. P. 295-320.

знаком минус, является одной из компонент расширенной сложности.

Основные факты теории нормальных поверхностей в многообразиях, разбитых на ручки, приведены в параграфе 1.3.

В параграфах 1.4 и 1.5 определяются соответственно понятия /-компоненты и /-числа многообразия и исследуются свойства этих объектов. I-компонентой (S, £>)-корня R(M) ориентируемого многообразия М будем называть его компоненту связности вида G х / (прямое произведение поверхности на отрезок), где G — замкнутая ориентируемая поверхность либо вида Gx.1 (ориентируемое косое произведение поверхности на отрезок), где G — замкнутая неориентируемая поверхность. Поверхность G в обоих случаях называется базой /-компоненты.

Пусть G[ — /-компонента многообразия М, и F С OGi — одна из поверхностей ее края. Возможны два случая: F С дМ (такая поверхность будет свободной) и F <£. дМ.

В соответствии с типом базы G и числом свободных поверхностей края можно выделить пять типов /-компонент:

1) с ориентируемой базой G и без свободных поверхностей края;

2) с ориентируемой базой G и одной свободной поверхностью края;

3) с ориентируемой базой G и двумя свободными поверхностями края;

4) с неориентируемой базой G и без свободных поверхностей края;

5) с неориентируемой базой G и свободной поверхностью края.

I-числом многообразия М будем называть число

/(М) = 3/0+(М) + 1+{М) + /2+(М) + 4/0~(М) + 2/f(M), где Ц(М) есть число /-компонент (S, £>)-корня многообразия М, имеющих ориентируемую (при б = +) или неориентируемую (при е = —) базу и к свободных поверхностей края.

Коэффициенты в определении /-числа подобраны так, чтобы при разрезании /-компоненты по замкнутой существенной поверхности оно всегда уменьшалось.

Исследованию характеристики края многообразия посвящен параграф 1.6. Пусть Fi С дМ — компоненты края многообразия М, g{Fi) — род компоненты Fi. Рассмотрим число g^2\dM) = £j 92{Fi), где суммирование ведется по всем компонентам дМ1Ь. В теореме 1.5 доказывается, что при разрезании многообразия по диску данная характеристика строго уменьшается.

Наконец, в параграфе 1.7 дано определение расширенной сложности ориентируемых трехмерных многообразий и рассмотрены некоторые серии

!!i Hog-Angeloni, С., Matveov, S. Roots in 3-manifold topology. // Geometry^;Topology Monographs. 2008. V.14. P. 295-320.

неприводимых многообразий, имеющих расширенную сложность (0,0,0, £5), где к*, к5 е N.

Расширенной сложностью компактного ориентируемого трехмерного многообразия М называется пятерка с{М) = (е(М),С1(М), — 3/(М), /(М), где

с (Л/) — обычная сложность многообразия М,

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

д\{М) — число свободных поверхностей в дМ, которые не лежат в I-компонентах (5, Г>)-корня многообразия М,

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

д^(дМ) — где д(^) — род компоненты Г, С 5М, и суммиро-

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

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

Например, й3 имеет расширенную сложность (0,0,0,0,0), а /-расслоения над замкнутой поверхностью Р — (0,0,0,2, (п— I)2), если Р — связная сумма п проективных плоскостей, и (0,0,0,1,2<72), если Р — ориентируемая поверхность рода д.

Глава 2 посвящена исследованию свойств построенной расширенной сложности.

Результатом параграфа 2.1 и основным результатом диссертации является

Теорема 2.1. Пусть Р — связная существенная поверхность в ориентируемом неприводимом трехмерном многообразии М, каждая компонента связности которого отлична от проективного пространства ЯР3. Тогда с(Мр)<с(М).

В параграфе 2.2 мы доказываем следствие теоремы 2.1.

Теорема 2.2. Процесс последовательного разрезания ориентируемого неприводимого трехмерного многообразия по существенным поверхностям конечен.

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

верхности мы опять получим неприводимое многообразие16.

Параграф 2.3 посвящен доказательству второго следствия из основного результата диссертации — свойства конечности расширенной сложности:

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

Благодарности

Автор выражает глубокую признательность своему научному руководителю профессору Сергею Владимировичу Матвееву за постановку задачи и всестороннюю поддержку. Автор благодарит весь коллектив кафедры компьютерной топологии и алгебры Челябинского государственного университета за создание творческой обстановки.

Работы автора по теме диссертации

1. Shatnykh, О. The extended complexity of three-manifolds. // Siberian Electronic Mathematical Reports. 2005. V. 2. C. 194-195.

2. Шатных, О. H. Расширенная сложность трехмерных многобразий. // Тез. докл. Всерос. науч. конф. «Математика. Механика. Информатика:*. Челябинск: Челяб. гос. ун-т. 2006. С. 152.

3. Шатных, О. Н. Расширение сложности трехмерных многообразий. // ПРОБЛЕМЫ ТЕОРЕТИЧЕСКОЙ И ПРИКЛАДНОЙ МАТЕМАТИКИ: Труды 38-й Региональной молодежной конференции. Екатеринбург: УрО РАН, 2007. С. 80-84.

4. Шатных, О. Н. Поведение векторной сложности трехмерных многообразий при разрезании по поверхности. // Тез. докл. конф. «Математика в современном мире», посвященной 50-летию Ин-та математики им. С. Л. Соболева СО РАН. Новосибирск: Ин-т математики им. С. Л. Соболева СО РАН. 2007. С. 109-110.

5. Шатных, О. Н. Поведение расширенной сложности неприводимых трехмерных многообразий. // Сибирский математический журнал. 2008. Том 49, №3. С. 698-706.

1(1Матвеев, С. В., Фоменко, А.Т. Алгоритмические и компьютерные методы в трехмерной топологии. М: Изд-во МГУ. 1901.

6. Шатных, О. Н. Некоторые свойства расширенной сложности трехмерных многообразий. // Вестник Челябинского госуниверситета. Серия "Математика. Механика. Информатика". Челябинск: Челяб. гос. ун-т, 2008. № 6. С. 114-120.

Подписано в печать 22.04.2009 Формат Бумага

Печать _Тираж 100 Заказ 98

Редакционно-издательский центр КГУ 640000,г. Курган, ул. Гоголя, 25

Содержание диссертации автор исследовательской работы: кандидата физико-математических наук, Шатных, Олеся Николаевна

Введение

1 Определение расширенной сложности трехмерных многообразий

1.1 Спайны и сложность трехмерных многообразий.

1.2 Корни и свободные поверхности в трехмерных многообразиях.

1.3 Нормальные поверхности в разбиениях на ручки

1.3.1 Разбиения на ручки.

1.3.2 Нормальные поверхности в разбиениях на ручки

1.4 /-компоненты трехмерного многообразия

1.5 /-число трехмерных многообразий.

1.6 Характеристика края трехмерного многообразия.

1.7 Определение расширенной сложности трехмерных многообразий.

1.7.1 Определение расширенной сложности.

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

2 Свойства расширенной сложности

2.1 Поведение расширенной сложности трехмерных многообразий при разрезании по существенной поверхности.

2.2 Конечность процесса разрезания трехмерного многообразия по существенной поверхности.

2.3 Свойство конечности.

Введение диссертация по математике, на тему "Расширенная сложность трехмерных многообразий"

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

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

Сложность В ал ьдхаузена.Впервые такой метод был применен Ф.Вальдхаузеном ( [20]). Он использовал ее для доказательства того, что любая гомотопическая эквивалентность достаточно больших многообразий деформируется (с помощью гомотопии) в гомеоморфизм. Этот результат весьма замечателен, поскольку он относится к чрезвычайно важному классу утверждений, устанавливающих связь между понятиями различных категорий (в данном случае, гомотопической и топологической). Например, недавно решенная трехмерная гипотеза Пуанкаре ( [19] ) относится именно к этому классу.

Рассмотрим разбиение трехмерного многообразия на ручки ( [8,20]). Напомним, что ручки индексов 0, 1, 2 называют, соответственно, шарами, балками и плитками.

Рис. 1: Разбиение на ручки

Определим сложность разбиения ( [20|). Пусть В — некоторая балка разбиения и пусть 6 — число плиток, примыкающих к В. Обозначим 6" = тах{5 — 2,0), 5' = тах(5 — 1,0) и определим числа х и V как X — ^ б", ?? = £<*', где суммирование ведется по всем балкам разбиения. Пусть теперь е — число компонент пересечения некоторого шара разбиения с объединением балок и плиток разбиения. Тогда £ — £(е — 1), где сумма берется по всем шарам данного разбиения. Таким образом, каждому разбиению трехмерного многообразия на ручки можно поставить в соответствие тройку Г), С) неотрицательных чисел, которые, рассматриваемые в лексикографическом порядке, дают сложность Вальдхаузена данного разбиения.

Обозначим через Мр многообразие, полученное из многообразия Ы разрезанием вдоль собственной нормальной поверхности Р. Эта поверхность разбивает каждую ручку на несколько ручек того же индекса, поэтому Мр обладает естественным разбиением на ручки, сложность которого мы обозначим через (х'^'Х')- Вальдхаузеи доказал, что в любом многообразии с краем найдется собственная существенная поверхность, при разрезании по которой сложность строго уменьшается, т.е. (х'з 7?/) С) < (х^О- Нужно отметить следующее.

1. При разрезании по замкнутой существенной поверхности сложность Вальдхаузепа может увеличиться (за счет увеличения параметра 77 при сохранении параметра

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

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

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

Приведем другой пример такой характеристики. длина многообразия. Эта характеристика использовалась еще В. Хакеном. Мы будем следовать работе В. Джейко ( [14]). Пусть М — компактное трехмерное многообразие. Частичной иерархией для многообразия М называется конечная или бесконечная последовательность пар (Mb.Fi), • • •, (М„, .где М\ = М, и Еп есть двусторонняя, несжимаемая, не параллельная краю поверхность в МП1 и

Mn+1 — многообразие, полученное из многообразия Мп разрезанием по поверхности Fn. Если все поверхности Fn гранично несжимаемы и отличны от диска, то длина (число используемых поверхностей) любой частичной иерархии конечна. Поэтому можно определить длину v(M) многобразия М как максимально возможную длину таких иерархий. Справедливость свойства 1 (см. стр. 4 диссертации) для такой сложности сразу следует из определения, но только для случая, когда используемые поверхности отличны от диска (чтобы учесть разрезания по дискам, нужно вводить дополнительную характеристику, например, число д^2\дМ), см. стр. 15). Поэтому его можно использовать для индуктивных доказательств. Свойство 2 здесь не выполняется. Например, все многообразия Столлингса со слоем тор имеют длину 2, а их — бесконечное число.

Камерная сложность. Эта сложность, представляющая собой упорядоченную семерку чисел (смотри [4], с. 271, определение 6.5.1), была введена С.В.Матвеевым для доказательства теоремы классификации достаточно больших многообразий. Там же доказано (предложение 6.5.2), что эта сложность строго уменьшается при так называемых расширяющих преобразованиях, каждое из которых состоит во вставке существенной поверхности-перегородки в одну из камер. Вставка поверхности в камеру Q означает, что Q разбивается на две новые камеры Q' и Q", т.е. операция вставки перегородки в камеру очень близка к разрезанию камеры по этой перегородке. Таким образом, строгое уменьшение сложности было фактически достигнуто, но только для очень специальных поверхностей. Наличие общей теоремы о строгом уменьшении для произвольных существенных поверхностей позволило бы существенно упростить доказательство теоремы классификации. Поэтому решение задачи построения расширенной сложности в настоящей диссертации является весьма полезным результатом.

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

Диаграммная сложность Хегора. Пусть НиН' = М разбиение Хегора замкнутого многообразия М, F — дН — дН' — общая поверхность рода g кренделей, и = {и\,.,ид} система меридианов кренделя Н, и v = {г>1, .,vg} — система меридианов кренделя Н'. Тогда тройка (F,u,v) называется диаграммой Хегора многообразия М. Диаграммной сложностью Хегора с9(М) многообразия M называется минимальное число точек пересечения меридианов системы и с меридианами системы v, где минимум берется по всем возможным диаграммам Хегора заданного рода ( [5]). Так как с9(М) строится по разбиению Хегора определенного рода, сложность Хегора определяется только для замкнутых многообразий. Можно доказать, что для любого числа п > 0 число различных многообразий рода g со сложностью cg = п конечно. Поэтому свойство конечности выполнено.

Кристаллизационная сложность. Это понятие было введено итальянскими математиками ( [10,11]) на языке теории графов. Гелшой называется граф Г, все вершины которого имеют валентность четыре, а ребра раскрашены четырьмя цветами так, чтобы в каждой вершине сходились четыре ребра разных цветов. По каждой гемме можно построить двумерный полиэдр Р, который получается приклеиванием к этому графу 2-клеток по всем двуцветным циклам. Можно доказать, что Р всегда утолщается до трехмерного многообразия M с краем, причем любое многообразие с краем можно получить указанным способом. При выполнении некоторых дополнительных условий граф Г называется кристаллизацией многообразия М. Кристаллизационная сложность многообразия M по определению равна минимальному числу вершин задающих его кристаллизаций. Свойство конечности для такой сложности выполнено по очевидным причинам. Однако, поведение кристаллизационной сложности при разрезаниях по поверхностям достаточно сложно, причем свойства монотонности нет. сложность с(м). Эта сложность была введена c.b. Матвеевым на основе построенной им теории спайнов ( [1,7,17]).

Напомним, что полиэдр Р С М называется спайном многообразия М с краем, если М\ Р гомеоморфно дМ х (0,1]. Полиэдр Р называется спайном замкнутого многообразия М, если Р является спайном многообразия М\/пШ3, где /пШ3 — открытый трехмерный шар в М.

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

Спайн Р трехмерного многообразия М называется специальным, простым или почти простым, если он является специальным, простым или почти простым полиэдром соответственно.

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

Более того, если многообразие замкнуто и не содержит проективных плоскостей, а поверхность отлична от сферы, то при разрезании по ней сложность многообразия строго уменьшается. Однако, она может сохраняться при разрезании по поверхностям с краем. Чтобы исправить этот недостаток, в работе [4] был предложен модифицированный вариант сложности. Расширенной сложностью с(М) многообразия М называется тройка чисел (с(М), с\{М), С2(М)), где с(М) — обычная сложность многообразия М, С\{М) — минимальное число тройных окружностей, взятое по всем почти простым спайнам многообразия М с с(М) вершинами, и Сг(М) — минимальное число 2-компонент, взятое по всем почти простым спайнам многообразия М, имеющим с(М) вершин и с\{М) тройных окружностей. Там же доказано, что если поверхность ^ с краем существенна и отлична от диска, то с(Мр) < с{М).

Условие дР ф 0 является существенным. В работе [21] мы показали, что при разрезании многообразия по замкнутой поверхности данная расширенная сложность может увеличиться, что ограничивает применение этого инварианта.

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

Пусть М —компактное ориентируемое трехмерное многообразие. Напомним, что с(М) и С\(М) обозначают, соответственно, число истинных вершин и число тройных окружностей минимального почти простого спайна многообразия М. Как показано в [4] , это пара чисел, рассматриваемая в лексикографическом порядке, неплохо отражает сложность многообразия в неформальном смысле этого термина. Однако, простые примеры показывают, что такая сложность при разрезании по существенной поверхности может сохраниться. Например, умножим тор с дырой прямо на окружность 5. Получим многообразие М, минимальным спайном которого будет прямое произведение тета-кривой на окружность, смотри рисунок 2.

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

Тогда с(М) = 0, а(М) = 2.

Рис. 2: Многообразие М и его спайн изведение Л*"2 — диска с двумя дырами на окружность. Минимальный спайн полученного многообразия Л/"2 х в также представляет собой прямое произведение тета-кривой на окружность, смотри рисунок 3.

Т.е. и в этом случае с(ЛГ2 х 5) — 0, х 3) = 2. Таким образом, при разрезании по существенной поверхности данная сложность сохраняется.

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

Пусть М — компактное ориентируемое трехмерное многообразие, Я(М) — его (5, £>)-коренъ, смотри [13]. Если поверхность Е лежит в дМ и ОЯ(М) одновременно, то Р будем называть свободной поверхностью многообразия М.

Многообразие ЩМ) в общем случае несвязно.

Определение 1.19.1-компонентой (5, £>)-кория ЩМ) многообразия М будем называть его компоненту связности вида Ох/ (прямое произведение поверхности на отрезок), где С — замкнутая ориентируемая поверхность либо вида (ориентируемое косое произведение поверхности на отрезок), где

Рис. 3: Многообразие И2 х 3 и его спайн

7 — замкнутая неориентируемая поверхность. Поверхность (7 в обоих случаях называется базой /-компоненты.

Первая характеристика, которую мы вводим, <Э/(М) равна числу свободных поверхностей края многообразия М, не лежащих в /-компонентах корня этого многообразия.

Вторая характеристика 1{М) зависит от числа и типов /компонент, которые можно выделить в соответствии с типом базы (7 и числом свободных поверхностей края /-компоненты. База /-компоненты может быть ориентируемой или неориенти-руемой поверхностью. В первом случае /-компонента может иметь две, одну или не иметь свободных поверхностей, во втором — одну свободную поверхность или ни одной.

Определение 1.20. I-числом ориентируемого трехмерного многообразия М будем называть число /(М) = 3/р~(М) + 1+{М) + 1}{М) + 4/о (М) + 2/1~(М), где

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

Третьей введенной характеристикой многообразия является число, зависящее от рода компонент его края. д&\дМ) = Ег- д2(Р{), где — род компоненты Р{ С дМ, и суммирование ведется по всем компонентам края дМ.

Определим расширенную сложность трехмерных многообразий.

Определение 1.21. Расширенной сложностью компактного ориентируемого трехмерного многообразия М называется пятерка с(М) = {с{М),с1{М),-д1{М),1{М),д{-2\дМ)).

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

Например, 53 имеет расширенную сложность (0, 0,0, 0,0), а /-расслоения над замкнутой поверхностью Р — (0,0, 0, 2, (п — I)2), если Р — связная сумма п проективных плоскостей, и (0,0, 0,1, 2с/2), если Р — ориентируемая поверхность рода д.

Основной результат диссертации можно сформулировать в следующем виде.

Доказательство этой теоремы основано на использовании метода нормальных поверхностей Хакена ( [12]). Сначала мы доказываем, что утверждение верно для нормальной поверхности, а затем показываем, что процедура нормализации поверхности Р (смотри, например, [4]) не меняет первых двух компонент расширенной сложности и не уменьшает остальные. Отсюда следует, что с(Мр) < с(М).

Из этой теоремы следуют два важных результата. Первым результатом является

Терема 2.2. Процесс последовательного разрезания ориентируемого неприводимого трехмерного многообразия по существенным поверхностям конечен.

Заметим, что данная теорема не является принципиально новым результатом. Например, теорема конечности Кпезера-Хакена (смотри, например, [14, Теорема 111.20]) ограничивает число разрезаний компактного ориентируемого многообразия по попарно непересекающимся существенным поверхностям.

Джейко в работе ( [14, Теорема 111.24]) обобщил эту теорему для произвольного компактного многообразия и несжимаемых поверхностей. Там же он доказал (Теорема IV.7), что последовательность разрезаний компактного трехмерного многообразия по двусторонним существенным поверхностям конечна. В отличие от приведенных результатов, мы не требуем, чтобы разрезающие поверхности попарно не пересекались или были двусторонними, хотя и ограничиваемся рассмотрением только ориентируемых неприводимых многообразий. Автор выражает искреннюю благодарность Марине Файвушевне Прохоровой за обзор этих результатов.

Полученные результаты позволяют использовать построенную расширенную сложность в качестве параметра индукции в индуктивных доказательствах, поскольку согласно [6] (Предложение 7.2), при разрезании неприводимого многообразия по существенной поверхности мы опять получим неприводимое многообразие.

Далее мы исследовали некоторые свойства расширенной сложности. Было установлено, что, как и обычная сложность, расширенная обладает свойством конечности. Этот результат является вторым следствием основной теремы.

Теорема 2.3. Для каждого целого набора (&!, /гз, к4, к$) существует только конечное число различных компактных ориентируемых неприводимых трехмерных многообразий, которые имеют расширенную сложность (к\, /сз, к4, к$).

Таким образом в диссертации получены следующие результаты: построено расширение сложности трехмерных многообразий (определение 1.21), которое всегда уменьшается при разрезании ориентируемого неприводимого многообразия по существенной поверхности (теорема 2.1); доказано, что процесс последовательного разрезания ориентируемого неприводимого трехмерного многообразия по существенным поверхностям конечен (теорема 2.2); доказано, что построенная сложность обладает свойством конечности (теорема 2.3).

Теперь изложим содержание диссертации по главам.

Список источников диссертации и автореферата по математике, кандидата физико-математических наук, Шатных, Олеся Николаевна, Челябинск

1. Матвеев, С. В. Сложность геометрических многообразий. // Сборник научных трудов "Некоторые вопросы анализа и дифференциальной топологии". Институт математики АН УССР. 1988. С. 48-55.

2. Матвеев, С. В. Алгоритм распознавания трехмерной сферы (по А. Томпсон). // Математический сборник. 1995. Т. 186. № 5. С. 69-84.

3. Матвеев, С. В. Распознавание и табулирование трехмерных многообразий. // Доклады Академии наук. 2005. Т. 400. № 1. С. 26-28.

4. Матвеев, С. В. Алгоритмическая топология и классификация трехмерных многообразий. М.: МЦНМО. 2007.

5. Матвеев, С. В., Таркаев, В. В. Компьютерная классификация расширенных диаграмм Хегора. // Вестник Челябинского госуниверситета. Серия "Математика. Механика. Информатика". Челябинск: Челяб. гос. ун-т, 2003. № 2. С. 146-152.

6. Matveev, S. Complexity theory of three-dimentional manifolds. // Acta Applicandae Math. 1990. V. 19. P. 101130.

7. Milnor, J. A unique decomposition theorem for 3-manifolds.// Amer. J. Math. 1962. V. 84. P. 1-7.

8. Morgan, J., Tian, G. Ricci flow and the Poincare conjecture.// Clay Math. Monographs. 2007. V. 3. P. 521.

9. Waldhausen, F. On irreducible 3-manifolds which are sufficiently large. // Ann. Math. 1968. V. 87, № 1. P. 56-88.Работы автора по теме диссертации

10. Shatnykh, О. The extended complexity of three-manifolds. // Siberian Electronic Mathematical Reports. 2005. V. 2. P. 194195.

11. Шатных, О. H. Расширенная сложность трехмерных многообразий. // Тез. докл. Всерос. науч. конф. «Математика. Механика. Информатика». Челябинск: Челяб. гос. ун-т. 2006. С. 152.

12. Шатных, О. Н. Расширение сложности трехмерных многообразий. // ПРОБЛЕМЫ ТЕОРЕТИЧЕСКОЙ И ПРИКЛАДНОЙ МАТЕМАТИКИ: Труды 38-й Региональной молодежной конференции. Екатеринбург: УрО РАН, 2007. С. 80-84.

13. Шатиых, О. Н. Поведение расширенной сложности неприводимых трехмерных многообразий. // Сибирский математический журнал. 2008. Т. 49, № 3. С. 698-706.

14. Шатных, О. Н. Некоторые свойства расширенной сложности трехмерных многообразий. // Вестник Челябинского госуниверситета. Серия "Математика. Механика. Информатика". Челябинск: Челяб. гос. ун-т, 2008. № 6. С. 114— 120.