Yang-Mills-Theorie: Unterschied zwischen den Versionen

Yang-Mills-Theorie: Unterschied zwischen den Versionen

imported>Aka
K (Halbgeviertstrich)
 
imported>Blaues-Monsterle
K (→‎Dirac-Teilchen in der Yang-Mills-Theorie: ein Teilchen transformiert in der fundamentalen Darstellung, nicht nach der fund. Darst.)
 
Zeile 1: Zeile 1:
Die '''Yang-Mills-Theorie''' (nach den Physikern [[Chen Ning Yang]] und [[Robert L. Mills]]) ist eine ''nicht''-[[Niels_Henrik_Abel #Eponyme|abelsche]] [[Eichtheorie]], die zur Beschreibung der [[Starke Wechselwirkung|starken]] und der [[Schwache Wechselwirkung|schwachen Wechselwirkung]] herangezogen wird. Sie wurde 1954 von Yang und Mills eingeführt<ref>Yang, Mills ''Conservation of isotopic spin and isotopic gauge invariance'', Physical Review, Band 96, 1954, S.191–195, [http://prola.aps.org/abstract/PR/v96/i1/p191_1 Abstract]</ref> sowie unabhängig davon um die gleiche Zeit in der Dissertation von [[Ronald Shaw]] bei dem Physiker [[Abdus Salam]].
Die '''Yang-Mills-Theorie''' (nach den Physikern [[Chen Ning Yang]] und [[Robert L. Mills]]) ist eine nicht-[[Abelsche Gruppe|abelsche]] [[Eichtheorie]], die zur Beschreibung der [[Starke Wechselwirkung|starken]] und der [[Schwache Wechselwirkung|schwachen Wechselwirkung]] herangezogen wird. Sie wurde 1954 von Yang und Mills eingeführt<ref>Yang, Mills ''Conservation of isotopic spin and isotopic gauge invariance'', Physical Review, Band 96, 1954, S. 191–195, [https://journals.aps.org/pr/abstract/10.1103/PhysRev.96.191 Abstract]</ref> 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]].<ref name="Utiyama">Utiyama ''Invariant Theoretical Interpretation of Interaction'', Physical Review, Band 101, 1956, S. 1597–1607 [https://journals.aps.org/pr/abstract/10.1103/PhysRev.101.1597 Abstract]</ref><ref>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</ref>


Dieser Artikel beschreibt vorwiegend die mathematischen Aspekte des [[Interdisziplinarität|interdisziplinären]] Phänomens. Die physikalischen Aspekte werden vor allem bei einem der wichtigsten Beispiele für Yang-Mills-Theorien besprochen, der [[Quantenchromodynamik]].
Dieser Artikel beschreibt vorwiegend die mathematischen Aspekte des [[Interdisziplinarität|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 [[abelsch]]e Eichtheorie.  
Die Theorie ist im Allgemeinen nichtabelsch, also nicht [[kommutativ]]. Sie enthält jedoch auch als Spezialfall die [[Quantenelektrodynamik]] als [[abelsch]]e Eichtheorie.


== Yang-Mills-Wirkung und Feldgleichungen ==
== Yang-Mills-Wirkung und Feldgleichungen ==
Die Yang-Mills-Theorie geht von der Yang-Mills-[[Wirkung (Physik)|Wirkung]] <math>\mathbf S_\mathrm{YM}</math> für die [[Eichboson]]en aus:
Die Yang-Mills-Theorie geht von der Yang-Mills-[[Wirkung (Physik)|Wirkung]] <math>\mathbf S_\mathrm{YM}</math> für die [[Eichboson]]en aus:


:<math>\mathbf S_\mathrm{YM} = \frac{1}{4g^2} \int \operatorname{Tr} \left( *F \wedge F \right)</math>  
:<math>\mathbf S_\mathrm{YM} = \frac{1}{4} \int \operatorname{Tr} \left( F \wedge *F \right)</math>


* Die positive Größe&nbsp;<math>g</math> bedeutet in der Physik die [[Kopplungskonstante|Wechselwirkungskonstante]].
Dabei wurde die mathematische Sprache der [[Differentialform]]en verwendet, die eine kompakte Notierung erlaubt.  
* Die Größe <math>F</math> heißt ''Yang-Mills-Feldstärke''
* Die Größe <math>F</math> heißt ''Yang-Mills-Feldstärke''
* <math>*F</math> ist die zu <math>F</math> [[Hodge-Operator|duale]] Yang-Mills-Feldstärke. Der [[Dualität (Mathematik)|Dualität]]s<nowiki/>operator&nbsp;* ist bezüglich der Indizes&nbsp;''μ'' und&nbsp;''ν'' (s.&nbsp;u.) mit der [[Signatur (Lineare Algebra)|Signatur]] des [[Minkowski-Raum]]s <math>\mathbb M^4</math> zu bilden, z.&nbsp;B. mit&nbsp;(+−−−). Bezüglich der Indizes&nbsp;''a'' muss man entsprechend der betrachteten Gruppe vorgehen. Analoges gilt auch für die [[Spur (Mathematik)|Spur]]&nbsp;''Tr'' (Abkürzung für engl.&nbsp;''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:
* <math>*F</math> ist die zu <math>F</math> [[Hodge-Operator|duale]] Yang-Mills-Feldstärke. Der [[Differentialform#Duale Form und Stern-Operator|Dualitäts]]<nowiki />operator&nbsp;* ([[Hodge-Stern-Operator]]) ist bezüglich der Indizes&nbsp;''μ'' und&nbsp;''ν'' (s.&nbsp;u.) mit der [[Signatur (Lineare Algebra)|Signatur]] des [[Minkowski-Raum]]s <math>\mathbb M^4</math> zu bilden, z.&nbsp;B. mit&nbsp;(+−−−). Bezüglich der Indizes&nbsp;''a'' der Eichgruppe muss man entsprechend der betrachteten Darstellung der Gruppe vorgehen. Analoges gilt auch für die [[Spur (Mathematik)|Spur]]&nbsp;''Tr'' (Abkürzung für engl.&nbsp;''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:


:<math>\mathbf S_\mathrm{YM} = \frac{1}{4g^2}\int \, \mathrm{d}^4 x \, F^{\nu\mu}_a \cdot F_{\mu\nu}^a</math>
:<math>\mathbf S_\mathrm{YM} = \frac{1}{4}\int \, \mathrm{d}^4 x \, F^{\nu\mu}_a \cdot F_{\mu\nu}^a</math>


Wendet man jetzt das [[Prinzip der kleinsten Wirkung]] auf die Eichbosonenfelder in <math>\mathbf S_\mathrm{YM}</math> an, so erhält man als zugehörige [[Euler-Lagrange-Gleichungen]] die ''Yang-Mills-Gleichungen'':
Wendet man jetzt das [[Prinzip der stationären Wirkung]] auf die Eichbosonenfelder in <math>\mathbf S_\mathrm{YM}</math> an, so erhält man als zugehörige [[Euler-Lagrange-Gleichungen]] die ''Yang-Mills-Gleichungen'' ohne Materiefelder:<ref>[https://encyclopediaofmath.org/wiki/Yang-Mills_functional Yang-Mills functional], Encyclopedia of Mathematics</ref>


:<math>\mathcal{D}F := \mathrm{d}F + g \, A \wedge F \equiv 0</math>  
:<math>\mathcal{D} * F =0</math>


wobei der Term&nbsp;<math>\sim g </math> die ''Yang-Mills-Ladungen'' enthält.
mit:


Hier wurde die mathematische Sprache der [[Differentialform]]en 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 <math>d+1</math>-dimensionalen Minkowskiraum mit Metriksignatur <math>1-d</math> verwendet werden. Yang-Mills-Theorien in höheren Dimensionen und ihre supersymmetrischen Erweiterungen sind z.B. für [[AdS/CFT-Korrespondenz]] relevant.
:<math>\mathcal{D}F := \mathrm{d}F + g \, A \wedge F </math>
 
und entsprechend bei der Anwendung auf die duale Feldstärke <math>*F</math>, wobei der Term&nbsp;<math>\sim g </math> die ''Yang-Mills-Ladungen'' enthält. Die positive Größe&nbsp;<math>g</math> bedeutet in der Physik die [[Kopplungskonstante|Wechselwirkungskonstante]]. Die Eichbosonenfelder <math>A</math> sind in der Sprache der Differentialgeometrie [[Zusammenhang (Differentialgeometrie)|Zusammenhangsformen]] und <math>\mathcal{D}</math> ist die mit diesen Zusammenhangsformen gebildete kovariante Ableitung (die Abhängigkeit von <math>A</math> wurde in der Notation hier weggelassen). Bei Anwesenheit von Materiefeldern, die im Sinn der Yang-Mills-Theorie „geladen“ sind (zum Beispiel bei der Quantenchromodynamik Farbladung tragen) ist auf der rechten Seite der Yang-Mills-Gleichung der Materiestrom <math>J</math> einzusetzen (siehe unten). Die „Farbindizes“ der Eichgruppe wurden hier der Übersichtlichkeit halber weggelassen.
 
Außerdem gilt die [[Bianchi-Identität]]:
:<math>\mathcal{D}F =0</math>
 
In differentialgeometrischer Formulierung wird auch die Ähnlichkeit zu den Maxwell-Gleichungen in differentialgeometrischer Formulierung deutlich (siehe [[Maxwell-Gleichungen#Der vierdimensionale Ansatz|Maxwell-Gleichungen: der vierdimensionale Ansatz]]), nur dass diese der Sonderfall einer abelschen Eichgruppe sind, der unitären Gruppe U(1), und damit in Komponenten ausgeschrieben von einfacherer Form und linear in <math>A</math> sind. Die Nichtlinearität macht die Yang-Mills-Gleichungen mit nicht-abelscher Eichgruppe viel komplizierter. Durch die Formulierung in abstrakter Differentialformenschreibweise ist die Formulierung nicht auf den Minkowskiraum oder vier Dimensionen beschränkt und kann in dieser Darstellung z.&nbsp;B. für eine Yang-Mills-Theorie in einem <math>d+1</math>-dimensionalen Minkowskiraum mit Metriksignatur <math>1-d</math> verwendet werden. Yang-Mills-Theorien in höheren Dimensionen und ihre supersymmetrischen Erweiterungen sind z.&nbsp;B. für [[AdS/CFT-Korrespondenz]] relevant.


Die Yang-Mills-Feldstärke ist durch die zweite [[Maurer-Cartan-Strukturgleichung]] definiert, die den [[Zusammenhang (Differentialgeometrie)|differentialgeometrischen Zusammenhang]] <math>A</math> (genauer gesagt dessen [[Differenzierbare Mannigfaltigkeit|lokale Darstellung]]) eines [[Prinzipalbündel|Hauptfaserbündels]] (in der Physik ''Eichpotential'' bzw. ''Eichbosonfeld'' genannt) mit seiner [[Krümmung]] <math>F</math> (in der Physik [[Elektrische Feldstärke|Feldstärke]] bzw. [[Feldstärketensor]] genannt) in Verbindung bringt:
Die Yang-Mills-Feldstärke ist durch die zweite [[Maurer-Cartan-Strukturgleichung]] definiert, die den [[Zusammenhang (Differentialgeometrie)|differentialgeometrischen Zusammenhang]] <math>A</math> (genauer gesagt dessen [[Differenzierbare Mannigfaltigkeit|lokale Darstellung]]) eines [[Prinzipalbündel|Hauptfaserbündels]] (in der Physik ''Eichpotential'' bzw. ''Eichbosonfeld'' genannt) mit seiner [[Krümmung]] <math>F</math> (in der Physik [[Elektrische Feldstärke|Feldstärke]] bzw. [[Feldstärketensor]] genannt) in Verbindung bringt:
Zeile 32: Zeile 39:
* <math>F</math> eine Lie-Algebra-wertige 2-Form über diesem Hauptfaserbündel
* <math>F</math> eine Lie-Algebra-wertige 2-Form über diesem Hauptfaserbündel
* <math>\mathrm{d}A</math> die [[Cartan-Ableitung|äußere Ableitung]]
* <math>\mathrm{d}A</math> die [[Cartan-Ableitung|äußere Ableitung]]
* <math>A \wedge A</math> das [[äußeres Produkt|äußere Produkt]] von Differentialformen, das hier zwischen den <math>A</math> ''nicht'' verschwindet, da die Lie-Algebra-Komponenten von <math>A</math> im Allgemeinen nicht vertauschen.
* <math>A \wedge A</math> das [[Graßmann-Algebra#Äußeres Produkt|äußere Produkt]] von Differentialformen, das hier zwischen den <math>A</math> ''nicht'' verschwindet, da die Lie-Algebra-Komponenten von <math>A</math> im Allgemeinen nicht vertauschen.


Aus diesem Grunde ist die Feldform <math>F</math> auch nicht „geschlossen“ <math>(\mathrm dF = 0),</math> im Gegensatz zu abelschen Eichtheorien wie der [[Elektrodynamik]].
Aus diesem Grunde ist die Feldform <math>F</math> auch nicht „geschlossen“ <math>(\mathrm dF = 0),</math> im Gegensatz zu abelschen Eichtheorien wie der [[Elektrodynamik]].


In Komponentenschreibweise gilt wie in der Quantenchromodynamik:  
In Komponentenschreibweise gilt wie in der Quantenchromodynamik:


:<math>F^a_{\mu \nu} = \partial_\mu A^a_{\nu} - \partial_\nu A^a_\mu + g f^a_{bc} A^b_\mu A^c_\nu</math>
:<math>F^a_{\mu \nu} = \partial_\mu A^a_{\nu} - \partial_\nu A^a_\mu + g f^a_{bc} A^b_\mu A^c_\nu</math>
Zeile 53: Zeile 60:


:<math>U = e^{i g \theta^a\, T_a}</math>
:<math>U = e^{i g \theta^a\, T_a}</math>
Zur Ausführung von Berechnungen muss noch wie in der Elektrodynamik eine Eichfixierung durchgeführt werden (siehe z.&nbsp;B. [[Lorenz-Eichung]] bei der Elektrodynamik). Das hat seinen Grund darin, dass die Yang-Mills-Wirkung invariant unter Eichtransformationen ist und damit die gesuchten Eichbosonen <math>A</math> nicht eindeutig festgelegt.


== Dirac-Teilchen in der Yang-Mills-Theorie ==
== Dirac-Teilchen in der Yang-Mills-Theorie ==
Die [[Wellenfunktion]] (Dirac-Feld) <math>\psi</math> eines (mit Yang-Mills-Ladungen) geladenen Teilchens transformiert unter <math>U \in G</math> so:
Die [[Wellenfunktion]] (Dirac-Feld) <math>\psi</math> eines (mit Yang-Mills-Ladungen) geladenen Teilchens transformiert unter <math>U \in G</math> mittels:


:<math>\psi      \to U \, \psi</math> bzw.
:<math>\psi      \to U \, \psi</math> bzw.
:<math>\bar{\psi} \to \bar{\psi} \, U^\dagger</math>
:<math>\bar{\psi} \to \bar{\psi} \, U^\dagger</math>


Das gilt allerdings nur für Teilchen, die nach der [[Darstellungstheorie|fundamentalen Darstellung]] der [[Eichgruppe]] transformieren.
Das gilt allerdings nur für Teilchen, die in der [[Darstellungstheorie|fundamentalen Darstellung]] der [[Eichgruppe]] transformieren.


Die [[Lagrange-Funktion]] für das Dirac-Feld, aus der über die Euler-Lagrangegleichungen die [[Bewegungsgleichung]]en des dadurch beschriebenen geladenen [[Fermion]]s folgen, sieht wie folgt aus:
Die [[Lagrange-Funktion]] für das Dirac-Feld, aus der über die Euler-Lagrangegleichungen die [[Bewegungsgleichung]]en des dadurch beschriebenen geladenen [[Fermion]]s folgen, sieht wie folgt aus:
Zeile 73: Zeile 82:
* 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&nbsp;<math>\psi</math> abhängt.
* 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&nbsp;<math>\psi</math> abhängt.


Wenn die Yang-Mills-Theorie zur Beschreibung der starken Wechselwirkung eingesetzt wird (und zwar in Form einer <math>SU(3)</math>-Eichtheorie, der schon erwähnten [[Quantenchromodynamik]]), dann beschreibt <math>A</math> das [[Gluon]]<nowiki/>feld. Die o.g. <math>T_a</math> stellen die acht Gluonenarten dar (die <math>SU(3)</math> hat 8&nbsp;Generatoren, üblicherweise verwendet man zu ihrer Darstellung die [[Gell-Mann-Matrizen]]).
Wenn die Yang-Mills-Theorie zur Beschreibung der starken Wechselwirkung eingesetzt wird (und zwar in Form einer <math>SU(3)</math>-Eichtheorie, der schon erwähnten [[Quantenchromodynamik]]), dann beschreibt <math>A</math> das [[Gluon]]<nowiki />feld. Die o.&nbsp;g. <math>T_a</math> stellen die acht Gluonenarten dar (die <math>SU(3)</math> hat 8&nbsp;Generatoren, üblicherweise verwendet man zu ihrer Darstellung die [[Gell-Mann-Matrizen]]).
 
Einige wichtige Yang-Mills-Theorien mit geladenen Fermionen-Materiefeldern besitzen die Eigenschaft der [[Asymptotische Freiheit|asymptotischen Freiheit]] bei hohen Energien bzw. kurzen Abständen, was von der Eichgruppe und der Anzahl der Fermionentypen abhängt.
 
== Weitere Entwicklung ==
In der Elementarteilchenphysik wird meist nicht die Form der Yang-Mills-Gleichung als klassische Feldtheorie betrachtet, sondern deren quantenfeldtheoretische Formulierung. Ausgangspunkt in der theoretischen Behandlung ist dabei häufig die [[Pfadintegral]]formulierung. 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 [[Elektroschwache Wechselwirkung|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.&nbsp;B. [[Simon Donaldson]] zur Klassifikation differenzierbarer Strukturen auf 4-[[Mannigfaltigkeit]]en. 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 [[Angeregter Zustand|Anregungen]] einer reinen Yang-Mills-Theorie (d.&nbsp;h. ohne Materiefelder) eine endliche (d.&nbsp;h. hier, nicht-verschwindende) Masse bzw. [[Anregungsenergie]] haben müssen (d.&nbsp;h., es besteht ein ''Mass-Gap'' – in der Festkörperphysik würde man sagen: eine [[Energielücke]] – zum [[Vakuumzustand]]).<!-- &nbsp;<ref>In der [[Supraleiter|Theorie der Supraleitung]], die durch eine massive, nicht relativistische abelsche Yang-Mills-Theorie beschrieben werden kann, ist das in der Regel der Fall und man spricht von dem sog. „Gap-Parameter“ der Theorie. Es gibt aber bei ungeordneten Systemen als Regelfall auch die sog. „gapless superconductivity“. Analog könnte bei Yang-Mills-Theorie ein Gap zwar die Regel sein, in durchaus relevanten Ausnamefällen könnte aber ''kein'' Gap auftreten.</ref> --> Ein damit zusammenhängendes weiteres offenes Problem ist der Nachweis der vermuteten [[Confinement]]-Eigenschaft von Yang-Mills-Feldern in Wechselwirkung mit Fermionenfeldern.
 
Wegen ihrer Nichtlinearität ist die erfolgreiche Anwendung von Yang-Mills-Theorien nicht wie in der Quantenelektrodynamik mit [[Störungstheorie|störungstheoretische]]n analytischen Methoden und deren graphischer Darstellung mit [[Feynman-Diagramm]]en möglich. Hier kamen vor allem numerische  Gitterrechnungen&nbsp;([[Gittereichtheorie]]n) erfolgreich zum Einsatz mit großen Erfolgen bei den Massenberechnungen von [[Hadron]]en in der Quantenchromodynamik auf dem Gitter. Es gibt noch einige andere nichtstörungstheoretische Verfahren wie die funktionale Methode der [[Dyson-Schwinger-Gleichungen]].


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


== Offene Probleme ==
Utiyama erkannte, dass auch die Strukturen der [[Allgemeine Relativitätstheorie|allgemeinen Relativitätstheorie]] zu der Form von Yang-Mills-Theorien passen. Er versuchte dann, die allgemeine Relativitätstheorie als Yang-Mills-Theorie der [[Lorentz-Gruppe]] aufzufassen. Das ist insofern besonders, als dass hierbei der zugrundeliegenden Geometrie eine Eichfreiheit zugestanden wird, während andere Yang-Mills-Theorien wie die Quantenchromodynamik von einer [[Minkowski-Raum|Minkowski-artigen Geometrie]] (also von der [[Spezielle Relativitätstheorie|speziellen Relativitätstheorie]]) ausgehen. Utiyama kam darauf, dass die Kopplung des neuen Feldes tatsächlich die Form der kovarianten Ableitung im [[Riemannscher Raum|riemannschen Raum]] hat, allerdings nur, wenn er antisymmetrische Anteile des Zusammenhangs ignorierte und die Symmetrie der Metrik ad hoc voraussetze. Diese Theorie unterscheidet sich insofern von den oben beschriebenen Theorien, als dass in der Lagrangedichte der Feldstärketensor, welcher hier der [[Riemannscher Krümmungstensor|riemannsche Krümmungstensor]] ist, nur in erster Ordnung auftaucht.<ref name="Utiyama"/>
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 [[elektroschwache Wechselwirkung|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.&nbsp;B. [[Simon Donaldson]] zur Klassifikation differenzierbarer Strukturen auf 4-[[Mannigfaltigkeit]]en. 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 [[Angeregter Zustand|Anregungen]] einer reinen Yang-Mills-Theorie (d.&nbsp;h. ohne Materiefelder) eine endliche (d.h. hier, nicht-verschwindende) Masse bzw. [[Anregungsenergie]] haben müssen (d.&nbsp;h., es besteht ein ''Mass-Gap'' – in der Festkörperphysik würde man sagen: eine [[Energielücke]] – zum [[Vakuumzustand]]).<!-- &nbsp;<ref>In der [[Supraleiter|Theorie der Supraleitung]], die durch eine massive, nicht relativistische abelsche Yang-Mills-Theorie beschrieben werden kann, ist das in der Regel der Fall und man spricht von dem sog. „Gap-Parameter“ der Theorie. Es gibt aber bei ungeordneten Systemen als Regelfall auch die sog. „gapless superconductivity“. Analog könnte bei Yang-Mills-Theorie ein Gap zwar die Regel sein, in durchaus relevanten Ausnamefällen könnte aber ''kein'' Gap auftreten.</ref> --> Ein damit zusammenhängendes weiteres offenes Problem ist der Nachweis der vermuteten [[Confinement]]-Eigenschaft von Yang-Mills-Feldern in Wechselwirkung mit Fermionenfeldern.
Kibble erkannte später, dass es praktischer ist, von der [[Poincaré-Gruppe]] (bei Kibble „vollständige Lorentz-Gruppe“ genannt) auszugehen. In diesem Fall erhält man zwei Feldgleichungen, da die Poincaré-Gruppe in einen Lorentz-Anteil und in einen Translationsanteil zerfällt. So kommt man auf die [[Einstein-Cartan-Theorie|Einstein-Cartan(-Sciama-Kibble)-Theorie]] der Gravitation. In dieser sind die Ad-hoc-Annahmen von Utiyama nicht mehr nötig: Der Zusammenhang darf antisymmetrische Anteile haben (die [[Torsionstensor|Torsion]] genannt werden) und statt der Metrik bekommt man Tetradenfelder, welche nicht notwendigerweise symmetrisch sein müssen.<ref>Kibble ''Lorentz Invariance and the Gravitational Field'', Journal of Mathematical Physics, Band 2, 1961, S. 212–221</ref>


In der Physik erfolgen die Untersuchung von Yang-Mills-Theorien inzwischen nicht mehr über [[Störungstheorie|störungstheoretische]] analytische Methoden, sondern über Gitterrechnungen&nbsp;([[Gittereichtheorie]]n) oder funktionale Methoden wie z.&nbsp;B. [[Dyson-Schwinger-Gleichungen]].
Im Diskurs zu Verallgemeinerungen der Allgemeinen Relativitätstheorie tauchen aufbauend auf diesen Überlegungen Ansätze auf, auch für die Gravitation eine Lagrangefunktion zu fordern, welche quadratisch im Feldstärketensor ist.<ref>Bspw. Hehl, Nitsch, von der Heyde ''Gravitation and the Poincaré Gauge Field Theorie with Quadratic Lagrangian'', General Relativity and Gravitation - One Hundred Years after the Birth of Albert Einstein, Band 1, 1980, S. 329–355</ref>


== Terminologie-Gegenüberstellung==
Diese Yang-Mills-Theorien der Gravitation bedeuten nicht automatisch, dass damit die [[Quantengravitation|Quantisierung der Gravitation]] möglich ist. Da hier die zugrundeliegende Geometrie geeicht wird, gelten Sätze bezüglich der Renormierbarkeit nicht mehr ohne weiteres.
In der Mathematik bzw. der Physik bestehen ganz unterschiedliche Terminologien, die hier systematisch gegenübergestellt werden: So erzeugt man in der Mathematik aus <math>A</math> den [[Zusammenhang (Differentialgeometrie)|differentialgeometrischen Zusammenhang]], während man in der Physik vom [[Vektorpotential]] des Feldes redet, welches unter anderem dessen Teilchen erzeugt (z.&nbsp;B. die [[Eichtheorie|Eichteilchen]] der [[Elementarteilchenphysik]]). Mit <math>\Omega</math> bzw. <math>F</math> bezeichnet man in der Mathematik die [[Krümmung]], in der Physik dagegen den [[Feldtensor]]. Der Ausdruck  <math>\, A \wedge A </math> bezeichnet in beiden Terminologien einen antisymmetrischen Anteil (Lie-Kommutator) der Krümmungsform bzw. des Feldstärketensors. Die Physiker sprechen in diesem Zusammenhang von [[Strukturkonstante]]n des Tensors.


== Literatur ==
== Literatur ==
Zeile 91: Zeile 107:
* 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
* 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
* 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
* 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 ==
== Einzelnachweise ==

Aktuelle Version vom 30. Januar 2022, 20:55 Uhr

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][3]

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.

Yang-Mills-Wirkung und Feldgleichungen

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

$ \mathbf {S} _{\mathrm {YM} }={\frac {1}{4}}\int \operatorname {Tr} \left(F\wedge *F\right) $

Dabei wurde die mathematische Sprache der Differentialformen verwendet, die eine kompakte Notierung erlaubt.

  • Die Größe $ F $ heißt Yang-Mills-Feldstärke
  • $ *F $ ist die zu $ F $ duale Yang-Mills-Feldstärke. Der Dualitätsoperator * (Hodge-Stern-Operator) ist bezüglich der Indizes μ und ν (s. u.) mit der Signatur des Minkowski-Raums $ \mathbb {M} ^{4} $ zu bilden, z. B. mit (+−−−). Bezüglich der Indizes a der Eichgruppe muss man entsprechend der betrachteten Darstellung der 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:
$ \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 stationären Wirkung auf die Eichbosonenfelder in $ \mathbf {S} _{\mathrm {YM} } $ an, so erhält man als zugehörige Euler-Lagrange-Gleichungen die Yang-Mills-Gleichungen ohne Materiefelder:[4]

$ {\mathcal {D}}*F=0 $

mit:

$ {\mathcal {D}}F:=\mathrm {d} F+g\,A\wedge F $

und entsprechend bei der Anwendung auf die duale Feldstärke $ *F $, wobei der Term $ \sim g $ die Yang-Mills-Ladungen enthält. Die positive Größe $ g $ bedeutet in der Physik die Wechselwirkungskonstante. Die Eichbosonenfelder $ A $ sind in der Sprache der Differentialgeometrie Zusammenhangsformen und $ {\mathcal {D}} $ ist die mit diesen Zusammenhangsformen gebildete kovariante Ableitung (die Abhängigkeit von $ A $ wurde in der Notation hier weggelassen). Bei Anwesenheit von Materiefeldern, die im Sinn der Yang-Mills-Theorie „geladen“ sind (zum Beispiel bei der Quantenchromodynamik Farbladung tragen) ist auf der rechten Seite der Yang-Mills-Gleichung der Materiestrom $ J $ einzusetzen (siehe unten). Die „Farbindizes“ der Eichgruppe wurden hier der Übersichtlichkeit halber weggelassen.

Außerdem gilt die Bianchi-Identität:

$ {\mathcal {D}}F=0 $

In differentialgeometrischer Formulierung wird auch die Ähnlichkeit zu den Maxwell-Gleichungen in differentialgeometrischer Formulierung deutlich (siehe Maxwell-Gleichungen: der vierdimensionale Ansatz), nur dass diese der Sonderfall einer abelschen Eichgruppe sind, der unitären Gruppe U(1), und damit in Komponenten ausgeschrieben von einfacherer Form und linear in $ A $ sind. Die Nichtlinearität macht die Yang-Mills-Gleichungen mit nicht-abelscher Eichgruppe viel komplizierter. Durch die Formulierung in abstrakter Differentialformenschreibweise ist die Formulierung nicht auf den Minkowskiraum oder vier Dimensionen beschränkt und kann in dieser Darstellung z. B. für eine Yang-Mills-Theorie in einem $ d+1 $-dimensionalen Minkowskiraum mit Metriksignatur $ 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 $ (genauer gesagt dessen lokale Darstellung) eines Hauptfaserbündels (in der Physik Eichpotential bzw. Eichbosonfeld genannt) mit seiner Krümmung $ F $ (in der Physik Feldstärke bzw. Feldstärketensor genannt) in Verbindung bringt:

$ F:=\mathrm {d} A+gA\wedge A $

Wie oben ist

  • $ A $ eine Lie-Algebra-wertige 1-Form über dem Hauptfaserbündel
  • $ F $ eine Lie-Algebra-wertige 2-Form über diesem Hauptfaserbündel
  • $ \mathrm {d} A $ die äußere Ableitung
  • $ A\wedge A $ das äußere Produkt von Differentialformen, das hier zwischen den $ A $ nicht verschwindet, da die Lie-Algebra-Komponenten von $ A $ im Allgemeinen nicht vertauschen.

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

In Komponentenschreibweise gilt wie in der Quantenchromodynamik:

$ 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):

$ \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 $, etwa $ SU(N) $ oder $ SO(N) $, deren hermitesche Generatoren folgende Kommutationsrelation erfüllen:

$ \left[T_{a},T_{b}\right]=if_{ab}^{c}\,T_{c} $

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

Ein beliebiges Element $ U $ von $ G $ wird durch folgende Gleichung dargestellt:

$ U=e^{ig\theta ^{a}\,T_{a}} $

Zur Ausführung von Berechnungen muss noch wie in der Elektrodynamik eine Eichfixierung durchgeführt werden (siehe z. B. Lorenz-Eichung bei der Elektrodynamik). Das hat seinen Grund darin, dass die Yang-Mills-Wirkung invariant unter Eichtransformationen ist und damit die gesuchten Eichbosonen $ A $ nicht eindeutig festgelegt.

Dirac-Teilchen in der Yang-Mills-Theorie

Die Wellenfunktion (Dirac-Feld) $ \psi $ eines (mit Yang-Mills-Ladungen) geladenen Teilchens transformiert unter $ U\in G $ mittels:

$ \psi \to U\,\psi $ bzw.
$ {\bar {\psi }}\to {\bar {\psi }}\,U^{\dagger } $

Das gilt allerdings nur für Teilchen, die in 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:

$ {\mathcal {L}}(\psi ,A):={\bar {\psi }}\,\left[\mathrm {i} \,\gamma ^{\mu }\left(\partial _{\mu }-ig\,{\hat {A}}_{\mu }\right)+m\right]\psi +\dots \, $

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

  • $ g $ ist die oben angegebene Kopplungskonstante,
  • $ \gamma $ eine Dirac-Matrix
  • Der Ausdruck $ \partial _{\mu }-ig\,{\hat {A}}_{\mu }=:\nabla _{\mu } $ wird kovariante Ableitung oder minimale Kopplung genannt.
  • Die Variablen $ {\hat {A}}_{\mu } $ bilden die Vierervektor-Komponenten der zusätzlich noch Lie-Algebra-wertigen 1-Form $ 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 $ \psi $ abhängt.

Wenn die Yang-Mills-Theorie zur Beschreibung der starken Wechselwirkung eingesetzt wird (und zwar in Form einer $ SU(3) $-Eichtheorie, der schon erwähnten Quantenchromodynamik), dann beschreibt $ A $ das Gluonfeld. Die o. g. $ T_{a} $ stellen die acht Gluonenarten dar (die $ 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.

Weitere Entwicklung

In der Elementarteilchenphysik wird meist nicht die Form der Yang-Mills-Gleichung als klassische Feldtheorie betrachtet, sondern deren quantenfeldtheoretische Formulierung. Ausgangspunkt in der theoretischen Behandlung ist dabei häufig die Pfadintegralformulierung. 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.

Wegen ihrer Nichtlinearität ist die erfolgreiche Anwendung von Yang-Mills-Theorien nicht wie in der Quantenelektrodynamik mit störungstheoretischen analytischen Methoden und deren graphischer Darstellung mit Feynman-Diagrammen möglich. Hier kamen vor allem numerische Gitterrechnungen (Gittereichtheorien) erfolgreich zum Einsatz mit großen Erfolgen bei den Massenberechnungen von Hadronen in der Quantenchromodynamik auf dem Gitter. Es gibt noch einige andere nichtstörungstheoretische Verfahren wie die funktionale Methode der Dyson-Schwinger-Gleichungen.

Yang-Mills-Theorie und Gravitation

Utiyama erkannte, dass auch die Strukturen der allgemeinen Relativitätstheorie zu der Form von Yang-Mills-Theorien passen. Er versuchte dann, die allgemeine Relativitätstheorie als Yang-Mills-Theorie der Lorentz-Gruppe aufzufassen. Das ist insofern besonders, als dass hierbei der zugrundeliegenden Geometrie eine Eichfreiheit zugestanden wird, während andere Yang-Mills-Theorien wie die Quantenchromodynamik von einer Minkowski-artigen Geometrie (also von der speziellen Relativitätstheorie) ausgehen. Utiyama kam darauf, dass die Kopplung des neuen Feldes tatsächlich die Form der kovarianten Ableitung im riemannschen Raum hat, allerdings nur, wenn er antisymmetrische Anteile des Zusammenhangs ignorierte und die Symmetrie der Metrik ad hoc voraussetze. Diese Theorie unterscheidet sich insofern von den oben beschriebenen Theorien, als dass in der Lagrangedichte der Feldstärketensor, welcher hier der riemannsche Krümmungstensor ist, nur in erster Ordnung auftaucht.[2]

Kibble erkannte später, dass es praktischer ist, von der Poincaré-Gruppe (bei Kibble „vollständige Lorentz-Gruppe“ genannt) auszugehen. In diesem Fall erhält man zwei Feldgleichungen, da die Poincaré-Gruppe in einen Lorentz-Anteil und in einen Translationsanteil zerfällt. So kommt man auf die Einstein-Cartan(-Sciama-Kibble)-Theorie der Gravitation. In dieser sind die Ad-hoc-Annahmen von Utiyama nicht mehr nötig: Der Zusammenhang darf antisymmetrische Anteile haben (die Torsion genannt werden) und statt der Metrik bekommt man Tetradenfelder, welche nicht notwendigerweise symmetrisch sein müssen.[5]

Im Diskurs zu Verallgemeinerungen der Allgemeinen Relativitätstheorie tauchen aufbauend auf diesen Überlegungen Ansätze auf, auch für die Gravitation eine Lagrangefunktion zu fordern, welche quadratisch im Feldstärketensor ist.[6]

Diese Yang-Mills-Theorien der Gravitation bedeuten nicht automatisch, dass damit die Quantisierung der Gravitation möglich ist. Da hier die zugrundeliegende Geometrie geeicht wird, gelten Sätze bezüglich der Renormierbarkeit nicht mehr ohne weiteres.

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. 2,0 2,1 Utiyama Invariant Theoretical Interpretation of Interaction, Physical Review, Band 101, 1956, S. 1597–1607 Abstract
  3. 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
  4. Yang-Mills functional, Encyclopedia of Mathematics
  5. Kibble Lorentz Invariance and the Gravitational Field, Journal of Mathematical Physics, Band 2, 1961, S. 212–221
  6. Bspw. Hehl, Nitsch, von der Heyde Gravitation and the Poincaré Gauge Field Theorie with Quadratic Lagrangian, General Relativity and Gravitation - One Hundred Years after the Birth of Albert Einstein, Band 1, 1980, S. 329–355