Let M be a smooth manifold. The double tangent bundle, TTM,can be viewed as a fibre bundle over TM in two ways, with the projection maps given by T\_πM (i.e. the derivative of the projection from TM to M) and π\_TM (i.e. the standard projection onto TM). There is also a canonical involution K:TTM->TTM, which basically flips the inner two coordinates. It turns out to be a diffeomorphism and a natural transformation from T^2 to itself. In fact, Tπ\_M and π\_TM are related through composition with K.


My question is, what happens if you keep taking higher and higher tangent bundles? Evidently, you should have more ways to write them as fibre bundles over the lesser tangent bundle. Intuitively, to me at least, it feels that there are k ways to view (T^k)M as a fibre bundle over (T^(k-1))M: inductively, there is the derivative of all the previous projection maps, and the canonical way. Are there any others?


Is there always a diffeomorphism (or whatever the suitable notion is here) that will take one projection map to the other as in the case of the canonical involution in k=2? If not, what goes wrong, and does it have any significance?



In how many ways can an iterated tangent bundle (T^k)M be viewed as a fibre bundle over (T^(k-1))M?
If we use the notation $(TM, p\_M, M)$ for the tangent bundle of any manifold $M$, then you are right to think that $T^{\ k}M$ has $k$ natural vector bundle structures over $T^{\ k-1}M$ and so on down to $M$, making a diagram which is a $k$-dimensional cube. Such a structure is a $k$-fold vector bundle (See articles by Kirill Mackenzie) and $T^{\ k} M$ is a particularly symmetrical one. An easy way of writing the $k$ bundle maps would be 


$$T^{\ a}(p\_{T^{\ b} M}) $$


for $a+b+1 = k$, where this means that we are taking the $a$-th derivative of the tangent bundle projection $T\ (T^{\ b}M)\to T^{\ b}M$, yielding a map now from $T^{\ k}$ to $T^{\ k-1}$. 


To see the symmetries of $T^{\ k} M$ it is more convenient to describe the functor in a direct way rather than as a $k$-fold composition -- just as you might think of tangent vectors as infinitesimal curves, you can think of points in $T^{\ k} M$ as infinitesimal maps of a unit $k$-cube into $M$. The restrictions to the $k$ faces of the cube (going through the origin) gives your $k$ maps. 


From that point of view, it is clear that you can permute the $k$ coordinate axes and get another map of a cube into $M$, so that the functor $T^{\ k} M$ has a $S\_k$ group of natural-automorphisms.


Incidentally, to make the above into a definition of $T^{\ k} $, you could do the following:


Consider the fat point $fp$, which you should think of as a space whose smooth functions form the ring $\mathbb{R}[x]/(x^2)$. Then the tangent bundle $TM$ can be thought of as the space of maps from the fat point to $M$, i.e. $TM=C^\infty(fp,M)$. Such maps, by the way, are just algebra homomorphisms from the algebra $C^\infty(M,R)$ to $\mathbb{R}[x]/(x^2)$. You can check that such a map has two components $f\_0 + f\_1 x$, and that $f\_0$ is a homomorphism to $\mathbb{R}$ defining a maximal ideal (i.e. a point $p$ in $M$) and $f\_1$ defines a derivation (i.e. a vector at $p$). 


In precisely the same way you can consider a cubical fat $k$-point $kfp$ with functions 


$$\mathbb{R}[x\_1,...,x\_k]/(x\_1^2,...,x\_k^2)$$


and then define $T^{\ k} M = C^\infty(kfp,M)$. Then you can see the symmetries as automorphisms of the above algebra, and the $k$ maps you ask about as homomorphisms $C^\infty(kfp)\to C^\infty\big((k-1)fp\big).$


There are probably more subtle things to be said about these higher iterated bundles but I hope the above is at least correct.


