Ich würde gerne mehr über Ehresmann-Verbindungen in Vektorbündeln erfahren und wie sie sich auf das elektromagnetische Feld und das Elektron in der Quantenmechanik beziehen.
Hintergrund: Die Schrödinger-Gleichung für ein freies Elektron lautet
Schreiben Sie nun die Schrödinger-Gleichung für ein Elektron in einem durch das Vektorpotential gegebenen elektromagnetischen Feld auf , ersetzen wir einfach den Impuls- und Zeitoperator durch die folgenden Operatoren
Ich habe gehört, dass dies eine "kovariante Ableitung" darstellt, und ich würde gerne mehr darüber wissen.
Meine Fragen :
Ich habe gehört, dass eine Verbindung eine "Lie-Algebra-bewertete Einsform" ist. Wie kann ich mir das vorstellen? Warum nimmt es in der Lie-Algebra Werte von an ?
Da eine Verbindung eine Ein-Form ist, wie kann ich sie auf einen Abschnitt anwenden ? Ich meine, eine Eins-Form frisst Vektoren, aber ich habe hier einen Schnitt? Was ist , ist es auch ein Abschnitt?
Ich entschuldige mich für meine offensichtliche Verwirrung, die natürlich der Grund für meine Fragen ist.
Hier ist eine kurze (-ish) Antwort. Ein Vektorbündel ist eine Familie von Vektorräumen über einer Mannigfaltigkeit. Die Vektorräume können Basen haben. Die Mannigfaltigkeit kann Koordinaten haben. Die beiden Konzepte sind a priori nicht verwandt (jetzt führt eine Koordinatenänderung beim Bündel von Tangentialräumen zu einer Änderung der Basis; diese Tatsache führt häufig zu Verwirrung). Sobald Sie eine Basis für Ihren Vektorraum ausgewählt haben , definieren Sie einen Vektor durch seine Komponenten – aber jemand anderes beschreibt möglicherweise denselben Vektor in einer anderen Basis. Physikalisch übersetzt: Basiswechsel = Eichtransformation.
Im Fall eines geladenen Teilchens ist die Wellenfunktion die Komponente eines Ein-Vektor-Abschnitts; auf einer neuen Basis ändert sich diese Zahl um eine komplexe Zahl ungleich Null (die von Punkt zu Punkt variieren kann). Auch hier ist die Wellenfunktion ein Abschnitt, und ein Abschnitt bedeutet einen Vektor für jeden Punkt in der Mannigfaltigkeit. Wie differenzieren wir eine Funktion, die Werte in verschiedenen Vektorräumen über verschiedene Punkte annimmt? Wir brauchen eine Möglichkeit , die Vektorräume zu verbinden. Die Verbindung tut dies; pragmatisch ist es nur eine Regel, um diese Differenzierung vorzunehmen.
Natürlich wird die Differentiation in verschiedenen Vektorräumen unterschiedlich aussehen, sodass die Form der Verbindung von der Basis abhängt und sich unter Eichtransformationen ändert (genauso wie sich die Form einer linearen Transformation unter Änderung der Basen ändert). Das ist es, was Ihnen verschiedene chaotische Formeln darüber, wie sich Dinge „verwandeln“, zu sagen versuchen.
Ich bin mir bei dieser Frage nicht wirklich sicher. Fragen Sie vielleicht nur nach der Notation? Sie können wählen, was Ihnen gefällt. Aber normalerweise wählt man ein Koordinatensystem und arbeitet einfach darin. Es ist sicherlich kein Problem, wenn Sie in einer flachen Raumzeit arbeiten: Dort haben Sie für alles schöne globale Koordinaten.
Erster Satz ist richtig. Für beliebige Lie-Gruppe mit Lie-Algebra Möglicherweise erhalten Sie eine sogenannte G-Struktur (z -Struktur für Riemannsche Mannigfaltigkeiten) und Sie können darauf eine Verbindung definieren. Es ist ziemlich schwere Mathematik, aber am Ende des Tages erhalten Sie ein -bewertet (genauer gesagt nimmt es Werte in der adjungierten Darstellung von ) ein Formular und kovariante Ableitung wie die, die du geschrieben hast.
Im Allgemeinen stelle ich Verbindungen wie folgt dar: Sie setzen einen Vektor ein und die Verbindung gibt Ihnen ein Element der Lie-Algebra zurück, das ein Generator einer Transformation in der Lie-Gruppe ist. ZB bei einer Riemannschen Mannigfaltigkeit fügt man in die Verbindung die Richtung ein, in die man gehen möchte und bekommt (ganz grob gesagt) die Information zurück, wie stark der Raum in diese Richtung gekrümmt ist. Genauer gesagt, wenn Sie integrieren Sie erhalten ein Element das sagt Ihnen, wie jeder Vektor entlang der geschlossenen Kurve parallel transportiert wird (dies wird Holonomie genannt).
Zur letzten Frage nach dem Warum : gut, weil es Elektromagnetismus ist. Verschiedene Gruppen bieten Ihnen verschiedene Interaktionen (z gibt Ihnen QCD). Diese Gruppen entstehen, weil die Theorien etwas enthalten, das Eichsymmetrie genannt wird. Ich bin sicher, Sie wissen, dass Maxwell-Gleichungen, wenn sie ausgeschrieben werden und , sind gegenüber bestimmten Transformationen invariant. Konkreter und klarer, als , wo ist der elektromagnetische Tensor und ist das Viererpotential. In dieser Form ist es offensichtlich, dass Gleichungen für verändere dich nicht bei der Transformation . Lassen Sie uns nun einen Schritt zurück zu gehen und beachten Sie, dass, wenn Sie die Theorie lokal invariant machen wollen (warum sollten Sie das tun? weil es schön ist, lokale Eigenschaften anstelle von globalen zu haben. Und die Theorie ist eindeutig invariant in Bezug auf globale Phasenänderungen, also versuchen wir es einfach) bezüglich des Phasenwechsels müssen Sie neue Freiheitsgrade einführen das sich genau so transformiert wie das Viererpotential in der Maxwell-Theorie! Eigentlich haben wir gerade Photonen zurückgewonnen. Also, zum Schluss: Wenn Sie möchten Als Gruppe von Symmetrien taucht der Elektromagnetismus auf. Beachten Sie jedoch, dass Sie, um all dies konsistent zu berücksichtigen, im Rahmen der Quantenfeldtheorie arbeiten müssen, da die Schrödinger-Gleichung eindeutig nicht relativistisch invariant ist, was eine Eigenschaft ist, die wir sicherlich gerne in der Theorie des Elektromagnetismus hätten.
Dies kann ein wenig verwirrend sein, besonders in der physikalischen Literatur, und ich bezweifle, dass ich es wirklich klarer machen kann. Wahrscheinlich wird Sie das nur noch mehr verwirren, aber hier gilt: Es gibt verschiedene Bereiche von Abschnitten und -Strukturen und Darstellungen von beiden und zwischen denen man wirklich unterscheiden sollte, die aber in der Physik identifiziert werden. Dies rigoros zu machen würde zu viel Platz beanspruchen, daher schlage ich vor, dass Sie sich einige Bücher über Eichtheorie ansehen. Ich sage Ihnen nur, dass Vektor (genauer gesagt Vektorfeld ) auch ein Abschnitt ist und umgekehrt. Beachten Sie jedoch, dass hier zwei weitere Begriffe vermischt werden: abstrakter Vektor als Konzept aus der linearen Algebra (das ist unsere : Sie wissen, dass es diese Art von Vektor ist, weil es keinen Raumzeitindex hat ) und Vektor als Element der Minkowski-Raumzeit, sagen wir . Wie für die , wirkt es (durch Erweiterung) auch auf die Tensoralgebra des Abschnittsraums (in diesem einfachen Fall wo hat keinen Index, die Tensoralgebra ist isomorph zur normalen Tangenten-Tensoralgebra) und gibt Ihnen ein Leben in einer Form in dieser Tensoralgebra, also ja: es ist ein Abschnitt, aber in einem völlig anderen (wenn auch isomorphen) Raum!
Keine Notwendigkeit, sich zu entschuldigen. Diese Dinge sind ziemlich schwierig und es braucht viel Zeit, um alles zu groken, und ich denke, viele Physiker würden den größten Teil des mathematischen Inhalts einfach mit der Hand wegwinken und weitermachen, um etwas zu berechnen. Was hier möglich ist, weil nur eindimensional ist, ist ihre Lie-Algebra eindimensional, und so ist es . Sie arbeiten also die ganze Zeit nur mit Zahlen und brauchen keine abstrakten Konzepte. Abgesehen davon, dass Ihnen dies kein bisschen hilft, wenn Sie versuchen, dies zu verallgemeinern (entweder auf QCD mit nicht-abelscher Gruppe , oder zur gekrümmten Raumzeit), oder auch wenn Sie versuchen, über einige Konzepte nachzudenken, die aus der Sicht der Geometrie eher grundlegend sind (zB versuchen Sie, darüber nachzudenken, was die Bedeutung der oben erwähnten Holonomie in Bezug auf ist Im Falle des ). Es ist also gut, dass Sie versuchen, die Kernprinzipien bereits zu verstehen.
Update zu Gregs Frage in den Kommentaren:
Ich bin mir nicht sicher, ob ich Sie vollständig verstehe, aber ich habe das Gefühl (wahrscheinlich falsch), dass Sie hier verschiedene Vorstellungen von Invarianz verwechseln. Es gibt mindestens zwei Begriffe der physikalischen Invarianz (unter der Wirkung der Lorentz-Gruppe und unter der Wirkung von ) und auch ein Begriff der Invarianz im Sinne von "koordinatenfrei". Nun, wenn mein Gefühl richtig ist, fragen Sie nach einem Analogon von zum . Diese beiden Dinge sind sich in der Tat sehr ähnlich, aber auf eine etwas verschleierte Weise. Etwas präziser: ist ein Abschnitt eines Tangentialbündels und wir zerlegen es in Bezug auf einen Abschnitt des kanonischen Tangentenrahmenbündels , die auch eine natürliche Aktion der Gruppe trägt (Die Aktion ist ein lokaler Basiswechsel und ist der Rang von ). Mit anderen Worten, wir haben eine -Struktur hier und hier kommt die "koordinatenfreie" Invarianz her. Ähnlich verhält es sich mit : Es ist ein Abschnitt eines Vektorbündels der ein trägt -Struktur. An dieser Stelle sollte auch klar sein, wo der Unterschied zwischen den beiden Fällen liegt: Bei ersterem hat man zwei Bundles und während es in letzterem nur gibt . Es macht also keinen Sinn danach zu fragen unveränderlicher zu sein, als es bereits ist: Sie haben nichts, in Bezug auf das Sie es zerlegen könnten. Also anstatt darüber nachzudenken als Analogon des Abschnitts von , betrachten Sie es stattdessen als ein Analogon eines Abschnitts von .
Ich kann Ihre Verwirrung voll und ganz verstehen, da Sie sich natürlich von dieser neuen Sichtweise der Theorie überwältigt fühlen.
Die Antworten von Eric und Marek sind in Ordnung und ich werde nicht direkt auf Hauptbündel, lokale Trivialisierung und dergleichen eingehen. Ich möchte hier einen sehr intuitiven Ansatz vorstellen.
Ich würde vorschlagen, dass Sie ein oder zwei Schritte zurückgehen und versuchen, den Begriff einer kovarianten Ableitung in der klassischen Differentialgeometrie zu verstehen. Dort die kovariante Ableitung stellt sicher, dass, wenn Sie eine gewisse Menge ableiten auf einer Mannigfaltigkeit, sagen wir einer Oberfläche, diese neue Größe wird auch "auf der Mannigfaltigkeit" liegen (eigentlich etwas damit verwandtes wie der Tangentialraum).
Das folgende Beispiel soll hoffentlich verdeutlichen, was es bedeutet, dass etwas „am Verteiler bleiben“ muss.
Ok, machen wir das einfachste Beispiel, das man sich vorstellen kann, die Bewegung eines freien Massepunkts auf einer Oberfläche in der Newtonschen Mechanik. Wie Sie wissen, ist die Lagrange-Funktion in diesem Fall nur die kinetische Energie,
Also, was ist jetzt ? Wir müssen davon ausgehen, dass in jedem Punkt die Geschwindigkeit tangential zur Oberfläche ist. Dann wissen wir das wobei wir über die Indizes summieren und die Oberfläche durch eine Metrik beschrieben wird und wir haben die Geschwindigkeit durch die zeitliche Ableitung der Position des Teilchens ersetzt.
Zur Lösung des Systems benötigen wir zwei Terme. Zuerst wollen wir rechnen
zweite,
seit ist symmetrisch. Jetzt,
Schließlich sind die Bewegungsgleichungen gegeben durch
und m fallenlassen, wobei die Symmetrie in wiederverwendet wird und einige Indizes umbenennen, kommen wir zu
das ist genau durch die Bewerbung
Wo die Christoffel-Symbole direkt zu sehen sind
und ich hoffe ich habe mich nicht verrechnet.
Nun ist diese Bewegungsgleichung schon magisch, da sie genau die Bewegungsgleichung für ein Testteilchen in der Allgemeinen Relativitätstheorie ist . Aber was ist mit (anderen) Eichfeldtheorien?
Hier wird die Krümmung nicht direkt in Bezug auf die Mannigfaltigkeit definiert, sondern in Bezug auf eine Gruppe, die irgendwie daran „angehängt“ ist. Aus diesem Grund wird es einige Gruppenindizes geben, aber man kann diese weglassen, wenn die Lie-Algebra der Gruppe eindimensional ist, wie im Fall der Elektrodynamik. Dort ist unsere Krümmung
aber wir könnten auch sagen
wo jetzt
und
sind Indizes der Gruppe. Dies sieht für die Krümmung der Allgemeinen Relativitätstheorie viel vertrauter aus,
wo alle Indizes der Mannigfaltigkeit entsprechen, ist der Tangentialraum in gewisser Weise die Gruppe der allgemeinen Relativitätstheorie, grob gesagt.
Aus historischen Gründen werden die Christoffel-Symbole, die irgendwie (nicht immer!) die aufgrund der Krümmung auf das Teilchen wirkende Kraft auffangen, in Eichtheorien als Eichfelder bezeichnet und neu skaliert,
mit wieder Gruppenindizes und .
Wenn Sie nun etwas auf der Mannigfaltigkeit ableiten, müssen Sie diese Ableitung immer in Bezug auf die Christoffel-Symbole definieren, um "in der Mannigfaltigkeit" zu bleiben. Andererseits muss die Ableitung auch den Gruppencharakter respektieren, man könnte sagen, das Ergebnis muss „in der Gruppe“ bleiben. Dies wird durch eine kovariante Ableitung realisiert und hier werden die "Christoffel-Symbole" Eichfelder genannt.
Aufrichtig
Robert
Das beste Buch, das ich dazu gesehen habe, ist von Chris Isham mit dem Titel Modern Differential Geometry for Physicists . Es ist schwer, weil er alles rigoros macht, aber es lohnt sich am Ende für die konzeptionelle Klärung.
Es gibt im Grunde zwei Konzepte, die man sich besorgen muss: Hauptbündel und Vektorbündel. Der Begriff einer Verbindung kann in beiden unabhängig voneinander definiert werden und es ist nützlich zu wissen, wie man zwischen den beiden übersetzt.
Ein Hauptbündel hat eine Strukturgruppe, die in der Physik allgemein als Eichgruppe bekannt ist, und die Hauptkonstruktion, die daraus ein Vektorbündel ergibt, wird als assoziiertes Bündel bezeichnet, das durch Bereitstellung einer Darstellung der Struktur/Eichgruppe erhalten wird.
1) Die Notation ist schwer, weil es eine Menge Details zu beachten gibt. Jeder Schritt ist einfach, aber es ist die schiere Menge davon.
2) Eine Verbindung auf einem Hauptbündel ist eine Aufspaltung seines Tangentialbündels in ein vertikales Bündel und ein horizontales Bündel das heißt äquivariant , das heißt, es ist kompatibel mit der Wirkung der Strukturgruppe auf die Fasern. Die Verbindung 1-Form ergibt sich aus der Beobachtung, dass wir die Fasern des vertikalen Bündels mit dem tangentialen Bündel der Gruppe identifizieren können am Ursprung , das bekommen wir , und das ist genau die Lie-Algebra der Gruppe.
3) Man verwendet die Verbindung 1-Form nicht direkt so, wie Sie es angegeben haben. Stattdessen wird aus der Verbindung 1-Form eine kovariante Ableitung konstruiert, die selbst keine 1-Form ist.
Es ist erwähnenswert, dass Haupt- und Vektorbündel und die Verbindungen darauf globale Konstruktionen sind, während die Konstruktionen, die man normalerweise in der Physik sieht, typischerweise lokal sind. Um das lokale Bild zu erhalten, nimmt man normalerweise einen Abschnitt des Bündels und zieht dann die geometrische Struktur zurück.
Das war ein Punkt, der mich verwirrte. Zum Beispiel ist die mathematische Verbindung 1-Form global, aber die Physiker-Verbindung 1-Form ist lokal und sie sind unterschiedlich.
David z
Gregor Graviton