Интегрируемые гамильтоновы системы - Болсинов А.В.
ISBN 5-7029-0352-8
Скачать (прямая ссылка):
Доказательство.
Докажем пункты (а) и (б). Если забыть об ориентации части ребер /-графа, то ясно, что универсальное накрывающее пространство над ним есть дерево, все вершины которого имеют степень 3. Это вытекает из обычной теории накрытий. Очевидно, что существует единственный способ ориентировать часть ребер этого дерева так, чтобы это дерево стало бесконечным /-графом, а отображение накрытия являлось отображением /-графов. Это доказывает пункты (а) и (б) теоремы.
Докажем теперь пункт (в). Структура любого /-графа, в частности бесконечного /-графа D, такова, что любая его собственная симметрия однозначно определяется, если задан образ хотя бы одной вершины при этой симметрии. Таким образом, если фиксировать некоторую вершину данного /-графа Г, то множество его собственных симметрий находится во взаимно-однозначном соответствии с множеством возможных образов этой вершины. Отметим, что для произвольного /-графа группа его собственных симметрий, вообще говоря, не действует транзитивно на множестве вершин.
Рис. 2.38
Рис. 2.39
Топология слоений, порождаемых функциями Морса
103
Фиксируем на /-графе D некоторую вершину xq. Очевидно, вершина хо может быть переведена некоторой собственной симметрией в любую другую вершину х. Поскольку D является деревом, то существует единственный путь в /-графе D, соединяющий вершину хо с вершиной х. Этот путь можно однозначно записать в виде слова, составленного из букв а, b и 6-1, где буква а означает проход вдоль неориентированного ребра дерева, буква b — проход вдоль стрелки ориентированного ребра, а буква 6-1 — проход по ориентирован-
Рис. 2.40
ному ребру, но в направлении, противоположном стрелке на ребре. См. рис. 2.39. Здесь у каждой вершины указано слово, изображающее путь от выделенной вершины хо до данной вершины. С другой стороны, как мы уже доказали, любой точке х дерева D отвечает некоторая собственная симметрия дерева D, при которой выделенная точка ж0 переходит в данную точку х. Сопоставляя эти два факта, получаем взаимно-однозначное соответствие между собственными симметриями дерева D и описанными выше словами в алфавите а, 6, 6-1. При этом буква а будет отвечать образующей второго порядка группы Z * Z2, а буква b — образующей бесконечного порядка группы Z*Z2. Осталось проверить, что композиции двух собственных симметрий отвечает приписывание одного слова к другому. Доказательство этого факта — стандартное, и следует из рис. 2.40. Отметим здесь, что при движении вдоль пути нужно выписывать буквы алфавита в обычном порядке. А получившееся слово интерпретируется как композиция симметрий дерева, когда каждая следующая симметрия приписывается, как обычно, слева от предыдущей. Утверждение (в) доказано. Теорема 2.10 полностью доказана. ¦
Таким образом, возникает некоторое действие группы Z * Z2 на графе D. Отметим, что фактор-пространство
бит этого действия, — является букетом отрезка и окружности (рис. 2.41). Отметим, что граф-дерево D не является накрытием над этим букетом, так как действие груп- рис ^ ^
пы Z *Z2 не свободно на D. Дело в том, что преобразования
вида gag-1, — то есть сопряженные образующей а, или другими словами, все элементы второго порядка в группе Z * Z2, — обязательно имеют ровно одну неподвижную точку на дереве. Эта точка является серединой неориентированного ребра. Вообще, как легко видеть, любая инволюция на дереве обязательно имеет неподвижную точку. Отметим, что проекция дерева D на D/Ъ * Z2, т. е. на букет окружности и отрезка, является бесконечнолистным накрытием над всеми точками букета кроме единственной точки — свободного конца отрезка
дерева D по действию этой группы, — т. е. пространство ор-
(рис. 2.41).
104
Глава 2
Таким образом, все /-графы расположены между максимально развернутым /-графом, то есть — деревом D, и максимально свернутым графом D/Z *1*2, то есть — букетом окружности и отрезка. Мы хотим описать в терминах фактор-пространства D все /-графы. Отметим, что граф D/Z * Z2, — то есть букет окружности и отрезка, — на самом деле /-графом не является.
Рассмотрим теперь произвольный /-граф Г. Поскольку универсальное накрытие над ним является деревом D, что мы уже доказали выше, то Г = D/G, где G — подгруппа группы Z *Z2, свободно действующая на дереве D. Это означает, что граф Г получается из дерева D путем его факторизации по свободному действию группы G.
Предложение 2.5.
а) Пусть Г = D/G — некоторый f -граф. Тогда группа G естественно изоморфна фундаментальной группе графа Г.
б) Группа G также естественно изоморфна фундаментальной группе самого атома V.
в) Атом V и f-граф Г гомотопически эквивалентны.
Доказательство очевидно следует из определения /-графа. ¦
Предложение 2.6. Подгруппа G группы Z *Z2 = Sym(D) свободно действует на дереве D тогда и только тогда, когда в ней нет элементов конечного порядка, то есть нет элементов, сопряженных элементу а второго порядка. Доказательство.
