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

Click For Summary

Homework Help Overview

The discussion revolves around the calculation of the pullback of a one-form in the context of differential geometry, specifically referencing a text on differentiable manifolds. The original poster expresses confusion regarding the transformation of variables and the application of the pullback formula.

Discussion Character

  • Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to understand why all variables become x and questions the equality of different pullback operations. Some participants provide formulas and coordinate representations, while others mention standard definitions and properties of pullbacks.

Discussion Status

Participants are exploring various aspects of the pullback operation, with some offering definitions and others sharing their interpretations of the formulas involved. There is no explicit consensus, but the conversation is generating insights into the nature of pullbacks and their properties.

Contextual Notes

There are references to specific formulas and concepts from differential geometry, and some participants are discussing their experiences with related topics, which may influence their understanding of the current problem.

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 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • Sticky
  • · Replies 16 ·
Replies
16
Views
12K
Replies
2
Views
2K