Function field (scheme theory)

The sheaf of rational functions KX 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, KX(U) is the set of fractions of regular functions on U. Despite its name, KX does not always give a field for a general scheme X. In the simplest cases, the definition of KX is straightforward. If X is an (irreducible) 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 affine 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. 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.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (7)

Related courses (3)

Related lectures (3)

Glossary of algebraic geometry

This is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism.

Function field (scheme theory)

Algebraic curve

In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation h(x, y, t) = 0 can be restricted to the affine algebraic plane curve of equation h(x, y, 1) = 0.

MATH-657: Deformation Theory

We will study classical and modern deformation theory of schemes and coherent sheaves. Participants should have a solid background in scheme-theory, for example being familiar with the first 3 chapter

MATH-643: Applied l-adic cohomology

In this course we will describe in numerous examples how methods from l-adic cohomology as developed by Grothendieck, Deligne and Katz can interact with methods from analytic number theory (prime numb

MATH-679: Group schemes

This is a course about group schemes, with an emphasis on structural theorems for algebraic groups (e.g. Barsotti--Chevalley's theorem). All the basics will be covered towards the proof of such theore

Explores primary decomposition and schemes in algebraic geometry, emphasizing the importance of working over non-algebraically closed fields and the concept of fibers of morphisms.

Explains finite difference grids for computing solutions of elastic membranes using Laplace's equation and numerical methods.

Explores biomass formation, energy conversion, potential in Switzerland, and the need for further research.