Sunday, 26 November 2006

soft question - Your favorite surprising connections in Mathematics

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 M with its Hodge-deRham-Laplace operator Delta, the space of p-forms Omegap can be written as the orthogonal sum (relative to the L2 product) Omegap=DeltaOmegapopluscalHp=dOmegap1oplusdeltaOmegap+1opluscalHp, where calHp are the harmonic p-forms, and delta is the adjoint of the exterior derivative d (i.e. delta=text(somesign)stardstar and star is the Hodge star operator).
(The theorem follows from the fact, that Delta is a self-adjoint, elliptic differential operator of second order, and so it is Fredholm with index 0.)



From this it is now easy to proof, that every not trivial deRham cohomology class [omega]inHp has a unique harmonic representative gammaincalHp with [omega]=[gamma]. Please note the equivalence Deltagamma=0Leftrightarrowdgamma=0wedgedeltagamma=0.



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 M=mathbbR4 equipped with the Minkowski metric (so M is neither compact nor riemannian!). We are going to interpret mathbbR4=mathbbRtimesmathbbR3 as a foliation of spacelike slices and the first coordinate as a time function t. So every point (t,p) is a position p in space mathbbR3 at the time tinmathbbR. Consider the lifeline LsimeqmathbbR of an electron in spacetime. Because the electron occupies a position which can't be occupied by anything else, we can remove L from the spacetime M.



Though the theorem of Hodge does not hold for lorentzian manifolds in general, it holds for MsetminusLsimeqmathbbR4setminusmathbbR. The only non vanishing cohomology space is H2 with dimension 1 (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 FinOmega2 of H2, that solves DeltaF=0LeftrightarrowdF=0wedgedeltaF=0. But we can write every 2-form F as a unique decomposition F=E+Bwedgedt. If we interpret E as the classical electric field and B as the magnetic field, than dF=0 is equivalent to the first two Maxwell equations and deltaF=0 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