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:
“All that are printed and bound are not books; they do not necessarily belong to letters, but are oftener to be ranked with the other luxuries and appendages of civilized life. Base wares are palmed off under a thousand disguises.”
—Henry David Thoreau (1817–1862)
“The incessant repetition of the same hand-work dwarfs the man, robs him of his strength, wit, and versatility, to make a pin- polisher, and buckle-maker, or any other specialty; and presently, in a change of industry, whole towns are sacrificed like ant-hills, when cotton takes the place of linen, or railways of turnpikes, or when commons are inclosed by landlords.”
—Ralph Waldo Emerson (1803–1882)