Геометрия гладких F-квазигрупп тема автореферата и диссертации по математике, 01.01.04 ВАК РФ

Сабинина, Людмила Львовна АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Москва МЕСТО ЗАЩИТЫ
1992 ГОД ЗАЩИТЫ
   
01.01.04 КОД ВАК РФ
Автореферат по математике на тему «Геометрия гладких F-квазигрупп»
 
Автореферат диссертации на тему "Геометрия гладких F-квазигрупп"

.. Г) -О"'-'-

0РДШ1А ДРУЖБЫ НАРОДОВ УНИВЕРСИТЕТ ДРУЖБЫ НАРОДОВ имени ПАТРИСА ШШШ

На правах рукописи

САБИНИНА Лйдмкяа Яьвоша

шшетрия гладок р -квазигруш ( 01.01.04 - геометрия и топология.)

Автореферат дкссергации на соискание ученой степени кшщндата физико-г/лте^аг ических неук

Мосхва-1992

Работа выполнена в Университете дружба народов ш. Натри-са ЛумуьзЗы.

Научный руководитель:

Официальное ошонеатл:

Ведущая организация:

доктор фЕЗшсо-№те1атичзск23..1ш£к,' профессор Рыжков В. Б. ;

доктор физико-математических паук, црофессор йштуров O.E.

доктор физико-матеьатичесхнг; ксук, про5«осор Шелехов A.L5.

Государственный уиивэроитег Беларуси

Защита состоится "¿г" 1932 года в 15 ч. 30 к.

на заседании специализированного соиета К 053.22.23 з Университете дружбы народов имени Патриса Луыум5ы * о адресу: 117923, г. Москва, ул. Ордаоншвдзе, 3, еуд. 485.

С диссертецией кокно ознакомиться в научной библиотека Университета дружбы народов имени Патриса Луьщгмбы по адресу: 117198, г. Москва, ул. Мшслухо-Ыаклая, 6.

Автореферат разослан "¿3 11 1992 г.

Ученый секретарь л ли

специализированного соЕета £,{£/.

ДРАШЕВ Н.В.

S

/I

ОЕШ ХАРШЭКЯЖА РАБОТЫ

^^""Йтуальность ?сш. Скл-итрЕчеокке простраасгга играют зка-»рядодоэ рочь в д!г|!$ере;!Циаиьаой геометрии ¡к пркяохеиыа. В нео-гояд?э г.ра.мл они дгетатопао хорэаз изучены. Однако но существует обэдй схемд, описчвающей щкзЕзволзные однородные пространства. 1Г~ атому изучение одиородгшх ироогргяатв, бл;:гких по свойствам к скэсогритеским, является актуальной и весьма взхкой задачей.

К обобщениям скюаэгряческих пространств моздо отнести редук-казгшз пространства { *0 » ЗД-О ), субсикметричес-гла пространства, V -пространства,(то есть однородные пространства Сг / И , с задвшшм па груше (г эндокорфкзшм V , где; И состоит неподвигшас точек этого- эндоморфизг/л), 5 --пространства. Последние представляют собой наиболее естественные обобщения сикжтрлческгх пространств в интерпретации Лооса?

Лооо показал, что симметрические пространства ыогно расскат-р:шать как гладкая идамзотенпшз леводистрибугивкнв квазигруппы с дополнительными: тоздестнаот. Зто повлекло за собой интерес к кзучзкиэ различите классов гладких квазигруш 2 луп.

Дальнейиее развитие теории Лооса ило по пути ослабления требований. Было снято условие . А.С.Феденко11 к позже, независимо, 0.Ковальский рассмотрели понятие жасательно-регуляр-ной 4 -структура в показал1*, что она допускает канонкческуи аффинную связность редуктивного пространства. Наиболее подробное излоаенио теории -многообразий содержится в книге О.Козаль-ского.""

Тождество левой дистрибутивности и, следовательно, тождество идемпотентности оставалась неизменными в этой теории.

') О.Лоос. Симметрические пространства. // №. Наука. 1985. ») А.С.Феденко. Регулярные пространства с ешметриями. //

Матем. заметки. 1973. Т. 14. й-1. С. 113-120. . 1) О.Ковальский. Обобщенные сиьиетрические пространства, // Ы. Мир. 1984.

Возникает вопрос; шгяо ли, осжбжв это тоадесгво и заменив -его на хорошо известное из алгебры Р -тоддество,'*' построить содержательное обобщение теории 4 -пространств. При этом, конечно, и тоздество-вдешотевтнссги не будет иметь месте. Такие обобщенные £ -пространства ьз называем транссишетрическиыи пространствам;. Исследованию этой лрсблеш и посвящена кастоякас диссертация. .

А.С.Феденко ввел теорио У -пространств в русло хорош разработанной теории б -цросграяств. При это и накладавзгтся условие на эндоморфизм Г . Он должен быть автоморфизмом. 3 процессе нашего исследования проявляется вааная роль f -пространств , где у не обязательно автоморфизм.

Другое направление для исследований связано с изучением геодезических луп и о дулей рассматриваемых пространств. Например, локальный геодезический одуль точки локально сшкзтричесхого пространства аффинной связности удовлетворяет девоцу тождеству Бола, • известному из алгебры.

В нашей работе анализируется структура геодезическом одуяя транссимметрического пространства.

Цель работы. Основной целью работы является исследование гладких Г -квазигруш, построение теории -пространств,

связанных с Г -квазигруппами, изучение, в частности, свойств их геодезических луп и одулей, дается общая характеристика их касательных алгебр.

Методы исследований. В работе используются метода геометрии аффинной связности, теории редухтивных пространств, теории квазигрупп и луп.

■Научная новизна. Получены следующие новые результаты.

I) Определено ( геометрически ) понятно транссиыметрического -пространства, транссшметрий ( й -пространств, и ~ .симметрия ). Оао также сформулировано на языке гладких квазигрупп.

ч) В.Д.Белоусов. Осноеы теории квазигрупп и луп. // М. Наука. 4 1987.

Введена каконотсскшх аффниная связность Рапевского -прост-

ранства ( то есть каноническая связность рздуктгазного пространства).

2) Вдаснено алгебраическое строение геодезического одуля транссикметрического пространства, то есть найдены необходимые

и достаточные условия дяя того чтобы геодезический одуль был геодезическим одулем -пространства.

3) Попутно при исследовании -Ц -пространств выяснена связь левых р -квазигрупп со специальными лупами и лупаки с парой тождеств, тек называемыми обобцеишши лупами Брака.

4) Указана возможность построения инфияктезиыальной теории гладких Р -КЕазигрупп и & -пространств.

Теоретическая и практическая ценность.-Работа носит теоретический характер. Полученные результаты могут найти приз/.ёнеш:е в дифференциальной геометрии, теории однородных пространств, теории гладких квазигрупп и луп. Они могут быть использованы для дипломных к курсовых работ и при чтении спецкурсов. Методы, использованные а диссертация, представляют перспективное направление для изучения гэоштрпческих объектов и их связи с соответствувдими алгебраическими ана-огами.

Апробация- работы. Результаты исследований докладывались на се!дшарах по алгебре и геометр;"-! кафедры математического анализа Университета друкбы народов им, Датриса 1уыу15бы и ка ежегодных научных конференциях факультета физихо-уатештических и естественных наук, на всесоюзной геометрической конференции в Кишиневе в 1988 году.

Публикации. Основные результат диссертации опубликованы в работах автора [I] , [2] , [э! , список которых приведен в конце автореферата.

Структура и объем диссертации. Диссертация содержит 80 страниц машинописного текста и состоит из введения, трех глав 2 библиографии из 37 наименований.

СОДЕРЖАЛИ! ГАБОН'

во введении нздоасна история вопроса, "а и методы ессду-дованпя и дается аннотация полученных результатов.

Первая глава состоит из пята ПЕрагра^озв.

В § I "Квазигруши, лупи и одула" приведены необходимые определения и результата из теории квазигрупп, луп. и одулей ( алгебр. ичвйик и аналитических). Приведем иехозедоо ояроделзаяи езгню для дальнейшего.

Левая луна _/ц - сМ„ • , --, t у с ' ук'лсиеинзм влеызнтов на скаляры te !?„• , R» M ut. И наби-

вается левым ift. -одулем. если vt-m ) -ик. ■ t t Cj =*..) --U-Ож- для любых t, е , к s обозначается

(R.-Ai - <i M , • , -, t., l^M** A. >

Множество ^ навивается одулярнам пространством, ccjui в • каждой точке м определен о дуль.

Одулярное пространство называется геоадуляршцл, если тнга место товдества:

С • С - ^ ^о.т.

Vl • = V L" l.6.0.t., где U t - ♦ -

На этом язкке дгшо определение редуктизных и симметрических пространств.

В § 2 "Некохорке основные тоадества" рассматриваются наиболее вадные тоздесгва теории квазигрупп и одул ей. В том числе тоздество

идемпотентности: - x , тождество левой дистрибутивности:

-Г^) ( левое F -тоадесхво, которое

заключается в следующем; -z-iyx) = la-^) • (F**-)

где F ■■ Kl -> И H - квазигруппе. Б частности, при

получается тоздество левой дистрибутивности. Гажаз приведены тоа-дество S -автоморфности, тоздество Бола, f -полуболово toïî-дество, ао.мдестЕо левой ьюкоалмернатшзаости и т. д. 6

В О 3 "Некоторые сведения, о пространствах лффанной сгяз:;?с-та™ дело краткое описание а$фииной связности а необходимой для додькейязго форме.

Гладкое отображенке V: (Х, V) г. -£(И') > £ (Г1) ->

с 'ХДМ) называется пйбииной связностью на гдаотобро-оул И , если оно -билинейно, ХМ) -линейно по / к

иу) ЧХП7 * *

Здесь — Ж.- алгебря гладких фу.'с-дай на М , -

щюнество гладких векторных полей, наделенных структурой модуля иод ЗЧМ} , V - оператор коваришгного днфферешцфоаг-нгя в направлении (вдоль) доля X .

Описано зхспонекцкалыгое отображение я нормальные ноо?,"чна-•га. Введена структура геодегкгссмгэ одуля л точке. Замечало, что зведекгач система одулей будет гесодулярным ,тро*:грансгаом. Лаьа ■хкетрукиня сфт.Еняой связцэми на языке оду." ">2.

В § 4 " 1л -пространства' опродолеки понятия у -структуры, -[л -симметрии и М -многообразия.

Определения.

Пусть на ¡многообразии ГА зад«" 'о семейство биективных гладких отсбраяеиг! С м , -г _ : V —V ' где v и V' ссохг&театеино окрестности точзк и -*- ,

Х- » е^} и .Т^.-гг*) ~ ^с

1фсш того, (с'я.у*«.* гяатя от гладко. Тогда будем называть транссамизтрией.

Семейство трансеишетрий ^^ будем испивать Ц -

структурой, а ( И , е м — многообразием.

М -и гооброяиа эюздэалентао задании частичной гладкой левой-гевазагрупш! / > , где- -

•'л -ккогосбразпе называется Р -регулярным или просто регулярном, если ■ а^ ' ^г,,..

Регулярное Лл -глсгосбразиэ ^аЕгапленгао задашь •г.ст.п» ной левей Г -квазигруппы.

Транссиклетрив назовем ггоавглыюй, роли ^Ь.-о^^''

в ^ ц =о или, что то го, есл л участвует />~'г ) .

<

Опред теин Vj -многообразие аффинной связности

СМ, ' ^ ^ и риманово fci -многообразие.

В § 5 "Каноническая связность Рашевского локально правильного регулярного U -многообразия ( U -пространства )" дано определение U -пространства как локально правильного регулярного U -многообразия.

Дано определение канонической аф^лшой связности Рашевского •U -пространства как аффинной связности' такой, что SJТ=0

VfbO и V5 -0 .где s».--le^N«'».» .С'*».1 W>,c-

и - лекальные автоморфизмы этой связности.

В легаих 1,5.1 и 1.5.2 доказываются некоторые свойства F -квазигрупп, а именно, что отображение -с : M -» M

-k. _ является ондоморфизмом F -

квазигруппы M , а также справедливы следувдие свойства е. и

' ¿-о«-; * «-чу) . ^ vx . ^ , с^* * s^y

<> «ru» » 0

где - ' *'tLi *

Искомая каноническая аффинная связность икает вид:

Показано, что ел - локальные автоморфизмы -вязкости V I») .(Предложение 1.г.1).

Показано, что аффинная связностьV t«> редуктивна. (Предложение 1.5.2).

Предлог л.ие 1.5,3 Пусть ( M , WiuW«. и )' . - транссимметрическое пространство, V - его каноническая связность.

5«. : "Г«»; (НУ

Тогда „ VXJ£Y),

8

; (Sy)q. * 4)

или короче

V S. О , если цринеть (v^ 5 УV 5 (V,х У) -Vx (SVj

2) -

Предлозсение 1.5.4. Пусть (^М, V ) - связное пространство

аффинной связности, а (.«Ч. м - семейство его локальных автоморфизмов.

(МЬТх(М)

5(V^x = CSV) и

Тогда С М# и ) -регулярная U -структура,

то есть - °

Доказана единственность канонической сгязности (Предложение 1.5.5.). Доказано (Предяояение 1.5.6.), гго любая гладкая связная левая р -квазигруппа од. :>зкачно определяется семейством локальных автоморфизиов (fi,. )хе м редуктивного связного цростра..ства аффинной связности ,7 ) о условии«:

I) «•"«'я. , где «5С*>

3) VS> = 0 , где ^

3) ciet (Х< - I«-».*-О * о

Вводится отображение = (v ii->j. «_ , которое исполь-

зуется в дальнейшем при изучении структура геодезического одуля транссимметрического пространства и при иостроении кнфинитззи-иальной теории гладких левых F -квазигрупп. Показано, .то ' V41 г0 (Предложение 1.5.7). Доказано, что группа трансвекций связного глобального ta -многообразия действует транзиткзно (Предложение 1.5.8).

Показано, что если ( М , (<&«_ } t ^ ) - связное глобально (лохалыю) правильное U -многообразно, то группа трансвекций есть группа автоморфизмов связности 7 , а е за-шхание есть группа Ли, действующая на однородном пространстве

> V ) . Шредлоге?"9 1.5.9)'.

Глава II состоят из одного параграфа.

Б этом параграфе "Геодезические сдули канонической &ф£шкой ' связности транссю,метрического пространства" получены г тебрак-« чсскис тоздестаа па гладкий одуль неоОходкьае и достаточные для того, чтобы данный одуль был геодззичр.скил одулем канонической связности Радевского tj -пространства, а именно:

1) X'L у-х-'- {г • if ■*.•'• w) } / -

(у*1- глЩ У*- • (V1*"-уг)Г'*{ ys-'iV1^1' V- -тождество

2) У' (х >р = у<*> • *<у)

3)■*■"'(*• >р * ^

4) (.у-)»*. " - обратг'о. (Предложение П.1.1)

Показано, что любое трансакматркческое пространство может бить получено с помощью геодезической лугш редухт/аного пространства аффинной связности (М, V) ■ с веданным семейством локальных эндоморфизмов iy'-vJ-K.tn таких, что ^ -

-О . Ч'^-ТЛ^ обрати , ул. \Ув^* 6Ги

где - азгоыорфизм связности . V , определенный на некото-

рой окрестности точки «,' <¡',¿4- (Предложение П.1.2).

Глава III состоит кг двух пар.л^пфов.

Б § I "О связи левах f -квазигрупп с лупами специального вида" показано, что леше F -квазигруппы изотопны лупа:.: с парой товдегтв.

* iy * % г.) * ъ-* iy * г)

i** я * ty cat,« -> 3 -sua ivyj-'blv*.]")

Эти душ назваии ваш обобщенными лупами Брат;а (Предложение Ш.1.1)

Показало, что такие лупы изотопны левши F -квазигруппам с левой едаящей к являются специальными лупами. ( Предложение ЕЛ.2., 1аЛ,о. и следствия 1,2 ).

В § 2 "Родуятквные пространства и лезыа Я -квазигруппч" приводится конструкция, описывающая с помощью однородных редук-тив1шх V -пространств гладкие леые Р -квазигруппы.

Конструкция заключается в следующем. Пусть - группа Ли, 'р - ее эвдоморфизм и Н подгруппа всех неподвижных алекэнтов эндоморфизма у . Потребуем еще чтобы {х-учУ^}^ с

к.-ело одноэлементное пересечение с каадим классом смежности Пусть такте • Р - эндоморфизм перестановочный с у . На пространства левых смежных классов смежности 6-/Н дахно ввести угяюяенке празклом

(г Н) (3 Н) - х - у <•*.".) Р < > Н , аеС- - произвольный е-нзнт.

Тогда £ /Н с таким умножением будет -пространст-

вом и хобое V) -пространство мскко получить с помощью этой конструкции (Предложение Ш.2.Г. и Ш.2.2.).

Эта конструкция позволяет привз^ .-и нетривиальные приыэры гладких левых Р -квазигрупп и Ь -пространств.

Пос..ольку пространство &-/ II в такса конструкции редук-тивно, то тдонитезимальио исследог\нпа ^ -пространств шяно свести к редуятивиым парам алгебр Ли с не- вторыми условиями шщ схгиеалентвг, ,к тройным алгебрам Ли с некоторыми условиями.

В ваклвчеиив хочу выразить благодарность свое1цу научному руководителе профессору В. Б.Рыжкову за ценные советы и замечания, . направляющие ход исследований, за зшпшш..) и терпение»

Список рабзт» опубликованных по тема диссертации:

1. Сабинина Л. Л. К теории ? -квазигрупп. // Тк. и квазигруппу. М. Калинин. 1988. С. 127 - 130. ■ •

2. Сабинина Л.Л, 0 канонической аф$ииной связности Р -хиа-спгрупп. // Тезисы сообщений IX Всесоюзной геокетрмдеской конференции 20-22 сент.1988.К1шшнев "Шгиинца". С.1275-С76.

3. Сабинина Л.1. 0 геометрии' Р -квазигрупп. // Дкйференц. геометрия и ыультипл. интеграл. Сб. на^ч.трудов ОТИ. М.198Э. ВИШНИ В 3299. В. 89. Гл£>