Riemannian Geometry with differentiable ambient space and metric operator

We show Riemannian geometry could be studied by identifying the tangent bundle of a Riemannian manifold M with a subbundle of the trivial bundle M × E, obtained by embedding M differentiably in a Euclidean space E. Given such an embedding, we can extend the metric tensor on M to a (positive-definite) operator-valued function acting on E, giving us an embedded ambient structure. The formulas for the Christoffel symbols and Riemannian curvature in local coordinates have simple generalizations to this setup. For a Riemannian submersion mathfrakq:M→ B from an embedded manifold Msubset E, we define a submersed ambient structure and obtain similar formulas, with the O'Neil tensor expressed in terms of the projection to the horizontal bundle HM. Using this framework, we provide the embedded and submersed ambient structures for the double tangent bundle TTM and the tangent of the horizontal bundle THM, describe the fibration of a horizontal bundle over the tangent bundle of the base manifold and extend the notion of a canonical flip to the submersion case. We obtain a formula for horizontal lifts of Jacobi fields, and a new closed-form formula for Jacobi fields of naturally reductive homogeneous spaces. We construct natural metrics on these double tangent bundles, in particular, extending Sasaki and other natural metrics to the submersion case. We illustrate by providing explicit calculations for several manifolds.