Lokale und globale Symmetrien

Könnte mich jemand in die Richtung einer mathematisch strengen Definition lokaler Symmetrien und globaler Symmetrien für eine gegebene (klassische) Feldtheorie führen?

Heuristisch weiß ich, dass globale Symmetrien "an jedem Punkt in der Raumzeit gleich wirken", während lokale Symmetrien "von dem Punkt in der Raumzeit abhängen, an dem sie wirken".

Aber das scheint irgendwie unbefriedigend. Immerhin Lorentz-Symmetrie für ein Skalarfeld ψ ( x ) ψ ( Λ 1 x ) wird herkömmlicherweise als globale Symmetrie bezeichnet, sondern auch eindeutig Λ 1 x kommt drauf an x . Die naive Anwendung der obigen Aphorismen funktioniert also nicht!

Ich habe die folgende Definition aus verschiedenen Quellen zusammengetragen, einschließlich dieser . Ich denke jedoch, dass es falsch ist, und ich verwechsle verschiedene Prinzipien, die in meinem Kopf noch nicht klar sind. Stimmen die Leute zu?

Eine globale Symmetrie ist eine Symmetrie, die aus der Wirkung einer endlichdimensionalen Lie-Gruppe (z. B. Lorentz-Gruppe, U ( 1 ) )

Eine lokale Symmetrie ist eine Symmetrie, die aus der Wirkung einer unendlichdimensionalen Lie-Gruppe entsteht.

Wenn das stimmt, wie sehen Sie die lokale Symmetrie des Elektromagnetismus? EIN μ EIN μ + μ λ als Aktion einer Lügengruppe?

Ihr Beispiel (v3) heißt globale Symmetrie, weil Λ hängt nicht davon ab x .

Antworten (1)

Ihre vorgeschlagenen Definitionen sind nicht ganz korrekt. Ich werde korrekte Definitionen skizzieren, aber ich werde sie nicht wirklich geben, weil ich nicht weiß, wie Sie die klassische Feldtheorie definieren.

Eine Gruppe lokaler Symmetrien ist eine Gruppe von Symmetrietransformationen, bei denen Sie das System an verschiedenen Orten in Raum / Zeit unterschiedlich ändern können.

Eine Symmetrie ist global (im Sinne der Feldtheorie), wenn sie an jedem Punkt gleich wirkt.

Lokale Symmetrien sind notwendigerweise unendlichdimensional, es sei denn, die Raumzeit-Mannigfaltigkeit besteht aus endlich vielen Punkten (was in der Gittereichtheorie der Fall ist). Globale Symmetrien sind normalerweise endlichdimensional. Feldtheorien mit unendlich vielen globalen Symmetrien sind entweder sehr interessant oder nicht sehr interessant, je nachdem, mit wem man zusammen ist.

Eichsymmetrien sind in der Regel lokale Symmetrien. Sie müssen nicht sein. Sie können eine globale messen Z / 2 Z , wenn du Lust dazu hast. Aber die nützlichsten Eichsymmetrien sind diejenigen, die es uns ermöglichen, die Physik des Elektromagnetismus und der Kernkräfte in Form von Variablen mit lokalen Wechselwirkungen zu beschreiben. Unsere Beschreibung der Schwerkraft in Form eines metrischen Tensors beinhaltet auch Eichsymmetrien. Das ist vielleicht mehr verwirrend als nützlich.

Lassen Σ wahrscheinlich die Raumzeit sein R 3 , 1 . Die lokale Symmetrie der 1 -Form Beschreibung des Elektromagnetismus ist eine Aktion der Gruppe G = { λ : Σ U ( 1 ) } auf dem Feldplatz F Ω 1 ( Σ ) , in welchem λ sendet das 1-Formular EIN zum 1 -bilden λ ˙ EIN jeweils gegeben x in Σ durch

( λ ˙ EIN ) μ ( x ) = EIN μ ( x ) + λ 1 μ λ ( x ) .
Die Gruppe der Eichtransformationen ist die Untergruppe G 0 von Funktionen, die im Unendlichen zur Identität werden. An elektromagnetischen Phänomenen können wir anscheinend nichts messen, was davon abhängt F und G , außer durch den Quotienten F / G 0 .

Können Sie auf ein Beispiel für einen gemessenen globalen Wert verweisen? Z / 2 Z bitte? Hört sich interessant an.
Gute Antwort. Ich möchte hinzufügen, dass viele Physiker eine etwas andere Definition von "Eichgruppe" verwenden. Anstatt den Raum von Karten zu betrachten (der unendlich dimensional ist) M G Als Gauge-Gruppe rufen die Leute normalerweise an G die Eichgruppe (die normalerweise endlichdimensional ist).
@MichaelBrown: Ein dummes Beispiel: Angenommen, Sie möchten die klassische Mechanik eines Teilchens weiter beschreiben R P 2 . Karten zu R P 2 sind wahrscheinlich am einfachsten als Karten zu denken S 2 , modulo die offensichtliche globale Wirkung von Z / 2 .
@Heidar: Ja. Ich habe es vermieden, diesen Begriff zu verwenden. Aber ich stimme zu: Es ist eine gute Konvention, Eichgruppe für Zielraum und Gruppe lokaler Transformationen für Karten zu diesem Raum und Gruppe von Eichtransformationen für die Untergruppe der lokalen Transformationen zu sagen, die tatsächlich Eichtransformationen sind (diejenigen, die verschwinden bei Unendlichkeit).
... und dann habe ich die Antwort so bearbeitet, dass sie die Begriffe enthält ...
Wunderbare Antwort - das hat alles viel geklärt, vielen Dank!
@user1504: Nur eine Frage, warum funktioniert deine λ einordnen müssen U ( 1 ) ? Wäre eine allgemeinere λ mit Zielraum C nicht funktionieren, aus irgendeinem Grund?
@EdwardHughes: Beachten Sie, dass ich in dieser letzten Gleichung einen Tippfehler gemacht habe. Faktor vergessen λ 1 , was den zweiten Term gleich macht μ ln ( λ ( x ) ) . λ sollte keine Werte aufnehmen C × , denn dann würden wir komplexwertige Formen zu reellen Formen hinzufügen, nachdem wir uns bereits entschieden haben, das Eichfeld durch reelle 1-Formen darzustellen.
Ah stimmt, das macht jetzt mehr Sinn! Prost!
@user1504: Du sagst, du könntest ein globales ℤ/𝟚ℤ messen. Ich bin verwirrt durch die Verwendung von "gauge" als Verb in diesem Zusammenhang. Was machst du, wenn du etwas misst?
@Friedrich: Der Kürze halber erkläre ich es in klassischer Physik. Wenn Sie eine Gruppe haben G auf den Raum einwirken H von Geschichten, zu 'messen' G bedeutet, ein anderes klassisches System zu betrachten, dessen Geschichtsraum der Quotient ist H / G .