Projected ambient connection

ID: projected-ambient-connection

For a Riemannian metric on an ambient manifold and an embedded submanifold, let be orthogonal projection. Project the restriction of a connection to an embedded submanifold to obtain . Since , the Leibniz rule and linearity over smooth functions hold, making an affine connection. If the ambient connection is the Levi-Civita connection, pairing with tangent vectors shows that is a metric connection; projecting the zero-torsion identity shows it is a torsion-free connection. By uniqueness, is the induced Levi-Civita connection.

New to topics? Read the docs here!