(Anti)Kommutation von Geistern und Fermionen

Ich möchte fragen, ob fermionische Grassmann-Felder in einem Eichtheorie-Pfadintegral (z. B. in QCD) ausgewählt werden sollten, um mit Geister- und Anti-Geisterfeldern zu pendeln oder zu antikommutieren. Die Art und Weise, wie die meisten Lehrbücher es darstellen, legt nahe, dass Anti-Kommutation gewählt werden sollte, aber ich kenne kein Argument dafür. Es stellt sich auch die Frage nach (Anti-)Vertauschungsrelationen für entsprechende Operatoren im Kerin-Raum .

Ich wurde in den Kommentaren gefragt, wo dieses Problem jemals aufgetreten ist. Es war eine Ableitung des konservierten BRS-Stroms in QCD. Lassen Sie mich zunächst erklären, dass in vielen Büchern angegeben wird, dass der BRS-Betreiber S erfüllt beispielsweise die abgestufte Leibniz-Regel in Bezug auf die Fermionenzahl S ( ψ ¯ ψ ) = ( S ψ ¯ ) ψ ψ ¯ S ψ . In einer Vorlesung über Anomalien, die ich kürzlich besucht habe, wurde gesagt, dass stattdessen die Leibniz-Regel graduiert in Bezug auf die Geisterzahl verwendet werden sollte (oder zumindest verwendet werden kann), so S ( ψ ¯ ψ ) = ( S ψ ¯ ) ψ + ψ ¯ S ψ Aber S ( C A C B ) = ( S C A ) C B C A ( S C B ) . Daher bin ich natürlich dazu veranlasst, Variationen von Feldern des Formulars in Betracht zu ziehen ϕ ϕ + ϵ S ϕ , Wo ϵ ist ein Grassmann-Parameter, der mit kommutiert A , ψ , ψ ¯ aber Antipendeln mit C A Und C ¯ A . Ich fand heraus, dass unter diesen Transformationen Handlungsvariationen Gestalt annehmen

δ S = D 4 X ( μ ϵ ) [ F A μ v D v C A + G ψ ¯ γ μ C A T A ψ + B A D μ C A 1 2 G F A B C ( μ C ¯ A ) C B C C ] .
Das sehen wir in der Klammer [ ] wir haben einen erhaltenen Strom, der ab jetzt bezeichnet wird J B R S μ . Nachdem ich diesen Strom mit den Bewegungsgleichungen manipuliert hatte, fand ich einen Begriff G [ ψ ¯ , C A ] γ μ T A ψ . Es stellt sich heraus, dass die explizite Auswertung der Divergenz von J B R S μ Die Verwendung von Bewegungsgleichungen ergibt nur dann Null, wenn dieser Kommutator als Null angenommen wird. Daher scheint mir, dass dies die einzige Wahl ist, die mit meiner Wahl der Definition des BRS-Betreibers vereinbar ist.

Bemerkung Ich habe den Lagrange verwendet

L = 1 4 F 2 + ψ ¯ ( ich γ D M ) ψ + μ C ¯ A D μ C A A μ A μ B A + 1 2 ξ B 2 ,
mit kovarianter Ableitung D = + ich G A .

Können Sie einen Begriff aufschreiben, in dem dies von Bedeutung ist?
Lieber @marmot, in einigen Berechnungen (bezogen auf den BRST-Operator), die ich in QCD gemacht habe, habe ich einen Begriff gefunden ψ ¯ C A T A ψ C A ψ ¯ T A ψ . Es verschwindet, wenn das Geisterfeld mit Spinorfeldern kommutiert, sonst nicht.
Danke! Ich frage mich, ob Sie der Frage die Ableitung des Begriffs hinzufügen möchten.
@Blazej könnten Sie erläutern, wie dieser Begriff in Ihre Berechnung einfließt und warum er notwendig ist? Physikalisch koppeln Geister und Fermionen nicht aneinander. Tatsächlich sind Geister lediglich ein störender Weg, um sich an die Korrektur des Integralmaßes des Yang-Mills-Pfads anzupassen, das von der Pegelfestlegung herrührt. Verwenden Sie eine Messgerät-Fixierungsbedingung mit Fermionen?
Lieber @marmot und Solenodon Paradoxus, ich habe meine Frage bearbeitet, um anzugeben, wo mein Problem auftritt.
Die bloße Erwähnung von Kerinräumen hat mich interessiert, jedoch sehe ich dies nicht weiterverfolgt, daher bin ich enttäuscht.
Welche Seite in Anomalies in QFT von Bertlmann?
@DanielC, Kerin-Räume werden erwähnt, weil man schließlich auch alle Felder zu Operatoren machen möchte, die in einem Raum mit unbestimmter Signatur agieren. Soweit ich verstehe, ist die angemessene mathematische Struktur für diese Räume der Kerin-Raum, aber bitte korrigieren Sie mich, wenn ich falsch liege.
Lieber @Qmechanic , es tut mir leid, ich habe es jetzt überprüft und es scheint, dass ich durch einen Satz in Bertlmann verwirrt wurde. Das bedeutet, dass ich keine zuverlässige schriftliche Referenz für den Ansatz habe, den ich anzuwenden versuche. Ich habe in einer Vorlesung davon erfahren und werde unseren Dozenten nach einigen Referenzen fragen.
Für alle, die sich in Zukunft dafür interessieren, merke ich an, dass, wenn angenommen wird, dass der BRS-Operator die Leibniz-Regel erfüllt, die in Bezug auf die Fermionenzahl abgestuft ist, derselbe BRS-Strom bis zur Änderung des Vorzeichens im fermionischen Term erhalten wird. Nach der Anwendung von EOMs sehen wir also, dass dies für die Erhaltung erforderlich ist ψ ¯ Und C A Antipendler.

Antworten (1)

Es ist nicht ganz klar, wonach OP sucht, aber hier sind einige hoffentlich hilfreiche Kommentare:

  1. Klassisch (d.h. wenn Planck-Konstante 0 ), zwei Felder A Und B sind superkommutativ

    A B   =   ( 1 ) | A | | B | B A ,
    Wo | A | Und | B | bezeichnen die entsprechende Grassmann-Parität. Mit anderen Worten, der klassische Superkommutator
    [ A , B ]     A B ( 1 ) | A | | B | B A   =   0
    verschwindet.

  2. Der Superkommutator in der Quantentheorie ist typischerweise eine Quantendeformation des klassischen Superkommutators.

  3. Beachten Sie, dass Geisterfelder je nach Theorie sowohl Grassmann-gerade als auch Grassmann-ungerade sein können.

  4. Prinzipiell kann man Superalgebren mit mehreren unabhängigen betrachten Z 2 - oder Z -Bewertungen

    | | 1 , , | | N .
    Der Superkommutator in einer solchen Superalgebra ist dann definiert als
    [ A , B ]     A B ( 1 ) ich = 1 N | A | ich | B | ich B A .
    (Zum Beispiel könnte man den Grad der äußeren Form und die übliche Grassmann-Bewertung als zwei unabhängige Bewertungen betrachten.)

  5. Eine Theorie kann unterschiedliche Konventionen zulassen. Der Hauptpunkt ist, dass man konsequent sein sollte.

  6. Insbesondere in Bezug auf Fermion-Materie-Felder ψ , Faddeev-Popov-Geisterfeld C und Antigeisterfelder C ¯ In der Yang-Mills-Theorie ist es möglich, die BRST-Formulierung konsequent mit nur einer Art von Grassmann-Gradierung aufzustellen, in der ψ , C Und C ¯ sind alle Grassmann-ungerade und paarweise gegen das Pendeln.

Lieber @Qmechanic, mathematisch können wir eine Situation haben, in der wir zwei unabhängige Grassmann-Algebren haben, die von erzeugt werden η ich Und ξ ich , so dass { ξ ich , ξ J } = { η ich , η J } = 0 Aber [ η ich , ξ J ] = 0 . Die Frage ist, ob eine solche Konstruktion in Quantenfeldtheorien implementiert ist.
Sehr geehrter @Qmechanic , bitte beachten Sie, dass ich meine Frage bearbeitet habe, um anzugeben, wo genau das Problem auftritt und was mich dazu gebracht hat, das zu glauben [ C A , ψ ] = 0 (auf der Ebene der Integrationsvariablen) ist die konsistente Definition in dem von mir verwendeten Ansatz.
Ich akzeptiere diese Antwort, auch wenn die Frage, ob die Vereinbarung mit dem BRS-Operator als abgestuft in Bezug auf die Geisternummer akzeptiert wird, für mich noch offen ist. Genau genommen ist es jedoch nicht die Frage, die ich ursprünglich gestellt habe, und es könnte sehr schwierig sein, eine eindeutige Antwort zu geben.