15
$\begingroup$

I am having hard time with forming a geometric intuition of pullback and pushforward.

The definition the book gives is like this: There are two open sets, $A$ and $B$. There is a dual transformation of forms $\alpha^*$ between the forms on $A$ and $B$. Given a $0$-form $f:B\to\Bbb R$, $(\alpha^*f)(x)=f(\alpha(x))$. Then given an $k$ form $\omega$ on $B$, the book does on to define the k form $\alpha^*\omega$ the same way. I cannot get the geometric intuition behind all there. Can someone please help me with it? Any intuition would be hugely beneficial.

I am using Munkres "analysis on manifolds"

Thanks in advance!

$\endgroup$
  • $\begingroup$ If you have an arrow (function) $B\to\mathbb{R}$ and an arrow $A\to B$, you can compose them to get an arrow $A\to\mathbb{R}$. So you're dragging forms on B back to forms on A. $\endgroup$ – symplectomorphic Mar 14 '15 at 18:09
24
$\begingroup$

Suppose you have a map $\alpha: A \rightarrow B$. There are certain associated items that "go forward" or "go backwards":

Points are sent forward. Given $p \in A$ we have $\alpha(p) \in B$.

Functions are sent back, i.e. pull back from $B$ to $A$. If we have a function $f: B \rightarrow \mathbb{R}$ then we get the composition $f \circ \alpha : A \rightarrow \mathbb{R}$.

Vectors are send forward. Given $v \in TA_p$ we have the derivative map $d\alpha_p: TA_p \rightarrow TB_{\alpha(p)}$ (or maybe your book calls this $\alpha_*$; in coordinates it's just the derivative matrix). So we get $d\alpha_p(v) \in TB_{\alpha(p)}$.

One-forms give linear functionals on each tangent space; that is, they're functions which take vectors as input. As such, just like functions, they're sent back. If we have a one-form $\omega$ on $B$, then we get $\omega_q : TB_q \rightarrow \mathbb{R}$. So given $p \in A$ with $\alpha(p) = q$ we get $\omega_q \circ d\alpha_p : TA_p \rightarrow \mathbb{R}$ is a linear functional on $TA_p$. We get a one-form on $A$ this way.

Basically, geometric objects "go forward" and functions on them "go back."

$\endgroup$
  • 7
    $\begingroup$ +1 for the great concise sentence: "Basically, geometric objects 'go forward' and functions on them 'go back.'" Captures it perfectly! $\endgroup$ – Idempotent Mar 14 '15 at 18:28
8
$\begingroup$

I think of it like this: If you have a mapping $\alpha: A \to B$, you would like to use it to transfer infrastructure like real-valued functions, vector fields, $k$-forms, etc, between $A$ and $B$. The mapping $\alpha$ already lets you assign to each point $x \in A$ an associated point $y= \alpha(x) \in B$, but you'd like to use it to form associations between functions and more.

The pullback/pushforward catch is that the association does not always run in the same direction. The mapping $\alpha$ takes points in $A$ and maps them to points in $B$, but for functions, the induced association which is the one you gave goes the other way, namely

$\alpha^*: C^{\infty}(B) \to C^{\infty} (A)$

$f \mapsto \alpha^*f$, where the new function $\alpha^*f$ is defined by $(\alpha^*f)(x) \equiv (f \circ \alpha) (x)$.

Because the induced mapping $\alpha^*$ runs in the reverse direction ($B$ to $A$) as $\alpha$ does ($A$ to $B$), it is known as a pullback. It helps to draw a picture. Here is one from Baez and Muniain's wonderful book Gauge Fields, Knots, and Gravity, which I highly recommend for this topic as well as many others. Note that the following correspondence holds between their notation and yours:

Yours $\longleftrightarrow$ Theirs

$A \longleftrightarrow M $

$B \longleftrightarrow N $

$\alpha \longleftrightarrow \varphi $

enter image description here

In the case of vector fields, these can be viewed as directional derivatives in a given direction at each point say of $A$, so a vector $v$ on $A$ should map functions $g$ defined on $A$ to scalars. We can use our already established pullback $\alpha^*$ that maps $C^{\infty}(B)$ to $C^{\infty}(A)$ to define a pushforward of the vector $v$ on $A$ to a vector $\alpha_*v$ on $B$, by

$(\alpha_*v)f \equiv v (\alpha^*f)$

since $v$ (which we already have) eats functions on $A$ to give a scalar, and we've fed it just that ($\alpha^*f$). Whatever scalar it gives, we take to be the result of applying $\alpha_*v$ to $f$.

From here, the recursive definitions continue, alternating between pullbacks and pushforwards. For example, the next step would be to define a pullback for 1-forms from $B$ to $A$ by thinking of them as things that eat vectors and give numbers, and using the pushforward for vectors analogously to how we just used the pullpack for functions in our definition of the pushforward for vectors.

$\endgroup$
  • 1
    $\begingroup$ Thank you for this answer - this clears up so much for me why it is called pullback. I assume the reasoning for pushforwards are somehow analogous. $\endgroup$ – Chill2Macht Jun 25 '16 at 4:38
  • 2
    $\begingroup$ Hi @William, I'm glad it was helpful! Thanks for commenting. Yes, the induced map is called a pushforward when it runs in the same direction as the original map. For example vectors push forward because $\alpha$ gives you a natural way to map vectors on $A$ to vectors on $B$, while functions pull back since $\alpha$ gives you a natural way to map functions on $B$ to functions on $A$. I think of it as part of the nature of each type of object whether it pulls back or pushes forward under the induced map. $\endgroup$ – Idempotent Jun 25 '16 at 11:35
7
$\begingroup$

Hope the following simplified picture helps:

enter image description here

$f$ is a smooth function from $B$ to $\mathbb{R}$. $\alpha$ is a map from $A$ to $B$. If $\alpha$ maps an open set $X$ to $\alpha(X)$, and $f$ maps that to some set in $\mathbb{R}$, we can see the pullback as the function that maps $X$ to $\mathbb{R}$. It is the composition of $f$ and $\alpha$. So for each smooth function $f$ on $B$, you pull it back through $\alpha$ to make a function on $A$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.