Differential geometry Definition
Dirac bundle
Builds on Riemannian manifoldClifford algebraClifford moduleLevi-Civita connectionConnection on a vector bundleDirac operatorSpinor bundleHodge Laplacian
Definition
Let be a Riemannian manifold, and let be its Clifford bundle, whose fibre at is the Clifford algebra of with . The Levi-Civita connection induces a connection on . A Dirac bundle over is a real or complex vector bundle with these data and properties.
- is a bundle of left Clifford modules over . That is, a smooth bundle map , , makes each fibre a module over .
- has a Riemannian or Hermitian metric such that for every unit vector and all .
- has a connection that preserves this metric.
- for every vector field , every section of and every section of .
The Dirac operator of is for a local orthonormal frame .
Remarks
Clause 2 is equivalent to the skew-adjointness of Clifford multiplication by each tangent vector. Clauses 2 to 4 make formally self-adjoint, and its square satisfies for an explicit curvature endomorphism . The spinor bundle of a spin manifold, with the spin connection, is a Dirac bundle, and its Dirac operator is the Atiyah–Singer operator.
Example: let with the metric and connection induced by , and let . Then , so clause 1 holds, and clauses 2 to 4 hold because the Levi-Civita connection is metric and commutes with wedge and contraction. Its Dirac operator is , whose square is the Hodge Laplacian.
Non-example: on with , take the same bundle and Clifford multiplication, but the connection , where is Clifford multiplication by . Since is skew-adjoint, still preserves the metric, so clause 3 holds. Clause 4 fails: for and , it would require , but .
Reading path
To understand this page from the ground up, read these 9 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Clifford algebra concept
- Clifford module concept
- Connection on a vector bundle concept
- Dirac operator concept
- Hodge Laplacian concept
- Levi-Civita connection concept
- Riemannian manifold concept
- Spinor bundle concept
- Dirac bundle definition
Further reading
About this page
| Tag | BXKZ62PBC9 |
|---|---|
| URI | m2://BXKZ62PBC9 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 53C27, 58J60, 15A66 |
| Defines | Dirac bundle |
| Uses | Riemannian manifold, Clifford algebra, Clifford module, Levi-Civita connection, Connection on a vector bundle, Dirac operator, Spinor bundle, Hodge Laplacian |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- 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.