Published online by Cambridge University Press: 09 April 2009
We prove that a domain Ω in the exterior of a convex domain C in a four-dimensional simply connected Riemannian manifold of nonpositive sectional curvature satisfies the relative isoperimetric inequality 64π2 Vol(Ω)3 < Vol(∂Ω ~ ∂C)4. Equality holds if and only if Ω is an Euclidean half ball and ∂Ω ~ ∂C is a hemisphere.