WWW.OS.X-PDF.RU
БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА - Научные публикации
 


«КЛАССИФИКАЦИЯ ВИРТУАЛЬНЫХ УЗЛОВ РОДА 1 МАЛОЙ СЛОЖНОСТИ ...»

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

Акимова Алена Андреевна

КЛАССИФИКАЦИЯ ВИРТУАЛЬНЫХ

УЗЛОВ РОДА 1 МАЛОЙ СЛОЖНОСТИ

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

АВТОРЕФЕРАТ

диссертации на соискание ученой степени

кандидата физико–математических наук

Челябинск, 2015

Работа выполнена на кафедре математического и функционального анализа Федерального государственного бюджетного образовательного учреждения высшего профессионального образования Южно-Уральский государственный университет (национальный исследовательский университет).

Научный руководитель: Сергей Владимирович Матвеев член-корреспондент РАН, профессор, доктор физико–математических наук

Официальные оппоненты: Владимир Павлович Лексин доктор физико–математических наук, профессор кафедры математики и МПМД физико-математического факультета ГАОУ ВПО Московский государственный областной социально-гуманитарный институт Денис Петрович Ильютко кандидат физико–математических наук, доцент кафедры дифференциальной геометрии и приложений механико-математического факультета ФГБОУ ВО Московский государственный университет имени М.В.Ломоносова



Ведущая организация: Санкт-Петербургское отделение Математического института им. В.А. Стеклова РАН

Защита состоится 2015 г. в часов на заседании диссертационного совета Д 004.006.03 на базе ФГБУН Институт математики и механики им. Н. Н. Красовского УрО РАН (г. Екатеринбург, ул. С. Ковалевской, 16).

С диссертацией можно ознакомиться в библиотеке Института математики и механики УрО РАН и на сайте http:www.imm.uran.ru/C16/Diss/.

Автореферат разослан 2015 г.

Ученый секретарь И.Н. Белоусов диссертационного совета, кандидат физ.-мат. наук

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

Актуальность темы. Напомним, что классический узел представляет собой произвольную простую замкнутую кривую в трёхмерном пространстве R3.

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

Основные результаты классификации узлов в R3 получены П. Тэйтом, Д. Ролфсеном, Дж.Хосте, М. Фиселисвейтом, Дж.Виксом, Др. Бар-Натаном и др.

Тенденция к развитию теории узлов в трехмерных многообразиях, отличных от R3, наблюдающаяся в последние годы, привела к задаче классификации этих узлов. Полученные к настоящему моменту результаты представлены в работах Ю.В. Дроботухиной (узлы в проективном пространстве RP 3 ), Дж. Грина (виртуальные узлы)1, Б. Грабровсек и М. Мрокзковски (узлы в полном торе).

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

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

В настоящей диссертации роль инварианта, различающего узлы при классификации, играет обобщенный полином Кауффмана. Аналогичный инварианту, рассматриваемому в статье [1], он представляет собой продолжение на случай узлов в утолщенном торе T I полинома Кауффмана классических узлов.

Green, J. A table of virtual knots/J. Green// http://katlas.math.toronto.edu/wiki/Main_Page.

Kauman, L.H. Virtual knot theory/L.H. Kauman// Eur. J. Comb. - 1999. - V. 20, N.7. - pp. 663 691.

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

1. Составление таблицы всех абстрактных связных регулярных графов валентности 4 без петель, имеющих n 5 вершин.

2. Рассмотрение вложений указанных графов и графа одномерного остова октаэдра в тор T, дающих примарные проекции на торе T, соответственно, сложности n 5 и октаэдральные.

3. Доказательство различности всех построенных проекций.

Второй целью настоящей диссертации является классификация примарных виртуальных узлов рода 1 малой сложности: имеющих диаграммы с n 5 перекрестками и с n = 6 специального вида. Решаются следующие задачи.

1. Построение всех примарных диаграмм на торе T сложности n 5 и минимальных октаэдральных.

(a) Преобразование каждой примарной проекции в набор соответствующих ей диаграмм путем указания типов перекрестков.

(b) Группировка построенных диаграмм узлов по классам эквивалентности и доказательство примарности для каждого класса.





2. Преобразование полученных диаграмм на торе T в виртуальные диаграммы тех же узлов.

Научная новизна работы состоит в составлении таблиц малой сложности

• примарных проекций на торе T узлов в утолщенном торе T I,

• примарных диаграмм на торе T узлов в утолщенном торе T I,

• примарных виртуальных узлов рода 1 и в разработке ряда приемов

• построения проекций узлов в утолщенном торе T I,

• минимизации перебора диаграмм, соответствующих данной проекции.

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

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

Положения, выносимые на защиту.

1. Классификация примарных проекций узлов в T I, которые (a) или имеют n 5 перекрестков, (b) или являются вложением одномерного остова октаэдра в тор T.

2. Классификация примарных виртуальных узлов рода 1, минимальные виртуальные диаграммы которых (a) или имеют n 5 классических перекрестков, (b) или соответствуют проекциям, в которых ребра, соединяющие классические перекрестки, образуют одномерный остов октаэдра.

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

Основные результаты работы докладывались и обсуждались на следующих семинарах: в ЧелГУ на семинаре под руководством С.В. Матвеева, в МГУ на спецсеминаре Узлы и теория представлений под руководством В.О. Мантурова, Д.П. Ильютко и И.М. Никонова, в МГУ на семинаре Современные геометрические методы под руководством А.Т. Фоменко, в ИММ УрО РАН на семинаре отдела алгебры и топологии под руководством А.А. Махнева.

Результаты диссертации в качестве докладов были представлены на следующих международных конференциях: Современные проблемы математики и её приложений (Екатеринбург, 2012, 2013), Александровские чтения (Москва, 2012), Дни геометрии в Новосибирске (2013), Квантовая топология (Магнитогорск, 2014), Наука будущего (Санкт-Петербург, 2014), Квантовая и классическая топология трехмерных многообразий (Челябинск, 2015). Кроме того, на конференции аспирантов и докторантов ЮУрГУ (Челябинск, 2014).

Содержание работы отражено в публикациях [1] [10], в т.ч. в [1] [3] в журналах, включенных в перечень ВАК для кандидатских диссертаций.

В совместных работах соавтору принадлежат постановки задач и общая схема их исследования.

Структура и объем работы. Диссертация состоит из введения, двух глав, разбитых на параграфы, заключения, списка сокращений и условных обозначений, списка литературы из 43 наименований, приложения. Нумерация теорем, лемм и т.п. в каждой главе своя. Работа изложена на 77 страницах, снабжена 37 рисунками и 5 таблицами.

ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ

В главе 1 классифицируются примарные проекции узлов в утолщенном торе T I, которые или имеют n 5 перекрестков, или являются вложением одномерного остова октаэдра в тор T.

Утолщенным тором называется многообразие типа прямое произведение T I, где тор T = S 1 S 1 - прямое произведение двух экземпляров окружности S 1, а I - отрезок [0, 1]. Под узлом понимается произвольная простая замкнутая кривая, лежащая в утолщенном торе.

Узлы в утолщенном торе T I, как и классические узлы, могут быть представлены своими проекциями. Отличие в том, что узел проектируется не на плоскость, а на тор T, который принято изображать в виде квадрата с отождествленными противоположными сторонами. Под проекцией понимается регулярный граф G T валентности 4 такой, что прохождение графа G по правилу прямо вперед определяет обход, составленный из всех ребер графа G и отвечающий узлу. Две проекции G и G называются эквивалентными, если пары (T, G) и (T, G ) гомеоморфны.

Определение 1.1. Проекция узла G T называется составной, если выполнено по крайней мере одно из следующих условий.

1. Существует такой диск D2 T, что его край D2 пересекает ребра проекции G трансверсально в двух точках, и пересечение G D2 содержит вершины проекции G.

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

Будем говорить, что проекция G T допускает дестабилизацию, если дополнение к ней T \G содержит нетривиальную окружность.

Определение 1.2. Проекция G называется примарной, если она не составная и не допускает дестабилизаций.

В параграфе 1.1 при построении проекций узлов в утолщенном торе T I сложности n 5 рассматриваются вложения абстрактных связных регулярных графов валентности 4, имеющих n вершин, в тор T. Для построения примарных проекций достаточно рассмотреть вложения графов, не имеющих петель.

Лемма 1.1.

Существуют ровно 11 абстрактных связных регулярных графов валентности 4, имеющих не более 5 вершин и без петель.

Теорема 1.1.

Существуют ровно 47 различных примарных проекций на торе T, имеющих n 5 перекрестков, см. Рис. 1.

При доказательстве Теоремы 1.1 весьма полезным средством оказался прием устранения двуугольной грани проекции на торе T. Этот прием представляет собой аналог для кривых второго движения Рейдемейстера. В результате такого устранения сложность проекции (число ее перекрестков) уменьшается на 2.

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

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

Ручное перечисление примарных проекций сложности более 5 уже затруднительно их очень много. С другой стороны, некоторый задел в этом направлении необходим для дальнейших исследований. В параграфе 1.2 классифицируются примарные октаэдральные проекции узлов в T I, т.е. примарные проекции, являющиеся вложением одномерного остова октаэдра в тор T.

Теорема 1.2.

Существуют ровно 8 различных примарных октаэдральных проекций на торе T, см. Рис. 2.

При доказательстве Теоремы 1.2 весьма полезным оказался прием устранения трех треугольных граней проекции на торе T. Отсутствие дубликатов, как и раньше, доказывается с помощью сопоставления каждой проекции G ее f -вектора.

В главе 2 строятся все примарные узлы в утолщенном торе T I, которые имеют диаграммы или с n 5 перекрестками, или октаэдральные. Построение проводится в два этапа.

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

2. Группировка построенных диаграмм узлов по классам эквивалентности и доказательство примарности для каждого класса.

После этого полученные диаграммы на торе T узлов в утолщенном торе T I преобразуются в виртуальные диаграммы тех же узлов.

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

Узел K T I называется составным, если выполнено по крайней мере одно из следующих условий:

1. K является нетривиальной связной суммой узлов K1 T I и K2 S 3.

2. K является нетривиальной круговой связной суммой двух узлов в T I.

Определение 2.2. Узел K T I называется примарным, если он не составной и дополнение к нему T I\K не содержит кольца µ I T I, где µ T некоторая нетривиальная окружность на торе T.

Аналогично классическому случаю, узлы в утолщенном торе T I задаются своими диаграммами, т.е. проекциями на тор T с указанием типа каждого перекрестка, определяющего, какой из участков узла проходит выше другого в смысле величины координаты t I. При этом классические преобразования Рейдемейстера сохраняют свою роль: два узла в утолщенном торе T I изотопны тогда и только тогда, когда их диаграммы можно соединить последовательностью преобразований Рейдемейстера 1 3.

Две диаграммы D и D называются эквивалентными, если пары (T, D) и (T, D ) гомеоморфны, при этом дополнительно разрешается одновременная смена типов всех перекрестков на противоположные.

Диаграмма узла K T I называется минимальной, если её сложность (число перекрестков) не превосходит сложности любой диаграммы каждого узла, эквивалентного K. Диаграмма D T примарна, если она соответствует некоторому примарному узлу K T I.

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

В параграфе 2.1 каждая из проекций на торе T, построенная в главе 1 и имеющая n 6 перекрестков, преобразуется в набор из 2n диаграмм на T.

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

Точная формула следующая:

K = (a)3(K) a(s)(s) (a2 a2 )(s) x(s). (2.1) s Здесь (s) и (s) числа сглаживаний типов A и B в данном состоянии s, (s) и (s) числа тривиальных и нетривиальных окружностей наборе Ds, полученном на торе T в результате разрешения диаграммы согласно данному состоянию s, (K) число скручивания диаграммы. Сумма берется по всем состояниям s.

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

Прямые вычисления, проверенные программой Manifold Recognizer 3, показывают, что все обобщенные полиномы Кауффмана диаграмм узлов, изображенных на Рис. 3 и Рис. 4, различны. Поэтому соответствующие узлы в утолщенном торе T I также различны.

Замечание 2.2. Как и в классическом случае, такие преобразования диаграммы, как ее зеркальное отражение или одновременная смена типов всех ее перекрестков на противоположный, влечет замену переменной a a1 в обобщенном полиноме Кауффмана.

Tarkaev, V.V. Manifold Recognizer/V.V. Tarkaev// http://www.matlas.math.csu.ru/?page=recognizer.

В параграфе 2.3 доказывается примарность всех построенных узлов. Для этого, согласно Определению 2.2, достаточно показать, что каждый из них не эквивалентен некоторому узлу K, который либо является составным, либо имеет диаграмму, допускающую дестабилизацию по нетривиальной окружности µ.

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

Лемма 2.1.

Пусть узел K T I является связной суммой K = K1 #K2 узлов K1 T I и K2 S 3, тогда X(K) = X(K1 ) · X(K2 ).

Лемма 2.3.

Пусть узел K T I является круговой связной суммой X(K1 )·X(K2 ) K = K1 #K2 двух узлов в T I. Тогда X(K) =.

x Таким образом, обобщенный полином Кауффмана составного узла допускает разложение на произведение полиномов. Заметим, что это утверждение справедливо в рамках гипотезы, утверждающей, что (обобщенный) полином Кауффмана каждого нетривиального узла в T I или в S 3 является многочленом. В общем случае существование нетривиального узла, (обобщенный) полином Кауффмана которого является одночленом, не опровергнуто. Тем не менее, среди узлов в утолщенном торе T I до сложности 5 и в трехмерной сфере S 3 до сложности 16 таких примеров нет. Используя функцию Factor в пакете Mathematica, можно убедиться, что все узлы, за исключением семи, имеют неприводимые полиномы, а потому не могут быть составными.

Лемма 2.2.

Пусть узел K T I имеет диаграмму D T такую, что существует нетривиальная окружность µ T, пересекающая D трансверсально и ровно в одной точке. Тогда X(K) = P (a) · x.

Заметим, что любой узел K, являющийся нетривиальной круговой связной суммой двух узлов в T I, удовлетворяет условию Леммы 2.2, а потому его обобщенный полином Кауффмана имеет вид: X(K) = P (a) · x. Таким образом, узлы, полиномы которых имеют другой вид, не являются нетривиальной круговой связной суммой двух узлов в T I.

Рассмотрим более сильное обобщение полинома Кауффмана, вычисление которого также реализовано в программе3.

Точная формула следующая:

X(K) = (a)3(K) a(s)(s) (a2 a2 )(s) x(p, q)(s). (2.2) s Единственное отличие от представленного в параграфе 2.2 обобщенного полинома Кауффмана X(K) (2.1) состоит в том, что теперь нетривиальные окружности рассматриваются с точностью до изотопии на торе T. Здесь множитель x(p, q) соответствует нетривиальной окружности типа (p, q) на торе T, делающей p оборотов вокруг параллели и q оборотов вокруг меридиана тора T, а (s) число таких нетривиальных окружностей в наборе Ds, полученном на торе T в результате разрешения диаграммы D согласно состоянию s.

Полиномы X(K1 ) и X(K2 ) эквивалентны тогда и только тогда, когда существует гомеоморфизм тора на себя, переводящий набор кривых (pi, qi ), соответствующий слагаемым в X(K1 ), в набор кривых (p, q ), соответствующий i i слагаемым в X(K2 ), с сохранением полиномиальных коэффициентов для всех i.

Лемма 2.4.

Обобщенная нормализованная скобка Кауффмана (с учетом изотопических типов нетривиальных окружностей) является инвариантом узлов в утолщенном торе T I.

Лемма 2.5.

Пусть узел K T I является связной суммой K = K1 #K2 узла K1 T I и узла K2 S 3. Тогда X(K) = X(K1 ) · X(K2 ).

· x(pi, qi )ni. Если полиномы Pi (a) Следствие 2.3. Пусть X(K) = i Pi (a) не имеют нетривиального общего делителя для всех i, то узел K T I не может быть представлен в виде нетривиальной связной суммы узла в утолщенном торе T I и узла в трехмерной сфере S 3.

Лемма 2.6.

Пусть узел K T I имеет диаграмму D T такую, что существует нетривиальная окружность µ T, пересекающая D трансверPi (a) · x(1, qi ).

сально в одной точке. Тогда X(K) = i Узлы, которые не удовлетворят условию Следствия 2.3, не являются нетривиальной связной суммой узла K1 T I и узла K2 S 3, условию Леммы 2.6 круговой связной суммой двух узлов в утолщенном торе.

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

Лемма 2.8.

Если X(K) узла K T I содержит по крайней мере два элемента вида x(p, q) и x(p, q ), для которых выполняется хотя бы одно из условий p = p, q = q, то ни одна из диаграмм узла K не допускает дестабилизацию.

Таким образом, для того, чтобы показать, что ни одна из диаграмм, изображенных на Рис. 3 и Рис. 4, не эквивалентна некоторой диаграмме, допускающей дестабилизацию, достаточно убедиться, что во всех полиномах присутствуют элементы, отвечающие различным изотопическим типам нетривиальных окружностей на торе T. Такая возможность реализована в программе3.



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

Напомним, что виртуальная диаграмма представляет собой плоский регулярный граф валентности 4, снабженный дополнительной структурой в вершинах. Эта структура определяет тип перекрестка, соответствующий вершине:

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

Теория виртуальных узлов была предложена Л. Кауффманом2.

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

Виртуальные узлы, не являющиеся тривиальными или составными, называются примарными.

В настоящей диссертации классифицируются примарные узлы малой сложности в утолщенном торе T I. Эта задача эквивалентна задаче классификации примарных виртуальных узлов рода 1 в силу того, что тор T является поверхностью рода 1.

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

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

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

Применив этот процесс ко всем диаграммам на торе T, показанным на Рис. 3 и 4, можно получить таблицу соответствующих виртуальных диаграмм тех же узлов утолщенном торе T I, изображенную на Рис. 5 и 6. Построенные виртуальные диаграммы неэквивалентны между собой, потому что соответствуют узлам утолщенном торе T I, различность которых была доказана ранее.

Работа выполнена при поддержке Лаборатории квантовой топологии Челябинского госуниверситета (грант правительства РФ № 14.Z50.31.0020).

Автор выражает глубокую благодарность своему научному руководителю, члену-корреспонденту РАН, доктору физико-математических наук, профессору Сергею Владимировичу Матвееву за постановку задачи и всестороннюю помощь в работе.

ЗАКЛЮЧЕНИЕ

Первым основным результатом настоящей диссертации является классификация примарных проекций узлов в утолщенном торе T I малой сложности.

Доказаны следующие теоремы.

Теорема 1.1.

Существуют ровно 47 различных примарных проекций на торе T, имеющих n 5 перекрестков, см. Рис.1.

Теорема 1.2.

Существуют ровно 8 различных примарных октаэдральных проекций на торе T, см. Рис.2.

Вторым основным результатом настоящей диссертации является классификация примарных виртуальных узлов рода 1 малой сложности. Доказаны следующие теоремы.

Теорема 2.3.

Существуют ровно 90 различных примарных виртуальных узлов рода 1, имеющих диаграммы с не более чем 5 классическими перекрестками. Диаграммы этих узлов показаны на Рис.6.

Теорема 2.4.

Существует ровно 51 различный примарный виртуальный узел рода 1, имеющий минимальные диаграммы, в которых ребра, соединяющие классические перекрестки, образуют одномерный остов октаэдра. Эти диаграммы показаны на Рис.5.

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

• построения проекций узлов в утолщенном торе T I,

• минимизации перебора диаграмм, соответствующих данной проекции.

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

Выполненная в рамках настоящего диссертационного исследования классификация виртуальных узлов с учетом двух параметров (рода виртуального узла и числа истинных перекрестков в его виртуальной диаграмме) естественнее и перспективнее классификации с учетом только второго параметра.

Список публикаций автора по теме диссертации

Публикации в изданиях, включенных в перечень ВАК:

1. Акимова,А.А. Классификация узлов малой сложности в утолщенном торе/А.А. Акимова, С.В. Матвеев // Вестник НГУ. Серия Математика.

Механика. Информатика. - 2012. - Т.12. №.3. - С. 10-21.

2. Акимова,А.А. Классификация узлов в утолщенном торе, минимальные диаграммы которых не лежат в кольце и имеют пять перекрестков/А.А. Акимова // Вестник ЮУрГУ. Серия Математика. Механика. Физика. - 2013.

- Т.5. №.1. - С. 8-11.

3. Акимова, А.А. Классификация узлов в утолщенном торе, минимальные октаэдральные диаграммы которых не лежат в кольце/А.А. Акимова// Вестник ЮУрГУ. Серия Математика. Механика. Физика. – 2015. – Т. 7, № 1. – С. 5–10.

Публикации в других изданиях:

4. Akimova, A.A. Classication of genus 1 virtual knots having at most ve classical crossings/A.A. Akimova, S.V. Matveev// Journal of Knot Theory and Its Ramications. – 2014. - V. 23, no. 6. – pp.1450031-1 – 1450031-19.

5. Akimova, A.A. Classication of Knots of Small Complexity in Thickened Tori/A.A. Akimova, S.V. Matveev// Journal of Mathematical Sciences. – 2014. – V.202, no.1. - P. 1- 12. (является переводом статьи [?]).

Тезисы докладов:

6. Акимова, А.А. Классификация узлов малой сложности в утолщенном торе/А.А.Акимова//Тез. Междунар. (43-й Всерос.) молодёжной школы-конф.

- Екатеринбург, 2012. – С.172-174.

7. Акимова, А.А. Классификация узлов малой сложности в утолщенном торе/А.А. Акимова//Всерос. конкурс научно-исследовательских работ студентов и аспирантов в области математических наук: сб. работ победителей / под общ. ред. А.С. Андреева. – Ульяновск, 2012. - С.5-6.

8. Акимова, А.А. Классификация виртуальных узлов рода 1 малой сложности /А.А. Акимова //Тез. Междунар. (44-й Всерос.) молодёжной школыконф. - Екатеринбург, 2013. – С.173-175.

9. Акимова, А.А. Классификация виртуальных узлов рода 1 малой сложности /А.А. Акимова //Дни геометрии в Новосибирске, 2013: тез. междунар.

конф. - Новосибирск, 2013. – С.9-10.

10. Akimova, A.A. Classication of low complexity knots in the thickened torus/ A.A. Akimova, S.V. Matveev//Abstracts of International Topological Conference Alexandro Readings. - Moscow, 2012. – pp.8.

Рис. 1: Примарные проекции с не более чем 5 перекрестками на торе T, который представлен в виде квадрата с отождествленными противоположными сторонами. Каждая строка вида {i1 i2... in x} означает, что соответствующая проекция имеет тип графа x {a, b, c, d, e, f, g, h, k} и что её грани являются im -угольниками, где 1 m n. Проекции в лексикографическом порядке Рис. 2: Примарные октаэдральные проекции на торе T Рис. 3: Диаграммы примарных узлов в утолщенном торе T I, имеющие n 5 перекрестков. Тор T представлен в виде квадрата с отождествленными противоположными сторонами

–  –  –

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



Похожие работы:

«СПИСОК УЧАСТНИКОВ ВТОРОГО ТУРА научно-инженерного конкурса учащихся Belarus Science and Engineering Fair-2014 ФИЗИКА Самодельный инклинатор Бельский Антон Юрьевич, учащийся 8 класса ГУО «Молодечненская специальная общеобразовательная школа-интернат №2 для детей с нарушениями зрения» Искровой электрический разряд вблизи диэлектрика Филипович Антон Фёдорович, учащийся 11 класса УО «Минский государственный областной лицей» Оптические свойства лазерно-модифицированных стекол Людчик Юлия Олеговна,...»

«УДК 008.398 МИФОЛОГИЧЕСКОЕ ОБОСНОВАНИЕ ПРИРОДЫ НАЦИОНАЛЬНОГО САМОСОЗНАНИЯ РОССИЯН Ромах О.В.Тамбовский государственный университет им. Г.Р. Державина, Тамбов, Россия, e-mail: svarom22@yandex.ru Проведен компаративный анализ славянской и протославянской мифологии и сказаний национального самосознания россиян. Приведены позиции Дугина А., Бердяева Н., Басовых и др. Использование сравнительно-исторического и культурно-лингвистического метода мифологической школы Ф.И. Буслаева показал, что...»

«Дубровская Александра Сергеевна ЧИСЛЕННОЕ МОДЕЛИРОВАНИЕ ПРОЦЕССА ИЗГОТОВЛЕНИЯ ОТЛИВОК ДЕТАЛЕЙ ГАЗОТУРБИННЫХ ДВИГАТЕЛЕЙ МЕТОДОМ ТОЧНОГО ЛИТЬЯ 05.13.18 – Математическое моделирование, численные методы и комплексы программ АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Пермь – 2015 Работа выполнена в Федеральном государственном бюджетном образовательном учреждении высшего профессионального образования национальный исследовательский политехнический...»

«Д.В.Сивухин ОБЩИЙ КУРС ФИЗИКИ ТЕРМОДИНАМИКА И МОЛЕКУЛЯРНАЯ ФИЗИКА ОГЛАВЛЕНИЕ Предисловие 7 тепла, содержащемся в теле Введение 9 § 17. Закон Гесса 66 § 18. Теплоемкость 67 Глава I § 19. Внутренняя энергия 69 ТЕМПЕРАТУРА § 1. Температура и 14 идеального газа. Закон Джоуля термодинамическое равновесие § 20. Уравнение Роберта 73 § 2. Термоскоп и 18 Майера температурные точки § 21. Адиабатический процесс. 75 § 3. Эмпирические 20 Уравнение Пуассона температурные шкалы § 22. Определение Cp/CV 78 § 4....»

«Филиппов Алексей Юрьевич АЛГОРИТМЫ ФОРМАЛИЗАЦИИ И АВТОМАТИЗАЦИИ РЕШЕНИЯ ЗАДАЧ НА ОСНОВЕ СРЕДЫ КОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ ЗАДАЧ Специальность 05.13.06 – Автоматизация и управление технологическими процессами и производствами (в образовании) Автореферат диссертации на соискание ученой степени кандидата технических наук Томск – 2007 Работа выполнена в Томском государственном университете систем управления и радиоэлектроники (ТУСУР) Научный руководитель – доктор технических наук...»

«1971 г. Май Том 104, вып. 1 УСПЕХИ ФИЗИЧЕСКИХ НАУК БИБЛИОГРАФИЯ ' 019.941:621.38 КВАНТОВАЯ ЭЛЕКТРОНИКА—МАЛЕНЬКАЯ ЭНЦИКЛОПЕДИЯ Под редакцией С. А. Ахманова, М. Е. Жаботинского (отв. редактор), Д. Н. Клышко, А. Н. Ораевского, А. В. Францессона, С. М. Шапиро. М., «Советская энциклопедия», 1969, 431 + 14 стр. Квантовая электроника представляет собой в настоящее время одну из наиболее быстро развивающихся молодых отраслей физики, достижения которой огромны. Со времени осуществления первого лазера...»

«Тема 1. Кинематика материальной точки и твердого тела § 1.1. Предмет физики. Связь физики с другими науками и техникой Слово физика происходит от греческого physis – природа. Т. е. физика – это наука о природе. Более точно, физика – наука, изучающая простейшие и вместе с тем наиболее общие закономерности явлений природы, свойства и строение материи, законы ее движения. В поисках единой картины мира сформировалось понятие материи. Материя объективная реальность – все то, что существует вне и...»

«ЗАКЛЮЧЕНИЕ ДИССЕРТАЦИОННОГО СОВЕТА Д 002.098.01 на базе Федерального государственного бюджетного учреждения науки Институт физики микроструктур Российской академии наук ПО ДИССЕРТАЦИИ НА СОИСКАНИЕ УЧЕНОЙ СТЕПЕНИ КАНДИДАТА ФИЗИКО-МАТЕМАТИЧЕСКИХ НАУК аттестационное дело № _ решение диссертационного совета от 8 октября 2015 г. № 11 о присуждении Кокурину Ивану Александровичу, гражданство Российская Федерация, ученой степени кандидата физико-математических наук. Диссертация «Эффекты...»

«ОТЗЫВ ОФИЦИАЛЬНОГО ОППОНЕНТА на диссертационную работу Лимонченко Ивана Юрьевича Комбинаторная коммутативная алгебра и топология момент-угол комплексов, представленную на соискание учёной степени кандидата физико-математических наук по специальности 01.01.04 геометрия и топология. Основным направлением диссертации является исследование связи между комбинаторными свойствами выпуклых многогранников и ассоциированных с ними симплициальных комплексов, коммутативной алгеброй колец Стенли-Райснера и...»

«ПРЕДИСЛОВИЕ Н.М. Олехнович Настоящий сборник посвящен 40-летию создания Института физики твердого тела и полупроводников (ИФТТП) НАН Беларуси и 90-летию со дня рождения основателя Института, его первого директора и научного руководителя на протяжении многих лет академика Николая Николаевича Сироты. Организация и становление Института неразрывно связаны с именем крупнейшего ученого в области физики и физической химии конденсированного состояния академика Национальной академии наук Беларуси,...»

«НОВЫЕ ПОСТУПЛЕНИЯ В БИБЛИОТЕКУ ИФ СО РАН (июнь-сентябрь 2008 г.) 1. Encyclopedia of physics. Vol. 1 : A-L / ed. R. G. Lerner, G. L. Trigg. 3rd., compl. В3 rev. a. enl. ed. Wienheim : Wiley-VCH, 2005. XLIV с ; 1354 p. : il. Bibliogr. at the E54 end of the art. Перевод заглавия: Физика. Энциклопедия Экземпляры: всего:1 ЧЗ(1) 2. Encyclopedia of physics. Vol. 2 : M-Z / ed. R. G. Lerner, G. L. Trigg. 3rd., compl. В3 rev. a. enl. ed. Wienheim : Wiley-VCH, 2005. VIII с ; 1355-2991 p. : il. Bibliogr....»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ РОССИЙСКАЯ АКАДЕМИЯ ОБРАЗОВАНИЯ _ РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ИНСТИТУТ ОТКРЫТОГО ОБРАЗОВАНИЯ ОСНОВЫ ОТКРЫТОГО ОБРАЗОВАНИЯ ТОМ ПЕРВЫЙ Ответственный редактор доктор философских наук В.И.Солдаткин Москва УДК 37.01 ББК 74.04 О 75 Рецензенты: А.Д.Иванников, доктор технических наук, профессор Г.В.Майер, доктор физико-математических наук, профессор В.И.Овсянников, доктор исторических наук, профессор А.И.Пирогов, доктор философских наук, профессор...»

««Утверждаю» Проректор по научной работе ФГАОУВО «Национальный исследовательский Томский государственный университет» доктор физико-математических наук, профессор ин Г. | ведущей организации на диссертацию Мальцевой Инны Нию^ревны « С е л ь с ^ я непроизводственная интеллигенция Кемеровской области (19Н* гг.». представленную на соискание ученой степени кандидата исторических наук по специальности 07.00.02 «Отечественная история» Диссертационное исследование H.H. Мальцевой являекя актуальным и...»

«ЖУРНАЛ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И МАТЕМАТИЧЕСКОЙ ФИЗИКИ, 2011, том 51, № 1, с. 142–151 УДК 519.634 К столетию со дня рождения академика А.А. Дородницына ТЕРМОДИНАМИЧЕСКИ СОГЛАСОВАННЫЕ ЗАКОНЫ СОХРАНЕНИЯ В МОДЕЛИ ИЗЛУЧАЮЩЕГО ТЕПЛОПРОВОДНОГО ГАЗА © 2011 г. М. Я. Иванов (111116 Москва, Авиамоторная ул., 2, ЦИАМ) e mail: ivanov@ciam.ru Поступила в редакцию 02.07.2010 г. Рассмотрен вопрос термодинамического согласования законов сохранения массы, импульса и энергии, описывающих движение...»

«Санкт-Петербургский Государственный Университет Л.С.Ивлев, Ю.А.Довгалюк Физика атмосферных аэрозольных систем Санкт-Петербург УДК 551.576, 541.182, 536.7 ББК 26.23 Д58 Печатается по решению Российского Фонда Фундаментальных Исследований Грант РФФИ № 99–05–78027 Ивлев Л.С., Довгалюк Ю.А. Физика атмосферных аэрозольных систем. — СПб.: НИИХ СПбГУ, 1999. — 194с. Монография содержит материал составляющий основу знаний о процессах генерации и эволюции аэродисперсных систем, включая водные облачные...»



 
2016 www.os.x-pdf.ru - «Бесплатная электронная библиотека - Научные публикации»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.