Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The push-pull formula appears in several different incarnations. There are, at least, the following:

1) If $f \colon X \to Y$ is a continous map, then for sheaves $\mathcal{F}$ on $X$ and $\mathcal{G}$ on $Y$ we have $f_{*} (\mathcal{F} \otimes f^{*} \mathcal{G}) \cong f_{*} (\mathcal{F}) \otimes \mathcal{G}$.

A similar formula holds for the derived functors and for $f^{!}$.

2) If $f \colon X \to Y$ is a proper map of schemes, with $Y$ smooth, both $f^{*}$ and $f_{*}$ are defined on the Chow groups, and $f_{*}(\alpha \cdot f^{*} \beta) = f_{*} \alpha \cdot \beta$ for classes $\alpha \in CH^{*}(X)$ and $\beta \in CH^{*}(X)$.

Of course a similar results holds in cohomology if $f$ is a proper map of smooth manifolds, using Gysyn map for push-forward.

3) If $H < G$ are finite groups, we have two functors $\mathop{Ind}_{H}^{G}$ and $\mathop{Res}_{H}^{G}$, which can be seen as pull-back and push-forward maps between the representations rings $R(G)$ and $R(H)$. Again we have $\mathop{Ind}(U \otimes \mathop{Res} V) \cong \mathop{Ind} U \otimes V$.

Edit: one more example appears in the book linked in Peter's answer. It is a bit complicated to state, but basically (if I understand well)

4) for a compactly generated topological group $G$ and for $G$-spaces $A$ and $B$ one considers the category $G \mathcal{K}_A$ of $G$-spaces over $A$ with equivariant maps (up to homotopy). Then for a $G$-map $f \colon A \to B$ one has functors $f^{*} \colon G\mathcal{K}_B \to G\mathcal{K}_A$ and $f_{!} \colon G\mathcal{K}_A \to G\mathcal{K}_B$ satisfying $f_{!}(f^{*}Y \wedge_A X) \cong Y \wedge_B f_{!} X$.

There are probably several other variations which now I fail to recall. I should mention that in some situations 2) can be obtained by 1), but not always, as far as I know.

Is there a unifying principle (even informal) which explains why in these diverse settings we should always have the same formula?

share|improve this question
In (2), $\alpha$ and $\beta$ are presumably Chow classes? –  Kevin H. Lin Mar 20 '10 at 0:17
Sheaves of Abelian groups? –  Harry Gindi Mar 20 '10 at 13:39
Yes, sheaves of abelian groups. –  Andrea Ferretti Mar 20 '10 at 16:12
The map from X to Y is naturally a map of Y-comodules, where the coproduct structure on Y comes from the diagonal and the comodule structure on Y comes from the map itself. This makes f^* into a map of modules and it is then not so surprising that its adjoint should be one as well. –  Josh Shadlen Jun 8 '11 at 14:31
Some of these occur because you have a pair of adjoint functors that preserve duality. That's a pretty general explanation, but doesn't seem to apply to #2. –  Will Sawin Jan 24 '12 at 2:24
add comment

7 Answers

up vote 5 down vote accepted

This paper by Fausk, Hu and May does not exactly tell you why those maps should be isomorphisms in more concrete situations, but it cleanly explains the abstract settings in which they arise - look e.g. at Propositions 2.4 and 2.8 for equivalent formulations of projection formulas.

For an example of a projection formula that is not on the list in your question see equation 2.2.5 in this book by May and Sigurdsson - it is an example for the abstract "Wirthmüller context" from the paper above, which, I think, inspired the authors to do the abstract analysis in the first place.

share|improve this answer
I'm not familiar with the monoidal categories language, but this paper seems indeed to give an abstract context in which projection formulas can be hoped to hold. The categorical setting somehow leaves out case 2), but it seems a very interesting perspective. –  Andrea Ferretti Mar 20 '10 at 1:15
True, I also can't see a unifying perspective which includes the Chow group example. It would be great if someone could provide a heuristic principle at least... –  Peter Arndt Mar 20 '10 at 3:21
Just thanks to you Peter; I read the question and was thinking of writing an answer, and then I saw that you had already written the answer I might have written (except that I would have been too lazy to give exact references). –  Peter May Jul 13 '12 at 18:48
add comment

Warning! Enormous and possibly unreadable answer follows. But you should read it, since I believe it addresses your question. There's a section about halfway through where the actual answer starts.

$\def\sh{\mathcal}\def\on{\operatorname}\def\id{\mathrm{id}}$All your examples are, as others have described them, examples of "the" projection formula. In the context of the six functors, I know a very formal way of proving this isomorphism as a consequence of base change. Suppose you have a map $f \colon X \to Y$ of "spaces" (schemes, whatever) and you want to prove that for sheaves $\sh{F}$ and $\sh{G}$ on $X$ and $Y$ respectively, there is an isomorphism $$f_!(\sh{F} \otimes f^* \sh{G}) \cong f_! \sh{F} \otimes \sh{G}.$$ First, you rewrite it in terms of the "external tensor product" $\sh{F} \boxtimes \sh{G}$ on $X \times Y$. This combination has three important properties:

  1. If we have other maps $g \colon W \to X$ and $h \colon Z \to Y$, then on $W \times Z$: $$(g \times h)^* (\sh{F} \boxtimes \sh{G}) \cong g^* \sh{F} \boxtimes h^* \sh{G}.$$

  2. Likewise, if the maps are $g \colon X \to W$ and $h \colon Y \to Z$, then on $W \times Z$ we have $$(g \times h)_! (\sh{F} \boxtimes \sh{G}) \cong g_! \sh{F} \boxtimes h_! \sh{G}.$$

  3. Finally, if $X = Y$ and $\Delta_X \colon X \to X \times X$ is the diagonal map, then we have $$\sh{F} \otimes \sh{G} \cong \Delta_X^* (\sh{F} \boxtimes \sh{G}).$$

It's best to think of property 3 as defining the usual tensor product, rather than the equation $$\sh{F} \boxtimes \sh{G} = \on{pr}_X^* \sh{F} \otimes \on{pr}_Y^* \sh{G}$$ defining the external tensor product. This is especially valid for representations: if $V$ is a representation of a group $G$ and $W$ of a group $H$, then the vector space $V \otimes W$ is naturally a representation of $G \times H$, even if $G = H$ when you are allowed to restrict to the diagonal and produce the usual tensor product representation.

Anyway, using this, you want an isomorphism: $$f_! (\id, f)^* (\sh{F} \boxtimes \sh{G}) \cong \Delta_X^* (f \times \id)_! (\sh{F} \boxtimes \sh{G}).$$ (The left-hand side is obtained by writing $(\id, f) = (\id \times f) \Delta_Y$ and using property 1.) Obviously, it is more productive to just remove the sheaves and prove the natural isomorphism of functors. The combination $(\id, f) \colon X \to X \times Y$ is usually called $\Gamma_f$ and is the graph of $f$; it is the base change of the diagonal map $\Delta_X$: $$\begin{matrix} X & \xrightarrow{\Gamma_f} & X \times Y \\ {\scriptstyle f} \downarrow & & \downarrow{\scriptstyle\id \times f} \\ Y & \xrightarrow{\Delta_X} & Y \times Y \end{matrix}$$ Therefore, it follows (effectively from proper base change, though it does not matter that $\Delta_Y$ is proper since we are using the $!$ pushforward) that $$f_! \Gamma_f^* \cong \Delta_Y^* (f \times \id)_!$$ and that's the projection formula.

Connection with the examples

If you want to establish a projection formula in a more general context, you need the following ingredients:

  1. Some kind of external tensor product (and, correspondingly, some kind of product of "spaces") satisfying point 3 above with respect to whatever functor you are calling "pullback".

  2. Points 1 and 2 above for whatever you are calling "pullback" and "pushforward".

  3. A base change isomorphism for fiber products of spaces.

Let me address these points one-by-one for your examples.

  • Abelian sheaves and continuous pushforward/pullback. I am embarrassingly ignorant of "easy" examples of cohomology, which is to say that I do not actually know what is true of topological spaces. However, it is implied in Brian Conrad's notes (above Proposition 3.1) that any continuous map of topological spaces ringed by the constant sheaf $\mathbb{Z}$ is "flat" (well, it obviously satisfies the algebraic criterion anyway) and if that is the case, then the base change map is an isomorphism because of "flat base change" rather than proper. Points 1–3 are obviously satisfied here just as in the six functors formalism, so you get your projection formula.

  • Algebraic cycles and pullback/pushforward in the Chow ring. Take your "sheaves" to be closed subschemes in $X$ or $Y$, with pullback being flat base change and pushforward being proper scheme-theoretic image. The "external tensor product" is just the obvious product of subschemes in $X \times Y$, whose restriction to the diagonal is of course the intersection, so the formalism of point 1 is satisfied. Note that the product in the Chow ring is generically the intersection product. The formalism of point 2 is also satisfied, since you can work independently with each coordinate. As for the base-change isomorphism, it is certainly true set-theoretically, and I believe it will work scheme-theoretically also since for affine schemes, the scheme-theoretic image of a map $A \to B$ is the ring generated in $B$ by $A$, and this is stable under taking a tensor product with some extension of $A$. I admit I'm a little fatigued (I'm writing this paragraph last) so I am willing to accept criticism for being so vague.

  • Finite groups with induction (= pushforward)/restriction (= pullback). Here, obviously, the product of "spaces" is the product of groups and the external product of "sheaves" is the tensor product $V \otimes W$ of representations of two groups $G$ and $H$, considered in the natural way as a representation of $G$ and $H$. Point 1 is satisfied since $G$ and $H$ just act separately on each factor. Point 2 is obvious for restriction and for induction, we use the fact that darij gave in his answer: $\def\Ind{\operatorname{Ind}}\Ind_H^G$ is tensoring up with $k[G]$, and $$(V \otimes_{k[G]} k[G']) \otimes_k (W \otimes_{k[H]} k[H']) = (V \otimes_k W) \otimes_{k[G \times H]} k[G' \times H'].$$ So point 2 is satisfied too. The base change isomorphism is tricky; it is not actually true in general that for subgroups $H, K \subset G$ we have $\Ind_H^G(V)|_K \cong \Ind_{K \cap H}^K(V|_{K \cap H})$, though we do have a map (the base change map, of course): $$ \Ind_{K \cap H}^K(V |_{K \cap H}) = V \otimes_{k [K \cap H]} k[K] \to V \otimes_{k[H]} k[G]|_K = \Ind_H^G(V)|_K$$ sending elements of $K \subset G$ into $G$, which is obviously $k[K \cap H]$-linear. The two sides have dimensions (times $\dim V$), respectively, $[K : K \cap H]$ and $[G : H]$, where the former is also equal to $\#(K.H)/H$. So these indices are the same if and only if $G = K.H$, and this actually happens in the particular situation of the projection formula, where $K = G \subset G \times G$ and "$H$" is $G \times H \subset G \times G$. Then the base change map is an isomorphism by counting the (finite!) dimensions, and you get your projection formula again.

    It is perhaps worth noting that the projection formula for group representations is very closely related to that for sheaves, since for any algebraic (for example, finite) group $G$, we can form the algebraic stack $*/G$, on which quasi-coherent sheaves are identified with representations of $G$. So, modulo a satisfactory theory of base change for morphisms of stacks, this example is actually sort of the same as example 1.

  • Spaces with topological group actions and restriction (= pullback)/??? (= pushforward). Alas, I cannot comment on this example, since I do not understand modern (or even somewhat dated) homotopy theory. However, if I recall what I once knew about smash products, we do have for spaces $X$ and $Y$ over a space $A$ having distinguished sections from $A$ that (in sort of informal quotient notation) $$X \wedge_A Y = X \times_A Y / (A \times_A Y = A, X \times_A A = A),$$ the "equalities" being that the $Y$-coordinate or $X$-coordinate is identified with whatever point of $A$ it is mapped to via the structure as $A$-spaces. Therefore, if we have two base spaces $A$ and $B$, and spaces $X$ and $Y$ over them respectively, we have an obvious "external smash product" over $A \times B$ (I apologize for the hacky symbol): $$X \mathop{\fbox{$\wedge$}} Y = X \times Y / (A \times Y = A \times B, X \times A = A \times B)$$ in the same way. And if $A = B$, this base-changes correctly to the diagonal copy of $A$, so at least the formalism of point 1 is satisfied, along with the restriction part of point 2. I can't say anything about the pushforward parts, alas, but perhaps you (if you are still following this at all!) can fill in the details now.

share|improve this answer
Interesting and informative answer! I like the connection with Grothendieck's "6 operations". –  Leo Alonso Jan 24 '12 at 9:11
Notwithstanding that there are only two of them here :) –  Ryan Reich Jan 24 '12 at 17:22
Wow, an impressive answer. I must admit that it requires me some time to actually follow it all in detail, but it seems a very clarifying point of view. Of course, this leads to the question: why all this different objects satisfy some kind of base change formula? :-) –  Andrea Ferretti Jan 26 '12 at 22:22
@Andrea: Probably the example of the Chow ring is the answer here; as I commented there, "base change" is obvious when pushforward is the set-theoretic image of a subset and pullback is the inverse image. For cohomology-like situations (e.g. sheaves and their possibly derived sections) this probably turns up "motivically", whatever that means. –  Ryan Reich Jan 27 '12 at 0:34
add comment

Isn't this about the Beck-Chevalley condition? Some of its manifestations were discussed in this thread.

share|improve this answer
That was my impression as well, but I just wasn't sure enough to write it down as an answer. It sure ``smelled'' like an adjunction/duality issue. –  Jacques Carette Mar 20 '10 at 13:50
There seems indeed to be a link with this condition, as it is shown in the paper linked by Peter. –  Andrea Ferretti Mar 20 '10 at 16:15
add comment

To connect (1) and (3), note that a representation of a group G is the same as a vector bundle over the stack pt/G.

I am not sure, but I would guess that (some (but not all?) cases of) (2) follow from (1) by taking (appropriate) Chern classes?

share|improve this answer
Indeed this is what I meant in the last sentence before the question. But I don't know any way to prove 2) from 1) in general. –  Andrea Ferretti Mar 20 '10 at 0:32
The connection between 1) and 3) was instead unexpected to me. –  Andrea Ferretti Mar 20 '10 at 0:34
A thought: Maybe the Chow ring is generated by Chern classes of vector bundles? I have no idea whether this is true in general. If this were true, would it be enough to conclude (2) from (1)? –  Kevin H. Lin Mar 20 '10 at 1:04
I'm sorry I cannot choose two right answers. Your comment about 3) being a manifestation of 1) in the case of stacks was very interesting, but I think Peter's answer gives a more unified point of view. –  Andrea Ferretti Mar 22 '10 at 13:54
I also prefer Peter's answer :-) –  Kevin H. Lin Mar 22 '10 at 20:16
add comment

The explanation for 3) is that $\mathrm{Ind}$ is some kind of tensoring from the left: $\mathrm{Ind}^G_H V\cong k\left[G\right]\otimes_{k\left[H\right]} V$ as $k\left[G\right]$-modules. Now the isomorphism $\mathrm{Ind}\left(U\otimes \mathrm{Res} V\right)\cong \mathrm{Ind}U\otimes V$ takes the more obviously-looking form $k\left[G\right]\otimes_{k\left[H\right]} \left(U\otimes V\right)\cong \left(k\left[G\right]\otimes_{k\left[H\right]} U\right)\otimes V$. Of course, this seems to trivially follow from associativity of the tensor product, but this is not that easy: the tensor product sign $\otimes$ (without $k\left[H\right]$ below) is not a tensor product of modules. However, we can save the approach by making $V$ a right $k\left[G\right]$-module by $vg=g^{-1}v$, and then applying associativity of the tensor product. We even get a stronger assertion this way: that $k\left[G\right]\otimes_{k\left[H\right]} \left(U\otimes V\right)\cong \left(k\left[G\right]\otimes_{k\left[H\right]} U\right)\otimes V$ as $\left(k\left[G\right],k\left[G\right]\right)$-bimodules.

Unfortunately, I have absolutely no intuition for sheaves and schemes, but maybe it's this kind of argument that you should be looking for: writing the functor as a tensoring with something from the left, and applying associativity, possibly after rescuing some structure to the right which would otherwise be damaged by tensoring.

share|improve this answer
I don't think Andrea is asking for a proof or explanation of these formulas. He is looking for some kind of unifying principle. –  Kevin H. Lin Mar 20 '10 at 0:16
add comment

This is so transparent in commutative algebra that it doesn't even merit a name. Reversing the arrows apparently gives it some kind of status, usually called "the projection formula". Given a ring map $R \longrightarrow S$, an $R$-module $M$, and an $S$-module $N$, you can either (a) consider $N$ as an $R$-module and tensor it with $M$, getting $M \otimes_R N$, or (b) tensor $M$ up to $S$, tensor there with $N$, and consider the result as an $R$-module, getting ${}_R(M \otimes_R S \otimes_S N)$. The two are identified via the associativity of the tensor product.

share|improve this answer
I don't think Andrea is asking for a proof or explanation of these formulas. He is looking for some kind of unifying principle. –  Kevin H. Lin Mar 20 '10 at 0:16
Does it tell you anything about the proj.form. in the Chow group case? –  Qfwfq Mar 20 '10 at 6:01
add comment

I've been reading Ravi Vakil's Albegraic Geometry notes , and he has you use the FHHF Theorem to prove the projection formula for $R^i\pi_i$ (ex 20.7.E in the Jan. 2011 version), when we are dealing with schemes and sheaves of modules.

The FHHF theorem says that if you have a functor $F: A \rightarrow B$ and a complex $C^\bullet$ in $A$, and $H$ is right exact, you have a map $FH(C^\bullet) \rightarrow HF(C^{\bullet})$ (where $H$ means take cohomology). If instead $H$ is left exact, the map goes the other way, and if it is exact, there is an isomorphism.

I'm not familiar with the other examples, but I would suspect that they would use the FHHF theorem as well.

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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