CC BY
24
УДК 514.763.7
DOI 10.21685/2072-3040-2016-3-3
А. А. Михеева О СЕРДЦЕВИНЕ ГРУППОВОЙ ТРИ-ТКАНИ
Аннотация.
Актуальность и цели. Дифференциальную геометрию многомерных три-тканей начал изучать в 1920-е гг. XX в. В. Бляшке, позднее С. Черн, М. А. Аки-вис и др. Особое место в теории многомерных три-тканей занимают ткани Бола, на которых естественным образом возникает структура симметрического пространства. Она определяется на базе одного из слоений ткани Бола с помощью некоторой бинарной операции, называемой сердцевиной этой ткани. В частности, такая операция возникает на групповой три-ткани W (G), порождаемой группой Ли G . Сердцевина ткани Бола исследовалась в ряде работ, но ряд важных вопросов остался неизученным, в частности, не найден вид канонического разложения для сердцевины, не описаны ткани Бола с одной и той же сердцевиной. Цель настоящей работы - найти указанное каноническое разложение, описать свойства сердцевины групповой три-ткани, найти условия, характеризующие групповые три-ткани с изоморфными сердцевинами.
Материалы и методы. Для изучения сердцевины тканей Бола применяются методы классической дифференциальной геометрии, тензорное исчисление, модифицированный метод внешних форм и подвижного репера Эли Картана, используется теория групп Ли и результаты предыдущих работ.
Результаты. В работе найден канонический вид разложения в ряд Тейлора для сердцевины левой три-ткани Бола, вычислены соответствующие коммутатор и ассоциатор. Показано, как сердцевина групповой три-ткани CW(G)
выражается через групповую операцию в G; исходя из ряда Кэмпбелла -Хаусдорфа группы G найдено разложение в ряд для сердцевины. Доказано, что сердцевина CW (G) эквивалентна сердцевине исходной групповой три-ткани W (G); симметрическая связность, определяемая сердцевиной на базе первого слоения ткани W (G), совпадает с третьей связностью Эли Картана на группе Ли G ; правые сдвиги в группе являются автоморфизмами ее сердцевины. Получены условия, при которых две групповые три-ткани имеют общую сердцевину. Доказано, что группа G является нильпотентной высоты 1 тогда и только тогда, когда определяемая сердцевиной три-ткань CW(G) является параллелизуемой. Рассмотрены сердцевины групповых три-тканей, порожденных группой аффинных преобразований на прямой и группой Гейзенберга.
Выводы. Оказалось, что тензор кручения сердцевины равен нулю в единице e координатной лупы, но тензор кривизны, вообще говоря, в e нулю не равен. Найдены условия, при которых две групповые ткани имеют общую сердцевину, что позволяет в будущих работах более детально изучить вопрос о свойствах групповых три-тканей с общей сердцевиной.
Ключевые слова: три-ткань, групповая три-ткань, три-ткань Бола, сердцевина три-ткани Бола.
A. A. Mikheeva THE CORE OF THE GROUP THREE-WEB
Abstract.
Background. Wilhelm Blaschke began to study differential geometry of multidimensional three-webs in 1920s; S. Chern, M. A. Akivis and others studied the theory of multidimensional three-webs later. A special place in this theory is occupied by the Bol three-webs, on which the structure of symmetric space arises naturally. The structure is determined on the basis of one of the foliations of the Bol three-web using a binary operation, which is called the core of this three-web. In particular, this operation arises on group three-web W (G), which is generated by Lie group G . The core of the Bol three-web has been investigated in several studies, but the number of important questions have not been studied, in particular, the canonical decomposition for the core has not been found, the Bol three-webs with the same core have not been described. The aims of this work are to find the canonical decomposition for the core, to describe the properties of the core of group three-webs, to find the conditions characterizing group three-webs with isomorphic cores.
Materials and methods. Methods of classical differential geometry, tensor calculus, the modified method of exterior differential forms and the moving frame of Elie Cartan were applied to study the core of the Bol three-webs; the theory of Lie groups and the results of the previous works were also used in the study.
Results. The canonical form of the expansion in the Taylor series for the core of the left Bol three-web has been found, the corresponding commutator and associator were calculated. It is shown how the core of group three-web CW (G) is expressed through the group operation in G ; by means of the Campbell-Hausdorffs formula of group G we have found a series expansion for the core. It is proved that 1) core CW(G) is equivalent to the core of original group three-web W(G); 2) the symmetric connection determined by the core on the basis of the first foliation of the web coincides with the Elie Cartan's third connection on the Lie group; 3) the right translations in the group are automorphisms of its core. The conditions, under which two group three-webs have the general core, have been received . It is proved that group G is a nilpotent of height 1 if and only if the three-web, determined by core, is parallelizable. Cores of group three-webs generated by the group of affine transformations on a straight line and the Heisenberg group have been considered.
Conclusions. It turned out that the torsion tensor of the core is equal to zero in a unit, but the curvature tensor, generally speaking, isn't equal to zero in a unit. The conditions, under which two group webs have the general core, have been found. It allows to carry out a more amply study of the question of properties of group three-webs with the general core in future works.
Key words: three-web, group three-web, Bol three-web, core of the Bol three-web.
Введение
Сердцевиной три-ткани Бола называется бинарная операция, которая естественным образом возникает на одном из семейств линий этой три-ткани. Понятие сердцевины средней три-ткани Бола ввел В. Д. Белоусов в [1] (см. также [2]).
В случае, если три-ткань Бола - многомерная три-ткань, образованная r -мерными слоениями на гладком многообразии размерности 2r, то сердцевина является гладкой локальной квазигруппой и обладает дополнительным свойством - она определяет на базе одного из слоений ткани симметрическую структуру. Свойства сердцевины многомерной левой три-ткани Бола исследовались в работах [3-5].
Мы дополняем эти результаты, изучая свойства сердцевины CW(G) произвольной групповой три-ткани W(G), определяемой группой Ли G, и свойства три-ткани, для которой сердцевина CW(G) является координатной квазигруппой (она обозначается также CW(G)). Мы показываем, как сердцевина CW(G) выражается через групповую операцию в G; используя ряд Кэмпбела - Хаусдорфа группы G, мы находим разложение в ряд для операции в сердцевине CW(G) . При этом оказывается, что тензор кручения сердцевины равен нулю в единице группы G, но тензор кривизны, вообще говоря, в единице не равен нулю. Доказано, что сердцевина левой три-ткани Бола CW(G) эквивалентна сердцевине исходной групповой три-ткани W(G) . Показано, что симметрическая связность, определяемая сердцевиной на базе первого слоения ткани W(G), совпадает с третьей связностью Э. Картана на группе Ли G, порождающей эту ткань. Также доказано, что правые сдвиги в группе являются автоморфизмами ее сердцевины. Получены условия, при которых две групповые три-ткани имеют общую сердцевину. В заключение найдены сердцевины групповых три-тканей, порожденных группой аффинных преобразований на прямой и группой Гейзенберга.
1. Основные понятия
1.1. Три-тканью W на дифференцируемом многообразии M размерности 2r называется совокупность трех гладких слоений ^1, ^ и X3 коразмерности r таких, что в каждой точке p многообразия M три проходящих через нее слоя находятся в общем положении.
Зададим слоения ткани W в некоторых локальных координатах на многообразии M уравнениями [6, с. 22]
: x = const, X2: y = const, X3 : z = f (x, y) = const, (1.1)
где x = (x1,...,xr)e X, y = (y1,...,yr)e Y , z = (z1,...,zr)e Z, а функция f = (f1,..., fr) является гладкой и в каждой точке многообразия M
удовлетворяет условиям
У
dx
Ф 0,
эу
dy
Ф 0.
Уравнение z = f (x, y) связывает параметры x, y и z слоев первого, второго и третьего слоений три-ткани W , проходящих через одну точку многообразия M = X х Y , и называется уравнением три-ткани W . С другой стороны, это уравнение определяет локальную квазигруппу
(•): X х Y ^ Z, z = f (x,y) = x • y = xy, (1.2)
которая называется координатной квазигруппой три-ткани W.
Параметры x, y и z допускают изотопические преобразования вида
x = а( x), y = P( y), z = у (z),
где а, P, у - локальные диффеоморфизмы. Тройка (а,Р,у) называется изотопическим преобразованием, или изотопией [6, с. 11]. Указанным изотопическим преобразованием уравнение (1.2) приводится к виду
Известия высших учебных заведений. Поволжский регион Z = f ( x, y ) = y( f («_1( x ),ß"1( y ))).
Последнее определяет квазигруппу, изотопную (1.2). Три-ткани, определяемые изотопными квазигруппами f и f , являются эквивалентными.
В соответствии с [6, с. 23] продифференцируем уравнения (1.2),
обозначим p. =-г, f) и положим ю1 = f)dxJ , ю1 = f)dyJ . Тогда
dxJ dyk 1 2
в силу (1.1) слоения три-ткани W будут определяться уравнениями:
def ,
Х^ю1 =0, X 2:ю1 =0, Я3:юг = ю1 + юг =0. 1 2 3 12
При этом формы ю1 и ю1 удовлетворяют следующим структурным 1 2
уравнениям [6, с. 15]:
1 i j i , i j k 1 i j i i j k d ю = ю ЛИ; + a jk №лш , d ю = -a j; лю ,
11 J ^ 1 1 2 2 J ^ 2 2
d ю) = ю^ люk + b1jki ю; л соl. (1.3)
Величины ajk и bj;l являются тензорами и называются соответственно
тензорами кручения и кривизны три-ткани W. Они вычисляются по известным формулам [6, с. 23]:
ajk = г[ Jk ]; (L4)
Эг1 gpi
ri — jl kj xm . W т-^m W T^m W T^m . W T^m /1 гч
bjkl = ~~mgk -jmgl + Г mjГ kl -Г jmr kl -Г mlГ kj + Г kmГ jl, (1.5)
где
\ 2 ri
г1; =--J glgm
jk dxldym gjgk ,
а (gj) и (gj) - матрицы, обратные для (fj) и (flj) соответственно. Формы ю) вычисляются по формулам
ю) = rkj юk +rjk юk. (1.6)
Тензоры aljk и bjkl связаны обобщенным тождеством Якоби [6, с. 16]
b[jkl ] =2a[jka\m\l ] = ~ {a"jkaml + aklalmj + aljalmk ) (17)
и удовлетворяют дифференциальным уравнениям:
х-7 г il г m г m , m / i / 1,7/ l /io\
Vajk = dajk - GmkИ j - a+ ajkИт = b{]Щк] ю + b{ jkv ю ; (1.8)
\~7 ji__77 i ji ,m ji ,m ji iM ,J r^i ,Mi r^i ,jm /1
Vbjki = dbjki - ЪтЫщ - bjmiщ - bjkm щ + bjkirnm = С ю+ С ю . (1.9)
J J J J J J 1 jklm 12 jklm 2
При этом выполняются соотношения [6, с. 18]:
С\ш ]= bjplaL, C2 -k[l ]= ,
1 j[k|l|m] 2 jk[im]
Cl
- Cl
1 [ jk]ml 2 [ j\l\k]m]
= a'pjbklm - a'fkbjlm + j'plm ■
В уравнениях (1.8) и (1.9) через V обозначен оператор ковариантного дифференцирования в аффинной связности Г (связность Черна), которая
определяется на многообразии М формами (юг, юг) и
1 2
fi
ю,- 0
0 и-
V J J
[6, с. 25].
1.2. С каждой точкой Р = (а,Ь), (а,Ь)е М из области определения три-ткани Ж связана локальная лупа1 1р : Z X Z ^ Z , которая называется координатной лупой этой ткани [6, с. 47]. Операция в 1р определяется формулой
и о V = Щ\и)га(.v) = ХУ,
где и = Яь (х) = хЬ и V = Ьа (у) = ау - правый и левый сдвиги в координатной квазигруппе (см. рис. 1, где слои первого, второго и третьего слоений ткани изображаются вертикальными, горизонтальными и наклонными линиями соответственно).
Рис. 1
В окрестности произвольной точки Р = (а, Ь) многообразия М ткани Ж можно ввести стандартную параметризацию [6, с. 57], при которой а = 0 и Ь = 0, т.е. точка Р будет иметь нулевые координаты, а функция / будет удовлетворять условию /(х,0) = х, /(0, у) = у . Тогда координатная
1 Квазигруппа с единицей.
квазигруппа становится лупой, ыу = и ° V , причем единица е лупы 1р будет иметь нулевые координаты.
Замечание. При стандартной параметризации слои ткани, пересекающиеся в точках «координатных слоев» х = а и у = Ь , имеют одинаковый параметр (рис. 2).
е
Рис. 2
При стандартной параметризации разложение функции ыу в ряд Тейлора с точностью до членов четвертого порядка в окрестности точки Р(0,0) примет вид [6, с. 53]:
(ыу)'" = иг' + V + А (и,у) +1М1 (и, и,у) + 2N (и, V,у) + о1 (р3), (1.10)
где
А' (Ы,У) = ,М' (Ы,Ы,У) = \1']к1и]ику1 (Ы,У,У ) = у)к1и]уку1. (1.11)
Многочленам М1 (и,и,V) и N (и,V,V) однозначно соответствуют трилинейные формы М1 (и, V, w) и N (и, V, w), причем М1 (и, V, = М1 (у, и, ,
а N (и,V, w) = N (и, w,у) .
Переменные и и V допускают синхронные линейные преобразования, при которых не меняется вид разложения (1.10). При этих преобразованиях
величины Ад, ^ы, ^1}к1 меняются, вообще говоря, не по тензорному закону. Но из них можно получить тензоры следующим образом:
а)'к = ^)к - Хк, $)к1 = ^)к1 - ^}к1 + ^кХМ - М. (1.12)
С помощью этих тензоров в касательном пространстве Те координатной лупы 1р три-ткани определяются бинарная и тернарная операции, которые называются соответственно коммутированием и ассоциированием:
& лУ = а'д , & Л, СУ = С,
или короче
&л] = л), (£,Л,С) = В(1,л,С).
Обозначим а(Ъ, |) и Ь(Ъ, г|, С) полилинейные формы, определяемые тензорами кручения и кривизны три-ткани в точке Р, тогда имеют место следующие равенства [6, с. 58]:
а(Ъ,|) = -1А(Ъ,|), Ь(Ъ,0 = -В(|,Ъ,С). (1.13)
В силу тождества Якоби (1.7) получаем
аЦЪ, С) = [[Ъ, |], С] + [[|, С], Ъ] + [[С, Ъ], |]. (1.14)
Согласно [6, с.57] Ж -алгеброй называется линейное пространство, в котором определены две полилинейные операции: бинарная [Ъ, |] и тернарная (Ъ, С), причем первая из них кососимметрична и эти операции связаны обобщенным тождеством Якоби (1.14). Таким образом, в касательном пространстве Те координатной лупы 1р определена Ж -алгебра, которая называется касательной Ж -алгеброй три-ткани Ж в точке Р = (а,Ь). Расслоение этих алгебр называется касательной Ж -алгеброй ткани Ж .
В дальнейшем мы будем использовать каноническое разложение в ряд функции ыу . Напомним, что в локальной аналитической лупе Q существуют
канонические координаты ы1 , в которых выполняются соотношения (ыы)1 =2ы1 [6, с. 60]. В канонических координатах разложение (1.10) бинарной операции в лупе 1р принимает вид
ыу = ы + у + А(ы, у ) +1М (ы, ы, у ) +1N (ы, у, у ) +1 Р(ы, ы, ы, у ) + 2 2 6
+1Q (ы, ы, у, у) +1 Я(ы, у, V, V) + о(р4), (1.15)
4 6
причем
А(ы,ы) = 0, М(ы, ы, ы) + N(ы, ы,ы) = 0,
1 Р(ы, ы, ы, ы ) +1Q (ы, ы, ы, ы ) +1 Я(ы, ы, ы, ы ) = 0. (1.16)
6 4 6
Заметим, что вторая из формул (1.12) теперь может быть записана в виде
В(ы,у, w) = М(ы,у, w) - N(ы,у, w) + А(А(ы, V), w) - А(ы, А(у, w)). (1.17)
2. Левые три-ткани Бола
Три-ткань Ж называется левой три-тканью Бола и обозначается В[, если на ней замыкаются все достаточно малые левые конфигурации Бола (В1), изображенные на рис. 3 [6, с. 46].
Для изучения левых тканей Бола используем связность Г23 из пучка у(Ж) связностей, присоединенных к три-ткани Ж [7]. Связность Г23 определяется формами
ю1, Юj = roj + a1jk юк . (2.1)
b а с
Рис. 3
С учетом равенств (2.1) структурные уравнения (1.3) ткани W примут
вид
d ю1 = юj л ю j, d ю1 = Ю л Юг - а1,^ ю j a <k, 1 1 J 2 2 2 3
d со j = cok л со k + (aj^af, - a^ai + j ]) <k лю1 + Ъ(' jk )г </ лю1, (2.2)
где bjv = i(j + ^). Из уравнений (2.2) следует, что формы ю1, <
определяют на базе первого слоения три-ткани W аффинную связность (обозначим ее Г) в том и только в том случае, если выполняются условия
bj)l =0. (2.3)
Условия (2.3) характеризуют левую три-ткань Бола [6, с. 98]. Из (2.2) в силу (1.7) и (2.3) получаем структурные уравнения ткани B, в виде
d ю1 = юj л ю j, d ю1 = ю j a Ю j - aj) ю j a <k, 1 1 J 2 2 2 3
dЮ j = Юkj лю) + j юk a соl, (2.4)
причем величины
Rjkl = 44(bklj - 2amjafl ) (2.5)
образуют тензор кривизны связности Г .
Из (1.9) следует, что VRjki = 0, т.е. тензор к-л является ковариантно
постоянным (здесь V - оператор ковариантного дифференцирования в связности Г). Следовательно, связность Г, индуцируемая левой тканью
Бола Bl (и только такой тканью) на базе ее первого слоения, является локально симметрической связностью1 [8, 9].
Каноническое разложение в ряд (1.15) для левых тканей Бола имеет свою специфику.
Лемма 2.1. Пусть (1.15) - каноническое разложение для лупы левой три-ткани Бола, тогда выполняются следующие соотношения:
M (u, u, u) = N (u, u, u) = 0. (2.6)
Доказательство. Как было отмечено выше, левая ткань Бола характеризуется условиями (2.3): b(^,л, С) + b(T,С) = 0, что в силу (1.13) дает
B&, л, С) + B(T1, S, С) = 0.
Отсюда, сменив обозначения, получим B(u,u,u) = 0. Полагая в (1.17) u = v = w , с учетом последнего равенства найдем
M(u,u,u) - N(u,u, u) = 0.
Сравнивая со вторым равенством из (1.16), получим (2.6).
3. Сердцевина левой три-ткани Бола
Дадим важное для дальнейших рассуждений определение сердцевины ткани Bi . Как видно из рис. 3, на три-ткани Bl положение слоя c однозначно определяется заданием слоев a и b . Бинарная операция
(*):X xX ^ X, c = a *b, (3.1)
где a, b, c - слои первого слоения, входящие в произвольную левую конфигурацию Бола на три-ткани Bl, называется сердцевиной этой ткани и обозначается CBl .
Напомним, что уравнение три-ткани z = f (x, y) связывает параметры линий ткани, проходящих через одну точку. Поэтому для ткани Bl, заданной уравнением (1.2), уравнение сердцевины получается из равенств
f (a,y1) = f (b,y2), f (c,y1) = f (a,y2), a, b, c e X, y1, y2 e Y,
соответствующих замыканию на ткани левых конфигураций Бола.
Исключая из этих равенств параметр y2 , получим соотношение
f (a, f -1(b, f (a,y1))) = f (c,y1), a, b, c e X, (3.2)
которое должно быть тождеством относительно y1 . Отсюда находим уравнение сердцевины c = a * b .
Соотношение (3.2) можно упростить. Введем в окрестности точки P стандартную параметризацию. Тогда координатная квазигруппа f станет
лупой с единицей e . Положив в (3.2) y1 = e (см. замечание в п. 1.2), получим
1 Аффинная связность без кручения и с ковариантно постоянным тензором кривизны. Physical and mathematical sciences. Mathematics 39
с = а *Ь = /(а,/-1(Ь,а)). (3.3)
Отметим некоторые свойства сердцевины (*).
1. Согласно [8] сердцевина (3.3) обладает свойствами идемпотентности (а * а = а ), левой обратимости (а * (а * Ь) = Ь) и левой дистрибутивности (а * (Ь * с) = (а * Ь) * (а * с)). Отсюда вытекает, что она изотопна некоторой левой лупе Бола [10].
2. Сердцевина (*) порождает на базе X первого слоения ткани локально симметрическую структуру, которая задается семейством гладких функций Ба таких, что Ба (Ь) = а * Ь для любых а е X и Ь е^а с X, где иа - достаточно малая окрестность точки а [9].
Пусть операция в координатной лупе 1р задана каноническим разложением (1.15). Найдем разложение в ряд Тейлора для сердцевины (3.3) в точке Р (см. замечание в п. 1.2).
Предложение 3.1. Разложение в ряд Тейлора для сердцевины с = а * Ь в окрестности точки Р(0,0) с точностью до членов четвертого порядка имеет вид
с = а + Ь + — М * (а, а, Ь) + 2 Я*( а, Ь, Ь) + о (р3), (3.4)
где
* 1 111
М (а, а, Ь) = - — А(а, А(а, Ь)) + ^М (а, а, Ь) + — N (а, а, Ь) + ^ N (Ь, а, а),
* 1 1
N (а, Ь, Ь) = - А(Ь, А(а, Ь)) - — М (Ь, Ь, а) + N (Ь, Ь, а) + — N (а, Ь, Ь). (3.5)
Доказательство. В (3.3) произведем замену:
I-1(Ь, а) = р. (3.6)
Тогда а = I(Ь,р), и в силу (1.15) имеем
а = I (Ь, р) = Ь + р + А(Ь, р) + - М (Ь, Ь, р) +1N (Ь, р, р) + о (р3).
Выразим из найденного соотношения переменную р. Учитывая симметричность величин М и N, (1.16), (1.17), (2.6), с точностью до членов четвертого порядка получим
р = а - Ь - А(Ь, р) - — М(Ь, Ь, р) -—N(Ь, р, р) - о (р31 = а - Ь - А(Ь, а - Ь --А(Ь,а - Ь)) - — М(Ь,Ь,а - Ь) - — N(Ь,а - Ь,а - Ь) + о (р31 = а - Ь - А(Ь,а) + +А(Ь, А(Ь, а)) - -2 М (Ь, Ь, а) - -2 N (Ь, а, а) + — N (Ь, а, Ь) +1N (Ь, Ь, а) + <5 (р3) =
= a -
b + A(a,b) - A(b, A(a,b)) - — M(b, b,a) - — N(b,a,a) + N(b, b,a) + o (p3).
С учетом обозначения (3.6) формула (3.3) примет вид с = I(а,р) . Используя разложение для р, находим
c =
f (a, p) = a + p + A(a, p) + -2 M (a, a, p) + — N (a, p, p) + o (p3 j = a + (a - b +
+А(а, Ь) - А(Ь, А(а, Ь)) - —М(Ь,Ь,а) -1N(Ь,а,а) + N(Ь,Ь,а)) + А(а,а - Ь + +А(а,Ь)) + М(а,а,а - Ь) +1N(а,а - Ь,а - Ь) + о (р3) = 2а - Ь + А(а,Ь) -- А(Ь, А(а, Ь)) - — М (Ь, Ь, а) -—N (Ь, а, а) + N (Ь, Ь, а) - А(а, Ь) + А(а, А(а, Ь)) -
-—М (а, а, Ь) -1N (а, а, Ь) -1N (а, Ь, а) + — N (а, Ь, Ь) + о (р3).
Приведя подобные члены, получим с = 2а - Ь + А(а, А(а, Ь)) - А(Ь, А(а, Ь)) - — М (а, а, Ь) - N (а, а, Ь) -—N (Ь, а, а) -
- — М(Ь, Ь,а) + N(Ь,Ь,а) + — N(а,Ь,Ь) + о (р3).
Первые члены полученного разложения для сердцевины приведем к стандартному виду (см. (1.15)). Для этого сделаем замену 2а ^ а, - Ь ^ Ь , тогда
с = а+Ь - -4 а (а, А(а, Ь) а ((, А(аа, -8 м (а, а, Ь -4 N (а, а, ь +^ N (Ь, а, а)-1 м (Ь, ь, а)+^2 N (ь, ь, а)+4 N (а, ь, Ь)+о (р3).
Введя обозначения (3.5), придем к (3.4).
Обозначим коммутатор и ассоциатор сердцевины (*) А* и В* соответственно.
Следствие 3.1. Пусть В[ - левая ткань Бола, СВ1 - ее сердцевина. Тогда коммутатор сердцевины равен нулю, а ее ассоциатор выражается через коэффициенты ряда Тейлора ткани В1 следующим образом:
* 1 1 3
В (и, V, w) = -4 А(и, А(у, w)) + — А(А(и, V), w) - 4 А(у, А(и, м>)) -
1 3 3
- 4 М (и, V, w) + — N (и, V, w) + 4 N (V, и, w). (3.7)
Доказательство. Так как в разложении (3.4) нет членов второго порядка, то A*(u,v) = 0 . Найдем Б* с помощью формулы (1.17):
B*(u, v, w) = M *(u, v, w)- N *(u, v, w) + A*( A*(u, v ), w)- A*(u, A*(v, w)).
Так как A*(u,v) = 0 , то
B*(u, v, w) = M * (u, v, w)-N*(u, v, w). (3.8)
Распишем M *(u, v, w) и N*(u, v, w) с помощью (3.5). Имеем
* 1 1 1
M (u, v, w) = -4 A(u, A(v, w)) - -4 A(v, A(u, w)) + -4 M (u, v, w) +
+1N (u, v, w) + 4 N(v, u, w) + -4 N(u, v, w) = -1 A(u, A(v, w)) -
-1 A(v, A(u, w)) + 4 M (u, v, w) + + 2 N (u, v, w) +1N (v, u, w);
* 1 1 1
N (u,v,w) = ^A(A(u,v),w) + ^A(A(u,w),v) —M(u,v,w) +
+1N (u, v, w) + 2 N (v, u, w) + 1 N (u, v, w) = 2 A( A(u, v), w) +
+ -2 A( A(u, w), v) -2 M (u, v, w) + N (u, v, w) + -2 N (v, u, w).
Подставив найденные выражения для M*(u,v,w) и N*(u,v,w) в (3.8), получим (3.7).
4. Групповые три-ткани
Пусть G - группа Ли размерности r с операцией z = /(x, у) = xy и X -прямое произведение G XG . Через произвольную точку (a,b) из X проходят три слоя: (x, у): x = a, (x, у): у = b, (x, у): xy = ab, которые, очевидно, находятся в общем положении. Поэтому слоения x = const, у = const и xy = const образуют на X три-ткань, которую называют групповой тканью и обозначают W (G ). Согласно [6, с. 46] групповая три-ткань характеризуется замыканием всех достаточно малых конфигураций Рейдемейстера R, изображенных на рис. 4. Координатной квазигруппой групповой три-ткани является исходная группа Ли G z = /( x, у) = xy, а операция в координатной
лупе lp определяется равенством (см. п. 1.2):
u о v = R- \u)L-\v) = xy, u = Rb (x) = xb,v = La (у ) = ау, u,v e Z ,a e X, b e Y.
В силу свойств группы x = ub 1, у = a 1v, поэтому
u о v = xy = ub-1a-1v = u(ab)-1 v. (4.1)
Рис. 4
В частности, если в (4.1) положить аЬ = е, то операция в лупах 1р = I(а,а 1), V а е X совпадет с операцией в исходной группе.
Координатная лупа 1р групповой три-ткани является группой с единицей е = аЬ .
Пусть Ж(0) групповая три-ткань, определенная на прямом произведении X = G XG, где G - г -мерная группа Ли с единицей е [6, с. 20]. Положим Gl = ^,е), G2 = (е^), причем операцию в группе Gl оставим ту же, что и в группе G, а в G2 введем сопряженную операцию (°) по формуле х о у = ух . Тогда прямое произведение G X G превращается в группу с операцией «х»:
(х,у) X (и, V) = (хи,у о V) = (хи,уу).
Ясно, что группы Gl и G2 являются подгруппами группы «х», а естественные вложения : G ^ Gl, /1(х) = (х, е) и г2 : G(о) ^ G2, ?2 (х) = (е, х) являются изоморфизмами.
Рассмотрим далее слой третьего слоения, проходящий через точку (е, е). Согласно определению он образован такими точками (х, у) из X, для которых выполняется условие ху = е . По определению операции (о) имеем
(ХУ )"1= У ~lx -1 = x-1 о y-1.
(4.2)
Отсюда вытекает, во-первых, что слой ^з является подгруппой группы
«х», так как (х, х-1) X (у, у-1) = (ху,(у о х)-1). Обозначим эту группу Gз . Слои ткани Ж, проходящие черех точку (а,Ь), представляют собой
смежные классы вида (а,Ь^ = (ах,Ь), (а,Ь^2 = (а, хЬ), (а, Ь^з = (ах, х-1Ь). Во-вторых, заметим, что слой является графиком биективного
отображения 0 : Gl ^ G2(о), 0(х,е) = (е, х-1), которое в силу (4.2) будет
изоморфизмом. Рассмотрим изомрфизм ф : Gl ^ G2(о), ф(х) = х-1. Обозначим базисные левоинвариантные поля и дуальный базис левоинвариантных форм на группе G соответственно через е{ и юг, и пусть сд - структурный
тензор этой группы. Тогда из определения сопряженной операции (о) и формул, определяющих коммутатор, вытекает, что структурным тензором группы О (в тех же координатах) будет тензор - сд . Напомним, что структурный тензор определяется посредством коммутатора в касательной алгебре Ли группы О: [е^у ] = с^е^. Обозначим базис и кобазис на X следующим образом:
(е ,) = е,-, ^2(е,) = е2, (у-)*(ю1 ) = ю1, (/-1)*(ю1 ) = -ю1.
В результате структурные уравнения Маурера - Картана группы X (х) запишутся так:
йю1 = ■ юулюк, йю1 = юЮ аюЮ . (4.3)
1 1 1 2 2 2
Уравнения (4.3) являются структурными уравнениями рассматриваемой групповой три-ткани Ж (О). Слоения ткани задаются вполне
интегрируемыми системами ю1 = 0, ю1 =0 и ю1 + ю1 =0, при этом ю1■ = 0,
12 12 }
а'ук = ■. Подставляя юу = 0 в структурные уравнения три-ткани (1.3),
получим Ь1ул = 0. Последнее условие характеризует групповые три-ткани [6, с. 21].
5. Свойства сердцевины групповой три-ткани
1. Пусть Ж (О) - групповая три-ткань, определяемая г -мерной группой Ли О с операцией г = / (х, у) = ху и единицей е . Так как ткань Ж (О) является также левой тканью Бола, то для нее определена сердцевина с = а * Ь . Найдем ее уравнение. Для этого запишем условия замыкания фигуры В[ с помощью операции умножения в ее координатной квазигруппе О . Тот факт, что точки А и В лежат на одной наклонной, выражается соотношением ау1 = Ьу2 (см. рис. 3). Для точек С и О соотношение имеет вид су1 = ау2. Отсюда
а = Ь (У2у-11, с = а (у2у-11. Исключая у2у-1, получим: Ь-1а = а-1с, или
с = аЬ-1а = а *Ь. (5.1)
Непосредственно проверяем, что выполняются отмеченные выше свойства сердцевины (*). Идемпотентность: а * а = аа-1а = а . Левая
обратимость: а * (а * Ь) = а * (аЬ-1а) = а(аЬ-1а)-1а = аа-1Ьа-1а = Ь . Левая дистрибутивность:
а * (Ь * с) = а(Ь * с)-1а = а(Ьс-1Ь)-1а = аЬ-1сЬ-1а = = аЬ-1аа-1са-1аЬ-1а = (аЬ-1а) * (ас- 1а) = (а * Ь) * (а * с).
Предложение 5.1. Сердцевина (*) изотопна левой лупе Бола. Доказательство. Напомним [2], что лупа с операцией (о) называется
левой лупой Бола, если в ней выполняется левое тождество Бола:
и о (V О и)) о w = и о (V О (и о w)).
2 —1
С помощью изотопического преобразования а ^ и, Ь ^ V приведем уравнение (5.1) к виду
с = = и • V.
Очевидно, что квазигруппа (•) является лупой с единицей, так как
в локальной группе Ли уравнение х2 = е имеет единственное решение х = е . В этой лупе левое тождество Бола выполняется. Действительно:
Отсюда следует, что (u • (v • u)) • w = u • (v • (u • w)).
Так как сердцевина CBi является квазигруппой Бола, то она определяет некоторую левую три-ткань Бола, для которой эта сердцевина является координатной квазигруппой. Обозначим эту ткань тоже CBi. Соответственно три-ткань с координатной квазигруппой (5.1) обозначим CW(G) . Как было отмечено (см. п. 3), операция (*) порождает на базе X первого слоения ткани CW(G) локально симметрическую структуру, которая задается семейством гладких функций Sa (b) = a * b для любых a е X и b eUa с X, где Ua - достаточно малая окрестность точки a. Соответствующая
симметрическая связность Г - аффинная связность без кручения и с ковариантно постоянным тензором кривизны.
Предложение 5.2. Для ткани CW(G) симметрическая связность Г совпадает с третьей связностью Э. Картана на группе Ли G .
Доказательство. Напомним [11], что на многообразии группы Ли G Э. Картан ввел три способа параллельного переноса векторов и три аффинные связности, определяемые этими параллельными переносами. Параллельный перенос третьего рода определяется Картаном на группе G с помощью геодезической симметрии. Геодезическая симметрия Sx относительно точки x определяется равенством
Sx(У ) =
Соответствующая третья связность Э. Картана - аффинная связность без кручения и с ковариантно постоянным тензором кривизны. Как видно, это равенство совпадает с уравнением сердцевины (5.1), т.е. Sx (y) = x * y.
Для ткани CBi также можно определить сердцевину, которая обозначается CCBi. Согласно [3] ткань CCBi эквивалентна ткани CBi. Дадим непосредственное доказательство этого утверждения для ткани CW(G) .
Предложение 5.3. Три-ткани CW (G) и CCW (G) эквивалентны.
Доказательство. По предложению 5.1 CW(G) является левой три-тканью Бола Bi, т.е. для нее определена сердцевина CCW(G). Найдем ее уравнение из условий замыкания фигуры B>i (ср. с рис. 2): a * y = b * y, c * y = a * y. Исключая из этих соотношений y, получим a * (b * y) = c * (a * y). Левую часть распишем по свойству левой дистрибутивности, в результате получим (a * b) * (a * y) = c * (a * y), откуда a * b = c . Таким образом, уравнение сердцевины CCW(G) есть в точности уравнение сердцевины CW(G).
Предложение 5.4. Правые сдвиги Rx (z) = zx в группе G являются автоморфизмом ее сердцевины.
Доказательство. Обозначим a = Rx(a), b = Rx(b), c = Rx(c), a, b, c e Z,
тогда
c = Rx(c) = cx = (a *b)x = ab-1ax = axx-1b-1ax = = ax(bx)-1 ax = ab-1a = a *b = Rx(a) *Rx(b).
2. В предложении 3.1 найдено разложение в ряд для сердцевины CBi. Для сердцевины групповой ткани CW(G) найдем каноническое разложение в ряд, используя формулу Кэмпбелла - Хаусдорфа.
Предложение 5.5. С точностью до членов четвертого порядка каноническое разложение в ряд операции в координатной лупе ткани CW (G) в окрестности точки .Р(0,0) имеет вид
i i . i 1 i k j i m , 1 i i i k m
c = x + у " 24 c(j\k\ci')mx у + 12c(k\j\cm)ixy y -
-—c('j\„\c/k\ fl )xjxmykyi +—cl(ilnfP cf. )xkxiyjym + o(p4) (5.2) 48 (j\p\ (k\q\ i)m) J J 48 (j\p\ (k\q\ i)m) J J vk / v /
(в третьем и четвертом слагаемых у коэффициентов внутренние скобки означают суммирование по индексам k и i , а внешние - по индексам j и m ).
Доказательство. Пусть сердцевина CW(G) групповой три-ткани
W(G) задается уравнением вида (5.1): c = x*y = xy-1x . Заменив здесь y-1 на y, получим
c = xyx = x x y.
Далее представим бинарную операцию (х) в координатной форме
с помощью формулы Кэмпбелла - Хаусдорфа, определяющей операцию умножения в группе через операцию коммутирования в ее алгебре Ли. Напомним [12], что при стандартной параметризации в окрестности точки Р(0,0) с точностью до членов четвертого порядка эта формула имеет вид
ху = х + у + 2[х, у ] +12 ([х,[х, у]] + [у,[ у, х]])--24 [ у,[х,[х, у]]] + о(р4),
где [х, у] = с^х-^ ук, с)к - структурные константы группы О , х}, ук и
[х, у] - нормальные координаты соответствующих элементов в окрестности единицы. Тогда
с = хух = ху + х + ху,х] +12 ([[,[ ^ х]] + [х,[ х,ху]])
- 24 ^x, [ху,[ x•y, х]]]+о(р4) = х+у+x, у]+Т2 [х,[ x, у]]+Т2 [,[ у х]]
"24 [[х,[ х'у]]]+ х+2
х+у+-2[х у]+12 [х,[х' у]] +12 [,[ ух]]х
1
+— 12
х + у + х, Я
1
х + У + х, Я, х
1
+ — 12
1
х, х + у + х, у]
- [ х,[х + у,[ х + у, х]]] + о(р4) = 2 х + у + 2[ х, у] +12 [х,[ х, у]] +
+[LP, х]] ^4 [ у, [х,[ х, у]]] + ^О, х]+ - [[ х, у], х ]+ ^4 [[х,[х, У]], х ] +
+24 [[[,[ у x]], х ]+Y2 [х,[ у х]]+12 [,[ у х]]+24 [[ x, у],[ у х]] + +-4[ x, [[ x, Я х ]]+£[ у [[ х Я х]]+Y2 [х,[ x, у]] + 24 [ х [х,[ x, у]] -
- 24 [x, [х,[ у х]П- 24 [ х [у,[ у х]]]+<5(р4); 2 х+у+2[ x, у]+11- [х,[ x, у]]+11- Ш у х]]~ ±[ у,[х,[ x, у]]]+2[ i), х] + +4 [[ x, Я х]+24 [[x,[x, Я] х ]+± [[[,[ у x]], х ]+-1 [х,[ у х]]+i-j [ у х]] + +£ [[x, у],[ у х]]+-4 [ х,[[х Я х ]]+24 [ у [[x, й х ]] ++i1 [х,[ х у]] +
+:2т [ х [х,[ x, у]]] - TJ [ х,[х,[ у х]]] - TJ[ x, [[,[ у х]]] + ¿(р4).
Приводя подобные члены, найдем
с = 2x + у -x, [x, у]] +1 [у, [у, x]] + 6 6
+12 [[ [D, x]], x ] -12 [ y,[x,[x, у]]] + o(p4). (5.3)
В (5.3) сделаем обратную замену j€^ у 1. Так как в группе уу 1 = e ,
то с помощью формулы Кэмпбелла - Хаусдорфа получаем у-1 = -у . Тогда разложение примет вид
с = 2x - у + x, [x, у]] + у, [у, x]] + 6 6
+12 [[у,[ у, x ]], x ]-112 [ У,[x,[x, у ]]] + o (p4).
Как видно, канонические (нормальные) координаты в группе G не являются каноническими для ее сердцевины, но, положив 2x = x, - у = у , мы первые члены полученного разложения для операции (*) приведем к стандартному виду (см. (1.15)):
с = x + у -2j[x,[x,У]]+^У,[У,x]] +
+-к [[у,[у, x]], x]-к [ У,[x,[x, у]]] + o(p4). (5.4)
4о 4о
Если переписать (5.4) в координатной форме, придем к (5.2).
Предложение 5.6. Значения основных тензоров три-ткани CW(G) в окрестности точки P(0,0) выражаются через структурные константы группы G следующим образом:
i _p. it _ 1 i m
a jk =0, b jkl = Clmc jk,
C'jklm = СШС(МСЪт) + 112
ct = 1 t p q - 1 t p q (55)
C jklm "12C(k|P|C(m|q| Cl)j) ^C(l|P|C(j|q|Ck)m). (5.5)
Доказательство. Положим в разложении (1.15)
Ai (u, v) = Atjkujvk, Mi (u, u, v) = Mjklujukvl,
Ni (u, v, v) = Njklujvkvl, P (u, u, u, v) = P'klmujukulvm, Qi(u,u,v,v) = Qjklmujukvlvm, Ri(u,v,v,v) = R^v^.
Тогда, сравнивая полученное разложение (5.2) для сердцевины СЖ ^) с разложением (1.15), находим
1 г т дт/ _ 1
—с(Мск)1, =6'
Ai п л ri i m лт1 1 i m
Ajk =0, Mjkl = - — C(jmfk)l, Njkl =6c(k\m\cl)j-
Подставляя эти выражения во вторую формулу (1.17), получим
-ni _ \/ri _ 1 i m 1 i m _
Bjkl - Mjkl-Njkl - - — c( j\m\ck)l -6C(k\m\cl) j -
= - 24(cjmCkî + c(kmcm ) - f1"+ ) -
— — 1 ci cm . 1 ci cm__ci cm — 1 i m ,__ci cm = i m
— 24 cjmckl + 24 c(kmcjl 12 clmckj — 24 clmcjk + 12 clmcjk = g clmcjk.
Далее, используя соотношения (1.13), получим
i n z-i 1 i m
ajk =0, bjkl = -gclmcjk.
Согласно [6, с. 171] имеют место следующие формулы:
^ - ÔLjl - Pkmjl + almpbPjkl + a'kpbjml - +
1 jklm
4lMkm, -apkMipml -apmMkpl -aplMkmp ;
Çi - Rkjlm - ôk/lm + alpmbPjkl + a'plbjkm - ambjkp -
2 jklm
-akpNjim + akjNplm + a^N^m + a^N^. (5.6)
Сравнивая разложения (5.2) и (1.15), найдем, что Pljklm = Rjklm = 0, а
ôi = - 1 i p q ± 1 i p q
ôjklm = —c( j\p\c( m\q\cl)k) + ^c( l\p\c( k\q\c j)m).
Так как ajk = 0 , формулы (5.6) примут вид (5.5).
3. В работе [13] найдены условия, при которых левые три-ткани Бола имеют общую сердцевину. Для групповых тканей верна следующая теорема.
Теорема 5.1. Если две групповые три-ткани W(G1) и W(G2) имеют общую сердцевину, то имеют место следующие равенства:
i m __i ~m clmc jk = clmcjk,
- i p q , i p q - -~i -p -q ,_i -p -q c(k\p\c(l\qf j)m) + c(j\p\c(miqick)l) - c(k\p\c(l\qf j)m) + c(j\pic(miqick)l),
i p q i p q - 4 ~p -q 4 ~p -q (5 7)
c(kip\c(m\q\cl)j) c(l\p\c( j\q\ck)m) - c(k\p\c(m\q\cl)j) c(l\p|c( j\q\ck)m), (57)
где ' и с ¿к - структурные константы групп 0\ и О^, определяющих
групповые ткани Ж(О^) и Ж(О2) соответственно.
Доказательство. Рассмотрим две групповые три-ткани Ж(О\)(-) и Ж(О2)(°). Для каждой групповой ткани можно определить сердцевину. Пусть СЖ(О^*) - сердцевина три-ткани Ж(О1)(-), а СЖ(О2)(х) -сердцевина Ж (О2)(°).
Пусть Ж (О1)(-) и Ж (О2)(°) имеют общую сердцевину, тогда СЖ(О1)(*) и СЖ(О2)(х) изоморфны, т.е. существует отображение
Ф: СЖ(О1)(*) ^ СЖ(О2)(х) такое, что ф(х * у) = ф(х) хф(у).
Если соответствующим точкам этого отображения приписать одинаковые координаты, то ф станет тождественным преобразованием и х * у = х х у. Тогда канонические разложения в ряд уравнений локальных
координатных луп тканей СЖ(О1Х*) и СЖ(О2)(х) в окрестности точки Р(0,0) вида (5.2) также будут совпадать:
г , г 1 г к 1 / т . 1 г 1 I к т
У" 24 С( Лк\С)тХХУ + 12 с(к^\ст )1ХУУ "
-1 с'^с/к, & )х'хтуку/ + — с}*вск Л )хкх/у-1'ут + о(р5) =
48 ('\Р\ (кI)т) ^ ^ 48 ('\Р\ (к\д\ I)т) ^ ^ /
г , г 1 _г ~к ¿1т, 1 ~г / к т
= х + у "24с('\к\с/)тх х у + 12с(^¿\Ст)1х у у "
1 -г ~Р 1 т к I 1 ~Р ~Ч к I 1 т /5ч
" 48 с( ¿\р\с( к\1\с1 )т) х'хтуку1 + 48 с( ¿\р\с(кыс1 )т) хкх'у'ут+о(р5Х
здесь сгк и с ¿к - структурные константы групп О1 и О2 .
Далее, основные тензоры координатных луп тканей СЖ(О1)(*) и СЖ(О2)(х) в окрестности точки Р(0,0) в этом случае тоже совпадают, т.е.
а'к = а)к, ' = 1, Сг = Сг , Сг = С1 .
1 ¿'к/т 1 ¿к/т 2 ¿'к/т 2 ¿к/т Используя предложение 5.6, получим (5.7).
Предложение 5.7. Группа О является нильпотентной высоты 1 тогда и только тогда, когда три-ткань СЖ (О) является параллелизуемой.
Доказательство. Необходимость. Пусть группа О является нильпотентной высоты 1, т.е. выполняются равенства [[^,= 0, или, по-
другому, с'тст/ =0. Тогда разложение (5.2) примет вид с1 = х1 + у1. Таким образом, координатная лупа ткани СЖ (О) станет абелевой группой, т.е. три-ткань СЖ(О) является параллелизуемой.
Достаточность. Пусть три-ткань CW(G) является параллелизуемой, т.е. bjkl =0 . Тогда по предложению 5.6 с\тсп-к = 0 , или [[^,= 0. Это значит,
что группа G является нильпотентной высоты 1.
Заметим, что достаточность предложения 5.7 была доказана в работе [5]. Рассмотрим конфигурацию Рейдемейстера R, изображенную на рис. 4. Как видно, вертикальный слой с зависит от вертикальных слоев ö1, а2, b , т.е. на ткани W(G) определена тернарная операция с =< öi,a2,b >, которую назовем тернарной сердцевиной.
Предложение 5.8. Уравнение тернарной сердцевины групповой три-ткани имеет вид
с =< öi,ö2,b >= a2b_1ai, öi, ö2, b, сe X. (5.8)
Доказательство. Найдем уравнение тернарной сердцевины из условий замыкания фигуры R. Замкнутой фигуре W(G), изображенной на рис. 4, отвечают равенства
Ö1 У1= bУ2, сУ1 = ö2 У2.
Из первого равенства выразим У2 и подставим во второе, получим
02b 1ö1 У1 = су1. Отсюда находим уравнение тернарной сердцевины групповой три-ткани (5.8).
6. Сердцевина группы аффинных преобразований на прямой
Так как групповая три-ткань характеризуется замыканием всех достаточно малых конфигурации Рейдемейстера R (см. рис. 4), то она обозначается также R . Найдем уравнения сердцевины четырехмерной групповой три-ткани R1 , определяемой единственной неабелевой двумерной группой Ли
2
z1= у1 + x1, z2 = x2 + у2. (6.1)
Уравнения сердцевины с = ö * b этой ткани могут быть получены в виде (5.1):
с = ab-1ö.
Сначала найдем координаты обратного элемента у:
(у1)"1 = -xVx2, (у V= -x2.
112 2 1 —1 1 Далее в равенствах (6.1) обозначим z = с , z = с , x =(ab ) ,
2 —1 2 112 2 x =(ab ), у = b , у = b и подставим полученные выражения для
1 —1 2 —1
(у ) и (у ) . В результате подстановки и раскрытия скобок получим уравнения сердцевины в виде
с1= ö1 + (ö1 —b1)ea 2—b2, с2 = 2ö 2 — b2. (6.2)
Согласно предложению 5.1 уравнения (6.2) определяют некоторую двумерную квазигруппу Бола, порождаемую рассматриваемой тканью К. Найдем структурные уравнения ткани СКу в виде (2.4). Продифференцируем (6.2) и положим
2 2 2 2 ю1=(1 + еа -Ь )ёа1 + (а1 -Ь1)ва -Ь ёа2, ю2 =2ёа2, 1 1
ю1 = -еа2-ь2ёЬ1 - (а1 -Ь1)еа2"ь2ёЬ2, ю2 = -ёЬ2. (6.3)
2 2
Основные тензоры ткани СК^ найдем по формулам (1.4), (1.5). В результате вычислений получим
2 Ь2 2 Ь2 ! а -Ь а -Ь
1 1- е 1 , 1 е ,1 . .
а12 = (-2 Ь^Г = "аИ, 22 = /-2 1у\2 = -Ь212. (6.4)
4- + еа -Ь = 2 (1 + еа2 -ь2 )
Остальные компоненты этих тензоров равны нулю. Заметим, что на подмногообразии многообразия три-ткани СК^, которое задается уравнением
2 2
а = Ь , тензор кручения ткани равен нулю.
Компоненты тензора кривизны Щк/ найдем по формулам (2.5):
К2и = -32=-R221, (6.5)
а остальные компоненты равны нулю.
Далее найдем формы ю', используя равенства (2.1) и формулы (1.6).
Ненулевыми являются следующие формы:
2.2 2.2 ! . п а -Ь а -Ь
~1 1 + 3е 2 е 2
ю1=--7-ю--Г^ ю ,
4 (1 + еа2 -ь2 1 1 1 + еа2 -ь22
, . 3 а2 -Ь2 1 2а2-2b2
1 + 3e 1 1 1 e 1 2 2ч ^ч
СО 2=--7-rffl1--ю1 + —,-г а-Ь1 + ю2). (6.6)
2 2 . 2 2 1 2
4 (1 + еa2-ь2 ) 1 22 2 (1 + еа2-ь2 )
С помощью (6.3)-(6.6), запишем структурные уравнения ткани CR
в виде
1112 1 2 dю = юлю 1 + ю АСО2, dю =0, 111 1
2 Ь2
1 „а -Ь / \
1___1 ~1 , „2 . ~1 1-e L Л . „2 „2 ,1 1 ,2
'ю = ю лй^ + ю лю 2---,-А юлю- юлю I, dю =0,
2 2 2 4(1 + еа2-Ь2 ))2 3 2 3 ) 2
йЮ1=0, йю2=ю9 лй!- — ю1 аю2. 1 2 2 1 161 1
7. Сердцевина группы Гейзенберга
Рассмотрим шестимерную групповую три-ткань ^, которая
определяется группой Гейзенберга:
1 1 1 2 2 2 3 3 3 1 2 г = х + у , г = х + у , г = х + у + ху .
По формуле (5.1) найдем уравнения сердцевины С^2 :
с1 = 2а! - Ь1, с2 = 2а2 - Ь2, с3 = 2а3 - Ь3 + а1 а2 - а!Ь2 - а2Ъ! + Ъ!Ъ2. (7.1)
Структурные уравнения ткани СЛ2 найдем в виде (2.4). Дифференцируя (7.1), найдем
ю1 =2йа!, ю2 = 2йа2, ю3 = (а2 -Ъ2)йа! + (а1 -Ъ!)йа2 + 2йа3, 1 1 1
ю! = -йЪ!, ю2= -йЬ2, ю3 = (Ь2 -а2)йЪ! + (Ь1 -а!)йЪ2 -йЬ2. 2 2 2
Основные тензоры три-ткани СЛ2 и формы Ю- имеют вид
а)к =0, Ь)к1 =0, у = 0, 7,-,к,1 = 13.
~3 1 Г 2 2^ ~3 1 ( 1 1^ ю! = —I ю + ю I, ю2 = —I ю + ю I.
1 211 2 / 2 2 ^ 12 ) Теперь запишем структурные уравнения ткани СЛ2 :
1 2 3 13 2 3
й Ю = й Ю =0, й Ю = Ю аю| + ЮЛЮ2, 11 | | |
й Ю = й Ю =0, й Ю = Ю ЛЮ| + юлю2, й Ю- =0, 7, у = 1,3. 2 2 2 2 2 7
Утверждение 7.1. Координатная квазигруппа левой три-ткани Бола С^2 изотопна абелевой группе.
Доказательство. Так как тензоры кручения и кривизны левой три-ткани Бола С^2 равны нулю, то эта ткань является параллелизуемой, а ее координатная квазигруппа изотопна абелевой группе. Покажем это непосредственно. Полагая
т I ч ~1 о 2 ч ~2 3 . I 2 ч ~3
2а ^ а ,2а ^ а ,2а + а а ^ а ,
-Ь! ^ Ъ!, -Ь2 ^ Ъ2, -Ь3 + Ь!Ь2 ^ Ъ3,
приведем уравнения (7.1) к виду
с1 = а1 + Ъ!, с2= а2 + Ъ2, с2= а2 + ь2 + !а!ъ2 + !а2ь!.
Далее применим изотопическое преобразование
а2-!а!а2 ^а2, Ъ2-1 Ъ!Ъ2 ^Ь2, с2-1с!с2 ^с2. 2 2 2
В результате получим уравнения абелевой группы:
с1= а1 + Ъ!, с2= а2 + Ъ2, с3= а3 + Ъ3.
Так как квазигруппа левой три-ткани Бола CR2 изотопна абелевой
группе, то по теореме Алберта сама является группой.
Список литературы
1. Белоусов, В. Д. Сердцевина лупы Бола / В. Д. Белоусов // Исследования по общей алгебре. - Кишинев, 1965. - С. 53-65.
2. Белоусов, В. Д. Основы теории квазигрупп и луп / В. Д. Белоусов. - М. : Наука, 1967. - 223 с.
3. Толстихина, Г. А. О три-ткани, определяемой сердцевиной левой три-ткани Бола / Г. А. Толстихина, A. M. Шелехов // Известия вузов. Математика. - 2014. -№ 12. - С. 83-88.
4. Шелехов, А. М. О структурных уравнениях три-ткани, определяемой сердцевиной левой три-ткани Бола / А. М. Шелехов, Г. А. Толстихина // Известия вузов. Математика. - 2015. - № 8. - С. 75-84.
5. Гегамян, Г. Д. Левые три-ткани Бола с тривиальной сердцевиной : дис. ... канд. физ.-мат. наук : 01.01.04 / Гегамян Г. Д. ; Гос. инженер. ун-т Армении (Политехник). - Ереван, 2013. - 180 с.
6. Акивис, М. А. Многомерные три-ткани и их приложения : моногр. / М. А. Акивис, A. M. Шелехов. - Тверь : Изд-во ТвГУ, 2010. - 308 с.
7. Толстихина, Г. А. Обобщенная левая три-ткань Бола B¡(р,r,r) как фактор-ткань левой ткани Бола B¡ (r, r, r) / Г. А. Толстихина // Вестник Тверского государственного университета. Сер. Прикладная математика. - 2011. - Вып. 2 (21). - С. 117-134.
8. Толстихина, Г. А. О локально симметрической структуре, связанной с обобщенной левой три-тканью Бола B¡ (p, q, q) / Г. А. Толстихина // Геометр1я, тополопя та 1х застосування : зб. праць 1н-ту математики НАН Украши. - 2009. -Т. 6, № 2. - С. 247-255.
9. Лоос, О. Симметрические пространства / О. Лоос. - М. : Наука, 1985. - 207 с.
10. Сабинин, Л. В. Теория гладких луп Бола / Л. В. Сабинин, П. О. Михеев. - М. : Изд-во РУДН, 1985. - 80 с.
11. Картан, Э. Геометрия групп Ли и симметрические пространства / Э. Картан. -М. : ИИЛ, 1949. - 119 с.
12. Дынкин, Е. Б. Вычисление коэффициентов в формуле Campbell'a-Hausdorff'a / Е. Б. Дынкин // Доклады Академии наук СССР. - 1947. - Т. 51, № 4. - С. 323-326.
13. Михеева, А . А. О шестимерных левых три-тканях Бола с общей сердцевиной / А. А. Михеева, Г. А. Толстихина // Известия вузов. Математика. - 2014. - № 10. -С. 1-12.
References
1. Belousov V. D. Issledovaniya po obshchey algebra [Research in general algebra]. Kishinev, 1965, pp. 53-65.
2. Belousov V. D. Osnovy teorii kvazigrupp i ¡up [Basic theories of quasigroups and loops]. Moscow: Nauka, 1967, 223 p.
3. Tolstikhina G. A., Shelekhov A. M. Izvestiya vuzov. Matematika [University proceedings. Mathematics]. 2014, no. 12, pp. 83-88.
4. Shelekhov A. M., Tolstikhina G. A. Izvestiya vuzov. Matematika [University proceedings. Mathematics]. 2015, no. 8, pp. 75-84.
5. Gegamyan G. D. Levye tri-tkani Bola s trivial'noy serdtsevinoy: dis. kand. fiz.-mat. nauk: 01.01.04 [Left Bol three-webs with trivial cores: dissertation to apply for the degree of the candidate of physical and mathematical sciences]. Gos. inzhener. un-t Ar-menii (Politekhnik). Erevan, 2013, 180 p.
6. Akivis M. A., Shelekhov A. M. Mnogomernye tri-tkani i ikh prilozheniya: monogr. [Multidimensional three-webs and applications thereof: onograph]. Tver: Izd-vo TvGU, 2010, 308 p.
7. Tolstikhina G. A. Vestnik Tverskogo gosudarstvennogo universiteta. Ser. Prikladnaya matematika [Bulletin of Tver State University. Series: Applied mathematics]. 2011, iss. 2 (21), pp. 117-134.
8. Tolstikhina G. A. Geometriya, topologiya ta ikh zastosuvannya: zb. prats' In-tu ma-tematiki NAN Ukraini [Geometry, topology and applications thereof: proceedings of the Institute of Mathematics of NAS of Ukraine]. 2009, vol. 6, no. 2, pp. 247-255.
9. Loos O. Simmetricheskie prostranstva [Symmetric spaces]. Moscow: Nauka, 1985, 207 p.
10. Sabinin L. V., Mikheev P. O. Teoriya gladkikh lup Bola [Lectures on the theory of smooth Bol loops]. Moscow: Izd-vo RUDN, 1985, 80 p.
11. Kartan E. Geometriya grupp Li i simmetricheskie prostranstva [Geometry of Lie groups and symmetric spaces]. Moscow: IIL, 1949, 119 p.
12. Dynkin E. B. Doklady Akademii nauk SSSR [Proceedings of the USSR Academy of Sciences]. 1947, vol. 51, no. 4, pp. 323-326.
13. Mikheeva A. A., Tolstikhina G. A. Izvestiya vuzov. Matematika [University proceedings. Mathematics]. 2014, no. 10, pp. 1-12.
Михеева Анна Александровна аспирант, Тверской государственный университет (Россия, г. Тверь, ул. Желябова, 33)
E-mail: [email protected]
Mikheeva Anna Aleksandrovna Postgraduate student, Tver State University, (33 Zhelyabova street, Tver Russia)
УДК 514.763.7 Михеева, А. А.
О сердцевине групповой три-ткани / А. А. Михеева // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. -2016. - № 3 (39). - С. 31-55. БОТ 10.21685/2072-3040-2016-3-3
