Hermitizität des Dirac-Operators γμDμγμDμ\gamma^{\mu}D_{\mu} und Expansion in Eigenmoden

Mich würde interessieren unter welchen Bedingungen γ μ D μ ist ein hermitescher Operator.

Ich studiere die Fujikawa-Methode der Anomalien und sehe, dass viele Quellen unterschiedliche Antworten darauf haben. Manche behaupten das γ μ D μ im euklidischen Raum hermitesch oder möglicherweise antihermitesch ist, oder so ich γ μ D μ ist im Minkowski-Raum hermitesch. Ich brauche die hermetische Bedingung, damit ich die Dirac-Spinoren erweitern kann Ψ ( X ) Und Ψ ¯ ( X ) in einer Basis von orthonormalen Eigenvektoren des Dirac-Operators, um das Pfadintegral durchzuführen.

Eine andere Frage, die ich habe, ist diese Erweiterung. Ich hätte gerne etwas von der Form

Ψ ( X ) = N ψ N ( X ) A N

Ψ ¯ ( X ) = N ψ N ¯ ( X ) B ¯ N

Wo A N Und B ¯ N sind Elemente einer Grassmann-Algebra. Aber wie ist ψ ¯ N definiert? Einige Referenzen definieren ψ ¯ N ( X ) = ψ ( X ) , aber ich denke, es hängt davon ab, wie Sie Ihr inneres Produkt definieren.

Danke, ich habe unten einige Referenzen angehängt.

Fujikawa 1) https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.42.1195

Fujikawa 2) https://journals.aps.org/prd/abstract/10.1103/PhysRevD.21.2848

TASI-Anomalien https://arxiv.org/abs/hep-th/0509097

Antworten (1)

Die (vom Operator bewertete) Matrix D = γ D ist bezüglich des Skalarprodukts antihermitesch

(1) v , u := R D v ¯ ( X ) u ( X )   D X
Wo
(2) v ¯ ( X ) := v ( X ) γ 0

Tatsächlich schreiben

(3) D = ich A

Es ist klar, dass der zweite Faktor erfüllt ist

(4) ich A ¯ = ich A ¯ = ich A
wo wir die Tatsache verwendet haben, dass γ μ erfüllt
(5) γ 0 γ μ γ 0 = γ μ
und das A μ ist hermitesch.

Andererseits kommt der erste Faktor hinzu ( 3 ) erfüllt

(6) v , u = R D v ¯ ( X ) u ( X )   D X = R D v ¯ ( X ) u ( X )   D X = R D ( ¯ v ) ¯ ( X ) u ( X )   D X = v , u
wobei wir in der ersten Gleichheit partiell integriert und in der letzten verwendet haben ( 5 ) .

Daraus lernen wir das D erfüllt D ¯ = D , was der Aussage entspricht, dass D ist anti-hermitesch in Bezug auf , , wie behauptet.

Beachten Sie, dass dieser Begriff der Antihermitizität dies garantiert ich D ist mit reellen Eigenwerten und orthogonalen Eigenvektoren aus den üblichen Gründen (Spektralsatz usw.) diagonalisierbar:

(7) ich D v ich = λ ich v ich { λ ich R v ich , v J δ ich J