synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
Models
differential equations, variational calculus
Euler-Lagrange equation, de Donder-Weyl formalism?,
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
Over a smooth manifold of dimension , let be a smooth vector bundle and the tensor product of vector bundles of the dual vector bundle with the differential (p+1)-form bundle.
(formally adjoint differential operators)
are called formally adjoint if there exists a bilinear differential operator
such that for all we have
This implies by Stokes' theorem, in the case of compact support, that under an integral and are related via integration by parts.
See also (Vinogradov-Krasilshchik 99, chapter 5, §2.3)
(Klein-Gordon operator is formally self-adjoint differential operator)
Let be Minkowski spacetime with Minkowski metric and let be the trivial line bundle. The canonical volume form induces an isomorphism .
Consider then the Klein-Gordon operator
This is its own formal adjoint (def. ) witnessed by the bilinear differential operator (1) given by
(Dirac operator on Dirac spinors is formally self-adjoint differential operator)
The Dirac operator on Dirac spinors is a formally anti-self adjoint (def. ):
We spell out the proof over Minkowski spacetime. Then general case is a straightforward generalization
Regard the Dirac operator as taking values in the dual spin bundle by using the Dirac conjugate :
Then we need to show that there is such that for all pairs of spinor sections we have
But the spinor-to-vector pairing is symmetric (see at spin representation), hence this is equivalent to
By the product law of differentiation, this is solved, for all , by
Peter Olver, chapter 5.3, around p. 328-330 of Applications of Lie groups to differential equations, Springer; Equivalence, invariants, and symmetry, Cambridge Univ. Press 1995.
Alexandre Vinogradov, I. S. Krasilshchik (eds.) Symmetries and Conservation Laws for Differential Equations of Mathematical Physics, vol. 182 of Translations of Mathematical Monographs. American Mathematical Society, Providence, RI, 1999. (pdf)
Igor Khavkine, Covariant phase space, constraints, gauge and the Peierls formula, Int. J. Mod. Phys. A, 29, 1430009 (2014) (arXiv:1402.1282)
Last revised on November 30, 2017 at 07:16:17. See the history of this page for a list of all contributions to it.