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



From this it is now easy to proof, that every not trivial deRham cohomology class [omega]inHp[omega]inHp has a unique harmonic representative gammaincalHpgammaincalHp with [omega]=[gamma][omega]=[gamma]. Please note the equivalence Deltagamma=0Leftrightarrowdgamma=0wedgedeltagamma=0.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=mathbbR4M=mathbbR4 equipped with the Minkowski metric (so MM is neither compact nor riemannian!). We are going to interpret mathbbR4=mathbbRtimesmathbbR3mathbbR4=mathbbRtimesmathbbR3 as a foliation of spacelike slices and the first coordinate as a time function tt. So every point (t,p)(t,p) is a position pp in space mathbbR3mathbbR3 at the time tinmathbbRtinmathbbR. Consider the lifeline LsimeqmathbbRLsimeqmathbbR of an electron in spacetime. Because the electron occupies a position which can't be occupied by anything else, we can remove LL from the spacetime MM.



Though the theorem of Hodge does not hold for lorentzian manifolds in general, it holds for MsetminusLsimeqmathbbR4setminusmathbbRMsetminusLsimeqmathbbR4setminusmathbbR. The only non vanishing cohomology space is H2H2 with dimension 11 (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 FinOmega2FinOmega2 of H2H2, that solves DeltaF=0LeftrightarrowdF=0wedgedeltaF=0.DeltaF=0LeftrightarrowdF=0wedgedeltaF=0. But we can write every 22-form FF as a unique decomposition F=E+Bwedgedt.F=E+Bwedgedt. If we interpret EE as the classical electric field and BB as the magnetic field, than dF=0dF=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