Angenommen, wir haben den Großteil eines topologischen Isolators, in Dimensionen, beschrieben durch einen quadratischen Hamiltonoperator in den Fermionfeldoperatoren, nämlich
Ich sehe, wie dieser Chern-Simons-Term aussieht, wenn man ein massives Dirac-Fermion in 2+1-Dimensionen an ein Äußeres koppelt Eichfeld und berücksichtigt dann den quadratischen Term in der Erweiterung der funktionalen Determinante des resultierenden Dirac-Operators. Aber im vorherigen Fall weiß ich nicht genau, wie ich es angehen soll, und ich habe mich gefragt, ob es durch Pfadintegralmethoden möglich ist.
Ich glaube, ich habe es herausgefunden.
Wir suchen nach der topologischen Antwort, daher genügt es, die Antwort eines beliebigen Systems zu betrachten, das durch einen Hamilton-Operator beschrieben wird, der adiabatisch mit demjenigen verbunden ist, mit dem wir begonnen haben. Insbesondere können wir eines mit einem flachen Spektrum verwenden: in dem die Beziehung hält lokal. Hier ist die Anzahl der besetzten Bänder und ist eine orthogonale Matrix von Eigenvektoren von . Insbesondere die Matrix beschreibt lokal das belegte Bündel. Wir können auch schreiben , wo geht der Projektor auf die Faser des belegten Bündels über . Die Krümmung des Bündels kann als Endomorphismus des trivialen Bündels beschrieben werden durch den Ausdruck . Der spätere Ausdruck ist bei der Berechnung der effektiven Aktion nützlich. Die Idee ist, dass wir damit beginnen und dann die minimale Kopplung mit einem externen Eichfeld durchführen. In einer Phasenraumdarstellung ( -Darstellung) und unter der Annahme, dass das externe Eichfeld in Skalen variiert, die größer sind als die typische Skala des Systems, können wir die Umkehrung der neuen Green-Funktion schreiben als . Schreiben wir haben . Die effektive Wirkung ergibt sich dann durch die formale Erweiterung . Die Zustandssumme sollte Gauge-invariant sein, daher werden wir nur nach solchen Termen suchen. In Dimensionen dürfen wir neben dem Maxwell-Term auch den Chern-Simons-Term haben . Wir suchen die quadratischen Terme (also im zweiten Term der zuvor geschriebenen Entwicklung), die haben und . Die Produkte unter der Funktionalspur sind tatsächlich Faltungen, und wenn wir die Transformation zur gemischten Orts-Impuls-Darstellung durchführen, erhalten wir eine verdrehte Produktentwicklung, nämlich das Moyal-Produkt: , wo ist die Poisson-Klammer. Uns reichen die ersten beiden Laufzeiten der Erweiterung. Suchen wir nach den genannten Begriffen landen wir beim Beitrag . Durch Ausführen des Integrals über die Frequenz , letzteres kann als gleich gezeigt werden , mit ( bezeichnet die erste Chern-Nummer des belegten Bündels), wie erwartet.
B. Mera