A Poincaré formula for differential forms and applications

Abstract: We prove a new general Poincar\'e-type inequality for differential forms on compact Riemannian manifolds with nonempty boundary. When the boundary is isometrically immersed in Euclidean space, we derive a new inequality involving mean and scalar curvatures of the boundary only and characterize its limiting case in codimension one. A new Ros-type inequality for differential forms is also derived assuming the existence of a nonzero parallel form on the manifold.