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
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
Die Energie eines Teilchens in einem äußeren statischen Potenzial lässt sich schreiben als
mit vorgegebenem Potenzial
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
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
In der Quantenmechanik werden Teilchen nicht mehr durch Ort und Impuls, sondern durch die sogenannte Wellenfunktion
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
auftreten. Ersetzen wir im Impulsoperator nun
Es tritt also ein zusätzlicher Summand auf, der wie ein Beitrag zum elektromagnetischen Vektorpotential
Im Zusammenhang mit Beziehungen der Art
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: