[ Pobierz całość w formacie PDF ]
.2 modelucechowania o grupie SU(n) i dubletem pól skalarnych, z ich pomocÄ… można zbudować teoriÄ™ cechowania o dowolnejzwartej grupie Liego i dowolnÄ… reprezentacjÄ… pól skalarnych.4.4 Równania pola.Otrzymamy teraz równania pola dla pól cechowania oraz pól materii w nieabelowych teoriach cechowania.Rozpatrzymyprzypadek prostej grupy cechowania i pola skalarnego, przeksztaÅ‚cajÄ…cego siÄ™ wedÅ‚ug reprezentacji nieprzywiedlnej.DziaÅ‚anie dla takiego ukÅ‚adu ma postać :S = SA + SÆ (4.49)Gdzie :SA = +" dx4 ( - ¼ Faµ½ Faµ½ ) ; Faµ½ = "µ Aa½ - "½ Aaµ + gCabc Abµ Ac½ (4.50)SA = +" dx4 [ (DµÆ) ( DµÆ) m2Æ Æ » (Æ Æ )2 ] (4.51)Dµ Æ = "µÆ ig TaAaµ Æ (4.52)SamooddziaÅ‚ywanie pola skalarnego wybraliÅ›my w najprostszej postaci (Æ Æ )2.Przyjmiemy, że Ta to hermitowskie generatory w reprezentacji T.Na poczÄ…tku rozpatrzymy wariacje dziaÅ‚ania SA wzglÄ™dem pól rzeczywistych Aaµ , przyprowadzi nas ona do równaÅ„ dlapola cechowania w przypadku braku pól materii.Otrzymujemy :´SA = +" dx4 ( - ½ Faµ½ ´Faµ½ ) (4.53)gdzie :´Faµ½ = "µ ´Aa½ - "½ ´Aaµ + gCabc Abµ ´Ac½ + gCabc ´Abµ Ac½Zauważmy, że druga i czwarta skÅ‚adowa w powyższym wyrażeniu różniÄ… siÄ™ od pierwszej i trzeciej zamiana µ ”! ½ izamianÄ… znaku.WykorzystujÄ…c ten fakt oraz antysymetriÄ™ tensora Faµ½ wzglÄ™dem indeksów µ, ½ dla (4.53) możemy zapisać :SA = +" dx4 [ - Faµ½ ( "µ ´Aa½ + gCabc Abµ ´Ac½ ) ]PierwszÄ… skÅ‚adowÄ… możemy scaÅ‚kować przez części, drugÄ… przemianujemy indeksy a, b, c i wykorzystamy antysymetriÄ™Cabc.W wyniku tego otrzymamy :SA = +" dx4 [ "µ Faµ½ + gCabc Abµ Fcµ½ ] ´Aa½ (4.54)SkÄ…d otrzymujemy równania dla pól cechowania bez materii :"µ Faµ½ + gCabc Abµ Fcµ½ = 0 (4.55)Przypominam, że tensor Fµ½ przeksztaÅ‚ca siÄ™ wedÅ‚ug doÅ‚Ä…czonej reprezentacji grupy cechowania.Dlatego pochodna kowariantna dla niego jest równa ( zobacz (4.47), indeksy lorentzowskie dla Fµ½ nie sÄ… istotne ) :( Dµ F»Á )a = "µ Fa»Á + gCabc Abµ Fc»Á (4.56)Odpowiednio zatem równanie pola (4.55) możemy przepisać nastÄ™pujÄ…co :( Dµ F»Á )a = 0 (4.57)Zauważmy, że lewa część tego równania przeksztaÅ‚ca siÄ™ kowariantnie ( wedÅ‚ug reprezentacji doÅ‚Ä…czonej ) przyprzeksztaÅ‚ceniach cechowania.Równanie (4.57) i tożsamość (4.58) sÄ… to nieabelowe analogi równaÅ„ Maxwella w elektrodynamice.Jednakże wodróżnieniu od równaÅ„ Maxwella, równania nieabelowe (4.57) i (4.58) oprócz tensora natężenia zawierajÄ… równieżpotencjaÅ‚ wektorowy Aaµ , jest to oczywiste z (4.56).Zauważmy również, że pochodna kowariantna (4.58) może byćzapisana w postaci macierzowej :DµF»Á = "µF»Á + [ Aµ , F»Á ]gdzie : F»Á = ig ta Fa»ÁRozpatrzmy teraz wariacje dziaÅ‚ania SÆ wzglÄ™dem pól Aaµ.UwzglÄ™dnimy przy tym to, że z (4.52) wynika, że :(Dµ Æ) = "µÆ + ig Aaµ Æ Ta (4.59)tak wiÄ™c :´ ( Dµ Æ) = ig Æ Ta ´Aaµ (4.60)( przyjmujemy, że Æ jest kolumnÄ…, a odpowiednio Æ - wierszem ; na Æ macierze hermitowskie Ta dziaÅ‚ajÄ…prawostronnie, ta wiÄ™c (4.60) jest równaniem wierszowym )´ ( Dµ Æ) = - ig Ta Æ´Aaµdlatego :´SÆ = +" dx4 [ ( Dµ Æ) ( -igTa Æ) + igÆ Ta D½ Æ ] ´Aa½Wprowadzimy nastÄ™pujÄ…cy prÄ…d :ja½ = - i [ Æ Ta D½ Æ - ( D½ Æ) Ta Æ ] (4.61)Wtedy :´SÆ = +" dx4 ( -g ja½ ) ´Aa½Po uwzglÄ™dnieniu (4.54) otrzymamy to, że wymaganie równoÅ›ci zeru wariacji caÅ‚kowitego dziaÅ‚ania ( SA + SÆ ) prowadzido równania pola cechowania w obecnoÅ›ci pól materii :( Dµ Fµ½ )a = g ja½ (4.62)które jest analogiczne do równania Maxwella dla elektrodynamiki z polami materii.***************************************************************************************************Fragment 3[ Kwantowa teoria pola L.H.Ryder Cambridge University Press 1985 ]3.6 Geometria pól cechowania.Na poczÄ…tku przepiszemy wzór opisujÄ…cy obrót izowektora w izoprzestrzeni o kÄ…t › :Æ ’! Æ = Æ › × Æ›››Zależność ta jest infinitezymalnÄ… formÄ… prawa przeksztaÅ‚cenia :Æ ’! Æ = exp ( iI " › ) Æ (3.143)›››gdzie I generatory macierzowe o postaci :przy czym, jak Å‚atwo zauważyć ich elementy macierzowe wyrażajÄ… siÄ™ w nastÄ™pujÄ…cy sposób :( Ii )mn = -i µimn (3.145)gdzie : µimn standardowy symbol Leviego-CivityRozkÅ‚ad zależnoÅ›ci (3.143) wzglÄ™dem potÄ™g › daje ( wzglÄ™dem powtarzajÄ…cych siÄ™ indeksów prowadzimy sumowanie ):Æ m = (1 + i Ii ›i )mn Æn = ( ´mn + µimn ›i ) Æn = Æm µimn ›i Æn = ( Æ - › × Æ )m- ›- ›- ›co pokrywa siÄ™ z (3.119).Niech teraz › zależy od xµ.Zależność (3.143) zapiszemy obecnie w postaci :›››Æ ’! Æ = exp[ iI " ›(x)] Æ = S(x) Æ (3.146)›››Macierze I sÄ… reprezentacja generatorów grupy O(3) [ lub SU(2) ], a zatem, speÅ‚niajÄ… zależnoÅ›ci komutacyjne o postaci :[ Ii , Ij ] = iµijk Ik = Cijk Ik (3.147)Zależność ta utożsamia wielkoÅ›ci iµijk ze staÅ‚ymi strukturalnymi Cijk grupy SU(2)
[ Pobierz całość w formacie PDF ]