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:
“Our manners have been corrupted by communication with the saints. Our hymn-books resound with a melodious cursing of God and enduring Him forever. One would say that even the prophets and redeemers had rather consoled the fears than confirmed the hopes of man. There is nowhere recorded a simple and irrepressible satisfaction with the gift of life, any memorable praise of God.”
—Henry David Thoreau (1817–1862)
“I do not believe in lawyers, in that mode of attacking or defending a man, because you descend to meet the judge on his own ground, and, in cases of the highest importance, it is of no consequence whether a man breaks a human law or not. Let lawyers decide trivial cases.”
—Henry David Thoreau (1817–1862)