Yang-Mills-Theorie




Die Yang-Mills-Theorie (nach den Physikern Chen Ning Yang und Robert L. Mills) ist eine nicht-abelsche Eichtheorie, die zur Beschreibung der starken und der schwachen Wechselwirkung herangezogen wird. Sie wurde 1954 von Yang und Mills eingeführt[1] sowie unabhängig davon um die gleiche Zeit in der Dissertation von Ronald Shaw bei dem Physiker Abdus Salam und in Japan von Ryoyu Utiyama.[2]


Dieser Artikel beschreibt vorwiegend die mathematischen Aspekte des interdisziplinären Phänomens. Die physikalischen Aspekte werden vor allem bei einem der wichtigsten Beispiele für Yang-Mills-Theorien besprochen, der Quantenchromodynamik.


Die Theorie ist im Allgemeinen nichtabelsch, also nicht kommutativ. Sie enthält jedoch auch als Spezialfall die Quantenelektrodynamik als abelsche Eichtheorie.




Inhaltsverzeichnis






  • 1 Yang-Mills-Wirkung und Feldgleichungen


  • 2 Dirac-Teilchen in der Yang-Mills-Theorie


  • 3 Offene Probleme


  • 4 Terminologie-Gegenüberstellung


  • 5 Literatur


  • 6 Einzelnachweise





Yang-Mills-Wirkung und Feldgleichungen |


Die Yang-Mills-Theorie geht von der Yang-Mills-Wirkung SYM{displaystyle mathbf {S} _{mathrm {YM} }}{mathbf  S}_{{mathrm  {YM}}} für die Eichbosonen aus:


SYM=14∫Tr⁡(∗F∧F){displaystyle mathbf {S} _{mathrm {YM} }={frac {1}{4}}int operatorname {Tr} left(*Fwedge Fright)}{displaystyle mathbf {S} _{mathrm {YM} }={frac {1}{4}}int operatorname {Tr} left(*Fwedge Fright)}


  • Die Größe F{displaystyle F}F heißt Yang-Mills-Feldstärke


  • F{displaystyle *F}*F ist die zu F{displaystyle F}F duale Yang-Mills-Feldstärke. Der Dualitätsoperator * ist bezüglich der Indizes μ und ν (s. u.) mit der Signatur des Minkowski-Raums M4{displaystyle mathbb {M} ^{4}}mathbb {M} ^{4} zu bilden, z. B. mit (+−−−). Bezüglich der Indizes a muss man entsprechend der betrachteten Gruppe vorgehen. Analoges gilt auch für die Spur Tr (Abkürzung für engl. trace). Obere und untere Indizes sowie die Reihenfolge von Doppelindizes werden durch die *-Operation vertauscht. Das Yang-Mills-Funktional kann also auch in der expliziten Form geschrieben werden:


SYM=14∫d4xFaνμνa{displaystyle mathbf {S} _{mathrm {YM} }={frac {1}{4}}int ,mathrm {d} ^{4}x,F_{a}^{nu mu }cdot F_{mu nu }^{a}}{displaystyle mathbf {S} _{mathrm {YM} }={frac {1}{4}}int ,mathrm {d} ^{4}x,F_{a}^{nu mu }cdot F_{mu nu }^{a}}

Wendet man jetzt das Prinzip der kleinsten Wirkung auf die Eichbosonenfelder in SYM{displaystyle mathbf {S} _{mathrm {YM} }}{mathbf  S}_{{mathrm  {YM}}} an, so erhält man als zugehörige Euler-Lagrange-Gleichungen die Yang-Mills-Gleichungen:


DF:=dF+gA∧F≡0{displaystyle {mathcal {D}}F:=mathrm {d} F+g,Awedge Fequiv 0}{mathcal  {D}}F:={mathrm  {d}}F+g,Awedge Fequiv 0

wobei der Term g{displaystyle sim g}{displaystyle sim g} die Yang-Mills-Ladungen enthält. Die positive Größe g{displaystyle g}g bedeutet in der Physik die Wechselwirkungskonstante.


Hier wurde die mathematische Sprache der Differentialformen verwendet, die eine kompakte Notierung erlaubt. Ebenso ist dadurch die Wirkung in Formensprache nicht auf vier Dimensionen beschränkt und kann in dieser Darstellung z. B. für eine Yang-Mills-Theorie in einem d+1{displaystyle d+1}d+1-dimensionalen Minkowskiraum mit Metriksignatur 1−d{displaystyle 1-d}1-d verwendet werden. Yang-Mills-Theorien in höheren Dimensionen und ihre supersymmetrischen Erweiterungen sind z. B. für AdS/CFT-Korrespondenz relevant.


Die Yang-Mills-Feldstärke ist durch die zweite Maurer-Cartan-Strukturgleichung definiert, die den differentialgeometrischen Zusammenhang A{displaystyle A}A (genauer gesagt dessen lokale Darstellung) eines Hauptfaserbündels (in der Physik Eichpotential bzw. Eichbosonfeld genannt) mit seiner Krümmung F{displaystyle F}F (in der Physik Feldstärke bzw. Feldstärketensor genannt) in Verbindung bringt:


F:=dA+gA∧A{displaystyle F:=mathrm {d} A+gAwedge A}F:={mathrm  {d}}A+gAwedge A

Wie oben ist




  • A{displaystyle A}A eine Lie-Algebra-wertige 1-Form über dem Hauptfaserbündel


  • F{displaystyle F}F eine Lie-Algebra-wertige 2-Form über diesem Hauptfaserbündel


  • dA{displaystyle mathrm {d} A}mathrm {d} A die äußere Ableitung


  • A∧A{displaystyle Awedge A}Awedge A das äußere Produkt von Differentialformen, das hier zwischen den A{displaystyle A}A nicht verschwindet, da die Lie-Algebra-Komponenten von A{displaystyle A}A im Allgemeinen nicht vertauschen.


Aus diesem Grunde ist die Feldform F{displaystyle F}F auch nicht „geschlossen“ (dF=0),{displaystyle (mathrm {d} F=0),}({mathrm  d}F=0), im Gegensatz zu abelschen Eichtheorien wie der Elektrodynamik.


In Komponentenschreibweise gilt wie in der Quantenchromodynamik:


νa=∂μa−νa+gfbcaAμbAνc{displaystyle F_{mu nu }^{a}=partial _{mu }A_{nu }^{a}-partial _{nu }A_{mu }^{a}+gf_{bc}^{a}A_{mu }^{b}A_{nu }^{c}}F_{{mu nu }}^{a}=partial _{mu }A_{{nu }}^{a}-partial _{nu }A_{mu }^{a}+gf_{{bc}}^{a}A_{mu }^{b}A_{nu }^{c}

und die Yang-Mills-Gleichungen werden in dieser Schreibweise (wenn man, wie üblich, auf der rechten Seite noch einen Quellenterm einfügt):


μνa+gfbcaAμbFμνc≡a{displaystyle partial ^{mu }F_{mu nu }^{a}+gf_{bc}^{a}A^{mu b}F_{mu nu }^{c}equiv J_{nu }^{a}}partial ^{mu }F_{{mu nu }}^{a}+gf_{{bc}}^{{a}}A^{{mu b}}F_{{mu nu }}^{c}equiv J_{nu }^{a}

In der Physik betrachtet man meist eine kompakte, halbeinfache Lie-Gruppe G{displaystyle G}G, etwa SU(N){displaystyle SU(N)}SU(N) oder SO(N){displaystyle SO(N)}SO(N), deren hermitesche Generatoren folgende Kommutationsrelation erfüllen:


[Ta,Tb]=ifabcTc{displaystyle left[T_{a},T_{b}right]=if_{ab}^{c},T_{c}}left[T_{a},T_{b}right]=if_{{ab}}^{c},T_{c}

Die fabc{displaystyle f_{ab}^{c}}f_{{ab}}^{c} heißen (reelle) Strukturkonstanten der Lie-Gruppe.


Ein beliebiges Element U{displaystyle U}U von G{displaystyle G}G wird durch folgende Gleichung dargestellt:


U=eigθaTa{displaystyle U=e^{igtheta ^{a},T_{a}}}U=e^{{igtheta ^{a},T_{a}}}


Dirac-Teilchen in der Yang-Mills-Theorie |


Die Wellenfunktion (Dirac-Feld) ψ{displaystyle psi }psi eines (mit Yang-Mills-Ladungen) geladenen Teilchens transformiert unter U∈G{displaystyle Uin G}Uin G so:




ψ{displaystyle psi to U,psi }{displaystyle psi to U,psi } bzw.

ψ¯ψ¯U†{displaystyle {bar {psi }}to {bar {psi }},U^{dagger }}{displaystyle {bar {psi }}to {bar {psi }},U^{dagger }}


Das gilt allerdings nur für Teilchen, die nach der fundamentalen Darstellung der Eichgruppe transformieren.


Die Lagrange-Funktion für das Dirac-Feld, aus der über die Euler-Lagrangegleichungen die Bewegungsgleichungen des dadurch beschriebenen geladenen Fermions folgen, sieht wie folgt aus:


L(ψ,A):=ψ¯[iγμ(∂μigA^μ)+m]ψ+…{displaystyle {mathcal {L}}(psi ,A):={bar {psi }},left[mathrm {i} ,gamma ^{mu }left(partial _{mu }-ig,{hat {A}}_{mu }right)+mright]psi +dots ,}{displaystyle {mathcal {L}}(psi ,A):={bar {psi }},left[mathrm {i} ,gamma ^{mu }left(partial _{mu }-ig,{hat {A}}_{mu }right)+mright]psi +dots ,}

Diese Lagrange-Funktion beschreibt die Kopplung des Yang-Mills-Feldes A{displaystyle A}A („Eichfeld“) an die Materie- bzw. Dirac-Felder ψ{displaystyle psi }psi :




  • g{displaystyle g}g ist die oben angegebene Kopplungskonstante,


  • γ{displaystyle gamma }gamma eine Dirac-Matrix

  • Der Ausdruck μigA^μ=:∇μ{displaystyle partial _{mu }-ig,{hat {A}}_{mu }=:nabla _{mu }}partial _{mu }-ig,{hat  A}_{mu }=:nabla _{mu } wird kovariante Ableitung oder minimale Kopplung genannt.

  • Die Variablen A^μ{displaystyle {hat {A}}_{mu }}{hat  A}_{mu } bilden die Vierervektor-Komponenten der zusätzlich noch Lie-Algebra-wertigen 1-Form A{displaystyle A}A  (d. h., die Indizes a sind zur Vereinfachung weggelassen; meist lässt man auch das Symbol ^ weg, was hier der Deutlichkeit halber bei der kovarianten Ableitung nicht geschieht).

  • Bei Berücksichtigung von Dirac-Teilchen kommt in der Gesamtwirkung auch noch der oben erwähnte Feld-Anteil hinzu, der hier durch Punkte angedeutet ist und nicht explizit von ψ{displaystyle psi }psi abhängt.


Wenn die Yang-Mills-Theorie zur Beschreibung der starken Wechselwirkung eingesetzt wird (und zwar in Form einer SU(3){displaystyle SU(3)}SU(3)-Eichtheorie, der schon erwähnten Quantenchromodynamik), dann beschreibt A{displaystyle A}A das Gluonfeld. Die o. g. Ta{displaystyle T_{a}}T_a stellen die acht Gluonenarten dar (die SU(3){displaystyle SU(3)}SU(3) hat 8 Generatoren, üblicherweise verwendet man zu ihrer Darstellung die Gell-Mann-Matrizen).


Einige wichtige Yang-Mills Theorien mit geladenen Fermionen-Materiefeldern besitzen die Eigenschaft der asymptotischen Freiheit bei hohen Energien bzw. kurzen Abständen, was von der Eichgruppe und der Anzahl der Fermionentypen abhängt.



Offene Probleme |


Ein großer Fortschritt in der Durchsetzung der Yang-Mills-Theorien in der Physik war der Nachweis ihrer Renormierbarkeit durch Gerardus ’t Hooft Anfang der 1970er Jahre. Die Renormierbarkeit gilt auch, wenn die Eichbosonen massiv sind wie in der elektroschwachen Wechselwirkung. Die Massen werden nach dem Standardmodell durch den Higgs-Mechanismus erworben.


In der Mathematik ist die Yang-Mills-Theorie aktuelles Forschungsgebiet und diente z. B. Simon Donaldson zur Klassifikation differenzierbarer Strukturen auf 4-Mannigfaltigkeiten. Die Yang-Mills-Theorie wurde vom Clay Mathematics Institute in die Liste der Millennium-Probleme aufgenommen. Insbesondere geht es bei diesem Preis-Problem darum nachzuweisen, dass die niedrigsten Anregungen einer reinen Yang-Mills-Theorie (d. h. ohne Materiefelder) eine endliche (d. h. hier, nicht-verschwindende) Masse bzw. Anregungsenergie haben müssen (d. h., es besteht ein Mass-Gap – in der Festkörperphysik würde man sagen: eine Energielücke – zum Vakuumzustand). Ein damit zusammenhängendes weiteres offenes Problem ist der Nachweis der vermuteten Confinement-Eigenschaft von Yang-Mills-Feldern in Wechselwirkung mit Fermionenfeldern.


In der Physik erfolgen die Untersuchung von Yang-Mills-Theorien inzwischen nicht mehr über störungstheoretische analytische Methoden, sondern über Gitterrechnungen (Gittereichtheorien) oder funktionale Methoden wie z. B. Dyson-Schwinger-Gleichungen.



Terminologie-Gegenüberstellung |


In der Mathematik bzw. der Physik bestehen ganz unterschiedliche Terminologien, die hier systematisch gegenübergestellt werden: So erzeugt man in der Mathematik aus A{displaystyle A}A den differentialgeometrischen Zusammenhang, während man in der Physik vom Vektorpotential des Feldes redet, welches unter anderem dessen Teilchen erzeugt (z. B. die Eichteilchen der Elementarteilchenphysik). Mit Ω{displaystyle Omega }Omega bzw. F{displaystyle F}F bezeichnet man in der Mathematik die Krümmung, in der Physik dagegen den Feldtensor. Der Ausdruck A∧A{displaystyle ,Awedge A}{displaystyle ,Awedge A} bezeichnet in beiden Terminologien einen antisymmetrischen Anteil (Lie-Kommutator) der Krümmungsform bzw. des Feldstärketensors. Die Physiker sprechen in diesem Zusammenhang von Strukturkonstanten des Tensors.



Literatur |



  • Gerardus 't Hooft (Herausgeber, Physiker): 50 years of Yang-Mills theory. World Scientific, Singapore 2005, ISBN 981-256-007-6

  • Keith J. Devlin (Mathematiker): The Millennium problems – the seven greatest unsolved mathematical puzzles of our time. Granta Books, London 2005, S. 63–97, ISBN 1-86207-735-5

  • Michael F. Atiyah (Mathematiker): Geometry of Yang-Mills fields. Scuola Normale Superiore, 1979

  • Mikio Nakahara (Physiker): Geometry, Topology and Physics. Second Edition. Graduate Student Series in Physics. Institute of Physics Publishing, Bristol and Philadelphia, 2003, S. 374–418, ISBN 0 7503 0606 8



Einzelnachweise |




  1. Yang, Mills Conservation of isotopic spin and isotopic gauge invariance, Physical Review, Band 96, 1954, S.191–195, Abstract


  2. Weitere Entdecker waren Wolfgang Pauli, allerdings nur unveröffentlicht in Briefen an Abraham Pais (1953). Yang und Mills waren auch die Einzigen, die eine Verbindung zur starken Wechselwirkung schlugen. Eine Kaluza-Klein-Theorie mit SU(2) Eichgruppe stellte schon Oscar Klein 1938 auf einer Konferenz in Kazimierz in Polen vor und wandte sie auch auf die starke Wechselwirkung an, was weitgehend unbeachtet blieb. Siehe Lochlainn O'Raifeartaigh, The Dawning of Gauge Theory, Princeton UP 1997, S. 8f




Popular posts from this blog

Wiesbaden

Marschland

Dieringhausen