Simpektik guruh - Symplectic group
Yolg'on guruhlar |
---|
|
Algebraik tuzilish → Guruh nazariyasi Guruh nazariyasi |
---|
Asosiy tushunchalar |
Cheksiz o'lchovli yolg'on guruhi
|
Yilda matematika, ism simpektik guruh ikki xil, ammo chambarchas bog'liq bo'lgan matematik to'plamlarga murojaat qilishi mumkin guruhlar, belgilangan Sp (2.)n, F) va Sp (n) musbat tamsayı uchun n va maydon F (odatda C yoki R). Ikkinchisi deyiladi ixcham simpektik guruh. Ko'plab mualliflar biroz farqli yozuvlarni afzal ko'rishadi, odatda omillar bo'yicha farqlanadi 2. Bu erda ishlatiladigan yozuv eng keng tarqalgan o'lchamiga mos keladi matritsalar guruhlarni ifodalovchi. Yilda Kartan ning tasnifi oddiy Lie algebralari, murakkab guruhning algebra Sp (2.)n, C) bilan belgilanadi Cnva Sp (n) bo'ladi ixcham shakl ning Sp (2.)n, C). Shuni esda tutingki, biz murojaat qilganimizda The (ixcham) simpektik guruh deganda, ularning o'lchamlari bo'yicha indekslangan (ixcham) simpektik guruhlar to'plami haqida gap ketayotgani nazarda tutilgan n.
"Simpektik guruh" nomi Hermann Veyl tufayli oldingi chalkash ismlarning o'rniga (chiziq) murakkab guruh va Abeliyaning chiziqli guruhi, va "kompleks" ning yunoncha analogidir.
The metaplektik guruh simpektik guruhning ikki qavatli qopqog'i R; uning boshqalarga o'xshashlari bor mahalliy dalalar, cheklangan maydonlar va Adele jiringlaydi.
Sp (2.)n, F)
Simpektik guruh a klassik guruh to'plami sifatida aniqlangan chiziqli transformatsiyalar a 2n- o'lchovli vektor maydoni maydon ustidan F saqlaydigan a buzilib ketmaydigan nosimmetrik bilinear shakl. Bunday vektorli bo'shliq a deb ataladi simpektik vektor maydoni va mavhum simpektik vektor makonining simpektik guruhi V bilan belgilanadi Sp (V). Uchun asos o'rnatilgandan so'ng V, simpektik guruhi guruhiga aylanadi 2n × 2n simpektik matritsalar, yozuvlari bilan F, operatsiyasi ostida matritsani ko'paytirish. Ushbu guruh ham belgilanadi Sp (2.)n, F) yoki Sp (n, F). Agar bilinear shakl. Bilan ifodalangan bo'lsa bema'ni nosimmetrik matritsa Ω, keyin
qayerda MT bo'ladi ko'chirish ning M. Ko'pincha $ pi $ deb belgilanadi
qayerda Menn identifikatsiya matritsasi. Ushbu holatda, Sp (2.)n, F) ushbu blok matritsalari sifatida ifodalanishi mumkin , qayerda , tenglamalarni qondiradigan:
Barcha simpektik matritsalar mavjud aniqlovchi 1, simpektik guruh a kichik guruh ning maxsus chiziqli guruh SL (2n, F). Qachon n = 1, matritsadagi simpektik shart qondiriladi agar va faqat agar determinant bitta, shuning uchun Sp (2, F) = SL (2, F). Uchun n > 1, qo'shimcha shartlar mavjud, ya'ni. Sp (2.)n, F) keyin tegishli kichik guruh hisoblanadi SL (2n, F).
Odatda, maydon F maydonidir haqiqiy raqamlar R yoki murakkab sonlar C. Bunday hollarda Sp (2.)n, F) haqiqiy / murakkab Yolg'on guruh haqiqiy / murakkab o'lchov n(2n + 1). Ushbu guruhlar ulangan lekin ixcham emas.
The markaz ning Sp (2.)n, F) matritsalardan iborat Men2n va −Men2n ekan maydonning xarakteristikasi emas 2.[1] Ning markazidan beri Sp (2.)n, F) diskret bo'lib, uning markaziy qismi a oddiy guruh, Sp (2.)n, F) a hisoblanadi oddiy Lie guruhi.
Tegishli Lie algebrasining haqiqiy darajasi va shuning uchun Lie guruhi Sp (2.)n, F), bo'ladi n.
The Yolg'on algebra ning Sp (2.)n, F) to'plam
bilan jihozlangan komutator uning yolg'on qavs sifatida.[2] Standart nishab-nosimmetrik bilinear shakl uchun , bu Lie algebra barcha blok matritsalar to'plamidir shartlarga muvofiq
Sp (2.)n, C)
Kompleks sonlar sohasidagi simpektik guruh a ixcham emas, oddiygina ulangan, oddiy Lie guruhi.
Sp (2.)n, R)
Sp (2.)n, C) bo'ladi murakkablashuv haqiqiy guruh Sp (2.)n, R). Sp (2.)n, R) haqiqiy, ixcham emas, ulangan, oddiy Lie guruhi.[3] Unda asosiy guruh izomorfik guruhiga butun sonlar qo'shimcha ostida. Sifatida haqiqiy shakl a oddiy Lie guruhi uning algebrai a bo'linadigan algebra.
Ning ba'zi boshqa xususiyatlari Sp (2.)n, R):
- The eksponent xarita dan Yolg'on algebra sp(2n, R) guruhga Sp (2.)n, R) emas shubhali. Shu bilan birga, guruhning har qanday elementi ikkita elementni guruhli ko'paytirish orqali hosil bo'lishi mumkin.[4] Boshqa so'zlar bilan aytganda,
- Barcha uchun S yilda Sp (2.)n, R):
- Matritsa D. bu ijobiy-aniq va diagonal. Ularning to'plami Zs ning ixcham bo'lmagan kichik guruhini tashkil qiladi Sp (2.)n, R) Holbuki U (n) ixcham kichik guruhni tashkil qiladi. Ushbu parchalanish "Eyler" yoki "Blox-Mesih" dekompozitsiyasi sifatida tanilgan.[5] Keyinchalik simpektik matritsa xususiyatlarini o'sha Vikipediya sahifasida topish mumkin.
- Kabi Yolg'on guruh, Sp (2.)n, R) ko'p qirrali tuzilishga ega. The ko'p qirrali uchun Sp (2.)n, R) bu diffeomorfik uchun Dekart mahsuloti ning unitar guruh U (n) bilan vektor maydoni o'lchov n(n+1).[6]
Cheksiz kichik generatorlar
Simpektik Lie algebra a'zolari sp(2n, F) ular Hamilton matritsalari.
Bu matritsalar, shu kabi
qayerda B va C bor nosimmetrik matritsalar. Qarang klassik guruh lotin uchun.
Simpektik matritsalarga misol
Uchun Sp (2, R), guruhi 2 × 2 determinantli matritsalar 1, uchta simpektik (0, 1)-matrisalar:[7]
Sp (n, R)
Aniqlanishicha generatorlar yordamida juda aniq tavsifga ega bo'lishi mumkin. Agar biz ruxsat bersak nosimmetrikni belgilang matritsalar, keyin tomonidan yaratilgan qayerda
ning kichik guruhlari [8]173 bet [9]2-bet.
Simpektik geometriya bilan aloqasi
Simpektiv geometriya o'rganishdir simpektik manifoldlar. The teginsli bo'shliq simpektik manifoldning istalgan nuqtasida a simpektik vektor maydoni.[10] Yuqorida ta'kidlab o'tilganidek, simpektik vektor makonining konvertatsiyasini saqlovchi tuzilma a hosil qiladi guruh va bu guruh Sp (2.)n, F), bo'shliq o'lchamiga va maydon u belgilanadi.
Simpektik vektor makonining o'zi simpektik ko'p qirrali. Ostida o'zgarish harakat simpektik guruhning a-ning chiziqli versiyasidir simplektomorfizm bu simpletik manifolddagi transformatsiyani saqlaydigan umumiy tuzilishdir.
Sp (n)
The ixcham simpektik guruh[11] Sp (n) ning kesishishi hisoblanadi Sp (2.)n, C) bilan unitar guruh:
Ba'zan shunday yoziladi USp (2n). Shu bilan bir qatorda, Sp (n) ning kichik guruhi sifatida tavsiflanishi mumkin GL (n, H) (teskari kvaternionik matritsalar) standartni saqlaydi hermit shakli kuni Hn:
Anavi, Sp (n) faqat quaternionic unitar guruh, U (n, H).[12] Darhaqiqat, ba'zida uni giperunitar guruh. Shuningdek, Sp (1) - normaning kvaternionlar guruhi 1, ga teng SU (2) va topologik jihatdan a 3-sfera S3.
Yozib oling Sp (n) bu emas oldingi qism ma'nosidagi simpektik guruh - bu degeneratsiya qilinmagan skew-nosimmetriklikni saqlamaydi H-tizimli shakl yoqilgan Hn: nol shakldan tashqari bunday shakl yo'q. Aksincha, bu kichik guruh uchun izomorfdir Sp (2.)n, C), va shuning uchun ikki baravar yuqori o'lchovli vektor maydonida murakkab simpektik shakl saqlanib qoladi. Quyida aytib o'tilganidek, algebra Sp (n) ixchamdir haqiqiy shakl murakkab simpektik Lie algebra sp(2n, C).
Sp (n) (haqiqiy) o'lchovli haqiqiy Lie guruhi n(2n + 1). Bu ixcham, ulangan va oddiygina ulangan.[13]
Yolg'on algebra Sp (n) kvaternionik tomonidan berilgan qiyshiq-ermitchi matritsalar, to'plami n-by-n qondiradigan kvaternionik matritsalar
qayerda A† bo'ladi konjugat transpozitsiyasi ning A (bu erda kvaternionik konjugat olinadi). Yolg'on qavsni komutator beradi.
Muhim kichik guruhlar
Ba'zi asosiy kichik guruhlar:
Aksincha, bu boshqa ba'zi guruhlarning kichik guruhidir:
Shuningdek, mavjud izomorfizmlar ning Yolg'on algebralar sp(2) = shunday(5) va sp(1) = shunday(3) = su(2).
Simpektik guruhlar o'rtasidagi munosabatlar
Har qanday kompleks, yarim semple Lie algebra bor split haqiqiy shakl va a ixcham shakl; birinchisi a murakkablashuv ikkinchisining.
Yolg'on algebra Sp (2.)n, C) bu yarim oddiy va belgilanadi sp(2n, C). Uning split haqiqiy shakl bu sp(2n, R) va uning ixcham shakl bu sp(n). Bular Yolg'on guruhlariga to'g'ri keladi Sp (2.)n, R) va Sp (n) navbati bilan.
Algebralar, sp(p, n − p)ning algebralari bo'lgan Sp (p, n − p), muddatsiz imzo ixcham shaklga teng.
Jismoniy ahamiyati
Klassik mexanika
Yilni simpektik guruh Sp (n) mumtoz fizikada Puasson qavsini saqlagan kanonik koordinatalarning simmetriyasi sifatida paydo bo'ladi.
Tizimini ko'rib chiqing n ostida rivojlanayotgan zarralar Xemilton tenglamalari kimning pozitsiyasi fazaviy bo'shliq ma'lum bir vaqtda ning vektori bilan belgilanadi kanonik koordinatalar,
Guruh elementlari Sp (2.)n, R) ma'lum ma'noda, kanonik o'zgarishlar ushbu vektorda, ya'ni ular formasini saqlab qolishadi Xemilton tenglamalari.[14][15] Agar
yangi kanonik koordinatalar, keyin vaqt hosilasini bildiruvchi nuqta bilan,
qayerda
Barcha uchun t va barchasi z fazaviy fazoda.[16]
A uchun maxsus holat Riemann manifoldu, Xemilton tenglamalari geodeziya ushbu manifoldda. Koordinatalar yashash teginish to'plami ko'p qirrali va momentga yashash kotangens to'plami. Bu ularning shartli ravishda yuqori va pastki ko'rsatkichlar bilan yozilishining sababi; bu ularning joylashgan joylarini ajratib ko'rsatishdir. Tegishli Hamiltonian faqat kinetik energiyadan iborat: shundaydir qayerda ning teskari tomoni metrik tensor Riemann manifoldida.[17][15] Har qanday Riemanninan manifoldining kotangens to'plami $ a $ ning alohida holatidir simpektik manifold.
Kvant mexanikasi
Ushbu bo'lim uchun qo'shimcha iqtiboslar kerak tekshirish.Oktyabr 2019) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) ( |
Tizimini ko'rib chiqing n zarralar kimning kvant holati uning holati va impulsini kodlaydi. Ushbu koordinatalar doimiy o'zgaruvchidir va shuning uchun Hilbert maydoni, unda davlat yashaydi, cheksiz o'lchovlidir. Bu ko'pincha ushbu vaziyatni tahlil qilishni qiyinlashtiradi. Muqobil yondashuv - ostida pozitsiya va impuls operatorlari evolyutsiyasini ko'rib chiqish Geyzenberg tenglamasi yilda fazaviy bo'shliq.
Ning vektorini tuzing kanonik koordinatalar,
The kanonik kommutatsiya munosabati shunchaki sifatida ifodalanishi mumkin
qayerda
va Menn bo'ladi n × n identifikatsiya matritsasi.
Ko'pgina jismoniy holatlar faqat kvadratikani talab qiladi Hamiltonliklar, ya'ni Hamiltonliklar shaklning
qayerda K a 2n × 2n haqiqiy, nosimmetrik matritsa. Bu foydali cheklov bo'lib chiqadi va bizga qayta yozishga imkon beradi Geyzenberg tenglamasi kabi
Ushbu tenglamani echish uchun kanonik kommutatsiya munosabati. Ushbu tizimning vaqt evolyutsiyasi an ga teng ekanligini ko'rsatish mumkin harakat ning haqiqiy simpektik guruh, Sp (2.)n, R), fazaviy bo'shliqda.
Shuningdek qarang
- Ortogonal guruh
- Unitar guruh
- Proektiv unitar guruh
- Simpektik kollektor, Simpektik matritsa, Simpektik vektor maydoni, Simpektik vakillik
- Hamilton mexanikasi
- Metaplektik guruh
- Θ10
Izohlar
- ^ "Simpektik guruh", Matematika entsiklopediyasi 2014 yil 13-dekabrda olingan.
- ^ Zal 2015 3.25
- ^ "Sp simpektik guruhi (2)n, R) oddiymi? ", Stack Exchange 2014 yil 14-dekabrda olingan.
- ^ "Sp uchun eksponent xarita bormi (2)n, R) sur'yektivmi? ", Stack Exchange 2014 yil 5-dekabrda olingan.
- ^ "Seramini va Adessoning mahalliy operatsiyalari bo'yicha multimodli Gauss davlatlarining standart shakllari va chigal muhandisligi", 2015 yil 30-yanvarda olingan.
- ^ "Simpektik geometriya - Arnol'd va Givental", 2015 yil 30-yanvarda olingan.
- ^ Simpektik guruh, (manba: Wolfram MathWorld ), 2012 yil 14 fevralda yuklab olingan
- ^ Jerald B. Folland. (2016). Faza fazosidagi harmonik tahlil. Princeton: Princeton Univ Press. p. 173. ISBN 1-4008-8242-7. OCLC 945482850.
- ^ Xabermann, Katarina, 1966- (2006). Simpektik Dirac operatorlariga kirish. Springer. ISBN 978-3-540-33421-7. OCLC 262692314.CS1 maint: bir nechta ism: mualliflar ro'yxati (havola)
- ^ "Ma'ruza matnlari - 2-ma'ruza: Simpektik kamaytirish", 2015 yil 30-yanvarda olingan.
- ^ Zal 2015 1.2.8-bo'lim
- ^ Zal 2015 p. 14
- ^ Zal 2015 13.12
- ^ Arnold 1989 yil klassik mexanikaning keng matematik sharhini beradi. 8-bobga qarang simpektik manifoldlar.
- ^ a b Ralf Ibrohim va Jerrold E. Marsden, Mexanika asoslari, (1978) Benjamin-Kammings, London ISBN 0-8053-0102-X
- ^ Goldstein 1980 yil, 9.3-bo'lim
- ^ Yurgen Jost, (1992) Riemann geometriyasi va geometrik tahlil, Springer.
Adabiyotlar
- Arnold, V. I. (1989), Klassik mexanikaning matematik usullari, Matematikadan aspirantura matnlari, 60 (ikkinchi tahr.), Springer-Verlag, ISBN 0-387-96890-3
- Hall, Brian C. (2015), Yolg'on guruhlari, yolg'on algebralari va vakolatxonalari: Boshlang'ich kirish, Matematikadan magistrlik matnlari, 222 (2-nashr), Springer, ISBN 978-3319134666
- Fulton, Vashington; Xarris, J. (1991), Vakillik nazariyasi, birinchi kurs, Matematikadan aspirantura matnlari, 129, Springer-Verlag, ISBN 978-0-387-97495-8.
- Goldshteyn, H. (1980) [1950]. "7-bob". Klassik mexanika (2-nashr). MA o'qish: Addison-Uesli. ISBN 0-201-02918-9.
- Li, J. M. (2003), Smooth manifoldlarga kirish, Matematikadan aspirantura matnlari, 218, Springer-Verlag, ISBN 0-387-95448-1
- Rossmann, Vulf (2002), Yolg'on guruhlari - Lineer guruhlar orqali kirish, Oksford matematikasi bo'yicha magistrlik matni, Oksford ilmiy nashrlari, ISBN 0-19-859683-9
- Ferraro, Alessandro; Olivares, Stefano; Parij, Matteo G. A. (2005 yil mart), "Gauss davlatlari doimiy o'zgaruvchan kvant ma'lumotlarida", arXiv:kvant-ph / 0503237.