CC BY
31
УДК 514.763.7
К. Р. Джукашев
ОБ ЭЛАСТИЧНЫХ ТРИ-ТКАНЯХ С ТЕНЗОРОМ КРУЧЕНИЯ РАНГА 1
Аннотация. Актуальность и цели. Многомерные три-ткани, образованные на гладком многообразии тремя слоениями одинаковой размерности, являются геометрической интерпретацией функций двух переменных и имеют многочисленные приложения, в частности, в теории дифференциальных уравнений, в теоретической физике и в теории квазигрупп и луп. Одними из наименее изученных классов три-тканей являются эластичные три-ткани (ткани E), соответствующие изотопически инвариантному классу луп с тождеством эластичности (xy)x = x(yx). Целью данной работы является исследование эластичных три-тканей, у которых производная алгебра от алгебры, определяемой тензором кручения, является одномерной. Материалы и методы. Для исследования три-тканей E используется метод внешних форм и подвижного репера Эли Картана, модифицированный Г. Ф. Лаптевым. В статье используются структурные уравнения, полученные с помощью этого метода. Результаты. Найдена система структурных уравнений, определяющая этот класс тканей, доказана ее замкнутость относительно внешнего дифференцирования. Таким образом, доказано, что нетривиальные эластичные ткани с тензором кручения ранга 1 существуют. Найдены соотношения на тензоры этой ткани и доказано, что существует адаптированный репер, в котором тензор кривизны также имеет ранг 1, причем производные алгебры от алгебр, определяемых тензорами кручения и кривизны, лежат в одном одномерном пространстве. Выводы. Метод Картана - Лаптева позволяет эффективно исследовать специальные классы многомерных три-тканей.
Ключевые слова: многомерные три-ткани, репер Эли Картана, метод Картана -Лаптева.
K. R. Dzhukashev ON ELASTIC 3-WEBS WITH CLASS 1 TORSION TENSOR
Abstract. Background. Multidimensional 3-webs, produced on the smooth manifold by three layerings ofsimilar dimensionality, are the geometric interpretation of the function of two variables and have multiple applications, for example, in the theory of differential equations, in theoretical physics and in the theory of quasi-groups and loops. One of the least studied classes of 3-webs are the elastic 3-webs (E webs), isotopically corresponding to the invariant class of loops with the elasticity identity (xy)x = x(yx). The study is aimed at investigating elastic 3-webs, the algebra of which, derived from the algebra determined by the torsion tensor, is a onedimensional one. Materials and methods. To research E 3-webs the author uses the Elie Cartan method of external forms and moving frames, modified by G.F. Laptev. The article describes the usage of structural equations obtained by the said method. Results. The author discovered a system of structural equations, that determines the class of webs, proved its closure in relation to external differentiation. Thus, it is proved that nontrivial elastic webs with class 1 torsion tensor exist. The researcher discovered correlations to tensors of the said web and proved the existence of an adaptive frame, in which the turvature tensor also has class 1, and the algebra, de-
rived from the algebra determined by the torsion tensor, is in the same one-dimesional space. Conclusion. the method of Cartan - Laptev allows effective researching of special classes of multidimensional 3-webs.
Key words: multidimensional 3-webs, Elie Cartan frame, method of Cartan - Laptev.
Введение
ÂT-ткань, образованная k гладкими слоениями на гладком многообразии, -традиционный объект изучения в дифференциальной геометрии. Тканям посвящено много работ, в которых рассматриваются их свойства, проводится классификация и т.п. В. Бляшке первым выделил как объект специального рассмотрения инцидентностные свойства тканей, т.е. начал рассматривать ткани с точностью до локальных диффеоморфизмов. Этой проблематикой занимались его ученики и коллеги, в частности С. Черн, которому принадлежит первое изложение дифференциально-топологической теории многомерных три-тканей, образованных тремя слоениями ^а, а = 1, 2, 3, размерности r на 2^мерном многообразии X. Эта теория получила развитие в трудах М. А. Акивиса и его учеников. Детальное изложение основных результатов по теории три-тканей впервые было дано в [1], там же имеется обширная библиография. В книге [2] этих же авторов добавлены новые результаты, полученные в течение последних двух десятилетий.
Наиболее обширное и важное приложение теории тканей - изотопически инвариантная теория квазигрупп и луп. Связь между этими объектами состоит в том, что каждому тождеству в квазигруппе или лупе отвечает замыкание конфигураций определенного типа на три-ткани. Основные классы тканей связаны с простейшими тождествами - коммутативностью и различными вариантами ассоциативности. Эти классы детально описаны, и для них найдены адекватные тензорные характеристики. Исключение составляют так называемые эластичные ткани или ткани E, которым соответствует тождество эластичности x(yx) = (xy)x. Этим тканям посвящены всего две работы [3, 4]. В первой доказано, что ткани E образуют собственный подкласс средних тканей Бола и проведена полная классификация шестимерных тканей E. В работе [4] доказано, что соотношения, определяемые тождеством эластичности в пятой дифференциальной окрестности, вытекают из соотношений, связывающих тензоры четвертой дифференциальной окрестности этой ткани.
В настоящей статье методом Картана - Лаптева исследуются ткани E, у которых производная алгебра A' от алгебры A, определяемой тензором кручения ткани E, является одномерной. Доказывается, что у таких тканей тензор кривизны также имеет ранг 1, причем одномерная производная алгебра B' от определяемой им тернарной алгебры B задана на том же пространстве, что и алгебра A '. Найдены структурные уравнения исследуемого класса тканей E в некотором специальном адаптированном репере.
1. Пусть три-ткань W образована тремя слоениями Ха, а=1,2,3, размерности r на 2^мерном многообразии X. Согласно [1] зададим слоения Ха,
а = 1, 2, 3, вполне интегрируемыми системами форм Пфаффа юг = 0 , юг = 0 и
1 2
юг + юг = 0, i=1,..,r , где формы юг и юг образуют кобазис на многообразииX. 12 12
Тогда структурные уравнения три-ткани имеют следующий вид [1]:
d( = dлт\- + ajk d Afflk; (1)
1 1 J J 1 1
d d =d л dj - ajk d л d; (2)
2 2 2 2
ddj = d л ( + blm d ло> . (3)
j j j 1 2
Внешнее дифференцирование структурных уравнений приводит к дифференциальным уравнениям на тензоры кручения и кривизны а = (аД)
и Ь = (ЬДк1) :
Vа)к = Ц_т] + Ь[дк]1 ^ , (4)
ЧЬ)к1 = с1 ют + с1 ют, (5)
1 Дк1т 1 2 Дк1т 2
причем тензоры а, Ь, с и т.д. связаны некоторыми соотношениями, а V -
1
дифференциальный оператор, определяемый формулой [1]:
ав/ .
Уа,ъ =
i ,jn л т
Дк ааДк + аДк ®т атк ® Д аДтак
Эластичной три-тканью, или тканью, называется три-ткань, в координатных лупах которой выполняется тождество эластичности:
(ху) X = х( ух), (6)
где ху - операция в координатной лупе ткани [1].
В работе [2] доказано, что ткани Е образуют подкласс средних тканей Бола и их основные тензоры связаны соотношением
Ь( х, у,[ ху]) = 0. (7)
Так как ткани являются средними тканями Бола, то их тензоры связаны следующими соотношениями [1]:
Ь(х, у, г) = -Ь(х, г, у); (8)
Ь( х, у, г) + Ь( у, г, х) + Ь( г, х, у) = 2 ([[ ху (г ] + [[ уг ]х ] + [[ гх] у ]); (9)
Ь (х, у, [ гг ]) - Ь (у, х,[ гг ]) + Ь ([ ху], г, г) = [ гЬ( у, г, г)] - [ уЬ (х, г, г)]; (10)
с(х, у, г,г) = -^(х, у, г, г) =-Ь (,[гг ], у ) + Ь (х,[ уг],г ) + Ь (х,[ уг ], г). (11)
Для тканей Бола уравнения (4) и (5) примут следующий вид [1]:
^а)к = -Ь[ Дк]1 ^ - ^ ); (12)
Vbjkl = cjklm (<f -(П ), (13)
где обозначено с = -с = с .
1 2
Будем записывать умножение в алгебре A, определяемой тензором кручения, в виде z = [xy]. Тогда равенство (7) можно переписать в виде b(xy,z) = 0, где z = [xy] - элемент производной алгебры A'. Ввиду этого имеет смысл классифицировать эластичные три-ткани по размерности алгебры A'.
В данной работе мы изучим эластичные три-ткани, для которых dim A' = 1. Будем говорить в этом случае, что тензор кручения имеет ранг 1.
Выберем семейство адаптированных реперов ткани таким образом, чтобы пространство A' определялось базисным вектором еь тогда
ajk = 0, где іФ1. (14)
1. Рассмотрим соотношение (7). Перепишем его в координатной форме:
bjkpam + bjmpalk + blkpajm + blmpajk = °. (15)
Ввиду (14) данное равенство запишется в виде
bjk1a}m + bjm1a}k + bMa]m + bim1a]k = °. (16)
1) Полагая в (16) j = l, k = m, получим
bljk1(aLjk = 0 (тензоры не суммируются). (17)
Так как мы рассматриваем ткань ранга 1, то найдутся такие j, k, что a1jk Ф 0, следовательно, bjk1 = °, Vi.
2) Положим в (16) j = l, получим
bjk1ajm + b'jm1ajk = 0. (18)
Так как aj Ф 0, bjk1 = 0 , то bjm1 = 0, Vi, m.
3) Положим в (16) k = m:
bjk1a]k + blk1a)k = 0. (19)
Так как aj Ф 0, bjk1 = 0 , то b^ = 0, Vi,l.
4) Рассмотрим (16):
bjf'k1a/m + bjm1a}k + blk1a]m + blm1a]k = 0.
Так как aj Ф 0, bjm1 = 0 , b^ = 0, то bjm1 = 0, Vi, l, m.
Таким образом, учитывая (8), приходим к следующему утверждению.
Предложение 1. Если тензор кручения эластичной ткани имеет структуру (14), то компоненты тензора кривизны связаны соотношениями
bjk1 = bj1k = 0.
Подстановка полученного результата в (16) дает нам тождество. Таким образом, новых соотношений из (16) мы не получим.
Рассмотрим равенства (9), записанные в координатной форме:
Ъ)ы + ЬЩ + Пік = 2аГ/кат1 + 2аЫапу + 2а™ °1шк. (20)
Положив здесь і = 1 и используя (14), получим:
Ь1кі + Ькі1 + Ь/1к = 2аіка1/ + 2ак/а11 + 2а/1а1к. (21)
Используя предложение 1 и соотношение (8), придем к равенствам
Ьк = 0. (22)
Таким образом, доказано следующее утверждение.
Предложение 2. Если тензор кручения эластичной ткани имеет структуру (14), то для тензора кривизны этой ткани выполняются соотношения Ь{1ш = 0.
Таким образом, из соотношения (9) приходим к следующим выражениям:
Ь\-- + Ь\„ + ьЬ = 2а\ - а1- + 2а1--а1 - + 2а! а1 -; (23)
ікі к- Цк ік 1/ к- 1і і 1к у '
Ьі--- + Ьі-і + Ьіі- = 0. (24)
ік- к-і іік У ’
Рассмотрим соотношения (10), записанные в координатной форме:
ЬіркаіШ - ЬкріаіШ = аікЬр/ш - аркЬііш - аіРЬкІш. (25)
Преобразуем их при помощи соотношений (14) с учетом предложений
1 и 2. Получим
акрЬііш = аіРЬкІш. (26)
Найдем значение ковариантной производной тензора кривизны. Для этого воспользуемся формулой (11):
СікІш = ~Ьіркаш + Ьіршак1 + Ьір/арп. (27)
Учитывая (14), получаем
СікІш =~Ьі 1ка1ш + Ьі 1шакІ +Ьі11акш. (28)
В силу предложения 1 имеем сікіш = 0. Доказано следующее утверждение.
Предложение 3. Если тензор кручения эластичной ткани имеет структуру (14), то тензор кривизны является ковариантно постоянным.
2. Рассмотрим структурные уравнения рассматриваемой три-ткани. С учетом найденных ограничений на компоненты тензоров эти уравнения примут следующий вид:
d ю1 = ю7 л ю1, + а1,* ю7 люк; (29)
1 1 -1 -1 1 1
d ю1 =Ю лю1,-; (30)
1 1 7
dю1 = ю7лю1, -а1,* юлю*; (31)
2 2 2 2
d ю1 = ю7 лю1,-; (32)
2 2 у
dю1 = ю* лю*; (33)
dюг- = ю* л ю* + Ъ-~ ю* л ю1, (34)
- 7 * к 1 2
где 1,],* Ф1. Уравнение (39) означает, что система пфаффовых уравнений ю| = 0 является вполне интегрируемой. Следовательно, можно сузить семейство реперов, положив в структурных уравнениях ю[ = 0 . Получим
d ю1 = ю- лю1- + а1,* ю л ю*; (35)
11 - 7 1 1
d ю1 =ю] лю1-; (36)
1 1 1
dю1 = ю- лю1- -а\-к ю7лю*; (37)
2 2 - У 2 2
d ю1 =ю] лю1-; (38)
2 2 }
dю1- = ю* л ю1- + Ъ- -- ю* л ю1. (39)
] } к Д/ 1 2
Рассмотрим дифференциальные уравнения (12). С учетом найденных соотношений они примут вид
^1- = dа1k - а|т «Т = 0; (40)
Уа1-- = da1-- - а1 ~ ют - а1» ют =-Ъ1-- ~ Г ю1-а/ 1, (41)
Д т* } ]т * [Д]/ ^ 1 2 )
0 = -Ъг--- ( ю- -ю-1. (42)
[Д]/11 2 )
Так как формы ю1 и ю1 являются линейно независимыми, то 12
Ъ\— = Ъ^ . А поскольку Ъ)ы = -Ъ,, то Ъ1* = 0, так как
Ь)кі = Ькіі = -Ькіі = -Ьікі = Ьіік = Ь)ік = -Ь)кі .
Теорема 1. Если эластичная три-ткань Е имеет тензор кручения ранга
1, то найдется такой адаптированный репер, в котором тензор кривизны ткани Е также имеет ранг 1, причем производные алгебры от алгебр, определяемых этими тензорами, определены на одном и том же одномерном про-
странстве.
С учетом полученных соотношений структурные уравнения рассматриваемой ткани Е принимают следующий вид:
й ю1 = ю« лю1- + а1ік ю люк; (43)
11 1 у 1 1
й Ю =ю- лю1«; (44)
1 1 1
йю1 =ю«лю1« -акЮлюк; (45)
2 2 } * 2 2
й ю1 =ю лю\; (46)
dю1 = ю* л ю1 + Ъ\~ ю* л ю1; (47)
- - к 1 2
dю- = ю* ли^. (48)
] ] *
Уравнение (50) показывает, что система уравнений ю1-. = 0 является вполне интегрируемой. Значит, можно сузить семейство адаптированных реперов, положив ю1-. = 0 . В результате структурные уравнения ткани Е прини-
мают вид
'м1 = М лм1; + Ojk М лю*; (49)
d М = 0; (50)
1
'м1 = мМ лм1» -а\к Млмк; (51)
2 2 J J 2 2
d М = 0; (52)
2
dм1» = Ь\;; мклм1. (53)
і ікі 1 2
Дифференциальные уравнения на тензор кручения (41)-(42) примут
вид
Vaik = = 0; (54)
Val - = dal - - a1-ю1 - a! ю1 = -b1« - -1 ю1 - ю- ). (55)
jk jk 1k j J1 k [jk]l ^ i 2 )
Из первого уравнения следует a1k = const.
Из дифференциальных уравнений на тензор кривизны остаются следующие:
Vb1««« = db1««« = 0.
Из них следует, что
jkl jkl
b1««« = 0.
jkl
3. Проверим полученную систему структурных уравнений на замкнутость. Очевидно, что внешнее дифференцирование уравнений (50), (52), (53) приводит к тождествам. Рассмотрим уравнение (49), переписанное в следующей форме:
йю1 = ю лю1« + 2а1« ю1 люі+а1«« ю люк. (56)
11 > 1к 1 1 Д 1 1
Продифференцируем его внешним образом, получим:
0 = й ю лю1« - ю7 л йю1« + 2а1« й ю1 люк- 2а1« ю1 л й юк+
1 > 1 і 1к 1 1 1к: 1 1
+^«1« лю7люі+а1««йю7люі-а1«« ю7лйюк.
^ 11 «к 1 1 «к 1 1
Используя структурные уравнения, находим
0 = - ю л Ь1««« юклюі + 2a1-(юі лю1« + 2а1« ю1 лю7 +
1 № 12 1к 1 і ^ 1 1
+а1«, ю7 л ю5) люк + йа1«« лю7люк.
№ 1 1 1 #11
После преобразований получаем
0 = - ю л Ь1«« юклюі + 2а1« ю лю1« люк +
1 № 12 1к 1 > 1
+4а1«а1«ю1 лю«'люк + 2а1«а1«, ю лир’люк + йа\« лю«'люк.
1к У 1 1 1 1к ^ 1 1 1 Д 1 1
Преобразуем далее:
0 = | -Ь1««« а/-2a1-ю1- + 4a1-a{- ю1 -2a1-a{„ юр + йа\« ІлоУлюк . (57)
^ к 2 1к } 1к 1/ 1 1кг лр 1 ук: ^ 1 1
Значение найдем из уравнения (55):
dal« = a1«ю1« + aI ю1« -b1«« «[ а/-а/ |. (58)
jk 1k j j1 k [jk]l \ i 2 J
Подставляя (58) в (57), получаем
0 = | -bl«« 0 - 2a1««)1« + 4a1«a1« ю1 - 2a1-aL юр+
V jkl 2 1k j 1k 1j 1 1k jp 1
+a1«ю1« + a1« ю1« -b1«« «I ю1 -ю1 I Iлю7'л ю*.
1k j j1 k [j'k]l V 1 2 JJ 1 1
Далее альтернируем по j, k:
0 = | -b1«« « a/ - 2a1 «ю1« + 4a1 «a1« ю1 - 2a1 «a1« „ юр +
V [jk]l 2 1[k j] 1[k\ 1|j] 1 1[k j]p 1
+a1 «ю1« + a1« ю1« - b1«« «I ю1 - ю1 I I лю«' люк.
1[k j] [il1 Ik] [jk]l V 1 2 JJ 1 1
После упрощения получим 0 = | -2a1 «a1« „ юр-b1«« «ю1 | лю7 ла/; 0 = | 2a1 «a! « + b1«« « )к/лю7 лю^.
\ 1[k i]P 1 [Д]l 1 J 1 1 v 1[k i']l [i'k]l J1 1 1
Теперь альтернируем по l, j, k:
0 = | -2a1« a1« + b1««« | ю« л ю7 л юк.
V [j 1Ik] [jkl] J1 1 1
Данное уравнение тождественно удовлетворяется в силу тождеств Якоби (23). Аналогично, уравнение (51) при дифференцирование дает тождество.
Таким образом, найденная нами система структурных уравнений (49)-(53) является замкнутой. Следовательно, рассматриваемые ткани E существуют.
Список литературы
1. Akivis, M. A Geometry and Algebra of Multidimensional Three-webs / M. A. Akivis, A. M. Shelekhov. - Kluwer Academic Publishers, Dordrecht ; Boston ; London, 1992. - Р. 375.
2. Акивис, М. А. Многомерные три-ткани и их приложения : моногр. / М. А. Акивис, А. М. Шелехов. - Тверь : Изд-во ТГУ, 2010. - 308 с.
3. Шелехов, А. М. О три-тканях с эластичными координатными лупами / А. М. Шелехов ; Калининский гос. ун-т. Деп. в ВИНИТИ 02.12.1987. № 8465-В87. -Калинин, 1987.
4. Balandina, G. A. On general theory of elastic webs / G. A. Balandina, A. M. Shelekhov // Webs and Quasigroups. - Tver : Tver State University, 1995. - Р. 62-74.
References
1. Akivis M. A., Shelekhov A. M. Geometry and Algebra of Multidimensional Three-webs. Kluwer Academic Publishers, Dordrecht; Boston; London, 1992, p. 375.
2. Akivis M. A., Shelekhov A. M. Mnogomernye tri-tkani i ikh prilozheniya: monogr. [Multidimensional 3-webs and application thereof: monograph]. Tver: Izd-vo TGU, 2010, 308 p.
3. Shelekhov A. M. O tpi-tkanyakh s elastichnymi koopdinatnymi lupami [On 3-webs with elastic coordinate loops]. Kalininskiy gos. un-t. Dep. v VINITI 02.12.1987. № 8465-V87. Kalinin, 1987.
4. Balandina G. A., Shelekhov A. M. Webs and Quasigroups. Tver: Tver State University, 1995, pp. 62-74.
Джукашев Камиль Рамилевич аспирант, Тверской государственный университет (Россия, г. Тверь, ул. Желябова, 33)
E-mail: [email protected]
Dzhukashev Kamil' Ramilevich
Postgraduate student, Tver State University (33 Zhelyabova street, Tver, Russia)
УДК 514.763.7 Джукашев, К. Р.
Об эластичных три-тканях с тензором кручения ранга 1 / К. Р. Джукашев // Известия высших учебных заведений. Поволжский регион. Физикоматематические науки. - 2013. - № 4 (28). - С. 61-70.
