ФУКСОВА ГРУППА

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

В первом случае элементы Ф. г. являются дробно-линейными преобразованиями с действительными коэффициентами, и Ф. г. представляет собой не что иное, как дискретную подгруппу группы PSL₂. Во втором случае элементы Ф. г. являются дробно-линейными преобразованиями с псевдоунитарными матрицами.
Если рассматривать круг Ккак конформную модель плоскости Лобачевского, то Ф. г. может быть определена как дискретная группа его движений, сохраняющих ориентацию. Ф. г. представляют собой частный случай клейновых групп.
Произвольные Ф. г. впервые рассматривались А. Пуанкаре (Н. Poincare, см. [2]) в 1882 в связи с проблемой униформизации. Группы были названы им фуксовыми в честь Л. Фукса, работа [1] к-рого стимулировала введение этого понятия. Для описания Ф. г. Пуанкаре применил комбинаторно-геометрич. метод, ставший впоследствии одним из основных методов теории дискретных групп преобразований. Понятие Ф. г. послужило основой для теории автоморфных функций, созданной А. Пуанкаре и Ф. Клейном (F. Klein).
Ф. г., сохраняющая какую-либо точку в замыкании круга Кили прямую в смысле геометрии Лобачевского, наз. элементарной. Если Г - неэлементарная Ф. г., то множество L(Г)предельных точек орбиты точки лежащее на граничной окружности не зависит от хи наз. предельным множеством группы Г. Группа Г наз. Ф. г. 1-го рода, если и 2-го рода - в противном случае (тогда L(Г) - нигде не плотное совершенное подмножество в
Конечно порожденная Ф. г. является Ф. г. 1-го рода тогда и только тогда, когда площадь (в смысле геометрии Лобачевского) ее фундаментальной области конечна. В качестве фундаментальной области такой группы Г всегда может быть выбран выпуклый многоугольник Рплоскости Лобачевского со сторонами a₁, b'₁, a'₁, b₁ ..., a_g, b'_g, a'_g, b_g, с₁, с'₁, ..., с _n, с'п таким образом, что

для нек-рых элементов

порождающих группу Г с определяющими соотношениями

где k_i- целое число или Элемент оставляет на месте вершину С _i многоугольника Р, общую сторонам с _i и c'_i. Он является эллиптическим, если и параболическим, если в последнем случае вершина С _i лежит на окружности т. е. является бесконечно удаленной точкой плоскости Лобачевского. Всякий эллиптич. или параболич. элемент группы Г сопряжен степени нек-рого однозначно определенного образующего Углы многоугольника Рпри вершинах С _i, i=1, ..., п, равны сумма всех остальных углов равна Стороны а _i и а'_i, а также b_i и b'_i, c_i и c'_i имеют одинаковую длину. Обратно, всякий выпуклый многоугольник на плоскости Лобачевского, удовлетворяющий этим условиям, является фундаментальным многоугольником описанного выше типа нек-рой конечно порожденной Ф. г. 1-го рода.
Всякая система образующих группы Г, к-рая получается описанным способом, наз. стандартной. При абстрактном изоморфизме конечно порожденных Ф. г. 1-го рода, отображающем множество параболич. элементов одной группы на множество параболич. элементов другой группы, всякая стандартная система образующих переходит в стандартную систему образующих.
Площадь фундаментальной области группы Г равна - где

Набор чисел (g; k₁,..., k_n), где k₁,..., k_n считаются неупорядоченными, является топологич. инвариантом группы Г как группы гомеоморфизмов круга и наз. ее сигнатурой. Единственным ограничением на сигнатуру является условие

Для подгруппы конечного индекса Ф. г. Г имеет место формула Римана - Гурвица:

Во всякой Ф. г. существует подгруппа конечного индекса, не имеющая элементов конечного порядка.
Факторпространство К/Г компактифицируется путем добавления конечного числа точек, соответствующих бесконечно удаленным вершинам фундаментального многоугольника. На компактифицированном пространстве . имеется единственная комплексная структура, для к-рой отображение факторизации голоморфно. При этом Sявляется римановой поверхностью рода g, а отображение р- регулярным разветвленным накрытием с индексами ветвления k₁, ..., k_n. Обратно, теорема униформизации утверждает, что для любой компактной римановой поверхности Sрода gс отмеченными точками х ₁, ..., х _п и для любых k₁ ... ...,k_n(k_i- целое число или удовлетворяющих условию (*), существует регулярное голоморфное разветвленное накрытие ветвящееся в точности над точками x₁, ..., х _п с индексами ветвления k₁, ... ..., k_n соответственно. Накрытие ропределено однозначно с точностью до автоморфизма круга К. Его группа скольжений есть Ф. г. сигнатуры (g; k₁, ..., k_n).
Конечно порожденные Ф. г. 1-го рода фиксированной сигнатуры (g; k₁, ..., k_n )могут быть параметризованы точками нек-рого (Зn-3+п)-мерного комплексного многообразия, гомеоморфного клетке,- т. н. пространства Тайхмюллера .(g; k₁,...,k_n) (см. [4]). При атом двум точкам пространства Тайхмюллера соответствует одна и та же (с точностью до сопряженности в группе автоморфизмов круга) Ф. г. тогда и только тогда, когда эти точки эквивалентны относительно нек-рой дискретной группы голоморфных преобразований пространства Т(g; k₁, ..., k_n )-т. н. модулярной группы Mod (g; k₁...., k_n). Имеется изоморфизм

при к-ром группа Mod (g; k_l, ..., k_n )переходит в подгруппу конечного индекса группы
Если Ф. г. сигнатуры (g; k₁, ..., k_n )содержит подгруппу конечного индекса сигнатуры (h; l₁,..., l _т), то пространство .(g; k₁, .. ., k_n )естественным образом вкладывается в виде замкнутого подмножества в пространство Т(h; l₁, ..., l_m). В нек-рых исключительных случаях эти пространства совпадают [10]. Напр., Т(2)=Т(0; 2, 2, 2, 2, 2, 2); это означает, что всякая компактная риманова поверхность рода 2 допускает гиперэллиптич. инволюцию и, значит, является гиперэллиптич. кривой.
Для Ф. г. сигнатуры (0; k₁, k₂, k₃),называемых треугольными группами, и только для них, пространство Тайхмюллера состоит из одной точки. Всякая треугольная группа является подгруппой индекса 2 в группе, порожденной отражениями относительно сторон треугольника с углами (см. Отражений группа). Примером треугольной группы служит модулярная группа Клейна; ее сигнатура равна
Всякая конечно порожденная Ф. г. 2-го рода топологически (как группа гомеоморфизмов круга) изоморфна конечно порожденной Ф. г. 1-го рода и допускает аналогичное геометрич. описание, с той разницей, что нек-рые пары сторон фундаментального многоугольника не имеют общих точек, даже бесконечно удаленных, а соответствующие образующие являются гиперболич. преобразованиями. Компактифицированное факторпространство представляет собой рима-нову поверхность с краем.
Всякая бесконечно порожденная Ф. г. является свободным произведением циклич. подгрупп. Ее фундаментальная область может быть построена как предел фундаментальных областей конечно порожденных групп (см. [5]).

Лит.:[1] Fuchs L., лJ. reine und angew. Math.