Courant algebroid - Courant algebroid

Sohasida matematika sifatida tanilgan differentsial geometriya, a Kurs geometriyasi dastlab Chjan-Ju Liu tomonidan kiritilgan, Alan Vaynshteyn va Ping Syu ikkitomonlama tekshiruvlarida Bialgeroidalar yolg'on 1997 yilda.^[1] Lyu, Vaynshteyn va Syu shu nomni berishdi Kursant, kim bilvosita 1990 yil boshida o'ylab topgan^[2] egri nosimmetrik qavsni topishi orqali Courant algebroidning standart prototipi ${displaystyle TMoplus T ^ {*} M}$, bugungi kunda Courant bracket deb nomlangan, bu Jakobining o'ziga xosligini qondira olmaydi. Ushbu standart misol ham, Lie bialgebrasining dubli ham Courant algebroidlarining maxsus misollaridir.

Ta'rif

Courant algebroidi ma'lumotlar vektor to'plamidan iborat ${displaystyle E o M}$ qavs bilan ${displaystyle [.,.]: Gamma E imes Gamma E yoki Gamma E}$, degeneratsiya qilinmaydigan tolalar uchun mo'ljallangan ichki mahsulot ${displaystyle langle.,. angle: E imes E o M imes mathbb {R}}$va to'plam xaritasi ${displaystyle ho: E o TM}$ quyidagi aksiomalarga bo'ysungan holda,

${displaystyle [phi, [chi, psi]] = [[phi, chi], psi] + [chi, [phi, psi]]}$

${displaystyle [phi, fpsi] = ho (phi) fpsi + f [phi, psi]}$

${displaystyle [phi, phi] = {frac {1} {2}} Dlangle phi, phi burchak}$

${displaystyle ho (phi) langle psi, psi burchak = 2langle [phi, psi], psi burchak}$

qayerda φ, ψ, χ qismlaridir E va f bazaviy manifoldda silliq funktsiya M. D. bu kombinatsiya ${displaystyle kappa ^ {- 1} ho ^ {T} d}$ bilan d de Rham differentsiali, ${displaystyle ho ^ {T}}$ ning ikki tomonlama xaritasi ${displaystyle ho}$va κ dan xarita E ga ${displaystyle E ^ {*}}$ ichki mahsulot tomonidan qo'zg'atilgan.

Nishab-simmetrik ta'rif

Qavs qilish uchun muqobil ta'rif berilishi mumkin nosimmetrik kabi

${displaystyle [[phi, psi]] = {frac {1} {2}} {ig (} [phi, psi] - [psi, phi] {ig.})}$

Bu endi yuqoridagi Jacobi-identifikatsiya aksiomasini qondirmaydi. Buning o'rniga homotopik Yakobi-identifikatori bajariladi.

${displaystyle [[phi, [[psi, chi]],]] + {ext {cycl.}} = DT (phi, psi, chi)}$

qayerda T bu

${displaystyle T (phi, psi, chi) = {frac {1} {3}} langle [phi, psi], chi angle + {ext {cycl.}}}$

Leybnits qoidasi va skaler mahsulotning o'zgarmasligi munosabat bilan o'zgartiriladi ${displaystyle [[phi, psi]] = [phi, psi] - {frac {1} {2}} phlang, psi burchak}$ va skew-simmetriya buzilishi aksioma bilan almashtiriladi

${displaystyle ho circ D = 0}$

Nishab bilan simmetrik qavs D. va yakobiator T shakl kuchli homotopik Lie algebra.

Xususiyatlari

Qavs nishab-simmetrik emas, chunki u uchinchi aksiyomadan ko'rinadi. Buning o'rniga u ma'lum bir Jakobi-identifikatorini (birinchi aksioma) va Leybnits qoidasini (ikkinchi aksiomani) bajaradi. Ushbu ikkita aksiyomadan langar xaritasini olish mumkin r qavslarning morfizmi:

${displaystyle ho [phi, psi] = [ho (phi), ho (psi)].}$

To'rtinchi qoida - ichki mahsulotning qavs ostidagi invariantligi. Polarizatsiya olib keladi

${displaystyle ho (phi) chi chi, psi burchagi = langle [phi, chi], psi burchagi + changle chi, [phi, psi] burchagi.}$

Misollar

Courant algebroidiga misol Dorfman qavs^[3] to'g'ridan-to'g'ri summa bo'yicha ${displaystyle TMoplus T ^ {*} M}$ Shevera tomonidan kiritilgan burilish bilan,^[4] (1998) quyidagicha ta'riflangan:

${displaystyle [X + xi, Y + eta] = [X, Y] + ({mathcal {L}} _ {X}, eta -i (Y) dxi + i (X) i (Y) H)})$

qayerda X, Y vektor maydonlari, ξ, η 1-shakl va H 3-shakldagi burama qavs. Ushbu qavs-ning integralligini tavsiflash uchun foydalaniladi umumlashtirilgan murakkab tuzilmalar.

Umumiy misol Lie algebroididan kelib chiqadi A uning indüklenen differentsiali ${displaystyle A ^ {*}}$ kabi yoziladi d yana. Keyin Dorfman qavsiga o'xshash formuladan foydalaning H an A-3-shakl ostida yopilgan d.

Courant algebroidining yana bir misoli kvadrat Lie algebrasi, ya'ni invariant skalar mahsulotiga ega Lie algebrasi. Bu erda tayanch manifold shunchaki nuqta va shuning uchun ankraj xaritasi (va D.) ahamiyatsiz.

Vaynshteyn va boshqalar tomonidan maqolada tasvirlangan misol. Lie bialgebroid-dan keladi, ya'ni. A Lie algebroid (langar bilan) ${displaystyle ho _ {A}}$ va qavs ${displaystyle [.,.] _ {A}}$), shuningdek, uning duali ${displaystyle A ^ {*}}$ Lie algebroidi (differentsialni keltirib chiqaradi) ${displaystyle d_ {A ^ {*}}}$ kuni ${displaystyle wedge ^ {*} A}$) va ${displaystyle d_ {A ^ {*}} [X, Y] _ {A} = [d_ {A ^ {*}} X, Y] _ {A} + [X, d_ {A ^ {*}} Y ] _ {A}}$ (RHSda siz kengaytiradigan joy A-kraketka ${displaystyle wedge ^ {*} A}$ Leybnits qoidasidan foydalangan holda). Ushbu tushuncha nosimmetrikdir A va ${displaystyle A ^ {*}}$ (qarang Roytenberg). Bu yerda ${displaystyle E = Aoplus A ^ {*}}$ langar bilan ${displaystyle ho (X + alfa) = ho _ {A} (X) + ho _ {A ^ {*}} (alfa)}$ va qavs - yuqoridagi ning egri simmetrizatsiyasi X va a (teng ravishda Y va β):

${displaystyle [X + alfa, Y + eta] = ([X, Y] _ {A} + {mathcal {L}} _ {alfa} ^ {A ^ {*}} Y-i_ {eta} d_ {A ^ {*}} X) + ([alfa, eta] _ {A ^ {*}} + {mathcal {L}} _ {X} ^ {A} eta -i_ {Y} d_ {A} alfa)}$

Dirak tuzilmalari

Ichki mahsulot bilan Courant algebroidi berilgan ${displaystyle langle.,. angle}$ split imzo (masalan, standart) ${displaystyle TMoplus T ^ {*} M}$), keyin a Dirak tuzilishi maksimal izotrop integral integral vektor subbundle hisoblanadi L → M, ya'ni

${displaystyle langle, Langle equiv 0}$,

${displaystyle mathrm {rk}, L = {frac {1} {2}} mathrm {rk}, E}$,

${displaystyle [Gamma L, Gamma L] pastki to'plam Gamma L}$.

Misollar

Kюрант va parallel ravishda Dorfman tomonidan kashf etilganidek, 2-shakl grafigi ω ∈ Ω²(M) maksimal darajada izotrop va bundan tashqari iff dω = 0, ya'ni 2-shakl de Rham differentsiali ostida yopiladi, ya'ni prempemptik tuzilish.

Ikkinchi sinf misollari bivektorlardan kelib chiqadi ${Gamma-da displaystyle Pi (xanjar ^ {2} TM)}$ grafigi maksimal izotrop va integrallanuvchi iff [Π, Π] = 0, ya'ni a Poisson bivektori kuni M.

Umumlashtirilgan murakkab tuzilmalar

(shuningdek, asosiy maqolaga qarang umumlashtirilgan murakkab geometriya )

Ichki imzo mahsulotiga ega Courant algebroidi berilgan. Umumlashtirilgan murakkab tuzilish L → M dirac tuzilmasi murakkablashtirilgan Qo'shimcha xususiyatga ega Courant algebroid

${displaystyle Lcap {ar {L}} = 0}$

qayerda ${displaystyle {ar {}}}$ komplekslashtirish bo'yicha standart kompleks tuzilishga nisbatan murakkab konjugatsiyani anglatadi.

Gualtieri tomonidan batafsil o'rganilganidek^[5] umumlashtirilgan murakkab tuzilmalar o'xshash geometriyani o'rganishga imkon beradi murakkab geometriya.

Misollar

Bunga misollar presimplektik va Puasson tuzilmalari yonida, shuningdek, a grafigi keltirilgan murakkab tuzilish J: TM → TM.

Adabiyotlar

Qo'shimcha o'qish

• Dmitriy Roytenberg: Courant algebroidlar, olingan qavslar va hatto simpektik supermanifoldlar, Doktorlik dissertatsiyasi Univ. Kaliforniya shtati Berkli (1999)