Dirac-Operator

Der Dirac-Operator ist ein Differentialoperator, der eine Quadratwurzel aus dem Laplace-Operator ist. Der ursprüngliche Fall, mit dem sich Paul Dirac beschäftigte, war die formale Faktorisierung eines Operators für den Minkowski-Raum, der die Quantentheorie mit der speziellen Relativitätstheorie verträglich macht.

Definition

Es sei $D\in {\mathrm{Diff}}^1(V,V)$ ein geometrischer Differentialoperator erster Ordnung, der auf ein Vektorbündel $V\to M$ über einer riemannschen Mannigfaltigkeit $M$ wirkt. Wenn dann

$D^2=\mathrm{\Delta },$

gilt, wobei $\mathrm{\Delta }$ ein verallgemeinerter Laplace-Operator auf $V$ ist, so heißt $D$ Dirac-Operator.^[1]

Geschichte

Ursprünglich hatte Paul Dirac die Wurzel aus dem D’Alembertoperator $◻$ betrachtet und damit die relativistische Quantenfeldtheorie eines Elektrons begründen wollen.

Dirac betrachtete für n=4 den Differentialoperator

$\sum _{i=0}^n{\gamma }_i\frac{\partial }{\partial x_i},$

wobei ${\gamma }_i$ die Dirac-Matrizen sind. Dieser ist jedoch nach heutigem Verständnis kein Dirac-Operator mehr.^[2]

In den 1960ern griffen Michael Francis Atiyah und Isadore M. Singer diesen von Dirac definierten Differentialoperator auf und entwickelten daraus den hier im Artikel hauptsächlich beschriebenen (verallgemeinerten) Dirac-Operator. Der Name Dirac-Operator wurde von Atiyah und Singer geprägt. Der Operator beeinflusste die Mathematik und die mathematische Physik des 20. Jahrhunderts stark.^[3]

Der Dirac-Operator eines Dirac-Bündels

Es sei $(M,g)$ eine riemannsche Mannigfaltigkeit und $(\mathcal{E},h,{\mathrm{\nabla }}^{\mathcal{E}})$ ein Dirac-Bündel, bestehend aus einem Clifford-Modul $\mathcal{E}\to M$ einer hermiteschen Metrik $h$ auf $\mathcal{E}$ und einem Clifford-Zusammenhang ${\mathrm{\nabla }}^{\mathcal{E}}$ auf $\mathcal{E}$. Dann ist der Operator

$D:\mathrm{\Gamma }(M,\mathcal{E})\stackrel{{\mathrm{\nabla }}^{\mathcal{E}}}{\to }\mathrm{\Gamma }(M,T^{\ast }M\otimes \mathcal{E})\stackrel{c}{\to }\mathrm{\Gamma }(M,\mathcal{E})$

der zum Dirac-Bündel $(E,h,{\mathrm{\nabla }}^{\mathcal{E}})$ assoziierte Dirac-Operator. In lokalen Koordinaten hat er die Darstellung

$D=\sum _{i=1}^{n}c(\mathrm{d}{x}^i){\mathrm{\nabla }}_{{\partial }_i}^{\mathcal{E}}.$

Beispiele

Elementares Beispiel

Der Operator $-i{\partial }_x$ ist ein Dirac-Operator über dem Tangentialbündel von $\mathbb{R}$.

Spin-Dirac-Operator

Betrachtet werde der Konfigurationsraum eines Teilchens mit Spin ¹/₂, das auf die Ebene ${\mathbb{R}}^2$ beschränkt ist, welche die Basis-Mannigfaltigkeit bildet. Der Zustand wird durch eine Wellenfunktion ψ_G mit zwei komplexen Komponenten beschrieben, für die also jeweils ${\mathbb{R}}^2\to \mathbb{C}$ gelten soll, wobei Gesamtzustände, die sich nur um einen komplexen Faktor unterscheiden, identifiziert werden. Der Gesamtzustand ist also:

${\psi }_G=\left[\begin{array}{c}{\chi }_{\uparrow }(x,y)\\ {\eta }_{\downarrow }(x,y)\end{array}\right].$

Dabei sind $x$ und $y$ die üblichen kartesischen Koordinaten auf ${\mathbb{R}}^2$: ${\chi }_{\uparrow }$ definiert die Wahrscheinlichkeitsamplitude für die aufwärts gerichteten Spin-Komponente (Spin-Up), und analog ${\eta }_{\downarrow }$ für die Spin-Down-Komponente. Der sogenannte Spin-Dirac-Operator kann dann geschrieben werden als

$D=-i{\sigma }_x{\partial }_x-i{\sigma }_y{\partial }_y,$

wobei σ_x und σ_y die Pauli-Matrizen sind. Man beachte, dass die antikommutativen Beziehungen der Pauli-Matrizen einen Beweis der obigen Definition trivial machen. Diese Beziehungen definieren den Begriff der Clifford-Algebra#Beispiele am Beispiel der Quaternionen-Algebra. Lösungen der Dirac-Gleichung für Spinor-Felder werden oft harmonische Spinoren genannt^[4].

Hodge-De-Rham-Operator

Sei $(M,g)$ eine orientierbare riemannsche Mannigfaltigkeit und sei $\mathrm{d}:\mathcal{A}(M{)}^{\bullet -1}\to {\mathcal{A}}^{\bullet }(M)$ die äußere Ableitung und ${\mathrm{d}}^t:{\mathcal{A}}^{\bullet }(M)\to {\mathcal{A}}^{\bullet -1}(M)$ der zur äußeren Ableitung bezüglich der L²-Metrik adjungierte Operator. Dann ist

$\mathrm{d}+{\mathrm{d}}^t:{\mathcal{A}}^{\bullet }(M)\to {\mathcal{A}}^{\bullet }(M)$

ein Dirac-Operator.^[5]

Atiyah-Singer-Dirac-Operator

Es gibt auch einen Dirac-Operator in der Clifford-Analysis. Im n-dimensionalen euklidischen Raum, d. h. für ${\mathbb{R}}^2\to {\mathbb{R}}^n,$ ist das
    $D=\sum _{j=1}^n{e}_j\frac{\partial }{\partial x_j}$
wobei
    $\{e_j:j=1,\dots ,n\}$
eine Orthonormal-Basis des euklidischen Raumes ist und ${\mathbb{R}}^n$ in eine Clifford-Algebra eingebettet ist. Dies ist ein Spezialfall des Atiyah-Singer-Dirac-Operators, der auf den Schnitten eines Spinor-Bündels wirkt.

Für eine Spin-Mannigfaltigkeit $M$, ist der Atiyah-Singer-Dirac-Operator lokal folgendermaßen definiert:
Für $x\in M$ und $e_1(x),\dots ,e_j(x)$ eine lokale Orthonormalbasis für den Tangentenraum von $M$ in $x$ ist der Atiyah-Singer-Dirac-Operator
    $\sum _{j=1}^n{e}_j(x){\tilde{\mathrm{\Gamma }}}_{e_j(x)}$,
wobei $\tilde{\mathrm{\Gamma }}$ ein Paralleltransport des Levi-Civita-Zusammenhangs auf $M$ für das Spinor-Bündel über $M$ ist.

Eigenschaften

Das Hauptsymbol eines verallgemeinerten Laplace-Operators ist $\xi \mapsto \Vert \xi {\Vert }^2$. Entsprechend ist das Hauptsymbol eines Dirac-Operators $\xi \mapsto \Vert \xi \Vert$ und somit sind beide Klassen von Differentialoperatoren elliptisch.

Verallgemeinerungen

Der Operator $D:C^{\mathrm{\infty }}({\mathbb{R}}^k\otimes {\mathbb{R}}^n,S)\to C^{\mathrm{\infty }}({\mathbb{R}}^k\otimes {\mathbb{R}}^n,{\mathbb{C}}^k\otimes S)$, der auf die nachfolgend definierten spinorwertige Funktionen wirkt,

$f(x_1,\dots ,x_k)\mapsto \left(\begin{array}{c}{\partial }_{\underset{―}{x_1}}f\\ {\partial }_{\underset{―}{x_2}}f\\ \dots \\ {\partial }_{\underset{―}{x_k}}f\end{array}\right)$

wird in der Clifford-Analysis oft als Dirac-Operator in k CliffordVariablen genannt. In dieser Notation ist S der Raum von Spinoren, $x_i=(x_{i1},x_{i2},\dots ,x_{in})$ sind n-dimensionale Variablen und ${\partial }_{\underset{―}{x_i}}=\sum _j{e}_j\cdot {\partial }_{x_{ij}}$ ist der Dirac-Operator in der $i$-ten Variablen. Dies ist eine gebräuchliche Verallgemeinerung des Dirac-Operators (k=1) und der Dolbeault-Kohomologie (n=2, k beliebig). Er ist ein Differentialoperator, der invariant zu der Operation der Gruppe $\mathrm{SL}(k)\times \mathrm{Spin}(n)$ ist. Die Injektive Auflösung von D ist nur für einige Spezialfälle bekannt.

Siehe auch

• Atiyah-Singer-Indexsatz

Literatur

• Thomas Friedrich: Dirac Operators in Riemannian Geometry (Dirac-Operatoren in der Riemannschen Geometrie, 1997). American Mathematical Society, Providence, R.I. 2000, ISBN 978-0-8218-2055-1.
• Fabrizio Colombo, Irene Sabadini: Analysis of Dirac Systems and Computational Algebra (Progress in mathematical physics; Bd. 39). Birkhäuser, Boston, Mass. 2004, ISBN 978-0-8176-4255-6.

Referenzen