Математическая энциклопедия - псевдогруппа

преобразований дифференцируемого многообразия М - семейство диффеоморфизмов открытых подмножеств многообразия Мв М, замкнутое относительно композиции отображений, перехода к обратному отображению, а также сужения и склейки отображений. Точнее, псевдогруппа преобразований (п. п.) Г многообразия Мсостоит из локальных преобразований, т. е. пар вида , где Dp - открытое подмножество в М, а диффеоморфизм , причем предполагается, что 1) 2) , 3) , 4) если диффеоморфизм открытого подмножества в М и , где Da - открытые подмножества в М, то для любого a. Видоизменяя должным образом условия 1)-4), можно определить п. п. произвольного топологич. пространства (см. [7]) или даже произвольного множества. Так же, как группа преобразований, п. п. определяет на Мотношение эквивалентности; классы эквивалентности наз. ее орбитами. П. п. Г многообразия Мназ. транзитивной, если М- ее единственная орбита, и наз. примитивной, если в Мнет нетривиальных гладких Г-инвариантных слоений (в противном случае п. п. наз. и м примитивной).

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

Примеры п. п. Ли. 1) П. всех голоморфных локальных преобразований n-мерного комплексного пространства . 2) П. всех голоморфных локальных преобразований пространства с постоянным якобианом.

3) П. всех голоморфных локальных преобразований пространства с якобианом, равным 1.

4) Гамильтонова псевдогруппа, состоящая из всех голоморфных локальных преобразований пространства (пчетно), сохраняющих дифференциальную 2-форму

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

7) Вещественные аналоги комплексных п. п. из примеров 1) б). Порядки п. п. Ли из примеров 1), 3) 6) равны 1, а в примере 2) порядок равен 2.

Любая группа Ли Gпреобразований многообразия Мопределяет п. п. Г(G), состоящую из ограничений преобразований из Gна открытые подмножества многообразия М. П. п. вида Г(G) наз. глобализуемыми. Так, П. локальных конформных преобразований сферы Sⁿ глобализуема при n>2 и не глобализуема при n=2.

П. п. Ли Г наз. п. п. конечного типа, если найдется такое натуральное число d, что любое локальное преобразование однозначно определяется своей d-струей в нек-рой точке ; наименьшее такое число dназ. степенью, или типом, п. п. Г; если же такого dне существует, то Г наз, д. п. бесконечного типа, П. п. в примерах 1) 6) примитивные п. п. Ли бесконечного типа.

Пусть Г транзитивная п. п. Ли n-мерного дифференцируемого многообразия Ми G^r (Г) совокупность всех r-струй локальных преобразований из Г, сохраняющих точку , т. е. таких , что и . Множество G^r (Г), снабженное естественной структурой группы Ли, наз. группой изотропии r-го порядкап. п. Г (группа G¹ (Г) наз. также линейной группой изотропии п. п. Г). Алгебра Ли группы G^r (Г) естественным образом вкладывается в алгебру Ли r-струй векторных полей на Мв точке О, Если Г п. п. Ли первого порядка, то ядро G^(r) (Г).естественного гомоморфизма при любом зависит только от линейной группы изотропии G¹ (Г) и наз. ее r-м продолжением. П. ц. Ли Г первого порядка тогда и только тогда явдяется п. п. конечного типа d, когда

Если при этом линейная группа изотропии G¹ (Г) неприводима, то (см. [5]). Для того чтобы п. п. Ли Г первого порядка была п. п. конечного типа, необходимо, а в комплексном случае и достаточно, чтобы алгебра Ли не содержала эндоморфизмов ранга 1 (см. [10]). Такие линейные алгебры Ли наз. эллиптическими.