For a spinor bundle over a Riemannian manifold , a Dirac operator on is an differential operator on (sections of) whose principal symbol is that of , where is the exterior derivative and is the symbol map.
The first relativistic Schrödinger type equation found was Klein-Gordon. At first it did not look that K-G equation could be interpreted physically because of negative energy states and other paradoxes. Paul Dirac proposed to take a square root of Laplace operator within the matrix-valued differential operators and obtained a Dirac equation; matrix valued generators involved representations of a Clifford algebra. It also had negative energy solutions, but with half-integer spin interpretation which was appropriate the Pauli exclusion principle together with the Dirac sea picture came at rescue (Klein-Gordon is now also useful with more modern formalisms).
The tangent bundle of an oriented Riemannian -dimensional manifold is an -bundle. Orientation means that the first Stiefel-Whitney class is zero. If is zero than the bundle can be lifted to a -bundle. A choice of connection on such a -bundle is a -structure on . There is a standard -dimensional representation of -group, so called Spin representation, which is depending, if is odd irreducible, and if is even it decomposes into the sum of two irreducible representations of equal dimension and . Thus we can associate associated bundles to the original bundle with respect to these representations. Thus we get the spinor bundles and .
Gamma matrices, which are the representations of the Clifford algebra
thus act on such a space; certain combinations of products of gamma matrices with partial derivatives define a first order Dirac operator ; there are several versions, in mathematics is pretty important the chiral Dirac operator
given by local formula
where are orthonormal frames of tangent vectors and is the covariant derivative with respect to the Levi-Civita spin connection. The expression is the chirality operator.
In Euclidean space the Dirac operator is elliptic, but not in Minkowski space.
The Dirac operator is involved in approaches to the Atiyah-Singer index theorem about the index of an elliptic operator: namely the index can be easier calculated for Dirac operator and the deformation to the Dirac operator does not change the index. An appropriate version of a Dirac operator is a part of a concept of the spectral triple in noncommutative geometry a la Alain Connes.
with components (with respect to the -grading) to be denoted
If one thinks of as the time-evolution Hamiltonian of a system of supersymmetric quantum mechanics with the supercharge on the worldline, then is the space of supersymmetric quantum states, is the Euclidean time evolution operator and its supertrace is the partition function of the system. Hence we have the translation
|partition function in -dimensional QFT||supercharge||index in cohomology theory||genus||logarithmic coefficients of Hirzebruch series|
|0||push-forward in ordinary cohomology: integration of differential forms|
|1||spinning particle||Dirac operator||KO-theory index||A-hat genus||Bernoulli numbers|
|endpoint of 2d Poisson-Chern-Simons theory string||Spin^c Dirac operator twisted by prequantum line bundle||space of quantum states of boundary phase space/Poisson manifold||Todd genus||Bernoulli numbers|
|endpoint of type II superstring||Spin^c Dirac operator twisted by Chan-Paton gauge field||D-brane charge||Todd genus||Bernoulli numbers|
|2||superstring||Dirac-Ramond operator||superstring partition function||elliptic genus/Witten genus||Eisenstein series|
|self-dual string||M5-brane charge|
Thomas Friedrich, Dirac operators in Riemannian geometry, Graduate studies in mathematics 25, AMS (1997)
The relation to index theory is discussed in
based on original articles such as
C. Nash, Differential topology and quantum field theory, Acad. Press 1991.
Eckhard Meinrenken, Clifford algebras and Lie groups, Lecture Notes, University of Toronto, Fall 2009.
Jing-Song Huang, Pavle Pandžić, J.-S. Huang, P. Pandzic, Dirac Operators in Representation Theory,. Birkhäuser, Boston, 2006, 199 pages; short version Dirac operators in representation theory, 48 pp. pdf
J.-S. Huang, Pavle Pandžić, Dirac cohomology, unitary representations and a proof of a conjecture of Vogan, J. Amer. Math. Soc. 15 (2002), 185—202.
R. Parthasarathy, Dirac operator and the discrete series, Ann. of Math. 96 (1972), 1-30.