Қосылу формасы - Википедия - Connection form

Жылы математика және арнайы дифференциалды геометрия, а байланыс формасы а деректерін жүйелеу тәсілі болып табылады байланыс тілін пайдаланып жылжымалы рамалар және дифференциалды формалар.

Тарихи тұрғыдан байланыс формалары енгізілген Эли Картан 20 ғасырдың бірінші жартысында оның кадрларды жылжыту әдісі үшін негізгі мотивтердің бірі. Қосылу формасы негізінен a таңдауына байланысты координаталық жақтау, және олай емес тензорлық объект. Картаның алғашқы жұмысынан кейін байланыс формасын әр түрлі жалпылау және қайта түсіндіру тұжырымдалды. Атап айтқанда, а негізгі байлам, а негізгі байланыс - тензорлық объект ретінде байланыс формасын табиғи түрде қайта түсіндіру. Екінші жағынан, байланыс формасының артықшылығы бар, ол дифференциалды форма болып табылады дифференциалданатын коллектор оның орнына абстрактілі негізгі бумада емес. Демек, олардың созылғыштығына қарамастан, байланыс формалары олармен есептеулер жүргізудің салыстырмалы жеңілдігіне байланысты қолданыла береді.[1] Жылы физика, байланыс формалары да кең көлемде қолданылады калибр теориясы, арқылы ковариантты туынды.

Байланыс формасы әрқайсысына байланысты негіз а векторлық шоғыр а матрица дифференциалды формалардың Байланыс формасы тензорлы емес, өйткені a негізді өзгерту, байланыс формасы түрлендіреді сыртқы туынды туралы ауысу функциялары, сияқты дәл осылай Christoffel рәміздері үшін Levi-Civita байланысы. Басты тензорлық байланыс формасының инварианты оның қисықтық нысаны. Қатысуымен а дәнекерлеу формасы векторлық дестені тангенс байламы, қосымша инвариант бар: бұралу формасы. Көптеген жағдайларда байланыс формалары қосымша құрылымы бар векторлық бумаларда қарастырылады: а талшық байламы а құрылым тобы.

Векторлық байламдар

Вектор байламындағы жақтаулар

Келіңіздер E болуы а векторлық шоғыр талшық өлшемі к астам дифференциалданатын коллектор М. A жергілікті жақтау үшін E тапсырыс берілген негіз туралы жергілікті бөлімдер туралы E. Әрдайым локальды жақтауды салуға болады, өйткені векторлық бумалар әрқашан анықталады жергілікті тривиализациялар, аналогы бойынша атлас коллектордың. Яғни кез-келген нүкте берілген х негізгі коллекторда М, бұл жерде ашық аудандар бар UМ туралы х ол үшін вектор жиынтығы аяқталды U кеңістікке изоморфты болып табылады U × Rк: бұл жергілікті тривиализация. Векторлық кеңістіктің құрылымы Rк осылайша бүкіл жергілікті тривиализациялауға негізделуі мүмкін Rк сонымен қатар ұзартылуы мүмкін; бұл жергілікті кадрды анықтайды. (Мұнда, R нақты numbers сандарын білдіруге арналған, дегенмен мұндағы дамудың көп бөлігі жалпы сақиналар бойынша модульдерге және complex күрделі сандарға арналған векторлық кеңістіктерге кеңейтілуі мүмкін.)

Келіңіздер e = (eα)α=1,2,...,к жергілікті жақтау болуы керек E. Бұл жақтау кез келген бөлімді жергілікті түрде білдіру үшін қолданыла алады E. Мысалы, солай делік ξ бұл фрейммен бірдей жиынтықта анықталған жергілікті бөлім e. Содан кейін

қайда ξα(e) дегенді білдіреді компоненттер туралы ξ жақтауда e. Матрицалық теңдеу ретінде бұл оқиды

Жылы жалпы салыстырмалылық, мұндай жақтау өрістері деп аталады тетрадалар. Тетрада локалды кадрды базалық коллектордағы нақты координаттар жүйесімен байланыстырады М (координаттар жүйесі қосулы М атласпен орнатылған).

Сыртқы байланыстар

A байланыс жылы E түрі болып табылады дифференциалдық оператор

Мұндағы Γ мәнін білдіреді шоқ жергілікті бөлімдер векторлық байламның және Ω1М дифференциалдық 1-пішіндер жиынтығы М. Үшін Д. қосылым болу үшін оны дұрыс байланыстыру керек сыртқы туынды. Нақтырақ айтқанда, егер v жергілікті бөлімі болып табылады E, және f тегіс функция болып табылады

қайда df сыртқы туындысы болып табылады f.

Кейде анықтамасын кеңейту ыңғайлы Д. ерікті E-бағаланатын формалар, осылайша оны тензор көбейтіндісіндегі дифференциалды оператор ретінде қарастырамыз E толықтай сыртқы алгебра дифференциалды формалардың Сыртқы байланыс берілген Д. Бұл үйлесімділік қасиетін қанағаттандыратын ерекше кеңейту бар Д.:

осындай

қайда v градус біртекті v. Басқа сөздермен айтқанда, Д. Бұл туынды бағаланған модульдер шоғырында on (E ⊗ Ω*М).

Байланыс формалары

The байланыс формасы сыртқы байланысты белгілі бір жақтауға қолданғанда пайда болады e. Сыртқы қосылымды қолданған кезде eα, бұл бірегей к × к матрица (ωαβ) of бір формалы қосулы М осындай

Байланыс формасы тұрғысынан кез-келген бөлімнің сыртқы байланысы E енді білдіруге болады. Мысалы, солай делік ξ = Σα eαξα. Содан кейін

Екі жағынан да компоненттерді қабылдау,

мұны қайда түсінеді г. және ω кадрға қатысты компоненттік туындыға сілтеме жасау e, және компоненттеріне әсер ететін сәйкесінше 1-формалы матрица ξ. Керісінше, 1-формалардың матрицасы ω болып табылады априори бөлімді негізге алатын ашық жиынтықта жергілікті байланысты толығымен анықтауға жеткілікті e анықталды.

Жақтаудың өзгеруі

Ұзарту үшін ω қолайлы ғаламдық объектіге, оның негізгі бөлімдерін басқаша таңдағанда өзін қалай ұстайтынын тексеру қажет E таңдалды. Жазыңыз ωαβ = ωαβ(e) таңдауына тәуелділікті көрсету үшін e.

Айталық e′ Бұл жергілікті негізді таңдау. Одан кейін аударылатын нәрсе бар к × к функциялар матрицасы ж осындай

Сыртқы байланысты екі жаққа да қолдану трансформация заңын береді ω:

Әсіресе, бұған назар аударыңыз ω а өзгерте алмайды тензорлық тәсілі, өйткені бір кадрдан екінші кадрға өту ережесі матрицаның туындыларын қамтиды ж.

Ғаламдық байланыс формалары

Егер {Uб} - ашық жабыны Мжәне әрқайсысы Uб тривиализациямен жабдықталған eб туралы E, содан кейін қабаттасқан аймақтардағы жергілікті байланыс формалары арасындағы түзету деректері бойынша ғаламдық байланыс формасын анықтауға болады. Толығырақ, а байланыс формасы қосулы М матрицалар жүйесі ω(eб) әрқайсысында анықталған 1-пішінді Uб келесі үйлесімділік шарттарын қанағаттандырады

Бұл үйлесімділік шарты секциясының сыртқы байланысын қамтамасыз етеді E, абстрактілі бөлім ретінде қарастырылған кезде E ⊗ Ω1М, қосылымды анықтау үшін қолданылатын базалық бөлімді таңдауға байланысты емес.

Қисықтық

The қисықтық екі пішінді байланыс формасының E арқылы анықталады

Қосылу формасынан айырмашылығы, қисықтық кадрдың өзгеруі кезінде оншақты жүреді, оны тікелей көмегімен тексеруге болады. Пуанкаре леммасы. Нақтырақ айтқанда, егер ee ж - бұл кадрдың өзгеруі, содан кейін қисықтық екі түрге айналады

Осы трансформация заңының бір түсіндірмесі келесідей. Келіңіздер e* болуы қосарланған негіз жақтауға сәйкес келеді e. Содан кейін 2-форма

кадр таңдауына тәуелсіз. Атап айтқанда, Ω - векторлық мәнді екі форма М мәндерімен эндоморфизм сақинасы Хом (E,E). Символикалық түрде,

Сыртқы байланыс тұрғысынан Д., қисықтық эндоморфизм беріледі

үшін vE. Осылайша қисықтық реттіліктің сәтсіздігін өлшейді

болу тізбекті кешен (мағынасында де Рам когомологиясы ).

Дәнекерлеу және бұралу

Талшықтың өлшемі делік к туралы E коллектордың өлшеміне тең М. Бұл жағдайда векторлық шоғыр E кейде қосылымнан басқа қосымша мәліметтермен жабдықталған: а дәнекерлеу формасы. A дәнекерлеу формасы жаһандық деңгейде анықталған векторлық-бір форма θ ∈ Ω1(М,E) картаға түсіру үшін

барлығы үшін сызықтық изоморфизм болып табылады хМ. Егер дәнекерлеу формасы берілген болса, онда анықтауға болады бұралу байланыстың (сыртқы байланыс тұрғысынан) ретінде

Бұралу an E-2 формасы бойынша бағаланады М.

Дәнекерлеу формасы және онымен байланысты бұралу екеуі де жергілікті жақтау түрінде сипатталуы мүмкін e туралы E. Егер θ дәнекерлеу формасы болса, онда ол рамалық компоненттерге ыдырайды

Бұралу компоненттері сол кезде болады

Қисықтық сияқты, Θ өзін а ретінде ұстайтындығын көрсетуге болады қарама-қарсы тензор кадрдың өзгеруі бойынша:

Рамадан тәуелсіз бұралу кадрдың компоненттерінен қалпына келтірілуі мүмкін:

Бианки сәйкестілігі

The Бианки сәйкестілігі бұралуды қисықтықпен байланыстырыңыз. Бірінші Бианки сәйкестігі бұл туралы айтады

ал екінші Бианки сәйкестігі бұл туралы айтады

Мысалы: Levi-Civita байланысы

Мысал ретінде солай делік М а Риман метрикасы. Егер біреуінде болса векторлық шоғыр E аяқталды М, содан кейін метриканы бүкіл векторлық бумаға таратуға болады байлам метрикасы. Осыдан кейін біреу осы метрикамен сәйкес келетін байланысты анықтай алады, бұл - метрикалық байланыс. Ерекше жағдай үшін E болу тангенс байламы ТМ, метрикалық байланыс деп аталады Риман байланысы. Риман байланысын ескере отырып, әрқашан теңдестірілген теңдестірілген қосылысты табуға болады бұралмалы емес. Бұл Levi-Civita байланысы жанасатын байламда ТМ туралы М.[2][3]

Тангенс байламындағы жергілікті кадр - бұл векторлық өрістердің реттелген тізімі e = (eмен | i = 1,2, ..., n = күңгірт М) ашық ішкі жиында анықталған М доменінің әр нүктесінде сызықтық тәуелсіз. Christoffel белгілері Levi-Civita байланысын анықтайды

Егер θ = {θмен | i = 1,2, ..., n}, дегенді білдіреді қосарланған негіз туралы котангенс байламы, мұндай θмен(ej) = δменj ( Kronecker атырауы ), содан кейін байланыс формасы болып табылады

Байланыс формасы тұрғысынан векторлық өрістегі сыртқы байланыс v = Σменeменvмен арқылы беріледі

Levi-Civita байланысын, әдеттегідей, келісімшарт арқылы қалпына келтіруге болады eмен:

Қисықтық

Levi-Civita байланысының қисықтық 2-формасы матрица (is) болып табыладыменj) берілген

Қарапайымдылық үшін, рамка делік e болып табылады холономикалық, сондықтан dθмен=0.[4] Содан кейін, қазір жиынтық конвенция қайталанатын көрсеткіштер бойынша,

қайда R болып табылады Риманның қисықтық тензоры.

Бұралу

Levi-Civita байланысы ерекше деп сипатталады метрикалық байланыс жанама байламда нөлдік бұралумен. Бұралуды сипаттау үшін векторлық шоғырға назар аударыңыз E тангенс байламы. Бұл канондық дәнекерлеу формасын алып жүреді (кейде деп аталады канондық бір форма, әсіресе классикалық механика ) бұл Хомның θ бөлімі (TМ, Т.М) = Т.М . ТМ тангенс кеңістігінің сәйкестік эндоморфизміне сәйкес келеді. Жақтауда e, дәнекерлеу формасы болып табылады θ = Σмен eменθмен, қайда θмен қосарланған негіз болып табылады.

Қосылыстың бұралуы Θ = арқылы беріледі Д. θ, немесе дәнекерлеудің рамалық компоненттері бойынша

Қарапайымдылық үшін тағы бір рет e холономикалық, бұл өрнек -ке дейін азаяды

,

ол жоғалады, егер ол and болған жағдайда ғанаменкж оның төменгі индекстері бойынша симметриялы.

Торсионмен метрикалық байланысты ескере отырып, әрқашан бұралусыз жалғыз, бірегей қосылысты табуға болады, бұл Леви-Сивита байланысы. Риман байланысы мен оның Леви-Сивита байланысының арасындағы айырмашылық мынада консорциялық тензор.

Құрылымдық топтар

Векторлық шоғырлану кезінде байланыстыру формасының нақты түрін жасауға болады E а құрылым тобы. Бұл жақтаулардың қолайлы класына тең e қосулы Eбайланысты, олар а Өтірік тобы G. Мысалы, а метрикалық жылы E, бірі ан түзетін кадрлармен жұмыс істейді ортонормальды негіз әр сәтте. Құрылым тобы - бұл ортогональды топ, өйткені бұл топ кадрлардың ортонормальдығын сақтайды. Басқа мысалдарға мыналар жатады:

Жалпы, рұқсат етіңіз E талшықтың берілген векторлық шоғыры болуы керек к және G L GL (к) жалпы сызықтық тобының берілген Lie кіші тобы Rк. Егер (eα) -ның жергілікті жақтауы E, содан кейін матрица-бағаланатын функция (жменj): МG бойынша әрекет етуі мүмкін eα жаңа кадр жасау үшін

Осындай екі жақтау G-байланысты. Бейресми түрде, векторлық шоқ E бар а құрылымы G-бума егер кадрлардың таңдаулы класы көрсетілген болса, олардың барлығы жергілікті G-бір-бірімен байланысты. Ресми түрде E Бұл талшық байламы құрылым тобымен G оның типтік талшықтары Rк табиғи әрекетімен G GL кіші тобы ретінде (к).

Үйлесімді қосылыстар

Байланыс үйлесімді а құрылымымен G-бума қосулы E байланысты болған жағдайда параллель тасымалдау карталар әрқашан біреуін жібереді G- басқасына. Формальды түрде, cur қисығы бойында, төмендегілер жергілікті деңгейде болуы керек (яғни, шамалы мәндері үшін) т):

кейбір матрица үшін жαβ (бұл да тәуелді болуы мүмкін т). Дифференциалдау т= 0 береді

мұндағы коэффициенттер ωαβ ішінде Алгебра ж Өтірік тобының G.

Осы бақылаумен байланыс формасы ωαβ арқылы анықталады

болып табылады құрылымымен үйлесімді егер бір пішіннің матрицасы ωαβ(e) оның мәндерін қабылдайды ж.

Үйлесімді байланыстың қисықтық формасы, сонымен қатар, а ж- екі пішінді.

Жақтаудың өзгеруі

Жақтаудың өзгеруі астында

қайда ж Бұл G-ның ашық жиынтығында анықталған функция М, байланыс формасы арқылы түрленеді

Немесе матрицалық өнімдерді қолдану арқылы:

Осы терминдердің әрқайсысын түсіндіру үшін еске түсіріңіз ж : МG Бұл G-мәнді (жергілікті анықталған) функция. Осыны ескере отырып,

қайда ωж болып табылады Маурер-Картан формасы топ үшін G, Мұнда артқа тартылды дейін М функция бойымен ж, және Жарнама бірлескен өкілдік туралы G оның алгебрасында.

Негізгі бумалар

Қосылу формасы, осы уақытқа дейін енгізілген, белгілі бір кадр таңдауына байланысты. Бірінші анықтамада кадр тек бөлімдердің жергілікті негізі болып табылады. Әр кадрға бір кадрдан екіншісіне өту үшін трансформация заңымен байланыс формасы беріледі. Екінші анықтамада кадрлардың өздері Lie тобы ұсынатын қосымша құрылымды алып жүреді, ал кадрдың өзгеруі олардың мәндерін қабылдайтындармен шектеледі. Пионер болып табылатын негізгі байламдардың тілі Чарльз Эресманн 1940 жж. осы көптеген байланыстыру формаларын және оларды трансформациялаудың бірыңғай ережелерімен біртұтас ішкі формаға байланыстыратын трансформация заңдылықтарын ұйымдастырудың тәсілін ұсынады. Бұл тәсілдің кемшілігі мынада: формалар енді коллектордың өзінде емес, үлкенірек байламда анықталады.

Қосылу формасы үшін негізгі байланыс

Айталық EМ - құрылымдық тобы бар векторлық байлам G. Рұқсат етіңізU} ашық мұқабасы болуы керек М, бірге G-әрқайсысында кадрлар U, деп белгіленеді eU. Бұл сәйкес келетін ашық жиындардың қиылысында байланысты

кейбіреулер үшін G-қызметі сағУльтрафиолет бойынша анықталған UV.

F болсынGE бәрінің жиынтығы болыңыз G-әрбір нүктеге алынған кадрлар М. Бұл директор G-бума аяқталды М. Егжей-тегжейлі, фактіні пайдаланып G-кадрлар барлығы Gқатысты, Ф.GE ашық мұқабаның жиынтықтары арасында деректерді желімдеу тұрғысынан жүзеге асырылуы мүмкін:

қайда эквиваленттік қатынас арқылы анықталады

F-деGE, а анықтаңыз негізгі G-қосылу а) көрсету арқылы келесідей ж-әрбір өнімде бір форма бойынша бағаланады U × G, бұл қабаттасқан аймақтардағы эквиваленттік қатынасты құрметтейді. Алдымен рұқсат етіңіз

проекциялық карталар болуы керек. Енді бір нүкте үшін (х,ж) ∈ U × G, орнатылған

Осылай салынған 1-форма over қабаттасқан жиындар арасындағы ауысуларға құрметпен қарайды, сондықтан F негізгі бумасында ғаламдық анықталған 1-пішінді беру үшін түседі.GE. Ω - бұл құқық генераторларын ойнататын мағынасында негізгі байланыс екенін көрсетуге болады G F-ге қатысты әрекетGE, және T-ге дұрыс әрекетті теңестіреді (FGE) G.

Негізгі байланысқа байланысты байланыс формалары

Керісінше, директор G- байланыс n директорда G-бума PМ бойынша байланыс формаларының жиынтығын тудырады М. Айталық e : МP жергілікті бөлімі болып табылады P. Содан кейін ω-нің кері тартылуы e анықтайды а ж-бір форма бойынша бағаланады М:

А кадрларын өзгерту G-қызметі ж, біреуі ω (e) Лейбниц ережесін қолдану арқылы қажетті тәртіпте өзгертеді және қосымша:

қайда X вектор болып табылады М, және г. дегенді білдіреді алға.

Сондай-ақ қараңыз

Ескертулер

  1. ^ Гриффитс және Харрис (1978), Уэллс (1980), Спивак (1999)
  2. ^ Қараңыз Jost (2011), 4-тарау, осы тұрғыдан Леви-Сивитаның байланысы туралы толық мәлімет алу үшін.
  3. ^ Қараңыз Спивак (1999), II.7 осы тұрғыдан Леви-Сивитаның байланысының толық есебі үшін.
  4. ^ Холоникалық емес шеңберде қисықтықтың өрнегі туындылардың dθ болуымен одан әрі күрделене түседімен ескеру керек.
  5. ^ а б Уэллс (1973).
  6. ^ Мысалы, Кобаяши және Номизу, II томды қараңыз.
  7. ^ Черн мен Мозерді қараңыз.

Әдебиеттер тізімі

  • Черн, С.-С., Дифференциалды геометрия тақырыптары, Жетілдірілген зерттеу институты, мимеографиялық дәріс жазбалары, 1951 ж.
  • Chern S. S .; Мозер, Дж. (1974), «Күрделі коллекторлардағы гипер беткейлер», Acta Math., 133: 219–271, дои:10.1007 / BF02392146
  • Грифитс, Филлип; Харрис, Джозеф (1978), Алгебралық геометрияның принциптері, Джон Вили және ұлдары, ISBN  0-471-05059-8
  • Джост, Юрген (2011), Риман геометриясы және геометриялық анализ (PDF), Университекст (Алтыншы басылым), Спрингер, Гейдельберг, дои:10.1007/978-3-642-21298-7, ISBN  978-3-642-21297-0, МЫРЗА  2829653
  • Кобаяши, Шошичи; Номизу, Катсуми (1996), Дифференциалдық геометрияның негіздері, т. 1 (Жаңа ред.), Вили-Интерсианс, ISBN  0-471-15733-3
  • Кобаяши, Шошичи; Номизу, Катсуми (1996), Дифференциалдық геометрияның негіздері, т. 2018-04-21 121 2 (Жаңа ред.), Вили-Интерсианс, ISBN  0-471-15732-5
  • Спивак, Майкл (1999), Дифференциалды геометрияға жан-жақты кіріспе (2 том), Жариялау немесе құрту, ISBN  0-914098-71-3
  • Спивак, Майкл (1999), Дифференциалды геометрияға жан-жақты кіріспе (3 том), Жариялау немесе құрту, ISBN  0-914098-72-1
  • Уэллс, Р.О. (1973), Күрделі коллекторлар бойынша дифференциалды талдау, Springer-Verlag, ISBN  0-387-90419-0
  • Уэллс, Р.О. (1980), Күрделі коллекторлар бойынша дифференциалды талдау, Prentice – Холл