Существенные группы изометрий некомпактных двумерных плоских лоренцевых орбифолдов Текст научной статьи по специальности «Математика»

УДК 514.77

DOI 10.21685/2072-3040-2019-1-2

Е. В. Боголепова, Н. И. Жукова

СУЩЕСТВЕННЫЕ ГРУППЫ ИЗОМЕТРИЙ НЕКОМПАКТНЫХ ДВУМЕРНЫХ ПЛОСКИХ ЛОРЕНЦЕВЫХ ОРБИФОЛДОВ

Аннотация.

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

Материалы и методы. С помощью расслоения псевдо-ортогональных реперов строится и применяется каноническое накрывающее отображение для двумерных лоренцевых орбифолдов. Существование такого отображения показывает, что любой двумерный лоренцев орбифолд является очень хорошим.

Результаты. Доказано, что существует только два (с точностью до изоморфизма в категории орбифолдов) некомпактных двумерных орбифолда, допускающих полную плоскую лоренцеву метрику с существенной группой изометрий. Они представляют собой плоскость и Z2 -конус. При этом, в отличие от компактных орбифолдов, метрика может быть любой из указанного класса. Построены примеры.

Выводы. Полную плоскую лоренцеву метрику с существенной группой изометрий допускают строго четыре двумерных гладких орбифолда: плоскость, тор, Z2 -конус и «подушка».

Ключевые слова: орбифолд, лоренцев орбифолд, группа изометрий, существенная группа изометрий.

E. V. Bogolepova, N. I. Zhukova

ESSENTIAL ISOMETRY GROUPS OF NONCOMPACT TWO-DIMENSIONAL FLAT LORENZIAN ORBIFOLDS

Abstract.

Actuality and goals. Lorentzian geometry finds widespread application in physics and is radically different from Riemannian geometry. As it is known an every smooth orbifold admits a Riemannian metric. The existence of a Lorentzian metric on an orbifold imposes restrictions on its structure. The isometry group of a Lo-rentzian orbifold is called inessential if it acts properly, otherwise the isometry group of a Lorentzian orbifold is called essential. The goal of this work is the inves-

© Боголепова Е. В., Жукова Н. И., 2019. Данная статья доступна по условиям всемирной лицензии Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), которая дает разрешение на неограниченное использование, копирование на любые носители при условии указания авторства, источника и ссылки на лицензию Creative Commons, а также изменений, если таковые имеют место.

tigation of the structure of noncompact smooth two-dimensional orbifolds admitting a complete flat Lorentzian metric with an essential isometry group.

Methods. Using the bundle of pseudo-orthogonal frames some canonical covering map for two-dimensional Lorentzian orbifolds is constructed and applied. The existence of such map shows that any two-dimensional Lorentzian orbifold is very good.

Results. It is proved that there are only two (up to isomorphisms in the category of orbifolds) two-dimensional smooth noncompact orbifolds admitting complete flat Lorentzian metrics with an essential isometry group. They are the plane and the z2 -cone. Unlike compact orbifolds, the metric can be any from the class of flat complete Lorentzian metrics. Examples are constructed.

Conclusions. Only four two-dimensional smooth orbifolds allow complete flat Lorentzian metrics with the essential isometry group: the plane, the torus, the z2 -cone and the "pillow".

Keywords: orbifold, Lorenzian orbifold, isometry group, essential isometry group.

Введение

Орбифолды можно рассматривать как многообразия с особенностями. Все орбифолды предполагаются связными, хаусдорфовыми, со счетной базой. n-мерные орбифолды локально представляют собой фактор-пространства

mn / Г арифметического пространства mn по конечной группе диффеоморфизмов Г, причем группа Г не фиксирована и может меняться при переходе от одной точки к другой. Орбифолды естественным образом составляют категорию [1], которая обозначается через Orb. Многообразия образуют полную подкатегорию категории Orb.

Определение 1. Орбифолд, не являющийся многообразием, будем называть собственным орбифолдом.

Группа всех изометрий n-мерного лоренцева орбифолда (N, g) называется полной и обозначается через J(N,g). Из [2] вытекает, что J(N, g) является группой Ли размерности < n(n +1) / 2 , где n>2, причем равенство достигается только в случае многообразий, на которых группа изометрий тран-зитивна.

Определение 2. Гладкое действие Ф :GXN^N группы Ли G на ор-бифолде N называется собственным, если для любых компактных подмножеств K и F в N подмножество Q = {gе G | g(K)nF ^0} компактно.

Группа изометрий орбифолда J(N, g) называется существенной, если она действует несобственно на N [3]. Элемент фе J(N,g) называется существенным, если порожденная им группа Ф=<ф> является существенной.

Как известно [3], полная группа Ли изометрий риманова орбифолда (N, g) и любая ее замкнутая подгруппа действуют собственно на N . Таким

образом, существенность группы изометрий J(N, g) псевдориманова орбифолда (N,g) означает значительное отличие действий этой группы от действий замкнутых подгрупп полных групп изометрий римановых орбифолдов.

Несобственные действия групп изометрий лоренцевых компактных многообразий исследовались в работах Амбры и Громова [4], Циммера [5], Зегхиба [6, 7] и других, см. обзор Барбота и Зегхиба [8].

Деффаф, Мельник и Зегхиб [9] поставили проблему классификации замкнутых лоренцевых многообразий с некомпактными полными группами Ли изометрий. Естественно поставить эту проблему для более широкого класса объектов - лоренцевых орбифолдов.

Жукова и Рогожина [10] эту задачу решили для двумерных компактных лоренцевых орбифолдов, доказали, что существенную группу изометрий имеют только полные плоские метрики на торе и на орбифолде с четырьмя особыми точками, называемом «подушкой» и привели классификацию указанных метрик. В работе [10] установлено также, что лоренцев тор с существенной группой изометрий характеризуется существованием изометрии, являющейся аносовским автоморфизмом тора.

В данной работе задача классификации некомпактных орбифолдов, допускающих полные плоские лоренцевы метрики с существенной группой изометрий, решена нами в размерности n = 2 (теорема 2).

Мы используем терминологию Терстона [11], согласно которой орби-фолд называется хорошим, если он представим в виде пространства орбит M / ¥ многообразия M по некоторой группе диффеоморфизмов ¥ . Если при этом группа ¥ конечна, то орбифолд N называется очень хорошим.

Пусть (M1, g1 ) и (M2, g2 ) - псевдоримановы многообразия и k :M1 ^M2 - накрывающее отображение. Напомним, что k :M1 ^M2 называется псевдоримановым накрывающим отображением, если k является локальной изометрией.

Определение 3. Если ¥ - группа изометрий псевдориманова многообразия (M, gM ), собственно разрывно действующая на M, то на фактор-пространстве M / ¥ естественным образом определена структура псевдориманова орбифолда (M / ¥,d), называемого псевдоримановым фактор-орбифолдом, а фактор-отображение r : M ^ M / ¥ является регулярным накрывающим отображением, которое называется псевдоримановым.

Пусть k : M1 ^ M2 - псевдориманово регулярное накрывающее отображение лоренцевых орбифолдов (Mj,g1 ) и (M2, g2 ). Как показывают примеры, если одна из групп изометрий J (M1, g1 ) или J (M2, g2 ) существенная, то другая группа может быть несущественной (см. доказательство леммы 4 и пример 1).

Для любого собственного двумерного лоренцева орбифолда (N,g) мы доказываем существование некоторого канонического псевдориманова накрывающего отображения f : (M,g)^(N,g) лоренцевым многообразием

(M, g ), обладающего следующими свойствами.

Теорема 1. Для любого собственного двумерного лоренцева орбифолда (N, g) существуют двумерное лоренцево многообразие (M,gM ), конечная

группа ¥ изометрий (M, gM ), изоморфная либо Z2, либо Z2 XZ2 , и лоренцев фактор-орбифолд (M / ¥,d), обладающие свойствами:

1) существует изометрия k:M / ¥^N лоренцева фактор-орбифолда (M / ¥,d) на (N,g) и г = k ой:M ^ N - конечно листное регулярное псев-

дориманово накрывающее отображение с группой накрывающих преобразований, изоморфной группе ¥;

2) группа изометрий J(N,g) существенная тогда и только тогда, когда

нормализатор N(¥) группы ¥ в группе J(N,g) является существенной группой;

3) если группа изометрий J(N,g) существенная, то группа изометрий J(M, g) также существенная; обратное, вообще говоря, не верно.

Следствие 1. Любой двумерный лоренцев орбифолд очень хороший. Определение 4. Обозначим через ¥=<у> группу диффеоморфизмов

плоскости ж2, изоморфную z2 , где у :R2 ^ R2,y (х ) = (~х е R2 . Фак-

2

тор-орбифолд ж / ¥ будем называть z2 -конусом.

Применяя теорему 1, мы доказываем следующую теорему, являющуюся основным результатом данной работы.

Теорема 2. С точностью до изоморфизмов в категории Orb существует только два двумерных некомпактных гладких орбифолда N , допускающих полную плоскую лоренцеву метрику g с существенной группой изометрий,

которые представляют собой псевдоевклидову плоскость е2 и z2 -конус, причем g - любая полная плоская лоренцева метрика. Полные группы изометрий

указанных орбифолдов равны J() = O(1,1 )кж2 и J(2 / ¥) = O(1,1)/z2.

Определение 5. Говорят, что группа диффеоморфизмов G орбифолда N стационарно несобственная, если существует такая точка x е N, что стационарная подгруппа Gx группы G в точке х действует несобственно на N .

Из работы [10] для компактных орбифолдов и из доказательства теоремы 2 для некомпактных орбифолдов вытекает следующее утверждение.

Теорема 3. Группа изометрий J(N, g) полного плоского двумерного

лоренцева орбифолда (N, g) несобственная тогда и только тогда, когда она стационарная несобственная.

1. Основные понятия и обозначения 1.1. Псевдоевклидова метрика в М"

Псевдориманова метрика g сигнатуры (k, n — k) в Жп называется псевдоевклидовой, если в жп существует глобальная система координат 0, x1,..., xn, в которой метрика g имеет вид

g = — dx1 ®dx1 —... — dxk ®dxk + dxk+1 ®dxk+1 +... + dxn ®dxn.

Нетрудно проверить, что полная плоская псевдориманова метрика в жn является псевдоевклидовой.

1.2. Псевдоортогональная группа

Пусть О (1,1) - псевдоортогональная группа. Для ее элементов будем использовать следующие обозначения:

A =

(ch t sh t sh t ch t

E+- =

(1 0 ^ 0 -1

AJ~ = AtE, A- = -A+~Vt e R.

Отметим, что А е О (1,1) - аносовский автоморфизм псевдоевклидовой плоскости е2 тогда и только тогда, когда |^гА| > 2. Компонента единицы Ое (1,1) образована матрицами Аг со следом > 2 .

Заметим, что отображение ж1 ^ Ое (1,1): ^ ^ А{, ^ е к1, - изоморфизм аддитивной группы действительных чисел к1 и Ое (1,1).

2. Доказательство теоремы 1

2.1. Каноническое накрытие для собственного лоренцева орбифолда и его свойства

Пусть (Ы, g) - произвольный собственный двумерный лоренцев орбифолд. Рассмотрим расслоение реперов q :Т^N над N . Как известно, Т является гладким многообразием размерности 6. Задание лоренцевой метрики g на N определяет редукцию указанного главного ОЬ (2, к)-расслоения реперов к замкнутой подгруппе Ли Но = О (1,1), которое обозначим р: Ро ^ N,

где р = . Подчеркнем, что Ро , так же как Т , является гладким многооб-

1Ро

разием, вообще говоря, несвязным. При этом на Ро определено локально свободное действие группы Но и N = Ро / Но .

Группа Ли Но = О (1,1) с компонентой единицы Не = Ое (1,1) имеет три замкнутые подгруппы Ли индекса два:

Н1 = Не и Не (-Е), Н2 = Не □ НеЕ+~, Н3 = Не □ НеЕ~+.

Если Ро - несвязное многообразие, то будем рассматривать его связную компоненту. Она является главным Н7-расслоением над N для одного из 7 е {1,2,3} и обозначается через Pi.

Подчеркнем, что на каждом Р при 7 е {о, 1,2,3} определено локально свободное действие группы Н7 и N = Р.\ / Н7. Следовательно, на каждом многообразии Р при 7е {о,1,2,3} определено локально свободное действие нормальной подгруппы Не группы Н^. Пусть М^ = Р\ / Н7. Так как группа

Не = Ое (1,1) изоморфна группе к1, то она не имеет конечных подгрупп. Следовательно, Не действует свободно на Р7 , поэтому М 7 - гладкое многообразие.

Фактор-группа Фу = Ну / Не , изоморфная z2 при у е {1,2,3} и z2 X z2 при 7=0 , локально свободно действует на многообразии Му, причем фактор-орбифолд Му / ¥у изоморфен N в категории орбифолдов ОгЬ. Отождествим N с фактор-орбифолдом Му / ¥у по этому изоморфизму и обозначим через Г :Му ^Му / ¥у = N фактор-отображение. Заметим, что г :Му ^ N -накрывающее отображение для N с группой накрывающих отображений Фу, изоморфной z2 при / е {1,2,3} и z2 X z2 при /=0 .

Таким образом, доказано первое утверждение теоремы 1.

Определение 6. Построенное выше регулярное накрывающее отображение ц :М^ ^ N будем называть каноническим накрывающим отображением для двумерного лоренцева орбифолда (, g) и обозначать через г: М ^ N.

Определение 7. Пусть г :М ^ N - накрывающее отображение для орбифолда N . Говорят, что / е Б1// (М) лежит над / е Б1// ^), если г о / = / о г.

Из работы [10, предложение 1] вытекает следующее утверждение.

Предложение 1. Пусть (^g) - собственный лоренцев орбифолд и г:М ^ N - его каноническое накрывающее отображение с группой накрывающих преобразований ¥ . Тогда на многообразии М индуцирована лоренцева метрика gм, относительно которой группа ¥ является группой

изометрий (М, gм), причем имеют место свойства:

1) для любого / е J (, gN) существует изометрия / е J (М, g), лежащая над /;

2) изометрия / е J (М, g) лежит над некоторой изометрией / е J (, gN) тогда и только тогда, когда ¥ о / = / о ¥ ;

3) множество всех изометрий / е J (М, g), лежащих над изометриями из группы J(,gN), совпадает с нормализатором N(¥) группы ¥ в J(М,g), причем группы Ли J(,gN) и N(¥)/ ¥ изоморфны.

2.2. Доказательство утверждения 2 теоремы 1

Обозначим через (, g) собственный лоренцев орбифолд, а через г:М ^ N - его каноническое накрывающее отображение с группой накрывающих преобразований ¥ . Пусть J (, g) и J (М, gм) - полные группы изометрий (,g) и (М,gм) соответственно, а N(¥) - нормализатор группы ¥ в группе Ли J (М, gм). Согласно предложению 1 можно отождествить группу Ли J(,g) с фактор-группой N(¥)/ ¥. Обозначим через И: N(¥)^ N(¥)/ ¥= J(,g) фактор-отображение.

Введем обозначения: 2 = {/е J(^g)| /(К^0}, где К и Р -любые компактные подмножества в N, 2 = {/ е N(¥) | / (К)^ Р ^0}, где

К и Р - любые компактные подмножества в М. Напомним, что отображение топологических пространств называется собственным, если прообраз любого компактного подмножества компактен. Поскольку группа ¥ конечна, проекция г :М ^N является непрерывным собственным отображением. Кроме того, согласно предложению 1 каждая изометрия из группы J (, g) накрывается некоторым преобразованием из N (¥) и любая изометрия из N (¥) проектируется относительно г в некоторую изометрию из группы J (, g). Используя это, нетрудно проверить выполнение равенства 22 = И 1 (2).

Так как фактор-отображение И: N(¥)^ N собственное, то 2 компактно в группе Ли J (, g) тогда и только тогда, когда 2 компактно в замкнутой нормальной подгруппе N(¥). Это означает, что обе группы J(,g) и N(¥) действуют одновременно либо собственно, либо несобственно. □

2.3. Доказательство утверждения 3 теоремы 1

Предположим, что группа Ли изометрий J (, g) двумерного лоренце-ва орбифолда (, g) действует несобственно на N . Из доказанного утверждения 2 вытекает, что замкнутая подгруппа Ли N(¥) группы J(,g) действует несобственно на гладком многообразии М , поэтому группа J (М, gм) также действует несобственно на М . Пример 1 показывает, что обратное, вообще говоря, неверно. □

3. Несобственные действия групп изометрий некомпактных плоских лоренцевых орбифолдов

3.1. Группа изометрий полного плоского лоренцева цилиндра

Используя известные утверждения о поднятии диффеоморфизмов на универсальное накрывающее пространство, мы получаем следующую лемму.

Лемма 1. Пусть ((Мо,gо) и (М,g) - псевдоримановы многообразия,

а к: Мо ^ М - универсальное псевдориманово накрывающее отображение с группой накрывающих преобразований Г. Тогда

1) для любой изометрии / псевдориманова многообразия (М, g) существует изометрия / псевдориманова многообразия ((Мо, gо), лежащая

над / . Множество всех изометрий из J ((Мо, gо), лежащих над изометриями из группы Ли J (М, g), является нормализатором N (Г) группы Г в группе Ли J ((Мо, g0 ), причем группы Ли N (Г)/Г и J (М, g) изоморфны;

2) если группа Ли N (Г) несущественна, то и группа Ли J (M, g ) несущественна.

Аффинные преобразования плоскости обозначаются парой < A, a > , где A - двумерная невырожденная квадратная матрица, a - матица-столбец. Композиция элементов < A, a > и < B, b > аффинной группы определяется равенством < A, a > о < B, b >=< AB, a + Ab >.

f1ï f0Ï 2 Пусть = , e2 = - стандартный базис на плоскости ж .

V 0 J V 1J

Лемма 2. Группа Ли всех изометрий двумерного полного плоского ло-ренцева цилиндра несущественна.

Доказательство. Будем рассматривать гладкий цилиндр M как фак-

2 2 тор-многообразие M = ж / Г плоскости ж по группе диффеоморфизмов

f 1 ï 2 2 Г=<у>, где y=<E,ei >,ei = . Фактор-отображение k : ж ^M = ж / Г

V 0 J

является универсальным накрывающим отображением с группой накрывающих преобразований Г= z .

По условию на цилиндре M задана полная плоская лоренцева метрика

2

g, следовательно, на плоскости ж индуцирована лоренцева метрика

0 *

g = k g , также являющаяся полной и плоской. Поэтому матрица G метрического тензора g0 в стандартном базисе имеет постоянные коэффициенты: G = (gij ), i, j = 1,2. Полная группа Ли J (ж2, g0 ) изометрий равна полупря-

(20\ 2 /20\ ж , g ) к ж , где J0 (ж , g ) - стационарная под-

2

группа в нуле 02 е ж .

Предположим, что цилиндр (M,g) имеет существенную полную группу изометрий J (M, g ). Так как цилиндр (M, g ) - полное однородное пространство, то согласно [11] стационарная подгруппа Jq (M, g ) в точке O = k (02 ) также существенная. Следовательно, найдется существенное преобразование f =< A,0 >е Jq (M, g ). Так как k : ж2 ^ M = ж2/ Г - универсальное накрывающее отображение, то по лемме 1 найдется существенная изометрия f е J (ж2, g0 ), лежащая над f относительно k . Поскольку

02 е k-1 (O), то z = f (02 )е k-1 (O). Так как группа накрывающих преобразований Гс J (ж 2, g0 ) транзитивна на слое k 1 (O ), то существует такой

элемент уеГ, что j(z) = 02 . Тогда f =уо f - существенная изометрия, лежащая над f относительно k : ж2 ^M , причем f (02 ) = 02 . Таким образом, f =< B,0 >е J0 (ж 2, g0 ). Заметим, что f 2 = f о f е N (Г) и сохраняет ори-

ентацию плоскости, поэтому, не нарушая общности, считаем, что / =< В,о >е N (Г) сохраняет ориентацию плоскости, в противном случае пе-/ 2

рейдем к / е N (Г).

Следовательно, / =< В,о > удовлетворяет равенству / °Г = Г°/. Отсюда вытекает, что найдутся такие целые числа п и т, что

< В,о > о < Е,е1 >=< Е,п е1 > о < В,о >, < В,о > ° < Е,т е1 >=< Е,е1 > о < В,о > .

Пусть B =

b ^

. Тогда из двух предыдущих равенств вытекает,

что а=т, с=о, а=1/ п , это влечет равенства а=±1 и с=о. Поскольку преобразование / =< В, о > сохраняет ориентацию плоскости, необходимо, чтобы (В ) = аё = 1, откуда ±1 • ё=1 и ё=±1. Таким образом, необходимо, чтобы

(±1 о ^ , V

В = . Матрица О = ( gij), 7, у = 1,2, полной плоской лоренцевой мет-

ч о ±1/

рики gо на к2 в стандартном базисе имеет вид О = ), 7, у = 1,2,, где gij - постоянные.

Преобразование < В, о > является изометрией, принадлежащей

(2 о \ Т

к , g ) тогда и только тогда, когда выполняется равенство В ОВ = О,

где О = ) - матрица метрического тензора gо, а матрица ВТ получена транспонированием В . Запишем предыдущее равенство в развернутом виде:

(±1 о V Й1 gl2 V±1 Ь ) (gl2 >

b ±1

\ — / что эквивалентно системе

I g12 g22

±bg11 = 0

0 ±1

I g12 g 22

bg11 = 0

[Ь (Ь•gll ± 2•gl2 ) = о \bg12 = о,

откуда необходимо Ь=о. Следовательно, В=±Е и / =<В,о> - несущественное преобразование, поэтому группа N (Г) несущественная. Согласно лемме 1 группа J (М, g) также несущественная, что противоречит предположению и завершает доказательство леммы 2. □

3.2. Несущественность группы изометрий открытого полного плоского лоренцева листа Мебиуса

Определение 8. Пусть (М,g) - фактор-многообразие М = к2/Г

плоскости к2 по группе диффеоморфизмов Г=<у>=2, где у=< Е, е1 > . При этом (М, g) называется открытым листом Мебиуса.

Лемма 3. Пусть (M, g) - открытый лист Мебиуса с полной плоской лоренцевой метрикой g . Тогда его полная группа Ли изометрий J (M, g ) несущественна.

Доказательство. Поскольку открытый гладкий лист Мебиуса M есть

22 фактор-многообразие M = ж / Г плоскости ж по группе диффеоморфиз-

+__ 2 2

мов Г=<у> , где Y=< E , e1 >, фактор-отображение k : ж ^ M = ж / Г является универсальным накрывающим отображением с группой накрывающих преобразований Г, изоморфной группе z .

Так как на открытом листе Мебиуса M задана полная плоская лорен-

2

цева метрика g , то на плоскости ж индуцирована лоренцева метрика

0 *

g = k g, также являющаяся полной и плоской. Поэтому матрица G метрического тензора g 0 в стандартном базисе имеет постоянные коэффициенты: G = (gij), а полная группа Ли J(ж2,g0 ) изометрий равна полупрямому про-

(20\ 2 /20\ ж ,g ) к ж , где J0 (ж ,g ) - стационарная подгруппа в нуле 02 е ж2.

Предположим, что (M,g) имеет существенную полную группу изометрий J (M, g ). Пусть N (Г ) - нормализатор группы Г в группе Ли J (ж2, g0 ). По лемме 1 группа Ли N (Г) также является существенной, поэтому найдется существенное преобразование f =< S, s >е N (Г). Не нарушая общности, будем считать, что f =< S,s >, где det(S) = 1. Так как f =< S,s >

удовлетворяет равенству f оГ = Г°^ , то найдутся такие целые числа n и m, что

< S, s > о < E+-, e1 > = < E+-, n • e1 > о < S, s >,

< S, s > о < E+-, m • e1 > = < E+-, e1 > о < S, s > .

Пусть S =

fa b Л

V c

тогда из предыдущих равенств вытекает, что а = т

с = 0, а = 1/п и, кроме того, £• Е= Е+~ • £ .

Так же как в случае цилиндра отсюда мы получаем, что £ =

( а -Ь ^

Предыдущее равенство можно записать в виде

V с ^ J

f ±1 0 Л

V 0 ±ъ

f a b Л

v -C d J

откуда следует b = c=0 .

Таким образом, S=±E, что противоречит существенности f и, следовательно, существенности группы изометрий N (Г).

3.3. Существенность групп изометрий лоренцевых орбифолдов,

канонически накрытых псевдоевклидовой плоскостью

2

Лемма 4. Пусть г: к ^N - каноническое накрытие лоренцева орби-фолда (,g) псевдоевклидовой плоскостью е2 =(к2,gо), где g° = к g . Тогда для того чтобы группа изометрий J (, g) была существенной, необходимо и достаточно, чтобы орбифолд N был 22 -конусом.

Доказательство. Рассмотрим все возможные случаи, используя обозначения, введенные в разд. 1 и 3.1. Предположим сначала, что

2

¥ = < у > = 22, тогда необходимо, чтобы у = 7^2. Кроме того, изометрия у должна иметь неподвижную точку, в противном случае N - многообразие. Если нуль о2 в к не является неподвижной точкой, то мы перенесем начало координат в одну из неподвижных точек изометрии у, тогда

2

у =< А, о > и А = Е. Последнее равенство выполняется только в трех случаях: 1) А=-Е ; 2) А = Е+-; 3) А = Е-+.

Случай 1: 7=1, ¥=<у> = 2 , где у=<-Е,о> . Напомним, что орбифолд N = к2/ ¥

называется 22 -конусом. Нормализатор N(¥) группы ¥ в группе изометрий J(е2 ) = О(1,1 )к к2 равен О(1,1). Следовательно, согласно теореме 1 и предложению 1 группа изометрий J (, g) существенна и изоморфна фактор-группе О(1,1)/{±Е }.

Случай 2: 7=2, ¥=<у> 7=2, ¥=<у> , где у=< Е+- ,о>. Предположим, что нормализатор N (¥) группы в группе изометрий

J (е2 ) = О (1,1) к к2 является существенной группой. Тогда он содержит изометрию вида И =< В,Ь >, где ёе7(В) = 1 и В = ±А7, 7Фо.

Поскольку И о ¥=¥о И , необходимо ±А7 •Е+-=±Е+-А7, что эквивалентно равенству sИt=о-о7=о. В этом случае В=±Е и И - несущественное преобразование. Противоречие показывает, что N(¥) - несущественная

группа изометрий. Согласно теореме 1 группа изометрий орбифолда (^g)

2

также несущественная. Заметим, что при этом орбифолд N=к /¥ представляет собой полуплоскость с границей, а множество сингулярных точек есть прямая, совпадающая с границей.

Случай 3: 7 = 3, ¥=<у> 7 = 2, ¥=<у> , где у=<-Е+- ,о > . Этот случай

аналогичен предыдущему, и группа изометрий J(, g) несущественная.

Осталось рассмотреть последний возможный случай.

2 2

Случай 4: 7 = о, ¥ =< у1, у2 | у1, у2 >= -2 X 22 > . Не нарушая общности, можно считать, что у1 =< Е+-, о > и у2 =< Е-+, о >, ¥= {<± Е,о >, < Е+-, о >, < Е-+, о >}.

2

Заметим, что при этом орбифолд N=ж / ¥ можно рассматривать как первый квадрант на плоскости с границей, причем его стратификация имеет

вид Д = {Д2,Д(1), Д(2),Д0}, где нижний индекс указывает размерность страты, а верхний - ее номер среди страт данной размерности. Нетрудно видеть, что в данном случае N (¥) = ¥ и группа изометрий J (, g) тривиальна.

3.4. Доказательство теоремы 2 Предположим, что (N, g) - собственный некомпактный полный плоский лоренцев орбифолд с существенной группой изометрий J (, g). Согласно теореме 1 для (, g) существует каноническое накрывающее отображение г :М ^ N полным лоренцевым многообразием (М, gм) с группой накрывающих преобразований ¥, изоморфной либо 22, либо 22, X 22 , причем ¥ - группа изометрий многообразия (М, gм). Поскольку орбифолд N некомпактен, то и многообразие М некомпактно.

Как известно [12], полную плоскую лоренцеву метрику допускают только локально евклидовы пространства, в двумерном некомпактном случае это: евклидова плоскость, цилиндр и открытый лист Мебиуса. Согласно предложению 1 группа изометрий J (, g) орбифолда (, g) существенна только, если существенна группа изометрий канонически накрывающего его многообразия (М, gм). Из лемм 2 и 3 вытекает, что (М, gм) может быть

только евклидовой плоскостью.

Согласно лемме 4 существует единственный гладкий собственный двумерный орбифолд, допускающий полную плоскую лоренцеву метрику с существенной группой изометрий J (, g), и этот орбифолд есть 22 -конус, а

g - любая полная плоская лоренцева метрика. Группа изометрий J (, g) изоморфна фактор-группе О (1,1 )/{±Е } группы О (1,1) по нормальной подгруппе ± Е. □

4. Примеры

Пример 1. Пусть Г2 - двумерный тор, полученный факторизацией 2

плоскости ж по группе Г=<У1, 72 >, изоморфной 2 X 2, где

2

71 =< Е,в1 >, 72 =< Е, в2 >. Зададим на плоскости ж полную плоскую метрику g, матрица которой в каноническом базисе записываются в виде (-1 0 ^

gij =

v 0 1,

. Заметим, что определено регулярное псевдориманово накры-

22 вающее отображение к: М ^ Т цилиндра М=ж / Г1, где

Г =<71 >, 71 =< Е, е >, на указанный тор с группой накрывающих преобразований, изоморфной группе 2 . На цилиндре М индуцирована полная плос-

*

кая лоренцева метрика gм = к g . Согласно лемме 2 группа изометрий лорен-

цева цилиндра 3 (М, gм) несущественная. Группа изометрий лоренцева тора

2

3(Т , g) существенная, так как аносовский диффеоморфизм тора /а, за-

(5 2 1 2

данный матрицей А = , является изометрий лоренцева тора (Т , g)

V 2 1 )

Этот пример показывает, что существенные изометрии тора (Т2, g) не поднимаются на цилиндр (М, gм) относительно псевдориманова накрывающего отображения к:М ^Т .

2 2 2 Пример 2. Рассмотрим орбифолд N=ж / Г , где Г=<1 У2 171,72 >,

71 =< Е,е1 >,72 =<-Е,> . Пусть Г =<71 > и Г2 =< 72 >, тогда 2

М = ж / Г - цилиндр, а N=М / ¥ , где группа ¥ изоморфна группе Г2 и группе ъ . Каноническое накрывающее отображение г:М ^ N представляет собой двулистное накрытие орбифолда N цилиндром М. Стратификация

орбифолда N имеет вид Д = {Д2,Л0,Л2}, т.е. N имеет две сингулярные точки.

Предположим, что на плоскости ж задана полная плоская лоренцева метрика g0 с матрицей (gгy) в каноническом базисе. Так как Г - подгруппа

группы изометрий 3(ж2,g0), то на цилиндре М и на орбифолде N индуцированы полные плоские лоренцевы метрики gм и g соответственно. Согласно теореме 1 3^, g)=N(¥)/¥ , где N(¥) - нормализатор группы ¥ в группе изометрий 3(М, gм), а 3(М, gм) = N(Г1)/Г1, где N(Г1) - нормализатор группы Г1 в группе изометрий 3(ж2,g0).

Предположим, что / =< В, 0 > принадлежит N(Г1) . Из условия

Т

В ОВ = О, где О - матрица метрики gм на цилиндре М , мы получаем:

1) если g12 = 0 , то Ве {±Е,Е+-,Е-+ };

2) если gl2 Ф 0 , то Ве {±Е} . Отсюда вытекает:

1) если gl2 = 0, то группа изометрий 3 (, g) лоренцева орбифолда (N, g) изоморфна группе ъ2 ;

2) если gl2 Ф 0 , то группа изометрий 3 (, g) тривиальна.

Так как g (е1, е1)=gl 1, то условие gll = 0 эквивалентно тому, что вектор е1 изотропный. При этом gl2 Ф 0 . Таким образом, если гладкая геодезическая, соединяющая сингулярные точки, изотропна, то группа 3 (, g) триви-

(-1 0^

альна. Например, если матрица gj■ = , то группа 3 (, g) изоморфна

V 0 1)

(0 11

ъ2 . Если матрица gij = , то группа 3 (, g) тривиальна.

> 1 0 /

Таким образом, любая полная лоренцева метрика g на рассматриваемом орбифолде N имеет несущественную конечную группу изометрий

J(N,g), зависящую от метрики g , причем J(N,g) либо тривиальна, либо

изоморфна группе Z2 .

Библиографический список

1. Adem, A. Orbifolds and stringy topology / A. Adem, J. Leida, Y Ruan // Cambridge Tracts in Mathematics, Cambridge University Press, 2007.

2. Багаев, А. В. Группы автоморфизмов G-структур конечного типа на орбиоб-разиях / А. В. Багаев, Н. И. Жукова // Сибирский математический журнал. -2003. - Т. 44, № 2. - P. 263-278.

3. Багаев, А. В. Группы изометрий римановых орбифолдов / А. В. Багаев, Н. И. Жукова // Сибирский математический журнал. - 2007. - Т. 48, № 4. -P. 723-741.

4. D'Ambra, G. Lectures on transformation groups: geometry and dynamics in Surveys in Differential Geometry / G. D'Ambra, M. Gromov. - Bethlehem, PA, 1991. -P. 19-111.

5. Zimmer, R. J. Automorphism groups and fundamental groups of geometric manifolds / R. J. Zimmer // Proc. Symp. Pure Math. - 1993. - Vol. 54. - P. 693-710.

6. Zeghib, A. Isometry groups and geodesic foliations of Lorentz manifolds, Part I: Foundations of Lorentz dynamics / A. Zeghib // GAFA. - 1999. - № 9. - P. 775-822.

7. Zeghib, A. Isometry groups and geodesic foliations of Lorentz manifoldsю Part II: Geometry of analytic Lorentz manifolds with large isometry groups / A. Zeghib // GAFA. - 1999. - № 9. - P. 823-854.

8. Barbot, T. Group Actions on Lorentz Spaces, Mathematical Aspects: a survey in The Einstein equations and the large-scale behavior of gravitational fields / A. Zeghib. -Birkhauser, Basel, 2004. - P. 401-439.

9. Deffaf, M. Actions of noncompact semisimple groups on Lorentz manifolds / M. Deffaf, K. Melnick, A. Zeghib // Geom. Funct. Anal. GAF. - 2008. - № 18. -P. 463-488.

10. Жукова, Н. И. Классификация компактных лоренцевых 2-орбифолдов с некомпактной полной группой изометрий / Н. И. Жукова, Е. А. Рогожина // Сибирский математический журнал. - 2012. - T. 53, № 6. - P. 1292-1309.

11. Thurston, W. P. The Geometry and Topology of Three-Manifolds / William P. Thurston // Electronic version 1.1. - 2002. - March. - P. 297-305.

12. Вольф, Дж. Пространства постоянной кривизны / Дж. Вольф. - М. : Наука, 1982.

References

1. Adem A., Leida J., Ruan Y. Cambridge Tracts in Mathematics. Cambridge University Press, 2007.

2. Bagaev A. V., Zhukova N. I. Sibirskiy matematicheskiy zhurnal [Siberian mathematical journal]. 2003, vol. 44, no. 2, pp. 263-278. [In Russian]

3. Bagaev A. V., Zhukova N. I. Sibirskiy matematicheskiy zhurnal [Siberian mathematical journal]. 2007, vol. 48, no. 4, pp. 723-741. [In Russian]

4. D'Ambra G., Gromov M. Lectures on transformation groups: geometry and dynamics in Surveys in Differential Geometry. Bethlehem, PA, 1991, pp. 19-111.

5. Zimmer R. J. Proc. Symp. Pure Math. 1993, vol. 54, pp. 693-710.

6. Zeghib A. GAFA. 1999, no. 9, pp. 775-822.

7. Zeghib A. GAFA. 1999, no. 9, pp. 823-854.

8. Barbot T. Group Actions on Lorentz Spaces, Mathematical Aspects: a survey in The Einstein equations and the large-scale behavior of gravitational fields. Birkhauser, Basel, 2004, pp. 401-439.

9. Deffaf M., Melnick K., Zeghib A. Geom. Funct. Anal. GAF. 2008, no. 18, pp. 463-488.

10. Zhukova N. I., Rogozhina E. A. Sibirskiy matematicheskiy zhurnal [Siberian mathematical journal]. 2012, vol. 53, no. 6, pp. 1292-1309. [In Russian]

11. Thurston W. P. Electronic version 1.1. 2002, March, pp. 297-305.

12. Vol'f Dzh. Prostranstvapostoyannoy krivizny [Spaces of constant curvature]. Moscow: Nauka, 1982. [In Russian]

Боголепова Елена Вадимовна студентка, Национальный исследовательский университет «Высшая школа экономики» (Россия, г. Нижний Новгород, ул. Большая Печерская, 25/12)

E-mail: nzhukova@hse.ru/

Жукова Нина Ивановна

доктор физико-математических наук, профессор, кафедра фундаментальной математики, главный научный сотрудник лаборатории «Топологические методы в динамике», Национальный исследовательский университет «Высшая школа экономики» (Россия, г. Нижний Новгород, ул. Большая Печерская, 25/12)

E-mail: nzhukova@hse.ru

Bogolepova Elena Vadimovna Student, National Research University "Higher School of Economics" (25/12 Bolshaya Pecherskaya street, Nizhny Novgorod, Russia)

Zhukova Nina Ivanovna Doctor of physical and mathematical sciences, professor, sub-department of fundamental mathematics, principal researcher of the Laboratory "Topological Methods in Dynamics", National Research University "Higher School of Economics" (25/12 Bolshaya Pecherskaya street, Nizhny Novgorod, Russia)

Образец цитирования:

Боголепова, Е. В. Существенные группы изометрий некомпактных двумерных плоских лоренцевых орбифолдов / Е. В. Боголепова, Н. И. Жукова // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2019. - № 1 (49). - С. 14-28. - Б01 10.21685/2072-30402019-1-2.