There are various base change theorems in algebraic geometry (flat in zariski topology, proper, smooth in etale topology etc). Often, especially in the etale site, it is easier to prove base change for specific morphisms (relative dimension one or projective instead of proper, for instance) and there is a formal mechanism for reducing from the generic case to the specific case. This post sketches a proof of that.
Just to be very specific, let me focus on the proper base change theorem. It is the statement that give two morphisms with proper and a torsion (constructible) sheaf on , the natural map is an isomorphism and I will refer to this as “base change being true in degree “. I am fudging notation here where I also refer to the projection maps as .
I will prove in particular that the case of proper maps follows from just projective maps. The reduction proceeds through Chow’s lemma which guarantees the existence of a map from a projective (over scheme to ). Now, both the maps and the structure map are projective, therefore, we are in the following situation (and annoyingly, I am going to change notation):
Theorem: Suppose we have a surjective map over with structure maps with such that base change is true for in all degrees and moreover, base change in degree is always true.
Then base change is true for .
Proof: The proof essentially has two steps. The first is this very general lemma
Lemma: Suppose we have two cohomological functors and a morphism . Suppose that there are enough acyclic objects with respect to . Then to show that this is a bijection for all objects , it suffices to show:
The degree map is a bijection: for all objects and for every object, there is a monomorphism for which is a bijection.
The proof is a straightforward induction. In our context, will be the two base change functors mentioned above and we will pick to be of the form for an injective object over :
Given any sheaf on , the point is that is an injection (using surjectivity of ). We can simply inject and since pushforward preserves injective maps, we win.
All that is left now is to show that is a bijection on this subcategory. For this, we instead work with the derived categories. At this level, it is very easy to show that the base change morphism (as a morphism in the derived category) is an isomorphism for those complexes over that come from the (derived) pushforward of a complex in .
The proof is simply by chasing arrows and using the fact that if , then which is the derived incarnation of the Leray spectral sequence and the assumptions on some morphisms satisfying base change.
Finally, note that the complex is indeed the pushforward of the complex . As far as I can tell, this need not be true if were not injective. This completes the proof.
Finally, I would like to mention why we can reduce to the case of relative dimension .
Suppose a morphism can be filtered by morphisms such that each of these morphisms is of relative dimension one. Then the original morphism also satisfies base change (since “base change is true” works well with composition). In particular, base change is true for morphisms of the form .
Now, given a projective scheme embedded in , note that there is a finite surjective map which is essentially the map associating to numbers the polynomial satisfied by them:
We are back to the case in which our theorem applies.
And finally, I would like to say why it is true for curves. We can immediately reduce to the case of the base being a strict henselian ring and a curve over it and a torsion constant sheaf.
The degree base change theorems essentially follow by deformation theory arguments. The degree case corresponds to the fact that connected components on the special fiber all lift bijectively to the entire scheme. That we can lift to artin ring deformations of the special fiber is clear and then the theorem of formal functions lifts us all the way to the original scheme.
The degree base change theorem corresponds to lifting torsion line bundles or equivalently, finite etale covers. Since we are on a curve, there is no obstruction to lifting line bundles (they live in degree Cech cohomology which is trivial for a curve), or alternatively the etale site is invariant under adding nilpotents. An algebraization theorem of Grothendieck shows that we have lifted the line bundle/finite etale cover to the formal scheme and then a theorem of Artin shows that this comes from an actual line bundle/finite etale cover.
[Of course, in the above argument invariance of etale site under nilpotence is a much harder theorem than the one with line bundles. The point is that we only need to consider abelian Galois covers which simplifies things a lot!]
For curves, the only cohomology left is in degree but here, we know that these correspond to some elements in and so we need to lift line bundles. This proceeds much the same as in the last paragraph.