MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Short question with long title:

Suppose $T$ is the tangent functor and $T^2:=T\circ T$ is the second order tangent functor.

Are there natural transformations $T\otimes T \Rightarrow T^2$ ?

I consider the 'usual' domain of $T$ and $T^2$ as the category $\mathbf{M}$ of finite dimensional Hausdorff manifolds together with smooth morphisms, but in case there is a difference feel free to restrict to the category $\mathbf{M}_n$ of $n$-dimensional Hausdorff manifolds together with local diffeomorphisms.

share|cite|improve this question
up vote 3 down vote accepted

It sounds very unlikely, other than the trivial composition $T \otimes T \to id \to T^2$

Let $M=\mathbb R^n$. The double tangent bundle is $\mathbb R^{4n}$. The tensor tangent bundle is $\mathbb R^{n+n^2}$. Suppose a group $G$ acts on $M$ through $GL_n$. On the double tangent bundle, $T$ just doubles the representation, so you end up with $4$ copies of the same representation. On the tensor tangent bundle, you end up with one copy of the representation and one copy of the representation tensored with itself. There is not a natural linear map between these other than the one I described, and there is no reason to expect a natural nonlinear map.

share|cite|improve this answer
Yes! Very close to my own reasoning. Since $T^2$ is of second order, relative to derivation, a natural transformation must be a Gl(n,2) invariant map (where Gl(n,2) means the second order differential group) between the standard fibers you mentioned. Now since $T\otimes T$ is of first order $Gl(n,2)$ acts on its fibers linear through $Gl(n,1)$ – Mark.Neuhaus Jun 26 '12 at 1:26

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.