ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ..................................................3
ГЛАВА I. Предварительные сведения - обзор полученных
ранее результатов.........................................8
ГЛАВА И. Геометрия образов фундаментальных многоугольников под действием наборов 0.л................24
ГЛАВА III. Пористость предельного множества в случае
группы без параболических элементов......................40
ГЛАВА IV. Некоторые геометрические особенности группы,
содержащей параболические элементы.......................53
ГЛАВА V. Свойства наборов Агсп...........................69
ГЛАВА VI. Оценки интегралов функции /од(сйзфс,Л))........83
ВВЕДЕНИЕ
Основная цель диссертации это доказательство утверждения о принадлежности классу ВМО функции логарифм расстояния до предельного множества для произвольной конечно порожденной фуксовой группы второго рода.
Теория фуксовых групп - важнейшей разновидности клейновых групп (групп мебиусовых преобразований расширенной комплексной плоскости, действующих разрывно в некотором непустом открытом множестве) имеет приложения, в различных областях математики -теории функции комплексного переменного, топологии, геометрии, теории дифференциальных уравнений и теории чисел.
Фуксовой группой называется клейнова группа, сохраняющая некоторый круг расширенной комплексной плоскости. Всякая фуксова группа является группой изометрий гиперболической плоскости. Стоит отметить факт существования тесной связи между фуксовыми группами и римановыми поверхностями.
Хотя основания теории фуксовых групп были заложены еще в девятнадцатом веке (главным образом, в работах Ф. Клейна и А. Пуанкаре), интерес к этой тематике продолжает проявляться по сей день - с развитием новых методов топологии, геометрии и теории конформных преобразований возникают новые задачи, связанные с фуксовыми группами. В последние десятилетия исследованием фуксовых групп занимались А.Марден, А.Бердон, Т.Йоргенсен, Б.Маскит, А.Гринберг, Б.Апанасов, С.Крушкаль и др.
Предельным множеством произвольной фуксовой группы называется множество дополнительное к регулярной области группы. В настоящее время имеется ряд результатов, касающихся свойств предельного множества фуксовых групп второго рода (фуксова группа относится ко второму роду, если ее предельное множество не совпадает с ее инвариантной окружностью). Известно, что предельное множество представляет собой нигде не плотное подмножество инвариантной окружности. Если группа является
конечно порожденной, то предельное множество имеет нулевую лебегову меру на инвариантной окружности; предельное множество бесконечно порожденной группы может иметь положительную меру Лебега. Как показано X. Поммеренке, предельное множество любой конечно порожденной фуксовой группы второго рода обладает свойствам Карлесона, выражающимся в том, что функция логарифм расстояния до предельного множества такой группы является суммируемой по Лебегу.
Если фуксова группа не является элементарной, иначе говоря, если её предельное множество содержит более двух точек, то предельное множество этой группы представляет собой континуум, и “достаточно велико” (даже для конечно порожденной группы), если подходить к понятию “малости” множества с некоторых других точек зрения: в работе [26] П.Мирберг показал, что предельное множество любой неэлементарной фуксовой группы имеет положительную логарифмическую ёмкость; А.Бердон ([13] - [16]) установил, что хаусдорфова размерность этого множества есть положительное число, меньшее единицы, причем, если группа содержит параболические элементы, то хаусдорфова размерность больше одной второй.
На основании этих данных представлялось интересным исследовать вопрос о “регулярности” строения предельного множества - в работе [10] Н. А. Широкова было сформулировано утверждение о том, что функция логарифм расстояния до предельного множества имеет ограниченную осцилляцию, говоря иначе, является элементом класса ВМО. В этой же работе приведены примеры применения данного утверждения: для построения Г-автоморфных форм отрицательного веса и максимальной возможной гладкости, а также для доказательства теоремы Бердона о принадлежности функции расстояние до предельного множества
конечно порожденной фуксовой группы второго рода классу Ьр при некотором р, меньшем единицы (зависящем от группы). Однако доказательство принадлежности функции 1од(с1 (х,Л)) классу ВМО не было приведено.
Используя методы работы [11], можно показать, что «регулярность» множества является одним из следствий пористости этого множества, то есть существования не зависящей от дуги единичной окружности оценки доли в этой дуге максимальной компоненты дополнения к предельному множеству. Таким образом, естественным образом возник вопрос о тех случаях, когда предельное множество фуксовой группы является пористым.
Кратко обсудим наиболее важные термины, использующиеся в диссертации (подробное описание используемой терминологии, а также обзор основных известных результатов, используемых в тексте диссертации, приведены в главе I)
Фуксова группа - это дискретная группа дробно-линейных (мёбиусовых) преобразований, сохраняющая круг или полуплоскость расширенной комплексной плоскости (при условии существования для группы мебиусовых преобразований инвариантного круга дискретность группы эквивалентна разрывному действию этой группы вне ее инвариантной окружности). При этом произвольная группа в гомеоморфизмов некоторого пространства X называется действующей разрывно в X, если для любого компактного подмножества К в X условие д(К)Г\К *0 выполняется лишь для
конечного набора элементов д группы в. Регулярной областью фуксовой группы й называется наибольшее в-инвариантное подмножество расширенной комплексной плоскости, в котором группа й действует разрывно. Предельным множеством Л(О) группы мёбиусовых преобразований называется дополнение к регулярной области группы относительно расширенной комплексной плоскости.
Обозначение сИэЬ (х, К) отвечает евклидову расстоянию между точкой х замкнутого единичного круга и подмножеством К замкнутого единичного круга. Для любой дуги J единичной окружности символ | с/ | обозначает длин}' этой дуги.
Функция /, определенная на единичной окружности, называется функцией с ограниченной осцилляцией, если для этой функции
5
найдегся такая положительная постоянная С, что для любой дуги / единичной окружности справедлива оценка
pLj|/(Z)-/,|idzjsc,
где /, =|^-7 j/И |dz|.
1 * 1
Совокупность всех функций с ограниченной осцилляцией образует линейное пространство, называемое ВМО (boundary mean of oscillation).
Множество К на единичной окружности называется пористым, если существует такое положительное число S, что для любой дуги I единичной окружности найдется дута J, содержащаяся в I \ К и
удовлетворяющая условию | J | > £j / |.
Структура диссертации такова. В Главе I изложены предварительные сведения: приведены все необходимые определения и формулировки полученных ранее результатов; обсуждается используемая в диссертации терминология.
Глава II посвящена обсуждению достаточно элементарных, но необходимых для дальнейшего изложения свойств выпуклого фундаментального многоугольника конечно порожденной фуксовой группы, а также свойств многоугольников G"(P), где G* - это
специальные наборы элементов группы G, порождающие группу.
Случай группы без параболических элементов рассматривается в главе III. В этом разделе для произвольной конечно порожденной фуксовой группы без параболических элементов доказывается возможность построения многоугольника специального вида, на основании чего затем доказывается следующее утверждение:
Теорема. Пусть G - конечно порожденная фуксова группа второго рода без параболических элементов, инвариантный круг которой это единичный круг комплексной плоскости. Тогда предельное множество группы G является пористым.
6
Специфика геометрии группы, содержащей параболические элементы, обсуждается в главе IV. Каждому параболическому элементу группы сопоставляется некоторый положительный параметр и доказывается, что совокупность всех параметров, отвечающих произвольной фуксовой группе, является замкнутым дискретным подмножеством вещественной прямой. Это утверждение позволяет получить для фуксовой группы не зависящую от параболической неподвижной точки и оценку выражений вида
5 „"И) “ 3»"(-^)|/ \9,т{-и) - 9уМ. где 9„ это элемент,
порождающий стабилизатор точки V.
Глава V посвящена построению для фуксовой группы специальных семейств Агсп дут единичной окружности (для каждого
целого неотрицательного числа п семейство Агсп является дизъюнктным набором дуг, объединение которых представляет собой открытую относительно окружности окрестность предельного множества). Обсуждаются свойства дуг семейств Агсп.
В главе VI сначала на основании результатов главы V для произвольной дуги I набора Агсп по индукции доказывается оценка
| 1од{<ИзЦг, А)) ]<1г) =| / |-1о^ / | + 0(| 11),
/
причем полученная оценка равномерна. Использование этого соотношения позволяет уже для произвольной дуги I единичной окружности, пересекающейся с предельным множеством А, предъявить такую постоянную Р1 (зависящую от I), что справедлива
оценка
1
тем самым, доказывается следующее утверждение:
Теорема. Пусть в - конечно порожденная фуксова группа второго рода, инвариантный круг которой это единичный круг комплексной плоскости; Л - предельное множество группы & Тогда
7
найдется некоторая положительная постоянна С, такая что для любой дуги I единичной окружности существует число р[} для
которого справедлива оценка
\\1од{(И5Ц2,А))-/31\\Аг\<С\1\.
1
На основании классических результатов о свойствах класса ВМО (см. [4]) можно утверждать, что последняя теорема эквивалентна утверждению о принадлежности функции 1од{с1Ы (^с,Л(0))) классу ВМО для любой конечно порожденной фуксовой группы С второго рода.
ГЛАВА I. ПРЕДВАРИТЕЛЬНЫЕ СВЕДЕНИЯ -ОБЗОР ПОЛУЧЕННЫХ РАНЕЕ РЕЗУЛЬТАТОВ.
Мёбиусово преобразование. Мёбиусово (дробно-линейное) преобразование расширенной комплексной плоскости С, это отображение вида
т-<Щ.
сг + а
где а, Ь7 с и б. - комплексные числа, подчиненные условию ас! - Ьс * 0.
Все мёбиусовы преобразования (и только они) являются конформными преобразованиями расширенной комплексной плоскости С - здесь, также как всюду далее, все топологические понятия относятся к обычной топологии в С, то есть топологии, порожденной хордовой метрикой <2:
2\х-у\
, при х,у е С
№Г№) 2
1/2
[Ш
при у =со
8
- Київ+380960830922