Algebraic Tangent Space

Differential Geometry
Post Reply
Tsakanikas Nickos
Community Team
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

Algebraic Tangent Space

#1

Post by Tsakanikas Nickos »

Let $M$ be a smooth manifold. For a point $p \in M$, set \[ \mathfrak{m}_{p} = \left\{ \ f \in C^{\infty}(M) \ \big| \ f(p) = 0 \ \right\} \]Show that
  1. $\mathfrak{m}_{p}$ is a maximal ideal of $C^{\infty}(M)$.
  2. Any derivation on $ C^{\infty}(M) $ is determined by its values of $ \mathfrak{m}_{p} $.
  3. There is an $ \mathbb{R} $-linear isomorphism \( T_{p}M \longrightarrow \text{Hom} \left( \mathfrak{m}_{p} / \mathfrak{m}_{p}^{2}, \mathbb{R} \right) \), where $T_{p}M$ is the (usual/geometric) tangent space of $M$ at $p$.
    [You may have to use the isomorphism $ T_{p}M \cong \mathcal{Der} \left( C^{\infty}(M) _{p} \right) $ ]
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 3 guests