Фуксова группа

Фуксова группа — дискретная подгруппа группы PSL(2,R). Группа  может рассматриваться как группа движений гиперболической плоскости или конформные отображения единичного диска, или конформные отображения верхней полуплоскости. Соответственно, фуксову группу, можно рассматривать как группу, действующую на любом из этих пространств. В других трактовках фуксова группа определяется как группа с , либо как подгруппа  , содержащая сохраняющие ориентацию элементы. Также приемлемо определение фуксовой группы как клейновой (дискретная группа of PSL(2,C)), которая сопряжена с подгруппой группы .

Фуксовы группы используются для создания фуксовой модели римановых поверхностей. В этом случае группа может быть названа фуксовой группой поверхности. В некотором смысле, фуксовы группы делают для неевклидовой геометрии то же, что и кристаллографические группы делают для евклидовой геометрии. Некоторые рисунки Эшера построены на основе фуксовых групп (для дисковой модели геометрии Лобачевского).

Общие фуксовы группы первым изучал Анри Пуанкаре, заинтересовавшись статьей Лазаруса Фукса, от имени которого и происходит это название.

Фуксовы группы на верхней полуплоскости 
Пусть  будет верхней полуплоскостью. Тогда  является моделью гиперболической плоскости, которая снабжена метрикой

Группа PSL(2,R) действует на  дробно-линейным преобразованием (которое известно как преобразования Мёбиуса):

Это действие эффективно и фактически  изоморфно группе всех сохраняющих ориентацию движений of .

Фуксова группа  может быть определена как подгруппа группы , которая действуют разрывно на .  То есть

 Для любого z в  орбиты  не имеют предельных точек в .

Эквивалентное определение — группа  фуксова, когда  дискретна. Это означает, что:

 Любая последовательность  элементов , сходящаяся к тождественному элементу в обычной топологии поточечной сходимости, в конечном счёте константна, то есть существует целое число N, такое что для любого n > N , где E является единичной матрицей.

Хотя разрывность и дискретность эквивалентны в данном случае, это неверно для случая произвольных групп конформных гомеоморфизмов, действующих на полной сфере Римана (в противоположность ).  Более того, фуксова группа  дискретна, но имеет предельные точки на вещественной прямой Im z = 0 — элементы  будут иметь z = 0 для любого рационального числа, а рациональные числа  плотны в .

Основное определение 
Дробно-линейное преобразование, определённое матрицей из, сохраняет сферу Римана , но посылает верхнюю полуплоскость  в некоторый открытый диск . Преобразование, сопряжённое такому преобразованию, посылает дискретную подгруппу  в дискретную подгруппу группы , сохраняя .

Это обуславливает следующее определение фуксовой группы. Пусть  действует инвариантно на собственный открытый диск , то есть, . Тогда  является фуксовым тогда и только тогда, когда выполняется любое из следующих эквивалентных свойств:

  является дискретной группой (с учётом стандартной топологии на ).
  действует  в каждой точке .
 множество  является подмножеством области разрывности  of .

То есть любое из этих трёх свойств может быть использовано как определение фуксовой группы, другие следуют из выбранного определения как теоремы. Понятие собственного инвариантного разрывного подмножества  важно. Так называемая   дискретна, но не сохраняет какой-либо диск в сфере Римана. Более того, даже модулярная группа , которая является фуксовой группой, не действует разрывно на вещественной прямой. Она имеет предельные точки в рациональных числах. Аналогично, идея, что  является собственным подмножеством области разрывности важна. Если этого нет, подгруппа называется клейновой группой.

Обычно в качестве инвариантной области  берётся либо открытый единичный диск, либо верхняя полуплоскость.

Предельные множества 
Ввиду дискретности действия орбита  точки z в верхней полуплоскости под действием  не имеет точек сгущения в верхней полуплоскости. Могут существовать, однако, предельные точки на вещественной оси. Пусть  будет предельным множеством группы , то есть, множество предельных точек  для . Тогда .  Предельное множество может быть пустым или состоять из одной или двух точек, а может состоять и из бесконечного числа. В последнем случае есть два варианта:

Фуксова группа первого типа — это группа, для которой предельное множество является замкнутой вещественной прямой . Это случается, когда факторпространство  имеет конечный объём, но имеются фуксовы группы первого рода с бесконечным кообъёмом.

В противном случае говорят, что фуксова группа имеет второй тип. Эквивалентно, это группа, для которой предельное множество является совершенным множеством, то есть нигде не плотным множеством на . Поскольку это нигде не плотное множество, из этого следует, что любая предельная точка произвольно близка к некоторому открытому множеству, не принадлежащему предельному множеству. Другими словами, предельное множество является множеством Кантора.

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

Примеры 
Пример фуксовой группы — это модулярная группа .  Она является подгруппой группы , состоящей из дробно-линейных преобразований

где a, b, c, d — целые числа.  Факторпространство  является пространством модулей эллиптических кривых.

Фуксовы группы включают также группы  для каждого n > 0. Здесь  состоит из дробно-линейных преобразований вышеприведённого вида, где элементы матрицы

сравнимы с элементами единичной матрицы по модулю n.

Кокомпактным примером служит Группа треугольника (2,3,7) (по вращениям), содержащая все фуксовые группы  и поверхности Макбита, как и другие группы Гурвица. В общем, любая гиперболическая группа фон Дика (подгруппа группы треугольника с индексом 2, соответствующая сохраняющим ориентацию движениям) является фуксовой группой.

Все они являются фуксовыми группами первого рода.

 Все гиперболические и параболические циклические подгруппы группы  фуксовы.
 Любая эллиптческая циклическая подгруппа фуксова тогда и только тогда, когда она конечна.
 Любая абелева фуксова группа циклична.
 Никакая фуксова группа не изоморфна .
 Пусть  будет неабелевой фуксовой группой. Тогда нормализатор группы  в  фуксовы.

Метрические свойства 
Если h является гиперболическим элементом, длина переноса L действия группы в верхней полуплоскости связана со следом h как  матрицы отношением

Аналогичное свойство имеет место для систолы соответствующей римановой поверхности, если фуксова группа не имеет кручения и кокомпактна.

См. также

Примечания

Литература

 
 
 
 
 . 
 
 
 

Дискретные группы
Фракталы
Геометрия Лобачевского
Римановы поверхности