Фуксова группа
Фу́ксова гру́ппа, дискретная группа голоморфных преобразований (открытого) круга на сфере Римана, т. е. круга или полуплоскости на комплексной плоскости. Чаще всего в качестве берут верхнюю полуплоскость
или единичный круг
В первом случае элементы фуксовой группы являются дробно-линейными преобразованиями
с действительными коэффициентами, и фуксова группа представляет собой не что иное, как дискретную подгруппу группы . Во втором случае элементы фуксовой группы являются дробно-линейными преобразованиями с псевдоунитарными матрицами.
Если рассматривать круг как конформную модель плоскости Лобачевского, то фуксова группа может быть определена как дискретная группа его движений, сохраняющих ориентацию. Фуксовы группы представляют собой частный случай клейновых групп.
Произвольные фуксовы группы впервые рассматривались A. Пуанкаре (Пуанкаре. 1974) в 1882 г. в связи с проблемой униформизации. Группы были названы им фуксовыми в честь Л. Фукса, работа (Fuchs. 1880) которого стимулировала введение этого понятия. Для описания фуксовой группы Пуанкаре применил комбинаторно-геометрический метод, ставший впоследствии одним из основных методов теории дискретных групп преобразований. Понятие фуксовой группы послужило основой для теории автоморфных функций, созданной А. Пуанкаре и Ф. Клейном.
Фуксова группа, сохраняющая какую-либо точку в замыкании круга или прямую в смысле геометрии Лобачевского, называется элементарной. Если – неэлементарная фуксова группа, то множество предельных точек орбиты точки , лежащее на граничной окружности , не зависит от и называется предельным множеством группы . Группа называется фуксовой группой 1-го родa, если , и 2-го рода – в противном случае [тогда – нигде не плотное совершенное подмножество в ].
Конечно порождённая фуксова группа является фуксовой группой 1-го рода тогда и только тогда, когда площадь (в смысле геометрии Лобачевского) её фундаментальной области конечна. В качестве фундаментальной области такой группы всегда может быть выбран выпуклый многоугольник плоскости Лобачевского со сторонами
таким образом, что
для некоторых элементов
порождающих группу с определяющими соотношениями
где – целое число или . Элемент оставляет на месте вершину многоугольника , общую сторонам и . Он является эллиптическим, если , и параболическим, если ; в последнем случае вершина лежит на окружности , т. е. является бесконечно удалённой точкой плоскости Лобачевского. Всякий эллиптический или параболический элемент группы сопряжён степени некоторого однозначно определённого образующего . Углы многоугольника при вершинах , , равны , сумма всех остальных углов равна . Стороны и , а также и , и имеют одинаковую длину. Обратно, всякий выпуклый многоугольник на плоскости Лобачевского, удовлетворяющий этим условиям, является фундаментальным многоугольником описанного выше типа некоторой конечно порождённой фуксовой группы 1-го рода.
Всякая система образующих группы , которая получается описанным способом, называется стандартной. При абстрактном изоморфизме конечно порождённых фуксовых групп 1-го рода, отображающем множество параболических элементов одной группы на множество параболических элементов другой группы, всякая стандартная система образующих переходит в стандартную систему образующих.
Площадь фундаментальной области группы равна , где
Набор чисел , где считаются неупорядоченными, является топологическим инвариантом группы как группы гомеоморфизмов круга и называется её сигнатурой. Единственным ограничением на сигнатуру является условие
Для подгруппы конечного индекса фуксовой группы имеет место формула Римана – Гурвица:
Во всякой фуксовой группе существует подгруппа конечного индекса, не имеющая элементов конечного порядка.
Факторпространство компактифицируется путём добавления конечного числа точек, соответствующих бесконечно удалённым вершинам фундаментального многоугольника. На компактифицированном пространстве имеется единственная комплексная структура, для которой отображение факторизации голоморфно. При этом является римановой поверхностью рода , а отображение – регулярным разветвлённым накрытием с индексами ветвления . Обратно, теорема униформизации утверждает, что для любой компактной римановой поверхности рода с отмеченными точками и для любых ( – целое число или ), удовлетворяющих условию , существует регулярное голоморфное разветвлённое накрытие , ветвящееся в точности над точками с индексами ветвления соответственно. Накрытие определено однозначно с точностью до автоморфизма круга . Его группа скольжений есть фуксова группа сигнатуры .
Конечно порождённые фуксовы группы 1-го рода фиксированной сигнатуры могут быть параметризованы точками некоторого -мерного комплексного многообразия, гомеоморфного клетке, – т. н. пространства Тейхмюллера (Альфорс. 1961). При этом двум точкам пространства Тейхмюллера соответствует одна и та же (с точностью до сопряжённости в группе автоморфизмов круга) фуксова группа тогда и только тогда, когда эти точки эквивалентны относительно некоторой дискретной группы голоморфных преобразований пространства – т. н. модулярной группы . Имеется изоморфизм
при котором группа переходит в подгруппу конечного индекса группы .
Если фуксова группа сигнатуры содержит подгруппу конечного индекса сигнатуры , то пространство естественным образом вкладывается в виде замкнутого подмножества в пространство . В некоторых исключительных случаях эти пространства совпадают (Singerman. 1972). Например, ; это означает, что всякая компактная риманова поверхность рода допускает гиперэллиптическую инволюцию и, значит, является гиперэллиптической кривой.
Для фуксовых групп сигнатуры , называемых треугольными группами, и только для них, пространство Тайхмюллера состоит из одной точки. Всякая треугольная группа является подгруппой индекса в группе, порождённой отражениями относительно сторон треугольника с углами (cм. Группа отражений). Примером треугольной группы служит модулярная группа Клейна; её сигнатура равна .
Всякая конечно порождённая фуксова группа 2-го рода топологически (как группа гомеоморфизмов круга) изоморфна конечно порождённой фуксовой группе 1-го рода и допускает аналогичное геометрическое описание, с той разницей, что некоторые пары сторон фундаментального многоугольника не имеют общих точек, даже бесконечно удалённых, а соответствующие образующие являются гиперболическими преобразованиями. Компактифицированное факторпространство представляет собой риманову поверхность с краем.
Всякая бесконечно порождённая фуксова группа является свободным произведением циклических подгрупп. Её фундаментальная область может быть построена как предел фундаментальных областей конечно порождённых групп (Крушкаль. 1981).