Let MMM be a Riemannian manifold, and let p∈Mp \in M.

I know that the tangent space at pp, TpMT_pM, is isomorphic as a vector space to the cotangent space at pp, (TpM)∗(T_pM)^*. Thus, in some sense, as vector spaces, they are indistinguishable.

Since MM is a Riemannian manifold, TpMT_pM has an inner product, the Riemannian metric, and thus is not just a vector space, but also a Hilbert space. Thus elements v∈TpMv \in T_pM have notions of angle and length, and can be thought of as “geometric vectors”, i.e. arrows pointing from some origin.

Do elements w∈(TpM)∗w \in (T_pM)^* also have notions of length and angle, allowing them to be thought of as geometric vectors? Or is (TpM)∗(T_pM)^* just a metrizable topological vector space, allowing one to think of w∈(TpM)∗w \in (T_pM)^* as “points”, objects for which there is a meaningful notion of distance and a “Cartesian grid”, as well as notions of addition and scalar multiplication, but not of length or angle.

Overarching question: do the tangent space at pp, TpMT_pM, and the cotangent space at pp, (TpM)∗(T_pM)^*, have any different structures defined on them which are not defined on their counterpart? And for those structures which are defined on both sets, for which are they isomorphic?

Is the cotangent space also a Hilbert space? If so, are the tangent and cotangent spaces isomorphic as Hilbert spaces?

Is the cotangent space also a Banach space? If so, are they isomorphic as Banach spaces?

Are they both metric spaces? If so, are they isomorphic as metric spaces?

=================

1

Is MM here finite dimensional?

– John Hughes

Oct 20 at 17:29

@JohnHughes I guess it has to be right or else the question doesn’t make sense — I’ll change it

– William

Oct 20 at 17:30

1

Well…the question makes sense, but the answer, in the infinite-dimensional-case would be “Yes, they’re distinguishable”. 🙂

– John Hughes

Oct 20 at 17:33

3

T∗MT^*M has a natural symplectic structure.

– Moishe Cohen

Oct 20 at 17:33

@JohnHughes Oh I guess I spoke too soon then — I will change the question back to its original version then. Sorry about that — I would like to hear about this distinction in the infinite-dimensional case.

– William

Oct 20 at 18:09

=================

3 Answers

3

=================

The Riemannian metric provides a natural identification of the cotangent space with the tangent space. Therefore the cotangent space is also naturally equipped with a Euclidean (or if you prefer Hilbert-space) metric. The simplest way of thinking of the identification is to send a tangent vector vv to the covector given by the inner product with rr, namely ⟨v,⋅⟩\langle v,\cdot\rangle.

So they are naturally isomorphic as Hilbert spaces, Banach spaces, and metric spaces.

Expressed in terms of indices, the relation is simply this. If viv_i represents a vector and αj\alpha^j a covector then the relation vi=gijαjv_i=g_{ij}\alpha^j (summation over a repeated index as usual) gives a way of passing between a vector and its corresponding covector. Here gijg_{ij} is the Riemannian metric.

Is this identification the metric tensor? en.wikipedia.org/wiki/Riemannian_manifold#Riemannian_metrics Wikipedia doesn’t say anything else about cotangent spaces on Riemannian manifolds, and the article on cotangent spaces only refers to differentiable manifolds, where both the tangent and cotangent spaces are a priori only vector spaces (in a way that is compatible with the manifold’s structure).

– William

Oct 20 at 18:06

Using the elementary definition without tensors, and just as an inner product on the tangent space, can one define it naturally on the cotangent space by using adjoints and identifying the tangent space with its double dual (which works because it is finite-dimensional)?

– William

Oct 20 at 18:08

1

I am not sure what you are asking exactly, but I will add a formula hopefully to make things clearer.

– Mikhail Katz

2 days ago

Let MM be a Riemannian manifold, and let p∈Mp \in M.

I know that the tangent space at pp, TpMT_pM, is isomorphic as a vector space to the cotangent space at pp, (TpM)∗(T_pM)^*. Thus, in some sense, as vector spaces, they are indistinguishable.

That’s true to an extent, but the isomorphism is still not “wholeheartedly natural”. If α=g(v,⋅)\alpha = g(v, \cdot), and if the metric gg is replaced by a constant multiple λg\lambda g (i.e., the unit of length with respect to gg changes by a factor of λ\lambda), then

α=λg(v/λ,⋅),λα=λg(v,⋅).

\alpha = \lambda g(v/\lambda, \cdot),\qquad

\lambda\alpha = \lambda g(v, \cdot).

These relationships are obvious, profound, and (possibly) under-appreciated: If your scale of length (metric) gets longer, your tape measure (cotangent vector) gets longer while every object you measure (tangent vector) gets shorter.

Overarching question: do the tangent space at pp, TpMT_pM, and the cotangent space at pp, (TpM)∗(T_pM)^*, have any different structures defined on them which are not defined on their counterpart? And for those structures which are defined on both sets, for which are they isomorphic?

Arguably, this question (while a good one) does not address the whole story. One must also ask how the tangent and cotangent spaces (or better, the bundles) behave with respect to mappings.

Tangentially (no pun), tangent and cotangent bundles in the holomorphic category are, in general, genuinely distinct (e.g., they may have different Chern classes; one may have non-trivial holomorphic sections while the other doesn’t; etc.). An Hermitian metric, being conjugate-linear in the second argument, does not define an isomorphism of holomorphic vector bundles unless its components are constant.

Based on Moishe Cohen’s comment, and some reading on Wikipedia, I have come to the conclusion, that if symplectic forms do in fact induce volume forms, then one way to distinguish the tangent and cotangent bundle of a differentiable manifold is via the fact that the cotangent bundle has notions of orientation and volume, i.e. signed volume, and thus following from that a notion of integration, and then from that a notion of differentiation.

This in particular explains why phase space formulations of classical mechanics usually concern themselves primarily with the cotangent bundle, because it has symplectic structure and thus provides notions of volume to work with in phase space, leading e.g. to Liouville’s theorem.

I have mused on this, also incorrectly and hand-wavingly, here and here.

The reason why the tautological one-form, hence symplectic structure, although natural to the cotangent bundle, is not natural to the tangent bundle, seems to be possibly related somehow to this statement made in the Wikipedia article on cotangent bundles:

Note that the tautological one-form is not a pullback of a one-form on the base M.

1

Symplectic geometry is a fascinating subject but your original question started with a Riemannian metric which immediately leads to the identification of the two spaces you are interested in. If you have a question about symplectic geometry, you should ask it separately, or else clarify the intention of this question.

– Mikhail Katz

2 days ago