CC BY
8
2019 Математика и механика № 60
УДК 514.132+515.162 М8С: 57М05, 20Р05, 57М50
Б01 10.17223/19988621/60/3
Т.А. Козловская
ЦИКЛИЧЕСКИЕ ПРЕДСТАВЛЕНИЯ ГРУПП СИРАДСКИ С ЧЕТНЫМ ЧИСЛОМ ПОРОЖДАЮЩИХ И ТРЕХМЕРНЫЕ МНОГООБРАЗИЯ1
Рассматриваются обобщенные группы Сирадски S(2п,7,2), п > 1. Установлено, что их п-циклические представления являются геометрическими, то есть соответствуют спайнам замкнутых ориентируемых трехмерных многообразий. Доказано, что полученные многообразия являются п-листными разветвленными циклическими накрытиями линзовых пространств ¿(7,1).
Ключевые слова: трехмерное многообразие, разветвленное накрытие, линзовое пространство, группа с циклическим представлением, группа Сирадски.
Дж. Столлингс в работе [1] показал, что не существует алгоритма, который позволяет по конечному представлению группы определить, является ли она фундаментальной группой некоторого трехмерного многообразия. Этот вопрос решался многими авторами в различных частных случаях, среди которых наибольший интерес был связан с изучением групп, допускающих циклическое представление.
Напомним, что группа О называется группой с циклическим представлением, если при некоторых т и V она допускает представление вида
О = От ( "О = < X1,■■■, Хт 1 ™ = 1 ПО) = 1 ■ • • , Пт-1 О) = ^
гдеп : ®т ^ ¥т - автоморфизм свободной группы ¥т = (х^...,хт} ранга т, определенный по правилу п(хг-) = хг+1, г = 1,...,т-1, и п(хт) = х1, а V = w(x1,■..,хт) - циклически приведенное слово в ¥т. Представления групп 3-многообразий называют геометрическими, если они соответствуют спайнам замкнутых трехмерных многообразий.
В последнее время исследовано много интересных примеров циклических разветвленных накрытий трехмерной сферы и линзовых пространств, фундаментальные группы которых допускают циклические представления (см. [2-7]). Были получены результаты о взаимосвязях циклически представимых групп и циклических разветвленных накрытий £3 и ¿(р, д). По-видимому, новый этап в изучении таких групп начался с работы X. Хеллинга, А. Кима и И. Меннике [2], где было показано, что группы Фибоначчи возникают как фундаментальные группы замкнутых ориентируемых трехмерных многообразий. Эти многообразия могут быть охарактеризованы следующим топологическим свойством: многообразие Фибоначчи является п-листным циклическим накрытием £3, разветвленным над узлом восьмерка (см. [8]). Различные обобщения групп Фибоначчи изучены в [6, 9, 10]. Исследование разветвленных циклических накрытий и циклических представле-
1 Работа выполнена при поддержке Министерства науки и высшего образования РФ (госзадание
№ 1.13557.2019/13.1).
ний их фундаментальных групп также связано с многообразиями Данвуди [4]. Многообразия Данвуди были определены как многообразия, допускающие диаграммы Хегора с циклической симметрией разветвленно накрывающие многообразия Хегора рода один. Многообразия, допускающие разбиение Хегора рода один - это линзовые пространства Ь( р, д), включая £2 х £ = ¿(1,0). Л. Грасселли и М. Мулаццани показали в [11], что класс многообразий Данвуди в точности, совпадает с классом строго-циклических разветвленных накрытий (1,1) -узлов.
Класс (1,1) -узлов содержит двухмостовые узлы и торические узлы в трехмерной
сфере. Многообразия Сирадски были введены А. Сирадски в работе [12]. А. Кавиккиоли, Ф. Хагенбарт и А.Ч. Ким установили, что многообразия Сирадски и их обобщения являются я-листными циклическими накрытиями £3, разветвленными над торическими узлами [3]. В частности, циклическое представление группы Сирадски £ (да, 3,2) соответствует спайну многообразия, которое да-листно циклически накрывает трехмерную сферу разветвленно над узлом трилистник. Дж. Хоуи и Г. Вильямс в [13] рассмотрели случай четного т = 2п и показали, что я-циклическое представление группы £(2я,3,2) соответствует я-листному накрытию линзового пространства ¿(3,1). я-Циклическое представление групп £ (2я,5,2) было рассмотрено в статье [14], где установлено, что соответствующие многообразия являются я -листными разветвленными циклическими накрытиями линзовых пространств ¿(5,1). В данной работе исследуются группы £(2я,7,2), я > 1 и их я-циклические представления. Построен спайн, соответствующий я-циклическому представлению группы £(2я, 7,2). В теореме 2 показано, что этот спайн задает многообразие, я-листно циклически накрывающее линзовое пространство ¿(7,1). Для малых значений я построенные многообразия были классифицированы с помощью компьютерной программы «Распознаватель» [15].
2. Основные понятия и вспомогательные утверждения
Хорошо известно, что любое замкнутое трехмерное многообразие может быть представлено как результат попарного отождествления граней его фундаментального многогранника. Примерами являются представление линзового пространства Ь(р, д), р > 3, как бипирамиды (см. рис. 1), у которой верхние треугольные грани отождествлены с нижними треугольными гранями по правилу: А£+ 4+1 ^ 4 + д£-А+ д+1 , ' = ^ Р- 1 а также
представление сферы Пуанкаре как додекаэдра, у которого каждые две противоположные грани отождествлены некоторым образом. Построение трехмерных гиперболических многообразий из правильных многогранников восходит к работе Вебера и Зейферта [16], где в качестве фундаментального многогранника выступал додекаэдр с
Рис. 1. р-угольная бипирамида Fig. 1. ТЪе р^опа! Ыругаш1(!
£
+
3
двугранными углами 2п/5. По построению, многообразие Вебера _ Зейферта обладает симметрией пятого порядка, которая позволяет представить это многообразие как 5-листное циклическое накрытие трехмерной сферы, разветвленное над зацеплением Уайтхеда. В этой же работе [16] было построено замкнутое ориентируемое трехмерное сферическое многообразие из додекаэдра с двугранными углами 2п/3 .
Многогранник Р называют фундаментальным для трехмерного многообразия М , если М может быть получено как результат попарного отождествления граней Р. Теорема Зейферта и Трельфалля [17] позволяет распознать многообразие: «Комплекс К3, получающийся путем попарного отождествления граней многогранника, является трехмерным многообразием в том и только в том случае, когда его эйлерова характеристика равна 0 ». Эйлерова характеристика комплекса К3
3
определяется следующим образом: %(К3) = ^ (-1)г£г-, где £1 _ количество сим-
1 =0
плексов размерности 1 в его триангуляции. Диаграммы Хегора _ это наиболее распространенный способ задания замкнутых ориентируемых трехмерных многообразий. Пусть М3 _ замкнутое ориентируемое трехмерное многообразие. Пара (И, И), состоящая из двух полных кренделей рода g , называется сплетением Хегора рода g многообразия М3, если М3 = И и И и И п И = дИ
о о о о о
представляет собой замкнутую ориентируемую поверхность рода g . Минимальный род среди всех родов сплетений Хегора многообразия М3 называется родом Хегора многообразия М3. Трехмерная сфера £3 является единственным ориентируемым многообразием с нулевым родом Хегора. Род Хегора равен 1 для линзовых пространств и многообразия £2 х £:. Диаграмма Хегора линзового пространства Ь( р, д), р > д > 0, р > 3, представлена на рис. 2. Описание многообразия диаграммой Хегора позволяет выписать его фундаментальную группу. Напомним (см., например, [18]), что представление фундаментальной группы трехмерного многообразия называется геометрическим, если оно соответствует диаграмме Хегора многообразия. Хорошо известно, что две диаграммы Хегора представляют одно и то же трехмерное многообразие тогда и только тогда, когда от одной диаграммы к другой можно перейти с помощью конечной последовательности преобразований, каждое из которых является движением Зингера (см. подробнее в [19, 20]).
3. Группы с циклическим представлением
Примеры групп с циклическим представлением, возникающих как фундаментальные группы трехмерных многообразий, хорошо известны. Группы с циклическим представлением
^(2, т) = (xl,..., Хт | Х,ХМ = Xг+2, / = ^ ..., ^,
Рис. 2. Диаграмма Хегора линзового пространства L( p, q) Fig. 2. Heegaard diagram for lens space L( p, q)
где индексы берутся по модулю т, называются группами Фибоначчи. Х. Хеллинг, А.Ч. Ким и Й. Меннике в [2] доказали, что если число порождающих четно т = 2п , то при п > 4 группы Е(2,2п) реализуются как фундаментальные группы трехмерных гиперболических многообразий. Построенные ими многообразия, являются п-листными накрытиями £3, разветвленными над узлом восьмерка.
Еще один интересный пример, группы со следующим циклическим представлением £(т) = (х1,х2,...,хт |хгхг+2 = хг+1, г = 1,...,т), где все индексы берутся по модулю т, были введены А. Сирадски. Эти группы позже были названы группами Сирадски [12].
Группы
£ (т, р, д) =
= (х1,. • •, хт 1 хгхг+д " ' хг+(д-1)йд-дхг+(д-1)йд = хг+1 хг+д+1 "' хг+(д-1)йд-д+1, ' = !,"•, т)
будем называть обобщенными группами Сирадски. Здесь все индексы берутся по модулю т , а р и д - такие взаимно простые положительные числа, что
р = 1 + йд, й е Z . А. Кавикиоли, Ф. Хегенбарт и А.С. Ким установили [3], что циклическое представление £(т, р, д) соответствует спайну замкнутого трехмерного многообразия, которое является т-листным циклическим накрытием £3 , разветвленным над торическим узлом Т(р, д). В частности, циклическое представление группы Сирадски £(т) = £(т, 3,2) соответствует спайну многообразия, которое т-листно циклически накрывает трехмерную сферу разветвленно над узлом трилистник Т(3, 2) . Нас интересуют обобщенные группы Сирадски с параметром д = 2 . В этом случае р = 1 + йд и
£ (т,2й + 1,2) = (х1, х2 ,. • •, хт 1 хгхг+2 "' хг+2й = хг+1 хг+3 "' хг+2й-1, г = 1 , т).
Циклические преставления групп £(2п, 3,2) (случай д = 2 , й = 1) исследовались Дж. Хоуи и Г. Вильямсом [13]. Они показали, что п-циклические представления £ (2п,3,2) = Оп (хгхг2+1 хг+2 х-^) являются геометрическими, то есть соответствуют спайнам замкнутых трехмерных многообразий. Аналогичный факт установлен для групп £(2п,5,2) (случай д = 2, й = 2). А именно, А. Весниным и Т. Козловской в [14] показано, что п -циклические представления
£(2n, 5, 2) = Оп (хгхг+!х22хг+3хг+4х-3х-2хг+1 хг+2хг+3хГ+2х-1 ) являются геометрическими. Доказано, что в обоих случаях полученные многообразия являются п-листными разветвленными циклическими накрытиями линзовых пространств. С целью дальнейшего обобщения конструкции перерисуем двумерный комплекс, представленный в работе [14], как изображено на рис. 3. Используя теорему Зей-ферта и Трельфалля [17], нетрудно проверить, что приведенный двумерный комплекс является спайном замкнутого ориентируемого трехмерного многообразия.
4. Разветвленные циклические накрытия ¿(7,1)
Рассмотрим обобщенные группы Сирадски £ (2п, 7,2) с четным числом порождающих. От циклического представления с 2п порождающими перейдем к циклическому представлению с п порождающими:
Рис 3. Двумерный комплекс для n = 4, (p, q) = (5,2) Fig. 3. The complex for the case n = 4 , (p, q) = (5,2)
£(2п,7,2) — (Х1Х3 Х5 Х4 Х2 )—(Х1,Х2,"',Х2п |хгХг+2 Хг+4 Хг+6 = Хг+1 Хг+3 Хг+5,1 = 1,--,2п) = = {Х1,Х2 ,.,Х2п 1 Х]Х]+3Х]+5Х]+7 = Х]+2Х]+4Х ]+6 , Х]+2Х ]+4Х]+6Х]+8 = Х]+3Х]+5Х]+7,
} = 2,4,. • -,2п) = (хг,Х2 ,.,Х2п 1 Х]+7 ={Х]Х]+2Х]+4Х]+6) Х]+2Xj+4Х]+6 , Х]Х]+2Xj+4Х]+6 = = Х;+1 Х;+3Х]+5 , ] = 2,4,. • -,2п) = (Х2 ,Х4,.,Х2п 1 Х]Х]+2Х ]+4Х]+6 = = (Х-+4 Х-+2 Х-1 Х]-2 Х] Х]+2 Х]+4 ) (Х-+2 Х ] 1Х¡-2 Х]-4 Х]-2 Х] Х]+2 )(х-1ХД ХД Х]-6 Х]-4Х]-2 Х] ) =1,
] = 2,.--,2п) = (Уг, У 2 - • - Уп 1 УгУг+1 Уг+2 Уг+3 У-2 У-1 У-1 Уг-1УгУг+1Уг+2 У-1 У-1 Х
Х Уг-2 Уг-1 УгУг+1 Уг-1 У-1 У-2 Уг-3 Уг-2 Уг-1 Уг =1,1 = п) = =Сп (У3 У4 У5 У0 У5-1 У-1 У- У 2 У3 У4 У5 У-1 У-1 У-1 У1У2 У3 У4 У-1 У-1 У1-1 У0 У1У2 У3). Очевидно, полученное представление эквивалентно следующему:
Сп (У0 У1У2 У3 У3 У4 У5 У0 У5-1 У-1 У3-1 У2 У3 У4 У5 У-1 У3-1 У-1 У1У2 У3 У4 У3-1 У-1 У-1). (1)
Теорема 1. Циклическое представление (1) является геометрическим, то есть оно соответствует спайну замкнутого трехмерного многообразия. □
Поскольку для рассматриваемого циклического представления (1) определяющее слово является достаточно большим, мы рассмотрим строение двумерного комплекса на примере. На рис. 4, представлено строение двумерного комплекса К1 (для п — 1). Опишем 2-комплекс К1, имеющий две двумерные клетки (грани), каждая из которых является 25-угольником, а одномерные клетки (ребра) имеют метки х±1 . Чтение меток вдоль границ 25-угольников дает определяющее соотношение группы. При этом 2-клетки разбиваются на пары, противоположно ориентированные и соответствующие одному и тому же слову. Мы будем подразумевать, что ребра левой и правой границ циклически отождествлены и что вертикальные линии, уходящие вверх, встречаются в одной точке и, аналогично, вертикальные линии, уходящие вниз, также встречаются в одной точке. Тогда группа имеет два порождающих, которые обозначим через Х0, Х1, и два определяющих соотношения, которые мы перепишем в следующем виде:
Х0 Х Х0 Хц Х Х0 Х Х0 Х Х0 Х Х0 Хц Х0 ХХ0 Х Х0 Хц Х0 ХХ0 Хц Х0 Х — 1,
Х Х0 Х| Х0 Х0 Х| Х0 Х^ Х0 Х| Х0 Х1Х0 Х^ Х0 Х| Х0 Х| Х0 Х^ Х0 Х| Х0 Х1 Х0 — 1.
Определяющие слова можно прочитать вдоль границ двумерных клеток на рис. 4. Действительно, первое слово читается вдоль границы клетки ^ , если ориентировать ее против часовой стрелки и также вдоль границы клетки ^ , если ориентировать ее по часовой стрелке. Аналогичным образом читается слово для пары клеток и . Метки, расставленные на ребрах и ориентация ребер задают попарные отождествления двумерных клеток К1, которые, в свою очередь, индуцируют отождествления 1-клеток и 0-клеток. В результате получим комплекс. Нетрудно проверить, что его эйлерова характеристика равно нулю. Отсюда следует, что двумерный комплекс К1 является спайном замкнутого трехмерного многообразия [17]. Конструкция для комплекса Кп и все рассуждения с очевидностью обобщаются для произвольного п . ■
'x0
'xo F2 ,x1 Fi -Xo
-Xq
x0 Xq x1 x0 X! Xq X1 Xq x1 Xq X1 Xq X1 Xq X1 Xq X-| Xq X-| X1 X1 Xq X.| Xq X1 Xq X1 Xq X1 Xq X-| Xq X1 Xq X1 Xq X1 Xq X0
'Xi -Xq 'Xi
rX0 Fl F2 -Xq
,X1 -XQ
Рис. 4. Двумерный комплекс для n = 1, (p, q) = (7,2) Fig. 4. The complex for the case n = 1, (p, q) = (7,2).
Приведенный на рис. 5, 2-комплекс К4 является спайном замкнутого трехмерного многообразия.
Рис. 5. Двумерный комплекс для случая n = 4, (p, q) = (7,2) Fig. 5. The complex for the case n = 4, (p, q) = (7,2).
Теорема 2. Для каждого п > 1 многообразие £(2п, 7,2) является разветвленным п-листным циклическим накрытием линзового пространства ¿(7,1) .
Известно, что если 3-многообразие задано попарным отождествлением граней многогранника и число пар граней равно N, то для этого трехмерного многообразия существует разбиение Хегора рода N (см. [17]). Открытая диаграмма Хего-ра многообразия, имеет вид как на рис. 6. Представление группы, реализуемое диаграммой Хегора является геометрическим. У приведённой выше диаграммы Хегора многообразия имеется циклическая симметрия порядка п . Эта симметрия индуцирует симметрию на многообразии £(2п, 7,2) . Фактор-пространство по
этой симметрии - трехмерный орбифолд. Носителем этого орбифолда является псевдомногообразие. Теорема доказывается в общем случае, с использованием движений Зингера для диаграмм Хегора. Идея доказательства состоит в проверке того, что полученная диаграмма Хегора является диаграммой Хегора линзового пространства ¿(7,1), полученная при помощи последовательности движений Зингера (см. [20]), приводящей к канонической диаграмме Хегора линзового пространства (см. рис. 2). ■
Рис. 6. Диаграмма Хегора для случая n = 4 , (p, q) = (7,2) Fig. 6. Heegaard diagram for the case n = 4, (p, q) = (7,2)
Задание многообразий фундаментальными многогранниками позволяет перейти к их триангуляции и использовать компьютерную программу «Распознаватель 3-многообразий» [15] для нахождения топологических и геометрических инвариантов. Для малых значений п многообразия £(2п,7,2) могут быть классифицированы с помощью «Распознавателя трехмерных многообразий». Вычисления, проведенные для случая п = 1 показали, что £(2,7,2) является многообразием
Зейферта (£2 ,(2,1),(7,2),(7,2),(1,—1)), а для п = 3, что £(6,7,2) является многообразием Зейферта ( £ 2,(6,1), (7,3), (7,3), (1,-1)).
Заключение
Исследованы циклические представления групп Сирадски £(2п, р, д) (случай q = 2 , d = 3 ). Установлено, что п-циклические представления групп Сирадски £ (2п, 7,2) соответствуют спайнам замкнутых ориентируемых трехмерных многообразий. Изучены топологические свойства построенных многообразий. Доказа-
но, что трехмерные многообразия являются разветвленными циклическими накрытиями линзовых пространств.
ЛИТЕРАТУРА
1. Stallings J. On the recursiveness of sets of presentations of 3-manifold groups // Fundam. Math. 1962/63. V. 51. P. 191—194.
2. Helling H., Kim A.C., Mennicke J.L. A geometric study of Fibonacci groups // J. Lie Theory. 1998. V. 8. P. 1-23.
3. Cavicchioli A., Hegenbarth F., Kim A. On cyclic branched coverings of torus knots // J. Geometry. 1999. V. 64. P. 55-66.
4. DunwoodyM.J. Cyclic presentations and 3-manifolds // Proc. Inter. Conf., Groups-Korea '94. Berlin; New York: Walter de Gruyter, 1995. P. 47-55.
5. Kim A.C. On the Fibonacci group and related topics // Proc. conf. algebra, 1991, Barnaul, Russia (Contemp. Math., 184), Providence, RI, Am. Math. Soc. 1995. P. 231-235.
6. Веснин А.Ю., Ким А.Ч. Дробные группы Фибоначчи и многообразия // Сиб. матем. журнал. 1998. Т. 39. № 4. С. 765—775.
7. Kim A.C., Kim Y., Vesnin A. On a class of cyclically presented groups // Proc. Intern. Conf. Groups-Korea '98. Berlin; New York: Walter de Gruyter, 2000. P. 211-220.
8. Hilden H., Lozano M., Montesinos-Amilibia J. The arithmeticity of the figure eight knot orbi-folds // Topology '90 Ohio State Univ. Math. Res. Inst. Publ., Walter de Gruyter, Berlin. 1992. V. 1. P. 169-183.
9. Johnson D., Wamsley J., Wright D. The Fibonacci Groups // Proc. London Math. Soc., III. Ser. 1974. V. 29. No. 4. P. 577-592.
10. Maclachlan C., Reid A.W. Generalised Fibonacci manifolds // Transform. Groups. 1997. V. 2. No. 2. P. 165-182.
11. Grasselli L., Mulazzani M. Genus one 1-bridge knots and Dunwoody manifolds // Forum Mathematicum. 2001. V. 13. No 3. P. 379-397.
12. Sieradski A.J. Combinatorial squashings, 3-manifolds, and the third homology of groups // Invent. Math. 1986. V. 84. P. 121-139.
13. Howie J., Williams G. Fibonacci type presentations and 3-manifolds // Topology Appl. 2017. V. 215. P. 24-34.
14. Веснин А.Ю., Козловская Т.А. Многообразия Брискорна, обобщенные группы Сирадски и накрытия линзовых пространств // Тр. ИММ УрО РАН. 2017. Т. 23. № 4. С. 85-97.
15. Three-manifold Recognizer. The computer program developed by the research group of S. Matveev in the department of computer topology and algebra of Chelyabinsk State University. URL: http://matlas.math.csu.ru
16. SeifertH., Weber C. Die beiden Dodekaedraume // Math. Z. 1933. V. 37. P. 237-253.
17. Зейферт Г., Трельфалль В. Топология. Ижевск, 2001. 448 с.
18. Mulazzani M. Cyclic presentation of groups and cyclic branched covering of (1, 1)-knots // Bull. Korean Math. Soc. 2003. V. 40(1). P. 101-108.
19. Ozsvath P., Szabo Z. Heegaard diagrams and holomorphic disks // International Mathematical Series. 2004. V. 3. P. 301-348.
20. Singer J. Three-dimensional manifolds and their Heegaard diagrams // Trans. Amer. Math. Soc. 1933. V. 35. No. 1. P. 88-111.
Статья поступила 29.05.2019 г.
^zlovskaya T.A. (2019) CYCLICALLY PRESENTED SIERADSKI GROUPS WITH EVEN NUMBER OF GENERATORS AND THREE DIMENSIONAL MANIFOLDS. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika [Tomsk State University Journal of Mathematics and Mechanics]. 60. pp. 32-41
DOI 10.17223/19988621/60/3
Keywords: three-dimensional manifold, branched covering, lens space, cyclically presented group, Sieradski group.
The Sieradski groups are defined by the presentation S(m) = {xl,x2,...,xm |xtxt+2 = x+j, i = 1,...,m) , where all subscripts are taken by mod m . The
generalized Sieradski groups S(m, p, q) are groups with m-cyclic presentation Gm (w), where word w has a special form depending on coprime integers p and q . We study the problem if a given presentation is geometric, i.e. it corresponds to a spine of a closed orientable 3-manifold. It was shown by Cavicchioli, Hegenbarth, and Kim that the generalized Sieradski group presentation S(m,p,q) corresponds to a spine of some 3-manifold which we denote as
M(m, p, q) . Moreover, M(m, p, q) are m-fold cyclic coverings of S3 branched over the torus (p,q) -knot. Howie and Williams proved that M(2n,3,2) are n -fold cyclic coverings of the lens space ¿(3,1). A. Vesnin and T. Kozlovskaya established that M(2n,5,2)are n-fold cyclic coverings of the lens space ¿(5,1) . In this paper, we consider generalized Sieradski manifolds M(2n,7,2) n > 1. We prove that the n-cyclic presentations of their groups are geometric, i.e., correspond to spines of closed connected orientable 3-manifolds. Moreover, manifolds M(2n,7,2) are the n-fold cyclic coverings of the lens space L(7,1). For the classification some of the constructed manifolds, we use the Recognizer computer program.
AMS Mathematical Subject Classification: 57M05, 20F05, 57M50
Financial support. This work was supported by the Ministry of Science and Higher Education of Russia (state assignment No. 1.13557.2019/13.1).
KOZLOVSKAYA Tatyana Anatolevna (Candidate of Physical and Mathematical Sciences, Senior Researcher at Regional Scientific and Educational Mathematical Center of Tomsk State University, Associate Professor of Tomsk State University, Tomsk, Russian Federation). E-mail: t.kozlovskaya@math.tsu.ru
REFERENCES
1. Stallings J. (1962/63) On the recursiveness of sets of presentations of 3-manifold groups. Fundam. Math. 51. pp. 191-194.
2. Helling H., Kim A.C., Mennicke J.L. (1998) A geometric study of Fibonacci groups. J. Lie Theory. 8. pp. 1-23.
3. Cavicchioli A., Hegenbarth F., Kim A. (1999) On cyclic branched coverings of torus knots. Journal of Geometry. 64. pp. 55-66.
4. Dunwoody M.J. (1995) Cyclic presentations and 3-manifolds. Proc. Inter. Conf., Groups-Korea '94. Berlin; New York: Walter de Gruyter. pp. 47-55.
5. Kim A.C. (1995) On the Fibonacci group and related topics. Proc. conf. algebra, 1991, Barnaul, Russia (Contemp. Math., 184). Providence, RI, Am. Math. Soc. pp. 231-235.
6. Vesnin A.Yu., Kim Ann Chi. (1998) Fractional Fibonacci groups and manifolds. Siberian Math. J. 39(4). pp. 655-664.
7. Kim A.C., Kim Y., Vesnin A. (2000.) On a class of cyclically presented groups. Proc. Intern. Conf., Groups-Korea '98. Berlin; New York: Walter de Gruyter. pp. 211-220.
8. Hilden H., Lozano M., Montesinos-Amilibia J. (1992) The arithmeticity of the figure eight knot orbifolds. Topology '90. Ohio State Univ. Math. Res. Inst. Publ. Berlin: Walter de Gruyter. 1. pp. 169-183.
9. Johnson D., Wamsley J., Wright D. (1974) The Fibonacci Groups. Proc. London Math. Soc., III. Ser. 29(4). pp. 577—592.
10. Maclachlan C., Reid A. W. (1997) Generalized Fibonacci manifolds. Transform. Groups. 2(2). pp. 165—182.
11. Grasselli L., Mulazzani M.( 2001) Genus one 1-bridge knots and Dunwoody manifolds. Forum Mathematicum. 13(3). pp. 379-397.
12. Sieradski A.J. (1986) Combinatorial squashings, 3-manifolds, and the third homology of groups. Invent. Math. 84. pp. 121-139.
13. Howie J., Williams G. (2017) Fibonacci type presentations and 3-manifolds. Topology Appl. 215. pp. 24-34.
14. Kozlovskaya T., Vesnin A. (2019) Brieskorn manifolds, generated Sieradski groups, and coverings of lens space. Proceedings of the Steklov Institute of Mathematics. 304(1).
15. Three-manifold Recognizer. The computer program developed by the research group of S. Matveev in the department of computer topology and algebra of Chelyabinsk State University. URL: http://matlas.math.csu.ru
16. Seifert H., Weber C. (1933) Die beiden Dodekaedraume. Math. Z. 37. pp. 237-253.
17. Seifert and Threlfall (1980) A Textbook of Topology, Pure and Applied Mathematics 89. New York: Academic Press.
18. Mulazzani M. (2003) Cyclic presentation of groups and cyclic branched covering of (1, 1)-knots. Bull. Korean Math. Soc. 40(1). pp. 101-108.
19. Ozsvath, P., Szabo, Z. (2004) Heegaard diagrams and holomorphic disks. International Mathematical Series. 3. pp. 301-348.
20. Singer J. (1933) Three-dimensional manifolds and their Heegaard diagrams. Trans. Amer. Math. Soc. 35(1). pp. 88-111.
Received: May 29, 2019
