60 research outputs found
Analysis as a source of geometry: a non-geometric representation of the Dirac equation
Consider a formally self-adjoint first order linear differential operator
acting on pairs (2-columns) of complex-valued scalar fields over a 4-manifold
without boundary. We examine the geometric content of such an operator and show
that it implicitly contains a Lorentzian metric, Pauli matrices, connection
coefficients for spinor fields and an electromagnetic covector potential. This
observation allows us to give a simple representation of the massive Dirac
equation as a system of four scalar equations involving an arbitrary two-by-two
matrix operator as above and its adjugate. The point of the paper is that in
order to write down the Dirac equation in the physically meaningful
4-dimensional hyperbolic setting one does not need any geometric constructs.
All the geometry required is contained in a single analytic object - an
abstract formally self-adjoint first order linear differential operator acting
on pairs of complex-valued scalar fields.Comment: Edited in accordance with referees' recommendation
Classification of first order sesquilinear forms
A natural way to obtain a system of partial differential equations on a
manifold is to vary a suitably defined sesquilinear form. The sesquilinear
forms we study are Hermitian forms acting on sections of the trivial
-bundle over a smooth -dimensional manifold without boundary.
More specifically, we are concerned with first order sesquilinear forms,
namely, those generating first order systems. Our goal is to classify such
forms up to gauge equivalence. We achieve this
classification in the special case of and by means of geometric and
topological invariants (e.g. Lorentzian metric, spin/spin structure,
electromagnetic covector potential) naturally contained within the sesquilinear
form - a purely analytic object. Essential to our approach is the interplay of
techniques from analysis, geometry, and topology.Comment: Minor edit
- …