Function field (scheme theory)

The sheaf of rational functions K_X of a scheme X is the generalization to scheme theory of the notion of function field of an algebraic variety in classical algebraic geometry. In the case of varieties, such a sheaf associates to each open set U the ring of all rational functions on that open set; in other words, K_X(U) is the set of fractions of regular functions on U. Despite its name, K_X does not always give a field for a general scheme X.

Simple cases

In the simplest cases, the definition of K_X is straightforward. If X is an (irreducible) affine algebraic variety, and if U is an open subset of X, then K_X(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 K_X 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, K_X(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.

General case

The trouble starts when X is no longer integral. Then it is possible to have zero divisors in the ring of regular functions, and consequently the fraction field no longer exists. The naive solution is to replace the fraction field by the total quotient ring, that is, to invert every element that is not a zero divisor. Unfortunately, in general, the total quotient ring does not produce a presheaf much less a sheaf. The well-known article of Kleiman, listed in the bibliography, gives such an example.

The correct solution is to proceed as follows:

For each open set U, let S_U be the set of all elements in Γ(U, O_X) that are not zero divisors in any stalk O_X,x. Let K_X^pre be the presheaf whose sections on U are localizations S_U⁻¹Γ(U, O_X) and whose restriction maps are induced from the restriction maps of O_X by the universal property of localization. Then K_X is the sheaf associated to the presheaf K_X^pre.

Further issues

Once K_X is defined, it is possible to study properties of X which depend only on K_X. This is the subject of birational geometry.

If X is an algebraic variety over a field k, then over each open set U we have a field extension K_X(U) of k. The dimension of U will be equal to the transcendence degree of this field extension. All finite transcendence degree field extensions of k correspond to the rational function field of some variety.

In the particular case of an algebraic curve C, that is, dimension 1, it follows that any two non-constant functions F and G on C satisfy a polynomial equation P(F,G) = 0.

Bibliography

Kleiman, S., "Misconceptions about K_X", Enseign. Math. 25 (1979), 203-206, available at http://carpediem.ethz.ch:8081/swissdml.em/cntmng;jsessionid=4950B1C70AE3C05F260CDF9C8A36A85E?type=pdf&rid=ensmat-001:1979:25&did=c1:456368%5B%5D

gollark: ```pythonimport usbusb.drive()```

gollark: Except with USB sticks instead of cartridges.

gollark: Solution: only support USB flash drives for storage.

gollark: There's CraftOS-EFI, which is neat, but limited in use as it cannot do HTTP.

gollark: *cue long rant about UEFI*

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.