  We provide an isoperimetric inequality for critical metrics of the volume
functional with nonnegative scalar curvature on compact manifolds with
boundary. In addition, we establish a Weitzenb\"ock type formula for critical
metrics of the volume functional on four-dimensional manifolds. As an
application, we obtain a classification result for such metrics.
