CC BY
47
УДК 514
В. М. Кузаконь, А. М. Шелехов ИНВАРИАНТЫ ГЛАДКИХ СЛОЕНИЙ
Аннотация. Актуальность и цели. Геометрия гладких слоений является одним из основных объектов исследования в дифференциальной геометрии, имеющим многочисленные приложения, в частности в теоретической физике. Дифференциальные инварианты слоений изучались одним из авторов настоящей статьи методами, развитыми в работах А. Виноградова, Д. Алексеевского и
В. Лычагина. Однако эти методы не предоставляют инвариантной формы записи дифференциальных уравнений изучаемых объектов, что создает определенные трудности при исследовании сложных дифференциально-геометрических структур. Цель исследования состоит в том, чтобы разработать универсальный подход к изучению слоений различной коразмерности. Материалы и методы. Используется метод внешних форм и подвижного репера, разработанный Эли Картаном и развитый в работах Г. Ф. Лаптева, А. М. Васильева и других геометров. В частности, Г. Ф. Лаптевым была построена инвариантная теория дифференцируемых отображений гладкого многообразия в многообразие большей размерности. В этой работе мы показываем, как исследовать методом Картана - Лаптева геометрию гладких субмерсий и определяемых ими гладких слоений. Результаты. Найден канонический вид структурных уравнений гладкой субмерсии, выяснен геометрический смысл канонизации. Показано, что с субмерсией каноническим образом связаны G-структуры первого и второго порядка и некоторый трехвалентный тензор. Выводы. Метод Картана - Лаптева позволяет эффективно изучать геометрию гладких слоений различной коразмерности как на произвольных гладких многообразиях, так и на многообразиях, снабженных дополнительной структурой.
Ключевые слова: метод внешних форм и подвижного репера, геометрия гладких слоений, многообразие.
V. M. Kuzakon', A. M. Shelekhov INVARIANTS OF SMOOTH LAYERINGS
Abstract. Background. Geometry of smooth layerings is one of the main objects of research in differential geometry, having multiple applications, particularly in theoretical physics. Differential invariants of layerings have been studied by one of the authors of the present article by the methods developed in work by A. Vinogradov,
D. Alekseevsky and V. Lychagin. However, these methods do not represent invariant notation of differential equations of the studied objects, and that causes certain difficulties in research of complex differential-geometric structures. The work is aimed at the development of a universal approach to studying the layerings of various codimensionality. Materials and methods. The authors use the method of external forms and moving frames, developed by Elie Cartan and modified by G.F. Laptev and other geometers. In particular, G.F. Laptev built the invariant theory of differentiable mapping of the smooth manifold into the manifold of greater dimensionality. In the present work the authors show the ways to research the geometry of smooth submersions and smooth layerings determined by them using the method of Cartan - Laptev. Results.
The authors found a canonical form of structural equations of smooth submersions, discovered the geometrical sense of canonization. It is shown that canonical submersions are connected with G-structures of the first and second order and a certain triva-
lent tensor. Conclusions. The method of Cartan - Laptev allows effective rsearching of the geometry of smooth layerings of various codimansionality both on random smooth manifolds and on manifolds, supplied by an additional structure.
Key words: method of external forms and moving frames, geometry of smooth layerings, manifold.
Введение
Дифференциальные инварианты слоений изучались одним из авторов настоящей статьи в работах [1-7] методами, описанными в работах [8, 9]. В этой работе мы показываем, как исследовать геометрию гладких слоений классическим методом внешних форм и подвижного репера Эли Картана, который (метод) был усовершенствован в работах ряда геометров, в первую очередь Г. Ф. Лаптевым, см., например, [10, 11]. В частности, в [12] им была построена инвариантная теория дифференцируемых отображений гладкого многообразия в многообразие большей размерности. Мы развиваем теорию для гладких субмерсий, находим канонический вид структурных уравнений гладкой субмерсии, выясняем геометрический смысл проведенной канонизации. Показано, что с субмерсией каноническим образом связаны G -структуры первого и второго порядка и некоторый трехвалентный тензор.
1. Структурные уравнения гладкой субмерсии в произвольном репере
Пусть M и X - гладкие многообразия размерностей n иг соответственно, n > г , и f:M ^ X - гладкое отображение (субмерсия).
Следуя [10], зададим структурные уравнения многообразия M в виде
d Ю = Ю л Юу, d Юу = raj л o>k + Ю а Юд,
л,4 — . ,4 ,4 . ,4 . . ,4
d ^jk ю jk ЛЮш юmk л ю j ю jm люk +ю люу^ш (1)
Здесь Ю , i, j,k,m,... = 1,2,...,n, - базисные дифференциальные формы
многообразия M , зависящие от дифференциалов параметров X - локальных координат на M .
Как известно [11], формы Ю и 0)j образуют базис расслоения H 1(M)
кореперов первого порядка многообразия M , формы Ю, rnj, wjk - базис рас-2
слоения H (M) кореперов второго порядка и т.д.
Аналогично запишем структурные уравнения многообразия X :
d ьа=ьъ лщ, d$a=$ъ л$а+&лщс,... (2)
Здесь Фа, а,Ъ,с,... = 1,2,.,ш, - базисные дифференциальные формы
многообразия X , зависящие от дифференциалов параметров ua - локальных координат на X .
В локальных координатах уравнения субмерсии f имеют вид u = f (x). Продифференцировав это уравнение и заменив в нем дифференци-
алы переменных на инвариантные формы Ю и Ъа, получим дифференциальные уравнения субмерсии f в инвариантной форме:
ьа=ха ю. (3)
Функции Ха = Ха (x,u) образуют дифференциально-геометрический объект первого порядка отображения f [11].
Субмерсия f определяет в многообразии M слоение Ф со слоями коразмерности ш , причем базой слоения является многообразие X . Слой в M выделяется фиксацией точки многообразия X, т.е. фиксацией локальных координат uа (или, короче, параметра u). Полагая u = const, мы получаем Ъа =0, в силу чего из (3) следует
Ха Ю = 0 - (4)
дифференциальные уравнения слоения Ф .
На многообразии M действует псевдогруппа локальных диффеоморфизмов, которую обозначим P. Аналогичную группу, действующую на X, обозначим Q . Если на многообразиях M и X не фиксированы никакие дополнительные структуры, то субмерсия f и слоение Ф рассматриваются с точностью до преобразований псевдогруппы P X Q .
Внешнее дифференцирование уравнений (3) с учетом структурных уравнений приводит к квадратичным уравнениям
(d ха-х% ю+хъ ьа) л ю=0.
Пользуясь леммой Картана, находим
dХа - Ха ю- + Хъ ЪЪ, = Х&Ю, (5)
где Хъ = Х^- - некоторые новые функции, составляющие вместе с функциями Ха дифференциально-геометрический объект второго порядка отображения f [10].
Продолжая уравнения (5), т.е. дифференцируя их внешним образом
и раскрывая затем по лемме Картана, мы получим новую серию уравнений,
вводящих новые функции Х^( и т.д. Уравнения (1), (2) вместе с уравнениями (3), (5) и т.д. называются структурными уравнениями субмерсии f или слоения Ф.
Сузим семейство кореперов H 1(M), выбрав формы Ха Ю, которые
аннулируются на слоях слоения Ф , в качестве новых базисных форм Юа многообразия M . В новом базисе уравнения (4) слоя слоения Ф примут вид
юа = 0. (6)
Сравнивая с (4), находим, что в новом репере Х<а = д<а , Х‘а =0 , где, как обычно, через 5а обозначен символ Кронекера и u = ш +1,ш + 2,.,n . Полу-
ченные таким образом кореперы первого порядка назовем адаптированными субмерсии / или слоению Ф. Как обычно, термин «адаптированный корепер» применяется также ко всему расслоению адаптированных кореперов, которое обозначим Л. Далее будем считать, что все рассуждения проводятся в адаптированном корепере Л. В нем уравнения (3) принимают простой вид:
Ъа = оа. (7)
Назовем их каноническими уравнениями субмерсии / или слоения Ф .
В силу специализации корепера (Ха = =0) уравнения (5) разби-
ваются на две серии:
= °Ь + ХЬк 0 (8)
и
< = Кг о+Кь оь, (9)
где обозначено Ак = —Хак , причем в силу симметрии величин Ха1к по ниж-
ним индексам величины Аиь также симметричны: Аиь = А\,и .
2. Канонические структурные уравнения субмерсии
Продифференцировав уравнения (9) внешним образом, получим
УАЬу люу + УАЬь лоь + КЬА1«? лк>€ =0, (10)
где обозначено
V7 ла _ J ла , лЪ .а лЪ .W ла , ,М
VAuv = dAuv + AuvЮЪ - Awvmu - Atw®v + muv,
^Кь = К, + А^ь^ - Кь®и - ^<4 - КьоЪ +юаь. (11)
При этом в силу симметрии величин АЦЬ можно считать, что формы
Ю[у также симметричны: .
Используя лемму Картана, из квадратичных уравнений (10) находим
VAZv = Avb^ + Aavw*w, VAib = АъХ + AibvЮ, (12)
причем выполняются соотношения:
A[uv]b =0, Auvw = A(uvw), Au[bc] = 0, Aubv — Auvb = AucAcb. (13)
Положим
Юа = юЪ + ХШЮ, (14)
тогда уравнения (8) примут вид
ч=юа, (15)
а в силу (7), (15) и равенств Аъ = -Хь = -Хъи первые серии структурных уравнений (1) и (2) примут одинаковый вид:
dюа = юЪ лЮа. (16)
На остальные уравнения первой серии (1) замена (14) не повлияет:
dю = ю лщ.
Найдем вид псевдогруппы P X Q в корепере R. Произвольное преобразование из P имеет вид Ю = р-Щ , а произвольное преобразование из Q -Ъа = qbbb . Будем считать, что кобазисы Щ и Ъ также из Rj, т.е. для них
также выполняются уравнения (7): Ъ = Ща . Тогда из предыдущих уравнений
а а а r\ / i \
получаем qb = Ръ , Pv = 0 , и матрица (pj) принимает вид
( Ръ ) 0
(Ръ ) (Ри.)
Таким образом, в результате редукции репера псевдогруппа P сузилась до псевдогруппы P', выделяемой условиями ра = 0, а псевдогруппа Q
вкладывается в P', которая является ее расширением.
Замена (14) определяет переход к новому адаптированному кореперу, который обозначим R2 . Далее будем считать, что все уравнения записаны в корепере R2 . Сравнивая уравнения (15) и (8), находим, что в корепере R2
должны выполняться соотношения Vbk =0 , откуда в силу симметрии этих
величин по нижним индексам и введенных обозначений получаем А^ъ =0. В результате уравнения (9) примут вид
юа = Av Щ, (17)
где в силу предыдущих обозначений
Av = аЪъ . (18)
Вторые равенства (11) и (12) в силу условия Аъ = 0 дают
юиъ = Av^b + Abc®c + AbvЮ, (19)
а соотношения (13) теперь перепишутся так:
A[uv]b =0, Anvw = A(uvw), A[bc] = 0, Aubv = Auvb. (13 )
Далее дифференцируем (15), пользуясь структурными уравнениями (1) и (2), записанными в корепере R2 . Получим:
(°Ъе - ®ае ) А°С + (юьь - Ку°и ) л 0 = 0.
Применяя лемму Картана, получаем уравнения:
,.а <\а а . ..а ,.у ,.а ла ,.и _ ..а ,е , ..а ,-.м’ /тп\
Юьс ььс цЬcdЮ + цьсьЮ , Юьь АиьЮь цььсЮ + цьлщ>Ю , (20)
причем выполняются соотношения
цЬ[cd] =0, цьсь = цььс, Мь[ь^] = 0. (21)
С помощью первого из соотношений (20) введем следующие обозначения:
Оъс = <4с - $с*0 = Чс + ^О = Щс. (22)
В результате имеем
л^а _ ,,с , ,,а , ,.и , ,,а , ,,с , ,,а , ..V , ,,а , ла . ,-У .
dЮь = Мь А Юс + Мь А Ми + Ю А Мьс + Ю А Юь-у — Юь А Юс + Ац^Юь А (О +
I , ,,а , , ,.а ,.с . ,^а , ,У ла ,М\ . ,с . .а
+Ю Л Юьс + Ю л ЮьЬ — Юь л Юс + Ю (ЮьЬ - АиьЮь ) + Ю л Юьс.
Заменяя выражение в скобках с помощью (20) и учитывая соотношение М-^™] =0 (см. (21)), после преобразований с учетом обозначений (22) окончательно получим
dюЬ = Юь люЬ + Юс л ЮЬс . (23)
Простым вычислением проверяется, что форма d щс имеет такой же
вид, т.е. дифференцирование соотношения юЬс = Щс, вытекающего из (22), дает тождество.
Замены (22) определяют переход к новым адаптированным кореперам третьего порядка на многообразиях М и X, которые (кореперы) обозначим
соответственно Л3 и Л'. В них (см. (22)) уже Юас = Щс, поэтому из уравнений вида (20), записанных для корепера Л3, следует = 0 , и, сле-
довательно, вторые уравнения (20) принимают вид
Юаи = Аш ЮЬ + ЦаиьЮ. (20)
Продолжая вышеприведенные рассуждения по индукции, придем к следующему утверждению.
Теорема 1. Пусть /: М ^ X - гладкая субмерсия, и структурные уравнения многообразий М и X записаны в виде (1), (2). Тогда базисы в расслоениях кореперов первого, второго и т.д. порядков на многообразиях М и X можно выбрать так, чтобы выполнялись уравнения
Ьа = Юа, ьа = юЬ, юЬс = с,••• (24)
для любого числа нижних индексов.
Если это сделано, то будем говорить, что структуры многообразий М и X канонически согласованы относительно субмерсии / . В этом случае
структурные уравнения (2) многообразия X составляют часть структурных уравнений (1) многообразия M, которые будем называть каноническими структурными уравнениями субмерсии f или слоения Ф .
Если выполняется только первая серия соотношений (24), то будем говорить, что канонически согласованы структуры первого порядка; если первая и вторая серии соотношений - то канонически согласованы структуры второго порядка относительно субмерсии f и т. д.
В случае, если канонически согласованы структуры второго порядка, первые две серии уравнений (1) будем называть структурными уравнениями субмерсии f .
3. G -структуры, связанные с субмерсией
Первые две серии структурных уравнений (1) многообразия M
dЮ = Ю AU>j, drnj = rnkj лЮк + юк л u>jk (25)
можно рассматривать как структурные уравнения главного расслоения реперов (реперов первого порядка) над M , базой которого является M , а слоем -многообразие Rp реперов первого порядка, отнесенных к текущей точке р ,
р е M . Слой Rp выделяется вполне интегрируемой системой Ю =0, в силу которой уравнения (25) принимают вид
bnj = пк л пк. (26)
Здесь, как обычно, п- = Ю- (mod Ю = 0), а 5 - символ дифференцирования по вторичным параметрам, т.е. параметрам репера в Rp. Уравнения
(26) представляют собой уравнения полной линейной группы GL(n), действующей на многообразии Rp свободно и просто транзитивно.
В случае, если на многообразиях M и X канонически согласованы структуры второго порядка, то из уравнений (17) и (26) получаем п‘а = 0,
5п‘а =0 . Вполне интегрируемая система пЪ =0 выделяет на группе GL(n) подгруппу G , структурные уравнения которой получаются из (26) с учетом
пЪ =0:
£~а _ „c „ „а ъ~и _ „c „ „и . ^v 4 „и ?~и _ ^w 4 „и
5пъ = пъ а Пc, 5пъ = пъ а Пc + пъ а , 5п = п А Пw. (26 )
Группа G есть группа матриц вида
A0
B C
(27)
где А,В,С - матрицы г Xг,(п - г)Xг,(п - г)X(п - г) соответственно.
т"> и _ и __а и ____ а __а а______ и __с
Вполне интегрируемые системы Пь = = 0 , ПЬ = Пь = 0 , Пь = Пь = 0
выделяют в группе О соответственно подгруппы ОЬ(г), А(г, п - г), ОЬ(п - г)
где через А(г, п - г) обозначена абелева группа матриц (п - г) X г относительно сложения. Как видно из уравнений (26'), подгруппы ОЬ(г) и ОЬ(п - г) являются нормальными делителями в О .
Группа О действует транзитивно на многообразии адаптированных реперов, которое выше было обозначено Я\. Поэтому она задает на многообразии М О -структуру [13], которую обозначим Во .
Согласно определению группа ОЬ(г) транзитивно действует на расслоении реперов многообразия X . Покажем, что группа ОЬ(п - г) транзитивно действует на расслоении реперов слоя слоения Ф . Действительно, слой фиксируется уравнением (9), в силу которого из уравнений (1) (в адаптированном репере) получаем структурные уравнения слоя:
л,и — л,и —
и ю = ю л ю, и ю = ю л + ю, л юь + ю Л —
= юу Л ю^ + люь + ю л юЛЩ!.
Фиксируя точку слоя (юи =0), получаем структурные уравнения группы ОЬ(п - г):
л_и _ и
и Пу Пу л П^ .
Следовательно, эта группа действует на расслоении реперов, базой которого является слой слоения Ф .
Рассмотрим далее первые 3 серии структурных уравнений (1). Их можно рассматривать как структурные уравнения главного расслоения реперов второго
2
порядка над М , базой которого является М , а слоем - многообразие Яр реперов второго порядка, отнесенных к текущей точке р , р е М . Слой Яр выделяется вполне интегрируемой системой ю =0, в силу которой из (1) следует
х„,г — , _г х_г _ „т , _г _г , _т _г , _т
] П] лПк, ]к П]к лПт Птк лП] П]т лПк . (28)
Эти уравнения определяют группу Ли, которая называется дифференциальной группой второго порядка [11], обозначим ее В . Отметим, что дифференциальные группы исследовались разными авторами, например, их матричное представление дано в [14], см. также [15].
В случае, если структуры многообразий М и X согласованы до второго порядка, из третьей серии уравнения (28) в силу (17) находим
с_а _______^ь а _а „ „а _м> /"то'ч
0Пиу Пиу л Пь Пот л Пи Пим> лПу . (28 )
Отсюда следует, что система пфаффовых уравнений п^ =0 на группе В2 вполне интегрируема и, следовательно, выделяет некоторую подгруппу, 2
обозначим ее .
Пусть в расслоении реперов второго порядка над М каким-либо образом зафиксировано подрасслоение вида
<, = Ватк ык. (29)
~ 2
Обозначим его Л. В слое Яр этого подрасслоения будут выполняться уравнения ’кЦ1У = 0, т.е. в Яр действует группа Д . Следовательно, на многообразии М определена О -структура второго порядка В р со структурной
Д0
группой Д [15]. В то же время из (12) находим, что на Я форма УЛ^у становится главной. Это означает, см. [10], что величины ЛЦУ образуют тензор на О -структуре Во . Доказана следующая теорема.
Теорема 2. Пусть /: М ^ X - субмерсия, и структуры М и X канонически согласованы относительно /, т.е. выполняются уравнения (1), (16), (17), (19), (20 '), (23) и т.п. Тогда на М определена О -структураВо , где О -подгруппа вида (27) полной линейной группы ОЬ(п), действующая на подрасслоении реперов, заданным уравнениями (17). Пусть на М каким-либо образом зафиксировано сечение вида (29). Тогда на М определена
2
О -структура второго порядка В 2 со структурной группой Д - подгруп-
Д0
2
пой дифференциальной группой второго порядка Д , выделяемой уравнениями п^у = 0 . При этом величины Ау, определенные равенствами (10) и (12), образуют тензор на О -структуре ВО .
Список литературы
1. Кузаконь, В. М. Инварианты расслоения локально-евклидовой поверхности /
B. М. Кузаконь, М. О. Рахула // Украинский геометрический сборник. - 1978. - № 21. - С. 44-50.
2. Кузаконь, В. М. Тензорные инварианты сечений субмерсий с дополнительными структурами / В. М. Кузаконь // Математичні Студії. - 2002. - Т. 17, № 2. -
C. 199-210.
3. Кузаконь, В. М. Вычисление дифференциальных инвариантов второго порядка субмерсий евклидовых пространств / В. М. Кузаконь // Мат. методи та фіз.-мех. поля. - 2005, Т. 48, № 4. - С. 95-99.
4. Кузаконь, В. М. Метрические дифференциальные инварианты расслоения кривых на плоскости / В. М. Кузаконь // Збірник праць Інституту математики НАН України. - 2006, Т. 3, № 3. - С. 201-212.
5. Кузаконь, В. М. Дифференциальные инварианты расслоений кривых на плоскости Минковского / В. М. Кузаконь, И. С. Стрельцова // Мат. методы та фіз.-мех. поля. - 2007, Т. 43, № 1. - С. 49-54.
6. Кузаконь, В. М. Дифференциальные инварианты слоений / В. М. Кузаконь // Доклады Национальной Академии Наук Украины. - 2009. - № 4. - С. 25-27.
7. Кузаконь, В. М. Дифференциальные инварианты расслоений кривых на плоскости Лобачевского / В. М. Кузаконь // Збірник праць Ін-ту математики НАН України. - 2009. - Т. 6, № 2. - С. 82-90.
8. Алексеевский, Д. В. Основные идеи и понятия дифференциальной геометрии / Д. В. Алексеевский, А. М. Виноградов, В. В. Лычагин // Современные проблемы математики. Фундаментальные направления. - 1988. - Т. 28. - 289 с.
9. Красильщик, И. С. Введение в геометрию нелинейных дифференциальных уравнений / И. С. Красильщик, В. В. Лычагин, А. В. Виноградов. - М. : Наука, 1986. - 336 с.
10. Лаптев, Г. Ф. Основные инфинитезимальные структуры высших порядков на гладком многообразии : тр. геометрического семинара / Г. Ф. Лаптев. - М. : ВИНИТИ АН СССР, 1966. - Т. 1. - С. 139-189.
11. Лаптев, Г . Ф . Структурные уравнения главного расслоенного многообразия : тр. геометрического семинара / Г. Ф. Лаптев. - М. : ВИНИТИ АН СССР, 1969. -Т. 2. - С. 161-178.
12. Лаптев, Г. Ф. К инвариантной аналитической теории дифференцируемых отображений : тр. геометрического семинара / Г. Ф. Лаптев. - М. : ВИНИТИ АН СССР, 1974. - Т. 6. - С. 37-42.
13. Стернберг, С. Лекции по дифференциальной геометрии / С. Стернберг. - М. : Мир, 1970. - 412 с.
14. Лумисте, Ю. Г. Матричное представление полуголономной дифференциальной группы и структурные уравнения расслоения p -кореперов : тр. геометрического семинара / Ю. Г. Лумисте. - М. : ВИНИТИ АН СССР, 1974. - Т. 5. - С. 239257.
15. Евтушик, Л. Е. Дифференциальные связности и инфинитезимальные преобразования продолженной псевдогруппы : тр. геометрического семинара / Л. Е. Евтушик. - М. : ВИНИТИ АН СССР, 1969. - Т. 2. - С. 119-150.
References
1. Kuzakon' V. M., Rakhula M. O. Ukrainskiy geometricheskiy sbornik [Ukranian geometrical collection]. 1978, no. 21, pp. 44-50.
2. Kuzakon' V. M. Matematichni Ctudii [Mathematical studies]. 2002, vol. 17, no. 2, pp. 199-210.
3. Kuzakon' V. M. Mat. metodi ta fiz.-mekh. polya [Mathematical methods and physical-mechanical fields]. 2005, vol. 48, no. 4, pp. 95-99.
4. Kuzakon' V. M. Zbirnik prats' Institutu matematiki NAN Ukraini [Collected papers of the Institute of mathematics of the National Academy of Sciences of Ukraine]. 2006, vol. 3, no. 3, pp. 201-212.
5. Kuzakon' V. M., Strel'tsova I. S. Mat. metody ta fiz.-mekh. polya [Mathematical methods and physical-mechanical fields]. 2007, vol. 43, no. 1, pp. 49-54.
6. Kuzakon' V. M. Doklady Natsional'noy Akademii Nauk Ukrainy [Reports of the National Academy of Sciences of Ukraine]. 2009, no. 4, pp. 25-27.
7. Kuzakon' V. M. Zbirnik prats' In-tu matematiki NAN Ukraini [Collected papers of the Institute of mathematics of the National Academy of Sciences of Ukraine]. 2009, vol. 6, no. 2, pp. 82-90.
8. Alekseevskiy D. V., Vinogradov A. M., Lychagin V. V. Sovremennye problemy matematiki. Fudamental'nye napravleniya [Modern problems of mathematics. Fundamental directions]. 1988, vol. 28, 289 p.
9. Krasil'shchik I. S., Lychagin V. V., Vinogradov A. V. Vvedenie v geometriyu nelineynykh differentsial'nykh uravneniy [Introduction into geometry of nonlinear differential equations]. Moscow: Nauka, 1986, 336 p.
10. Laptev G. F. Osnovnye infinitezimal'nye struktury vysshikh poryadkov na gladkom mnogoobrazii: tr. geometricheskogo seminara [Basic infinitesimal structures of higher orders on the smooth manifold: proceedings of the geometrical seminar]. Moscow: VINITI AN SSSR, 1966, vol. 1, pp. 139-189.
11. Laptev G. F. Strukturnye uravneniya glavnogo rassloennogo mnogoobraziya: tr. geometricheskogo seminara [Structural equations of the main foliated manifold: pro-
ceedings of the geometrical seminar], Moscow: VINITI AN SSSR, 1969, vol. 2, pp. 161-178.
12. Laptev G. F. K invariantnoy analiticheskoy teorii differentsiruemykh otobrazheniy: tr. geometricheskogo seminara [Towards invariant analytical theory of differentiable mapping: proceedings of the geometrical seminar]. Moscow: VINITI AN SSSR, 1974, vol. 6, pp. 37-42.
13. Sternberg S. Lektsii po differentsial’noy geometrii [Lections on differential geometry]. Moscow: Mir, 1970, 412 p.
14. Lumiste Yu. G. Matrichnoe predstavlenie polugolonomnoy differentsial’noy gruppy i strukturnye uravneniya rassloeniya p -koreperov: tr. geometricheskogo seminara [Matrix representation of the semiholonomic differential group and structural equations of layering of p-coframes: proceedings of the geometrical seminar]. Moscow: VINITI AN SSSR, 1974, vol. 5, pp. 239-257.
15. Evtushik L. E. Differentsial’nye svyaznosti i infinitezimal’nye preobrazovaniya prodolzhennoy psevdogruppy: tr. geometricheskogo seminara [Differential connectivities and infinitesimal transformation of the extended pseudogroup: proceedings of the geometrical seminar]. Moscow: VINITI AN SSSR, 1969, vol. 2, pp. 119-150.
Кузаконь Виктор Михайлович
кандидат физико-математических наук, доцент, кафедра высшей математики, Одесская национальная академия пищевых технологий (Украина, г. Одесса, ул. Канатная, 112)
E-mail: [email protected]
Шелехов Александр Михайлович доктор физико-математических наук, профессор, кафедра функционального анализа и геометрии, Тверской государственный университет (Россия, г. Тверь, Садовый переулок, 35)
E-mail: [email protected]
Kuzakon' Viktor Mikhaylovich Candidate of physical and mathematical sciences, associate professor, sub-department of higher mathematics, Odessa National Academy of Food Technologies (112 Kanatnaya street, Odessa, Ukraine)
Shelekhov Aleksandr Mikhaylovich Doctor of physical and mathematical sciences, professor, sub-department of functional analysis and geometry, Tver State University (35 Sadovy lane, Tver, Russia)
УДК 514 Кузаконь, В. М.
Инварианты гладких слоений / В. М. Кузаконь, А. М. Шелехов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2013. - № 4 (28). - С. 71-81.
