My favorite connection in mathematics (and an interesting application to physics) is a simple corollary from Hodge's decomposition theorem, which states:
On a (compact and smooth) riemannian manifold with its Hodge-deRham-Laplace operator the space of -forms can be written as the orthogonal sum (relative to the product) where are the harmonic -forms, and is the adjoint of the exterior derivative (i.e. and is the Hodge star operator).
(The theorem follows from the fact, that is a self-adjoint, elliptic differential operator of second order, and so it is Fredholm with index .)
From this it is now easy to proof, that every not trivial deRham cohomology class has a unique harmonic representative with . Please note the equivalence
Besides that this statement implies easy proofs for Poincaré duality and what not, it motivates an interesting viewpoint on electro-dynamics:
Please be aware, that from now on we consider the Lorentzian manifold equipped with the Minkowski metric (so is neither compact nor riemannian!). We are going to interpret as a foliation of spacelike slices and the first coordinate as a time function . So every point is a position in space at the time . Consider the lifeline of an electron in spacetime. Because the electron occupies a position which can't be occupied by anything else, we can remove from the spacetime .
Though the theorem of Hodge does not hold for lorentzian manifolds in general, it holds for . The only non vanishing cohomology space is with dimension (this statement has nothing to do with the metric on this space, it's pure topology - we just cut out the lifeline of the electron!). And there is an harmonic generator of , that solves But we can write every -form as a unique decomposition If we interpret as the classical electric field and as the magnetic field, than is equivalent to the first two Maxwell equations and to the last two.
So cutting out the lifeline of an electron gives you automagically the electro-magnetic field of the electron as a generator of the non-vanishing cohomology class.
No comments:
Post a Comment