Ulanish shakli - Connection form - Wikipedia

Yilda matematika va, xususan differentsial geometriya, a ulanish shakli a ma'lumotlarini tartibga solish uslubidir ulanish tilidan foydalanib harakatlanuvchi ramkalar va differentsial shakllar.

Tarixiy jihatdan, ulanish shakllari tomonidan kiritilgan Élie Cartan 20-asrning birinchi yarmida uning ramkalarni ko'chirish uslubining bir qismi va asosiy motivlaridan biri. Aloqa shakli odatda a tanloviga bog'liq koordinata ramkasi va shunday emas tensorial ob'ekt. Kartonning dastlabki ishidan keyin ulanish shaklini turli xil umumlashtirish va qayta izohlash shakllantirildi. Xususan, a asosiy to'plam, a asosiy aloqa bu tensor ob'ekti sifatida ulanish shaklini tabiiy ravishda qayta talqin qilishdir. Boshqa tomondan, ulanish shakli afzalliklarga ega, chunki u aniqlangan differentsial shakldir farqlanadigan manifold o'rniga uning ustiga mavhum asosiy to'plamga emas. Demak, ularning keskinligi yo'qligiga qaramay, ulanish shakllari ular bilan hisob-kitoblarni amalga oshirishning nisbatan osonligi tufayli qo'llanilmoqda.^[1] Yilda fizika, boglanish shakllari ham tarkibida keng ishlatiladi o'lchov nazariyasi, orqali kovariantli lotin.

Aloqa shakli har biriga bog'lanadi asos a vektor to'plami a matritsa differentsial shakllar. Ulanish shakli tensorial emas, chunki a ostida asosning o'zgarishi, ulanish shakli o'z ichiga olgan tarzda o'zgaradi tashqi hosila ning o'tish funktsiyalari, xuddi shunga o'xshash tarzda Christoffel ramzlari uchun Levi-Civita aloqasi. Asosiy tensorial ulanish shaklining o'zgarmasligi uning egrilik shakli. Huzurida a lehim shakli bilan vektor to'plamini aniqlash teginish to'plami, qo'shimcha invariant mavjud: the burama shakli. Ko'pgina hollarda, ulanish shakllari qo'shimcha tuzilishga ega bo'lgan vektor to'plamlarida ko'rib chiqiladi: a tola to'plami bilan tuzilish guruhi.

Vektorli to'plamlar

Vektorli to'plamdagi ramkalar

Ruxsat bering E bo'lishi a vektor to'plami tola o'lchovi k ustidan farqlanadigan manifold M. A mahalliy ramka uchun E buyurtma qilingan asos ning mahalliy bo'limlar ning E. Har doim lokal ramka qurish mumkin, chunki vektor to'plamlari har doim bo'yicha belgilanadi mahalliy trivializatsiya ga o'xshashlik bilan atlas ko'p qirrali. Ya'ni, har qanday nuqta berilgan x tayanch kollektorida M, ochiq mahalla mavjud U ⊂ M ning x buning uchun vektor to'plami tugadi U fazoga izomorfdir U × R^k: bu mahalliy trivializatsiya. Vektorli bo'shliq tuzilishi R^k shu bilan butun mahalliy trivializatsiyaga va shu asosda kengaytirilishi mumkin R^k shuningdek uzaytirilishi mumkin; bu mahalliy ramkani belgilaydi. (Bu yerda, R haqiqiy sonlarni anglatishni nazarda tutadi, ammo bu erda rivojlanishning katta qismi umuman halqalar ustidagi modullarga va xususan, murakkab sonlar bo'yicha vektor bo'shliqlariga kengaytirilishi mumkin.)

Ruxsat bering e = (e_a)_a=1,2,...,k mahalliy ramka bo'ling E. Ushbu ramkadan har qanday bo'limni mahalliy darajada ifodalash uchun foydalanish mumkin E. Masalan, shunday deb taxmin qiling ξ ramka bilan bir xil ochiq to'plam ustida aniqlangan mahalliy bo'lim e. Keyin

${ displaystyle xi = sum _ { alpha = 1} ^ {k} e _ { alpha} xi ^ { alpha} ( mathbf {e})}$

qaerda ξ^a(e) belgisini bildiradi komponentlar ning ξ ramkada e. Matritsa tenglamasi sifatida bu o'qiladi

${ displaystyle xi = { mathbf {e}} { begin {bmatrix} xi ^ {1} ( mathbf {e}) xi ^ {2} ( mathbf {e}) vdots xi ^ {k} ( mathbf {e}) end {bmatrix}} = { mathbf {e}} , xi ( mathbf {e})}$

Yilda umumiy nisbiylik, bunday ramka maydonlari deb nomlanadi tetradlar. Tetrad lokal ramkani tayanch manifolddagi aniq koordinatalar tizimiga maxsus bog'laydi M (koordinata tizimi yoqilgan M atlas tomonidan tashkil etilgan).

Tashqi aloqalar

A ulanish yilda E ning bir turi differentsial operator

${ displaystyle D: Gamma (E) rightarrow Gamma (E otimes Omega ^ {1} M)}$

bu erda Γ dasta mahalliy bo'limlar vektor to'plami va Ω¹M - differentsial 1-shakllar to'plami M. Uchun D. ulanish bo'lishi uchun u bilan to'g'ri bog'langan bo'lishi kerak tashqi hosila. Xususan, agar v ning mahalliy qismi Eva f silliq funktsiya, keyin

${ displaystyle D (fv) = v otimes (df) + fDv}$

qayerda df ning tashqi hosilasi f.

Ba'zan ning ta'rifini kengaytirish qulay D. o'zboshimchalik bilan E- baholanadigan shakllar, shuning uchun uni tenzor mahsulotidagi differentsial operator sifatida ko'rib chiqamiz E to'liq bilan tashqi algebra differentsial shakllar. Tashqi aloqa berilgan D. ushbu moslik xususiyatini qondiradigan noyob kengaytmasi mavjud D.:

${ displaystyle D: Gamma (E otimes Omega ^ {*} M) rightarrow Gamma (E otimes Omega ^ {*} M)}$

shu kabi

${ displaystyle D (v wedge alpha) = (Dv) wedge alpha + (- 1) ^ {{ text {deg}} , v} v wedge d alfa}$

qayerda v daraja bir hil v. Boshqa so'zlar bilan aytganda, D. a hosil qilish darajalangan modullar to'plamida on (E ⊗ Ω^*M).

Ulanish shakllari

The ulanish shakli tashqi aloqani ma'lum bir ramkaga qo'llashda paydo bo'ladi e. Tashqi aloqani qo'llanganda e_a, bu noyobdir k × k matritsa (ω_a^β) ning bir shakllar kuni M shu kabi

${ displaystyle De _ { alpha} = sum _ { beta = 1} ^ {k} e _ { beta} otimes omega _ { alpha} ^ { beta}.}$

Ulanish shakli jihatidan har qanday kesimning tashqi aloqasi E endi ifodalanishi mumkin. Masalan, shunday deb taxmin qiling ξ = Σ_a e_aξ^a. Keyin

${ displaystyle D xi = sum _ { alfa = 1} ^ {k} D (e _ { alpha} xi ^ { alpha} ( mathbf {e})) = = sum _ { alpha = 1} ^ {k} e _ { alpha} otimes d xi ^ { alpha} ( mathbf {e}) + sum _ { alpha = 1} ^ {k} sum _ { beta = 1 } ^ {k} e _ { beta} otimes omega _ { alpha} ^ { beta} xi ^ { alpha} ( mathbf {e}).}$

Ikkala tomonning tarkibiy qismlarini olish,

${ displaystyle D xi ( mathbf {e}) = d xi ( mathbf {e}) + omega xi ( mathbf {e}) = (d + omega) xi ( mathbf {e} )}$

qaerda buni tushunishadi d va ω ramkaga nisbatan komponentga asoslangan hosilaga murojaat qiling e, va mos ravishda 1-shakllarning matritsasi, ning tarkibiy qismlariga ta'sir qiladi ξ. Aksincha, 1-shakllarning matritsasi ω bu apriori bo'limni tashkil etadigan ochiq to'plamda ulanishni mahalliy darajada to'liq aniqlash uchun etarli e belgilanadi.

Kadrning o'zgarishi

Uzaytirish uchun ω mos keladigan global ob'ektga, uning asosiy bo'limlarini boshqacha tanlashda o'zini qanday tutishini tekshirish kerak E tanlangan. Yozing ω_a^β = ω_a^β(e) tanloviga bog'liqligini ko'rsatish uchun e.

Aytaylik e′ - bu mahalliy asosning boshqacha tanlovidir. Keyin teskari narsa bor k × k funktsiyalar matritsasi g shu kabi

${ displaystyle { mathbf {e}} '= { mathbf {e}} , g, quad { text {ie,}} , e' _ { alpha} = sum _ { beta} e _ { beta} g _ { alfa} ^ { beta}.}$

Tashqi aloqani ikkala tomonga qo'llash uchun transformatsiya qonunini beradi ω:

${ displaystyle omega ( mathbf {e} , g) = g ^ {- 1} dg + g ^ {- 1} omega ( mathbf {e}) g.}$

Shunga alohida e'tibor bering ω a ga aylantirilmadi tensorial usuli, chunki bir kadrdan ikkinchisiga o'tish qoidasi o'tish matritsasining hosilalarini o'z ichiga oladi g.

Global ulanish shakllari

Agar {U_p} ning ochiq qoplamasi Mva har biri U_p trivializatsiya bilan jihozlangan e_p ning E, keyin global ulanish shaklini bir-birining ustiga tushgan mintaqalarda mahalliy ulanish shakllari orasidagi ma'lumotni tuzatish nuqtai nazaridan aniqlash mumkin. Batafsil, a ulanish shakli kuni M matritsalar tizimidir ω(e_p) har birida aniqlangan 1-shakllardan U_p quyidagi muvofiqlik shartini qondiradigan

${ displaystyle omega ( mathbf {e} _ {q}) = ( mathbf {e} _ {p} ^ {- 1} mathbf {e} _ {q}) ^ {- 1} d ( mathbf {e} _ {p} ^ {- 1} mathbf {e} _ {q}) + ( mathbf {e} _ {p} ^ {- 1} mathbf {e} _ {q}) ^ {-1} omega ( mathbf {e} _ {p}) ( mathbf {e} _ {p} ^ {- 1} mathbf {e} _ {q}).}$

Bu muvofiqlik sharti qismining tashqi ulanishini, xususan E, mavhum bir qism sifatida qaralganda E ⊗ Ω¹M, ulanishni aniqlash uchun foydalaniladigan bazaviy qismni tanlashiga bog'liq emas.

Egrilik

The egrilik ikki shakl ulanish shakli E bilan belgilanadi

${ displaystyle Omega ( mathbf {e}) = d omega ( mathbf {e}) + omega ( mathbf {e}) wedge omega ( mathbf {e}).}$

Ulanish shaklidan farqli o'laroq, egrilik ramkaning o'zgarishi ostida o'nlab harakat qiladi, bu to'g'ridan-to'g'ri Puankare lemma. Xususan, agar e → e g kvadratning o'zgarishi, keyin egrilik ikki shaklga aylanadi

${ displaystyle Omega ( mathbf {e} , g) = g ^ {- 1} Omega ( mathbf {e}) g.}$

Ushbu transformatsiya qonunining bir talqini quyidagicha. Ruxsat bering e^* bo'lishi ikkilamchi asos ramkaga mos keladi e. Keyin 2-shakl

${ displaystyle Omega = { mathbf {e}} Omega ( mathbf {e}) { mathbf {e}} ^ {*}}$

ramka tanlovidan mustaqil. Xususan, $ e $ - bu vektor bilan baholangan ikki shakl M qiymatlari bilan endomorfizm halqasi Uy (E,E). Ramziy ma'noda,

${ displaystyle Omega in Gamma ( Omega ^ {2} M otimes { text {Hom}} (E, E)).}$

Tashqi aloqa nuqtai nazaridan D., egrilik endomorfizmi tomonidan berilgan

${ displaystyle Omega (v) = D (Dv) = D ^ {2} v ,}$

uchun v ∈ E. Shunday qilib egrilik ketma-ketlikning muvaffaqiyatsizligini o'lchaydi

${ displaystyle Gamma (E) { stackrel {D} { to}} Gamma (E otimes Omega ^ {1} M) { stackrel {D} { to}} Gamma (E otimes Omega ^ {2} M) { stackrel {D} { to}} dots { stackrel {D} { to}} Gamma (E otimes Omega ^ { n} (M))}$

bo'lish a zanjirli kompleks (ma'nosida de Rham kohomologiyasi ).

Lehimlash va burama

Aytaylik, tola o'lchovi k ning E manifold o'lchamiga teng M. Bunday holda, vektor to'plami E ba'zan ulanishdan tashqari qo'shimcha ma'lumotlar bilan jihozlangan: a lehim shakli. A lehim shakli global miqyosda belgilangan vektor bilan baholanadigan bitta shakl θ ∈ Ω¹(M,E) shunday qilib xaritalash

${ displaystyle theta _ {x}: T_ {x} M rightarrow E_ {x}}$

hamma uchun chiziqli izomorfizmdir x ∈ M. Agar lehim shakli berilgan bo'lsa, unda ni aniqlash mumkin burish ulanishning (tashqi ulanish nuqtai nazaridan) kabi

${ displaystyle Theta = D theta. ,}$

$ B $ burilish $ an $ E-2-shakl bo'yicha baholangan M.

Lehim shakli va unga bog'liq bo'lgan burilish ikkalasi ham mahalliy ramka nuqtai nazaridan tavsiflanishi mumkin e ning E. Agar θ lehim shakli bo'lsa, u holda u ramka tarkibiy qismlariga ajraladi

${ displaystyle theta = sum _ {i} theta ^ {i} ( mathbf {e}) e_ {i}.}$

Buralishning tarkibiy qismlari o'shanda

${ displaystyle Theta ^ {i} ( mathbf {e}) = d theta ^ {i} ( mathbf {e}) + sum _ {j} omega _ {j} ^ {i} ( mathbf {e}) wedge theta ^ {j} ( mathbf {e}).}$

Egrilikka o'xshab, $ a $ o'zini $ a $ sifatida tutishini ko'rsatishi mumkin qarama-qarshi tensor ramkaning o'zgarishi ostida:

${ displaystyle Theta ^ {i} ( mathbf {e} , g) = sum _ {j} g_ {j} ^ {i} Theta ^ {j} ( mathbf {e}).}$

Kadrlarga bog'liq bo'lmagan burilish ham ramka tarkibiy qismlaridan tiklanishi mumkin:

${ displaystyle Theta = sum _ {i} e_ {i} Theta ^ {i} ( mathbf {e}).}$

Byankining o'ziga xosliklari

The Byankining o'ziga xosliklari burilishni egrilik bilan bog'lab qo'ying. Birinchi Byanki shaxsiyati shuni ta'kidlaydi

${ displaystyle D Theta = Omega wedge theta.}$

ikkinchi Byanki identifikatori esa buni ta'kidlaydi

${ displaystyle , D Omega = 0}$

Misol: Levi-Civita aloqasi

Misol tariqasida, buni taxmin qiling M ko'taradi a Riemann metrikasi. Agar kimdir bo'lsa vektor to'plami E ustida M, keyin metrik butun vektor to'plamiga kengaytirilishi mumkin to'plam metrikasi. Keyin ushbu to'plam metrikasiga mos keladigan ulanishni aniqlash mumkin, bu shunday metrik ulanish. Maxsus ish uchun E bo'lish teginish to'plami TM, metrik ulanish Riemann aloqasi. Riemann aloqasini hisobga olgan holda, har doim o'ziga xos, teng keladigan ulanishni topish mumkin burilishsiz. Bu Levi-Civita aloqasi tegib turgan to'plamda TM ning M.^[2][3]

Tangens to'plamidagi mahalliy ramka - bu vektor maydonlarining tartiblangan ro'yxati e = (e_men | i = 1,2, ..., n = xira M) ning ochiq pastki qismida aniqlangan M o'z domenining har bir nuqtasida chiziqli ravishda mustaqil. Christoffel ramzlari Levi-Civita aloqasini belgilaydi

${ displaystyle nabla _ {e_ {i}} e_ {j} = sum _ {k = 1} ^ {n} Gamma _ {ij} ^ {k} ( mathbf {e}) e_ {k} .}$

Agar θ = {θ bo'lsa^men | i = 1,2, ..., n}, ni bildiradi ikkilamchi asos ning kotangens to'plami, shunday qilib θ^men(e_j) = δ^men_j (the Kronekker deltasi ), keyin ulanish shakli

${ displaystyle omega _ {i} ^ {j} ( mathbf {e}) = sum _ {k} Gamma _ {ki} ^ {j} ( mathbf {e}) theta ^ {k} .}$

Ulanish shakli jihatidan vektor maydonidagi tashqi aloqa v = Σ_mene_menv^men tomonidan berilgan

${ displaystyle Dv = sum _ {k} e_ {k} otimes (dv ^ {k}) + sum _ {j, k} e_ {k} otimes omega _ {j} ^ {k} ( mathbf {e}) v ^ {j}.}$

Levi-Civita aloqasini, odatdagi ma'noda, bundan shartnoma tuzish orqali tiklash mumkin e_men:

${ displaystyle nabla _ {e_ {i}} v = langle Dv, e_ {i} rangle = sum _ {k} e_ {k} chap ( nabla _ {e_ {i}} v ^ { k} + sum _ {j} Gamma _ {ij} ^ {k} ( mathbf {e}) v ^ {j} o'ng)}$

Egrilik

Levi-Civita ulanishining egriligi 2-shakli bu matritsa (Ω)_men^j) tomonidan berilgan

${ displaystyle Omega _ {i} ^ {j} ( mathbf {e}) = d omega _ {i} ^ {j} ( mathbf {e}) + sum _ {k} omega _ { k} ^ {j} ( mathbf {e}) wedge omega _ {i} ^ {k} ( mathbf {e}).}$

Oddiylik uchun, ramka deylik e bu holonomik, shuning uchun dθ^men=0.^[4] Keyin, hozir ishga tushirish yig'ilish konvensiyasi takroriy ko'rsatkichlar bo'yicha,

${ displaystyle { begin {array} {ll} Omega _ {i} ^ {j} & = d ( Gamma _ {qi} ^ {j} theta ^ {q}) + ( Gamma _ {pk } ^ {j} theta ^ {p}) wedge ( Gamma _ {qi} ^ {k} theta ^ {q}) & & = theta ^ {p} wedge theta ^ {q} chap ( qismli _ {p} Gamma _ {qi} ^ {j} + Gamma _ {pk} ^ {j} Gamma _ {qi} ^ {k}) o'ng) & & = { tfrac {1} {2}} theta ^ {p} wedge theta ^ {q} R_ {pqi} {} ^ {j} end {array}}}$

qayerda R bo'ladi Riemann egriligi tensori.

Torsion

Levi-Civita aloqasi noyobligi bilan ajralib turadi metrik ulanish tegmas to'plamda nol burish bilan. Torsiyani tavsiflash uchun vektor to'plamiga e'tibor bering E tangens to'plami. Bu kanonik lehim shakliga ega (ba'zan deyiladi kanonik bir shakl, ayniqsa kontekstida klassik mexanika ) bu Homning (T) bo'limiM, TM) = T^∗M . TM tangens bo'shliqlarining o'ziga xos endomorfizmiga mos keladi. Kadrda e, lehim shakli θ = Σ_men e_men ⊗ θ^men, yana qaerda θ^men dual asosdir.

Ulanishning burilishi Θ = bilan beriladi D. θ, yoki lehimning ramka tarkibiy qismlari tomonidan

${ displaystyle Theta ^ {i} ( mathbf {e}) = d theta ^ {i} + sum _ {j} omega _ {j} ^ {i} ( mathbf {e}) wedge theta ^ {j}.}$

Yana soddaligi uchun faraz qiling e holonomik, bu ifoda quyidagiga kamayadi

${ displaystyle Theta ^ {i} = Gamma _ {kj} ^ {i} theta ^ {k} wedge theta ^ {j}}$,

yo'qoladi va agar Γ bo'lsa^men_kj pastki indekslari bo'yicha nosimmetrikdir.

Burilish bilan metrik aloqani hisobga olgan holda, har doim ham yagona, noyob burilishni topadigan yagona ulanishni topishingiz mumkin, bu Levi-Civita aloqasi. Riemen aloqasi va unga bog'liq Levi-Civita aloqasi o'rtasidagi farq quyidagicha contorsion tensor.

Tuzilmaviy guruhlar

Vektorli to'plamda yanada aniqroq ulanish shaklini yaratish mumkin E ko'taradi a tuzilish guruhi. Bu afzal qilingan ramkalar sinfiga to'g'ri keladi e kuni Ebilan bog'liq bo'lgan Yolg'on guruh G. Masalan, a mavjudligida metrik yilda E, biri hosil qiluvchi ramkalar bilan ishlaydi ortonormal asos har bir nuqtada. Keyin tuzilish guruhi ortogonal guruh, chunki bu guruh ramkalarning ortonormalligini saqlaydi. Boshqa misollarga quyidagilar kiradi:

• Oldingi bobda ko'rib chiqilgan odatiy ramkalar GL (k) qayerda k ning tola o'lchovidir E.
• A ning holomorfik tangens to'plami murakkab ko'p qirrali (yoki deyarli murakkab manifold ).^[5] Bu erda struktura guruhi GL_n(C) ⊂ GL_2n(R).^[6] Agar a hermit metrikasi berilgan, keyin struktura guruhi ga kamayadi unitar guruh unitar ramkalar bo'yicha harakat qilish.^[5]
• Spinors bilan jihozlangan kollektorda spin tuzilishi. Kadrlar spin bo'shliqidagi o'zgarmas ichki mahsulotga nisbatan bir xil bo'lib, guruh esa kamayadi Spin guruhi.
• Holomorfik tangens to'plamlari yoqilgan CR manifoldlari.^[7]

Umuman olganda, ruxsat bering E tola o'lchamining ma'lum bir vektor to'plami bo'lishi k va G ⊂ GL (k) ning umumiy chiziqli guruhining berilgan Lie kichik guruhi R^k. Agar (e_a) ning mahalliy ramkasi E, keyin matritsali funktsiya (g_men^j): M → G ga muvofiq harakat qilishi mumkin e_a yangi ramka ishlab chiqarish

${ displaystyle e _ { alpha} '= sum _ { beta} e _ { beta} g _ { alpha} ^ { beta}.}$

Ikkita shunday ramkalar mavjud G-bog'liq. Norasmiy ravishda, vektor to'plami E bor a tuzilishi G- to'plam agar ramkalarning afzal qilingan klassi ko'rsatilgan bo'lsa, ularning barchasi mahalliydir G- bir-biri bilan bog'liq. Rasmiy ma'noda, E a tola to'plami tuzilish guruhi bilan G uning odatiy tolasi R^k ning tabiiy harakati bilan G GL kichik guruhi sifatida (k).

Mos keluvchi ulanishlar

Aloqa mos a tuzilishi bilan G- to'plami yoqilgan E bog'liq bo'lgan taqdirda parallel transport xaritalar har doim birini yuboradi G- boshqasiga. Formal ravishda a egri chizig'i bo'ylab quyidagilar mahalliy darajada bajarilishi kerak (ya'ni ning etarlicha kichik qiymatlari uchun) t):

${ displaystyle Gamma ( gamma) _ {0} ^ {t} e _ { alpha} ( gamma (0)) = sum _ { beta} e _ { beta} ( gamma (t)) g_ { alfa} ^ { beta} (t)}$

ba'zi bir matritsa uchun g_a^β (bu ham bog'liq bo'lishi mumkin t). Farqlash at t= 0 beradi

${ displaystyle nabla _ {{ dot { gamma}} (0)} e _ { alpha} = sum _ { beta} e _ { beta} omega _ { alpha} ^ { beta} ( { nuqta { gamma}} (0))}$

bu erda koeffitsientlar ω_a^β ichida Yolg'on algebra g Yolg'on guruhi G.

Ushbu kuzatuv bilan ulanish shakli ω_a^β tomonidan belgilanadi

${ displaystyle De _ { alpha} = sum _ { beta} e _ { beta} otimes omega _ { alpha} ^ { beta} ( mathbf {e})}$

bu tuzilishga mos keladi agar bitta shaklli matritsa ω bo'lsa_a^β(e) uning qiymatlarini qabul qiladi g.

Mos keladigan ulanishning egrilik shakli, bundan tashqari, a g- ikki shaklli.

Kadrning o'zgarishi

Kadr o'zgarishi ostida

${ displaystyle e _ { alpha} '= sum _ { beta} e _ { beta} g _ { alpha} ^ { beta}}$

qayerda g a G-ning ochiq pastki qismida aniqlangan funktsiya M, ulanish shakli orqali o'zgartiriladi

${ displaystyle omega _ { alpha} ^ { beta} ( mathbf {e} cdot g) = (g ^ {- 1}) _ { gamma} ^ { beta} dg _ { alpha} ^ { gamma} + (g ^ {- 1}) _ { gamma} ^ { beta} omega _ { delta} ^ { gamma} ( mathbf {e}) g _ { alpha} ^ { delta}.}$

Yoki matritsa mahsulotlaridan foydalanish:

${ displaystyle omega ({ mathbf {e}} cdot g) = g ^ {- 1} dg + g ^ {- 1} omega g.}$

Ushbu atamalarning har birini sharhlash uchun buni eslang g : M → G a G-qiymatli (mahalliy darajada aniqlangan) funktsiya. Shuni hisobga olgan holda,

${ displaystyle omega ({ mathbf {e}} cdot g) = g ^ {*} omega _ { mathfrak {g}} + { text {Ad}} _ {g ^ {- 1}} omega ( mathbf {e})}$

qaerda ω_g bo'ladi Maurer-Kartan shakli guruh uchun G, Bu yerga orqaga tortdi ga M funktsiya bo'ylab g, va Ad bu qo'shma vakillik ning G uning algebrasida.

Asosiy to'plamlar

Hozirgacha kiritilgan ulanish shakli ma'lum bir ramka tanloviga bog'liq. Birinchi ta'rifda ramka faqat bo'limlarning mahalliy asosidir. Har bir freymga bir freymdan boshqasiga o'tish uchun konformatsiya qonuni bilan ulanish shakli beriladi. Ikkinchi ta'rifda freymlarning o'zi Lie guruhi tomonidan taqdim etilgan ba'zi bir qo'shimcha tuzilmani o'z ichiga oladi va ramkaning o'zgarishi uning qiymatlarini qabul qiladiganlar uchun cheklangan. Kashshof bo'lgan asosiy to'plamlarning tili Charlz Ehresmann 1940-yillarda, ushbu ko'plab ulanish shakllarini va ularni o'zgartirish qonunlarini yagona ichki shaklga bog'laydigan transformatsiya qonunlarini tashkil etish uslubini taqdim etadi. Ushbu yondashuvning salbiy tomoni shundaki, shakllar endi manifoldning o'zida emas, balki kattaroq asosiy to'plamda aniqlanadi.

Ulanish shakli uchun asosiy aloqa

Aytaylik E → M bu struktura guruhiga ega bo'lgan vektor to'plamidir G. Ruxsat bering {U} ning ochiq muqovasi bo'ling M, bilan birga G- har biriga doiralar U, bilan belgilanadi e_U. Ular bir-birining ustiga yopilgan ochiq to'plamlarning kesishgan joylariga bog'liq

${ displaystyle { mathbf {e}} _ {V} = { mathbf {e}} _ {U} cdot h_ {UV}}$

kimdir uchun G- baholangan funktsiya h_{UV nurlari} bo'yicha belgilangan U ∩ V.

F ga ruxsat bering_GE barchaning to'plami bo'ling G-ning har bir nuqtasi bo'yicha olingan kvadratchalar M. Bu asosiy G- to'plam M. Batafsil ma'lumotdan foydalanib G- ramkalar barchasi Gbilan bog'liq, F_GE ochiq qopqoq to'plamlari orasida ma'lumotlarni yopishtirish nuqtai nazaridan amalga oshirilishi mumkin:

${ displaystyle F_ {G} E = left. coprod _ {U} U times G right / sim}$

qaerda ekvivalentlik munosabati ${ displaystyle sim}$ bilan belgilanadi

${ displaystyle ((x, g_ {U}) in U times G) sim ((x, g_ {V}) in V times G) iff { mathbf {e}} _ {V} = { mathbf {e}} _ {U} cdot h_ {UV} { text {and}} g_ {U} = h_ {UV} ^ {- 1} (x) g_ {V}.}$

F-da_GE, a ni aniqlang asosiy G- ulanish quyidagicha ko'rsatib, a g- har bir mahsulot bo'yicha bitta shaklga baholanadi U × G, bu ekvivalentlik munosabatini bir-biriga mos keladigan mintaqalarda hurmat qiladi. Avval ruxsat bering

${ displaystyle pi _ {1}: U marta G dan U gacha, quad pi _ {2}: U marta G ga G}$

proektsion xaritalar bo'ling. Endi, bir nuqta uchun (x,g) ∈ U × G, o'rnatilgan

${ displaystyle omega _ {(x, g)} = Ad_ {g ^ {- 1}} pi _ {1} ^ {*} omega ( mathbf {e} _ {U}) + pi _ {2} ^ {*} omega _ { mathbf {g}}.}$

Shu tarzda qurilgan 1-shakl ω bir-birining ustiga chiqadigan to'plamlar orasidagi o'tishni hurmat qiladi va shuning uchun asosiy F to'plamida butun dunyo bo'ylab aniqlangan 1-shaklni berish uchun tushadi._GE. $ Mathbb {G} $ o'ngdagi generatorlarni ko'paytirishi ma'nosida asosiy bog'liqlik ekanligini ko'rsatish mumkin G F ga qarshi harakat_GEva teng ravishda T (F) da to'g'ri harakatni birlashtiradi_GE) ning qo'shma vakili bilan G.

Asosiy ulanish bilan bog'liq bo'lgan ulanish shakllari

Aksincha, direktor G- ulanish ω printsipialda G- to'plam P→M da ulanish shakllari to'plamini keltirib chiqaradi M. Aytaylik e : M → P ning mahalliy qismi P. Keyin ω ning orqaga tortilishi e belgilaydi a g- bitta shakl bo'yicha baholanadi M:

${ displaystyle omega ({ mathbf {e}}) = { mathbf {e}} ^ {*} omega.}$

Kadrlarni a ga o'zgartirish G- baholangan funktsiya g, buni ko'radi ω (e) Leybnits qoidasi va birikmasi yordamida kerakli tarzda o'zgartiradi:

${ displaystyle langle X, ({ mathbf {e}} cdot g) ^ {*} omega rangle = langle [d ( mathbf {e} cdot g)] (X), omega rangle}$

qayerda X - bu vektor Mva d belgisini bildiradi oldinga.

Shuningdek qarang

• Ehresmann aloqasi
• Karton aloqasi
• Affine aloqasi
• Egrilik shakli

Izohlar

Adabiyotlar

• Chern, S.-S., Differentsial geometriyadagi mavzular, Kengaytirilgan o'rganish instituti, mimeografiya qilingan ma'ruza yozuvlari, 1951 y.
• Chern S. S.; Mozer, J.K. (1974), "Murakkab manifoldlarda haqiqiy gipersurfalar", Acta matematikasi., 133: 219–271, doi:10.1007 / BF02392146
• Griffits, Fillip; Xarris, Jozef (1978), Algebraik geometriya asoslari, Jon Vili va o'g'illari, ISBN  0-471-05059-8
• Jost, Yurgen (2011), Riemann geometriyasi va geometrik tahlil (PDF), Universitext (Oltinchi nashr), Springer, Heidelberg, doi:10.1007/978-3-642-21298-7, ISBN  978-3-642-21297-0, JANOB  2829653
• Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Differentsial geometriya asoslari, jild. 1 (Yangi tahr.), Wiley-Interscience, ISBN  0-471-15733-3
• Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Differentsial geometriya asoslari, jild. 2018-04-02 121 2 (Yangi tahr.), Wiley-Interscience, ISBN  0-471-15732-5
• Spivak, Maykl (1999), Differentsial geometriyaga keng kirish (2-jild), Nashr eting yoki halok bo'ling, ISBN  0-914098-71-3
• Spivak, Maykl (1999), Differentsial geometriyaga keng kirish (3-jild), Nashr eting yoki halok bo'ling, ISBN  0-914098-72-1
• Uells, R.O. (1973), Murakkab manifoldlarda differentsial tahlil, Springer-Verlag, ISBN  0-387-90419-0
• Uells, R.O. (1980), Murakkab manifoldlarda differentsial tahlil, Prentice-Hall