Unter einer Eichtheorie oder Eichfeldtheorie versteht man eine physikalische Feldtheorie, die einer lokalen Eichsymmetrie genügt.
Anschaulich bedeutet dies, dass die von der Theorie vorhergesagten Wechselwirkungen sich nicht ändern, wenn eine bestimmte Größe lokal frei gewählt wird. Diese Möglichkeit, eine Größe an jedem Ort unabhängig festzulegen – zu eichen wie einen Maßstab – veranlasste den deutschen Mathematiker Hermann Weyl in den 1920er Jahren zur Wahl des Namens Eichsymmetrie bzw. Eichinvarianz.
Man unterscheidet lokale von globalen Eichtransformationen, je nachdem ob die Transformation ortsabhängig ist (lokal) oder nicht (global). Eichfelder treten bei lokalen Eichtransformationen auf und stellen die Invarianz des dynamischen Systems bei lokalen Eichtransformationen sicher.
Das Vektorpotential wurde schon im 19. Jahrhundert in der elektrodynamischen Theorie verwendet, z. B. von Franz Ernst Neumann (1847), Gustav Kirchhoff (1857) und Hermann von Helmholtz (1870 bis 1874). Letzterer war schon nahe an der Entdeckung der Invarianz unter Eichtransformationen und führte eine Lorenz-Eichung ein, allerdings nur für quasistatische Probleme.
Die Invarianz unter Eichtransformationen wurde auch von James Clerk Maxwell z. B. in seinem Hauptwerk Treatise on Electricity and Magnetism formuliert, doch noch nicht in allgemeinster Form (er bevorzugte die Coulomb-Eichung). Die Lorenz-Eichung für volle retardierte Potentiale stammt von Ludvig Lorenz (1867)[1] und wurde außerdem rund 25 Jahre später von Hendrik Antoon Lorentz dargestellt.
Die moderne Auffassung einer Eichtheorie als Folge eines lokal veränderlichen Phasenfaktors der Wellenfunktion wird meist Hermann Weyl (1929) zugeschrieben, findet sich aber auch schon 1926 von Wladimir Fock formuliert.[2] Das geschah im Rahmen der Diskussion der relativistischen Wellengleichung für massive skalare Teilchen, wobei das Vektorpotential über die minimale Kopplung (siehe unten) einfließt. Gleichzeitig mit Fock veröffentlichten Erwin Schrödinger und Oskar Klein entsprechende Arbeiten.
Weyl hatte schon 1919 vor der Entwicklung der Quantenmechanik im Rahmen eines Versuchs der Erweiterung der Allgemeinen Relativitätstheorie, die auch die Elektrodynamik umfasst, einen lokal veränderlichen Längenmaßstab als Eichfaktor eingeführt.[3] Durch eine Umformulierung auf komplexe Phasen im Rahmen der Quantenmechanik gab er 1929 die Formulierung von Eichtheorien im heutigen Sinn,[4] was unabhängig auch zuvor schon Fritz London getan hatte.[5][6]
Die Elektrodynamik ist der einfachste Fall einer Eichtheorie mit abelscher Eichgruppe U(1), den Fall nichtabelscher Eichgruppen (Yang-Mills-Theorie, nichtabelsche Eichtheorie) behandelten zuerst Chen Ning Yang und Robert L. Mills 1954.[7]
Die moderne Teilchenphysik ist bestrebt, das Verhalten der elementaren Teilchen aus möglichst einfachen ersten Prinzipien abzuleiten. Ein nützliches Hilfsmittel ist dabei die Forderung nach einer Gruppe von Transformationen (z. B. Rotationen) der beteiligten Felder, unter der die Dynamik der Teilchen invariant bleibt. Diese Symmetrie oder Eichfreiheit schränkt die Gestalt der zu konstruierenden Lagrangedichte enorm ein und hilft so bei der Konstruktion der gesuchten Theorie.
Allgemein lässt sich in einer Eichtheorie eine kovariante Ableitung definieren, aus dieser ein Feldstärketensor und somit eine Lagrangedichte und eine Wirkung konstruieren, aus der sich per Variation die Bewegungsgleichungen und Erhaltungsgrößen ergeben.
Das Standardmodell der Elementarteilchenphysik enthält zwei solcher Eichtheorien:
Das Noether-Theorem garantiert, dass jedem Teilchen, das der zu beschreibenden Wechselwirkung unterliegt, eindeutig eine erhaltene Ladung zugeordnet werden kann, z. B. elektrische Ladung $ Q $, Hyperladung $ Y $, schwacher Isospin $ I_{3} $, Farbladung $ C $.
Es gibt auch eine Eichtheorie-Formulierung der Gravitation, sowohl der Allgemeinen Relativitätstheorie (ART) als auch erweiterter Theorien. Das erkannte zuerst Ryoyu Utiyama 1956, der die Lorentzgruppe $ SO(3,1) $ als Eichgruppe benutzte. Das war noch nicht vollständig korrekt, die korrekte Eichgruppe ist die Poincaré-Gruppe (die auch Translationen einbezieht), wie Dennis Sciama und T. W. B. Kibble 1961 erkannten. In diesen Zusammenhang fügte sich auch die Einstein-Cartan-Theorie als Verallgemeinerung der ART ein (bei ihr ist der Spin von Materie mit der Torsion der Raumzeit verbunden, analog der Verbindung von Energie-Impuls mit dem Riemannschen Krümmungstensor in der ART).[8]
Die Energie eines Teilchens in einem äußeren statischen Potenzial lässt sich schreiben als
mit vorgegebenem Potenzial $ V({\vec {x}}) $.
Definiert man nun den Impuls als
so kann man die Energie auch schreiben als
Wenn man nach der hamiltonschen Mechanik die Energie als Funktion von Ort und Impuls beschreibt, also
dann erhält man aus deren Ableitungen die Bewegungsgleichungen:
Für die oben genannte Energie ergibt das:
Wenn man zum Potenzial und zum Impuls jeweils noch einen konstanten Term hinzufügt, also definiert:
und dann die Bewegung des Teilchens mittels der „Index-1-Größen“ beschreibt, so lautet die Energie
und die Bewegungsgleichungen sind:
Da außerdem
gilt (denn Konstanten verschwinden ja in der Ableitung), sind das genau dieselben Bewegungsgleichungen.
Es ist also möglich, sowohl für die Energie als auch für den Impuls einen konstanten Summanden festzulegen, ohne die dadurch beschriebene Physik zu verändern. Diese Eigenschaft nennt man globale Eichsymmetrie.
Nun stellt sich die Frage, ob man stattdessen auch nichtkonstante Größen addieren kann, ohne die Bewegungsgleichungen zu verändern, also allgemein
wobei die Konstante q herausgezogen wurde, weil es sich nachher als praktisch erweisen wird; für die Argumentation hat diese Tatsache aber keine Bedeutung.
Es ist unmittelbar klar, dass es nicht möglich ist, beliebige Funktionen für $ \phi $ und $ {\vec {A}} $ zu verwenden, da z. B. ein beliebiges $ \phi $ wie ein zusätzliches Potenzial wirkt. Nimmt man für beide Größen beliebige Funktionen an, so zeigt Nachrechnen, dass die Bewegungsgleichungen gegeben sind durch:
Dies sind aber gerade die Bewegungsgleichungen, die man erwarten würde, wenn das Teilchen die Ladung q hat und sich außer im Potenzial V auch noch im elektrischen Feld
und im magnetischen Feld
bewegt.
Die Bewegung wird nun nicht geändert, wenn eine Änderung von $ \phi $ und $ {\vec {A}} $ zu $ \phi '=\phi +\delta \phi $ und $ {\vec {A}}'={\vec {A}}+\delta {\vec {A}} $ die Felder $ {\vec {E}} $ und $ {\vec {B}} $ nicht ändert (also insbesondere die Felder auf null lässt, wenn sie vorher null waren). Das bedeutet, dass $ \delta \phi $ und $ \delta {\vec {A}} $ die Gleichungen $ \textstyle \operatorname {rot} \delta {\vec {A}}=0 $ und $ \textstyle \partial _{t}\delta {\vec {A}}+\operatorname {grad} \delta \phi =0 $ erfüllen müssen. Da die Rotation eines Gradientenfeldes stets null ist, ist klar, dass die erste dieser Gleichungen erfüllt ist (und daher das magnetischen Feld unverändert bleibt), wenn für $ \delta {\vec {A}} $ der Gradient einer beliebigen zeit- und ortsabhängigen Funktion gewählt wird. Um die zweite Gleichung zu erfüllen, muss man dann als $ -\delta \phi $ die Zeitableitung dieser Funktion setzen, also das Potenzial entsprechend verringern. Wählt man also die Orts- und negative Zeitableitung ein und derselben Funktion als $ \delta {\vec {A}} $ und $ \delta \phi $, ändern sich die Bewegungsgleichungen für das Teilchen nicht. Durch eine solche Wahl ist daher eine lokale Eichsymmetrie gegeben.
In der Quantenmechanik werden Teilchen nicht mehr durch Ort und Impuls, sondern durch die sogenannte Wellenfunktion $ \psi ({\vec {x}},t) $ beschrieben. Diese ist ein Feld, also eine Funktion von Raum und Zeit, und im Allgemeinen komplex (z. B. ist sie in der nichtrelativistischen Schrödingergleichung ein komplexer Skalar und in der Dirac-Gleichung ein komplexer Spinor). Allerdings ist sie nicht eindeutig: Die Wellenfunktionen $ \psi ({\vec {x}},t) $ und $ \mathrm {e} ^{\mathrm {i} \phi }\psi ({\vec {x}},t) $ mit beliebig gewähltem, reellen $ \phi $ beschreiben beide denselben Zustand. Hierbei handelt es sich wiederum um eine globale Symmetrie. Mathematisch wird diese Symmetrie durch die Lie-Gruppe U(1) beschrieben, denn diese besteht genau aus den Zahlen $ \mathrm {e} ^{\mathrm {i} \phi } $.
Wie vorher im Fall der klassischen Bewegungsgleichung stellt sich hier die Frage, ob man statt der globalen Phase auch eine orts- und zeitabhängige Phase einführen könnte. Nun treten jedoch in der Bewegungsgleichung der Wellenfunktion (Schrödingergleichung, Dirac-Gleichung etc.) partielle Ableitungen auf, die bei der so veränderten Wellenfunktion zu Zusatztermen führen:
Diese Beziehungen kann man auch so interpretieren, dass die partiellen Orts- und Zeitableitungen durch die Ableitungsoperatoren
ersetzt werden. Der Zusammenhang mit dem elektromagnetischen Feld erschließt sich, wenn man die Form der Schrödingergleichung betrachtet:
wobei im Hamiltonoperator $ {\hat {H}} $ die Ortsableitungen über die Komponenten des Impulsoperators
auftreten. Ersetzen wir im Impulsoperator nun $ {\frac {\partial }{\partial x_{i}}} $ durch $ \operatorname {D} _{x_{i}} $, so erhalten wir:
Es tritt also ein zusätzlicher Summand auf, der wie ein Beitrag zum elektromagnetischen Vektorpotential $ {\vec {A}} $ aussieht. Analog ergibt sich beim Einsetzen von $ \operatorname {D} _{t} $ in die Schrödingergleichung ein zusätzlicher Potentialterm der Form $ {\frac {\partial \phi ({\vec {x}},t)}{\partial t}} $. Diese zusätzlichen elektromagnetischen Potentiale erfüllen aber gerade die Eichbedingung für elektromagnetische Felder, sodass die Physik in der Tat durch die lokale Phase nicht beeinflusst wird, sondern nur in der Beschreibung die elektromagnetischen Potentiale angepasst werden müssen.
Im Zusammenhang mit Beziehungen der Art $ {\vec {p}}\to {\vec {p}}+q{\vec {A}} $ spricht man oft von „minimaler Kopplung“.
In der Mathematik spielen Eichtheorien ebenfalls eine bedeutende Rolle bei der Klassifikation vierdimensionaler Mannigfaltigkeiten. So konnten Edward Witten und Nathan Seiberg 1994 mit eichtheoretischen Methoden topologische Invarianten definieren, die Seiberg-Witten-Invarianten.
Zur Geschichte: