[ Pobierz całość w formacie PDF ]
.Dla badania takich globalnych zagadnieÅ„wprowadza siÄ™ wiele zaawansowanych rozdziałów współczesnej geometrii, jednakże rozwijana przez matematykówtechnika nie jest szerzej znana fizykom.2.PotencjaÅ‚y cechowania i pola.Na poczÄ…tku podamy pewne wiadomoÅ›ci z klasycznej teorii pola tak jak rozumiejÄ… je fizycy, a nastÄ™pnie podamy ichgeometrycznÄ… interpretacje.Rozpoczniemy od tego, że ustalimy pewnÄ… zwartÄ… grupÄ™ Liego G.Zazwyczaj jest to SU(2) lubSU(3), nie wykluczamy również grupy U(1).Rozpatrzmy algebrÄ™ Liego L(G) grupy G.Dla SU(2) skÅ‚ada siÄ™ ona z skoÅ›niehermitowskich n ×n macierzy o zerowym Å›ladzie.PotencjaÅ‚ cechowania jest to zbiór funkcji Aµ(x) o wartoÅ›ciach wL(G), gdzie x = ( x1 ,., x4 ) jest punktem w przestrzeni Euklidesa lub Minkowskiego,µ = 1,., 4 indeks przestrzenny.Wraz z tym potencjaÅ‚em rozpatrzmy operator :"µ = "µ + Aµgdzie "µ = "/"xµOperator ten dziaÅ‚a na funkcje wektorowÄ… ( f1(x) ,.fm(x)), jeÅ›li zadano pewnÄ… m-wymiarowÄ… reprezentacje grupy G.PrzykÅ‚adowo, dla G = SU(2) można wziąć m = n i wykorzystać reprezentacje standardowÄ…ObliczajÄ…c komutator operatorów "µ i "½ otrzymujemy pole cechowania Fµ½ zadane przez zależność :Fµ½ = [ "µ , "½ ] = "µ A½ - "½ Aµ + [ Aµ , A½ ]Gdzie [ "µ , "½ ] jest komutatorem w algebrze Liego grupy G.Ważne jest zauważyć, ze dla nieabelowej grupy G taki komutator nie jest równy zero i dlatego funkcja F jest nieliniowapo A.W przypadku G = U(1), skÅ‚adowa taka nie wystÄ™puje i otrzymujemy standardowy liniowy zwiÄ…zek miÄ™dzy polem ipotencjaÅ‚em wektorowym, charakterystyczny dla teorii Maxwella.Standardowa niejednoznaczność potencjaÅ‚u znajduje swój wyraz w przypadku ogólnym w postaci przeksztaÅ‚ceÅ„cechowania.Zgodnie z definicjÄ… przeksztaÅ‚cenie cechowania jest to funkcja g(x), przyjmujÄ…ca wartoÅ›ci w grupie G iprzeksztaÅ‚cajÄ…ca potencjaÅ‚ Aµ zgodnie ze wzorem :Aµ ’! g-1 Aµ g + g-1 "µ gCo odpowiada przejÅ›ciu od "µ do g-1"½g ( rozpatrujemy tutaj G jako grupÄ™ macierzy, tak, że "µg jest macierzÄ… zÅ‚ożonaz pochodnych ).Pole cechowania Fµ½ przeksztaÅ‚ca siÄ™ wtedy nastÄ™pujÄ…co :Fµ½ ’! g-1 Fµ½ gWażna obserwacja polega na tym, że wielkoÅ›ci Aµ przeksztaÅ‚cajÄ… siÄ™ niejednorodnie, podczas gdy wielkoÅ›ci Fµ½przeksztaÅ‚cajÄ… siÄ™ jednorodnie.Innymi sÅ‚owy Fµ½ - jest obiektem typu tensorowego, a Aµ - obiektem typu afinicznego( nie wyróżniajÄ…cym zera )Geometrycznie lub mechanicznie możemy to interpretować nastÄ™pujÄ…co.Wyobrazmy sobie czÄ…stkÄ™ o pewnej strukturze tj.czÄ…stkÄ™ znajdujÄ…cÄ… siÄ™ w punkcie x przestrzeni R4 posiadajÄ…cÄ… strukturÄ™ wewnÄ™trznÄ… lub pewien zbiór stanów numerowanyprzez elementy g grupy G.Rozpatrzmy teraz peÅ‚nÄ… przestrzeÅ„ P wszystkich stanów takiej czÄ…stki.MówiÄ…c ogólnie, wyobrażamy sobie przestrzeniewewnÄ™trzne Gx i Gy dla x `" y, jako nie tożsame i dlatego przestrzeÅ„ P przybiera obraz włókien.Jednakże w przypadku niewystÄ™powania jakiegoÅ› pola zewnÄ™trznego przyjmujemy, że wszytskie przestrzenieGx można utożsamić miÄ™dzy sobÄ…, tak że w dopeÅ‚nieniu do linii pionowych lub włókien, możemy narysować jeszcze liniehoryzontalne ( nazywane przekrojami ), otrzymujÄ…c standardowa siatkÄ™ kartezjaÅ„skÄ… :Teraz wyobrazmy sobie, że naÅ‚ożono pewne pole zewnÄ™trzne, którego dziaÅ‚anie narusza wzajemne uÅ‚ożenie włókien, tak żestaje siÄ™ nie możliwe poprzednie utożsamienie przestrzeni Gx w różnych punktach.Jednakże zakÅ‚adamy, przy tym ,żeprzestrzenie Gx i Gy caÅ‚y czas możemy utożsamić, jeÅ›li wybierzemy pewnÄ… okreÅ›lona drogÄ™ w R z punktu x do punktu y.W jÄ™zyku bardziej fizycznym, wyobrażamy sobie, że czÄ…stka porusza siÄ™ z punktu x do punktu y i przemieszczamy jejprzestrzeÅ„ wewnÄ™trznÄ… razem z niÄ….W przestrzeni Minkowskiego taki ruch nastÄ™powaÅ‚by wzdÅ‚uż linii Å›wiata czÄ…stki.Takieutożsamienie włókien wzdÅ‚uż dróg nazywa siÄ™ przeniesieniem równolegÅ‚ym.JeÅ›li teraz mamy dwie różne drogi, Å‚Ä…czÄ…cepunkty x i y, to nie ma żadnych podstaw przyjmować, że odpowiadajÄ…ce im przeniesienia równolegÅ‚e pokrywajÄ… siÄ™.ZakÅ‚adamy, że różniÄ… siÄ™ one o pewien czynnik należący do grupy czynnik ten należy rozpatrywać jako uogólnione przesuniÄ™cie fazy.Takie przesuniecie interpretowane jest jako wynik dziaÅ‚ania pola zewnÄ™trznego.W jÄ™zykugeometrycznym rozpatrujemy go jako krzywiznÄ™ lub zakrzywienie rozwłóknienia nad obszarem, ograniczonym takimidwiema drogami.PrzechodzÄ…c do nieskoÅ„czenie maÅ‚ych w stylu newtonowskim, otrzymamy infinitezymalne przeniesienie równolegÅ‚e wpunkcie x w danym kierunku.Takie infinitezymalne przesuniÄ™cie A włókna Gx w włókno sÄ…siednie nazywa siÄ™ koneksjÄ….Infinitezymalna krzywizna F zależy od pary kierunków w punkcie x i przyjmuje wartoÅ›ci w algebrze Liego grupy Gx tj.jest infinitezymalnym przesuniÄ™ciem fazy.Tak jak zwykle infinitezymalny obraz tj.koneksje, można scaÅ‚kować,otrzymujÄ…c obraz globalny przeniesienia równolegÅ‚ego wzdÅ‚uż krzywych takie dwa punkty widzenia sÄ… matematycznierównoważne
[ Pobierz całość w formacie PDF ]