CC BY
97
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
УДК 515.16 + 512.54
О СВЯЗИ НЕКОТОРЫХ ПРОБЛЕМ ГОМОТОПИЧЕСКОЙ ТОПОЛОГИИ И КОМБИНАТОРНОЙ ТЕОРИИ ГРУПП
В. Г. Бардаков, М. В. Нещадим
ON CONNECTION BETWEEN SOME PROBLEMS OF HOMOTOPY TOPOLOGY AND COMBINATORIAL GROUP THEORY
V. G. Bardakov M. V. Neshchadim
В настоящей работе приводятся основные понятия гомотопической топологии, рассказывается о проблеме Пуанкаре и формулируется D(2)-гипотеза. Затем напоминаются некоторые факты комбинаторной теории групп, формулируется проблема скачка соотношений и проблема минимального нормального порождения. Устанавливается связь между проблемами этой теории и проблемами гомотопической топологии. В частности, дается переформулировка гипотезы Пуанкаре в групповых терминах и отмечается связь проблемы скачка соотношений и D(2)-гипотезы. Далее предлагается метод, позволяющий для некоторых конечных представлений групп показать, что число соотношений не может быть уменьшено (подход к проблеме минимального нормального порождения).
In this paper we formulate basic notions of homotopy topology, tell on hypothesis of Poincare and formulate D(2)-hypothesis. After that we remind some facts from combinatorial group theory, formulate the problem of gap relation and the problem of minimal normal generation. We mention connection between problems of this theory and problems of homotopy topology. In particular, it will be given a reformulation of Poincare’s hypothesis in group terms and mention a connection between the problem of gap relation and the D (2)-hypothesis. Then we offer the method that allows to show for some finite representations of groups that the number of relationship can’t be reduced (the approach to a problem of the minimum normal generation).
Ключевые слова: многообразие, клеточное пространство, гомотопическая группа, группы гомологий и когомологий, конечно определенная группа, минимальное число соотношений, модуль соотношений, скачек соотношений.
Keywords: manifold, cellular space, homotopy group, homologic groups and cohomologic groups, finitely defining group, minimal number of relations, module of relations, gap of relations.
Работа выполнена при поддержке АВЦП Рособразования «Развитие научного потенциала высшей школы» (проект 2.1.1.10726), а также при поддержке ФЦП «Научные и научно-педагогические кадры инновационной России» на 2009-2013 гг. (гос. контракт No. 02.740.11.5191).
Введение
Настоящая статья является расширенным вариантом лекции, прочитанной первым автором на конференции “Геометрия и анализ”, которая проходила в Кемеровском государственном университете с 19-го по 26-е июня 2011 года.
К сожалению, курс гомотопической топологии не входит в программу большинства университетов. Поэтому мы сочли уместным посвятить первый параграф формулировке основных понятий и результатов этой теории. Второй параграф посвящен некоторым проблемам комбинаторной теории групп. Комбинаторная теория групп изучает группы, заданные порождающими и соотношениями. При этом одна и та же группа может быть задана разными системами порождающих и соотношений. Если зафиксировать множество порождающих некоторой группы, то вопрос о минимальном числе соотношений, задающих эту группу, называется проблемой минимального нормального порождения. Эта проблема равносильна такой проблеме: для заданной нормальной подгруппы К свободной группы Г найти минимальное число элементов, нормальное замыкание которых в груп-
пе Г порождает К. С проблемой минимального нормального порождения тесно связана проблема скачка соотношений.
Яркий пример связи топологии с комбинаторной теорией групп дает проблема Пуанкаре, решенная недавно Г. Я. Перельманом. Сама гипотеза Пуанкаре формулируется следующим образом: всякое односвязное компактное 3-многообразие без края гомеоморфно трехмерной сфере. Как видим, это чисто топологическая проблема. Тем не менее Столингс и Джако [1, с. 266] показали, что проблема Пуанкаре равносильна следующей гипотезе из комбинаторной теории групп: при д > 1 всякий гоморфизм р : П1(Ед) —> Гд х Гд из фундаментальной группы компактной ориентируемой поверхности Ед рода д на прямое произведение свободных групп Гд х Гд существенно пропускается через свободное произведение. Так как гипотеза Пуанкаре справедлива, то справедлива и эта гипотеза.
В настоящей работе приводятся основные понятия гомотопической топологии: гомотопическая эквивалентность, гомотопическая группа, груп-
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
пы гомологии и когомологии, накрытия, расслоения и т. д. Рассказывается о проблеме Пуанкаре и формулируется Д(2)-гипотеза. Далее напоминаются некоторые факты комбинаторной теории групп, формулируется проблема скачка соотношений и проблема минимального нормального порождения. Затем устанавливается связь между проблемами этой теории и проблемами гомотопической теории групп. В частности, отмечается, что из положительного решения скачка соотношений для конечно определенных групп следует опровержение Д(2)-гипотезы. В заключение предлагается метод, позволяющий для некоторых конечных представлений групп показать, что число соотношений не может быть уменьшено (подход к проблеме минимального нормального порождения). В частности, будет доказано, что если т и п не являются взаимно простыми, то группа Кт,п = {х,у,г II хт = уп = [х,г] = [у, г] = 1} не может быть задана тремя соотношениями в порождающих х,у,г. Если же т и п взаимно просты, то будет доказано, что группа Кт п может быть задана в тех же порождающих тремя соотношениями.
Благодарим организаторов конференции за любезное приглашение принять участие в конференции, пообщаться с коллегами и сделать доклад. Благодарим В. В. Чуешева, пожертвовавшего своим докладом в пользу нашего. Особая благодарность за незабываемую экскурсию, организованную во время конференции. Это была одна из самых запоминающихся экскурсий, организованных на аналогичных конференциях.
1. Гомотопическая топология
В этом параграфе мы напомним основные факты из гомотопической топологии, которые можно найти в классическом учебнике [2].
1.1. Многообразия и клеточные комплексы
Топология изучает топологические многообразия, а также их обобщения - клеточные пространства или клеточные комплексы. Хаусдорфо-во топологическое пространство со счетной базой называется п-мерным многообразием, если каждая его точка обладает окрестностью, го-меоморфной пространству Мп или полупространству М- = {(х1, ...,хп) € Мп I хп < 0}. Точки п-
мерного многообразия, не имеющие окрестности, гомеоморфной Мп, составляют край дХ многообразия X. Край п-мерного многообразия есть п — 1мерное многообразие без края. Многообразие называется замкнутым, если оно компактно и не имеет края.
Примерами многообразий являются п-мерная сфера:
п-мерный шар:
Вп
{(х1, ...,хп) € Мп I х1 + ... + хп < 1}.
Бп = {(хо,хь ...,хп) €
I хо+х1 + .. .+хп = 1},
Таким образом, 51п-1 есть граница шара Вп в Мп.
Вещественное п-мерное проективное пространство МРп определяется как совокупность проходящих через начало координат прямых пространства Мп+1, топологизированная угловой метрикой: расстояние между двумя прямыми равно углу между ними. Координаты (хо, х1,..., хп) направляющего вектора прямой (определенные, очевидно, с точностью до пропорциональности) называются однородными координатами точки проективного пространства; стандартное обозначение (хо : х1 : ... : хп). Бесконечномерное проективное пространство МРопределяется как объединение иМР\ Если заменить в определении пространства МРп пространство Мп+1 пространством Сп+1 и вещественные прямые комплексными прямыми, то получим определение комплексного проективного пространства СРп.
По сравнению с топологическими многообразиями, более общими объектами являются клеточные пространства.
Клеточное пространство — это хаусдорфово топологическое пространство К, представленное в виде объединения
и и е
д=0 г^1ч
попарно непересекающихся множеств е\ (клеток) таким образом, что для каждой клетки существует отображение ^ шара В4 в К (характеристическое отображение, отвечающее клетке е1), сужение которого на внутренность 1П В4 шара В4 представляет собой гомеоморфизм 1П В4 ~ е\. При этом предполагаются выполненными следующие аксиомы.
(С) Граница е\ = е® — клетки содержится в объединении конечного числа клеток ег с г < q.
(") Множество Е С К замкнуто тогда и только тогда, когда для любой клетки е1 замкнуто пересечение Е П ё?.
Топология, описываемая аксиомой ("), является слабейшей из топологий, по отношении к которой все характеристические отображения непрерывны. Часто клеточное пространство называют клеточным комплексом или ОШ-комплексом.
Клеточное подпространство клеточного пространства К — это замкнутое его подмножество, составленное из целых клеток. Важнейшие клеточные подпространства клеточного пространства
— его остовы: п-й остов есть объединение всех клеток размерности < п (по определению, размерность клетки е1 равна д). Стандартные обозначения для п-го остова пространства К: Кп или зкп К. Клеточное пространство называется конечным (счетным), если оно состоит из конечного
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
(счетного) числа клеток. Заметим, что для конечных клеточных пространств аксиомы (C), (W) выполняются автоматически.
Всякое клеточное пространство может быть сконструировано при помощи многократного применения операции приклеивания клеток. При этом остов skn K получается приклеиванием п-мерных шаров к остову skn-i K посредством всех отображений вида fi \dDn.
С другой стороны, всякое топологическое многообразие можно разбить на симплексы, т. е. триангулировать. Напомним, что евклидов симплекс Tq в Mq+1 определяется следующим образом:
Tq = {(to, ...,tq )GKq+1 \to >0, ...,tq >0, 5> = l} .
Пусть X — произвольное топологическое пространство. Под ^-мерным сингулярным симплексом пространства X понимается непрерывное отображение стандартного ^-мерного симплекса Tq в X. Справедлива
Теорема 1. Всякое компактное гладкое многообразие гомеоморфно триангулированному подмножеству евклидова пространства, причем гомеоморфизм может быть сделан гладким на каждом симплексе триангуляции.
1.2. Гомотопии
Одной из основных проблем топологии является классификация многообразий с точностью до гомеоморфизма. Можно классифицировать многообразия или клеточные пространства с точностью до гомотопии.
Пусть X и Y — топологические пространства. Непрерывные отображения f : X ^ Y и g : X ^ Y называются гомотопными (обозна-
чается f ~ g), если существует семейство отображений <pt : X ^ Y, t € I, такое, что
1) <fo = f, <fi = g;
2) отображение Ф : X х I ^ Y, заданное равенством &(x,t) = pt(x), непрерывно.
Условие 2) является формализацией непрерывной зависимости <pt от параметра t. Отображение Ф называется гомотопией, связывающей отображения f и g.
Нетрудно проверить, что отношение гомотопности является отношением эквивалентности на пространстве C(X,Y) непрерывных отображений из X в Y (т. е. оно рефлексивно, симметрично и транзитивно). Множество классов эквивалентности (гомотопические классы), на которые отношение гомотопности разбивает пространство C(X,Y), обозначается n(X,Y).
Пространства X и Y называются гомотопически эквивалентными (обозначается X ~ Y), если существуют непрерывные отображения f : X ^ Y и g : Y ^ X, такие что композиции f о g : Y ^ Y и g о f : X ^ X гомотопны тождественным отображениям id : Y —> Y и id : X —> X соответственно.
Отображения / и д в этой ситуации называются гомотопическими эквивалентностями.
Если отображения / о д и д о / не просто гомотопны тождественным отображениям, но и являются таковыми, то / и д взаимно обратные гомеоморфизмы.
Класс гомотопически эквивалентных пространств называется гомотопическим типом. Примером гомотопически эквивалентных, но не гомеоморфных пространств являются, например, точка и шар, окружность и полноторие.
Пространство X называется стягиваемым, если тождественное отображение X ^ X гомотопно отображению X ^ X, переводящему все X в точку.
Подпространство А пространства X называется его ретрактом, если существует непрерывное отображение г : X ^ X (ретракция), такое, что г(X) = А и г(а) = а при а € А. Если ретракция гомотопна тождественному отображению, то А называется деформационным ретрактом пространства X. Если, сверх того, гомотопию, соединяющую ретракцию с тождественным отображением, можно выбрать тождественной на подпространстве А, то А называется строгим деформационным ретрактом пространства X.
Очевидно, деформационный ретракт пространства X гомотопически эквивалентен X. Более того, А является деформационным ретрактом пространства X в том и только том случае, если включение А в X является гомотопической эквивалентностью.
1.3. Гомотопические группы
Одним из подходов к классификации многообразий с точностью до гомотопии является изучение дискретных инвариантов соответствующих топологическим пространствам и непрерывным отображениям. Обычно эти инварианты принимают одинаковые значения на гомотопически эквивалентных пространствах и гомотопных отображениях. Наиболее распространенная процедура построения инвариантов состоит в следующем. Фиксируется пространство У и затем произвольному пространству X ставится в соответствие множество п^^У) или множество ). Если про-
странства X и У с отмеченными точками, то можно рассмотреть только отображения, сохраняющие эти точки, и соответствующие классы гомотопических отображений пъ^, У) или пъ(У, X). Изучать эти множества значительно проще если в них имеется естественная групповая структура.
Путем в топологическом пространстве X называется непрерывное отображение р : I ^ X отрезка I = [0,1]. При этом точки р(0) и р(1) называются началом и концом пути р; если начальная и конечная точки пути совпадают, то такой путь называется петлей. Пространство всех путей
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
пространства X обозначается С(1,Х), а его подпространство петель — П(Х). Можно рассмотреть также пространство петель с фиксированным началом П(Х, хо). Все эти пространства наделяются естественной топологией.
Фундаментальная группа является первой из бесконечной серии гомотопических групп пп(Х), п = 1, 2,..., которые соответствуют топологическому пространству X. Фундаментальной группой пространства X с отмеченной точкой хо называется его одномерная гомотопическая группа п1(X) = пь(Б1 ,Х). Более подробно рассматриваются петли пространства X. Петли р и р' называются гомотопными, если существует такая го-мотопия р : I ^ X, что ро = р, р1 = р' и рt (0) = р*(1) = х0, £ € I. Произведение ргф петель р и ф это такая петля х, что
х(£) =
Р(2£)
при £ < 1/2,
ф(2£ — 1) при £ > 1/2.
Другими словами, произведение двух петель — это петля составленная из этих двух петель, которые проходятся последовательно. Как легко проверить, это умножение порождает умножение и в множестве гомотопических классов петель. Относительно этого умножения гомотопические классы образуют группу. Это и есть фундаментальная группа П1(Х,хо). Обратным к классу петли р : I ^ X служит класс петли р' : I ^ X, определенный формулой р'(£) = р(1 — £).
Пространство, любые две точки которого можно соединить путем, называется линейно связным. Если пространство нельзя представить в виде объединения непересекающихся открытых множеств, то такое пространство называется связным. Отметим, что если пространство линейно связно, то оно и связно. Обратное, вообще говоря, неверно (стандартным примером является график функции вт(1/х) на интервале (0,1), объединенный с отрезком [—1,1] оси ОУ). Но в важных частных случаях (клеточные пространства, многообразия) понятия связности и линейной связности совпадают.
Можно показать, что если пространство X линейно связно, то фундаментальная группа не зависит от выбора точки хо, т. е. П1(Х, хо) — П1(Х, х1) для любых точек хо, х1 € X. Кроме того, фундаментальная группа не меняется при гомотопической эквивалентности и тем более при гомеоморфизме. Более точно. Если / : X ^ У — гомотопическая эквивалентность, то для любой точки хо € X гомоморфизм /* : п1(Х, хо) ^ п1(У, /(хо)) является изоморфизмом.
Для вычисления фундаментальной группы клеточного пространства достаточно знать лишь его двумерный остов. Более точно, справедлива
Теорема 2. п1(Х) — п1(Х2) для любого клеточного пространства X и его двумерного остова X2.
С другой стороны, всякая группа, задаваемая конечным набором образующих и соотношений, служит фундаментальной группой некоторого замкнутого многообразия. Более того, это многообразие можно выбрать четырехмерным. Однако нельзя понизить его размерность до трех: группа Z ® Z не является фундаментальной группой никакого замкнутого трехмерного многообразия. Это наблюдение и позволяет перебросить мостик между гомотопической топологией и комбинаторной теорией групп.
Обобщением понятия фундаментальной группы является понятие гомотопической группы пп(Х, хо), которая определяется как множество гомотопических классов отображений Sп ^ X, переводящих отмеченную точку сферы Бп в отмеченную точку хо € X. Сами эти отображения называются сфероидами. Иначе, сфероид можно определить как отображение п-мерного куба Iп в X, переводящее границу дI11 в отмеченную точку хо € X.
Сумма двух сфероидов /, д : Бп ^ X определяется как сфероид / + д : Бп ^ X, построенный следующим образом: экватор сферы Бп (содержащий отмеченную точку) сжимается в точку, в результате чего сфера превращается в букет двух сфер, затем сферы, составляющие этот букет, отображаются в X с помощью отображений / и д.
Сложение сфероидов не является групповой операцией. Однако оно гомотопически инвариантно (т. е. если / ~ /' и д ~ д', то / + д ~ /' + д') и поэтому индуцирует операцию в множестве пп(Х,хо), а последняя уже является групповой. При п > 2 эта операция коммутативна.
Если р : X ^ У — непрерывное отображение, переводящее отмеченную точку хо € X в отмеченную точку уо € У, то возникает гомоморфизм р* : пп(Х,хо) ^ пп(У,уо), не меняющийся при замене отображения р гомотопным. В частности, у гомотопически эквивалентных пространств с отмеченными точками гомотопические группы одинаковы.
Одной из основных проблем гомотопической топологии в середине прошлого века считалась задача вычисления гомотопических групп сфер. Описание этих групп для одномерной сферы дает
Теорема 3. Гомотопические группы одномер-меют вид:
Пп(£1)
Z при п = 1, 0 при п > 2.
1.4. Отображения клеточных пространств
Непрерывное отображение / клеточного пространства X в клеточное пространство У называется клеточным, если /(вкп X) С якп У. Отметим,
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
что клетка при клеточном отображении не обязана отображаться в клетку, а может размазываться по нескольким клеткам, задевая при этом клетки меньшей размерности.
Отображение клеточного пространства в другое топологическое пространство непрерывно тогда и только тогда, когда оно непрерывно на любом конечном подпространстве.
Теорема 4. Всякое непрерывное отображение одного клеточного пространства в другое гомотопно клеточному отображению.
Ранее мы дали определение связного пространства. Обобщением этого понятия является п-связное пространство.
Определение. Пространство X называется п-связным, если при д < п множество п(Бч,Х) состоит из одного элемента (то есть любые два отображения ^ X с д < п гомотопны).
Описание п-связных пространств дает
Теорема 5. Всякое п-связное клеточное пространство гомотопически эквивалентно клеточному пространству с единственной вершиной и без клеток размерностей 1, 2,..., п.
1.5. Накрытия
Линейно связное пространство Т называется накрывающей для линейно связного пространства X, если задано отображение р : Т ^ X, такое, что для любой точки х € X имеется окрестность и С X, для которой р-1 (и) гомеоморфно и х Г, где Г — дискретное множество, причем диаграмма
р-1(и) ~ и х Г
р \ / проекция
и
коммутативна. Отображение р : Т ^ X называется в этой ситуации накрытием.
Если р : Т ^ X накрытие и Хо — произвольная точка пространства Т, такая, что хо = р(хо), то р* : П1 (Т, Хо) ^ Пl(X,xо) является мономорфизмом, т. е. инъективным отображением.
Накрытие р : Т ^ X называется регу-
лярным, если группа р* (п1(Т,х0)) является нормальной подгруппой в группе п (X,xо). Если р : Т ^ X есть регулярное накрытие, то
существует свободное действие фактор-группы
О = п1(X,x0)/p* (п1(Т,х0)) на пространстве Т, такое, что X = Т/О (точнее: такое, что его орбиты совпадают с множествами р-1(х)). Верно и обратное: если группа О действует на пространстве Т свободно и дискретно (последнее означает, что каждая точка Х € Т обладает такой окрестностью и, что множества ди, д € О, попарно не пересекаются), то естественная проекция Т ^ X = Т/О является регулярным накрытием. Более того, в этом случае п1(X)/п1(Т) = О.
Накрытие р : Т ^ X называется универсальным, если Т односвязно. Очевидно, что универсальное накрытие односвязно.
Накрытия р1 : Т1 ^ X и р2 : Т2 ^ X называются эквивалентными, если существует такой гомеоморфизм ] : Т1 ^ Т2, что диаграмма
Т1 Т2
р1 \ / р2
X
коммутативна. Отображение ] : Т1 ^ Т2 называется эквивалентностью.
Можно доказать следующий критерий эквивалентности накрытий.
Теорема 6. Пусть р1 : Т1 ^ X и р2 : Т2 ^ X накрытия, х € X, Х1 € Т1, Х2 € Т2 такие точки, что р1(х1) = х, р2(х2) = х. Если X — клеточное пространство или многообразие, то накрытия р1 и р2 эквивалентны тогда и только тогда, когда группы р1* (п1(Т1,Х1)) и р2* (п1(Т2,Х2)) сопряжены в группе п1(X,Х).
Теорема 7. Пусть X — линейно связное клеточное пространство или многообразие и х0 € X
— точка. Тогда для любой подгруппы О группы п1 ^,хо) существует накрытие р : Т ^ X и точка Х0 € р-1(х0), такие, что р* (п1(Т,Х0)) = О. В частности, над X существует универсальное накрытие.
Таким образом, для достаточно хорошего линейно связного пространства X классы эквивалентных накрытий над X находятся во взаимно однозначном соответствии с классами сопряженных подгрупп фундаментальной группы пространства X. В частности, над достаточно хорошим односвязным пространством вообще нет нетривиальных накрытий. Более точно, справедлива
Теорема 8. Если р : Т ^ X — накрытие и п > 2, то р* : пп(Т,Ьо) ^ пn(X,p(t0)) есть изоморфизм.
1.6. Расслоения
Расслоением, или локально тривиальным расслоением, называется четверка (Е, В, Е,р), где Е, В, Е — пространства, а р — отображение Е ^ В, причем любая точка х € В обладает такой окрестностью и С В, что р-1(и) ^ и х Е; более того, существует гомеоморфизм р : р-1(и) ^ и х Е, замыкающий коммутативную диаграмму
р-1(и) и х Е
р \ / проекция
и
Пространства В и Е называют базой и слоем расслоения.
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
Примеры расслоений. 1) Расслоение Хопфа:
Е = Б3 = {(г!,г2) | х{х\ + г2г2 = 1} С С2, В = Б2 = СР1, р(гъ 22) = 2 : 22), Е = Б1.
2) Существует естественное отображение Б2п+1 ^ СР ”. Обозначая это отображение через р, получаем расслоение (Б2п+1, СР”,Б1,р), которое обобщает предыдущее и тоже называется расслоением Хопфа.
Отметим, что накрытие является частным случаем расслоения. Слоем при этом является пространство с дискретной топологией.
Упражнение. Выведите из точной гомотопической последовательности хопфовского расслоения (Б3, Б2, Б1 ,р), что имеют место следующие изоморфизмы
П2(Б2) ~ п^Б1) и П”(Б3) ~ П”(Б2) при п > 3.
1.7. Гомотопические группы и клеточные пространства
С каждым пространством X можно связать пространство XX, которое определяется как фактор-пространство цилиндра X х I по его основаниям X х {0} и X х {1}. Пространство XX называется надстройкой над пространством X. Например, легко проверить, что ХБ1п ~ Бп+1. Справедлива
Теорема (Фрейденталь). Гомоморфизм надстройки
X: Пд(Б”) —^ пч+1(Бп+1)
является изоморфизмом при д < 2п — 2 и эпиморфизмом при д = 2п — 1.
Эта теорема позволяет вычислить некоторые гомотопические группы сфер.
Теорема 9. Если У — клеточное подпространство пространства X и разность X—У не содержит клеток размерности < п, то гомоморфизм Пг(У) ^ Пг^), индуцированный вложением, является изоморфизмом при г<п и эпиморфизмом при г = п. В частности, пп(X) = пn(skn+1X) для любого клеточного пространства X.
Утверждение. п-я гомотопическая группа пространства X порождается п-мерными клетками, соотношения отвечают п + 1-мерным клеткам.
Теорема (Уайтхед). Пусть X, У — клеточные пространства. Если непрерывное отображение / : X ^ У обладает тем свойством, что
/ : Пп(X, хо) ^ Пп(У,/(хо))
есть изоморфизм при всех п и х0, то / есть гомотопическая эквивалентность.
Однако в общем случае для гомотопической эквивалентности клеточных пространств, вообще говоря, недостаточно, чтобы их гомотопические группы были изоморфны: нужно, чтобы изоморфизм устанавливался некоторым непрерывным отображением.
Теорема 10. Пусть п — натуральное число и п — группа, предполагаемая абелевой при п > 1. Тогда существует клеточное пространство X, такое, что
)= ( 0 при г = пп
I п при г = п.
Такие клеточные пространства называются пространствами Эйленберга-Маклейна или пространствами типа К(п, п).
1.8. Гомологии
Наряду с гомотопическими группами топологического пространства X можно рассматривать другие гомотопические инварианты. Например, такими инвариантами являются группы гомологий Нк^) и когомологий Нк(X). По сравнению с гомотопическими группами они определяются достаточно громоздко, но зато легче вычисляются и геометрически более наглядны.
Напомним, что евклидов симплекс Тд в Мд+1 определяется следующим образом:
тд ={&,-,1Ч)еМд+1| 1о>о, ..,гч>0^1г = 1}.
Пусть X — произвольное топологическое пространство. Под д-мерным сингулярным симплексом пространства X понимается непрерывное отображение стандартного д-мерного симплекса Тд в X. Под д-мерной (сингулярной) цепью пространства X понимается конечная линейная комбинация сингулярных симплексов пространства X с целыми коэффициентами; запись ^ ^/1, /^ : Тд ^ X. Множество д-мерных сингулярных цепей пространства X обозначается через Сд (X). Сложение цепей как линейных комбинаций делает Сд (X) группой, то есть Сд(X) — свободная абелева группа, порожденная множеством всех д-мерных сингулярных симплексов пространства X.
Определим граничный гомоморфизм
д = дд : Сд (X ) ^ Сд-^).
Учитывая, что Сд (X) свободна, достаточно определить д на сингулярных симплексах. Для сингулярного симплекса / полагаем
д/ = ^(—1УГ/
где Г^/ — сужение отображения / на г-ю грань
тд-1 = №о,...Л) € тд 1и = 0}
стандартного симплекса Тд.
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
Теорема 11. Композиция
СЧ+1(Х) -+1 Сд(X) -и СЧ-1(Х)
тривиальна, то есть 1тдд+1 С Кег дд. Определение. Факторгруппа
Нд (X) = Кег дд/1т дд+1
называется q-й гомологической группой пространства X. Это определение имеет силу при q > 1. Полагают Н0(Х) = С0(Х)/1тд\ и Нд(X) = 0 при д < 0.
Для групп 1т дд+1 и Кег дд приняты обозначения Вд(X) и Zд(X) соответственно. В этих обозначениях
Нд (X ) = Zq (X )/Вд (X ).
Цепи из Zд (X) и Вд (X) называют соответственно циклами и границами. Циклы разность которых есть граница, называют гомологичными. Таким образом, элементы группы гомологий — это классы гомологичных циклов, иногда их называют гомологическими классами.
Если группа Нд (X) конечно порождена, то ее ранг (то есть число слагаемых Z в каноническом разложении Нд(X) = Z ® ... ® Z ® Zfcl ® ... ® Zfcs) называется д-м числом Бетти пространства X.
Цепным комплексом называется последовательность
Cq(X) -U C^X)
Ci(X) -^ Co(X)
Z
Hi(Sn) =
Z при i = 0, n, 0 при i = 0, n.
Для доказательства этой теоремы можно воспользоваться тем, что £Бк ~ Бк+1.
Также справедлива
Теорема 13. Для любого топологического пространства X и любого i имеет место изоморфизм
Hi (XX) = Hi-i (X), где X — надстройка.
Следствие. Если число q-мерных клеток клеточного пространства X равно n, то группа Hq (X) порождается не более чем n элементами. В частности, bq(Xq) < n, где bq — q-е число Бетти и Xq — q-мерный остов пространства X. Например, если у X нет q-мерных клеток, то Hq (X) = 0, в частности, если dim X = m, то Hq(X) = 0 при q > m.
Пусть X — компактное триангулированное подмножество евклидова пространства (полиэдр). Открытые симплексы триангуляции составляют клеточное разбиение пространства X. Соответствующий клеточный комплекс устроен следующим образом. Зафиксируем некоторый порядок всех вершин триангуляции, тогда будут упорядочены и вершины каждого симплекса. Клеточная q-мерная цепь — это линейная комбинация вида '^2kiai, где ai — симплексы размерности q. Граничный оператор д действует по формуле
д (^2 ki&i) = ^2 ki^2 гг
абелевых групп, в которой дд о дд+1 =0, е о д1 =0 и е — эпиморфизм.
У гомотопически эквивалентных пространств гомологии одинаковы.
Предложение 1. Если — множество
компонент связности пространства X, то при любом д
Нд (X ) = ®Нд X). а
1.9. Вычисление гомологий клеточных пространств
Гомологические группы сфер, в отличие от гомотопических групп, вычислять довольно легко. Справедлива
Теорема 12. Гомологические группы определяются равенствами
г=0
где Ггаг есть г-я грань симплекса аг. Этот комплекс называется классическим. Его гомологии совпадают с гомологиями пространства X.
1.10. Гомологии и гомотопии
Между гомотопическими и гомологическими группами нет прямой связи. В частности, можно показать, что пространства Б2 и СРх Б3 имеют одинаковые гомотопические группы, но разные группы гомологий. С другой стороны, пространства Б1 V Б1 V Б1 и Б1 х Б1 имеют одинаковые гомологические группы, но разные гомотопические группы.
Тем не менее у связного пространства первая нетривиальная гомотопическая группа изоморфна соответствующей гомологической группе. Чтобы формализовать это утверждение, введем некоторые определения.
Пусть X — топологическое пространство с отмеченной точкой хо. Обозначим через вп каноническую образующую группы Нп(Бп) = Z, п = 1, 2,... Для любого р € пn(X, хо) положим
Н(р) = /*М € Нп(X),
где / : Бп и X — произвольный сфероид класса р. Очевидно, что Н(р) не зависит от выбора ]. Ясно также, что отображение р и Н(р) определяет гомоморфизм
Н : ^^о) и Нп^).
а
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
Этот гомоморфизм называется гомоморфизмом Гуревича; он естественен по отношению к непрерывным отображениям (переводящим отмеченную точку в отмеченную). Если выбрать другую отмеченную точку х\, то диаграмма
пп(Х,хо) ^ пп(Х,Х!)
н \ / н
Нп(Х)
коммутативна для любого пути в, соединяющего точки хо и Х1.
Теорема (Гуревич). Пусть п0(Х,хо) =
П1 (Х,хо) = ... = пп-1 (Х,хо) = 0, п > 2. Тогда И1(Х) = ... = Нп-1(Х) = 0 и н : Пп(Х,хо) ^ Нп(Х) есть изоморфизм.
Следствие (обратная теорема Гуревича).
Если пространство Х связно и односвязно и Н2(Х) = ... = Нп-1(Х) = 0, то П2(Х,хо) = ... = пп-1(Х,хо) =0 и Н : пп(Х,хо) ^ Нп(Х) есть изоморфизм.
Приведенные, результаты можно выразить одной фразой: у односвязного пространства нетривиальные гомотопические и гомологические группы начинаются с одинаковой размерности и первые нетривиальные гомотопические и гомологические группы изоморфны.
Следствие. Односвязное клеточное пространство с тривиальными гомологиями размерностей > 2 стягивается.
Связь между первой гомотопической группой (фундаментальной группой) и первой гомологической группой дает
Теорема (Пуанкаре). Для любого связного пространства Х гомоморфизм Гуревича Н : п1(Х,хо) ^ Н1(Х) является эпимор-
физмом, ядром которого служит коммутант [п1(Х),п1(Х)] группы п1(Х). Таким образом,
Н1(Х ) = П1(Х )/[т(Х ),П1 (Х)].
Теорема 14. Если отображение / : Х ^ У индуцирует изоморфизм в гомотопических группах, то оно индуцирует изоморфизм и в гомологических группах.
1.11. Гомологии с коэффициентами и когомологии
Пусть О - абелева группа. К сингулярному клеточному комплексу топологического пространства Х можно применить алгебраические операции — <8> О и Нот(—, О). Получатся новые комплексы, которые имеют свои гомологии; эти гомологии называются, соответственно гомологиями и когомологиями пространства Х с коэффициентами в О.
Определение. Пусть О — абелева группа. Сингулярная д-мерная цепь пространства Х с ко-
эффициентами в О есть линейная комбинация вида
X) 9ІІІ, 9і Є О, Л : Тд — X.
Группа сингулярных д-мерных цепей пространства X с коэффициентами в О обозначается Сд(Х,О); очевидно Сд(X; О) = Сд(X) & О; наша прежняя группа цепей Сд (X) в этих обозначениях есть Сд(X; Z). Сингулярная д-мерная коцепь пространства X с коэффициентами (со значениями) в О определяется как функция на множестве д-мерных сингулярных симплексов пространства X, принимающих значения в О. Группа этих коцепей обозначается Сд(X; О); очевидно, Сд(X; О) = Иош(Сд(X),О). Значение коцепи с на цепи а обозначается < с, а >.
Граничный и кограничный операторы
д = дд : Сд(X; О) — С; О),
6 = 6д : Сд (X; О) — С4+1 (X; О) определяются формулами:
д (X &л) = X д Е-г гг л,
г=0
(6с)(1 ) = Е(-1)гс (ГI) .
Г = 0
Очевидно, для любых с и а
< с, да >=< 6с,а>.
Проверка показывает, что д о д = 0 и 6 о 6 = 0, и мы полагаем:
Нд(X; О) = Кег[дд : Сд(X; О) — С-^; О)]/ /1ш[дд+1 : Cд+l(X; О) — Сд(X; О)], Нд(X; О) = Кег[6д : Сд(X; О) — Сд+1 (X; О)]/ /іш[6д-1 : Cд-1(X; О) — Сд(X; О)].
Имеются также канонические операторы
є : Сс,^; О) — О (сумма коэфициентов),
є* : О —— C0(X; О) (константы), и мы полагаем
Н0(X; О) = Кег є/іш д1, H0(X; О) = Кег 60/Іш є*. Нд(X; О) = Нд(X; О), Нд (X; О) = Нд (X; О) при д> 0
(приведенные гомологии и когомологии).
Непрерывное отображение I : X — У индуцирует гомологические и когомологические гомоморфизмы, причем первые направлены в ту же сторону, что и I, а вторые в противоположную сторону:
I* : Нд(X; О) — Нд (У; О),
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
/* : Н1(У; С) ^ Н1(X; С).
Гомологии и когомологии с коэффициентами гомотопически инвариантны: если / ~ д, то /* = д* и /* = д*; в частности, гомологии и когомологии с коэффициентами одинаковы у гомотопически эквивалентных пространств.
Для несвязной суммы нескольких связных пространств X = Х1 и ... и Хп
Ич(X; С) = фЩ(XІ; С), Н1(X; С) = ФН1(Х<; С).
Например, у точки рЬ
Н0(рЬ; С) = С = Н0(рЬ; С),
Н1(рЬ; С) = 0 = Н4(рЬ; С) при д> 0.
Теорема 15. Пусть X — связное гладкое п-мерное многообразие. Если фиксировать его триангуляцию и вычислить п-мерные гомологии, то получим:
Z если X замкнуто и ориентируемо,
Нп(X) =
Нп(X; Z2) =
0 в остальных случаях;
Z2 если X замкнуто,
0 в остальных случаях.
1.12. Формулы универсальных коэффициентов
Пусть А, В — абелевы группы, В = Е1/Е2, где Е1
— свободная абелева группа, Е2 — ее подгруппа. Легко понять, что А & В есть факторгруппа группы А & Е! по образу естественного отображения А & Е2 ^ А & Е1, но последнее, вообще говоря, не является мономорфизмом. Можно проверить, что ядро Кег : А & Е2 ^ А & Е1 не зависит от выбора представления В = ¥1/¥2 и называется периодическим произведением групп А и В, обозначается Тог(А, В). Справедливо
Предложение 2.
1) Тог(А, В) ~ (кручение А) & (кручение В).
2) Если А = <Ц>, М или С, то Тог(А, В) = 0 для любой абелевой группы В.
Двойственная операция Ext определяется следующим образом. Пусть А, В — абелевы группы, А = Е1/Е2, где Е1 — свободная абелева группа, Е2
— ее подгруппа. Тогда Иош(А, В) есть ядро отображения Иош(Е1,В) ^ Иош(Е2,В), / ^ /\р2, но это отображение не является, вообще говоря, эпиморфизмом. Факторгруппа группы Иош(Е2, В) по образу этого отображения (то есть коядро этого отображения) обозначается через Ех^А, В).
Предложение 3.
1) Ext(Z, В) = 0 для любой группы В;
Ext(Zm, Zn) ~ Zm &Zn; Ext(Zm, Z) ~ Zm (в отличие от Тог^т, Z) =0).
2) Если одна из групп А и В есть <Ц>, М или С, то Ext(А, В) = 0.
Зная целочисленные гомологии (или когомологии) можно вычислить гомологии и когомологии с произвольными коэффициентами.
Предложение 4. Для любых X, д, С имеют место изоморфизмы:
Нч(X; С) ~ Нч(X) & С ф Toг(Hq-l(X), С);
Н1(X; С) ~ Н1(X) & С ф Toг(Hq+1(X),С);
Н1(X; С) ~ Иош(Нд(X), С) ф Ext(Hq+1(X), С).
Эти изоморфизмы не являются естественными. Естественны только отображения, входящие в следующие точные последовательности:
0^Н1(X)&С^НЧ(X; С^То^Н^^), С)^0;
0^Н1(X)&С^Н1(X; С)^Тог(Нд+1 (X), С)^0;
0^Иош(Нд (X), С)^Н1 (X; G)^Ext(Hq+1(X ),С)^0.
Следствие. Предположим, что группа Hq(X) конечно порождена. Тогда
н1 (X) ~
~ (свободная часть Hq(X))&(кручение Н^^^^)).
В частности, группа Н1(X) свободна.
1.13. Умножение
Хотя гомологии геометричнее, чем когомологии, они играют в топологии значительно более скромную роль. Главная причина в том, что когомологические классы можно перемножать, а потому для любого коммутативного кольца С сумма
фНq (X; С) = Н*^; С)
представляет собой ассоциативное косокоммутативное кольцо. Для гомологий ничего подобного нет.
Наиболее прозрачный способ определения когомологического умножения состоит в следующем. Пусть С — коммутативное кольцо и Xl, X2 — клеточные пространства. По клеточным коцепям с1 е с11 (X;!; С), с2 е с12 (X2; С) строим клеточную коцепь
с1 х с2 е С(X1 х X2; С),
которая на клетке а х т С Xl х X2 принимает значение, равное
( — 1)qlq2с1(а)с2(т) (умножение в С).
Проверка показывает, что
6(с1 х с2) = 5(с1) х с2 + ( —1)qlс1 х 5(с2),
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
так, что, если С\, С2 — коциклы, то С\ X С2 тоже коцикл. Мы получаем корректно определенное умножение:
[71 € Н91 (XI; С), 72 € Н92 (Х2; С)] ^
^ 71 X 72 € Н91+92(Х1 х Х2; С).
Важное различие между гомологиями и когомологиями состоит в том, что первые ковариантны, а вторые контравариантны.
1.14. Проблема Пуанкаре и Б(2)-гипотеза
Читатель, прочитавший предыдущую часть настоящего параграфа, сможет понять формулировку гипотезы Пункаре. Чтобы разобраться с доказательством, предложенным Перельманом, надо затратить гораздо больше усилий. Признаемся, что нам этого сделать так и не удалось.
Вначале немного истории. В 1900 году Пуанкаре предположил, что трехмерное многообразие М, у которого группы гомологий Н (М) изоморфны группам гомологий Н(Б3) сферы Б3, при всех к = 0, 1, . . . , гомеоморфно Б3. В 1904 году он же нашел контрпример, называемый теперь сферой Пуанкаре, и сформулировал окончательный вариант своей гипотезы: всякое односвязное компактное трехмерное многообразие без края гомеоморфно трехмерной сфере.
Позже эта гипотеза была обобщена на произвольные размерности и получила название обобщенная гипотеза Пуанкаре: для любого натурального числа п > 3 всякое многообразие размерности п гомотопически эквивалентно сфере Бп тогда и только тогда, когда оно гомеоморфно ей. Понятно, что исходная гипотеза Пуанкаре является частным случаем обобщенной гипотезы при п = 3.
Попытки доказать гипотезу Пуанкаре привели к многочисленным продвижениям в топологии многообразий. Доказательства обобщенной гипотезы Пуанкаре для п > 5 получены в начале 1960— 1970-х. Почти одновременно Смейл и независимо Столлингс нашли доказательство для п > 7. Затем доказательство Столлингса было распространено на случаи п = 5 и п = 6 Зееманом. Доказательство значительно более трудного случая п = 4 было получено только в 1982 году Фридманом. Отметим, что из теоремы Новикова о топологической инвариантности характеристических классов Понтря-гина следует, что существуют гомотопически эквивалентные, но не гомеоморфные многообразия в высоких размерностях.
Доказательство исходной гипотезы Пуанкаре было найдено в 2002 году Я. Г. Перельманом. Впоследствии его доказательство было проверено и представлено в развернутом виде как минимум тремя группами ученых. Доказательство использует поток Риччи с хирургией и во многом следует плану, намеченному Гамильтоном, который также первым применил поток Риччи.
Покажем теперь как проблема Пуанкаре связана с одной из проблем комбинаторной теории групп (см. [1]). Напомним, что Хд - компактная ориентируемая поверхность рода д. Пусть р : П1(Хд) ^ Ед х Ед — эпиморфизм на прямое произведение свободных групп ранга д. Говорят, что р существенно пропускается через свободное произведение, если существует нетривиальное свободное произведение А * В, А = 1, В = 1, и гомоморфизмы ф и а такие, что ф : П1(Бд) ^ А * В — эпиморфизм и диаграмма
п1(Бд) ф / \ Р
А * В ¥д х ¥д
коммутативна.
Следующая теорема Столлингса и Джако [11] устанавливает связь между гипотезой Пуанкаре и гипотезой о том, что всякий эпиморфизм р : п1(Хд) ^ Гд х Гд существенно пропускает-
ся через свободное произведение.
Теорема 16. Гипотеза Пуанкаре верна в том и только в том случае, когда для каждого д > 1 каждый гомоморфизм р : п1(Хд) ^ Гд х Гд существенно пропускается через свободное произведение.
Сформулируем теперь одну из открытых проблем гомотопической топологии, которая менее знаменита, по сравнению с проблемой Пуакаре, но решение которой наверняка сделают вас известным. Говорят, что пространство X обладает свойством Б(п), если Н*(ХТ) = 0 при г > п, где X - универсальная накрывающая X и Н”+1(Х, М) = 0 для любой локальной системы коэффициентов М на X. Уолл [4] установил, что если п = 2, то (конечный) CW комплекс имеет гомотопический тип (конечного) п-комплекса тогда и только тогда, когда он обладает свойством Б(п). Утверждение о том, что конечный 3-комплекс имеет гомотопический тип конечного 2-комплекса тогда и только тогда, когда он обладает свойством Б (2), называется Б (2)-гипотезой.
2. Комбинаторная теория групп
Комбинаторная теория групп изучает группы, заданные порождающими и соотношениями. Такое задание называется генетическим кодом соответствующей группы. Способы задания группы с помощью порождающих и определяющих соотношений уходит корнями в топологию: он применялся вначале для фундаментальных групп многообразий. Его простота и универсальность сыграли важную роль в развитии теории групп. Наличие такого способа проявляется в родственности ряда черт топологии и теории групп. И действительно, многие вопросы, рассматриваемые в комбинаторной теории групп, имеют топологические аналоги. Это относится к алгоритмическим проблемам,
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
теоремам о вложении, свободным конструкциям и т. д.
Приведем примеры задания групп порождающими и соотношениями:
1) Z = {а || 0} - бесконечная циклическая группа порождается одним элементом и определяется пустым множеством соотношений;
2) Zn = {а || ап = 1} - циклическая группа порядка п порождается одним элементом и определяется одним соотношением;
3) Z х Z = {а,Ь || аЬ = Ьа} - свободная абелева группа ранга 2 порождается двумя элементами и определяется одним соотношением;
4) Гп = {х1,х2,... ,хп || 0} - свободная группа ранга п порождается п элементами и определяется пустым множеством соотношений;
5) Фундаментальная группа замкнутой ориентируемой поверхности рода д порождается 2д элементами и определяется одним соотношением:
) = {а1,Ь1,а2,Ь2,... ,ад,Ьд |
[аь Ь1][а2,Ь2] . .. [ад, Ьд] = 1},
где [х,у] = х-1у-1ху.
При этом одна и та же группа может быть задана разными системами порождающих и определяющих соотношений. Возникает вопрос о сравнении этих представлений.
Символом с!(0) будем обозначать наименьшее число порождающих группы О. Очевидно, что наименьшее число порождающих с!(О) группы О не меньше ранга первой группы гомологий Н1(О) = О/[О,О], т. е.
гкЯ1(О) < <1(О).
Легко привести примеры групп, для которых это неравенство является строгим.
Если зафиксировать некоторую систему порождающих и изучать вопрос о минимальном числе соотношений в этой системе порождающих, то можно считать, что О имеет представление Е/Д, где Е - свободная группа, а Д - ее нормальная подгруппа. Тогда вопрос о наименьшем числе соотношений в этой системе порождающих сводится к вопросу о наименьшем числе элементов, порождающих Д как нормальную подгруппу. Действие Е сопряжениями на Д индуцирует действие
О на абелевой группе Даь = Д/[Д, Д]. Относительно этого действия Даь является Z[G]-модулем, который называется модулем соотношений группы
О. Для полноты картины остановимся более подробно на этом понятии (см., например, [10]).
2.1. Модуль соотношений
Если
Р = {X ЦП} (1)
- конечное представление группы О, то О = Е/Д, где Д = {П}р - нормальное замыкание множества
П в группе Е = Е (X), и мы имеем короткую точную последовательность:
1 —и Д —и Е ^ О —и 1.
По представлению (1) стандартным образом строится 2-комплекс К = Кр, фундаментальная группа которого п1 (К) изоморфна О. Группа О действует на второй гомотопической группе П2 (К) при стандартном действии фундаментальной группы на К.
Гомоморфизм р : Е и О индуцирует кольцевой гомоморфизм <р* : Z[F] и Z[G].
Рассмотрим модули Z[О]®XI и Z[О]®lкl. Тогда Z[G]®\X\ ^ Ар/АрДд, где Ар (соответственно, Ад) - фундаментальный идеал Z[F] (соответственно, Z[Д]). Определим
к : Z[О]®|X| —и Z[О],
полагая
к : (ах)хЕХ и (х — 1)ax, ах е Щ_О].
хЕХ
С другой стороны, определим
т : Z[О]ф|n| —и ^[О]®1Х1,
полагая
Т : (Рт )тЕП 1 ' (^тх^т ')хЕХ, Рт е Z[О\,
тЕ^
где ,1тх - образ в Z[G] производной Фокса дг
— , г еП, х е X. дх
Имеет место точная последовательность модулей
0 —и п2(К) —и Z[ОfRI -и Z[О]®|X| -и
-и Z[G] —Z —и 0,
где £ - гомоморфизм тривиализации.
Заметим, что образ 1т(т) это в точности модуль соотношений Д/Д', возникающий из представления (1). Вложение
г : Д/Д' —и Z[О]ф|X|
- хорошо известное вложение Магнуса
( дг \
г : гД' и — , г е Д,
\дх) хЕХ
и мы имеем точную последовательность
0 —и Д/Д' -и Z[О]®|X| -и Да —и 0.
Отметим также, что можно изучать и высшие модули соотношений представления Е/Д, которые определяются следующим образом:
1п(Д)/Ъп(Д), Д] = !п(Д)/1п+1(Д).
В частности, при п = 1 имеем обычный модуль соотношений.
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
2.2. Представления со скачком соотношений
Очевидно, что ранг Ж[О]-модуля ДаЬ не превосходит числа элементов, необходимых для порождения Д как нормальной подгруппы группы Е. Следовательно, ранг этого модуля дает нижнюю оценку минимального числа соотношений, необходимых для представления О в данной системе порождающих. Конечное представление Е/Д, у которого ранг модуля Каъ меньше наименьшего числа элементов, требуемых для порождения Д как нормальной подгруппы Е, называется представлением со скачком соотношений.
Проблема скачка соотношений. Существуют ли конечно определенные группы со скачком соотношений?
Если отказаться от условия конечной определенности, то ответ положительный. Бествина и Бради [6] построили конечно порожденную группу, которая не является конечно определенной, но у которой модуль соотношений конечно порожден. Поэтому можно говорить, что эта группа имеет бесконечный скачок соотношений.
Кандидатами на группы со скачком соотношений являются группы вида Нт,п=(ЖтхЖ)*(ЖпхЖ,), изучавшиеся в работе Еп-стейна [5]. Эти группы имеют стандартное представление:
Нт,п = (х,у,г,г || хт = гп = [х,у] = [г,г] = 1),
т. е. задаются четырьмя порождающими и четырьмя соотношениями. Вместе с тем в работе Грюнберга и Линнела [7] было доказано, что при (т, п) = 1 модуль соотношений группы Нт,п имеет ранг 3.
Проблема. Доказать, что группа Н3 2 = (2э хЖ)*(Ъ2 хЖ) в стандартных порождающих не может быть задана тремя соотношениями.
Из положительного решения этой проблемы последует решение проблемы скачка соотношений. Отметим, что используя метод, предложенный в следующем параграфе, нетрудно показать, что группа И2,2 не может быть определена тремя соотношениями.
Другими возможными кандидатами на группы со скачком соотношений являются группы из работы Бридсона и Твидейла [9].
Напомним некоторые результаты из этой работы. Рассмотрим группу Qn = (х,г || рп = хп = 1), где
рп(х,г) = (гхь~1)х(гхь~1)~1х~п~1.
Если ввести новый порождающий Ь = гхЬ-1, то
Qn = (х, ь, г || [Ь,х] = хп = ьп = 1,ь = гхг-1),
т. е. Qn является НМ]М-расширением группы Жп х Жп с проходной буквой г.
Обозначим дп = (п + 1)п — 1 и сп = пдп. Если (дт,дп) = 1, то группа Гт,п = Qm * Qn имеет представление:
Qm * Qn (хт, гт, хп, гп |
| рт(хт,гт) = рп(хп,гп)
1),
а модуль соотношений Даь этого представления порождается как Ж[Отп]-модуль образами рт, рп и х^хП. Более того, при попарно взаимно простых т-1, т-2, ..., тг модуль соотношений группы Qm1 * Qm2 * ... * Qmr имеет ранг Г +1.
Проблема скачка соотношений тесно связана со знаменитой Б(2)-гипотезой, о которой мы говорили в конце предыдущего параграфа. В работе [9] по каждой группе Гт,п строится некоторый 3-комплекс, который является контрпримером к Б(2)-гипотезе если при (т,п) = 1 группа Гт,п обладает скачком соотношений.
Видим, что проблема скачка соотношений сводится к такой проблеме комбинаторной теории групп.
Проблема минимального нормального порождения. Пусть Е - неабелева свободная группа, Г1,Г2,...,гт - некоторые ее элементы, Д = (г1,г2,..., гт)р - нормальное замыкание этих элементов в Е. Построить алгоритм, позволяющий находить минимальное число нормальных порождающих группы Д.
Решение этой проблемы было бы интересно даже для случая, когда слова г* являются либо степенями порождающих группы Е, либо коммутаторами порождающих.
Рассмотрим некоторые примеры представлений, в которых удается уменьшить число соотношений. Наиболее простым является представление
(Z2 * Z3) х Z = (а,Ь,с || а2 = Ь3 = [с, а] = [с, Ь] = 1).
Нетрудно проверить, что эта группа может быть задана тремя соотношениями:
(а, Ь,с,й || а2Ь3 = а2[с, а] = Ь3[с, Ь] = 1).
Заметим, что в этом представлении соотношение а2 Ь3 = 1 можно заменить соотношением
[а, с][Ь, с] = 1. Этот пример сообщил нам Р. Михайлов.
Другие примеры такого род могут быть найдены в работах [3, 7, 9].
В следующем параграфе предлагается метод, позволяющий для некоторых представлений доказать, что число соотношений при заданной системе порождающих нельзя уменьшить. Используя этот метод, будет доказано, что если т и п не являются взаимно простыми, то группа Кт,п = (Жт*Жп) хЖ не может быть задана тремя соотношениями в стандартных порождающих.
К сожалению, этот метод не работает для групп из работы [9].
хгп _____ хп
гп
п
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
3. Представления с неуменьшаемым числом соотношений
В настоящем параграфе мы рассматриваем группы
Кт^=Г/Я = {х,у,г\ хт=уп = [х,г] = [у, г] = 1),
т,п е №,т,п > 1 и изучаем условия, при которых число соотношений можно уменьшить, и условия, при которых этого сделать нельзя. Как мы видели ранее, группа К2,з может быть задана в тех же порождающих тремя соотношениями.
Вначале введем необходимые обозначения. Символом 71О, г = 1, 2,..., будем обозначать члены нижнего центрального ряда группы О, где ^1О = О, а ^1+1О = [^О, О] при г = 1, 2,... Под коммутаторами понимаем следующие выражения:
[9,Ь]= 9-1Ь-1дк, [д,Ь,/} = [[д,Н},/}, д,Н,/ е 0.
На протяжении этого параграфа символом Г = {х, у, г) будем обозначать свободную группу ранга 3.
Теорема 1. Пусть т и п - натуральные числа.
1)Если наибольший общий делитель (т,п) отличен от 1, то группа Кт,п в стандартных порождающих не может быть задана тремя соотношениями.
2)Если (т,п) = 1, то группа Кт,п имеет представление
Кт,п = Г/Я = {х,у,г\\х* = хг, у* = у8, хт = уп)
где аь = Ь-1аЬ, а г и в - некоторые целые числа.
Доказательство. 1) Положим й = (т,п). По условию й> 1. Предположим, что группа
О = Кт,п = Г/Я =
= {х,у,г\\ хт = уп = [х,г] = [у, г] = 1),
где Я = {К)р, К = {хт,уп, [х,г], [у,р]}, имеет представление с тремя соотношениями:
О = Г/Я = {х, у, г \\ А = В = С = 1),
т. е.
Я = {П)р = {К1)р,
где К1 = {А, В, С}, А, В, С - слова от порождающих х,у, г и обратных к ним.
Не уменьшая общности, можно считать, что
А = хта, В = упЬ,
а элементы а, Ь, С лежат в коммутанте Г'. Действительно, рассматривая фактор-группу
Я/(Я П Г') ~ {хт) х {уп) ~ Ж х Ъ,
видим, что образы элементов А, В, С - это слова от хт,уп. Здесь и далее мы обозначаем элементы группы и их образы в фактор-группе одними и теми же символами. Применяя преобразования Тице, можно привести их к виду хт, уп, 1, а это и означает, что А, В, С имеют требуемый вид.
Рассмотрим фактор-группу Г/^зГ и найдем образ группы {К1)р в этой фактор-группе. Чтобы найти порождающие {К1)р, будем сопрягать элементы из К-х порождающими группы О. Имеем
Ау = у-1хтуау = у-1ухт[хт, у]ау =
= хта[х, у]т = А[х, у]т (шоё73Г).
Отсюда получаем, что А-1Ау =
= [х,у]т е {К1)р (шоё73Г). Сопрягая далее элементом г, получим:
А* = г-1хтга* = г-1 гхт[хт, г]а* = хта[х, г]т =
= А[х,г]т (шоё73Г).
Следовательно,
А-1 А* = [х,г]т е {К1)р (шоё73Г).
Таким образом, мы показали, что в факторгруппе (К-1)р/({К1 )р П ^зГ) лежат коммутаторы
[х,у]т, [х,г]т.
Аналогичным образом, сопрягая В последовательно элементами х, г, можно показать, что в фактор-группе {К1)р/({К1)р П73Г) лежат коммутаторы
[у,х]п, [у, г]п.
Учитывая, что (т,п) = й, заключаем, что образ , подгруппы {'К-1)р по модулю 73Г имеет вид:
{П1)р/({П1)рП1зГ) = {А, В, С, [х, у]а, [х, г]т, [у, г]п).
Учитывая, что элемент С лежит в коммутанте Г', можно считать, что по модулю 73Г он имеет вид:
С = [х,у]&1 [х,г]62 [у,г]ёз (шо^зГ),
где
0 < З1 < й, 0 < 32 < т, 0 < Зз < п.
Покажем, что коммутаторы [х, г] и [у, г] не могут одновременно лежать в подгруппе {К1)р. Это и приведет к противоречию с тем, что
{П)р = {П1)р.
Если [х, г] е {К1)р, то по модулю 7зГ справедливо равенство
[х,г] = [х,у]аа1 [х,г]та2 [у,г]пазСа (шоё7зГ),
для некоторых целых а1, а2, аз, а. Вспоминая выражение для С, перепишем последнее равенство в таком виде:
[х, г] =
= [х,у]Ла1+аЙ1 [х,г]та2+аЙ2 [у,г]паз+аЙз (шо^зГ).
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
Отсюда получим систему:
0 = йа\ + а5\,
1 = та.2 + а$2,
0 = паз + а53.
Аналогично получим равенство
[у, г] = [х,у]ав [х,г]тв2 [у,г]пвзСв =
= [х,у]йв1+в&1 [х,г]тв2+вб2 [у,г]пвз+вб3 (шоё7з^),
которое должно выполняться для некоторых целых @1, @2, вз, в• Это равенство эквивалентно системе
0 = йв1 + в#1,
0 = тв2 + в#2,
1 = пвз + в$з-
Заметим, что а и в отличны от нуля. Действительно, если а = 0, то из второго уравнения первой системы получим равенство та2 = 1, которое не может быть выполнено в целых числах. Аналогично, если в = 0, то из третьего уравнения второй системы получим равенство пвз = 1, которое также не может быть выполнено в целых числах.
Из уравнения 1 = та.2 + а§2 следует, что (т,а) = 1, но тогда из уравнения 0 = йа1 + а§1 следует, что либо #1 делится на й, либо а1 = #1 =0. Учитывая, что 0<#1<й, заключаем, что а1=#1=0. Рассматривая аналогичным образом третье уравнение первой системы, приходим к равенству аз = 5з = 0.
Положим т = йт1, п = йп1, где т-1 ,П1 € Ъ, (й,т1) = (й,п1) = 1. Из уравнений
1 = та2 + а§2, 1 = пвз + в#з,
следует, что (т,а§2) = 1, (п, в#з) = 1. В частности, (т,52) = (п,5з) = 1. Тогда из уравнения 0 = паз + а#з, которое равносильно уравнению 0 = йп^з + а§з, следует, что а§з делится на й, а учитывая, что (#з,п) = 1, заключаем, что а делится й. Но это противоречит равенству
1 = та.2 + а§2.
2) Покажем, что группа при взаимно простых т и п представление
Р = (х,у,г || х2 = хг, у2 = у8, хт = уп)
определяет группу Кт,п при некоторых г и в. Действительно, возводя первое соотношение в степень т, а второе - в степень п, получим соотношения
Аналогичным образом, приходим к соотношению
yn(r-s) _ 1.
Если r — s _ 1, то xn _ ym _ 1. Полагая r _ s + 1, видим, что представление P дает ту же группу, что и представление
Pi _ (x,y,z II xz _ xs+1, yz _ ys, xm _ yn _1).
Мы хотим выбрать такое s, чтобы выполнялись соотношения
xz _ x, yz _ y.
Для этого должны выполняться сравнения s +1 = 1(mod m), s = 1(mod n),
т. е.
s = 0(mod m), s = 1(mod n).
Учитывая, что (m, n) _ 1, найдем такое натуральное число t, для которого mt = 1 (mod n). Положим s _ mt. Тогда для этого t наша группа будет иметь представление
{x,y,z || xz _ x, yz _ y, xp _ yq _ 1),
а это и есть исходное представление группы Km,n. Теорема доказана.
В доказательстве теоремы 1 у нас возникли группы такого вида
G _ G(m,n,p,q)_ (a,b,c || ac _ am, bc _ bn, ap _ bq)
где m,n,p,q - некоторые целые числа. Они интересны тем, что имеют сбалансированные представления (число порождающих равно числу соотношений). Интересно изучить свойства этих групп и, в частности, попытаться ответить на такой
Вопрос. При каких наборах (m,n; p,q) и (m',n';p',q') группа G(m,n;p, q) изоморфна группе G(m', n';p', q')?
Используем тот же прием, что мы использовали в доказательстве теоремы. Возведя первое соотношение группы G(m, n, p, q) в степень p, а второе в степень q, получим соотношения
(ap)c _ amp, (bq)c _ bqn.
Из которых, ввиду третьего соотношения группы G, заключаем, что
(xm)z = xrm, (yn)z = ysn.
Преобразуем первое из этих соотношений:
xrm = (xm)z = (yn)z = ysn = (yn) s = xms,
а потому
2p(m~n) = і
Аналогичным образом приходим к соотноше-
нию
bq(m-n) = i.
т. е.
xrm = xms ^ xm(r-s) = i
Следовательно, в группе G элементы a и b конечного порядка.
amp = apn
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
Если т — п = 1, то ар = Ьч = 1. Если при этом т = р +1, п = ц +1, т. е.
т = р + 1, ц = р — 1, п = р,
то ас = а, Ьс = Ь ив этом случае
С — (Ер * Жр—]_) х Е,
т. е. мы получили группу Кр,р—1.
Если положить т = р+1,п = ц +1, то получим группу
0(р +1,ц + 1 р, ц) = С(р, ц) =
= {а,Ь,е || ас = ар+1, Ьс = Ь«+\ ар = Ь«).
В ней
ар{р—ч) = Ь9(р—ч) = 1.
Возведем соотношение ас = ар+1 в степень р — ц:
(а— )с = а(р+1)(р—ч) = ар—«.
Итак,
(ар— )с = ар—.
Аналогично,
(Ьр—Ч )с = Ь?—«.
Пример. В случае ц = 1 имеем группу
С(р, 1) = (а,Ь,с || ас = ар+1, Ьс = Ь2, ар = Ь) =
= (а, с || ас = ар+\ (ар)с = а2р),
в которой, как легко заметить, справедливо соотношение ар(р—1) = 1.
Далее, из соотношений ас = ар+1 и ар(р—1) = 1 следует соотношение (ар)с = а2р. Действительно,
(ар)с = (ас)р = а(р+1)р,
ар(р+1)а—2р = ар(р—1) = 1.
Итак,
С(р, 1) = (а, с || ас = ар+1, ар(р—1) = 1).
Если (р + 1,р(р — 1)) = 1, то
G(p, ^ — Ер(р—1) X Z,
где первая циклическая группа порождается элементом а, а вторая - элементом с.
Если (р + 1,р(р — 1)) = 1, то такого изоморфизма уже нет, так как элемент ар+1 имеет меньший порядок чем элемент а. Учитывая, что (р,р +1) = 1, заключаем, что (р +1,р — 1) = 1. Ясно, что (р+1,р—1) = (р+1,р+1 — (р—1)) = (р+1, 2). Следовательно,
(р + 1,р(р — 1)) = 2, и р - нечетное число. В частности, справедливо
Предложение 1. Пусть р = 3. Тогда
С(р, 1) = (а,с || ас = а4, а6 = 1) — Е3 х Е.
Доказательство. Как было замечено выше, в С(3,1) справедливо соотношение
(а3)с = (ас)3 = а12 = 1,
а потому а3 = 1 и группа имеет представление
С(3, 1) = (а, с || ас = а4, а3 = 1) — Е3 х Е.
Предложение доказано.
Для произвольного р имеем соотношение
(ар(р—1)/2у = (ас)р(р—1)/2 =
= а(р+1)(р—1)р/2 = ^ар{р—1)'^'Р+1')/2 = 1,
из которого следует, что ар(р—1)/2 = 1 и
С(р, 1) = {а, с || ас = ар+1, ар(р—1) = 1) =
= (а, с || ас = ар+1, ар(р—1)/2 = 1).
Учитывая, что (р + 1,р(р — 1)/2) = 1 или 2, заключаем,
С(р, ^ — Ер(р—1)/2Б х Е,
где в - максимальная степень двойки, которая делит р — 1. Таким образом, мы получили
Предложение 2. Для всякого натурального р группа С(р, 1) изоморфна группе Ер(р—1)ХЕ в случае, когда р четно, и изоморфна группе Ер(р—1)/2в ХЕ, где в - максимальная степень двойки, которая делит р — 1, в случае, когда р - нечетно.
В общем случае, справедлива Теорема 2. Имеет место изоморфизм
С(р,ц) — [Ер(р—д)/В * Еч(р—ч)/^} Х Е,
V *(Р-я)/о )
где Б = 1, если (р +1, ц +1) = 1, и Б - наибольший делитель р — ц, такой, что (р + 1, (р — ц)/Б) = 1, если (р + 1,ц + 1) = 1.
Доказательство. По определению
С(р,ц) = (а, Ь, с || ас = ар+1, Ьс = Ь«+1, ар = Ь«).
Как было замечено выше, в группе С(р, ц) имеют место соотношения
ар(р—Ч) = Ь^(р—9) = 1.
Учитывая, что элементы а и ар+1, а также Ь и Ь4^1 сопряжены, заключаем, что они должны иметь одинаковые порядки. Следовательно:
(р + 1,р(р — ц)) = (р +1,р — ц) = (р +1,ц + 1),
(ц + ^., ц(р — ц)) = (ц + 1,р — ц) = (ц + 1,р + ^.
Вестник КемГУ № 3/1 2011 Геометрия трехмерных многообразий
Если (p + 1, q + 1) = 1,, то
G(p,q) — ( Zp(p-q) * Zq(p-q)} X Z
\ Zp-q J
Если же (p+1,q +1) = 1, то надо взять такое число D, для которого (р + 1, (p — q)/D) = 1. Ясно, что в этом случае (q + 1, (p — q)/D) = 1, а потому
G(p, q) — I Zp(p-q)/D * Zq(p-q)/D ) X Z.
V Z(p-q)/D J
Теорема доказана.
Таким образом, мы получили частичный ответ на сформулированный выше вопрос. Вопрос о том, существует ли аналогичное разложение для произвольной группы G(m,n,p,q) остается открытым. Также сформулируем и такой
Вопрос. При каких наборах (m, n,p, q) группа G(m, n,p,q) тривиальна?
Отметим, что этот вопрос тесно связан с проблемой Уайтхеда об асферических комплексах из гомотопической топологии (см. [10]).
Литература
[1] Линдон, Р. Комбинаторная теория групп / Р. Линдон, П. Шупп. - М.: Мир, 1980.
[2] Фоменко, А. Т. Курс гомотопической топологии / А. Т. Фоменко, Д. Б. Фукс. - М.: Наука, 1989.
[3] Rapaport, E. S. On the defining relations of a free product / E. S. Rapaport // Pacific J. Math. -1964. - Vol. 14, no. 4. - P. 1389 - 1393.
[4] Wall, C. T. C. Finiteness conditions for CW-complexes / C. T. C. Wall // Ann. of Math. - 1965.
- Vol. 81, no. 1. - P. 56 - 69.
[5] Epstein, D. B. A. Finite presentations of groups and 3-manifolds / D. B. A. Epstein // Quart. J. Math. Oxford Ser. - 1961. - Vol. 12 - P. 205 - 212.
[6] M. Bestvina, M. Morse theory and finiteness conditions of groups / M. Bestvina and N. Brady // Invent. of Math. - 1997. - Vol. 129. - P. 445 - 470.
[7] Gruenberg, K. W. Generation gaps and abelianized defects of free products / K. W. Gruenberg, P. A. Linnell // J. Group Theory.
- 2008. - Vol. 11, no. 5. - P. 587 - 608.
[8] Hog, C. Presentation classes, 3-manifolds and free products / C. Hog, M. Lustig, W. Metzler// Geometry and topology.- Berlin, 1985.
[9] Bridson, M. Deficiency and abelianized deficiency of some virtually free groups / M. Bridson, M. Tweedale // Math. Proc. - Cambridge Philos. Soc., 2007. - Vol. 143, no. 2 - P. 257 - 264.
[10] Mikhailov, R. Lower central and dimension series of groups, Lecture Notes in Mathematics / R. Mikhailov, I. B. S. Passi. - Berlin, 2009.
[11] Jaco, W. Heegaard splittings and splitting homomorphisms / W. Jaco // Trans. Amer. Math. Soc. - 1969. - Vol. 144. - P. 365 - 379.
УДК 514.772.22
О МИНИМАЛЬНЫХ ПОВЕРХНОСТЯХ В ГРУППЕ ГЕЙЗЕНБЕРГА
Д. А. Бердинский
ON MINIMAL SURFACES IN HEISENBERG GROUP
D. A. Berdinsky
В работе предложен метод построения минимальных поверхностей в группе Гейзенберга, наделенной метрикой Терстона. Конструкция основана на представлении типа Вейерштрасса, и порождающие спиноры поверхности выражены в терминах функций Бейкера-Ахиезера.
It’s proposed the method for constructing minimal surfaces in Heisenberg group, endowed with Thurston’s metric. The construction is based on Weierstrass type representation, and generating spinors of surface are expressed in terms of Baker-Akhiezer functions.
Ключевые слова: группа Гейзенберга, минимальные поверхности, функции Бейкера-Ахиезера. Keywords: Heisenberg group, minimal surfaces, Baker-Akhiezer functions.
Работа выполнена при поддержке Российского фонда фундаментальных исследований (№ 10-01-91056).
1. Введение зовании представлений типа Вейерштрасса мини-
мальных поверхностей в этой группе [1].
В данной работе изложен метод построения ми- Предложенный метод находится в русле рабо-нимальных поверхностей в группе Гейзенберга с ты Бобенко [3], где описываются торы постоянной терстоновской метрикой, основанный на исполь- средней кривизны в трехмерном евклидовом про-
