tangent and cotangent bundle Hi, I am reading "Introduction to symplectic topology" by McDuff and salamon. At some point I cant go further. My question is: Let $(M,g)$ be a Riemannian manifold and consider the cotangent bundle $T^{\star}M$. My question is now, how one can show that there is an bundle isomorphism $\varphi : TM \oplus T^{\star}M \rightarrow T(T^{\star}M)$, s.t. $d\pi \circ \varphi$ is the identily on $TM$ and it preserves the symplectic forms. In the book there is a hint giving, by saying that one can choose $\varphi$ via a connection on the cotangen bundle.
 A: I guess what you want to prove is the following: for a given vector bundle $E$ over $M$ there is a canonical subbundle, the vertical bundle $\mathrm{Ver}(E) = \ker T\pi \subseteq TE$ of the tangent bundle of the total space., where $\pi\colon E \longrightarrow M$ is the bundle projection. Then the choice of a connection gives a complementary subbundle $\mathrm{Hor}(E)$, the horizontal bundle. Depending on your favorite definition of a connection, this is just the definition ;) Now what is true is that the horizontal bundle is isomorphic to the pull-back bundle $\pi^\sharp TM$ of the tangent bundle of the base $M$. This is intrinsically defined as vector bundle over $E$ but it is not a subbundle of $TE$ in an intrinsic way. Here you need the connection. But then you have $\pi^\sharp TM \oplus \ker T\pi \cong TE$.
Now you can unwind this for $E = T^*M$ and get your result (stated correctly). I hope that helps.
EDIT: for $T^*M$ one then has a canonical pairing of the horizontal and vertical spaces at every point. This you can either symmetrize to get a pseudo-riemannian metric or antisymmetrize to get a symplectic form (guess which). Interestingly enough, the metric depends on the connection while the antisymmetric form does not (you may need torsion-free, I forgot). Also as a side remark: the Laplacian (better d'Alembertian) of the metric plays an important role in quantization theory when passing from standard to Weyl ordering on a cotangent bundle.
You can find some background info in the book of Yano&Ishihara or, if you prefer german, in Sect 5.4 of my book ;)
A: Your Maths does not add up. Let $n$ be the dimensional of $M$. The LHS is a vector bundle of dimension $2n$ on $M$. The RHS is a vector bundle of dimension of $2n$ on $T^*M$. If you just consider it as a bundle on $M$ , its dimension is $3m$, so no iso possible.
