“Representability” II

As we have seen in the last problem, we can identify a compact smooth manifold M with \mathrm{hom}_{\Bbb{R}\mathrm{-alg}}(C^\infty(M),\Bbb{R}). Give a similar identification between the tangent bundle TM and  \mathrm{hom}_{\Bbb{R}\mathrm{-alg}}(C^\infty(M),\Bbb{R}[x]/(x^2)).

“Representability” II

One thought on ““Representability” II

  1. nachodarago says:

    We know that TM is identified with the set of \mathbb R-linear derivations \mathrm{Der}_{\mathbb{R}}(C^{\infty}M). Now, to identify derivations with \mathbb{R}-algebra morphisms C^\infty M\to \mathbb{R}[t]/(t^2) just consider, for any derivation \delta:C^\infty M\to \mathbb{R} the map f\mapsto f + \delta(f)t. Conversely, given a map C^\infty M\to \mathbb{R}[t]/(t^2) consider the term that is with t and notice that it is a derivation. This two maps are the inverse of each other.

    Liked by 1 person

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s