Positivity of energy in five dimensional classical unified field theories, II

Five dimensional classical unified field theories as well as Yang-Mills theory with gauge group U(1), are described in terms of a Lorentzian five dimensional space V₅ with metric tensor γβ which admits a space-like Killing vector ζ. It is assumed that: (1) V₅ has the topology of V₄ x S¹, S¹ is a circle and V₄ is a four dimensional Lorentzian space that is asymptotically flat and (2) the Einstein tensor Γ_β of V₅ satisfies Γ_β Uυ^{β 0} where U and υ are future oriented time-like vectors with γ_βυζ^β = 0. The spinor approach of Witten [4], Nester [3] and Moreschi and Sparling [5] is used to show that the conserved five dimensional energymomentum vector P = ifΓ_β = 0 then V₅ must admit a time-like Killing vector. Lichnerowicz's results [1] then imply that V₅ must be flat. A lower bound for P⁴ (the mass) similar to that found by Gibbons and Hull [6] is obtained.