Wprowadzenie do modelu standardowego cz astek elementarnych

Transkrypt

1 Wprowadzenie do modelu standardowego cz astek elementarnych Krzysztof Golec Biernat Instytut Fizyki Ja drowej PAN w Krakowie 15 września 2011 Wersja robocza nie do dystrybucji Kraków 2003/04

2

3 Spis treści 1 Model standardowy Bozony pośrednicz ace Elementarna materia fermionowa Bozon Higgsa Geometria czasoprzestrzeni Przekształcenia Lorentza Tensory i ich niezmienniki Pseudotensor ǫ Generatory przekształceń Lorentza Reprezentacje spinorowe grupy Lorentza Równanie Kleina-Gordona Nierelatywistyczne równanie falowe Relatywistyczne równanie falowe Równanie Diraca Wyprowadzenie Diraca Równania Weyla Niezmienniczość Lorentza równania Diraca Bispinory Diraca Bispinorowa transformacja Lorentza Bispinory Diraca a spinory Weyla Dwuliniowe kombinacje spinorowe Spinory chiralne Chiralność a skŗetność Odbicie przestrzenne bispinora Sprzȩżenie ładunkowe Równanie Majorany 44 3

4 4 Spis treści 6.1 Spinory Majorany Reprezentacja Majorany Cza stki o spinie Rozwi azanie klasyczne Pole kwantowe Przestrzeń stanów wielocz astkowych Operacje symetrii Zespolone pole skalarne Operator ładunku i transformacja cechowania Propagator Feynmana Stuckelberga Pola versus cz astki Cza stki o spinie 1/ Rozwi azanie klasyczne Fermionowe pola kwantowe Stany wielocz astkowe i operacje symetrii Fermionowy propagator Feynmana Pola oddziaływuja ce Formalizm Lagrange a Formalizm Hamiltona i kwantowanie kanoniczne Formalizm Largange a dla pól klasycznych Twierdzenie Noether a pr ady Globalne symetrie cechowania Symetria izospinowa Grupa SU Oddziaływania nukleonów z pionami Piony jako bozony Goldstona Twierdzenie Goldstona Spontaniczne łamanie symetrii chiralnej Lokalna symetria cechowania Pole elektromagnetyczne Pole wektorowe z mas a Pole Yanga Millsa Nieabelowy tensor natȩżeń Podsumowanie Oddziaływania elektrosłabe 95

5 Spis treści Pola chiralne a masy fermionów Pola materii i transformacje cechowania Pr ady naładowane Pr ady neutralne Relacje dla k ata Weinberga Podsumowanie Mechanizm Higgsa Spontaniczne łamanie lokalnej symetrii cechowania Masa bozonów pośrednicz acych Lagranżjan Higgsa w cechowaniu unitarnym Fenomenologia oddziaływań elektrosłabych Teoria Fermiego Masy naładowanych leptonów Masy kwarków Masy neutrin Generacje i mieszanie K at mieszania Cabibbo Macierz mieszania CKM Liczba parametrów macierzy CKM Podsumowanie Oddziaływania silne Lagranżjan chromodynamiki Ładunki kolorowe kwarków Ładunki kolorowe gluonów

6 Rozdział 1 Model standardowy Identyczne cza stki kwantowe sa nierozróżnialne, dlatego najbardziej podstawowym podziałem cza stek elementarnych jest podział na: - bozony: cza stki podlegaja ce statystyce Bosego Einsteina w danym stanie kwantowym może znajdować sie dowolna liczba bozonów o spinie całkowitym 0,1,2,..., - fermiony: cza stki podlegaja ce statystyce Fermiego Diraca w danym stanie kwantowym może znajdować sie co najwyżej jeden fermion o spinie połówkowym 1 2, 3 2, 5 2,... Zwia zek mie dzy spinem cza stek a statystyka jest fundamentalnym wynikiem kwantowej teorii pola, zgodnym z obserwacjami. Symetria, która pozwala ła czyć bozony i fermiony w jeden stan kwantowy multiplet nazywa sie supersymetria. 1.1 Bozony pośrednicza ce Obecnie identyfikuje sie cztery fundamentalne oddziaływania przenoszone przez wymienione poniżej bozony pośrednicza ce: Oddziaływanie Bozony pośrednicza ce Spin Masa elektromagnetyczne 1 foton 1 0 słabe 3 bozony W +,W,Z 0 1 masowe silne 8 gluonów 1 0 grawitacyjne 1 grawiton 2 0 Do chwili obecnej nie skonstruowano konsystentnej kwantowej teorii grawitacji, wie c grawiton jest tylko hipotetycznym bozonem pośrednicza cym pojawiaja cym sie w wyniku "naiwnego" skwantowania klasycznej teorii grawitacji ogólnej teorii wzgle dności. Od tej chwili skoncentrujemy sie wyła cznie na pierwszych trzech oddziaływaniach, ignoruja c efekty grawitacyjne. Być może jest to 6

7 1.1 Bozony pośrednicza ce 7 bła d, który może mieć istotne konsekwencje dla konstrukcji teorii zunifikowanych oddziaływań, niemniej jednak uważa sie, że przy obecnie badanym zakresie energii grawitacja nie odgrywa istotnej roli. Ważna cecha odróżniaja ca fotony od reszty bozonów pośrednicza cych jest to, iż nie oddziaływuja one same z soba. Pozostałe bozony pośrednicza ce oddziaływuja mie dzy soba ale tylko w ramach danego oddziaływania tzn. bozony słabe nie oddziaływuja bezpośrednio z gluonami. Model standardowy cza stek elementarnych ła czy trzy pierwsze oddziaływania w jeden schemat opisu oparty o nieprzemienna nieabelowa grupe cechowania U1 SU2 SU3, 1.1 gdzie grupa U1 SU2 jest zwia zana z oddziaływaniami elektromagnetycznymi i słabymi, a SU3 z oddziaływaniami silnymi. Każda z grup wnosi niezależna stala sprze żenia określaja ca sile poszczególnych oddziaływań. Teorie oddziaływań elektrosłabych nazywa sie teoria Weinberga Salama, natomiast chromodynamika kwantowa QCD jest teoria oddziaływań silnych. W ramach tego schematu bozony pośrednicza ce sa opisywane wektorowymi polami cechowania skojarzonymi z generatorami poszczególnych grup. I tak - pole cechowania fotonu jest skojarzone z generatorem grupy U1: 1 - pola cechowania trzech bozonów słabych sa skojarzone z generatorami grupy SU2, macierzami Pauliego: σ 1, σ 2, σ 3 - pola cechowania ośmiu gluonów sa zwia zane z generatorami grupy SU3, macierzami Gell-Manna: λ 1,λ 2,...,λ 8. Jak zobaczymy w trakcie wykładu, w rzeczywistości pola cechowania odpowiadaja ce generatorom 1 oraz σ 3 sa ze soba zmieszane by otrzymać bezmasowy foton γ i masowe Z 0. Dlatego zwykle mówi sie o oddziaływaniu elektrosłabym, ktorego bozonami pośrednicza cymi sa : W ±,Z 0 oraz γ. W zwia zku z istnieniem trzech różnych oddziaływań i odpowiadaja cym im trzem różnym stałym sprze żenia 1 rozważa sie idee wielkiej unifikacji. Mianowicie, przy energiach dużo wyższych niż osia galne obecnie w eksperymentach akceleratorowych istnieje tylko jedno oddziaływanie oprócz grawitacyjnego opisywane przez szersza grupe G wnosza ca tylko jedna stała sprze żenia taka, że U1 SU2 SU3 G. 1.2 Pola cechowania nowej grupy odpowiadaja bozonom pośrednicza cym nowego oddziaływania. Zwykle przyjmuje sie, że energia przy której pojawia sie unifikuja ce oddziaływanie jest rze du GeV. Przy obecnie badanym zakresie energii rze du 10 3 GeV grupa wielkiej unifikacji jest spontanicznie złamana do grupy modelu standardowego. Przykładem grupy unifikuja cej jest G = SU5 z 24 bozonami pośrednicza cymi. Prowadzi ona do rozpadu swobodnego protonu. 1 Jak zobaczymy, w rzeczywistosci stałe sprze żenia nie sa stalymi gdyż zależa od charakterystycznej skali energii, przy której badamy interesuja ce nas oddziaływania.

8 8 Rozdział 1 Model standardowy 1.2 Elementarna materia fermionowa Elementarna materia fermionowa o spinie 1 2 dzieli sie na: - leptony: oddziaływuja tylko elektrosłabo; sa bezpośrednio obserwowane w asymptotycznych stanach pocza tkowych lub końcowych procesów rozproszeniowych - kwarki: oddziaływuja elektrosłabo i silnie; nie sa bezpośrednio obserwowane w stanach asymptotycznych, sa uwie zione w hadronach. Hadrony to bezpośrednio obserwowane cza stki oddziaływuja ce silnie i elektrosłabo, zbudowane z elementarnych kwarków. I tak, mamy dwa rodzaje hadronów: - mezony to bozony be da ce stanami zwia zanymi pary kwark-antykwark qq, - bariony to fermiony be da ce stanami zwia zanymi trzech qqq lub, być może, pie ciu qqqqq kwarków. Kwarki niosa ułamkowe wartości ładunku elektrycznego elektronu, a także posiadaja ładunki kolorowe, zwia zany z grupa cechowania SU3. Bezpośrednio obserwowane hadrony nie niosa jednak ładunku kolorowego, gdyż układy kwarków tworza cych hadrony znajduja sie w stanach singletowych białych ze wzgle - du na transformacje grupy SU3. To zjawisko nazywane jest uwie zieniem. Inna ważna cecha oddziaływań kwarków jest asymptotyczna swoboda: na małych odległościach kwarki zachowuja sie jak cza stki swobodne, podczas gdy przy zwie kszaniu odległości siła oddziaływań miedzy nimi rośnie. W Modelu Standardowym leptony i kwarki ła czone sa w multiplety ze wzgle du na transformacje SU2. I tak, mamy do czynienie z trzema multipletami generacjami: - dla leptonów νel νµl ντl e L µ L τ L 1.3 e R µ R τ R - dla kwarków ul cl tl d L s L b L 1.4 u R, d R c R, s R t R, b R

9 1.3 Bozon Higgsa 9 gdzie L,R oznacza skre tność, odpowiednio lewa i prawa. Zauważmy, iż prawoskre tne leptony nie maja towarzyszy sa singletami ze wzgle du na transformacje SU2, gdyż nie obserwuje sie prawoskre tnych neutrin. Ten fakt wymusza to, że prawoskre tne kwarki nie tworza multipletów pozostaja c singletami. Do wymienionych cza stek należy jeszcze dodać ich antycza stki oraz uwzgle - dnić fakt, iż kwarki istnieja w trzech różnych stanach kolorowych, rozróżnianych tylko w oddziaływaniach silnych. 1.3 Bozon Higgsa W modelu standardowym istnieje jeszcze jedna cza stka, kluczowa dla obserwowanych mas elektrosłabych bozonów pośrednicza cych oraz materii fermionowej. Ta cza stka jest bozon Higgsa o spinie 0. Jak dota d nie zaobserwowano jej przy energiach osia ganych w obecnie działaja cych akceleratorach. Uważa sie, że budowany obecnie akcelerator LHC w CERN-ie powinien umożliwić jej odkrycie. W przeciwnym wypadku trzeba be dzie w istotny sposób zmodyfikować mechanizm generowania mas w Modelu Standardowym. Podstawa opisu materii i jej oddziaływań w modelu standardowym jest kwantowa teoria pola. Jest to schemat, który ła czy zasady szczególnej teorii wzgle dności z podstawowymi zasadami mechniki kwantowej. W kwantowej teorii pola liczba cza stek nie jest zachowana, cza stki sa tworzone i niszczone. Pola kwantowe o określonych własnościach transformacyjnych wzgle dem transformacji Lorentza sa skojarzone z omawianymi cza stkami. I tak: - pole skalarne opisuje bozon Higgsa o spinie 0 - pola bispinorowe Diraca opisuja materie fermionowa o spinie pola wektorowe opisuja bozony pośrednicza ce o spinie 1. Celem tego wykładu jest wyjaśnienie pojawiaja cych sie w tym rozdziale poje ć, co pozwoli przedstawić rzeczywistość fizyczna opisywana przy pomocy modelu standardowego cza stek elementarnych.

10 Rozdział 2 Geometria czasoprzestrzeni W wykładzie zaniedbujemy zjawiska grawitacyjne, w zwia zku z tym pola kwantowe modelu standardowego sa określone na płaskiej rozmaitości zdarzeń zwanej czasoprzestrzenia Minkowskiego. Punkty zdarzenia w tej przestrzeni można sparametryzować przy pomocy współrze dnych zwia zanych z dowolnie wybranym inercjalnym układem odniesienia. Wybór układu oznacza, że wyróżniony został punkt czasoprzestrzeni O, któremu przyporza dkowane zostały współrze dne zerowe: O 0,0,0,0. Jest to zdarzenie tu i teraz wzgle dem którego obserwator inercjalny mierzy czas i odleglość w trzech wzajemnie prostopadłych kierunkach. Dowolne zdarzenie P jest scharakteryzowane przez cztery liczby: czas i trzy współrze dne przestrzenne P ct,x,y,z = x 0,x 1,x 2,x 3 x µ. 2.1 Stała c jest niezmiennicza pre dkościa światla, taka sama dla wszystkich obserwatorów inercjalnych. Po wyborze zdarzenia O czasoprzestrzeni Minkowskiego można nadać strukture czterowymiarowa przestrzenia wektorowej. Każdemu zdarzeniu P odpowiada czterowektor położenia OP o współrze dnych x µ. Dowolne dwa zdarzenia P i P sa pola czone czterowektorem x o współrze dnych x µ = x µ x µ. 2.2 Dla dowolnych dwóch czterowektorów u i w jest określony symetryczny iloczyn skalarny: gu,w = gw,u = u 0 w 0 u 1 w 1 u 2 w 2 u 3 w Przy pomocy iloczynu skalarnego można określić kwadrat odległości mie dzy dwoma dowolnymi zdarzeniami P i P rozdzielonych czterowektorem x x 2 g x, x = x 0 2 x 1 2 x 2 2 x Tak określony kwadrat odleglości nie jest dodatnio określony, w zwia zku z tym zdarzenia sa rozdzielone: 10

11 2.1 Przekształcenia Lorentza 11 - czasowo, gdy x jest wektorem czasowym: x 2 > 0 - przestrzennie, gdy x jest wektorem przestrzennym: x 2 < 0 - leża na stożku światła, gdy x jest wektorem zerowym: x 2 = 0. Stożkiem światła zdarzenia P nazywamy zbiór wszystkich zdarzeń poła czonych z P wektorem zerowym sygnałem świetlnym. Każdy punkt P czasoprzestrzeni Minkowskiego ma swój własny stożek światła. Wszystkie zdarzenia oddzielone czasowo od punktu P leża wewna trz jego stożka światła i moga być z nim poła czone sygnałem poruszaja cym sie z pre d- kościa mniejsza niż pre dkość światła. Taki sygnał zachowuje kolejność czasowa, której nie można odwrócić poprzez zmiane inercjalnego układu odniesienia. Wszystkie zdarzenia oddzielone przestrzennie od punktu P leża na zewna trz jego stożka światła i nie moga być powia zane z nim przyczynowo. Gdyby istniał sygnał, który je łaczy to kolejność czasowa zdarzeń mogłaby ulec odwróceniu przy zmianie inercjalnego układu odniesienia, co prowadziłoby do zamiany skutku z przyczyna. Taki podział zdarzeń jest niezmienniczy ze wzgle du na transformacje zachowuja ce strukture przestrzeni Minkowskiego przekształcenia Lorentza. 2.1 Przekształcenia Lorentza Przekształcenia Lorentza to transforamcje czterowektorów, u = Lu, które sa liniowe Lu+w = Lu+Lw, Lαu = αlu, α R, 2.5 zachowuja iloczyn skalarny glu,lw = gu,w. 2.6 Z ostatniej własności wynika, że zachowany jest także kwadrat długości czterowektorów u 2 = gu,u. Wprowadzaja c baze kanoniczna {e µ }, możemy znaleźć współrze dne dowolnego czterowektora w tej bazie u = u µ e µ. 2.7 Z własności liniowości transformacji Lorentza u = Lu, znajdziemy: Definiuja c macierz przekształcenia Lorentza, u = u µ eµ = Lu ν e ν = u ν Le ν. 2.8 Le ν = L µ ν e µ, 2.9

12 12 Rozdział 2 Geometria czasoprzestrzeni otrzymamy prawo transformacyjne współrze dnych czterowektora u µ = L µ ν u ν Iloczyn skalarny 2.3 to symetryczna forma dwuliniowa, zadana przez składowe tensora metrycznego g µν = ge µ,e ν, gdyż gu,w = gu µ e µ,w ν e ν = u µ w ν ge µ,e ν = g µν u µ w ν Z symetrii iloczynu skalarnego g µν = g νµ. W przestrzeni Minkowskiego tensor metryczny jest diagonalny g µν = Z własności 2.6 transformacji Lorentza otrzymujemy g µν u µ w ν = gµν L µ α L ν β u α w β = g αβ u α w β Sta d naste cy zwia zek dla elementów macierzy przekształcenia Lorentza g µν L µ α L ν β = g αβ Ze wzgle du na symetrie tensora metrycznego warunki 2.14 nakładaja 10 niezależnych równań na 16 elementów macierzy L µ ν. Sta d najogólnijesze przekształcenie Lorentza ma 6 parametrów. Łatwo je znaleźć w przypadku infinitezymalnej transformacji Lorentza L µ ν = δ µ ν + ǫ µ ν Po podstawieniu do 2.14 otrzymujemy z dokładnościa do wyrazów liniowych w małych parametrach g αβ + g αν ǫ ν β + g µβ ǫ µ α = g αβ Definiuja c ǫ αβ = g αν ǫ ν β, znajdujemy bezpośrednio 6 infnitezymalnie małych parametrów tworza cych antysymetryczna macierz 4 4: ǫ αβ = ǫ βα 2.17 Warunek 2.14 można zapisać w formie macierzowej definiuja c macierz transponowana : L T µ α = L µ α Interpretuja c pierwszy wskaźnik jako numer wiersza, a drugi jako numer kolumny otrzymujemy L T g L = g Zbiór macierzy przekształceń Lorentza spełniaja cych powyższy zwia zek tworzy grupe z elementem jednostkowym L = 1 i elementem odwrotnym L 1 dla każdego przekształcenia L.

13 2.1 Przekształcenia Lorentza 13 Ćwiczenie 1 Udowodnić, że zbiór macierzy przekształceń Lorentza tworzy grupe. Obliczmy wyznacznik obu stron równania 2.19 detl T detg detl = detg. Ponieważ detl T = detl oraz detg = 1, otrzymujemy detl = ± Zapiszmy naste pnie równanie 2.14 dla składowej α = β = 0 i sta d g 00 = 1 = L L L L L = 1+L L L Tak wie c na podział wynikaja cy z równania 2.20 nakłada sie podział wynikaja cy z powyższego zwia zku L lub L Ostatecznie grupa przekształceń Lorentza dzieli sie na cztery składowe Przekształcenie Lorentza det L sgn L 0 0 właściwe ortochroniczne +1 + odbicie czasowe 1 odbicie przestrzenne 1 + odbicie zupełne +1 Właściwe ortochroniczne przekształcenia Lorentza stanowia składowa spójna grupy Lorentza, gdyż każda transformacja tej klasy może być sprowadzona do przekształcenia jednostkowego poprzez cia gła zmiane jej parametrów. Składowa ta jest izomorficzna z grupa SO1,3, składaja ca sie z rzeczywistych macierzy o wymiarze 4 4 i wyznaczniku równym 1, zachowuja cych iloczyn skalarny 2.3 o sygnaturze +. Ćwiczenie 2 Udowodnić, że transformacja x 0 x 1 = x 0 coshβ +x 1 sinhβ = x 0 sinhβ +x 1 coshβ x 2 = x 2 x 3 = x

14 14 Rozdział 2 Geometria czasoprzestrzeni jest właściwym ortochronicznym przekształceniem Lorentza oraz, że w granicy β 0 otrzymujemy przekształcenie jednostkowe. Pokazać, że jeśli układ inercjalny S porusza sie w kierunku dodatnim wzdłuż osi ˆ1 z pre dkościa v to coshβ = 1 1 v/c 2 sinhβ = v/c 1 v/c Właściwe ortochroniczne przekształcenie Lorentza opisuja zmiane współrze dnych czasoprzestrzeni zwia zana ze zmiana inercjalnego układu odniesienia. Trzy naste pne przekształcenia odpowiadaja odbiciom czasu, t t, lub odbiciom w trójwymiarowej przestrzeni, x x. Ćwiczenie 3 Podać postać przekształceń Lorentza realizuja cych odbicia składowych czasowych lub przestrzennych czterowektorów. Współzmienniczość równań fizyki wzgle dem przekształceń Lorentza wyraża zasade wzgle dności Galileusza o niemożności wyróżnienia jakiegokolwiek inercjalnego układu odniesienia. W szczególności, nie jest możliwy pomiar absolutnej pre dkości układu inercjalnego. Przekształcenie Lorentza x µ = L µ ν x ν 2.25 nie zmienia wyróżnionego punktu odniesienia O. Niejednorodne przekształcenie Lorentza, x µ = L µ ν x ν + a µ, 2.26 które przesuwa punkt odniesienia o stały wektor a µ nazywa sie przekształceniem Poincarego. Zauważmy, że w ten sposób współrze dne każdego punktu zostana przesunie te o ten sam wektor, dlatego kwadrat odległości 2.4 nie ulegnie zmianie. Jest to najogólniejsza, dziesie cioparametrowa transformacja przestrzeni Minkowskiego zachowuja ca kwadrat odległości 2.4. Do 6 parametrów jednorodnego przekształcenia Lorentza dochodza 4 dodatkowe: a µ. 2.2 Tensory i ich niezmienniki Obiekt o składowych u µ transformuja cych sie przy zmianie inercjalnego układu odniesienia tak jak czterowektor polożenia 2.25 nazywamy wektorem kontrawariantnym: u µ = L µ ν u ν Wektor kowariantny to obiekt o składowych w µ transformuja cy sie przy zmianie inercjalnego układu odniesienia przy pomocy macierzy odwrotnej L 1 : w µ = w α L 1 α µ Sumuja c zwe żaja c składowe wektora ko- i kontrawariantnego otrzymujemy niezmiennik transformacji Lorentza, gdyż w µ u µ = wα L 1 α µl µ ν u ν = w α δ α ν u ν = w α u α.

15 2.2 Tensory i ich niezmienniki 15 Wektory u µ i w µ sa przykładami tensorów, obiektów wielowskaźnikowych transformuja cych sie w sposób jednorodny. W ogólności, tensorem T typu p, q o p wskaźnikach kontrawariantnych i q wskaźnikach kowariantnych nazywamy obiekt, którego składowe transformuja sie w naste cy sposób: T µ 1...µ p ν1...ν q = L µ 1 α1...l µp α p L 1 β 1 ν 1...L 1 βq ν q T α 1...α p β 1...β q, 2.29 Niezmienniki tensorowe otrzymuje sie zwe żaja c wszystkie górne i dolne wskaźniki, na przykład dla tensora typu p,p T = T µ 1...µ p µ1...µ p, lub maja c do dyspozycji dwa tensory typu p,q i q,p T R = T µ 1...µ p ν1...ν q R ν 1...ν q µ1...µ p. Ćwiczenie 4 Pokazać, że operatory µ = x µ = x 0, x µ = = x µ x 0, x 2.30 transformuja sie jak wektory, odpowiednio, ko- i kontrawariantne. µ = L 1 ν µ ν µ = L µ ν ν Tak wie c jeśli φ jest funkcja skalarna to µ φ i µ φ sa wektorami ko- i kontrawariantnymi. Z ćwiczenia tego wynika tekże, iż operator d Alamberta, = g µν µ ν = µ µ = 2 x x 2, 2.32 jest niezmiennikiem przekształceń Lorentza. Podobnie niezmiennicze jest też równanie d Alamberta dla funkcji skalarnej: φ = 0. Zdefiniujmy tensor g µν odwrotny do tensora metrycznego g µν : g µα g αν = δ µ ν W przestrzeni Minkowskiego ma on ta sama postać 2.12 co tensor g µν. Przy pomocy obu tensorów można opuszczać i podnosić wskaźniki tensorów, utożsamiaja c na przykład wektory ko- i kontrawariantne x µ = g µν x ν, 2.34 lub x µ = g µν x ν. 2.35

16 16 Rozdział 2 Geometria czasoprzestrzeni Jeżeli w wybranym układzie wpółrze dnych x µ = x 0,x to po opuszczeniu wskaźników x µ = x 0, x. Łatwo sprawdzić, że operacja podnoszenia i opuszczania wskaźników jest dobrze określona, gdyż, na przykład, składowe x µ ze wzoru 2.34 transformuja sie jak kowariantne składowe wektora 2.28 x µ = g µν x ν = g µν L ν α x α = L 1 β µ g βα x α = x β L 1 β µ, gdzie wykorzystaliśmy własność macierzy Lorentza g µν L ν α = L 1 β µ g βα, 2.36 wynikaja ca ze wzoru Zgodnie z tym co otrzymaliśmy w poprzednim rozdziale, niezmiennicza długość czterowektora x przyjmuje naste ca postać x 2 = g µν x µ x ν = x µ x µ = x 0 2 x Bardzo ważna operacja jest rozkład tensora na sume tensorów o określonych własnościach ze wzgle du na przestawianie wskaźników. Na przykład, dowolny tensor T µν można rozłożyć na sume tensora symetrycznego i tensora antysymetrycznego: gdyż T µν = T s µν + T as µν = 1 2 T µν +T νµ T µν T νµ, T s µν = T s νµ, T as µν = T as νµ Łatwo sprawdzić, że zwe żenie tensora symetrycznego z antysymetrycznym daje zero T s µν F asµν = Ćwiczenie 5 Udowodnić własność Pseudotensor ǫ Bardzo ważnym obiektem jest całkowicie antysymetryczny pseudotensor ǫ µναβ, którego składowa ǫ 0123 = 1. Nieparzysta permutacja wskaźników zmienia wartość tensora na przeciwna 1 lub 1, natomiast permutacja parzysta nie prowadzi do zmiany wartości. Wynika sta d, że przy powtarzaja cych sie wskaźnikach składowe tensora sa równe 0. Zobaczmy jak transformuje sie ten obiekt, tzn. zbadajmy wyrażenie E µ ν α β = L µ µ L ν ν L α α L β β ǫµναβ Zauważmy, że E 0123 = detl. Ponadto obiekt E jest całkowicie antysymetryczny. Na przykład, przestawiaja c pierwsze dwa wskaźniki µ,ν otrzymamy E ν µ α β = L ν µl µ νl α αl β β ǫµναβ = L µ ν L ν µl α αl β β ǫνµαβ = E µ ν α β.

17 2.3 Generatory przekształceń Lorentza 17 Udowodniliśmy tym samym, że E ǫ, dokładniej L ν µ L µ ν L α α L β β ǫµναβ = detlǫ µ ν α β 2.41 Tak wie c przy właściwych przekształceniach Lorentza ǫ jest tensorem numerycznie niezmienniczym, natomiast przy odbiciach z detl = 1 składowe zmieniaja znak. Sta d ǫ µναβ jest pseudotensorem. Podobnie zdefiniować można całkowicie antysymetryczny tensor z dolnymi wskaźnikami ǫ µναβ = g µµ g νν g αα g ββ ǫ µ ν α β, 2.42 dla którego zachodzi ǫ 0123 = 1. Pod wpływem transformacji Lorentza L ν µ Lµ ν L α α Lβ β ǫ µναβ = detlǫ µ ν α β Ćwiczenie 6 Udowodnić prawo transformacyjne Generatory przekształceń Lorentza Dowolne właściwe ortochroniczne przekształcenie Lorentza można zapisac w postaci L = e Ω, 2.44 gdzie Ω jest macierza, której postać znajdziemy z warunku definiuja cego transformacje Lorentza: L T g L = g. Mnoża c z prawej strony przez macierz odwrotna L 1 = e Ω 2.45 otrzymamy e ΩT g = g e Ω Rozwijaja c w szereg, 1 + Ω T + 1 2! ΩT g = g 1 Ω + 1 2! Ω2 +...,, 2.47 a naste pnie porównuja c wyrażenia liniowe w Ω, otrzymujemy naste cy warunek zapewniaja cy także równość wyrażeń dowolnego wyższego rze du Ω T g = g Ω Definiuja c naste pnie macierz ω = g Ω, 2.49 znajdujemy ω T = gω T = Ω T g = g Ω = ω Tak wie c macierz ω jest antysymetryczna.

18 18 Rozdział 2 Geometria czasoprzestrzeni Znaleźliśmy w ten sposób 6 parametrów transformacji Lorentza β i φ, ω = lub odwracaja c relacje 2.48 Ω = g ω = 0 β 1 β 2 β 3 β 1 0 φ 3 φ 2 β 2 φ 3 0 φ 1 β 3 φ 2 φ β 1 β 2 β 3 β 1 0 φ 3 φ 2 β 2 φ 3 0 φ 1 β 3 φ 2 φ 1 0 Zapiszmy macierz transformacji 2.44 w postaci L = exp iβ K iφ J, 2.53 która definiuje 6 generatorów przekształceń Lorentza K oraz J. Poprzez porównanie z 2.52 znajdujemy K 1 = oraz J 1 = 0 i 0 0 i i 0 0 i 0 K 2 = J 2 = 0 0 i i i i 0 0 K 3 = J 3 = i i i 0 0 i Zauważmy, że generatory J sa macierzami hermitowskimi, natomiast K sa macierzami antyhermitowskimi: J = J K = K Bezpośrednim rachunkiem można sprawdzić, że spełnione sa naste ce reguły komutacji: [J i, J j ] = iǫ ijk J k 2.57 [J i, K j ] = iǫ ijk K k 2.58 [K i, K j ] = iǫ ijk J k, 2.59 gdzie ǫ ijk jest tensorem całkowicie antysymetrycznym z warunkiem ǫ 123 = 1. Reguły te definiuja algebre Liego grupy Lorentza SO1,3. Traktuja c macierz ω jako obiekt z dolnymi wskaźnikami ω µν g µα Ω α ν = ω νµ, 2.60

19 2.3 Generatory przekształceń Lorentza 19 możemy zidentyfikować wprowadzone parametry transformacji Lorentza jako β i = ω 0i, φ i = 1 2 ǫ ijk ω jk Umożliwia nam to zapisanie macierzy transformacji Lorenza 2.53 w formie { L = exp i 2 ω µνj µν}, 2.62 gdzie operatory J µν = J νµ. Poprzez porównanie z 2.53, znajdujemy lub po odwróceniu tych relacji K i = J 0i, J i = 1 2 ǫ ijkj jk J 0i = K i, J ij = ǫ ijk J k Pozwala to zapisać J µν jako antsymetryczna macierz z elementami be da cymi generatorami K i J J µν = 0 K 1 K 2 K 3 K 1 0 J 3 J 2 K 2 J 3 0 J 1 K 3 J 2 J Ćwiczenie 7 Udowodnić relacje 2.61 oraz Reguły 2.57 definiuja algebre Liego grupy obrotów SO3. Transformacja Lorentza L = e iφ J 2.66 generuje wie c trójwymiarowe obroty w przestrzeni euklidesowej położeń. Jest to transformacja unitarna ze wzgle du na hermitowskość generatorów J. Dodajmy, że kierunek wektora φ określa oś obrotu, a jego długość jest równa ka towi obrotu. Obliczaja c operator Casimira dla grupy obrotów otrzymujemy J 2 = J 1 2 +J 2 2 +J 3 2 = Tak wie c w podprzestrzeni położeń: J 2 = jj +1 = 2. Sta d reprezentacja wektorowa 2.44 grupy Lorentza, która tutaj dyskutujemy, opisuje spin j = 1. Ćwiczenie 8 Pokazać poprzez rozwinie cie w szereg 2.53, że transformacja z φ = φ,0,0 jest

20 20 Rozdział 2 Geometria czasoprzestrzeni obrotem wokół osi ˆ1, tzn. macierz przekształcenia Lorentza przyjmuje naste puja ca postać: Lφ = e iφj = 0 0 cosφ sinφ sinφ cosφ Udowodnić, że Lφ 1 Lφ 2 = Lφ 1 +φ 2. Przekształcenie Lorentza L = e iβ K 2.69 jest czystym pchnie ciem boostem w kierunku wektora β. Transformacja ta nie jest unitarna, gdyż generatory K sa antyhermitowskie. Powodem topologicznym jest fakt, iż grupa Lorentza nie jest grupa zwarta, w przeciwieństwie do grupy czystych obrotów euklidesowych. Ćwiczenie 9 Pokazać poprzez rowinie cie w szereg 2.69, że transformacja z β = β,0,0 jest pchnie ciem Lorentza wzdłuż osi ˆ1 w kierunku dodatnim, tzn. macierz przekształcenia Lorentza przyjmuje postać transformacji z Ćwiczenia 2: Lβ = e iβk 1 = Udowodnić, że Lβ 1 Lβ 2 = Lβ 1 +β 2. cosh β sinh β 0 0 sinh β cosh β Reprezentacje spinorowe grupy Lorentza Utwórzmy z generatorów K i J właściwej ortochronicznej grupy Lorentza naste ce kombinacje: J ± = 1 J±iK Reguły komutacji prowadza do naste cych relacji przemienności dla nowych generatorów [ ] J i +, J+ j [ ] = iǫ ijk J k + Ji, J j [ ] = iǫ ijk Jk J i +, J j = Ćwiczenie 10 Wyprowadzić relacje komutacji 2.72.

21 2.4 Reprezentacje spinorowe grupy Lorentza 21 Otrzymujemy w ten sposób dwie niezależne algebry Liego grupy SU2 z generatorami J + oraz J. Pokazaliśmy w ten sposób naste cy izomorfizm algebr grup SO1,3 = SU2 SU2, 2.73 gdzie symbol oznacza iloczyn tensorowy. Identyfikacja ta oznacza, że możemy znaleźć różnowymiarowe reprezentacje grupy SO1, 3 poprzez znane nieredukowalne reprezentacje grupy SU2. Jak wiemy sa one numerowane wartościa spinu j = 0, 1 2,1, 3 2,.... Przestrzeń liniowa tych reprezentacji jest 2j + 1 wymiarowa z wektorami bazowymi określonymi przez warunek J 3 ψ m = mψ m, m = j, j +1,... j 1, j Reprezentacje grupy Lorentza be da wie c numerowane przez pary j +, j, a odpowiadaja ca im przestrzeń reprezentacji jest 2j j + 1 wymiarowa. Kolejne reprezentacje, rosna ce wzgle dem wymiaru macierzy to 0,0, 1 2,0, 0, 1 2, 1,0, 0,1, 1 2, 1 2, Jednowymiarowa reprezentacja 0,0 jest reprezentowana przez liczbe 1, a generatory J ± i = 0. Dwie naste pne reprezentacje tworza nierównoważne dwuwymiarowe reprezentacje spinorowe grupy Lorentza, izomorficzne z grupa SU2. Generatory tej grupy, 1 2 σ i, sa zadane przez trzy macierze Pauliego σ 1 = σ 2 = 0 i i 0 σ 3 = , 2.76 które spełniaja ogólna relacje σ i σ j = δ ij + iǫ ijk σ k Wynikaja sta d naste ce relacje σi 2 = 1 i = 1,2, σ i σ j = σ j σ i i j Ćwiczenie 11 Sprawdzić, że generatory T i = 1 2 σ i spełniaja reguły komutacji dla grupy SU2 [T i, T j ] = iǫ ijk T k 2.80 Tak wie c, reprezentacji 1 2,0 odpowiadaja generatory J+ i = 1 2 σ i oraz J i = 0. Odwracaja c relacje 2.71 znajdziemy generatory grupy Lorentza: J i = 1 2 σ i K i = i 2 σ i. 2.81

22 22 Rozdział 2 Geometria czasoprzestrzeni Podobnie, dla reprezentacji 0, 1 2 generatory J+ i = 0 oraz J i = 1 2 σ i, natomiast J i = 1 2 σ i K i = i 2 σ i W obu przypadkach dwuwymiarowa przestrzeń reprezentacji jest rozpie ta na obiektach ψ m, gdzie m = 1,2. Nazywa sie je spinorami Weyla i wprowadza specjalne oznaczenie: φ1 φ α =, χ α χ 1 = 2.83 φ 2 dla odpowiednio reprezentacji 1 2,0 oraz 0, 1 2. Oznaczenia składowych spinorów: α, α = 1,2 pozwalaja skonstruować rachunek spinorowy, w analogii do rachunku tensorowego. Podstawiaja c znalezione generatory do wzoru 2.53 znajdziemy prawo transformacyjne spinorów Weyla dla przekształceń Lorentza: χ 2 φ = e i 2 φ σ+ 1 2 β σ φ χ = e i 2 φ σ 1 2 β σ χ Jak widzimy, spinory Weyla transformuja sie tak samo dla obrotów euklidesowych i różnia sie znakiem przy boostach lorentzowskich. Rozważaja c tylko obroty euklidesowe, znajdziemy macierz transformacji w postaci exp i 2 φ σ = cos 1 2 φ in σ sin 1 2 φ, 2.85 gdzie wektor φ = φn jest zadany przez ka t obrotu i jednostkowy wektor n określaja cy oś obrotu. Wynika sta d, że przy przy obrocie o ka t φ = 2π spinory zmieniaja znak! Ćwiczenie 12 Udowodnić wzór 2.85 poprzez rozwinie cie eksponenty w szereg Taylora i pogrupowanie wyrazów wzgle dem parzystości pote g rozwinie cia. Ćwiczenie 13 Udowodnić, że czterowymiarowa reprezentacja 1 2, 1 2 odpowiada reprezentacji wektorowej grupy Lorentza z poprzedniego rozdziału.

23 Rozdział 3 Równanie Kleina-Gordona Be dziemy sie starali skonstruować mechanike kwantowa jednej cza stki z symetria lorentzowska, innymi słowy pogodzić podstawowe zasady mechaniki kwantowej z warunkiem niezmienniczości relatywistycznej. Jak zobaczymy nie jest to w pełni możliwe. Musimy zrezygnować z interpretacji jednocza stkowej i dopuścić możliwość kreacji i anihilacji cza stek, z niezachowana ich całkowita liczba. Podstawowymi elementami mechniki kwantowej sa stany tworza ce przestrzeń liniowa Hilberta i działaja ce na nie operatory liniowe. W 1923 roku de Broglie wysuna ł genialna idee, by stan swobodnej cza stki materialnej opisać zespolona fala płaska, ψx,t exp{ iωt k x} = exp{ iet p x/ }, 3.1 z Einsteinowska relacja mie dzy energia i pe dem cza stki, a cze stościa i wektorem falowym fali: E = ω p = k. 3.2 Działaja c na fale materii ψ operatorami różniczkowymi: i t ψ = E ψ 3.3 i ψ = pψ 3.4 x otrzymujemy energie i pe d jako wartość własna tych operatorów. Sta d pomysł by przyporza dkować operator z równania 3.3 operatorowi energii, a operator z równania 3.4 operatorowi pe du. 3.1 Nierelatywistyczne równanie falowe Przepiszmy na pocza tek klasyczna relacje mie dzy energia i pe dem swobodnej cza stki materialnej, E = p2 2m,

24 24 Rozdział 3 Równanie Kleina-Gordona przy pomocy wprowadzonych operatorów: i t ψ = 1 i 2 ψ = 2 2 2m x 2m x 2 ψ. 3.6 Otrzymujemy w ten sposób podstawowe równanie dynamiczne nierelatywistycznej mechaniki kwantowej, równanie Schrödingera. Jego uogólnienie na przypadek cza stki oddziaływuja cej polega na dodaniu do prawej strony równania członu z klasycznym potencjałem: i t ψ = 2 2m 2 ψ + V x,tψ. 3.7 x2 Użyta procedura zwana kwantowaniem jest heureza, której słuszność może być potwierdzona tylko poprzez użyteczność otrzymanego w ten sposób równania do opisu mechaniki cza stek mikroświata. Pomnóżmy obie strony równania 3.7 przez funkcje sprze żona ψ, a równanie sprze żone zespolono, i t ψ = 2 2m 2 x 2 ψ + V x,tψ, 3.8 przez funkcje ψ. Naste pnie odejmujemy tak otrzymane równania od siebie stronami, otrzymuja c ψ ψ t + ψ t ψ = 2 ψ 2 ψ 2mi x 2 2 ψ x 2 ψ. Łatwo sprawdzić, że powyższe równanie można zapisać w naste cy sposób t ψ ψ = [ ψ ψ ] x 2mi x ψ x ψ. 3.9 Jest to równanie cia głości ρ t = j x dla dodatnio określonej ge stości ρ i pra du j: 3.10 ρ = ψ ψ 3.11 j = ψ ψ 2mi x ψ x ψ Całkuja c obustronnie równanie 3.10 po kuli o promieniu R, otrzymamy [ ] d d 3 x ρ = d 3 x j dt K R K R x = d 2 s j, 3.13 S R gdzie skorzystaliśmy w ostatniej równości z twierdzenia Stokesa. Przechodza c z R do nieskończoności i zakładaja c, że calka z ge stości istnieje funkcja falowa ψ spada dostatecznie szybko można pokazać, że prawa strona powyższego

25 3.2 Relatywistyczne równanie falowe 25 równania da ży do zera. Tak wie c udowodniliśmy, iż całka po całej przestrzeni z dodatnio określonej ge stości jest zachowana d 3 x ψ x,tψx,t = const Możemy wie c interpretować ψ ψ po unormowaniu jako ge stość prawdopodobieństwa znalezienia cza stki w przestrzeni, a całke 3.14 jako całkowite prawdopodobieństwo, zachowane w czasie. 3.2 Relatywistyczne równanie falowe Powtórzmy rozumowanie z poprzedniego rozdziału dla przypadku relatywistycznej cza stki swobodnej. Klasyczny zwia zek miedzy energia a pe dem ma w tym wypadku naste ca postać: Zaste c liczby operatorami dostaniemy i ostatecznie E 2 = p 2 c 2 +m 2 c i 2 φ = c 2 i 2 φ + m 2 c 4 φ t x 1 2 φ c 2 t 2 2 φ x 2 + m2 c 2 φ = Jest to relatywistyczne równanie falowe Kleina Gordona. Zbadajmy czy dopuszcza ono interpretacje probabilistyczna funkcji φ. Podobnie jak poprzednio, mnożymy równanie 3.16 przez φ, a jego zespolono sprzeżona wersje przez φ, a naste pnie odejmujemy tak otrzymane równania od siebie stronami otrzymuja c 1 c 2 φ 2 φ t 2 2 φ t 2 φ = φ 2 φ x 2 2 φ x 2 φ, co można zapisać w naste cy sposób φ φ t t φ t φ = [c 2 φ φ ] x x φ x φ Równanie to ma forme równania cia głości 3.10 po identyfikacji ρ = i φ φ t φ t φ 3.18 j = ic 2 φ φ x φ x φ, 3.19 gdzie czynnik zespolony i został wprowadzony by ρ i j były rzeczywiste.

26 26 Rozdział 3 Równanie Kleina-Gordona Podobnie jak w przypadku nierelatywistycznym, całka po trójwymiarowej przestrzeni z ρ jest zachowana. Nie można jej niestety interpretować probabilistycznie, gdyż ge stość 3.18 nie jest dodatnio określona i nie może być interpretowana jako ge stość prawdopodobieństwa znalezienia cza stki w przestrzeni. Podsumowuja c, relatywistyczne równanie falowe 3.16 nie prowadzi do interpretacji probablistycznej φ jako kwantowomechanicznej funkcji falowej. Jak zobaczymy w rozdziale 7, równanie Kleina Gordona odzyskuje swoje znaczenie w kwantowej teorii pola, gdzie opisuje cza stki o spinie 0.

27 Rozdział 4 Równanie Diraca 4.1 Wyprowadzenie Diraca Przyczyna, dla której nie udało sie skontruować dodatnio okrełonej ge stości sa drugie pochodne w równaniu Kleina Gordona. Dirac zaproponował naste - ce równanie pierwszego rze du w pochodnych po czasie i przestrzeni, którego kwadrat prowadzi do równania Kleina Gordona i ψ t = cα ˆp+β mc2 ψ, 4.1 gdzie ˆp = i / x jest operatorem pe du, natomiast α = α 1,α 3,α 3 oraz β sa nieznanymi na razie obiektami, które moga być nieprzemienne. Równanie to ma postać równiania Schroedingera z hamiltonianem H = cα ˆp+β mc Działaja c operatorem i / t po obu stronach równania 4.1, otrzymujemy 2 2 ψ t 2 = cα ˆp+βmc2 2 ψ. Obliczaja c kwadrat operatora po prawej stronie pamie taja c, że wyste ce tam wielkości moga być nieprzemienne, znajdujemy { 2 2 ψ t 2 = c α i α j +α j α i ˆp i ˆp j + mc 3 α i β + β α i ˆp i + β 2 m 2 c }ψ 4, 2 co prowadzi do równania Kleina-Gordona 3.16 dla funkcji ψ pod warunkiem, że α i β spełniaja zwia zki α i α j + α j α i = 2δ ij, α i β + β α i = 0, β 2 = Obiektami spełniaja cymi reguły 4.3 sa macierze o najmniejszym wymiarze 4 4, na które dodatkowo nakładamy warunek hermitowskości β = β, α = α, 4.4 tak by hamiltonian Diraca generował unitarna ewolucje czasowa. 27

28 28 Rozdział 4 Równanie Diraca W takim wypadku funkcja ψ jest obiektem czteroskładnikowym bispinorem Diraca: ψ 1 ψ ψ = 2 ψ ψ 4 Dwie najbardziej popularne reprezentacje macierzy α i β to - reprezentacja Diraca D: β = α k = 0 σ k σ k 0, 4.6 gdzie 1 jest dwuwymiarowa macierza jednostkowa, natomiast σ k sa trzema dwuwymiarowymi macierzami Pauliego 2.76, - reprezentacja chiralna β = α k = σ k 0 0 σ k. 4.7 Ćwiczenie 14 Sprawdzić, że macierze α k i β spełniaja relacje 4.3. Równanie Diraca 4.1 prowadzi do równania cia głości 3.10 z dodatnio określona ge stościa ρ = ψ + ψ i pra dem j = cψ + αψ t ψ+ ψ = cψ + αψ. 4.8 x Tym samym ψ można nadać interpretacje probabilistyczna : ψ + ψ jest ge stościa prawdopodobieństwa, a d 3 xψ + ψ jest zachowanym całkowitym prawdopodobieństwem. Ćwiczenie 15 Wyprowadzić równanie 4.8 wychodza c z równania 4.1 i korzystaja c z hermitowskości macierzy α k i β. Równanie Diraca ma dla ustalonego pe du p cztery rozwia zania w postaci fali płaskiej 3.1: dwa z dodatnia wartościa energii E = + p 2 c 2 +m 2 c 4 i dwa z ujemna wartościa energii E = p 2 c 2 +m 2 c 4. W zwia zku z istnieniem rozwia zań o ujemnej energii pojawia sie problem ich interpretacji, istnieja cy również dla równania Kleina Gordona. Cza stki o dodatniej energii oddziaływuja c z promieniowaniem powinny przechodzić do stanów o ujemnej energii wyzwalaja c ogromna ilość energii. Materia jest jednak stabilna i takich przejść sie nie obserwuje. Dirac zaproponował rozwia zanie tego problemu poprzez wypełnienie wszystkich stanów o ujemnej energii elektronami spełniaja cymi zakaz Pauliego.

29 4.2 Równania Weyla 29 W takiej sytuacji żaden elektron o dodatniej energii nie może przejść do stanu o ujemnej energii. Postuluje sie, że tak określony stan o najniższej energii próżnia Diraca nie wpływa na własności obserwowanego wszechświata maja c zerowa energie i ładunek. Na skutek oddziaływania z promieniowaniem o energii E > 2mc 2 elektrony z próżni moga byc wzbudzone do stanu o dodatniej energii. Jednocześnie próżnia, traca c ladunek e i ujemna energie, zachowuje sie jak antycza stka dziura o dodatnim ładunku e i dodatniej energii. Tak wie c foton promieniowania wykreował pare elektron-pozytron o dodatnich energiach. Podsumowuja c, sprze gnie cie równania Diraca z promieniowaniem wyprowadza poza jednocza - stkowa mechanike kwantowa poprzez procesy kreacji i anihilacji cza stek. Ich całkowita liczba nie jest zachowana. Rozwia zanie z próżnia Diraca nie stosuje sie do cza stek o spinie zero, bozonów. Nie można wie c traktować antycza stek jako dziur w próżni bozonowej. Cza stki takie jednak istnieja, sa to na przykład mezony π ±. Niezbe dny jest wie c relatywistycznie niezmienniczy opis procesów kwantowch, w którym cza stki i antycza stki sa traktowane symetrycznie, i który w sposób naturalny dopuszcza kreacje i anihilacje cza stek bez uciekania sie do tak sztucznej konstrukcji jak próżnia Diraca. Opis taki dostarcza kwantowa teoria pola. 4.2 Równania Weyla Kłada c m = 0 w równaniu 4.1 z macierzami α i β w reprezentacji chiralnej otrzymujemy dwa niezależne równania Weyla: i φ t i χ t = cσ ˆpφ = cσ ˆpχ, 4.9 gdzie φ oraz χ sa dwuskładnikowymi spinorami Weyla 2.83, co udowodnimy w rozdziale 5.1. Równania Weyla można także otrzymać zauważaja c, że m = 0 w równaniu Diraca eliminuje z rozważań β. Istotny jest wtedy tylko pierwszy ze zwia zków 4.3 dla trzech macierzy α. Jest on spełniony przez trzy dwuwymiarowe macierze Pauliego σ 2.76, gdyż z relacji 2.77 wynika σ i σ j + σ j σ i = 2δ ij Zwia zek ten jest również słuszny dla macierzy σ. Sta d otrzymujemy dwa niezależne równania 4.9. W przeciwieństwie do równania Diraca, równania Weyla nie sa one niezmiennicze wzgle dem odbić przestrzennych: x x i w zwia zku z tym zostały zaakceptowane dopiero po odkryciu łamania parzystości P przez oddziaływania słabe, opisuja c bezmasowe neutrina o określonej skre tności.

30 30 Rozdział 4 Równanie Diraca 4.3 Niezmienniczość Lorentza równania Diraca Aby znaleźć jawnie niezmiennicza postać równania Diraca pomnóżmy równanie 4.1 z lewej strony przez macierz β i β ψ t = i cβα x + mc2 ψ Wprowadźmy naste pnie macierze gamma Diraca γ µ = γ 0,γ: γ 0 = β, γ = βα Dziela c obie strony równania 4.11 przez c oraz wykorzystuja c definicje gradientu µ = ct, x, otrzymujemy naste ca postać równania Diraca iγ µ µ mc ψx = Przedyskutujmy własności macierzy gamma. Korzystaja c z relacji 4.3 otrzymujemy naste ce reguły antykomutacji γ µ γ ν +γ ν γ µ = 2g µν gdzie g µν = diag1, 1, 1, 1. Macierze β i α sa hermitowskie, a wie c dla macierzy gamma zachodzi co prowadzi do ogólnej relacji γ 0 = γ 0 γ k = γ k 4.15 γ µ = γ 0 γ µ γ Dla dwóch najbardziej popularnych reprezentacji 4.6 i 4.7 znajdujemy: - reprezentacja Diraca D: γ 0 D = γ k D = 0 σ k σ k reprezentacja chiralna C: γ 0 C = γ k C = 0 σ k σ k W 3+1 wymiarach wszystkie reprezentacje macierzy gamma sa unitarnie równoważne. Na przykład, dla powyższych reprezentacji istnieje unitarna macierz U taka, że zachodzi γ µ D = U γµ C U. 4.19

31 4.3 Niezmienniczość Lorentza równania Diraca 31 Ćwiczenie 16 Pokazać, że unitarna macierz transformacji we wzorze 4.19 to U = Po tym przygotowaniu możemy powrócić do głównego problemu. Równanie 4.13 jest niezmiennicze wzgle dem właściwych ortochronicznych przekształceń Lorentza pod warunkiem, że ψ transformuje sie w naste cy sposób ψ x = SLψx, 4.21 gdzie SL jest nieosobliwa, czterowymiarowa macierza, niezależna od punktów czasoprzestrzeni. Aby znaleźć postać tej macierzy pomnóżmy 4.13 przez SL z lewej strony oraz wykorzystajmy zwia zek µ = L α µ α, isγ µ S 1 L α µ }{{} α mc ψ x = Otrzymane równanie ma postać równania Diraca w zmiennych primowanych pod warunkiem, że podkreślone wyrażenie jest równe γ α, SΛγ µ S 1 ΛL α µ = γ α Innymi słowy, macierze S musza spełniać równoważna relacje S 1 Lγ α SL = L α µ γ µ Wzór ten definiuje reprezentacje bispinorowa grupy Lorentza, gdyż dla dowolnych przekształceń Lorentza L 1, L 2 zachodzi SL 1 SL 2 = SL 1 L Ćwiczenie 17 Udowodnić relacje 4.25 i pokazać, że zbiór macierzy SL tworzy reprezentacje grupy Lorentza. W naste pnym rozdziale skonstruujemy macierze SL, które spełniaja zwia zek 4.24, warunkuja cy niezmienniczość Lorentza równania Diraca. Tym samym, znajdziemy prawo transformacyjne dla bispinorów Diraca.

32 Rozdział 5 Bispinory Diraca 5.1 Bispinorowa transformacja Lorentza Poszukajmy macierz SL, ktoa spełnia zwia zek 4.24, w naste cej postaci { SL = exp i 4 ω µν σ µν}, 5.1 gdzie ω µν = ω νµ sa 6-oma rzeczywistymi parametrami 2.61 transformacji Lorentza, natomiast σ µν = σ νµ 5.2 jest układem 6-u macierzy 4 4, których postać chcemy znaleźć. Rozważmy w tym celu infinitezymalne przekształcenie Lorentza 2.15, dla którego ω µν = ǫ µν 1. Odpowiadaja ca mu macierz spinorowa to S = 1 i 4 ǫ µν σ µν S 1 = 1+ i 4 ǫ µν σ µν. 5.3 Po podstawieniu do warunku 4.24 otrzymujemy 1+ i 4 ǫ µν σ µν γ α 1 i 4 ǫ µν σ µν = δ α ν +ǫ α νγ ν. 5.4 Porównuja c wyrażenia pierwszego rze du w ǫ po obu stronach, dostajemy [γ α, σ µν ] = 2ig αµ γ ν g αν γ µ. 5.5 Warunek antysmetrii 5.2 prowadzi do wniosku, że σ µν = c[γ µ,γ ν ]. Współczynnik proporcjonalności c wyznaczymy z warunku 5.5. Policzmy 1 c [γα, σ µν ] = γ α γ µ γ ν γ ν γ µ γ µ γ ν γ ν γ µ γ α = γ α γ µ γ ν γ µ γ ν γ α }{{} γα γ ν }{{} γµ γ ν γ µ γ α = γ α γ µ +γ ν γ α γ ν 2g αν γ µ + γ ν γ α γ µ +γ µ γ α 2g αν γ µ = 4g αµ γ ν 4g αν γ µ

33 5.1 Bispinorowa transformacja Lorentza 33 Sta d znajdujemy 4c = 2i i ostatecznie σ µν = i 2 [γµ,γ ν ]. 5.7 Korzystuja c z relacji 4.16 łatwo udowodnić zwia zek σ µν = γ 0 σ µν γ 0, 5.8 który zapisać można dla składowych σ 0i = σ 0i, σ ik = σ ik. 5.9 Ćwiczenie 18 Udowodnić relacje 5.8 i 5.9. Porównuja c postać 5.1 transformacji Lorentza z postacia 2.62 dla transformacji wektorowej widzimy, że macierze J µν = 1 2 σµν = i 4 [γµ,γ ν ] 5.10 sa spinorowymi generatorami transformacji Lorentza. Obroty euklidesowe wokól osi ˆ1,ˆ2,ˆ3 sa generowane przez operatory S i = 1 2 ǫ ijkj jk = 1 4 ǫ ijk σ jk Ze wzgle du na warunek hermitowskości macierzy σ jk drugi ze zwiazków 5.9 jest to operator hermitowski i spinorowa transformacja obrotów euklidesowych jest realizowana przez operator unitarny. Podobnie, pchnie cia lorentzowskie wzdłuż tych samych osi sa generowane przez K i = J 0i = 1 2 σ0i = i 2 γ0 γ i Tym razem nie sa to operatory hermitowskie ze wzgle du na własność anythermitowskości macierzy σ 0i. Spinorowe operatory pchnie ć nie sa wie c operatorami unitarnymi. Generatory S i oraz K i spełniaja algebre Liego grupy Lorentza [S i, S j ] = iǫ ijk S k [S i, K j ] = iǫ ijk K k [K i, K j ] = iǫ ijk S k Macierze S i spełniaja algebre grupy trójwymiarowych obrotów. Identyfikujemy je jako operatory wewne trznego kre tu cza stki Diraca spinu. Licza c wartość spinu s z relacji { S 2 = s1+s = 1 4 σ σ σ 12 2} = 3 4, 5.14 przekonujemy sie, że spin s = 1 2 dla cza stki Diraca.

34 34 Rozdział 5 Bispinory Diraca Ćwiczenie 19 Sprawadzić, że słuszne sa relacje komutacji Znaleźć jawna postać generatorów w reprezentacji Diraca. Wprowadzaja c parametry φ oraz β zgodnie z definicja 2.61, dostaniemy dla transformacji bispinorowej Podsumujmy, że z własności 5.9 wynika SL = exp iφ S iβ K S = S, K = K Tak wie c macierz transformacji spinorowej SL jest macierza unitarna tylko dla obrotów euklidesowych. W ogólności otrzymujemy gdyż na podstawie 5.8 zachodzi S Lγ 0 = γ 0 S 1 L, 5.17 S L = e i 4 ωµν σµν = e i 4 ωµν σµν = γ 0 e i 4 ωµν σµν γ 0 = γ 0 S 1 Lγ 0. Dla obrotów euklidesowych można przestawić γ 0 w relacji 5.17 i otrzymać warunek unitarności dla genertorów obrotów S. Ćwiczenie 20 Korzystaja c ze wzoru 7.40 i relacji komutacji 5.5 pokazać, że SL = exp{ i 2 β σ01 } 5.18 generuje boost wzdłuż osi ˆ1 z pre dkościa β porównaj Ćwiczenie 9: S 1 Lγ 0 SL = γ 0 coshβ + γ 1 sinhβ S 1 Lγ 1 SL = γ 0 sinhβ + γ 1 coshβ. Ćwiczenie 21 Podobnie udowodnić, że transformacja generuje obrót w płaszczyźnie ˆ2ˆ3 o ka t φ: SL = exp{ i 2 φσ23 } 5.19 S 1 Lγ 2 SL = γ 2 cosφ γ 3 sinφ S 1 Lγ 3 SL = γ 2 sinφ + γ 3 cosφ.

35 5.2 Bispinory Diraca a spinory Weyla 35 Ćwiczenie 22 Udowodnić, że transformacja 5.19 zmienia znak przy obrocie o ka t φ = 2π. Zmiana znaku bispinora jest zwia zana z kwadratowa relacja 4.24 pomie dzy macierzami reprezentacji spinorowej grupy Lorenzta SL a przekształceniem Lorentza L. Sta d zmiana znaku SL przy obrocie o ka t 2π nie wpływa na macierz L. Spinor powraca do wyjściowej wartości dopiero po obrocie o ka t 4π. W ten sposób każdemy przekształceniu Lorentza odpowiadaja dwie macierze ±SL i reprezentacja bispinorowa dwukrotnie nakrywa grupe Lorentza. 5.2 Bispinory Diraca a spinory Weyla Interesuja cy jest zwia zek bispinorów Diraca z dwuskładnikowymi spinorami Weyla Rozważmy reprezentacje chiralna 4.18 macierzy Diraca. W reprezentacji tej generatory spinu S i boostu K sa kwasidiagonalne: S = 1 2 σ 0 0 σ K = i 2 σ 0 0 σ W takim przypadku macierz transformacji bispinorowej 5.15 przyjmuje postać SΛ = e i 2 φ σ+ 1 2 β σ 0 0 e i 2 φ σ 1 2 β σ Widzimy, że dwie górne i dwie dolne składowe bispinora Diraca w reprezentacji chiralnej, φ ψ C =, 5.22 χ transformuja sie zgodnie z regułami 2.84 dla spinorów Weyla. Sta d wynika uzasadnienie dla nazwy bispinor. Ćwiczenie 23 Korzystaja c z postaci macierzy 4.19 pokazać, że w reprezentacji Diraca zachodzi ψ D = U ψ C = 1 φ+χ φ χ 5.3 Dwuliniowe kombinacje spinorowe Zdefiniujmy najpierw macierz γ 5 γ 5 = iγ 0 γ 1 γ 2 γ

36 36 Rozdział 5 Bispinory Diraca Z relacji 4.14 i 4.16 wynikaja naste ce zwia zki: γ 5 = γ 5 γ 5 2 = 1 γ 5 γ µ +γ µ γ 5 = W reprezentacjach 4.6 oraz 4.7 macierzy Diraca, γ 5 przyjmuje naste ca postać: - reprezentacja Diraca γ 5 = reprezentacja chiralna γ 5 = Macierz γ 5 spełnia nate cy zwia zek S 1 Lγ 5 SL = detlγ Aby go udowodnić, zapiszmy γ 5 w formie γ 5 = i 4! ǫ µνµν γ µ γ ν γ α γ β, 5.29 a naste pnie rozważmy S 1 γ 5 S = i 4! ǫ µνµν S 1 γ µ γ ν γ α γ β S = i 4! ǫ µνµν S 1 γ µ SS 1 γ ν SS 1 γ α SS 1 γ β S = i 4! ǫ µνµν L µ µ L ν ν Lα α Lβ β γ µ γ ν γ α γ β = i 4! detlǫ µ ν α β γµ γ ν γ α γ β = detlγ 5. W dowodzie wpisaliśmy SS 1 = 1 pomie dzy każda z macierzy gamma, a naste - pnie wykorzystaliśmy wzór 4.24 oraz prawo transformacyjne Ćwiczenie 24 Sprawdzić relacje 5.25 oraz wyprowadzić postać 5.26 i Wzór 5.17 pozwala udowodnić, że poniższe biliniowe formy, zwane pra dami, transformuja sie odpowiednio jak skalar S, wektor V, tensor T, pseudoskalar P i pseudowektor A: S : ψψ = j j = j 5.30 V : ψγ µ ψ = j µ j µ = L µ ν j ν 5.31 T : ψ σ µν ψ = j µν j µν = L µ α L ν β j µν 5.32 P : ψ γ 5 ψ = j 5 j 5 = detlj A : ψ γ µ γ 5 ψ = j µ A j µ A = detllµ ν ja ν. 5.34