We give a proof of the DDVV
conjecture, which is a pointwise inequality involving the scalar curvature, the normal
scalar curvature and the mean curvature on a submanifold of a real space form. We
also solve the problem of its equality case.
Keywords
normal scalar curvature, mean curvature, commutator