Antisymmetric covariant Hessian measures torsion

ID: antisymmetric-covariant-hessian-measures-torsion

For an affine connection, define geometric torsion tensor by . The covariant Hessian of a scalar field is . Antisymmetrizing gives . Thus all scalar Hessians are symmetric exactly when the connection is torsion-free. In derivative-first coordinates, , which makes the sign explicit. Differentials of local coordinate functions span the cotangent space, so vanishing of this antisymmetric part for every forces the torsion itself to vanish.

New to topics? Read the docs here!