CC BY
29
УДК 514.75
Ю. И. Шевченко
ПОЛУКАНОНИЧЕСКАЯ НОРМАЛЬНАЯ АФФИННАЯ СВЯЗНОСТЬ, АССОЦИИРОВАННАЯ С РАСПРЕДЕЛЕНИЕМ
В многомерном проективном пространстве рассмотрено распределение плоскостей. Предложен способ задания нормальной обобщенной аффинной связности, ассоциированной с распределением. Показано, что эта связность задается тензором связности и объектом нормальной линейной связности, которые определяют ее тензоры кручения и кривизны.
Исследован полуканонический случай равенства нулю подтензора тензора связности. Введены понятия тензора невырожденности кручения и полуголономного распределения. Доказано, что при обращении тензора невырожденности в нуль полуканоническая нормальная аффинная связность вырождается в линейную. Полуголономность позволила описать полуканоническую связность без кручения с ненулевым тензором невырожденности.
In manydimensional projective space distribution of planes is considered. The way of giving normal generalized affine connection associated with the distribution is proposed. It is shown that this connection is given by connection tensor and normal linear connection object. They define its curvature and torsion tensors.
Semicanonical case is investigated when subtensor of the connection tensor vanishes. Two notions are involved: non-degeneration tensor of torsion and semiholonomical distribution. It is proved that vanishing of non-degeneration tensor implies degenerating to linear connection of the semicanonical normal affine connection.
The notion of semiholonomity let us describe semicanonical connection without torsion with non-zero nondegeneration tensor.
Ключевые слова: проективное пространство, распределение плоскостей, аффинная связность, линейная связность, объект связности, тензор кривизны, тензор кручения, полуголономность.
Key words: projective space, distribution of planes, affine connection, linear connection, connection object, curvature tensor, torsion tensor, semiholonomity.
1. Отнесем и-мерное проективное пространство Рп к подвижному реперу {A, Aj} (I, ... = 1, и) с деривационными формулами вершин:
dA = QA +ю1 Aj, dAj = SAj+<x>^Aj+COJА, (1)
где й — форма, играющая роль множителя пропорциональности, а формы со1, coj, cof проективной группы GP(n), эффективно действующей в пространстве Pn, удовлетворяют уравнениям Картана [1, c. 173]:
Deo7 = л со|, Dcoj = coj л со^ + 5 jcoK л сок + coj л со1, Da>1 = со{ л coj. (2)
В проективном пространстве Pn рассмотрим общее, то есть неголономное распределение m-мерных плоскостей как n-параметрическое семейство Sn центрированных m-плоскостей Р^ (О <т<п).
Замечание 1. Распределение Sn и m-поверхность, представляемая как семейство касательных плоскостей (см., напр., [2]), являются наиболее исследованными подмногообразиями многообразия Беловой [3].
Произведем разбиение значений индексов:
1 = {і, a}, = а,... = т + 1,п.
Специализируем подвижной репер {A, AirAa}, помещая вершины A, At на плоскость , причем A — в ее центр. Из деривационных формул (12 ) имеем
d-A^ — + о^¡Aj + coj* Аа +со^ А. (3)
Формулы (1х, 3) дают уравнения стационарности центрированной плоскости : со1 =0, со“ = 0 . Выбирая и форм со1 в качестве базисных, запишем уравнения распределения 5„ в виде
®Г - ■ (4)
Продолжая эти уравнения, получим:
АЛ“ - = О, АЛ“ = ¿Л“ + Л^ш“ - Л>/ - Л“КЮ|, (5)
символ = означает сравнение по модулю базисных форм со1. Запишем дифференциальные сравнения (5) подробнее и учтем уравнения (4):
ЛЛ“=0, ЛЛ“р -Л“'Ю|з -5рО; = 0 . утверждение 1. Фундаментальный объект 1-го порядка Л“| распределения Бп является
квазитензором, содержащим тензор Л“'.
Фундаментальный тензор Л“ порождает тензор неголономности IV,“ = Л“у] (см., напр., [4]) распределения Бп.
2. Внешние дифференциалы форм сор имеют вид
Оюр =ю^ло)“+ш'лсо“ (Шр7 = -Л^юр -5рщ -5“сор). (6)
Получили структурные уравнения (21, 6) главного расслоения Ь((2 (Р„), її = п - т, над пространством Рп с типовым слоем Ь((2 = С Ції) — линейной группой, действующей в
проективном фактор-пространстве Рь_г = Рп/ Р^. Подставим (4) распределения Бп в структурные уравнения (21) для форм со“, соответствующих слоевым формам сор :
Осо“ = сор л сор + со1 л 0“ (0“ = -Л“7со‘). (7)
Определение 1. Гладкое многообразие со структурными уравнениями (2г, 7, 6) назовем обобщенным расслоением [5] нормальных аффинных реперов и обозначим +щ(Рп) ■
Замечание2. В Ак2+^(Рп) символ Ь заключен в квадратные скобки, так как к форм со“, которые могли бы превратиться в часть структурных форм аффинной группы Ак2+к =СА(Тг), входят в состав базисных форм со1.
Обобщенное расслоение Ак2+^(Рп) имеет фактор-расслоение нормальных линейных реперов
Мр") и-
3. Для задания обобщенной аффинной связности [7] в обобщенном расслоении Аи1
распространим на него прием Лумисте [8] задания групповых связностей в главных расслоениях. Преобразуем базисно-слоевые формы со“ и слоевые формы Юр расслоения А^ {Р^ с помощью
линейных комбинаций базисных форм
со“ = со“ — ¿“со1, Шр = Шр — Г^о/, (8)
коэффициенты которых удовлетворяют уравнениям [7]:
АІ“ = Ьац<а}, АГ^ + (0р7 = ТрцСй1. (9)
утверждение 2. Объект нормальной обобщенной аффинной связности ¿ = состоит из
тензора связности 1“ и объекта нормальной линейной связности .
Формы связности (8) удовлетворяют структурным уравнениям
05“ = 5Р л Юр + л а>}, Оюр = Ц а 5“ +Щі}(£>1 а а/, (10)
где компоненты тензоров кручения (2ц и кривизны Щц нормальной аффинной связности выражаются по формулам [7]:
Оі/ =^/]+5[1Л“]+(5Р -1рГр“л, =Гр“ш-Г^Г“], (11)
причем альтернирование выполняется по крайним индексам в квадратных скобках.
Утверждение 3. Нормальная обобщенная аффинная связность, ассоциированная с распределением Б„, определяется структурными уравнениями (21,10), характеризующимися тензорами кручения £)ц и кривизны Щц .
Замечание 3. Тензор кривизны есть тензор кривизны нормальной линейной связности, и
интересен новый объект - тензор кручения ц .
4. С учетом уравнений (4) распределения Б„ запишем дифференциальные уравнения (91) компонент тензора связности 1“ подробнее
А А (12)
— : лР
-‘У - ^Рлг/ ■
■ (13)
утверждение 4. Тензор связности 1“ содержит подтензор Ц .
Рассмотрим полуканонический случай [9] нормальной аффинной связности, когда подтензор связности 1“ обращается в нуль
1“ = 0. (14)
• •
Тензор связности 1“ упрощается: 1“={0,1р}, где точка над объектом означает его
рассмотрение при условии (14). Преобразование (8Х) базисно-слоевых форм со" производится лишь с помощью этих же форм:
5“ = га“ - Ьр . (15)
Дифференциальные уравнения (122) принимают вид
• •
(16)
утверждение 5. В полуканоническом случае (14) тензор связности 1“ сужается до тензора Щ .
Можно показать, что объект (13) при условии (14) образует тензор, поэтому его возможно обратить в нуль. Это нужно сделать в полуканоническом случае (14), поскольку пфаффовы
производные нуля равны нулю. Инвариантные равенства Щ = 0 дают
• •
Щ=- 44- (17)
5. Запишем (11х) компонент тензора кручения (2ц подробно:
п“ -1“ -I-Да _ гРга Па — 7а -|-Т/8Га
Щ - + [г/] РЯ' Цзу - Чря + ЧР1 8)Я'
1 (18)
/X т V т—? Г/ »Г/ т V т—IП \ тт п с» П Т П 4 '
Ор“ = Ь[Рг] + \ ад - Л“р + ЦГ“ ), Ура = 8“ - Ц.
В полуканоническом случае выполняются условия (14, 17), поэтому формулы (18) упрощаются:
• * - • • • ••• • •
Щ = Ур“мР,др“ =-(^-уу“л^+у/г“),д“ =^у]+у[йрг“],у“ = 6^-Щ. (19)
Из дифференциальных уравнений (16) следует А Ур“ = 0 .
Определение 2. Назовем Ура тензором невырожденности кручения полуканонической нормальной аффинной связности.
Название тензора Ур“ оправдывается следующим рассуждением. Инвариантные равенства Ур“ = 0 в силу обозначений (20) дают
1“=5“, (21)
тогда преобразование (15) приводит к нулю
Равенства (14, 21) записываются одной формулой
Ц = 5“ . (23)
Можно показать, что в рассматриваемом случае
Щ=- 8‘Л“. (24)
Подставляя выражения (23, 24) в формулу (11г), получим £)ц = 0 . Эти равенства также следуют из структурных уравнении (10,) при подстановке в них нулевых форм (22).
Теорема 1. Нормальная обобщенная аффинная связность с обобщенным символом Кронекера 5“ в качестве тензора связности вырождается в соответствующую линейную связность.
6. Вернемся к полуканонической связности. Если она без кручения, то есть 0>'ц = 0, то из выражений (19) получаем равенства
• • • • • •
У“МгР =0, = У“Л*р-^Г£, 1^т] =Г^ . (25)
Определение 3. Распределение Б„ назовем ^полуголономным, если обращаются в нуль линейные комбинации компонент тензора неголономности М,“, коэффициентами которых служат компоненты тензора t■
Теорема 2. Полуканоническая нормальная аффинная связность без кручения, ассоциированная с распределением Бп, характеризуется свойствами:
1) распределение Бп Ур“ - полуголономно;
• •
2) плоскостные пфаффовы производные 1р; тензора связности Щ являются разностями линейных комбинаций компонент подобъекта Л]р фундаментального квазитензора А\} и комбинаций подобъекта Г“ объекта нормальной линейной связности Гу“ с коэффициентами - компонентами тензора
невырожденности Ур“;
3) альтернированные нормальные пфаффовы производные суть проальтернированные свертки компонент подобъекта Г“р объекта нормальной линейной связности Г“7 и тензора невырожденности Уу5 .
• •
Замечание 4. Теорема 1 - следствие теоремы 2. В вырожденном случае Ур“ = 0, или Щ = 8р , откуда Ьр/ = 0, и равенства (25) суть тождества.
Замечание5. Если от полуканонической связности перейти к канонической [9], когда Ьр =0, тогда
• •
Ьр/ = 0, Ур“ = 8р . Подстановка этих значений в формулы (25) приведет к теореме 2 работы [7].
Замечание 6. В общем случае с!е1:(Ура) Ф 0 равенства (25г) дают Мг“ = 0, и пункт 1) в теореме 2 заменяется: 1') распределение Б„ голономно.
Список литературы
1. Кобаяси Ш. Группы преобразований в дифференциальной геометрии. М., 1986.
2. Полякова К. В. Параллельные перенесения на поверхности проективного пространства // Фундаментальная и прикладная математика. 2008. Т. 14, № 2. С. 129 — 177.
3. Белова О. О. Связности в расслоениях, ассоциированных с многообразием Грассмана и пространством центрированных плоскостей // Там же. С. 29 — 67.
4. Лаптев Г. Ф., Остиану Н. М. Распределения т-мерных линейных элементов в пространстве проективной связности. I // Тр. геом. семинара / ВИНИТИ. М., 1971. Т. 3. С. 49 — 93.
5. Шевченко Ю. И. Общая фундаментально-групповая связность с точки зрения расслоений / / Диф. геом. многообр. фигур. Калининград, 1990. № 21. С. 100 — 105.
6. Омельян О. М., Шевченко Ю. И. Редукции объекта центропроективной связности и тензора аффинного кручения на распределении плоскостей // Математические заметки. 2008. Т. 84, вып. 1. С. 99 — 107.
7. Шевченко Ю. И. Нормальная аффинная связность Столярова, ассоциированная с распределением плоскостей // Диф. геом. многообр. фигур. Калининград, 2008. № 39. С. 157—166.
8. Шевченко Ю. И. Приемы Лаптева и Лумисте задания связности в главном расслоении // Там же. 2006. № 37. С. 179—187.
9. Шевченко Ю. И. Связности, ассоциированные с распределением плоскостей в проективном пространстве. Калининград, 2009.
Об авторе
Ю. И. Шевченко — канд. физ.-мат. наук, доц., РГУ им. И. Канта.
