In mathematics, particularly differential topology, the double tangent bundle or the second tangent bundle refers to the tangent bundle of the total space ''TM'' of the tangent bundle of a differentiable manifold, smooth manifold ''M''
. A note on notation: in this article, we denote projection maps by their domains, e.g., ''π''_{''TTM''} : ''TTM'' → ''TM''. Some authors index these maps by their ranges instead, so for them, that map would be written ''π''_{''TM''}.
The second tangent bundle arises in the study of Connection (vector bundle), connections and second order ordinary differential equations, i.e., spray (mathematics), (semi)spray structures on smooth manifolds, and it is not to be confused with the jet bundle, second order jet bundle.

_{''x''}''M'' takes the form
:$(\backslash pi\_)^\_*(X)\; =\; \backslash Big\backslash .$
The double tangent bundle is a double vector bundle.
The canonical flip is a smooth involution ''j'':''TTM''→''TTM'' that exchanges these vector space structures
in the sense that it is a vector bundle isomorphism between and In the associated coordinates on ''TM'' it reads as
:$j\backslash Big(X^k\backslash frac\backslash Big,\; \_\backslash xi\; +\; Y^k\backslash frac\backslash Big,\; \_\backslash xi\backslash Big)\; =\; \backslash xi^k\backslash frac\backslash Big,\; \_X\; +\; Y^k\backslash frac\backslash Big,\; \_X.$
The canonical flip has the property that for any ''f'': R^{2} → ''M'',
:$\backslash frac\; =\; j\; \backslash circ\; \backslash frac$
where ''s'' and ''t'' are coordinates of the standard basis of R ^{2}. Note that both partial derivatives are functions from R^{2} to ''TTM''.
This property can, in fact, be used to give an intrinsic definition of the canonical flip. Indeed, there is a submersion
''p'': J^{2}_{0} (R^{2},M) → ''TTM'' given by
:$p([f])=\backslash frac\; (0,0)$
where ''p'' can be defined in the space of two-jets at zero because only depends on ''f'' up to order two at zero. We consider the application:
:$J:\; J^2\_0(\backslash mathbb^2,M)\; \backslash to\; J^2\_0(\backslash mathbb^2,M)\; \backslash quad\; /\; \backslash quad\; J([f])=[f\; \backslash circ\; \backslash alpha]$
where α(''s'',''t'')= (''t'',''s''). Then ''J'' is compatible with the projection ''p'' and induces the canonical flip on the quotient ''TTM''.

_{''x''}''M'' of the tangent bundle can be identified with the fibres ''T''_{x}''M'' themselves. Formally this is achieved through the vertical lift, which is a natural vector space isomorphism
defined as
:$(\backslash operatorname\_\backslash xi\; X)[f]:=\backslash frac\backslash Big,\; \_f(x,\backslash xi+tX),\; \backslash qquad\; f\backslash in\; C^\backslash infty(TM).$
The vertical lift can also be seen as a natural vector bundle isomorphism
from the pullback bundle of over onto the vertical tangent bundle
:$VTM:=\backslash operatorname(\backslash pi\_)\_*\; \backslash subset\; TTM.$
The vertical lift lets us define the canonical vector field
:$V:TM\backslash to\; TTM;\; \backslash qquad\; V\_\backslash xi\; :=\; \backslash operatorname\_\backslash xi\backslash xi,$
which is smooth in the slit tangent bundle ''TM''\0. The canonical vector field can be also defined as the infinitesimal generator of the Lie-group action
:$\backslash mathbb\; R\backslash times\; (TM\backslash setminus\; 0)\; \backslash to\; TM\backslash setminus\; 0;\; \backslash qquad\; (t,\backslash xi)\; \backslash mapsto\; e^t\backslash xi.$
Unlike the canonical vector field, which can be defined for any vector bundle, the canonical endomorphism
:$J:TTM\backslash to\; TTM;\; \backslash qquad\; J\_\backslash xi\; X\; :=\; \backslash operatorname\_\backslash xi(\backslash pi\_)\_*X,\; \backslash qquad\; X\backslash in\; T\_\backslash xi\; TM$
is special to the tangent bundle. The canonical endomorphism ''J'' satisfies
:$\backslash operatorname(J)=\backslash operatorname(J)=VTM,\; \backslash qquad\; \backslash mathcal\; L\_VJ=\; -J,\; \backslash qquad\; J[X,Y]=J[JX,Y]+J[X,JY],$
and it is also known as the tangent structure for the following reason. If (''E'',''p'',''M'') is any vector bundle
with the canonical vector field ''V'' and a (1,1)-tensor field ''J'' that satisfies the properties listed above, with ''VE'' in place of ''VTM'', then the vector bundle (''E'',''p'',''M'') is isomorphic to the tangent bundle of the base manifold, and ''J'' corresponds to the tangent structure of ''TM'' in this isomorphism.
There is also a stronger result of this kind which states that if ''N'' is a 2''n''-dimensional manifold and if there exists a (1,1)-tensor field ''J'' on ''N'' that satisfies
:$\backslash operatorname(J)=\backslash operatorname(J),\; \backslash qquad\; J[X,Y]=J[JX,Y]+J[X,JY],$
then ''N'' is diffeomorphic to an open set of the total space of a tangent bundle of some ''n''-dimensional manifold ''M'', and ''J'' corresponds to the tangent structure of ''TM'' in this diffeomorphism.
In any associated coordinate system on ''TM'' the canonical vector field and the canonical endomorphism have the coordinate representations
:$V\; =\; \backslash xi^k\backslash frac,\; \backslash qquad\; J\; =\; dx^k\backslash otimes\backslash frac.$

_{*}:''TM''→''TTM'' is the push-forward, ''j'':''TTM''→''TTM'' is the canonical flip and κ:''T''(''TM''/0)→''TM''/0 is the connector map. The mapping ''D''_{''X''} is a derivation in the module Γ (''TM'') of smooth vector fields on ''M'' in the sense that
* $D\_X(\backslash alpha\; Y\; +\; \backslash beta\; Z)\; =\; \backslash alpha\; D\_XY\; +\; \backslash beta\; D\_XZ,\; \backslash qquad\; \backslash alpha,\backslash beta\backslash in\backslash mathbb\; R$.
* $D\_X(fY)\; =\; X[f]Y\; +\; f\; D\_XY,\; \backslash qquad\; \backslash qquad\; \backslash qquad\; f\backslash in\; C^\backslash infty(M)$.
Any mapping ''D''_{''X''} with these properties is called a (nonlinear) covariant derivative
I.Bucataru, R.Miron, ''Finsler-Lagrange Geometry'', Editura Academiei Române, 2007. on ''M''.
The term ''nonlinear'' refers to the fact that this kind of covariant derivative ''D''_{''X''} on is not necessarily linear with respect to the direction ''X''∈''TM''/0 of the differentiation.
Looking at the local representations one can confirm that the Ehresmann connections on (''TM''/0,π_{''TM''/0},''M'') and nonlinear covariant derivatives on ''M'' are in one-to-one correspondence. Furthermore, if ''D''_{''X''} is linear in ''X'', then the Ehresmann connection is linear in the secondary vector bundle structure, and ''D''_{''X''} coincides with its linear covariant derivative.

Differential geometry
Topology

Secondary vector bundle structure and canonical flip

Since is a vector bundle in its own right, its tangent bundle has the secondary vector bundle structure where is the push-forward of the canonical projection In the following we denote :$\backslash xi\; =\; \backslash xi^k\backslash frac\backslash Big,\; \_x\backslash in\; T\_xM,\; \backslash qquad\; X\; =\; X^k\backslash frac\backslash Big,\; \_x\backslash in\; T\_xM$ and apply the associated coordinate system :$\backslash xi\; \backslash mapsto\; (x^1,\backslash ldots,x^n,\backslash xi^1,\backslash ldots,\backslash xi^n)$ on ''TM''. Then the fibre of the secondary vector bundle structure at ''X''∈''T''Canonical tensor fields on the tangent bundle

As for any vector bundle, the tangent spaces of the fibres ''T''(Semi)spray structures

A Spray (mathematics), Semispray structure on a smooth manifold ''M'' is by definition a smooth vector field ''H'' on ''TM'' \0 such that ''JH''=''V''. An equivalent definition is that ''j''(''H'')=''H'', where ''j'':''TTM''→''TTM'' is the canonical flip. A semispray ''H'' is a Spray (mathematics), spray, if in addition, [''V'',''H'']=''H''. Spray and semispray structures are invariant versions of second order ordinary differential equations on ''M''. The difference between spray and semispray structures is that the solution curves of sprays are invariant in positive Parametrization (geometry), reparametrizations{{jargon-inline, reason=What makes a reparametrization positive?, date=September 2015 as point sets on ''M'', whereas solution curves of semisprays typically are not.Nonlinear covariant derivatives on smooth manifolds

The canonical flip makes it possible to define nonlinear covariant derivatives on smooth manifolds as follows. Let :$T(TM\backslash setminus\; 0)\; =\; H(TM\backslash setminus\; 0)\; \backslash oplus\; V(TM\backslash setminus\; 0)$ be an Ehresmann connection on the slit tangent bundle ''TM''\0 and consider the mapping :$D:(TM\backslash setminus\; 0)\backslash times\; \backslash Gamma(TM)\; \backslash to\; TM;\; \backslash quad\; D\_XY\; :=\; (\backslash kappa\backslash circ\; j)(Y\_*X),$ where ''Y''See also

* Spray (mathematics) * Secondary vector bundle structure * Finsler manifoldReferences