Группа Шоттки - Schottky group

Фундаментальная область 3-образной группы Шоттки

В математика, а Группа Шоттки особый вид Клейнианская группа, впервые изученный Фридрих Шоттки  (1877 ).

Определение

Исправить некоторую точку п на Сфера Римана. Каждый Кривая Иордании не проходя через п делит сферу Римана на две части, и мы называем часть, содержащую п «внешность» кривой, а другая часть - «внутренность». Предположим, есть 2г непересекающийся Кривые Иордании А1, B1,..., Аг, Bг в сфере Римана с непересекающимися внутренностями. Если есть Преобразования Мебиуса Тя взяв за пределы Ая на внутренней стороне Bя, то порожденная этими преобразованиями группа является Клейнианская группа. А Группа Шоттки - любая клейнова группа, которую можно построить подобным образом.

Свойства

Работой Маскит (1967), конечно порожденная клейнова группа называется Шоттки тогда и только тогда, когда она конечно порожденный, свободный, имеет непустую область разрыва, а все нетривиальные элементы локсодромный.

Фундаментальная область действия группы Шоттки г на своих регулярных точках Ω (г) в сфере Римана задается внешностью определяющих ее жордановых кривых. Соответствующее фактор-пространство Ω (г)/г дается соединением жордановых кривых попарно, так же как и компактная риманова поверхность рода г. Это граница трехмерного многообразия, заданного факторизацией (ЧАС∪Ω (г))/г трехмерной гиперболической ЧАС пространство плюс регулярное множество Ω (г) группы Шоттки г, который представляет собой ручку из рода г. Обратно, любая компактная риманова поверхность рода г может быть получен из некоторой группы Шоттки рода г.

Классические и неклассические группы Шоттки

Группа Шоттки называется классический если все непересекающиеся жордановы кривые, соответствующие некоторому набору образующих, можно выбрать как окружности. Марден (1974, 1977 ) дал косвенное и неконструктивное доказательство существования неклассических групп Шоттки, и Ямамото (1991) привел явный пример одного. Это было показано Дойл (1988) что все конечно порожденные классические группы Шоттки имеют предельные множества хаусдорфовой размерности, ограниченные сверху строго универсальной константой, меньшей 2. Наоборот, Хоу (2010) доказал, что существует универсальная нижняя граница хаусдорфовой размерности предельных множеств всех неклассических групп Шоттки.

Предельные множества групп Шоттки

Предел группы Шоттки (клейниана) на плоскости

В установленный предел группы Шоттки дополнение к Ω (г) всегда есть Мера Лебега ноль, но может иметь положительный d-размерный Мера Хаусдорфа для d <2. Он совершенен и нигде не плотен с положительной логарифмической емкостью.

Утверждение о мерах Лебега следует для классических групп Шоттки из существования Серия Пуанкаре

Пуанкаре показал, что сериал | cя |−4 суммируема по неединичным элементам группы. Фактически, если взять замкнутый диск внутри фундаментальной области, его образы при различных элементах группы не пересекаются и содержатся в фиксированном круге около 0. Таким образом, суммы площадей конечны. По формуле замены переменных, площадь больше постоянной раз | cя |−4.[1]

Аналогичное рассуждение означает, что предельное множество имеет нулевую меру Лебега.[2] Ибо он содержится в дополнении объединения образов фундаментальной области элементами группы с длиной слова, ограниченной п. Это конечное объединение кругов, поэтому имеет конечную площадь. Эта область ограничена сверху константой, умноженной на вклад в сумму Пуанкаре элементов длины слова. п, поэтому уменьшается до 0.

Пространство Шоттки

Пространство Шоттки (некоторого рода г ≥ 2) - пространство отмеченных групп Шоттки рода г, другими словами, пространство множеств г элементы PSL2(C), порождающие группу Шоттки, с точностью до эквивалентности относительно преобразований Мёбиуса (Берс 1975 ). Это комплексное многообразие комплексной размерности 3.г−3. Он содержит классическое пространство Шоттки как подмножество, соответствующее классическим группам Шоттки.

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

Смотрите также

Заметки

использованная литература

внешние ссылки