Die topologische Quantenfeldtheorie (TQFT) ist eine Verbindung der Quantenfeldtheorie mit Topologie, die Ende der 1980er Jahre entstand (Edward Witten, Michael Atiyah). Verbindungen von Quantentheorie zur Topologie hatte es schon vorher gegeben. Wichtige Größen der TQFT sind unabhängig von der Metrik der Mannigfaltigkeiten, auf denen die Quantenfelder definiert sind. Sie sind deshalb als quantenfeldtheoretische Modelle von Interesse, die topologische Invarianten der zugrundeliegenden Mannigfaltigkeiten liefern und fanden deshalb auch in der reinen Mathematik Verwendung, zum Beispiel in der Knotentheorie, in der Topologie von vierdimensionalen Mannigfaltigkeiten und in der Theorie von Modulräumen in der algebraischen Geometrie. In der Physik wurden sie zum Beispiel als Modell für Quantengravitation betrachtet, aber auch als effektive Feldtheorien in der Festkörperphysik, wo topologische Invarianten zum Beispiel beim Quanten-Hall-Effekt von Bedeutung sind.
Definition Bearbeiten
Betrachtet wird der Funktionalintegral-Formalismus von Quantenfeldtheorien, die durch skalare Wirkungsfunktionale in den Feldern gegeben sind. Diese sind wiederum als Funktionen auf einer Riemannschen Mannigfaltigkeit mit Metrik definiert. Man betrachtet (zum Beispiel als Observable) Funktionale der Felder und deren Vakuumerwartungswerte:
Die Quantenfeldtheorie heißt topologisch, falls die Vakuumerwartungswerte der Produkte von Operatoren nicht von der Metrik abhängen, sie sind invariant unter Variation der Metrik auf M:
Die entsprechenden Operatoren werden Observable genannt.
Grundsätzlich gibt es zwei Möglichkeiten eine TQFT zu realisieren. Im einfachsten Fall sind das Wirkungsfunktional und die Operatoren metrikunabhängig, dann spricht man von TQFT vom Schwarz-Typ (nach Albert S. Schwarz). Ein Beispiel ist die Chern-Simons-Eichtheorie. Das erwies sich aber vielfach als zu einschränkend. Im Fall von TQFT vom Witten-Typ (oder kohomologischen TQFT) wird verlangt, dass eine skalare Symmetrie existiert (deren infinitesimale Transformationen mit bezeichnet wird, was aber nicht mit der Variation verwechselt werden sollte), unter der das Wirkfunktional und die Observablen invariant sind:
Außerdem soll für den Energie-Impuls-Tensor, definiert durch
gelten:
wobei ein Tensor ist. Das stellt sicher, dass die Vakuumerwartungswerte der Produkte von Observablen bei Variation der Metrik verschwinden.
Ein Beispiel für TQFT vom Witten-Typ ist die Donaldson-Witten-Theorie.
Geschichte Bearbeiten
Erste Ansätze zur TQFT stammen von Albert S. Schwarz, der 1978 Ray-Singer-Torsion, eine topologische Invariante, durch eine Verteilungsfunktion einer Quantenfeldtheorie ausdrückte. Grundlegend für die weitere Entwicklung – nicht nur bei TQFT – war Edward Wittens Arbeit von 1982 über Supersymmetrie und Morsetheorie. 1988 gelang es Witten dann in seinem Aufsatz Topological Quantum Field Theory, zwei wichtigen mathematische Entwicklungen, den Theorien von Simon Donaldson über topologische Invarianten von 4-Mannigfaltigkeiten (die wesentlich selbstduale Yang-Mills-Theorien auf 4-Mannigfaltigkeiten und deren Instantonen benutzte) und von Andreas Floer (Floer-Homologie) bei 3-Mannigfaltigkeiten, eine Interpretation mit Hilfe einer TQFT zu geben. Um die gleiche Zeit entwickelte Michael Atiyah einen axiomatischen Zugang zu TQFT und interpretierte damit die Theorien von Witten, Donaldson, Floer und anderen. Ein Höhepunkt der Entwicklung war bald darauf die Berechnung von Knoteninvarianten durch Witten mit der Chern-Simons-Theorie.
Axiomatische Definition Bearbeiten
Axiomatische Ansätze zur Charakterisierung topologischer Quantenfeldtheorien stammen größtenteils von Michael Francis Atiyah, der durch Axiome für konforme Feldtheorien von Graeme Segal und die (oben erwähnte) geometrische Interpretation der Supersymmetrie Edward Wittens inspiriert wurde. Sie sind vor allem für TQFT vom Schwarz-Typ nützlich und es ist unklar, ob sie alle TQFT vom Witten-Typ umfassen. Die grundlegende Idee ist, eine topologische Quantenfeldtheorie durch einen Funktor einer gewissen Kategorie von Kobordismen in die Kategorie der Vektorräume zu definieren.
Sei ein kommutativer Ring mit 1 (in der Regel , oder ). Die Axiome einer topologischen Quantenfeldtheorie auf einer Mannigfaltigkeit der Dimension definiert über dem Ring basieren auf folgenden Objekten:
- Ein endlich erzeugter -Modul , der jeder orientierten geschlossenen glatten d-dimensionalen Mannigfaltigkeit zugeordnet wird
- Ein Element in Verbindung mit jeder orientierten glatten (d+1)-dimensionalen berandeten Mannigfaltigkeit (mit Rand )
Die Axiome sind dann:
- 1. ist funktorial in Bezug auf die die Orientierung erhaltenden Diffeomorphismen von und .
- 2. ist involutorisch, das heißt = , wobei die Mannigfaltigkeit mit der entgegengesetzten Orientierung und den zu dualen Modul bezeichnet.
- 3. ist multiplikativ. Für disjunkte d-dimensionale Mannigfaltigkeiten , gilt .
- 4. = für die d-dimensionale leere Mannigfaltigkeit und für die (d+1)-dimensionale leere Mannigfaltigkeit .
- 5. = . Äquivalent dazu, ist disjunkt zu .
Axiome 4 und 5 wurden von Atiyah ergänzt.
Physikalische Interpretation Bearbeiten
Der zweite und der vierte Punkt sind mit der zugrundeliegenden Mannigfaltigkeit (im Fall der Raumzeit mit relativistischer Invarianz) verbunden, während der dritte und der fünfte die quantenmechanischen Eigenschaften repräsentiert.
ist der physikalische Raum (also dreidimensional in den üblichen physikalischen Theorien) und die Zusatzdimension bei dem Produkt stellt eine „imaginäre Zeit“ dar, das heißt die übliche Zeitvariable mit der imaginären Einheit als Vorfaktor. Das Modul ist der Hilbertraum der betrachteten Quantentheorie. Mit dem Hamilton-Operator ergibt sich der im Hilbertraum der quantenmechanischen Zustände wirkende Zeitentwicklungsoperator bzw. der Zeitentwicklungsoperator zur „imaginären Zeit“ . Die wichtigsten Eigenschaften topologischer Feldtheorien sind und, dass es keine Dynamik bzw. Ausbreitung entlang des Zylinders gibt. Es kann aber ein Tunneln von Σ0 nach Σ1 über eine dazwischen liegende Mannigfaltigkeit mit geben.
Für stellt der Vektor im Hilbertraum den Vakuumzustand auf dar. Für eine geschlossene Mannigfaltigkeit ist der Vakuumerwartungswert.
Die Entwicklung einer dreidimensionalen Mannigfaltigkeit (zum Beispiel eines Knotens) in der vierdimensionaler Raumzeit (oder allgemeiner einer d-dimensionalen Mannigfaltigkeit in der (d+1)-dimensionalen Raumzeit) entspricht einem Kobordismus. Sei ein Raum (zum Beispiel ein Knoten) zum Zeitpunkt und der Raum zum Zeitpunkt , so ist die Weltfläche dieser Räume ein Kobordismus mit A und B als dessen Rändern: . Die zugehörigen Hilberträume von A und B werden in der TQFT durch Operatoren aufeinander abgebildet, die nur von der Topologie von abhängen.
Beispiele Bearbeiten
Chern-Simons-Theorie Bearbeiten
Die Chern-Simons-Theorie ist eine TQFT vom Schwarz-Typ mit einer Eichgruppe und zugehörigem Hauptfaserbündel mit Zusammenhang . Das Wirkungsfunktional ist das Integral der Chern-Simons-3-Form über die dreidimensionale Mannigfaltigkeit :
Dabei steht für die Spurbildung in der Eichgruppe. Die Chern-Simons-Theorie bietet einen feldtheoretischen Rahmen zur Beschreibung dreidimensionaler Knoten und Verschlingungen (Links). Witten zeigte, dass die Vakuumerwartungswerte von durch Wilson-Loops gegebenen Operatoren topologische Knoteninvarianten ergeben. Wilson-Loops zu einer Schleife in sind definiert als
wobei eine irreduzible Darstellung von bezeichnet und die Wegordnung des Exponentials. Ein Link wird als Vereinigung von Schleifen betrachtet und die Korrelationsfunktion der zugehörigen Wilsonloops ist im Fall proportional zum HOMFLY-Polynom (für liegt der Spezialfall des Jones-Polynoms vor), für erhält man die Kauffman-Polynome. Auch die Vassiliev-Invarianten der Knotentheorie (nach Wiktor Anatoljewitsch Wassiljew) können störungstheoretisch in der Chern-Simons-Theorie berechnet werden (sie sind Koeffizienten der störungstheoretischen Entwicklung der Korrelationsfunktionen).
Neben der hier betrachteten dreidimensionalen Theorie gibt es auch höherdimensionale Verallgemeinerungen.
Die Chern-Simons-Theorie ist die nichtabelsche Verallgemeinerung der einfachsten TQFT vom Schwarz-Typ:
BF-Theorie Bearbeiten
Eine weitere topologische Quantenfeldtheorie stellt die BF-Theorie dar (BF steht für Background Field, Hintergrundfeld). Sie ist als einzige topologische Feldtheorie konsistent in jeder Dimension formulierbar. Ihre Wirkung ist folgendermaßen definiert:
Wieder gibt es zur Eichgruppe ein Hauptfaserbündel (Prinzipalbündel) mit Zusammenhang . Außerdem gibt es ein dynamisches Feld , das im hier betrachteten Fall einer vierdimensionalen Mannigfaltigkeit M eine 2-Form mit Werten in der adjungierten Darstellung der Eichgruppe ist (im allgemeinen -dimensionalen Fall ist sie eine -Form). Die Spurbildung erfolgt in der gewählten Darstellung der Eichgruppe.
Die Krümmung ist gegeben durch
Die BF-Theorie verallgemeinert den Fall der Yang-Mills-Theorie, in der durch gegeben ist, mit dem Hodge-Stern-Operator *, der der 2-Form die -Form zuordnet ( ist die Dimension der zugrundeliegenden Mannigfaltigkeit M). Das Wirkfunktional ist bei der Yang-Mills-Theorie proportional:
Eine bestimmte Formulierung der Einstein-Hilbert-Wirkung der Gravitation hat die Form einer BF-Theorie.
Wittensche Feldtheorien Bearbeiten
Die Donaldson-Witten-Theorie ist eine der wichtigsten Vertreter der Wittenschen Feldtheorien. Sie bietet eine Möglichkeit zum Studium 4-dimensionaler, glatter Mannigfaltigkeiten. Wichtig sind hier Seiberg-Witten-Invarianten.
Die erste Version einer solchen Feldtheorie wurde von Edward Witten 1988 in Form einer topologischen Yang-Mills-Theorie veröffentlicht, einer getwisteten Version einer supersymmetrischen Yang-Mills-Theorie in vier Raum-Zeit-Dimensionen. Witten konnte damit Invarianten von Simon Donaldson für vierdimensionale Mannigfaltigkeiten und von Andreas Floer (Floer-Homologie) im Rahmen einer TQFT interpretieren.
Wie schon oben dargestellt, beruhen TQFT vom Witten-Typ auf der Existenz einer skalaren Symmetrie :
Metrikunabhängigkeit Bearbeiten
Die topologische Quantenfeldtheorie ist gegenüber der Metrik und Koordinatentransformationen der Raumzeit invariant, das heißt, dass sich zum Beispiel die Korrelationsfunktionen der Feldtheorie bei Veränderungen der Raumzeit-Geometrie nicht ändern. Deshalb sind topologische Feldtheorien auf klassischen Minkowski-Räumen aus der Speziellen Relativitätstheorie und der Elementarteilchenphysik nicht besonders nützlich, da der Minkowski-Raum aus topologischer Sicht ein kontrahierbarer Raum ist und sämtliche topologischen Invarianten trivial sind. Daher werden topologische Feldtheorien meistens nur auf gekrümmten Riemannschen Flächen bzw. auf gekrümmten Raumzeiten betrachtet und sind für das Studium von Modellen der Quantengravitation von Interesse, deren Formulierung in Bezug auf die Metrik hintergrundunabhängig sein sollte.
Siehe auch Bearbeiten
Literatur Bearbeiten
Originalarbeiten:
- Michael Atiyah: New invariants of three and four dimensional manifolds. In: Proc. Symp. Pure Math. Band 48. American Math. Soc., 1988, S. 285–299.
- Michael Atiyah: Topological quantum field theories. In: Publications Mathématiques de l’IHÉS. Band 68, 1988, S. 175–186, doi:10.1007/BF02698547 (online [PDF]).
- E. Witten: Topological Quantum Field Theory. Comm. Math. Phys., Band 117, 1988, S. 353–386, Project Euclid.
- E. Witten: Quantum Field Theory and the Jones Polynomial. Comm. Math. Phys., Band 121, 1989, S. 351, Project Euclid.
- E. Witten: Supersymmetry and Morse Theory. J. Diff. Geom., Band 17, 1982, S. 661–692, Project Euclid.
- E. Witten: Topological sigma models. Communications in Mathematical Physics, Band 118, 1988, S. 411–449, Project Euclid.
Übersichten:
- D. Birmingham, M. Blau, M. Rakowski, G. Thompson: Topological Field Theory. Physics Reports, Band 209, 1991, S. 129–340.
- S. Cordes, Gregory W. Moore, S. Ramgoolam: Lectures on 2D Yang-Mills-Theory, eqivariant cohomology and topological field theories. Les Houches Lectures, Session 62, Elsevier 1994, Arxiv.
- J. M. F. Labastida, M. Marino: Topological Quantum Field Theory and Four Manifolds. Elsevier 2005.
- J. M. F. Labastida, C. Lozano: Lectures on Topological Quantum Field Theory. In: H. Falomir, R. Gamboa, F. Schaposnik: Trends in Theoretical Physics. AIP, New York 1998, Arxiv.
- J. M. F. Labastida, C. Lozano: Topological Quantum Field Theory. In: Jean-Pierre Françoise, Gregory L. Naber, Tsou Sheung Tsun: Encyclopedia of Mathematical Physics. Elsevier, 2006.
- Ruth Lawrence: An introduction to topological field theory, in: L.H. Kauffman (Hrsg.), The interface of knots and physics, Proc. Symp. Applied Math. 51, Amer. Math. Soc., 1996, S. 89–128
- Cumrun Vafa: Unifying Themes in Topological Field Theories, Conference on geometry and topology in honor of M. Atiyah, R. Bott, F. Hirzebruch and I. Singer, Harvard University 2000, Arxiv
- Albert Schwarz: Topological Quantum Field Theories. UC Davis, 2000, Arxiv.
Weblinks Bearbeiten
- Vladimir G. Ivancevic, Tijana T. Ivancevic: Undergraduate Lecture Notes in Topological Quantum Field Theory. 2008, Arxiv.
- Lexikon der Physik. Topologische QFT. Spektrum.
Einzelnachweise Bearbeiten
- Siehe Vladimir G. Ivancevic, Tijana T. Ivancevic: Undergraduate Lecture Notes in Topological Quantum Field Theory. 2008, S. 36, Arxiv.
- Schwarz: The partition function of a degenerate quadratic functional and the Ray-Singer-Invariants. Lett. Math. Phys., Band 2, 1978, S. 247.
- Atiyah: Topological quantum field theories. Pub. Math. IHES 1988, S. 178.
- Higher dimensional Chern Simons theory. Ncat-Lab.
- Zum Beispiel Alberto Cattaneo, Paolo Cotta-Ramusino, Jürg Fröhlich, Maurizio Martellini: Topological BF-Theories in 3 and 4 dimensions. J. Math. Phys., Band 36, 1995, S. 6137–6160, Arxiv.
- Gravity as BF theory. Ncat-Lab.
- Die Symmetrieoperatoren stehen mit dem Becchi-Rouet-Stora-Tyutin-Formalismus (BRST) der Quantisierung von Eichfeldtheorien (oder allgemein Quantentheorien mit Zwangsbedingungen) und den dort verwendeten nilpotenten Operatoren in Verbindung.