Manifolds / Lie Groups - confusing notation

In summary, the conversation discusses the notation F_{\star} for d_{x}F and the chain rule d_{x}{G \circ F}=d_{F(x)}G \circ d_{x}F. The speaker explains that the notation dF_x can be thought of as a map between tangent spaces, while dF can be thought of as a map between tangent bundles. The conversation also discusses the notation (L_{g})_{\star} for dL_g, and the meaning and use of F_{\star} and (L_g)_*. In conclusion, the conversation provides a better understanding of the notation and its application in differential geometry.
  • #1
GSpeight
31
0
Hi there,

I'm reading over my Lie groups notes and in them, in the introductory section on manifolds, I've written that [itex]F_{\star}[/itex] is a commonly used notation for [itex]d_{x}F[/itex] and so the chain rule [itex]d_{x}{G \circ F}=d_{F(x)}G \circ d_{x}F[/itex] can be written [itex](G\circ F)_{\star}=G_{\star}\circ F_{\star}[/itex]

Is what I've written correct? To me this seems horribly confusing since it neglects to mention where you are taking the differential. Should it instead be that [itex]F_{\star}[/itex] is the map from M to [itex]d_{x}F[/itex]. On second thoughts this doesn't make total sense either...

He's gone on to make definitions like:

A vector field X on a Lie group G is called left-invariant if, for all g,h in G, [itex](L_{g})_{\star}X_{h}=X_{gh}=X_{L_{g}(h)}[/itex] where [itex]L_{g}[/itex] is the left multiplication map by g ,which I'm finding difficult to understand with my current definition of [itex]F_{\star}[/itex].

Thanks for any replies :)
 
Last edited:
Physics news on Phys.org
  • #2
okay so you are asking why we are not writing [tex] F_*_x [/tex], so I could as well expain the notation

[tex] dF [/tex]

where i have left out the x. So I try to explain that.

[tex] dF_x [/tex] is a map between the tangent space at some point x in a manifold M to the tangent space at some point F(x) in a manifold N, (so [tex] F: M \rightarrow N [/tex]). Now we could as well drop the x and look at [tex] dF [/tex] as a map between the tangent bundles of M and N, that is

[tex] dF_x : T_xM \rightarrow T_{F(x)M} [/tex]

and

[tex] dF: TM \rightarrow TN [/tex]

so now we can think of [tex] dF [/tex] to work on sections of TM (and more common vector fields). Of cause you are right that you have to be carefull about where each [tex] X(x) [/tex] goes.

So [tex] dF(X(x)) = dF_x(X_x) \in T_{F(x)}N[/tex] where [tex]X_x=X(x) \in T_xM[/tex] and [tex] dF(X) \in TN [/tex]

so there is a difference. This is a bit like, if [tex] f: R \rightarrow R [/tex] smooth then

[tex] \frac{\partial f}{\partial x} \in C^{\infty}(R) [/tex] and [tex] \frac{\partial f}{\partial x}|_{x=t} \in R [/tex]. That is the derivative of f is a smooth function again, but if you evauate at t then it is a real number.

It can seem confusing because if we take a simple example f(x) = x^2 then

[tex] \frac{\partial f}{\partial x} = 2 x [/tex] and

[/tex] and [tex] \frac{\partial f}{\partial x}|_{x=t} = 2 t [/tex]

So what is the difference? Remember that t is just a real number, so if you differentiate again with respect to x you see that there is a big difference,

[tex] \frac{\partial^2 f}{\partial x^2} = 2 [/tex] and

[/tex] and [tex] \frac{\partial}{\partial x}\frac{\partial f}{\partial x}|_{x=t} = \frac{\partial}{\partial x} 2 t = 0 [/tex]

we often don't make this distinction, but that is because when we are doing a calculation it is clear what is ment.

So i would say that [tex]F_*[/tex] is a notaion for [tex]dF[/tex] and not for [tex]dF_x[/tex], but often the distiction is not necesary, because it is clear how we could identify [tex]dF[/tex] with [tex]dF_x[/tex], that is just restrict [tex]dF[/tex] from [tex]TM[/tex] to [tex]T_xM[/tex], and so it is clear how to identify [tex]dF_x[/tex] with [tex]F_*[/tex].

You will experience often in differential geometry that in the notation there are a lot of hidden things, that is because it is a very notation heavy subject, so just be carefull and don't worry it will become easier with time.
 
Last edited:
  • #3
so you see that for your last question:

[tex](L_{g})_{\star}X_{h}[/tex]

makes more sense because [tex]dL_g=(L_{g})_{\star}[/tex] maps from a vector field to another vectorfield where as [tex]d_xL_g[/tex] only is a map from [tex]T_xG[/tex] to [tex]T_L_g(x)G[/tex].
 
Last edited:
  • #4
Thank you so much for your response, I think I understand it much better after reading your post!

Am I correct in thinking that, explicitly, [itex](L_{g})_{\star}X_{h}=(d_{h}L_{g})\circ X_{h}[/itex] since that is the only place we can be taking the differential, since [itex]X_{h} \in T_{h}M[/itex]

This makes the rest of the definitions I have easier to understand too, e.g. if [itex]F:M\rightarrow N[/itex] is a smooth map of manifolds and X, Y are smooth vector fields on M and N respectively then X and Y are F-related if [itex]F_{\star}(X_{x})=Y_{F(x)}[/itex] for all x in M... would just mean [itex] d_{x}F \circ X_{x} = Y_{F(x)}[/itex] for all x in M, since [itex]X_{x} \in T_{x}M[/itex]
 
Last edited:
  • #5
think you are kind a right but you shouldn't write

[itex](L_{g})_{\star}X_{h}=(d_{h}L_{g})\circ X_{h}[/itex]

because [tex] (L_g)_*[/tex] acts on a vector field, and should not be put togheter with one that is

[itex](L_{g})_{\star}X_{h}=d_{h}L_{g}(X_{h})[/itex].

But maybe try to see it like this: Let X be a vector field. That is [tex]X\in TM[/tex] and [tex]X(h) \in T_hM[/tex], then [tex](L_g)_*X[/tex] is a new vector field, call it Y such that [tex]Y \in TM[/tex] and [tex]Y(h) = (L_g)_*X(h) \in T_{L_g(h)}M[/tex] (remember that L_g goes from M into M). Then you have

[tex](L_g)_*X = dL_g(X) = Y \in TM[/tex]
and

[tex] d_hL_g(X_h) = Y_h \in T_{L_g(h)}M[/tex] where [tex]X_h[/tex] is just shorthand for [tex]X(h)[/tex]

but you could write

[tex] (L_g)_*X_h = d_hL_g(X_h) = Y_h \in T_{L_g(h)}M[/tex]

but this notation is a bit sloppy (I think) because [tex] (L_g)_*[/tex] actually acts on vectorfields not tangent vectors, but because [tex] X_h [/tex] is actually a vector field evaluated at h, we can define

[tex] (L_g)_*X_h = (L_g)_*X|_h = d_hL_g(X_h) = Y_h \in T_{L_g(h)}M[/tex]

so it makes sence. I guess that if you have a tangent vector [tex] t \in T_pM [/tex] you could write

[tex] (L_g)_*t [/tex]

but for this to make sense you need to show that you can extend t to a vector field X in TM with [tex] X(p) = t [/tex] and show that [tex] (L_g)_*X(p)[/tex] only depends on the value of X at p, then you can use the above, and thus make sense to [tex] (L_g)_*[/tex] working only on a tangent vector (I believe that this can be shown, but don't have my books with me), so this is why you can be a bit sloppy the definitions extends and restricts to each others.
 
  • #6
Thanks so much for your help again. So to summarise...

If [itex]F:M \rightarrow N[/itex] is a smooth map of manifolds then [itex]F_{\star}[/itex] maps smooth vector fields on M to smooth vector fields on N according to the rule [itex](F_{\star}X)_{g}=d_{g}F(X_{g})[/itex]

Alternatively [itex]F_{\star}[/itex] is a map of tangent bundles according to the rule [itex]F_{\star}(x,v)=d_{x}F(v)[/itex]

If it is clear that [itex]v \in T_{x}M[/itex] we will sometimes write [itex]F_{\star}(v)[/itex] instead of [itex]d_{x}F(v)[/itex]

Does this seem like a reasonable working understanding?
 
  • #7
Alternatively [itex]F_{\star}[/itex] is a map of tangent bundles according to the rule [itex]F_{\star}(x,v)=d_{x}F(v)[/itex]

this is not correct, the only reason i talk about tangent bundles is because a vector field lives in the tangent bundle, so when you correct say "maps smooth vector fields on M to smooth vector fields on N" then it is a map from the tangent bundle of M to the tangent bundle of N.

Else I think what you are saying are correct, maybe someone should read it through to check it. But I'm pretty sure that [tex] F_*X[/tex] defines a vector field on N by
[tex](F_*X)(g)=d_gF(X(g))[/tex] as you say.
 
  • #8
I meant to say [itex]F_{\star}[/itex] is a map between tangent bundles, not sure if that makes any difference, but, in any case, will forget about that bit.

I'm sure it will become clearer as I work through my notes and rewrite pieces that confuse me, just as long as I have a working understanding for now.

Thanks again!
 
  • #9
no problem, using the definition is the only way to go. Maybe just a quick comment:

I guess the notation [tex] dF [/tex] and [tex] d_xF[/tex] is a bit like this:

[tex] d_xF[/tex] could be written just as well as [tex] dF(x) [/tex] just like if you have a normal function f, and you could write [tex] f(x) [/tex] and [tex] f_x[/tex] (not so commen, but is used). Let's take the example with f which is just a familiar function.

[tex] f [/tex] is the object calld a function, and [tex] f(x) [/tex] is actually that object called a function evaluated at x. We often say that [tex] f(x) [/tex] is the function, but this is actually not correct, it is the function evaluated at x. You see this more clear if I write

[tex] \frac{\partial f(x)}{\partial x} [/tex] that you wouldn't write you would write
[tex] \frac{\partial f}{\partial x} [/tex] and clearly [tex] \frac{\partial f(x)}{\partial x} [/tex] should be [tex] \frac{\partial f}{\partial x}|_x [/tex], but here you would have know what i meant by [tex] \frac{\partial f(x)}{\partial x} [/tex].

Just like here [tex] dF [/tex] is the "operator" and [tex] d_xF[/tex] is the operator [tex] dF[/tex] evaluated at x.

The thing that may be difficult here is that [tex] dF[/tex] is defined as what it does on a vector field at a point in the manifold x. So [tex] dF[/tex] is kinda defined through [tex] d_xF[/tex] but it is an object in it self.

But if you think about it this not stranger than a regular function f, this is also defined by what it is at some point x. Because if i tell you that you have a function f you wouldn't know much before i tell you what f(x) is for all x, but still the object f is interesting in it self, that is why we sometimes write f and sometimes f(x) it depends on what we are doing (and how lazy we are, authors often are :-)).

I guess you would never be confused here because you are so familiar with functions.

You could also look at the ordinary derivetive [tex]\frac{\partial}{\partial x}[/tex] this is an operator from let's say smooth functions on R to smooth functions on R, but it is defined by what it does to f at every point x. If you look in you ordinary analysis book you will find that you actually only have a definition for

[tex]\frac{\partial f}{\partial x}|_x[/tex] not for [tex]\frac{\partial f}{\partial x}[/tex]
 
  • #10
If we're writing points in the tangent bundle as point-tangent vector pairs, then we do have

[tex]F_*(p, v) = (F(p), (d_p F)(v))[/tex]
 
  • #11
mrandersdk said:
no problem, using the definition is the only way to go. Maybe just a quick comment:
If I may expand...

A more sophisticated way of thinking here is to forget about points, and think about functions. If I let * denote the manifold with a single point, then the notion of a point P of M is equivalent to the notion of a map [itex]P : * \to M[/itex]. We also have coordinate charts [itex]x : \mathbb{R}^n \to M[/itex], and the "generic element" z which is the identity function [itex]z : M \to M[/itex].


Now, the trick is to no longer think of [itex]f(P)[/itex] as evaluating a function (in the classical sense) -- instead think of it as function composition: [itex]f(P) = f \circ P[/itex].


Let [itex]F : M \to N[/itex] be a map of manifolds. If you've ever taken a coordinate chart x for M, and written F(x), then this is exactly what you're doing. Intuitively, we think of "x" denoting some generic point of M described by our coordinate chart, and let [itex]F(x)[/itex] denote the image of that point after applying F. If you plug in an actual coordinate vector a, then by F(x) we mean [itex]F(x)(a) := F(x(a))[/itex]. Note if we think of the coordinate vector a as being a map [itex]* \to \mathbb{R}^n[/itex], then everything is as before, because: [itex]F(x)(a) = (F \circ x) \circ a = F \circ (x \circ a) = F(x(a))[/itex].


The identity function z is even cooler -- it exactly represents the intuitive notion of a "indeterminate variable". In fact, [itex]f(z) = f[/itex], and this gives us a fully rigorous way to slip indeterminate variables into and out of an expression without changing its meaning. e.g. if f is a function [itex]M \to N[/itex], then f(z) is also a function [itex]M \to N[/itex]. But if a denotes an 'ordinary' element [itex]* \to M[/itex], then f(a) would be an 'ordinary' element of N.
 
  • #12
Sorry for the late reply - I was reading through some Functional Analysis notes which I found much more easy-going than Lie Groups

Thank you a lot to both of you for the idea of the intuition behind this. I understand it now and it's made the next few pages of my notes much clearer.

I'm just reading about how vector fields can be viewed as derivations of the space of smooth real valued functions on the manifold - it seems a common characteristic here that some objects can be viewed in several different ways (as with tangent spaces).

I don't want to spam this forum with threads so, if I have any other questions on Lie Groups, I'll possibly post them here in case anyone has time to share some insight.

Thanks again.
 
Last edited:
  • #13
I've just read the proof of the result that the exponential (from the lie algebra to the lie group) restricts to a diffeomorphism U -> V for a nbhd U of 0 and nbhd V of e (e the identity in G).

Shortly after this is a corollary that every element of a connected lie group is a finite product of exponentials. There's then a one line proof of this simply stating that V=exp(U) is open in G, so generates G.

Can anyone elaborate on this? I don't quite see why an open set should generate the lie group (clearly we need to use connectedness somewhere here).

I expect it's something obvious, since otherwise I wouldn't have a one line proof, so sorry if this is a stupid question.

Thanks again.
 
  • #14
GSpeight said:
Can anyone elaborate on this? I don't quite see why an open set should generate the lie group (clearly we need to use connectedness somewhere here).
A connected space has exactly two subsets that are both open and closed. The subgroup generated by V is clearly open, and not the empty set...
 
  • #15
Here is the proof of what you need:

The theorem states:

Let [tex]G[/tex] be a Lie group and [tex]U[/tex] a nbh. of [tex]e[/tex]. Then [tex]U[/tex] generates [tex]G[/tex], i.e. [tex]G = \bigcup_{n=1}^{\infty} U^n[/tex] where [tex]U^n[/tex] consists of all n-fold products of elements of [tex]U[/tex].

proof:

We may assume [tex]U[/tex] is open without loss of generality. Define [tex]V=U \cap U^{-1} \subset U[/tex] where [tex]U^{-1}[/tex] is the set of all invers elements of [tex]u[/tex]. This is an open set because inverse in continuous, so [tex]V[/tex] is open. Define [tex]H = \bigcup_{n=1}^{\infty} V^n[/tex], by construction [tex]H[/tex] is an open subgroup containing [tex]e[/tex]. For a [tex]g \in G[/tex] write [tex]gH = \{gh | h \in H\}[/tex]. The set [tex]gH[/tex] contains [tex]g[/tex] , thus [tex]G=\bigcup_{g\in G}gH [/tex]. [tex]gH[/tex] is open because multiplication from the left with [tex]g^{-1}[/tex] is continuous. We now pick a representative [tex]g_{\alpha}H[/tex] for each coset in [tex]G/H[/tex] then [tex]G \bigcup_{\alpha}g_{\alpha}H[/tex], but all [tex]g_{\alphaH}[/tex] is disjoint, so because [tex]G[/tex] is connected there can only be one coset in [tex]G/H[/tex] thus [tex]H = eH = G[/tex]. That is [tex]V[/tex] generates [tex]G[/tex], but [tex]V \subset U[/tex] so [tex]U[/tex] generates [tex]G[/tex] q.e.d.

connectedness:

http://mathworld.wolfram.com/ConnectedSet.html
 
  • #16
My idea was somewhat different.

Let H be the subgroup of G generated by V.

(1) H is open

This is clear, because for any point x of H, the entire (open) set xV is contained in H.

(2) H is closed

This is clear, because lie groups are nice topological spaces, so any point in the closure of H is the limit of a sequence of points.

Suppose that the sequence x_1, x_2, x_3, ... of points in H converged to x. Then the open set xV contains, say, x_n. It follows that x must be an element of H.

(3) H = G

H contains the identity, and G is the only nonempty set that is open and closed.
 
  • #17
I fail to see something, maybe you can elabrorate. You want to show that if you have a sequence in H that is convergent then the limit is in H?

how can you say: "Then the open set xV contains, say, x_n. It follows that x must be an element of H"

xV is open i give you that but, i can't see that you have xV is a subset of H, because x need not to be in H.

And where do you use the that G is connected?
 
Last edited:
  • #18
mrandersdk said:
I fail to see something, maybe you can elabrorate. You want to show that if you have a sequence in H that is convergent then the limit is in H?

how can you say: "Then the open set xV contains, say, x_n. It follows that x must be an element of H"
Because that means there is a v in V such that x_n = xv. And since both x_n and v are in H...

And where do you use the that G is connected?
That's why G is the only nonempty subset of G that is both open and closed. If G were not connected, then there would be other nonempty clopen subsets.
 
  • #19
hey thanks. Nive proof, always good to see other ways to prove something.
 
  • #20
Thanks so much to both of you for your help - I've rewritten that bit of my notes so that I now have a complete proof.

I really appreciate it - thanks again!
 
  • #21
Hi there,

I have my Lie groups exam on Monday and am currently working on a past paper. At the moment I'm stuck on the following question:

Define the terms homomorphism of Lie groups and homomorphism of Lie algebras (done).
If [itex]\phi:G->H[/itex] is a homomorphism of Lie groups show that its differential at the identity gives a homomorphism of Lie algebras (done).
Show [itex]\phi (\exp \zeta)=exp \phi_{\star} \zeta[/itex] (done).
Hence (or otherwise) find all homomorphisms of Lie groups [itex]\phi:S^{1}->SL(2,\mathbb{R} )[/itex]

If we consider the circle S^1 as the interval [0,2pi) with addition modular 2pi then the exponential map is (I think) just the identity modulo 2pi.

Then if [itex]\phi[/itex] is a homomorphism, [itex]\phi (\zeta)=\exp(\phi_{\star}(\zeta))=I_{2}+\phi_{\star}(\zeta)+\frac{1}{2}\phi_{\star}(\zeta)^2+\ldots[/itex]

Am I even on the right track? Any ideas where I go from here?
 
  • #22
Just a quick message to say thanks to mrandersdk and Hurkyl for the help you've both given. I really appreciate it. I had my Lie Groups exam today and it went very well :) Now to go revise some topology!
 
  • #23
Congratulations, sorry that i couldn't help you with the last question.
 

1. What is a manifold?

A manifold is a mathematical concept used to describe surfaces or spaces that can be smoothly and continuously mapped onto flat spaces, such as planes. It is a fundamental concept in geometry and topology.

2. What are Lie groups?

Lie groups are a type of group in mathematics that has both a smooth structure (like a manifold) and a group structure. They are used to study continuous symmetries in mathematics and physics.

3. Why is the notation for manifolds and Lie groups confusing?

The notation for manifolds and Lie groups can be confusing because it involves a combination of geometric and algebraic symbols, which can be difficult to interpret at first. Additionally, different authors may use slightly different notations, adding to the confusion.

4. What are some common notations used for manifolds and Lie groups?

Common notations used for manifolds include subscripts and superscripts to denote different coordinates or dimensions, as well as Greek letters to represent certain geometric concepts. For Lie groups, common notations include capital letters for the group itself, lowercase letters for elements of the group, and brackets for group operations.

5. How can I better understand the notation for manifolds and Lie groups?

The best way to understand the notation for manifolds and Lie groups is to practice and become familiar with the symbols and their meanings. It can also be helpful to study from multiple resources to see how different authors use notation. Additionally, seeking out explanations and examples from experienced mathematicians can also aid in understanding the notation.

Similar threads

  • Differential Geometry
Replies
9
Views
423
Replies
0
Views
288
  • Calculus and Beyond Homework Help
Replies
5
Views
785
Replies
4
Views
1K
  • Differential Geometry
Replies
17
Views
3K
  • Differential Geometry
Replies
7
Views
3K
  • Differential Geometry
Replies
14
Views
2K
  • Differential Geometry
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
24
Views
3K
  • Calculus and Beyond Homework Help
Replies
4
Views
1K
Back
Top