Математическая энциклопедия - дискретная подгруппа
Связанные словари
Дискретная подгруппа
подгруппа Г топологич. группы G(в частности, подгруппа группы Ли), являющаяся дискретным подмножеством топологич. пространства G. В локально компактных топологич. группах (в частности, в группах Ли) выделяют решетки Д. п., для к-рых факторпространство имеет конечный объем в смысле меры, индуцированной левоинвариантной Хаара мерой на группе G. К числу решеток относятся равномерные Д. п., для к-рых факторпространство компактно.
Если Ккомпактная подгруппа локально компактной топологич. группы G, то подгруппа дискретна тогда и только тогда, когда она является дискретной группой преобразований пространства X G/К (в смыс-. ле действия, индуцированного естественным действием группы Gна X). При этом Г является решеткой (соответственно равномерной Д. п.) тогда и только тогда, когда факторпространство имеет конечный объем в смысле меры, индуцированной G-инвариантной мерой на X(соответственно компактно). Это дает возможность использовать при изучении Д. п. групп Ли геометрич. методы.
Одна из основных задач теории Д. п. групп Ли классификация таких подгрупп с точностью до соизмеримости. Подгруппы Г 1, Г 2 группы Gназ. соизмеримыми, если имеет конечный индекс как в Г 1, так и в Г 2. Если одна из соизмеримых подгрупп локально компактной топологич. группы является Д. п. (соответственно решеткой, равномерной Д. п.), то и другая обладает этим свойством.
До середины 20 в. рассматривались в основном отдельные классы Д. п. групп Ли, обязанные своим происхождением арифметике, теории функций и физике. Исторически первая нетривиальная Д. п.подгруппа SL2(Z) группы SL2(R), названная впоследствии модулярной группой Клейна фактически рассматривалась Ж. Лагранжем (J. Lagrange) и К. Гауссом (С. Gauss) в их исследованиях по арифметике квадратичных форм от двух переменных. Ее естественным обобщением является подгруппа SLn(Z) группы SLn(R). Исследование этой группы как дискретной группы преобразований пространства положительно определенных квадратичных форм от ппеременных составило предмет теории приведения, разработанной А. Н. Коркиным, Е. И. Золотаревым, Ш. Эрмитом (Ch. Hermite),Г. Минковским (Н. Minkowski) и др. во 2-й пол. 19 начале 20 вв. Ряд арифметически определяемых Д. п. классич. групп Ли: группы единиц квадратичных форм с рациональными коэффициентами, группы единиц простых алгебр над Q, группу целочисленных симплетич. матриц исследовал в 40-х гг. 20 в. К. Зигель (С. Siegel). Он, в частности, доказал, что все эти группы являются решетками в соответствующих группах Ли.
В теории функций комплексного переменного интегрирование алгебраич. функций и, более общо, решение дифференциальных уравнений с алгебраич. коэффициентами привело к рассмотрению нек-рых специальных функций (названных впоследствии автоморфными функциями), инвариантных относительно различных дискретных групп, состоящих из преобразований вида
Некоторые возникающие таким образом Д. п. группы SL2(R) были рассмотрены примерно в середине 19 в. в работах Ш. Эрмита, Р. Дедекинда (R. Dedekind) и И. Л. Фукса (I. L. Fuchs). Среди них была и группа SL2(Z) (но представленная другим образом, чем у Ж. Лагранжа и К. Гаусса). Обширный класс таких групп, в том числе группа SL2(g) и нек-рые соизмеримые с ней подгруппы группы SL2(R), был изучен Ф. Клейном (К. Klein). Почти одновременно, в 1881-82 А. Пуанкаре (Н. Poincare) дал геометрич. описание всех дискретных групп, состоящих из преобразований вида (1). Эти группы были им названы фуксовыми группами.
В 1-й половине 20 в. рассматривались отдельные классы автоморфных функций многих переменных. Эти функции были связаны с некоторыми арифметически определяемыми Д. п. групп (SL2(R))k (модулярные функции Гильберта), Sp2n (R) (модулярные функции Зигеля) и других полупростых групп Ли.
В кристаллографии начиная с конца 19 в. рассматривались группы симметрии кристаллич. структур, являющиеся не чем иным, как равномерными Д. п. группы движений трехмерного евклидова пространства. Эти и подобные им группы движений n-мерного евклидова пространства так наз. кристаллографические группыбыли изучены с алгебраич. точки зрения Л. Бибербахом (L. Bieberbach) в 1911. Он доказал, в частности, теорему о том, что всякая кристаллографич. группа содержит равномерную Д. п. группы параллельных переносов.
Все эти исследования послужили исходным материалом для общей теории Д. п. групп Ли, основы к-рой были заложены в 50-60-е гг. 20 в.
Построена исчерпывающая теория Д. п. нильпотентных групп Ли [9]. Ее основные утверждения: 1) Если Нунипотентная алгебраич. группа, определенная над Q, то группа Н Z ее целых точек является равномерной Д. п. в группе HR ее действительных точек. (При этом Н Rодносвязная нильпотентная группа Ли.) 2) Всякая равномерная Д. п. Г односвязной нильпотентной группы Ли Gарифметична в том смысле, что существуют унипотентная алгебраич. группа Н, определенная над Q, и изоморфизм j: такие, что подгруппа Г соизмерима с j( Н Z). 3) Если Г 1, Г 2 равномерные Д. п. односвязных нильпотентных групп Ли G1, G2 соответственно, то всякий изоморфизм однозначно продолжается до изоморфизма 4) Абстрактная группа Г вкладывается в виде равномерной Д. п. в односвязную нильпотентную группу Ли тогда и только тогда, когда Г конечно порожденная нильпотентная группа без кручения.
Д. п. разрешимых групп Ли изучены достаточно хорошо, но результаты здесь не отличаются таким совершенством, как для нильпотентных групп. Всякая решетка в разрешимой группе Ли является равномерной Д. п. Если Г решетка в односвязной разрешимой группе Ли G, то группа Gдопускает точное матричное представление, при к-ром элементы группы Г представляются целочисленными матрицами [13]. Это утверждение можно рассматривать как обобщение теоремы 2) Мальцева. Аналогом теоремы 4) является следующее утверждение. Всякая решетка в односвязной разрешимой группе Ли есть строго полициклическая группа;и обратно, всякая строго полициклич. группа обладает подгруппой конечного индекса, изоморфной решетке в односвязной разрешимой группе Ли.
Наиболее тонкие результаты теории Д. п. групп Ли относятся к Д. п. неразрешимых и, в частности, полупростых групп Ли. В [4] доказана следующая теорема, включающая в себя в виде частных случаев теорему 1) Мальцева, Дирихле теорему о единицах поля алгебраич. чисел и упомянутые выше результаты Зигеля о нек-рых арифметич. Д. п. полупростых групп Ли. Пусть Нлинейная алгебраич. группа, определенная над Q. Для того чтобы подгруппа Н Z была решеткой в HR, необходимо и достаточно, чтобы группа Нне допускала рациональных гомоморфизмов на группу С*, определенных над Q (это условие, в частности, "выполняется, если группа Нполупроста или унипотентна). Для того чтобы подгруппа Н Z была равномерной Д. п. в HR, необходимо и достаточно, сверх этого, чтобы все унипотентные элементы группы HQ лежали в UQ, где Uунипотентный радикал группы Н.