Гиперболическая группа - Википедия - Hyperbolic group

В теория групп, точнее в геометрическая теория групп, а гиперболическая группа, также известный как гиперболическая группа слов или же Громова гиперболическая группа, является конечно порожденным группа оснащен слово метрика удовлетворяющие определенным свойствам, абстрагированным от классических гиперболическая геометрия. Понятие гиперболической группы было введено и развито Михаил Громов  (1987 ). Вдохновением послужили различные существующие математические теории: гиперболическая геометрия, а также низкоразмерная топология (в частности, результаты Макс Ден касательно фундаментальная группа гиперболического Риманова поверхность, и более сложные явления в трехмерная топология ), и комбинаторная теория групп. В очень влиятельном (более 1000 цитирований) [1]) в 1987 г. Громов предложил обширную исследовательскую программу. Идеи и основополагающий материал теории гиперболических групп также вытекают из работ Джордж Мостоу, Уильям Терстон, Джеймс В. Кэннон, Элияху Рипс, и много других.

Определение

Позволять - конечно порожденная группа, и быть его Граф Кэли относительно некоторого конечного множества генераторов. Набор наделен своим метрика графика (в котором ребра имеют длину один, а расстояние между двумя вершинами - это минимальное количество ребер в пути, соединяющем их), который превращает его в длина пространства. Группа тогда говорят, что это гиперболический если это гиперболическое пространство в смысле Громова. Вкратце это означает, что существует такой, что любой геодезический треугольник в является -тонкий, как показано на рисунке справа (в этом случае пространство называется -гиперболический).

Условие δ-тонкого треугольника

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

  • графы Кэли, соответствующие двум конечным порождающим множествам, всегда квазиизометрический один к другому;
  • любое геодезическое пространство, квазиизометрическое геодезическому по Громову-гиперболическому пространству, само является Громов-гиперболическим.

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

Замечания

В Лемма Шварца – Милнора.[2] заявляет, что если группа действует правильно прерывисто и с компактным фактором (такое действие часто называют геометрический) на пространстве надлежащей длины , то он конечно порожден, и любой граф Кэли для квазиизометрично . Таким образом, группа (конечно порожденная и) гиперболическая тогда и только тогда, когда она имеет геометрическое действие на собственном гиперболическом пространстве.

Если - подгруппа с конечным индексом (т. е. множество конечно), то включение индуцирует квазиизометрию на вершинах любого локально конечного графа Кэли в любой локально конечный граф Кэли . Таким образом гиперболичен тогда и только тогда, когда сам есть. В более общем смысле, если две группы соизмеримый, то один гиперболический тогда и только тогда, когда другой гиперболичен.

Примеры

Элементарные гиперболические группы

Простейшие примеры гиперболических групп: конечные группы (чьи графы Кэли имеют конечный диаметр, поэтому -гиперболический с равный этому диаметру).

Другой простой пример - бесконечная циклическая группа : граф Кэли относительно генераторной установки является линией, поэтому все треугольники являются отрезками, а график -гиперболический. Отсюда следует, что любая группа, являющаяся практически циклический (содержит копию конечного индекса) также гиперболичен, например бесконечная диэдральная группа.

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

Свободные группы и группы, действующие на деревьях

Позволять - конечное множество и быть свободная группа с генераторной установкой . Тогда граф Кэли относительно является локально конечным дерево а значит, 0-гиперболическое пространство. Таким образом является гиперболической группой.

В целом мы видим, что любая группа который действует должным образом разрывно на локально конечном дереве (в данном контексте это в точности означает, что стабилизаторы в вершин конечны) гиперболичен. Действительно, это следует из того, что имеет инвариантное поддерево, на котором оно действует с компактным фактором, и лемма Сварца — Милнора. Такие группы фактически практически свободны (т.е. содержат конечно порожденную свободную подгруппу конечного индекса), что дает еще одно доказательство их гиперболичности.

Интересным примером является модульная группа : действует на дереве, заданном 1-скелетом связанного мозаика гиперболической плоскости и он имеет конечную безиндексную подгруппу (на двух образующих) индекса 6 (например, набор матриц в сводящиеся к тождеству по модулю 2 и есть такая группа). Обратите внимание на интересную особенность этого примера: он действует должным образом прерывно на гиперболическом пространстве ( гиперболическая плоскость ), но действие не кокомпактное (и действительно является нет квазиизометрична гиперболической плоскости).

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

Обобщая пример модульной группы a Фуксова группа является группой, допускающей собственно разрывное действие на гиперболической плоскости (эквивалентно дискретной подгруппе группы ). Гиперболическая плоскость - это -гиперболическое пространство и, следовательно, лемма Сварца — Милнора говорит нам, что кокомпактные фуксовы группы гиперболичны.

Примеры таких фундаментальные группы из закрытые поверхности отрицательного Эйлерова характеристика. В самом деле, эти поверхности могут быть получены как частные от гиперболической плоскости, как следует из теории Пуанкаре-Кебе. Теорема униформизации.

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

Отрицательная кривизна

Обобщая пример замкнутых поверхностей, фундаментальные группы компактных Римановы многообразия со строго отрицательным секционная кривизна гиперболические. Например, cocompact решетки в ортогональный или же унитарный группа бланка подписи гиперболические.

Дальнейшее обобщение дают группы, допускающие геометрическое действие на CAT (k) пробел.[3] Существуют примеры, которые не соизмеримы ни с одной из предыдущих конструкций (например, группы, геометрически действующие на гиперболических здания ).

Небольшие группы отмены

Группы, презентации которых удовлетворяют небольшая отмена условия гиперболические. Это дает источник примеров, которые не имеют геометрического происхождения, как приведенные выше. Фактически, одним из мотивов первоначального развития гиперболических групп было дать более геометрическую интерпретацию малого сокращения.

Случайные группы

В некотором смысле «большинство» конечно представленных групп с большими определяющими соотношениями являются гиперболическими. Для количественного определения того, что это означает, см. Случайная группа.

Не примеры

  • Простейшим примером негиперболической группы является свободная абелева группа ранга 2 . Действительно, он квазиизометричен Евклидова плоскость который, как легко заметить, не является гиперболическим (например, из-за существования гомотетии ).
  • В более общем смысле любая группа, содержащая как подгруппа не является гиперболическим.[4][5] Особенно, решетки в более высоком ранге полупростые группы Ли и фундаментальные группы нетривиального морской узел дополнения попадают в эту категорию и поэтому не являются гиперболическими. Это также относится к отображение групп классов замкнутых гиперболических поверхностей.
  • В Группы Баумслага – Солитера B(м,п) и любую группу, содержащую подгруппу, изоморфную некоторому B(м,п) не могут быть гиперболическими (поскольку B(1,1) = , это обобщает предыдущий пример).
  • Неравномерная решетка в простой группе Ли ранга 1 является гиперболической тогда и только тогда, когда группа изогенный к (эквивалентно ассоциированное симметрическое пространство - гиперболическая плоскость). Пример этого дается гиперболический группы узлов. Другой - это Группы Бьянки, Например .

Характеристики

Алгебраические свойства

  • Гиперболические группы удовлетворяют Альтернатива сисек: они либо виртуально разрешимы (такая возможность удовлетворяется только элементарными гиперболическими группами), либо имеют подгруппу, изоморфную неабелевой свободной группе.
  • Неэлементарные гиперболические группы не являются просто в очень сильном смысле: если неэлементарно гиперболично, то существует бесконечная подгруппа такой, что и оба бесконечны.
  • Неизвестно, существует ли гиперболическая группа, не являющаяся финитно аппроксимируемая.

Геометрические свойства

  • Неэлементарные (бесконечные и не виртуально циклические) гиперболические группы всегда имеют экспоненциальную скорость роста (это следствие альтернативы Титса).
  • Гиперболические группы удовлетворяют линейному изопериметрическое неравенство.[6]

Гомологические свойства

Алгоритмические свойства

Обобщения

Относительно гиперболические группы

Относительно гиперболические группы являются классом обобщающих гиперболических групп. Очень грубо[12] гиперболичен относительно коллекции подгрупп, если он допускает (не обязательно компактный) собственно разрывное действие на собственном гиперболическом пространстве что "приятно" на границе и такие, что стабилизаторы в точек на границе являются подгруппами в . Это интересно, когда оба и действие на не элементарны (в частности бесконечно: например, каждая группа гиперболична по отношению к себе через свое действие в единственной точке!).

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

Ацилиндрически гиперболические группы

Еще более общее понятие - это ацилиндрически гиперболическая группа.[13] Ацилиндричность действия группы на метрическом пространстве это ослабление собственной прерывности действия.[14]

Группа называется ацилиндрически гиперболической, если она допускает неэлементарное ацилиндрическое действие на (не обязательно правильный) Громовско-гиперболическое пространство. Это понятие включает отображение групп классов через их действия на кривые комплексы. Решетки в группах Ли более высокого ранга не являются (все же!) Ацилиндрически гиперболическими.

CAT (0) группы

В другом направлении можно ослабить предположение о кривизне в приведенных выше примерах: a CAT (0) группа группа, допускающая геометрическое действие на CAT (0) пробел. Это включает в себя Евклидовы кристаллографические группы и равномерные решетки в группах Ли высших рангов.

Неизвестно, существует ли гиперболическая группа, не являющаяся CAT (0).[15]

Примечания

  1. ^ Громов, Михаил (1987). «Гиперболические группы». В Герстене С. (ред.). Очерки теории групп. Публикации Института математических наук, том 8. Нью-Йорк, штат Нью-Йорк: Спрингер. С. 75–263.
  2. ^ Боудич, 2006 и теорема 3.6.
  3. ^ для доказательства того, что это включает в себя предыдущие примеры, см. https://lamington.wordpress.com/2012/10/17/upper-curvature-bounds-and-catk/
  4. ^ Гиз и де ла Харп 1990, Гл. 8, чт. 37.
  5. ^ Бридсон и Хефлигер, 1999 г., Глава 3.Γ, Следствие 3.10 ..
  6. ^ Bowditch 2006, (F4) в п. 6.11.2.
  7. ^ Гиз и де ла Харп 1990, Глава 4.
  8. ^ Минеев 2002.
  9. ^ Чарни 1992.
  10. ^ Дахмани и Гирардел 2011.
  11. ^ Кэннон и Свенсон 1998.
  12. ^ Боудич 2012.
  13. ^ Осин 2016.
  14. ^ Более подробно: он просит, чтобы для каждого существуют так что на каждые два очка которые по крайней мере кроме них не больше элементы удовлетворение и .
  15. ^ "Все ли δ-гиперболические группы CAT (0)?". Обмен стеком. 10 февраля 2015 года.

Рекомендации

дальнейшее чтение