Constancy of the index for gradient mappings

Abstract: We show that if the Hessian of a $C^{1,1}$ function has uniformly positive determinant almost everywhere then its index is locally constant, as conjectured by \v{S}ver\'ak in 1992. We deduce this result as a consequence of a more general theorem valid for quasiregular gradient mappings.