Skip to main content
4 of 6
If $G:T^*M \to T^*M$ is a fiber map over the identity when $\pi \circ G = \pi$. I think you wrote $dG \circ d\pi = d\pi$ when you meant to write $d\pi \circ dG = d\pi$. Also a parenthesis was missing.

We just need to relax and remember definitions.

Let $\pi:T^*M \to M$ be the canonical projection. Given a diffeomorphism of the base $f:M\to M$, the pullback mapping $f^*:T^*M \to T^*M$ is again a diffeomorphism, and one has commutativity $d(f^*) \circ d\pi=d\pi \circ df$, where $df$ is the usual differential and $d(f^*):TT^*M \to TT^*M$. From this commutativity it's easy to see that indeed $(f^*)^* \theta=\theta$, where we recall that the $1$-form $\theta$ on $T^*M$ is defined as $\theta_{(p,\alpha)}(v)=\alpha_p(d\pi_{(p,\alpha)}(v))$, where $v$ lies in the tangent space of the `point' $(p,\alpha) \in T^*M$ in the cotangent bundle.

Suppose now we are given a diffeomorphism $F:T^*M \to T^*M$ of the cotangent bundle. If $F$ does not preserve the fibres of $\pi$, then there is no chance of $F$ being induced by a diffeomorphism of the base (this even if $F^*\theta=\theta$). Supposing that $F$ $does$ preserve fibres, then we obtain a diffeomorphism $f:M\to M$ of the base. Now our task is to show that if $F^* \theta=\theta$, then $F=f^*$. So let's say we're given a diffeomorphism $G:T^*M \to T^*M$ with $G^*\theta=\theta$ and which induces the identity map on the base $M$. Taking differentials gives us the handy relation $d\pi \circ dG =d\pi$. Of course, i'm thinking of $G=F^{-1}\circ f^*$ and we want to find if $G$ is the identity mapping.

As $G$ induces the identity mapping on the base, the diffeomorphism $G$ induces at every point $p\in M$ a fibre-diffeomorphism $G_p:T^*_p M \to T^*_p M$. That is, $G$ acts like $(p,\alpha)\mapsto (p, G_p\alpha)$. We want to show that $G_p$ is the identity mapping. For this, let $(p,\alpha) \in T^*M$ and $v\in T_{(p,\alpha)}T^*M$. Now we compute

$G^*\theta_{(p,\alpha)}(v)=\theta_{(p, G_p\alpha)}(dG(v)) =G_p\alpha(d\pi(dG(v))).$

Our handy relation making this last part equal to $G_p\alpha(d\pi(v))$. If $G^*$ preserves $\theta$, then we must have equality $G_p\alpha(d\pi(v))=\alpha(d\pi(v))$ for all $v$, i.e. $G_p$ is the identity.

JHM
  • 2.3k
  • 16
  • 25