Invariants of the Riemann tensor for class B warped product space-times

We use the computer algebra system GRTensorII to examine invariants polynomial in the Riemann tensor for class B warped product space-times — those which can be decomposed into the coupled product of two 2-dimensional spaces, one Lorentzian and one Riemannian, subject to the separability of the coupling ds² = ds_ɛ1² ( u, v) + C( x^γ) ²ds_ɛ2² ( θ, φ). with C( x^γ) ² = r( u, v) ²w( θ, φ) ² and sig( ɛ₁) = 0, sig( ɛ₂) = 2ɛ ( ɛ = ± 1) for class B₁ space-times and sig( ɛ₁) = 2ɛ, sig( ɛ₂) = 0 for class B₂. Although very special, these spaces include many of interest, for example, all spherical, plane, and hyperbolic space-times. The first two Ricci invariants along with the Ricci scalar and the real component of the second Weyl invariant J alone are shown to constitute the largest independent set of invariants to degree five for this class. Explicit syzygies are given for other invariants up to this degree. It is argued that this set constitutes the largest functionally independent set to any degree for this class, and some physical consequences of the syzygies are explored.