How Do You Compute the Pullback of a Differential Form in Flanders' Text?

Click For Summary
SUMMARY

The discussion focuses on computing the pullback of differential forms as presented in Flanders' "Differential Forms with Applications to the Physical Sciences." Specifically, the user seeks clarification on problems 2 and 3 from chapter 3, which involve the mapping \(\phi : (x,y) \rightarrow (xy,1)\) and its implications for computing \(\phi^{*}(dx)\), \(\phi^{*}(dy)\), and \(\phi^{*}(ydx)\). The confusion arises from the notation and whether to treat \(\phi\) as an endomorphism or apply the identity map first. The consensus is that the notation can be misleading, but the user has grasped the core concepts.

PREREQUISITES
  • Understanding of differential forms and pullbacks
  • Familiarity with mappings in differential geometry
  • Basic knowledge of Flanders' text and its notation
  • Experience with LaTeX for mathematical expressions
NEXT STEPS
  • Study the concept of pullbacks in differential geometry
  • Review examples of endomorphisms in differential forms
  • Learn about the identity transformation in the context of differential forms
  • Practice using LaTeX for mathematical notation
USEFUL FOR

Students and enthusiasts of differential geometry, particularly those studying Flanders' text, as well as anyone looking to deepen their understanding of pullbacks and mappings in the context of differential forms.

masterfool
Messages
5
Reaction score
0
I'm reading Flanders' Differential Forms with Applications to the Physical Sciences and I have some issues with problems 2 and 3 in chapter 3, which appear to ask the reader to compute the pullback a mapping from X to Y applied to a form over X, and I'm not sure how to interpret such a thing. Problem 3 reads:
Consider the mapping \phi : (x,y)\rightarrow (xy,1) on E2 into E2. Compute \phi^{*}(dx), \phi^{*}(dy), and \phi^{*}(ydx).
What I'm tempted to do is to consider phi as a mapping from (x,y) to (x',y'), and instead compute \phi^{*}(dx'), \phi^{*}(dy'), and \phi^{*}(y'dx'), which would make everything easy as pie since then I'd just be computing the pullback of a form defined over the image space. But I'm not sure if that dumb little notational issue is all there is to it, or maybe I'm supposed to do something else, like first apply the identity map to (dx,dy) and then apply the pullback, which I must admit makes my head spin a little.
I have essentially the same issue with problem 2, which asks for the pullback of a form defined on the domain, and I'm tempted to say that's just the identity transformation (i.e. that the pullback is a projection operator). I also did a funky calculation and found just that, but I'm far from confident that I even understood what the question was.

Thanks for your help.

I apologize for the hideous appearance; I'm still wrestling with LATEX.

I also realized a bit too late that I should have posted this in "homework help" even though I'm not in a class, so sorry for that too.
 
Last edited:
Physics news on Phys.org
Hi!

I think you've understood it; the notation in the question is just a bit confusing as you say. Here's a different way of writing the function:
\phi:(u,v)\mapsto (uv,1)
and call the coordinates on the target space x and y. The reason it's confusing is that the map is an endomorphism, i.e. it's a map from one space to itself. I agree that the author's choice of notation is not all that clear...

(P.s if you want some inline tex without starting a new line, you can use "itex" tags rather than "tex".)
 
Thanks! I found your post doubly helpful.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K