CC BY
13
УДК 514.144.12
Н. П. Можей, доцент
ОРБИТАЛЬНЫЕ РАЗЛОЖЕНИЯ ГРУПП АФФИННЫХ И ПРОЕКТИВНЫХ ПРЕОБРАЗОВАНИЙ
This paper is devoted to the study of locally transitive affine and projective actions in low dimensions. We classify locally transitive subalgebras in the Lie algebra of three-dimensional affine and projective spaces. We pick those of these subalgebras that have finitely many orbits and find their decompositions into orbits. Also, a classification of finite orbit decompositions of connected affine transformation groups in space is obtained.
Введение. В конце прошлого века Софус Ли создал теорию «непрерывных групп преобразований», из которой выросло направление, названное теперь теорией групп Ли. Понятие действия группы Ли было отправной точкой исследований Софуса Ли, которые привели к созданию теории, носящей теперь его имя. Софусом Ли была получена, в частности, классификация аналитических локальных действий гр уш Ли на откр ьтых подмножествах пространств R" и С" при п = 1, 2 [1, 2].
Темой настоящей работы является описание локально-транзитивных аффинных действий на R и проективных на ЯР , т. е. описание связных локально-транзитивных подгрупп группы Ли А£Т(3, Я) = ОЬ(3, R) х R3 и, соответственно, группы БЬ(4 , Я), а также описание их ор б!-тальных разложений.
Основная часть. Гомоморфизм а группы Ли О в группу диффеоморфизмов многообразия М называется ее действием на М, если отображение
G х М ^ М, х) — а^)х
дифференцируемо.
Например, естественное действие БЬ(п, Р) в проективном пространстве является действием в смысле теории групп Ли (в дальнейшем под полем Р будем подразумевать R или С).
Любой гомоморфизм f: ОА(^) можно рассматривать как действие группы Ли О на аффинном пространстве (здесь ОЛ - полная аффинная группа).
В работах Софуса Ли изучаются группы, состоящие из локальных аналитических диффеоморфизмов, а не действия абстрактно заданных групп Ли.
Локальным действием группы О на многообразии М называется дифференцируемое отображение f: М, где Ж - открытое подмножество в Ох М, содержащее {е} х М и удовлетворяющее свойствам действия на области определения этих свойств.
Пусть заданы два локальных действия: / -действие группы О на многообразии М и / - действие группы О' на многообразии М'. Эти действия являются локально подобными, если существуют такие открытые подмножества и в М
и и' в М\ что локализации действий / на и и / на и' подобны (т. е. существуют локальный изоморфизм групп Ли h: О ^ О' и диффеоморфизм ф: и ^ и', такие что
ф(х)) = ф(Пя,Х)
для всех g е О, хе и, для которых определены обе части). Если О = О' и h = id, то мы имеем локально изоморфные локальные действия f и/. Если О = О', а изоморфизм Н внутренний (т. е. для некоторого ае О имеем g— aga—), то локально подобные действия будут локально изоморфны, а их локальный изоморфизм, заданный на открытом подмножестве в и, имеет вид
у: х1—^ Г (а, ф(х)).
При классификации локальных действий удобен переход к инфинитезимальному языку. Локальное действие группы Ли О на многообразии М однозначно определяется действием касательной алгебры Ли д на М, причем локальные действия групп Ли являются локально подобными тогда и только тогда, когда подобны соответствующие действия алгебр Ли (аналогичное утверждение верно для локально изоморфных локальных действий).
Описание подгрупп аффинной группы сводится к описанию локально-транзитивных подалгебр алгебры Ли aff(3, R) = д1 (3, R) х R3 (с точностью до группы АЩ3, Я)). Описание подгрупп группы Ли АЩ2, Я) проделано, например, в [3].
Множество всех подалгебр алгебры Ли aff(3, Я) находится во взаимно однозначном соответствии с множеством троек (а, Ж, ю), где а - подалгебра алгебры Ли д1 (3, R); Ж - подпространство в V = R3, инвариантное относительно а; ю: а ^ V / Ж - такое линейное отображение, что ю([х, у]) = х.ю(у) - у.ю(х) для всех х, у е а [4]. Элементы ю есть элементы а, V / Ж) - пространства 1-коциклов алгебры Ли а с коэффициентами в V / Ж.
На множестве всех подалгебр действует группа АЩ3, Я). Множество подалгебр алгебры Ли aff (3, Я) с точностью до этой группы находится во взаимно однозначном соответствии с множеством троек (Ж, а, ю), где ю е Н:(а, V/ Ж) [4].
Классифицируем подалгебры алгебры Ли aff (3, Я) с точностью локального подобия следующим образом.
1. Опишем подпространства Ж пространства V с точностью до действия группы ОЬ(3, R).
2. Для каждого такого подпространства Ж опишем все подалгебры а алгебры Ли д1 (3, R), сохраняющие Ж, с точно стью до сопр яженно-сти относительно преобразований полной линейной группы, сохраняющих Ж.
3. Для каждой такой подалгебры а опишем элементы пространства Н:( а, V / Ж) с точностью до естественного действия группы всех преобразований из полной линейной группы, сохраняющих подпространство Ж.
Поскольку нас интересуют только локально-транзитивные подалгебры, то при классификации в каждом случае будем учитывать требование локальной транзитивности.
Получив классификацию локально-транзитивных аффинных подалгебр, изучим их орбитальные разложения. Выберем из полученных орбитальных разложений те, которые имеют конечное число орбит и не переводятся друг в друга аффинными преобразованиями. Для плоскости классификация конечных орбитальных разложений была проделана в [5].
Пусть {Оь ..., Ор} - набор орбит. Обозначим через х, у, г координаты в А . Каждую орбиту ОI на пространстве А3 будем описывать при помощи системы соотношений вида
/ (х, у, г) = 0) л ... л /(х, у, г) = 0) л
/п+\(х, у, г) > 0) л ... л /(х, у, г) > 0),
1 < к, /ц, ..., /к - дифференцируемые функции. Точка т пространства А3 принадлежит орбите О{ тогда и только тогда, когда ее координаты удовлетворяют данной системе. Орбитальное р аложение для алгебр ы (группы) Ли аффинных преобразований будем записывать в следующем виде:
(теО 1) V (теО2) V ... V (теОр).
Теорема. Связная группа Ли аффинных преобразований, действующая на аффинном пространстве А3 с конечным числом орбит, имеет одно из следующих аффинно неизоморфных орбитальных разложений:
1. (х = 0 V х > 0 V х < 0) л (у = 0 V у > 0 V у < 0) л (г = 0 V г > 0 V г < 0).
2. ( г = 0 V г > 0 V г < 0) л (х = у = 0 V х2 + у2 Ф 0).
3. (х = 0 V х > 0 V х < 0) л у = г = 0 V (у > 0 V у < 0) л г = 0 V (г > 0 V г < 0).
4. (х = 0 V х > 0 V х < 0) л у = г = 0 V (у > 0 V у < 0) л г = 0 V (2гх = у2 V 2гх < у2 V 2гх > у2) л (г > 0 V г < 0).
5. (у = 0 V у > 0 V у < 0) л г = 0 л (х = 0 V х > 0 V х < 0 ) V (у = 0 V у > 0 V у < 0) л (г > 0 V г < 0).
6. (у = 0 V у > 0 V у < 0) л (х = 0 V х > 0 V х < 0) V (г > 0 V г < 0).
7. у = г = 0 л (х = 0 V х > 0 V х < 0) V (у = 0 V у > 0 V у < 0) л (г > 0 V г < 0) V (у > 0 V у < 0) л г = 0.
8. (х = 0, г = у = 0) V (уг = х2, у > 0, г > 0) V (уг = х2, у < 0, г < 0) V (уг > х2, у > 0, г > 0) V (уг > х2, у < 0, г < 0) V (уг < х2).
9. (х = у = г = 0) V (х2 + у2 + г2 Ф 0).
10. ( х = у = г = 0) V г > 0 V г < 0 V (г = 0, х2 + у2 Ф 0).
11. (х = у = г = 0) V (х > 0, у = г = 0) V (х < 0, у = г = 0) V (у2 + г2 Ф 0).
12. (х = 0 V х > 0 V х < 0) л г = 0 V (г > 0 V г < 0) л (х = уг V х < уг V х > уг).
13. (у = 0 V у > 0 V у < 0) л (г = 0 V г > 0 V г < 0).
14. (х = 0 V х > 0 V х < 0) л г = 0 V (г > 0 V г < 0).
15. г = 0 V г > 0 V г < 0.
16. (у = 0 V у > 0 V у < 0) л (х = г2 V х > г2 V х < г2).
17. г = 0 л (х = у2 V х > у2 V х < у2) V (г > 0 V г < 0).
18. х = уг V х > уг V х <уг.
19. х = у2 + г2 V х < у2 + г2 V х >у2 + г2.
20. (х = у = 0) V (х2 + у2 Ф 0).
21. у = г V у < г2 V у > г2.
22. (х = уг - гъ / 3) V (х < уг - г3 / 3) V (х > уг - - г1, / 3).
23. Все пространство А3 - одна орбита.
Назовем линейным случай, когда каждая
орбита в орбитальном разложении вкладывается в линейное подпространство той же размерности. В приведенной выше теореме линейными являются разложения 1,2,3,5,6, 7,9, 10, 11, 13, 14, 15, 20, 23.
В разложениях 18, 19, 21, 22 орбитами являются поверхность (гиперболический параболоид, эллиптический параболоид, цилиндр с параболой в основании и поверхность Кэли соответственно), ее внутренность и внешность; в разложении 8 - точка, два конуса, их внутренности и внешность. В случаях 12 16 и 4 ор батальные разложения получаются пересечением разложений 18, 21 и 8 с плоскостью, а именно: в случае 12 имеем две половинки гиперболических параболоидов, две их внутренности и две внешности, а также прямую пересечения параболоида и плоскости и две полуплоскости; в случае 16 получаем два полуцилиндра, две их внешности и две внутренности, а также плоскость, которая параболой разбивается на три орбиты; в случае 4 -две полупрямых пересечения полуконусов и плоскости по образующим конусов, два полуконуса без этих полупрямых, две их внешности и две внутренности, точку и две полуплоскости. В случае 17 парабола разбивает плоскость на три орбиты, а эта плоскость - в свою очередь, пространство на два полупространства. Это завершает описание всех орбитальных разложений.
Классифицируем теперь локально-транзитивные проективные действия на ЯР3, т. е. опишем связные локально-транзитивные подгруппы группы Ли £Ц4, Я). Как сказано выше, это описание сводится к описанию локально-транзитивных подалгебр алгебры Ли sl (4, R). Описание проводится с точностью до группы 5Ц4 , Я), котор ая элемент ф е sl(4, Я) переводит в элемент gфg—, g е SL(4, Я).
Опишем сначала локально-транзитивные подалгебры алгебры Ли sl (4, Я), действие которых сводится к аффинному. Пусть подгруппа в £Ц4, Я) имеет трехмерное инвариантное подпространство. В некотором базисе ей соответствует некоторая подгруппа АЩ3, Я), причем все подгруппы в £Ц4, Я), сохраняющие трехмерное подпространство инвариантным, в некотором базисе имеют именно такой вид.
Группа должна действовать локально тран-зитивно, следовательно, существует открытое множество и, на котором группа действует транзитивно. Тогда она действует транзитивно и на открытом множестве
и 1{х : х2 : х3 : 0}.
Не нарушая общности, можно продолжать рассуждения для локальной карты на пространстве ЯР3
(
(х : x2 : хз : Х4) ^
Л
V Х4
х х
■4 У
Каждому проективному действию, сохраняющему трехмерное инвариантное подпространство, мы поставили в соответствие аффинное.
Классификация локально-транзитивных подалгебр алгебры sl (4, Я), имеющих трехмерное инвариантное подпространство, с точностью до подгруппы АЩ3, Я) равносильна классификации аффинных подалгебр, которая была проделана ранее. Следовательно, чтобы описать подалгебры в sl (4, Я), сохраняющие трехмерное инвариантное подпространство, достаточно выбрать из подалгебр, соответствующих аффинным, несопряженные в группе проективных преобразований.
Проведем классификацию подалгебр, которые не сводятся к подалгебрам аффинной алгебры, т. е. не имеют трехмерных инвариантных подпространств (это означает, что подалгебра либо неразрешима, либо является вещественной формой разрешимой подалгебры, имеющей трехмерные инвариантные подпространства над полем С).
Классифицируем неразрешимые подалгебры, не имеющие трехмерных инвариантных подпространств. Каждая неразрешимая подалгебра д содержит полупростую подалгебру Леви а (все полупростые подалгебры
классифицированы); алгебра sl (4, R) является a -модулем (относительно присоединенного представления) и разлагается в прямую сумму изотипных компонент; g является прямой суммой своих пересечений с изотипными компонентами. Таким образом, чтобы определить g, найдем все подмодули каждой изо-типной компоненты, составим их суммы и проверим, является ли полученное пространство алгеброй Ли.
Чтобы классифицировать разрешимые подалгебры, проверим для каждой найденной подалгебры, имеющей трехмерные инвариантные подпространства, содержит ли их ее вещественная форма. Это завершит классификацию.
Если проективная подалгебра имеет конечное число орбит, то соответствующая ей аффинная подалгебра также имеет конечное число орбит. Следовательно, в рассмотрении достаточно ограничиться проективными подалгебрами, у которых аффинные алгебры имеют конечное число орбит.
Заключение. Классифицированы локально-транзитивные аффинные и проективные действия на трехмерном пространстве, т. е. подалгебры алгебр аффинных и проективных преобразований, которые имеют открытые орбиты при действии на соответствующих пространствах. Проведено полное описание подалгебр полной аффинной алгебры и подалгебр проективной алгебры трехмерного пространства. Выделены подалгебры, действующие локально-транзитивно и, в особенности, имеющие конечное число орбит. Приведена классификация конечных орбитальных разложений.
Предложенная методика может быть использована для произвольной размерности.
Литература
1. Lie, S. Theorie der Transformationsgruppen / S. Lie, F. Engel. - Leipzig: Teubner, 1893. -830 s.
2 . Чеботатев, Н. Г. Теор и гр уш Ли / Н. Г. Чеботатев. - М.; Л.: Гостехиздат, 1940. -396 с.
3. Koch, R. M. On generating subgroups of the affine group in the p lane by pa irs of infinitesimal transformations / R. M. Koch, F. Lowenthal. -Rocky Mountain J. Math. - 1976. - Vol. 6, № 1. -P. 119-131.
4. Doubrov, B. Homogeneous surfaces in the three-dimensional affine geometry / B. Doubrov, B. Komrakov, M . R abinovich. - Topology a nd geometry of s ubmanifolds. R iver Edge: World Sci. - 1996. - Vol. 8. - P. 212-223.
5. Пясецкий, В. С. Конечные орбитальные разложения групп аффинных преобразований плоскости / В. С. Пясецкий // Вопросы теории групп и гомологической алгебры. - Ярославль: ЯГУ, 1988. - C. 155-157.
