• Support PF! Buy your school textbooks, materials and every day products Here!

Tangent vector to a curve (Differential geometry/Lie theory).

  • Thread starter B L
  • Start date
  • #1
B L
8
0

Homework Statement



Let [itex] c(s) = \left( \begin{array}{ccc}
\cos(s) & -\sin(s) & 0 \\
\sin(s) & \cos(s) & 0 \\
0 & 0 & 1 \end{array} \right) [/itex] be a curve in SO(3). Find the tangent vector to this curve at [itex] I_3 [/itex].

Homework Equations



Presumably, the definition of a tangent vector as a differential operator would be useful here:
If X is the tangent vector to [itex] c(s) [/itex] at [itex] I_3 [/itex] (i.e. [itex] s = 0 [/itex]), then for functions [itex] f: SO(3) \rightarrow \mathbb{R} [/itex],
[itex] X\left[ f \right] = \frac{df\left(c\left(s\right)\right)}{ds}|_{s=0} [/itex]

The Attempt at a Solution


The fact that this problem is found in the section of the textbook (Nakahara, Geometry, Topology and Physics) dealing with Lie groups and Lie algebras, together with the fact that the problem asks for the tangent vector to c(s) at the identity leads me to think that we are supposed to use the Lie algebra in some way. However, I can't see how one would do that, so I've tried proceeding naively from the definition:
[itex] X\left[ f \right] = \frac{df\left(c\left(s\right)\right)}{ds}|_{s=0} [/itex]
[itex] = \frac{df}{dc} \frac{dc}{ds}|_{s=0} [/itex]
[itex] = \frac{df}{dc} \left( \begin{array}{ccc}
0 & -1 & 0 \\
1 & 0 & 0 \\
0 & 0 & 0 \end{array} \right) [/itex]

I have no idea how to proceed from here.

Thanks for any and all help!

EDIT: I quickly realized how trivial this is.
 
Last edited:

Answers and Replies

  • #2
Dick
Science Advisor
Homework Helper
26,258
618
You are already done. Sort of. X[f] would indeed be df(c(s))/ds at s=0. But that would be a real number. Writing something like df/dc is a little misguided. That would be the derivative of a real function with respect to a matrix. It would be tough to clearly define that. I think all they really want is the matrix dc/ds at s=0. And that you already have.
 
  • #3
B L
8
0
Am I correct in thinking that the corresponding tangent vector (i.e. element of the Lie algebra [itex] so(3) \cong T_eSO(3) [/itex]) would be [itex] -\frac{\partial}{\partial x^{12}} +\frac{\partial}{\partial x^{21}} [/itex]?

Thanks for the help.
 
  • #4
Dick
Science Advisor
Homework Helper
26,258
618
Am I correct in thinking that the corresponding tangent vector (i.e. element of the Lie algebra [itex] so(3) \cong T_eSO(3) [/itex]) would be [itex] -\frac{\partial}{\partial x^{12}} +\frac{\partial}{\partial x^{21}} [/itex]?

Thanks for the help.
Yes, you could write it that way. That would tell you how X acts on a function f:SO(3)->R.
 
  • #5
B L
8
0
I know why I went wrong - what I didn't realize is that by differentiation wrt c, I really meant partial differentiation wrt c^ij (and differentiation of c^ij wrt s) As soon as you do that the problem is trivial.
 

Related Threads on Tangent vector to a curve (Differential geometry/Lie theory).

Replies
14
Views
849
Replies
1
Views
881
Replies
1
Views
1K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
1
Views
984
Replies
6
Views
14K
Replies
0
Views
5K
Replies
2
Views
952
  • Last Post
Replies
18
Views
3K
Top