Tangent spaces and derivations

In summary, the conversation discusses the definition of a derivation on the algebra of germs of smooth functions at a point on a manifold. The target of the derivation can be either the set of real numbers or the set of germs of smooth functions, depending on the desired level of abstraction. The definition involves a linear functional on the algebra, which satisfies a condition involving pointwise multiplication and addition. This definition can also be generalized to other algebraic structures, but it may require a different linear functional. The tangent space at a point on a differentiable manifold can be defined using this correspondence between derivations and linear functionals, but the details of this construction are not discussed.
  • #1
StatusX
Homework Helper
2,570
2
As far as I know, the tangent space of a manifold at a point is often defined abstractly as follows. First, we define the germ of smooth real valued functions at a point a, which is the set of equivalence classes of smooth functions where two functions are considered equivalent if they are the same on some neighborhood of a. Pointwise addition, multiplication and scalar multiplication makes this into an algebra.

Then we define a derivation on this algebra. This is where I'm a little unclear. This is something like a linear functional on the algebra which satisfies:

[tex] \partial(fg) = \partial(f) g(a) + f(a) \partial(g) [/tex]

My question is, in the more general abstract setting, what are f(a) and g(a)? It seems like you need another linear functional e given by evaluation at a, and then the above condition is:

[tex] \partial(fg) = \partial(f) e(g) + e(f) \partial(g) [/tex]

Is this the correct general definition of a derivation, so that you must also specify a linear functional on the algebra? According to wikipedia, a derivation on an algebra satisfies:

[tex] \partial(fg) = \partial(f) g + f \partial(g) [/tex]

So that it takes values in the algebra. This gets around needing a linear functional, but it seems like this space of derivations would be much bigger.
 
Last edited:
Physics news on Phys.org
  • #2
Huh. There is a glaring omission there, and I was sure that there didn't used to be an omission. At least the relevant information does appear in the Kahler differential page.

Basically, the source and target of the derivation don't have to be the same structure -- in general, all you need is that the source is a R-algebra, and the target is an R-module. (And you can probably generalize further)

Here, your derivation is a module homomorphism from the algebra of germs of smooth functions at a to the tangent space at a.

Over what ring of scalars? I think you can use the reals, or you can use the ring of smooth functions, or even the ring of germs of smooth functions as your ring of scalars.

Notice that the ring of germs of smooth functions has a unique maximal ideal: the set of all germs that vanish at a. Taking the corresponding quotient ring is effectively the same as evaluating at a.
 
  • #3
Hurkyl said:
Here, your derivation is a module homomorphism from the algebra of germs of smooth functions at a to the tangent space at a.

I don't understand that. It seems to me like the target is either real numbers or germs of real smooth functions, and I'm trying to define the tangent space at a as the set of derivations on the algebra of germs of functions at a. If the target is real numbers, we need to use the first formula I wrote, which is fine except it doesn't work for general algebras, which is a problem if you want to use general algebraic techniques. And if it's germs, it seems like the set of derivations wouldn't be the tangent space, but something like the set of germs of smooth vector fields at a. Am I missing something?
 
  • #4
I made a slight omission -- the target is not merely an R-module, but also a module over your R-algebra.


It might be worth looking at the problem, using the fact that you already know the answer. You have a ring R of smooth functions on your manifold. You have the ring S of germs of smooth functions at a. You have the R-module T which is the tangent space to your manifold at a.

You can give T an S-module structure with the scalar product
f v := f(a) v (for f in S and v in T).​
(check that this is actually an S-module structure!)

Then, the given operator really is an R-derivation from S to T.


Wait -- that's wrong. In this approach (as I know it), T is the cotangent space at a, not the tangent space...
 
Last edited:
  • #5
Yea, I was confused at first, but the book I'm reading is definitely using this to define the tangent space, not the cotangent space. In euclidiean space, the derivation in question is not the gradient operator, but the linear functional sending a function f to the the real number [itex]\vec v \cdot \nabla f [/itex] for some vector v. It can be shown that all derivations at a point defined in the abstract way I described above give rise to such a functional for some vector v, and so there is an isomorphism between the derivations and the tangent space in euclidean space. This correspondence is then used to construct the tangent space for a general differentiable manifold. So it seems like we were talking about different things, but now do you see where my problem is?
 
Last edited:
  • #6
Oh, right, the "tangent space = space of differential operators" construction. You know, I don't think I've actually ever gone through all of the details of that one. :frown:
 
  • #7
Oh, right, the "tangent space = space of differential operators" construction. I don't think I've actually ever gone through all of the details of that one. :frown:
 
  • #8
usually you specify the kernel of the derivation and the target.

i.e.c ertain multipiers make the derivation linear and others act like leibniz rule.
 
  • #9
mathwonk said:
usually you specify the kernel of the derivation and the target.

i.e.c ertain multipiers make the derivation linear and others act like leibniz rule.

Ok, but what is the target of this derivation?
 
  • #10
the trget of a derivation on the ring of germs of functions is usually either the ring of germs of funcions oir the scalars. just look at your definition and see. it should be clear. I am listening to janice joplin right now and assume you can do thus. pardon me if i am not helpful. later i will check back in.
 
  • #11
Ok, well, if and when you get the time, I explained my confusion with both of those as target spaces in the third post.
 
  • #12
Theorem: If X in k^n is a closed affine variety then all the following definitions define naturally isomorphic linear spaces.
1) Tp(X) = the union of all lines in k^n which are tangent to X at p (i.e. lines with intersection multiplicity at least 2 with X at p).
2) Tp(X) = intersection of {Lj = 0}, the common zero locus of the linear terms at p, Lj, of the Taylor expansions of the generators fj of the ideal of X in k^n.
3) Tp(X) = Homk( M/M^2, k) where M in k[X] is the ideal in k[X] of the point p.
4) Tp(X) = Homk( m/m^2, k) where m in ØX,p is the ideal in ØX,p of the point p.
5) Tp(X) = Derp(k[X], k) = all k linear mappings D: k[X] →k, which satisfy the Leibniz rule, i.e. such that D(fg) = f(p)D(g) + g(p)D(f), for all f,g in k[X].
6) Tp(X) = Derp(ØX,p , k).
 
Last edited:
  • #13
Ok, thanks for that, but I'm talking about a differentiable manifold. Is there some way to translate any of these over to that setting?
 
  • #14
probably 1,2,4,6 make sense almost exactly as stated in that case.
 
  • #15
mathwonk said:
probably 1,2,4,6 make sense almost exactly as stated in that case.


this is easily derived from the smooth taylor polynomials
 

1. What is a tangent space?

The tangent space is a mathematical concept in differential geometry that represents the set of all possible tangent vectors at a point on a manifold. It can also be thought of as the space of all possible directions in which a curve can pass through a point on a manifold.

2. How are tangent spaces related to derivatives?

In differential calculus, the derivative of a function at a point is defined as the slope of the tangent line to the curve at that point. Similarly, in differential geometry, the tangent space at a point on a manifold represents all possible directions in which a curve can pass through that point. Therefore, the tangent space is closely related to the concept of derivatives, as it provides a geometric interpretation of them.

3. What is the role of tangent spaces in tangent bundles?

In differential geometry, the tangent bundle is a mathematical construction that combines all the tangent spaces of a manifold into a single object. The tangent bundle is important because it allows us to study the behavior of a manifold in all possible directions, rather than just at a single point. Tangent spaces play a crucial role in defining and understanding the tangent bundle.

4. What is a derivation?

In mathematics, a derivation is a function that maps a set of mathematical objects (such as functions or vector fields) to another set of objects, while satisfying certain properties. In the context of tangent spaces, a derivation is a function that assigns a tangent vector to each point on a manifold, and satisfies certain properties related to differentiation.

5. How are derivations used in differential geometry?

Derivations are used in differential geometry to study the behavior of functions and vector fields on manifolds. They provide a way to differentiate functions and vector fields at a point on a manifold. Additionally, they can be used to define important concepts such as Lie brackets and Lie derivatives, which are important tools in differential geometry and its applications.

Similar threads

  • Differential Geometry
Replies
7
Views
2K
  • Differential Geometry
Replies
2
Views
536
  • Differential Geometry
Replies
10
Views
661
Replies
4
Views
1K
  • Differential Geometry
Replies
12
Views
3K
Replies
4
Views
1K
  • Differential Geometry
Replies
20
Views
2K
Replies
9
Views
3K
Replies
0
Views
288
  • Differential Geometry
Replies
6
Views
6K
Back
Top