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:
“The old-fashioned idea that the simple piling up of experiences, one on top of another, can make you an artist, is, of course, so much rubbish. If acting were just a matter of experience, then any busy harlot could make Garbo’s Camille pale.”
—Helen Hayes (1900–1993)
“Only by being guilty of Folly does mortal man in many cases arrive at the perception of Sense. A thought which should forever free us from hasty imprecations upon our ever-recurring intervals of Folly; since though Folly be our teacher, Sense is the lesson she teaches; since, if Folly wholly depart from us, Further Sense will be her companion in the flight, and we will be left standing midway in wisdom.”
—Herman Melville (1819–1891)