Simple Cases
In the simplest cases, the definition of KX is straightforward. If X is an affine algebraic variety, and if U is an open subset of X, then KX(U) will be the field of fractions of the ring of regular functions on U. Because X is affine, the ring of regular functions on U will be a localization of the global sections of X, and consequently KX will be the constant sheaf whose value is the fraction field of the global sections of X.
If X is integral but not affine, then any non-empty affine open set will be dense in X. This means there is not enough room for a regular function to do anything interesting outside of U, and consequently the behavior of the rational functions on U should determine the behavior of the rational functions on X. In fact, the fraction fields of the rings of regular functions on any open set will be the same, so we define, for any U, KX(U) to be the common fraction field of any ring of regular functions on any open affine subset of X. Alternatively, one can define the function field in this case to be the local ring of the generic point.
Read more about this topic: Function Field (scheme Theory)
Famous quotes containing the words simple and/or cases:
“I became a virtuoso of deceit. It wasn’t pleasure I was after, it was knowledge. I consulted the strictest moralists to learn how to appear, philosophers to find out what to think and novelists to see what I could get away with. And, in the end, I distilled everything down to one wonderfully simple principle: win or die.”
—Christopher Hampton (b. 1946)
“For the most part, we are not where we are, but in a false position. Through an infirmity of our natures, we suppose a case, and put ourselves into it, and hence are in two cases at the same time, and it is doubly difficult to get out.”
—Henry David Thoreau (1817–1862)