Math 2.0

Global analysis, analysis on manifolds Definition

Dirac operator

Builds on Riemannian manifoldElliptic operatorLaplacian

Definition

Let (M,g)(M, g) be a Riemannian manifold and let EE be a complex vector bundle over MM. Let DD be a first-order linear differential operator acting on smooth sections of EE. In a local chart x=(x1,…,xn)x = (x_1, \ldots, x_n), let (gjk(x))(g^{jk}(x)) be the inverse of the matrix of the metric gg. The operator DD is a Dirac operator if, in every local chart and every local trivialisation of EE, D2=−∑j,kgjk(x)∂2∂xj∂xk+(terms of order at most 1).D^2 = -\sum_{j,k} g^{jk}(x)\frac{\partial^2}{\partial x_j \partial x_k} + (\text{terms of order at most } 1).

Remarks

Equivalently, the principal symbol of D2D^2 is ∣ξ∣g2\abs{\xi}^2_g times the identity, so D2D^2 is a generalised Laplacian. It follows that DD is an elliptic operator.

Example: on ℝn\R^n with the flat metric, let γ1,…,γn\gamma_1, \ldots, \gamma_n be complex N×NN \times N matrices with γjγk+γkγj=−2δjkI\gamma_j\gamma_k + \gamma_k\gamma_j = -2\delta_{jk} I, and let D=∑jγj∂jD = \sum_j \gamma_j \partial_j act on ℂN\C^N-valued functions. Then D2=∑j,kγjγk∂j∂k=12∑j,k(γjγk+γkγj)∂j∂k=−∑j∂j2D^2 = \sum_{j,k}\gamma_j\gamma_k\partial_j\partial_k = \frac{1}{2}\sum_{j,k}(\gamma_j\gamma_k + \gamma_k\gamma_j)\partial_j\partial_k = -\sum_j \partial_j^2, so DD is a Dirac operator. For n=1n = 1 and γ1=−i\gamma_1 = -i, this is D=−i d/dxD = -i\, d/dx.

Non-example: on ℝ\R, the operator D=d/dxD = d/dx has D2=+d2/dx2D^2 = +d^2/dx^2, whose second-order term has the wrong sign.

On a spin manifold, the Atiyah–Singer Dirac operator acts on the spinor bundle through Clifford multiplication and the Levi-Civita connection.

Reading path

To understand this page from the ground up, read these 14 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Elliptic operator concept
  2. Euclidean space object
  3. Function concept
  4. Riemannian manifold concept
  5. Total derivative concept
  6. Function of several variables concept
  7. Vector-valued function concept
  8. Differentiable function of several variables concept
  9. Partial derivative concept
  10. Vector field concept
  11. Gradient concept
  12. Divergence concept
  13. Laplacian concept
  14. Dirac operator definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Dirac_operator
About this page
TagZFC8N4CFC4
URIm2://ZFC8N4CFC4
Kinddefinition
WritingW0 stub
MSC58J60, 47F05, 15A66
DefinesDirac operator
UsesRiemannian manifold, Elliptic operator, Laplacian
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.