Фуксова группа (Srtvkfg ijrhhg)

Перейти к навигации Перейти к поиску

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

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

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

Фуксовы группы на верхней полуплоскости

[править | править код]

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

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

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

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

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

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

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

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

Основное определение

[править | править код]

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

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

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

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

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

Предельные множества

[править | править код]

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

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

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

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

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

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

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

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

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

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

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

Метрические свойства

[править | править код]

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

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

Примечания

[править | править код]

Литература

[править | править код]
  • Lazarus Fuchs. Ueber eine Klasse von Funktionen mehrerer Variablen, welche durch Umkehrung der Integrale von Lösungen der linearen Differentialgleichungen mit rationalen Coeffizienten entstehen // J. Reine Angew. Math.. — 1880. — Т. 89. — С. 151–169.
  • Hershel M. Farkas, Irwin Kra. See section 1.6 // Theta Constants, Riemann Surfaces and the Modular Group. — Providence RI: American Mathematical Society. — ISBN 978-0-8218-1392-8.
  • Henryk Iwaniec. See Chapter 2. // Spectral Methods of Automorphic Forms, Second Edition. — Providence, RI: America Mathematical Society, 2002. — Т. 53. — (Graduate Studies in Mathematics). — ISBN 978-0-8218-3160-1.
  • Svetlana Katok. Fuchsian Groups. — Chicago: University of Chicago Press, 1992. — ISBN 978-0-226-42583-2.
  • David Mumford, Caroline Series, David Wright. Indra's Pearls: The Vision of Felix Klein. — Cambridge University Press, 2002. — ISBN 978-0-521-35253-6..
  • Peter J. Nicholls. The Ergodic Theory of Discrete Groups. — Cambridge: Cambridge University Press, 1989. — Т. 143. — (London Mathematical Society Lecture Note Series). — ISBN 978-0-521-37674-7.
  • Henri Poincaré. Théorie des groupes fuchsiens // Acta Mathematica. — Springer Netherlands, 1882. — Т. 1. — С. 1–62. — ISSN 0001-5962. — doi:10.1007/BF02592124.
  • Эрнест Б. Винберг. Математическая энциклопедия / главный редактор И.М. Виноградов. — Советсткая энциклопедия, 1977. — Т. 5.