Function Field Of An Algebraic Variety
   HOME
*





Function Field Of An Algebraic Variety
In algebraic geometry, the function field of an algebraic variety ''V'' consists of objects which are interpreted as rational functions on ''V''. In classical algebraic geometry they are ratios of polynomials; in complex algebraic geometry these are meromorphic functions and their higher-dimensional analogues; in modern algebraic geometry they are elements of some quotient ring's field of fractions. Definition for complex manifolds In complex algebraic geometry the objects of study are complex analytic varieties, on which we have a local notion of complex analysis, through which we may define meromorphic functions. The function field of a variety is then the set of all meromorphic functions on the variety. (Like all meromorphic functions, these take their values in \mathbb\cup\infty.) Together with the operations of addition and multiplication of functions, this is a field in the sense of algebra. For the Riemann sphere, which is the variety \mathbb^1 over the complex numbers, th ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Algebraic Geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology of the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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. In scheme theory, the spectrum of an integral domain has a unique generic point, which is the zero ideal. As the closure of this point for the Zariski topology is the whole spectrum, the definition has been extended to general topology, where a generic point of a topological space ''X'' is a point whose closure is ''X''. Definition and motivation A generic point of the topological space ''X'' is a point ''P'' whose closure is all of ''X'', that is, a point that is dense in ''X''. T ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Algebraic Geometry (book)
''Algebraic Geometry'' is an algebraic geometry textbook written by Robin Hartshorne and published by Springer-Verlag in 1977.MathSciNet lists more than 2500 citations of this book. Importance It was the first extended treatment of scheme theory written as a text intended to be accessible to graduate students. Contents The first chapter, titled "Varieties", deals with the classical algebraic geometry of varieties over algebraically closed fields. This chapter uses many classical results in commutative algebra, including Hilbert's Nullstellensatz In mathematics, Hilbert's Nullstellensatz (German for "theorem of zeros," or more literally, "zero-locus-theorem") is a theorem that establishes a fundamental relationship between geometry and algebra. This relationship is the basis of algebraic ..., with the books by Atiyah–Macdonald, Matsumura, and Zariski–Samuel as usual references. The second and the third chapters, "Schemes" and "Cohomology", form the technical heart of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Graduate Texts In Mathematics
Graduate Texts in Mathematics (GTM) (ISSN 0072-5285) is a series of graduate-level textbooks in mathematics published by Springer-Verlag. The books in this series, like the other Springer-Verlag mathematics series, are yellow books of a standard size (with variable numbers of pages). The GTM series is easily identified by a white band at the top of the book. The books in this series tend to be written at a more advanced level than the similar Undergraduate Texts in Mathematics series, although there is a fair amount of overlap between the two series in terms of material covered and difficulty level. List of books #''Introduction to Axiomatic Set Theory'', Gaisi Takeuti, Wilson M. Zaring (1982, 2nd ed., ) #''Measure and Category – A Survey of the Analogies between Topological and Measure Spaces'', John C. Oxtoby (1980, 2nd ed., ) #''Topological Vector Spaces'', H. H. Schaefer, M. P. Wolff (1999, 2nd ed., ) #''A Course in Homological Algebra'', Peter Hilton, Urs Stammbac ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Cartier Divisor
In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors (named for Pierre Cartier and André Weil by David Mumford). Both are derived from the notion of divisibility in the integers and algebraic number fields. Globally, every codimension-1 subvariety of projective space is defined by the vanishing of one homogeneous polynomial; by contrast, a codimension-''r'' subvariety need not be definable by only ''r'' equations when ''r'' is greater than 1. (That is, not every subvariety of projective space is a complete intersection.) Locally, every codimension-1 subvariety of a smooth variety can be defined by one equation in a neighborhood of each point. Again, the analogous statement fails for higher-codimension subvarieties. As a result of this property, much of algebraic geometry studies an arbitrary variety by analysing its codimension-1 subvariet ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




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''(''x''1,...,''x''''n'') of rational functions in ''n'' variables over ''k''. Example 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). This is a function field of one variable over ''k''; it can also be written as k(X)(\sqrt) (with degree 2 over k(X)) or as k(Y)(\sqrt (with degree 3 over k(Y)). We see that the degree of an algebraic function field is not a well-defined notion. Category structure The algebraic function fields over ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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''. Simple cases 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'' ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Transcendental Element
In mathematics, if is a field extension of , then an element of is called an algebraic element over , or just algebraic over , if there exists some non-zero polynomial with coefficients in such that . Elements of which are not algebraic over are called transcendental over . These notions generalize the algebraic numbers and the transcendental numbers (where the field extension is , being the field of complex numbers and being the field of rational numbers). Examples * The square root of 2 is algebraic over , since it is the root of the polynomial whose coefficients are rational. * Pi is transcendental over but algebraic over the field of real numbers : it is the root of , whose coefficients (1 and −) are both real, but not of any polynomial with only rational coefficients. (The definition of the term transcendental number uses , not .) Properties The following conditions are equivalent for an element a of L: * a is algebraic over K, * the field extension K(a)/ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Projective Line
In mathematics, a projective line is, roughly speaking, the extension of a usual line by a point called a ''point at infinity''. The statement and the proof of many theorems of geometry are simplified by the resultant elimination of special cases; for example, two distinct projective lines in a projective plane meet in exactly one point (there is no "parallel" case). There are many equivalent ways to formally define a projective line; one of the most common is to define a projective line over a field ''K'', commonly denoted P1(''K''), as the set of one-dimensional subspaces of a two-dimensional ''K''-vector space. This definition is a special instance of the general definition of a projective space. The projective line over the reals is a manifold; see real projective line for details. Homogeneous coordinates An arbitrary point in the projective line P1(''K'') may be represented by an equivalence class of ''homogeneous coordinates'', which take the form of a pair : _1 : x_2/mat ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




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. Birational maps Rational maps A rational map from one variety (understood to be irreducible) X to another variety Y, written as a dashed arrow , is defined as a morphism from a nonempty open subset U \subset X to Y. By definition of the Zariski topology used in algebraic geometry, a nonempty open subset U is always dense in X, in fact the complement of a lower-dimensional subset. Concretely, a rational map can be written in coordinates using rational functions. Birational maps A birational map from ''X'' to ''Y'' is a rational map such that there is a rational map inverse to ''f''. A birational map induces an isomorphism from a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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''(''x''1,...,''x''''n'') of rational functions in ''n'' variables over ''k''. Example 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). This is a function field of one variable over ''k''; it can also be written as k(X)(\sqrt) (with degree 2 over k(X)) or as k(Y)(\sqrt (with degree 3 over k(Y)). We see that the degree of an algebraic function field is not a well-defined notion. Category structure The algebraic function fields over ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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. Dimension of an affine algebraic set Let be a field, and be an algebraically closed extension. An affine algebraic set is the set of the common zeros in of the elements of an ideal in a polynomial ring R=K _1, \ldots, x_n Let A=R/I be the algebra of the polynomial functions over . The dimension of is any of the following integers. It does not change if is enlarged, if is replaced by another algebraically closed extension of and if is replaced by another ideal having the same zer ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]