Pushforward and pullback. - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T21:45:45Z http://mathoverflow.net/feeds/question/45647 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/45647/pushforward-and-pullback Pushforward and pullback. ε-δ 2010-11-11T05:06:54Z 2010-12-14T06:08:43Z <p>Often I say "pushforward" or "pullback", but I do not know exact meaning of these words.</p> <p>Each time I see a map $f\colon X \to Y$, plus:</p> <ol> <li><p>I have some object $O_X$ associated with $X$ (say measure or subset);</p></li> <li><p>the map $f$ gives me a natural way to find corresponding object $O_Y$ associated with $Y$.</p></li> </ol> <p>Then I say "$O_Y$ is pushforward of $O_X$" and I write $O_Y=f_*O_X$.</p> <p>If I switch $X$ and $Y$ in (1) and (2), I say "$O_X$ is pullback of $O_Y$" and I write $O_X=f^*O_Y$.</p> <p>I do this all the time, and no one complains, but I do not feel that it is right...</p> <blockquote> <p>Could someone explain the right way to think about "pushforward" and "pullback"?</p> </blockquote> http://mathoverflow.net/questions/45647/pushforward-and-pullback/45658#45658 Answer by David Carchedi for Pushforward and pullback. David Carchedi 2010-11-11T07:06:55Z 2010-11-11T12:14:08Z <p>One rationale for the terminology pullback is, what your "extra structure" over $Y$ is a vector bundle, of more generally, fiber bundle, $V \to Y$, then the total space of $f^*V$ together with its projection, sit in a pullback square (in the sense of category) with $X \to Y$ on the bottom and $f^*V \to V$ on the top. If your "extra stucture" cannot be thought of as a having an underlying object and a map down to $X$, then you most appeal to what David Robert says- $f^*V$ arsises from a so-called Cartesian-lift.If you're interested in the category theory behind this, look up Grothendeick fibrations. The idea is, if the category of such objects over $X$, say $C_X$ (so for example $C_X$=vector bundles over $X$) depend contravariantly on $X$, then one can pullback objects of $C_Y$ to those in $C_X$ by using a Cartesian lift. If it instead, the dependence is covariant, you can use an opcartesian lift to pushforward objects of $C_X$ to $C_Y$. If the dependence goes both ways, then we can do both. If you really want to get a hang on this, try working this out for some examples you know and see that it "spits out" what you expect. </p> <p>It's worth noting, that the use of lifts is not strictly necessary, depending on how you are given your data. Essentially, there are two different ways of looking at (pseudo)functors from a category into the category of categories (e.g. $VectBun:X \mapsto VectBun(X)$)- one is as actual functors, and one is as fibered categories. The first way makes is clear already what your induced maps are, whereas, for fibrations, you need to use lifts- but here the lifts resemble taking the pullback in the case of vector bundles, so, it is not a bad way of thinking about it.</p> http://mathoverflow.net/questions/45647/pushforward-and-pullback/45662#45662 Answer by Sándor Kovács for Pushforward and pullback. Sándor Kovács 2010-11-11T07:26:35Z 2010-11-11T07:26:35Z <p>I would suggest a very simple way of thinking about these: you have some objects on both $X$ and $Y$ and you want to relate them, but for that they would need to reside on the same space. So you want to "move" them <em>back</em> and <em>forth</em> (a.k.a. <em>forward</em>). The functors <code>$f^*$</code> and <code>$f_*$</code> do exactly this. </p> <p>It may be reasonable to imagine yourself as part of the action and anchor yourself to the source of the map, that is, $X$. From that point of view moving something from $X$ to $Y$ would require pushing while the opposite would require pulling. </p> http://mathoverflow.net/questions/45647/pushforward-and-pullback/45933#45933 Answer by Deane Yang for Pushforward and pullback. Deane Yang 2010-11-13T16:13:09Z 2010-11-13T16:13:09Z <p>Like many math terms, the words "pushforward" and "pullback" do not necessarily have unique rigorous universal definitions. Or at least I don't know if they do. Their informal definitions are exactly as you describe. But in each particular setting, you have to figure out whether they have a proper definition or not.</p> <p>I will just give some examples (despite you wanting more than that). First, if you have two vector spaces $X$ and $Y$ and a linear map $f: X \rightarrow Y$, then it is reasonable (but not common) to call $f(x)$ the "pushforward" of $x \in X$. Moreover, $f$ induces naturally the adjoint map $f^* : Y^* \rightarrow X^*$, and it is natural to call $f^* (\eta)$ the "pullback" of $\eta \in Y^*$. I would <em>not</em> call $f^{-1}(y)$ the "pullback" of $y \in Y$, because it is a set rather than a vector. The idea, I think, is that pushforward and pullback should be functorial in some sense so that they should map an object (here a vector) to another object of the same type (and not a set of objects) but in the other space named in the map.</p> <p>This generalizes naturally to smooth vector bundles. If you have a vector bundle $X$ over a manifold $M$, another vector bundle $Y$ over $N$, and a bundle map $f: X \rightarrow Y$, then all of the above generalizes naturally to elements of the bundle.</p> <p>You can also define the pullback of a bundle itself. In other words, instead of viewing elements of a vector bundle as the objects, view the vector bundles themselves as objects. Given a map $f: M \rightarrow N$ and a vector bundle $Y$ over $N$, then there is a natural notion of the pullback of $Y$ as a vector bundle $f^*Y$ over $M$. But there is <em>no</em> notion of a pushforward, because if $f$ is not a diffeomorphism, you won't have the necessary uniqueness and smoothness to define the pushforward as a vector bundle. Of course, if $f$ is a diffeomorphism, you can cheat and define the pushforward as the pullback of the inverse map.</p> <p>Similarly, given a section $s$ of the bundle $Y$, you can pull it back via the map $f$ to define a (smooth) section $f^*s = s\circ f$ of $f^*Y$. But in the smooth category there is way to pushforward a smooth section.</p> <p>Everything changes when you switch from bundles to sheaves and from smooth to holomorphic or algebraic objects, because singularities become much more manageable. So pushforward becomes well-defined where they were not in the smooth category. But since I'm not a working expert in this stuff, I'd prefer to leave the details to someone else.</p> http://mathoverflow.net/questions/45647/pushforward-and-pullback/49343#49343 Answer by Sergey Melikhov for Pushforward and pullback. Sergey Melikhov 2010-12-14T03:01:22Z 2010-12-14T06:08:43Z <blockquote> <p>I do this all the time, and no one complains, but I do not feel that it is right...</p> </blockquote> <p>I think a part of the problem is that the word "pullback" has two distinct meanings, which nevertheless are related.</p> <p>I) Pullback whose opposite is <em>pushout</em>, rather than pushforward. This goes under the heading direct/inverse limits in (abstract) categories. </p> <p>II) "Pullback" whose opposite is "pushforward". As mentioned by David Roberts and David Carchedi, category theory knows these under the guise of Grothendieck <a href="http://nlab.mathforge.org/nlab/show/Grothendieck+fibration" rel="nofollow">fibrations and opfibrations</a>, but, as I understand, does not specify how to construct them. This seems to be another part of the problem. </p> <p>My feeling is that there exist at least two rather general constructions.</p> <p>1) Initial/final structures (as in Bourbaki). For instance, quotient topology and subset topology. When initial/final structures exist, they are constructed explicitly (see for instance 10.43 in <a href="http://katmat.math.uni-bremen.de/acc/" rel="nofollow">The Joy of Cats</a>), though not necessarily effectively. There is a whole philosophy/machinery around this: concrete categories.</p> <p>2) The following three examples (one covariant and two contravariant) look related, and I don't know what category theory thinks about this relation.</p> <p>a) The inverse image of a sheaf is a kind of pullback (in the sense of (I)), and the direct image of a sheaf is given by composition (no pushouts involved, by the way).</p> <p>b,c) Induced maps and transfers in homology and cohomology. The standard algebraic view is that "pullback" (i.e. the induced map) $f^*$ is just the homology functor $h(f)$ applied to the map (i.e. something to be explained by axioms); and "pushforward" is something fancy involving integration or Poincare duality (i.e. something better not to be explained at all). Similarly (but vice versa) for homology. </p> <p>There is also a secret geometric view, which common textbooks never reveal. Here "pullback" in both homology and cohomology is given by the category theoretic pullback ((I) above) whereas "pushforward" in both homology and cohomology is given by composition. "Pullback" in homology and pushforward in cohomology are defined only for a restricted class of maps (namely those maps that themselves represent cohomology classes). Still, they are just as natural as induced maps, but with respect to a different set of data; so when it comes to composing a "pullback" with a "pushforward" (which amounts to a cup or cap-product), transversality has to be applied, which breaks geometric naturality. (With a hint at Steenrod squares. Of course, nothing ever breaks naturality on the algebraic level.) Again, there is a whole philosophy/machinery about this, developed in <a href="http://books.google.com/books?id=fBA8AAAAIAAJ&amp;lpg=PP1&amp;ots=Rr9nixA1cL&amp;dq=Buoncristiano-Rourke-Sanderson%2520A%2520geometric%2520approach%2520to%2520homology%2520theory&amp;pg=PP1#v=onepage&amp;q&amp;f=false" rel="nofollow">Buoncristiano-Rourke-Sanderson, A geometric approach to homology theory</a> (start from Chapter 2). An elementary warm-up with pictures is in Chapter 1 of Fenn's <em>Techniques of Geometric Topology</em>, and another elementary warm-up is in <a href="http://www.hausdorff-research-institute.uni-bonn.de/files/kreck-DA.pdf" rel="nofollow">Kreck's recent book</a>; but to see the above picture clearly it is best to read B-R-S. A short summary is in section 2 <a href="http://front.math.ucdavis.edu/0612.5082" rel="nofollow">here</a>.</p>