In mathematics, especially in algebraic geometry, base change refers to a number of similar theorems concerning the cohomology of sheaves on algebro-geometric objects such as varieties or schemes.
The situation of a base change theorem typically is as follows: given two maps of, say, schemes, let and be the projections from the fiber product to and, respectively. Moreover, let a sheaf on X' be given. Then, there is a natural map (obtained by means of adjunction)
Depending on the type of sheaf, and on the type of the morphisms g and f, this map is an isomorphism (of sheaves on Y) in some cases. Here denotes the higher direct image of under g. As the stalk of this sheaf at a point on Y is closely related to the cohomology of the fiber of the point under g, this statement is paraphrased by saying that "cohomology commutes with base extension".
| Image functors for sheaves |
|---|
| direct image f∗ |
| inverse image f∗ |
| direct image with compact support f! |
| exceptional inverse image Rf! |
Read more about Base Change: Flat Base Change For Quasi-coherent Sheaves, Proper Base Change For Etale Sheaves, Smooth Base Change For Etale Sheaves
Famous quotes containing the words base and/or change:
“Shall we now
Contaminate our fingers with base bribes,
And sell the mighty space of our large honors
For so much trash as may be grasped thus?
I had rather be a dog and bay the moon
Than such a Roman.”
—William Shakespeare (1564–1616)
“... often in the heat of noonday, leaning on a hoe, looking across valleys at the mountains, so blue, so close, my only conscious thought was, “How can I ever get away from here? How can I get to where they have books, where I can be educated?” I worked hard, always waiting for something to happen to change things. There came a time when I knew I must make them happen; that no one would do anything about it for me. And I did.”
—Belinda Jelliffe (1892–1979)