The optimal isoperimetric inequality for varifolds

Abstract

We prove the Brendle isoperimetric inequality for varifolds of finite mass and finite total first variation, allowing an arbitrary singular part. The distributional mean curvature is assumed only integrable. The result applies to integral varifolds and, more generally, to rectifiable varifolds with a positive lower density bound and weight measure concentrated on countably many $C^2$ submanifolds. The proof uses optimal transport and a locality theorem for the tangential Laplacian of an ambient convex function. The isoperimetric constant is sharp in codimensions one and two.