Concept
Function field of an algebraic variety
Related concepts (16)
Riemann sphere
In mathematics, the Riemann sphere, named after Bernhard Riemann, is a model of the extended complex plane: the complex plane plus one point at infinity. This extended plane represents the extended complex numbers, that is, the complex numbers plus a value for infinity. With the Riemann model, the point is near to very large numbers, just as the point is near to very small numbers. The extended complex numbers are useful in complex analysis because they allow for division by zero in some circumstances, in a way that makes expressions such as well-behaved.
Transcendental extension
In mathematics, a transcendental extension is a field extension such that there exists an element in the field that is transcendental over the field ; that is, an element that is not a root of any univariate polynomial with coefficients in . In other words, a transcendental extension is a field extension that is not algebraic. For example, are both transcendental extensions of A transcendence basis of a field extension (or a transcendence basis of over ) is a maximal algebraically independent subset of over Transcendence bases share many properties with bases of vector spaces.
Degree of a field extension
In mathematics, more specifically field theory, the degree of a field extension is a rough measure of the "size" of the field extension. The concept plays an important role in many parts of mathematics, including algebra and number theory — indeed in any area where fields appear prominently. Suppose that E/F is a field extension. Then E may be considered as a vector space over F (the field of scalars). The dimension of this vector space is called the degree of the field extension, and it is denoted by [E:F].
Birational geometry
In mathematics, birational geometry is a field of algebraic geometry in which the goal is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying mappings that are given by rational functions rather than polynomials; the map may fail to be defined where the rational functions have poles. A rational map from one variety (understood to be irreducible) to another variety , written as a dashed arrow X Y, is defined as a morphism from a nonempty open subset to .
Morphism of algebraic varieties
In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function. A regular map whose inverse is also regular is called biregular, and the biregular maps are the isomorphisms of algebraic varieties.
Rational mapping
In mathematics, in particular the subfield of algebraic geometry, a rational map or rational mapping is a kind of partial function between algebraic varieties. This article uses the convention that varieties are irreducible. Formally, a rational map between two varieties is an equivalence class of pairs in which is a morphism of varieties from a non-empty open set to , and two such pairs and are considered equivalent if and coincide on the intersection (this is, in particular, vacuously true if the intersection is empty, but since is assumed irreducible, this is impossible).
Generic point
In algebraic geometry, a generic point P of an algebraic variety X is, roughly speaking, a point at which all generic properties are true, a generic property being a property which is true for almost every point. In classical algebraic geometry, a generic point of an affine or projective algebraic variety of dimension d is a point such that the field generated by its coordinates has transcendence degree d over the field generated by the coefficients of the equations of the variety.
Algebraic function field
In mathematics, an algebraic function field (often abbreviated as function field) of n variables over a field k is a finitely generated field extension K/k which has transcendence degree n over k. Equivalently, an algebraic function field of n variables over k may be defined as a finite field extension of the field K = k(x1,...,xn) of rational functions in n variables over k. As an example, in the polynomial ring k [X,Y] consider the ideal generated by the irreducible polynomial Y 2 − X 3 and form the field of fractions of the quotient ring k [X,Y]/(Y 2 − X 3).
Rational variety
In mathematics, a rational variety is an algebraic variety, over a given field K, which is birationally equivalent to a projective space of some dimension over K. This means that its function field is isomorphic to the field of all rational functions for some set of indeterminates, where d is the dimension of the variety. Let V be an affine algebraic variety of dimension d defined by a prime ideal I = ⟨f1, ..., fk⟩ in . If V is rational, then there are n + 1 polynomials g0, ..., gn in such that In order words, we have a of the variety.
Dimension of an algebraic variety
In mathematics and specifically in algebraic geometry, the dimension of an algebraic variety may be defined in various equivalent ways. Some of these definitions are of geometric nature, while some other are purely algebraic and rely on commutative algebra. Some are restricted to algebraic varieties while others apply also to any algebraic set. Some are intrinsic, as independent of any embedding of the variety into an affine or projective space, while other are related to such an embedding.