Abstract:We make evident a curvature tensor for every vector sub-bundle of an arbitrary manifold tangent bundle which reduces to the curvature tensor of an Ehresmann connection in the case of the horizontal sub-bundle of the tangent bundle to the total space of the nonlinear fiber bundle on which the connection is defined. Then the classical theorem of Frobenius would characterize the complete integrability of a vector sub-bundle of the tangent bundle by a zero curvature tensor in the sense of our definition here. A basic tool is a result about the curvature tensor of the natural lift of the vector sub-bundle to a manifold of maps with values in the base of that sub-bundle. Another is a localization property for a Lie algebra of vector fields over this manifold of <a class="link-external link-http" href="http://maps.These" rel="external noopener nofollow">this http URL</a> allow to prove an additive formula for the curvature tensors of two supplementary sub-bundles. The main result consists in identifying a natural linear parallel transport on a supplementary vector sub-bundle along any tangent path to the vector sub-bundle under study, which is the right generalization of a linear connection parallel transport on a vector bundle along the projection in the base of that path. Then we derive the differential equation of the quotient of respective parallel transport operators induced by two different supplementary sub-bundles to the sub-bundle in question in terms of its curvature. Using this we obtain the equation of the infinitesimal variation of tangent paths to a vector sub-bundle, defined by its curvature, that appears as the root for the Jacobi equation of the infinitesimal variation of geodesics.

Covariant Derivatives on Homogeneous Spaces -- Horizontal Lifts and Parallel Transport

Covariant Derivatives on Homogeneous Spaces: Horizontal Lifts and Parallel Transport

Codazzi tensor fields in reductive homogeneous spaces

Extension of Covariant Derivative (ii): from Flat Space to Curved Space

On the proper meaning of the curvature tensor and its general framework

Extension of Covariant Derivative (I): from Component Form to Objective Form

Rolling reductive homogeneous spaces

Algebraic structures on parallelizable manifolds

Extension of Covariant Derivative (III): from Classical Gradient to Shape Gradient

Parallel Codazzi tensors with submanifold applications

On the geometry of diffeological vector pseudo-bundles and infinite dimensional vector bundles: automorphisms, connections and covariant derivatives

Homotopically Invisible Singular Curves

On the synectic metric in the tangent bundle of a Riemannian manifold

On Affinely Homogeneous Submanifolds: The Power Series Method of Equivalence

On Lie Groups with Conformal Vector Fields Induced by Derivations

Left-invariant Codazzi tensors and harmonic curvature on Lie groups endowed with a left invariant Lorentzian metric

Covariant Schrödinger Operator and $L^2$-Vanishing Property on Riemannian Manifolds

A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds

Parallel transport on a Lie 2-group bundle over a Lie groupoid along Haefliger paths

Computing equivariant matrices on homogeneous spaces for geometric deep learning and automorphic Lie algebras