CC BY
8
Математические К 51432
^ZT.J 1М)дгиро0вТе DOI: 10.25513/2222-8772.2018.1.12-22
2U1o. №1(45). С. 12-22
АНАЛИЗ В КОСМИЧЕСКИХ РАССЛОЕНИЯХ НА ОСНОВЕ ГРУПП U(1,1) И U(2): СЛУЧАИ SU(2,2)-ДЕЙСТВИЙ В ИХ 2- И 4-НАКРЫТИЯХ
А.В. Левичев1
профессор, д.ф.-м.н., с.н.с., e-mail: alevichev@gmail.com А.Ю. Пальянов2,3 к.ф.-м.н., с.н.с., e-mail: palyanov@iis.nsk.su
1 Институт математики СО РАН им. С.Л. Соболева, Новосибирск, Россия 2Институт систем информатики СО РАН им. А.П. Ершова, Новосибирск, Россия
3Новосибирский государственный университет, Новосибирск, Россия
Аннотация. В данной работе, являющейся непосредственным продолжением предыдущей статьи этих же авторов (А.В. Левичев, А.Ю. Пальянов, Математические структуры и моделирование, 2016, № 4(40), с. 24-38), продолжено получение тех методов, которые необходимы для анализа однородных векторных расслоений на основе параллелизующей группы U(1,1). В частности, изучен вопрос совместимости (введённого Панейтцем и Си-галом) условия согласованности с SU(2,2)-действиями в U(1,1),^(2) и в их 2- и 4-накрытиях. В контексте U(2)-параллелизации исправлены неточности доказательства справедливости (технически важной при работе с индуцированными представлениями) формулы Панейтца-Сигала (см. Corollary 4.1.2 of S.M. Paneitz and I.E. Segal, J. Funct. Anal., 47 (1982), p. 78-142.).
Ключевые слова: параллелизация расслоений над пространством-временем; конформные SU(2,2)-действия в U(1,1),^(2) и в их 2- и 4-накрытиях; условие согласованности и индуцированные представления.
1. Мотивация
Данное исследование продолжает то, которое составило содержание статьи [1] (поэтому мы не будем повторять приведённые на с. 24-27 этой статьи обозначения и мотивацию). Отметим, что за прошедшие (со времени публикации [1]) два года появились дополнительные доводы за продолжение такого рода исследований. Именно, в статье [2] два основных объекта работы [1] (пространства-времена Ю и Е) были применены для изучения свойств многоуровневой модели кварк-глюонной среды. Эта модель (см. [3]) вводится, исходя из цепочки канонических (т. е., отвечающих главным минорам соответствующих матриц) вложений групп: и(2) в и(3), и(2) в и(4) и т. д. Эти группы названы уровнями (материи): и(2) — нулевым (т. е. нашим обычным), и(3) — первым, и(4) — вторым и т. д. Такая терминология соответствует стандартным
поколениям (кварков). Насколько известно авторам, многоуровневая модель является первой, в которой такие понятия теоретической физики, как аромат и цвет, введены строго математически.
Конечно, лишь время и дальнейшие исследования могут внести ясность в вопрос об адекватности (и степени успеха) этой модели. Так как она обладает высоким уровнем симметрии, то для получения (в её рамках) формул, описывающих сечения реакций, можно применить метод индуцированных представлений групп (см. [4], с. 129-131). В этом методе фундаментальную роль играют операторы переплетения. Как известно, они являются линейными отображениями между пространствами вовлечённых волновых функций (в нашем случае их носителями являются D и F), т. е. между пространствами представлений. Мы уже отмечали ([1], с. 28) важность (конформного) соответствия W между D и F. Затем на основе W канонически вводится линейное отображение между двумя пространствами представлений.
Напомним (см. [1], с.26-28), что каждая из групп Ли G,Gp изоморфна SU(2,2). Группа G действует на D, а группа Gp — в F. Каждое из действий — дробно-линейное.
Согласно Сигалу (Irving E. Segal, 1918-1998), фундаментальным (при моделировании частиц) является глобальное дробно-линейное действие конформной группы G на группе U(2). На основе этого действия получена, в частности, классификация элементарных частиц спина 1/2. Их четыре, и они различаются порядком вхождения (своих пространств представлений) в композиционный ряд: р < vm < ve < е. Отсюда — стабильность протона р (так как ему соответствует инвариантное подпространство). Эти четыре частицы были получены в рамках определённого индуцированного представления конформной группы G. Соответствие со стандартной физикой частиц было осуществлено на основе того, что стационарная подгруппа группы G в её действии на U(2) изоморфна группе Пуанкаре (с дилатациями), а мир Минковского канонически вложен в U(2). Понятно, что при переходе от D-параллелизации к F-параллелизации необходимо выбрать подгруппу Пуанкаре в Gp (чему и посвящена следующая секция).
2. О реализации подгруппы Пуанкаре в Gp
Группа Gf была введена как {g = WgW : д е G}: см. [1], (1.7). Она действует (дробно-линейно, но имеются сингулярности) в F = U(1,1). При рассмотрении действия Gp на F произведением g2gi двух преобразований называем то дробно-линейное преобразование д, которое соответствует произведению матриц:
М (д) = М (д2)М Ы.
Такое преобразование д имеет, вообще говоря, более обширную область определения, нежели композиция преобразований д2 и gi. Соответствующий пример приведён в Секции 4.
Напомним, что отображение W определено формулой [1], (2.1) и является биекцией пространства-времени F на свой образ в D. Эта биекция задаётся 4 на
4 матрицей, обозначаемой тем же самым символом Ш. Обратное отображение обозначаем той же самой буквой, так как для матрицы Ш выполнено условие Ш2 = 1. Из формулы для отображения Ш следует, что образом единичной матрицы из Е является единичная матрица в б. Аналогично для минус единицы (что в данном контексте более важно):
Ш (-1) = -1. (2.1)
Из [6], теорема 2.1 следует, что стационарная подгруппа элемента —1 в б (при дробно-линейном действии [1], (1.9) группы С = ви(2, 2) на б) изоморфна 11-мерной группе Пуанкаре Р. Так как в [6] рассматривались всевозможные группы ви(п,п), то (на с. 81) эта группа была обозначена Р2.
Из (2.1) и [1], (2.4) следует, что любое д из СР корректно определено в точке —1. Поэтому стационарная подгруппа (матрицы —1 в и(1,1)) группы Ср задаётся совокупностью матриц {д = ШдШ : д Е Р2}.
3. Параллелизация индуцированных расслоений
Структура данной секции аналогична таковой в [6], Секция 4, с. 98-116 (там же можно найти необходимые сведения об индуцированных расслоениях; кроме того, о параллелизациях подробно говорится в [1], Секция 1). При этом сейчас мы не только излагаем (новый) материал (относящийся к Р-параллелизации), но и приводим те (математически необходимые) дополнения, относящиеся к Д-параллелизации, которые отсутствуют в [6].
Сначала рассмотрим вопрос выполнения / невыполнения ключевого условия (фундаментальной) теоремы Панейтца-Сигала (см. [6], с. 99, Теорема 4.1). В этой теореме через ф обозначен гомоморфизм (некоторой) группы Ли С в группу С^-гомеоморфизмов (некоторой) её подгруппы. Упомянутое условие будем называть условием согласованности. Оно состоит в том, что если х,у являются элементами этой подгруппы, то
ф(х)у = xy, (3.1)
т. е. результат ф(х)у действия х (как элемента группы С) на у (как элемент подгруппы) сводится к произведению ху этих элементов.
В [6] основное внимание было уделено действию <5 на б; здесь ~ означает универсальную накрывающую. Но интересен и вопрос действий конечных накрытий группы С на конечных накрытиях б(т) пространства-времени б. Несколько соответствующих случаев рассматриваются ниже.
Обозначим через N основную параллелизующую группу, применявшуюся в работах школы Сигала. Она будет первым примером (вышеупомянутой) подгруппы в С = Би(2, 2). В [7] было приведено явное описание этой подгруппы: N состоит из всех таких матриц п вида
п =
ы 0 0 а
(3.2)
что т Е и(2) и т) = 1. Другими словами, каждая матрица п составлена
из 2 на 2 матриц т,а. Здесь а — скалярная матрица (причём задающее её комплексное число обозначено той же самой буквой а).
Рассмотрим N как 2-накрытие пространства-времени Ю, задаваемое формулой X = /(п) = а2т. Отметим, что это «другое» 2-накрытие для Ю, нежели введённое Сигалом Ю(2) (см. [1], с. 25). В частности, Ю(2) не является (исходно) подгруппой в С = Би(2, 2). Нетрудно проверить (сопоставив каждой п вида (3.2) пару (а,ат)), что эти два накрытия эквивалентны. Такое сопоставление групп N и Ю(2) является изоморфизмом, поэтому используемое ниже обозначение N = Ю(2) вполне корректно. Кроме того, из вышеизложенного следует (см. [1], с. 33), что действие ф группы С на N задаётся следующей коммутативной диаграммой
п
X = а2,ш
ф(д)(п)
д(г) = {АХ + В)(сг + Б)
-1
(3.3)
Утверждение 3.1. Если на N = Ю(2) задано действие (3.3), то условие согласованности нарушается.
Доказательство. Рассмотрим формулу (3.3) для случая блочно-диагонального (с 2 на 2 блоками А, И) элемента д группы С:
п
X = а2 т
п
г = а2АтВ
1
(3.4)
С необходимостью, здесь
п
й) 0 0 а^ А)
(3.5)
где й) = (ёе1 A)-2AwD-1.
Теперь возьмём такой блочно-диагональный элемент д1 группы С, что А = т1, а V — скалярная матрица, задаваемая числом а1. Тем самым, д1 принадлежит подгруппе N = Ю(2). Напомним (см. (3.2)), что (а^^ёе!т1) = 1. Поэтому фигурирующая в (3.5) унитарная матрица гп равна (а1)3^1^. Значит, условие согласованности не выполняется.
Замечание 3.1. В [6], с. 101 подгруппа N рассматривалась как 4-накрытие для и(2) (на этой с. 101 надо положить п = 2). Именно, слой над каждой матрицей X состоит из следующих (четырёх) матриц:
п = (ае1 г )-1/4
г о 01
(3.6)
Один из авторов (А.В. Л.), изучая работы Сигала и его школы, довольно долго не мог понять: почему в них не рассматривается возможность 2-накрытия группы и(2)? По-видимому, сейчас ответ на этот вопрос получен: см. наши Утверждения 3.1 и 3.2. Предваряя Утверждение 3.2, опишем (более формально, чем это было сделано в [6]) 4-накрытие подгруппой N группы и(2). Именно, накрытие теперь сопоставляет каждой матрице п вида (3.2) матрицу X = а-1т. Ясно, что для такой (унитарной) матрицы X выполняется равенство (ёе1 X)4 = а-1.
Теперь (т. е. когда N = б(4), а не N = б(2)) действие ф группы С = ви(2, 2) на N задаётся следующей коммутативной диаграммой:
п
г
1
а 1 'ш
ф(д)(п)
д(г) = {АХ + В )(сг + Б)
1
(3.7)
Утверждение 3.2. Если на N = б(4) задано действие (3.7), то условие согласованности выполняется.
Доказательство. Применим диаграмму (3.7) для блочно-диагонального (с 2 на 2 блоками А = т1 ,Б = а1) элемента д подгруппы N. Очевидно, что д(Х) = а~1 т1т(а1)-1. Отсюда следует, что ф(д)(п) равно произведению дп, как двух элементов подгруппы N. Утверждение 3.2 доказано.
Замечание 3.2. Действие на N, удовлетворяющее условию типа (3.7), нередко называют подъёмом действия (с б на N).
Обозначим через Мр новую параллелизующую группу. Аналогично (3.2), введём явное описание этой подгруппы: Мр состоит из всех таких матриц вида
г У 0
0 Ь
(3.8)
что У Е и(1,1) и У) = 1. Здесь Ь — скалярная матрица (причём зада-
ющее её комплексное число обозначено той же самой буквой Ь). Так как для каждой матрицы вида (3.8) выполнено условие (1.6) (см. [1], с. 27), то Мр является подгруппой в Ср. Если зафиксировано накрывающее отображение, переводящее п/ в принадлежащую и(1,1) матрицу и = Ь2У, то Мр обозначаем через Е(2). Отметим, что в [1], с. 25 было приведено альтернативное описание этого же самого 2-накрытия группы и(1,1).
Действие группы Ср в Е(2) было введено коммутативной диаграммой (А6) (см. [1], с. 34). В контексте следующего утверждения используем ф для обозначения этого действия.
Утверждение 3.3. Условие согласованности (3.1) для Е(2) нарушается.
Доказательство. Рассмотрим формулу (А7) из [1], с. 34 для случая блочно-диагонального (с 2 на 2 блоками А, И) элемента д группы Ср:
п1
и = Ь2У
п/
п = ь2ауи
1
(3.9)
С необходимостью, здесь
п /
У 0 0 А)
(3.10)
где У = (ае! А)-2 АУВ-1.
Теперь возьмём такой блочно-диагональный элемент д1 группы Ср, что А = У1, а И — скалярная матрица, задаваемая числом Ь1. Тем самым, д1 принадлежит подгруппе Е(2). Напомним, что (Ь1)2(ае1 У1) = 1. Получается, что фигурирующая в (3.10) псевдо-унитарная матрица У равна (Ь1)3У1У. Тем самым, условие согласованности не выполняется.
Утверждение 3.4. Если задан подъём (с Е на Мр = Е(4)) действия группы Ср, то условие согласованности выполняется.
Доказательство. Теперь (т. е. когда Мр = Е(4), а не Мр = Е(2)), для действия ф группы Ср в Ыр выполняется следующая коммутативная диаграмма:
щ-- Ф(д)(п/)
и = Ъ-1У-> д(и) = (Аи + В)(си + Б)-1 (311)
Применим эту диаграмму для блочно-диагонального (с 2 на 2 блоками А = У1,0 = Ь1) элемента д подгруппы Nf. Очевидно, что д(и) = Ъ-1У{У(Ь1)-1. Отсюда следует, что ф(д)(п/) равно произведению дп-%, как двух элементов подгруппы ^р. Утверждение 3.4 доказано.
Замечание 3.3. Мы вынуждены отметить, что Следствие 4.1.2 публикации [6] сформулировано нечётко (по сравнению с их же Теоремой 4.1). Именно, в Теореме 4.1 «подстилающим пространством» является подгруппа N (задаваемая соотношением (3.2) и четырежды-накрывающая D), в то время как в основной формуле [6] (Corollary 4.1.2, с. 101) аргументами рассматриваемых волновых функций (т. е. сечений индуцированного расслоения) являются матрицы Z из D = U(2). Несомненно, что затруднение могло быть вызвано лишь (четвёртым) множителем (ф(д-1)(х)) формулы (3.13), см. ниже. К сожалению, у самих авторов работы [6] спросить невозможно: Панайтц погиб в 1983 году, а Сигал скончался в 1998.
В наиболее общем варианте вышеупомянутой основной формулы (см. [6], с. 99) через U(д)ф обозначено сечение индуцированного расслоения, которое получено из произвольно взятого («исходного») сечения гф применением оператора U(д). Здесь g — произвольный элемент группы G, а через U обозначено индуцированное представление. Как мы отмечали ранее (см. [1], с. 26), аргументами х этих сечений являются элементы подгруппы N. Сама же формула позволяет вычислить значение сечения U(д)ф в точке х как
К(д*)ф(ф(д-1)(х)). (3.12)
Здесь R — индуцирующее представление, а элемент д* (он принадлежит «индуцирующей» подгруппе P) является следующим произведением (пяти сомножителей) в G:
д* = х0х-1 д(ф(д-1)(х))х0-1. (3.13)
В нашем контексте х0 — это матрица —1 в N.
Недостаток изложения в этом месте статьи [6] состоит в том, что возможность действия группы G на N = D(4) не доказана (к примеру, в нескольких случаях в статье говорится о корне четвёртой степени из определителя матрицы Z, но ведь при заданной Z таких корней четыре!). Таким образом, корректность сомножителя (ф(д-1)(х) в (3.13) остаётся под вопросом.
Начнём с обсуждения более общего (чем в нашем Утверждении 3.4) случая. Легко проверяется следующее
Утверждение 3.5. Если элемент
к =
А 0 0 D
(3.14)
максимальной компактной подгруппы в С применён к п = (т,д) вида (3.2), то результатом является такой п = (гу,д), что д = да, а2 = det А.
Замечание 3.4. Получается, что (для задания глобального действия) надо уметь однозначно выбирать квадратный корень из det А. Отсюда следует вывод об отсутствии глобального подъёма действия группы С на N = б(4). В частности, само употребление (в середине с. 100 статьи [6]) выражения ф(д-1)(х) при доказательстве Следствия 4.1.2 является некорректным.
Исправим положение следующим образом: воспользуемся тем, что (согласно [6], Следствие 4.1.1) можно ограничиться локальным действием группы С на
N = Б(4). Проверим правильность выражения для д* (см. четвёртую из формул на с. 101 статьи [6]; к сожалению, ни одна из (шести) формул на этой с. 101 не снабжена номером). Её достаточно проверить в двух отдельных случаях: для максимальной компактной подгруппы в С (см. выше наше Утверждение 3.5) и для одномерной подгруппы, состоящей из элементов вида
к =
С —в -в С
(3.15)
где С = совЬ(¿/2), в = втЬ(£/2), скалярные два-на-два матрицы. Упомянутая достаточность обеспечена тем, что максимальная компактная подалгебра и соответствующая подгруппе (3.15) одномерная подалгебра порождают всю ви(2, 2). Некоторые дальнейшие свойства подгруппы (3.15) упомянуты в Секции 4.
Дополним Утверждение 3.5 следующим выбором корня квадратного из (Л = ае! А. В силу локальности действия можно считать, что (содержащая 1) дуга единичной окружности между с1, с1 меньше, чем к. Тогда в качестве а (фигурирующего в Утверждении 3.5) выбираем тот квадратный корень из который лежит на этой дуге. Теперь выражение ф(д-1)(х) корректно определено. Нетрудно (в силу диагональности всех пяти сомножителей, фигурирующих в формуле 3.13) проверить, что «наше» д* совпадает с таковым в (четвёртой) формуле с. 101 статьи [6].
В (более сложном для проверки) случае (3.15) нам надо сначала установить, что (при заданных (т, д) из N и д из С) однозначно определяется такой элемент (гЪ, Ъ), что его проекция 2 = Ъ-1гЪ на Б совпадает с матрицей (С2 — в)(С — — вХ)-1. Здесь матрицы (т, д), (ги, и) принадлежат Б(4), а 2 = д-1т. Очевидно, что равенство ( СХ — Б)(С — БХ)-1 = Ъ-1гЪ эквивалентно
Ъ( Ст — дв) = т(дС — Яги). (3.16)
Обозначим определитель искомой матрицы гЪ через к; в дальнейшем же будет использовано и соотношение к(Ъ)2 = 1. Разложим унитарную матрицу т на произведение числа д-1 и матрицы и из группы ви(2), см. [8], формула (А4). Так как д задано, то это разложение однозначно. Введём обозначения Сд,Яя для действительной и мнимой частей числа д2. Из (3.16) следует, что
С 2(Сд — гвд) — 2БСщ + в 2(Сд + гвд) = = к2{в2( Сд — г Бд) — 2 БСщ + С2(Сд + гвд)} (3.17)
В связи с этим, выражение для к2 таково:
к2 = (х + гу)2/(х2 + у2), (3.18)
где х = С2Сд — 32и4,у = —вд, а через С2, Б2 обозначены гиперболические косинус и синус параметра 1 Эти обозначения оправданы, так как Ь равен удвоенному исходному аргументу ¿/2. Через т обозначим положительный квадратный
корень из (х2 + у2). Так как действие однопараметрической подгруппы д(Ь) непрерывно, то нами доказано следующее
Утверждение 3.6. Определитель К матрицы ги равен(ж + ъу)т-1.
Теперь найдём число д. Из Утверждения 3.6 следует, что (д)2 = (х — ъу)т-1. Обозначим через й положительный квадратный корень из га-1. Тогда (при вещественном ¿, достаточно близком к нулю, и при д, достаточно близком к числу 1 — на единичной окружности в комплексной плоскости) «правильный» выбор квадратного корня из д2 таков: д = ¿(а + гЬ), где а — это положительный квадратный корень из (х + га)/2, а Ь = /2а.
Из вышеизложенного следует
Утверждение 3.7. Результат действия элемента (3.15) на (т,д) равен такому (го, д), что д = ¿(а + гЬ), а ги = д(Сди> + 5)(С + вдт)-1.
Теперь все сомножители в (3.13) корректно определены, т. е. «наше» д* таково:
и)*Си) вди)* дви! ддС
*
9
(3.19)
Опять-таки, (3.19) совпадает с д*, подсчитанным согласно формуле со с. 101 статьи [6].
Теперь сформулируем [6], Corollary 4.1.2 (для интересующего нас случая п = 2) аккуратнее. В приводимом ниже соответствующем утверждении через P обозначена стационарная подгруппа (точки —1 в U(2) = D) группы G в её (дробно-линейном) действии на D, а под N понимается подгруппа, задаваемая соотношением (3.2) и являющаяся 4-кратной накрывающей пространства-времени D. Через ф обозначим то действие группы G в N, которое рассматривалось в наших Утверждениях (3.5-3.7).
Утверждение 3.8. Пусть (индуцирующее представление) R является конечномерным представлением подгруппы Пуанкаре P. Тогда элемент д* из (3.12) корректно определён и совпадает с таковым на с. 101 статьи [6] (см. четвёртую формулу на этой с. 101).
Доказательство следует из (доказанных выше) Утверждений 3.5-3.7.
Приложение. Область определения композиции двух преобразований из группы Ср может не совпадать с таковой для их произведения
Композицию преобразований д1 и д2 обозначаем д2 о д1. Под произведением д2д1 понимается то дробно-линейное преобразование, матрица которого равна соответствующему произведению двух матриц (этих преобразований). В данном приложении достаточно рассмотреть лишь те преобразования д пространства-времени Е, которые задаются матрицами (3.15).
Считаем, что £ — не ноль (т. е. д не является тождественным преобразованием). Интересно, что д, как матрица, совпадает с д. Поэтому мы опускаем тильду (она была введена в самом начале нашей Секции 2) над д. Этот пример
важен (см. [6], с. 85), так как подалгебра изометрий (она состоит из соответствующих блочно-диагональных матриц) и генератор однопараметрической группы (3.15) порождают всю (15-мерную) алгебру Ли ^ и(2,2) — как в Б-, так и в Е-случае.
Пусть преобразование д1 задаётся некоторой матрицей (3.15) с положительным . Пусть преобразование 2 совпадает с 1. Докажем существование такой точки и (и- это матрица, принадлежащая Е), которая сингулярна для д2 о д1, но не является сингулярной для преобразования 2 1.
Для любой из 2 на 2 матриц (А, В, ...), вовлечённых в приводимые ниже подсчёты, их элементы обозначаются так:
A = "A A2 ' ,в = " В! В2
.As A4 , Вз В4
В [3], Proposition 1 установлено, что множество Sing{д1} всех сингуляр-ностей преобразования д1 является W-образом множества следующих матриц Z е D:
Zi = Z4 = SC(1 — pq)/(С2-pqS2),Z2 = p/(C2— pqS2),Z3 = q/(C2-pqS2). (4.2)
Параметры р и q - произвольные комплексные числа модуля 1 (лишь бы их произведение не равнялось 1). Тем самым, Sing{д1} диффеоморфно (посредством отображения W) тору с вырезанной окружностью. Через U обозначим такую W(Z), что р = 1,д = —1 в (4.2). Ясно, что U принадлежит множеству Sing {д2 о д1}: ведь уже составляющая gi не может быть применена к U !
Литература
1. Левичев А.В., Пальянов А.Ю. Анализ в космических расслоениях на основе группы U(1,1): основные таблицы инфинитезимального SU(2, 2)-действия // Математические структуры и моделирование. 2016. № 4(40). С. 26-40.
2. Levichev A.V. On key properties of the intertwining operators ornament in the matrix multi-level model of the quark-gluon media // Материалы Всероссийской конференции с международным участием «Знания-Онтологии-Теории» (ЗОНТ-2017). Том 2. Новосибирск : Изд-во Ин-та математики, 2017. С. 41-47.
3. Levichev A.V. Towards a matrix multi-level model of quark-gluon media // Journal of Progressive Research in Mathematics. 2016. Vol. 10, Issue 2. P. 1493-1496. URL: http://scitecresearch.com/journals/index.php/ jprm/article/view/974/0 (дата обращения: 15.01.2018).
4. Менский М.Б. Метод индуцированных представлений: пространство-время и концепция частиц. Москва : Наука, 1976.
5. Levichev A.V. Pseudo-Hermitian realization of the Minkowski world through DLF theory // Physica Scripta. 2011. No. 83(1). P. 1-9. URL: http:// iopscience.iop.org/article/10.1088/0031-894 9/83/01/015101 (дата обращения: 15.01.2018).
6. Paneitz S.M., Segal I.E. Analysis in space-time bundles I: General considerations and the scalar bundle // Journal of Functional Analysis. 1982. No. 47. P. 78-142. URL: http://www.sciencedirect.com/science/article/pii/ 002212368290101X (дата обращения: 15.01.2018).
7. Levichev A.V. Certain Chronometric Bundles over Compact Worlds: Triviality of Scalar and Spinor Bundles // Siberian Advances in Mathematics. 2003. No. 4. P. 1-9.
8. Levichev A., Palyanov A. On Separation between Metric Observers in Segal's Compact Cosmos // Journal of Modern Physics. 2015. No. 6. P. 2040-2049. URL: http: //dx.doi.org/10.4236/jmp.2015.614210 (дата обращения: 15.01.2018).
ANALYSIS IN SPACETIME BUNDLES BASED ON GROUPS U(1,1) AND U(2): THE CASE OF SU(2,2)-ACTIONS IN THEIR 2- AND 4-COVERS
A.V. Levichev1
Dr.Sc. (Phys.-Math.), Professor, Senior Researcher, e-mail: alevichev@gmail.com
A.Yu. Palyanov2,3 Ph.D. (Phys.-Math.), Senior Researcher, e-mail: palyanov@iis.nsk.su
1Sobolev Institute of Mathematics, Novosibirsk, Russia 2A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia 3Novosibirsk State University, Novosibirsk, Russia
Abstract. In this paper (which is the direct continuation of A.V.Levichev and A.Yu.Palyanov, Mathematical structures and modeling, 2016, N. 4(40), 24-38) we continue to develop mathematical tools which are necessary in order to perform analysis of homogeneous vector bundles on the basis of the parallelizing group U(1,1). In particular, the compatibility of the (introduced by Paneitz and Segal) coherence condition with the SU(2, 2)-action on finite covers of U(1,1) and of U(2) was studied: such a compatibility is violated in case of 2-covers but it holds in case of 4-covers. In terms of the U(2)-approach, we have corrected the proof of one (fundamental for the implementation of any induced representation) Paneitz-Segal formula given in Corollary 4.1.2 of S. M. Paneitz and I. E. Segal, J. Funct. Anal. 47(1982), 78-142.
Keywords: parallelizations of space-time bundles, conformal SU(2,2)-actions in U(1,1),^(2), 2- and 4-covers, coherence condition and induced representations.
Дата поступления в редакцию: 17.01.2018
