I don't understand how the author calculated the pullback of the 1 form (differential geometry)

Click For Summary
SUMMARY

The discussion focuses on the calculation of the pullback of a one-form in differential geometry, specifically using the formula for the pullback of left translations, denoted as Lg*ωg = ωg ∘ Lg. The user expresses confusion regarding the transformation of variables to x and the application of the pullback on ωg. The conversation highlights that pullbacks of differential forms are contravariant and functorial, emphasizing the importance of understanding these concepts in the context of differentiable manifolds.

PREREQUISITES
  • Understanding of differential forms and their properties
  • Familiarity with the concept of pullbacks in differential geometry
  • Knowledge of left translations in the context of Lie groups
  • Basic proficiency in using coordinate systems in tangent spaces
NEXT STEPS
  • Study the definition and properties of pullbacks of differential forms
  • Learn about the application of left translations in Lie groups
  • Explore the contravariant nature of differential forms
  • Investigate functorial properties of pullbacks in differential geometry
USEFUL FOR

Students and researchers in mathematics, particularly those studying differential geometry, as well as anyone looking to deepen their understanding of differential forms and their applications in manifold theory.

DiffMani
Messages
1
Reaction score
0
Homework Statement
I am doing self study on differential geometry
Relevant Equations
I understand everything until author calculated the pullback of the one form
How did he get the result for L*g wg?
I am doing self study on differential geometry using Analysis and Algebra on Differentiable Manifolds by Gadea. I don't understand the step where he calculates the pullback of the left translation of the one form. Why did all the variables become x? What is the formula for the pullback on w?
I have tried many hours on that step. Is Lg upper star equal to Ls lower star? Please help, I really appreciate it.

1739404091704.png
 

Attachments

Last edited by a moderator:
Physics news on Phys.org
The formula is ##L^*_g\omega_g=\omega_g \circ L_g.## That explains the second half of the equation. I think
$$
L^*_g\omega_g=\left\{\begin{pmatrix}x&0\\0&x\end{pmatrix}\begin{pmatrix}1/x\\0\end{pmatrix}\, , \,\begin{pmatrix}x&0\\0&x\end{pmatrix}\begin{pmatrix}0\\1/x\end{pmatrix}\right\}
$$
is simply the coordinate notation of vectors in the tangent space. The tangent space is spanned by ##dx=\begin{pmatrix}1\\0\end{pmatrix} ## and ##dy=\begin{pmatrix}0\\1\end{pmatrix}.## ##\omega_g## contributes the factor ##1/x## and ##L_g## the left-multiplication. I wouldn't have switched to coordinates and had simply written
$$
L^*_g\omega_g=\omega_g \circ L_g=\dfrac{1}{x}\begin{pmatrix}dx&dy\\0&0\end{pmatrix}\cdot \begin{pmatrix}x&0\\0&x\end{pmatrix}=\begin{pmatrix}dx&dy\\0&0\end{pmatrix}=\omega_e
$$
##x## comes as coordinates of ##g.##
 
Last edited:
  • Like
Likes   Reactions: WWGD
Pullbacks of Differential Forms have a standard definition. They're contravariant. EDIT: And IIRC, pullbacks are functorial too. Maybe @fresh_42 can elaborate on that.
 
Last edited:
I didn't know what you were referring to by "It" in "Getting rid of it", until I read more carefully. Your roomate's body?
 
WWGD said:
I didn't know what you were referring to by "It" in "Getting rid of it", until I read more carefully. Your roomate's body?
That was actually a bit funny. Some guys here literally talked me into writing a guide to differentiation and this undertaking resulted in five articles. And all I wanted to say is that I like Weierstraß's formula
$$
f(x+v)=f(x)+J(v)+r(v)
$$
 

Similar threads

  • · Replies 25 ·
Replies
25
Views
6K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K