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

Фуксові групи використовують для створення фуксової моделі ріманових поверхонь. У цьому випадку групу можна назвати групою фуксової поверхні. У певному сенсі фуксові групи роблять для неевклідової геометрії те саме, що кристалографічні групи роблять для евклідової геометрії. Деякі малюнки Ешера побудовано на основі фуксових груп (для дискової моделі геометрії Лобачевського).

Загальні фуксові групи першим вивчав Анрі Пуанкаре, зацікавившись статтею Лазаруса Фукса, від чийого імені й походить назва.

Фуксові групи на верхній півплощині
Нехай  — верхня напівплощиною. Тоді  є моделлю гіперболічної площини, яка має метрику

: 

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

: 

Ця дія ефективна та фактично  ізоморфна групі  усіх рухів, що зберігають орієнтацію.

Фуксову групу  можна визначити як підгрупу групи , яка діє розривно на . Тобто

* Для будь-якого z в  орбіти  не мають граничних точок у .

Еквівалентне визначення — група  фуксова, коли  дискретна. Це означає, що:

* будь-яка послідовність  елементів , що збігається до тотожного елемента в звичайній топології поточкової збіжності, в кінці-кінців константна, тобто існує ціле число N, таке, що для будь-якого n > N  де E — одинична матриця.

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

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

Це зумовлює таке визначення фуксової групи. Нехай  діє інваріантно на свій відкритий диск , тобто, . Тоді  є фуксовою тоді й лише тоді, коли виконується будь-яка з таких еквівалентних властивостей:

#  є дискретною групою (з урахуванням стандартної топології на ).
#  діє  в кожній точці .
# множина  є підмножиною області розривності  .

Тобто, будь-яку з цих трьох властивостей можна використати як визначення фуксової групи, інші випливають з вибраного визначення як теореми. Поняття власної інваріантної розривної підмножини  важливе. Так звана   дискретна, але не зберігає будь-якого диска в сфері Рімана. Більш того, навіть модулярна група , яка є фуксовою групою, не діє розривно на дійсній прямій. Вона має граничні точки в раціональних числах. Аналогічно, ідея, що  є власною підмножиною області розривності важлива. Якщо цього немає, підгрупу називають .

Зазвичай як інваріантну область  беруть або відкритий одиничний диск, або верхню півплощину.

Граничні множини
Зважаючи на дискретність дії орбіта  точки z у верхній півплощині під дією  не має точок згущення у верхній півплощині. Можуть, однак, існувати граничні точки на дійсній осі. Нехай  — гранична множина групи  тобто множина граничних точок  для . Тоді . Гранична множина може бути порожньою або складатися з однієї чи двох точок, а може складатися і з нескінченного числа. В останньому випадку є два варіанти:

Фуксова група першого типу — це група, для якої гранична множина є замкненою дійсною прямою . Це трапляється, коли фактор-простір  має скінченний об'єм, але є фуксові групи першого роду з нескінченним кооб'ємом.

Інакше кажуть, що фуксова група має другий тип. Еквівалентно, це група, для якої гранична множина є досконалою множиною, тобто ніде не щільною множиною на . Оскільки це ніде не щільна множина, то будь-яка гранична точка довільно близька до деякої відкритої множини, що не належить граничній множині. Іншими словами, гранична множина є множиною Кантора.

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

Приклади
Приклад фуксової групи — це модулярна група . Вона є підгрупою групи , що складається з дробово-лінійних перетворень

: 

де a, b, c, d — цілі числа. Фактор-простір  є простором модулів еліптичних кривих.

Фуксові групи включають також групи  для кожного n > 0. Тут  складається з дробово-лінійних перетворень наведеного вище вигляду, де елементи матриці

: 

порівнянні з елементами одиничної матриці за модулем n.

Кокомпактним прикладом є (звичайна)  (за обертаннями), що містить всі фуксові групи  та поверхні Макбіта, як і інші групи Гурвіца. Загальніше, будь-яка гіперболічна група фон Діка (підгрупа групи трикутника з індексом 2, відповідна рухам, що зберігають орієнтацію) є фуксовою групою.

Усі вони є фуксовими групами першого роду.

* Усі гіперболічні та параболічні циклічні підгрупи групи  фуксові.
* Будь-яка еліптична циклічна підгрупа фуксова тоді й лише тоді, коли вона скінченна.
* Будь-яка абелева фуксова група циклічна.
* Жодна фуксова група не ізоморфна .
* Нехай  — неабелева фуксова група. Тоді нормалізатор групи  в  фуксів.

Метричні властивості
Якщо h — гіперболічний елемент, то довжина перенесення L дії групи у верхній півплощині пов'язана зі слідом h як  матриці відношенням

: 

Аналогічна властивість має місце для  відповідної ріманової поверхні, якщо фуксова група не має кручення та кокомпактна.

Див. також
* 
* 
* 

Примітки


Література

* 
* 
* 
* 
* .
* 
* 
* 





