Chern-Simons-Begriff: Integrieren von Gap-Fermionen in 2+1-Dimensionen, gekoppelt an ein externes Eichfeld

Angenommen, wir haben den Großteil eines topologischen Isolators, in 2 + 1 Dimensionen, beschrieben durch einen quadratischen Hamiltonoperator in den Fermionfeldoperatoren, nämlich

H = ich , j ψ ich h ich j ψ j
(Der Hamiltonoperator ist hier auf einem Gitter regularisiert ich , j bezeichnen Gitter und andere mögliche Freiheitsgrade,
{ ψ ich , ψ j } = δ ich j
und wir können auch Translationsinvarianz annehmen). Koppeln wir dieses System an ein externes U ( 1 ) Messfeld EIN und betrachten Sie die effektive Theorie, die sich aus der Integration über die Fermionenfelder ergibt, nämlich
[ D ψ ] [ D ψ ] exp ( ich S ( ψ , ψ , EIN ) ) = exp ( ich S eff ( EIN ) ) ,
dann erwartet man im langwelligen Grenzbereich einen Chern-Simons-Term, EIN d EIN , um in der effektiven Aktion zu erscheinen, mit einem Koeffizienten, der proportional zur ersten Chern-Zahl des besetzten Bloch-Bündels ist (nämlich dem Bündel von Eigenräumen des Hamilton-Operators, der im Impulsraum geschrieben ist). Dies ergibt den Quanten-Hall-Effekt in zwei Dimensionen, da die Antwort eine quantisierte Hall-Leitfähigkeit ergibt.

Ich sehe, wie dieser Chern-Simons-Term aussieht, wenn man ein massives Dirac-Fermion in 2+1-Dimensionen an ein Äußeres koppelt U ( 1 ) 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.

Antworten (1)

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: H = d 2 p ( 2 π ) 2 ψ ( p ) H ( p ) ψ ( p ) in dem die Beziehung H ( p ) = U ( p ) diag ( ich k , ich n k ) U ( p ) hält lokal. Hier k ist die Anzahl der besetzten Bänder und U ( k ) = [ v 1 ( p ) , . . . , v n ( p ) ] ist eine orthogonale Matrix von Eigenvektoren von H ( p ) . Insbesondere die k × n Matrix S ( p ) = [ v 1 ( p ) , . . . , v k ( p ) ] beschreibt lokal das belegte Bündel. Wir können auch schreiben H ( p ) = P ( p ) P ( p ) , wo P ( p ) = S ( p ) S ( p ) geht der Projektor auf die Faser des belegten Bündels über p . Die Krümmung des Bündels kann als Endomorphismus des trivialen Bündels beschrieben werden T 2 × C n durch den Ausdruck Ω = P d P d P P = d P P d P . Der spätere Ausdruck ist bei der Berechnung der effektiven Aktion nützlich. Die Idee ist, dass wir damit beginnen Z 0 = Det ( G 0 1 ) und dann die minimale Kopplung mit einem externen Eichfeld durchführen. In einer Phasenraumdarstellung ( ( p , x ) -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 G 1 ( p , x ) G 0 1 ( p ) e EIN μ ( x ) G 0 1 / p μ ( p ) . Schreiben Σ ( p , x ) = e EIN μ ( x ) G 0 1 / p μ ( p ) wir haben Det ( G 1 ) Z 0 Det ( ich + G 0 Σ ) . Die effektive Wirkung ergibt sich dann durch die formale Erweiterung Protokoll ( Det ( ich + G 0 Σ ) ) = Tr Protokoll ( ich + G 0 Σ ) Tr ( G 0 Σ ) 1 2 Tr ( G 0 Σ G 0 Σ ) . Die Zustandssumme sollte Gauge-invariant sein, daher werden wir nur nach solchen Termen suchen. In 2 + 1 Dimensionen dürfen wir neben dem Maxwell-Term auch den Chern-Simons-Term haben S C S ( EIN ) = ( 1 / 4 π ) EIN d EIN . Wir suchen die quadratischen Terme (also im zweiten Term der zuvor geschriebenen Entwicklung), die haben EIN μ ( x ) und μ EIN v ( x ) . 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: d 3 x 2 EIN ( x 1 , x 2 ) B ( x 2 , x 3 ) EIN ( p , x ) B ( p , x ) + ( ich / 2 ) { EIN , B } PB ( p , x ) + . . . , wo { . , . } PB ist die Poisson-Klammer. Uns reichen die ersten beiden Laufzeiten der Erweiterung. Suchen wir nach den genannten Begriffen landen wir beim Beitrag ( ich e 2 / 2 ) ( 1 / 3 ! ) ( d 3 p / ( 2 π ) 3 tr ( G 0 G 0 1 / p μ G 0 G 0 1 / p v G 0 G 0 1 / p λ ) ε μ v λ ) EIN d EIN . Durch Ausführen des Integrals über die Frequenz p 0 , letzteres kann als gleich gezeigt werden 2 π ich σ H S C S ( EIN ) , mit σ H = ( e 2 / 2 π ) × T 2 tr ( ich Ω / 2 π ) ( e 2 / 2 π ) × c 1 ( c 1 bezeichnet die erste Chern-Nummer des belegten Bündels), wie erwartet.

Diese Frage und ihre Verallgemeinerung auf den 2d + 1-dimensionalen Fall veranlassten mich, ein Papier zu schreiben, das Sie hier finden können: arxiv.org/abs/1705.04394