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. 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 .) 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 over the complex numbers, the global meromorphic functions are exactly the rational functions (that is, the ratios of complex polynomial functions). In classical algebraic geometry, we generalize the second point of view. For the Riemann sphere, above, the notion of a polynomial is not defined globally, but simply with respect to an affine coordinate chart, namely that consisting of the complex plane (all but the north pole of the sphere). On a general variety V, we say that a rational function on an open affine subset U is defined as the ratio of two polynomials in the affine coordinate ring of U, and that a rational function on all of V consists of such local data as agree on the intersections of open affines. We may define the function field of V to be the field of fractions of the affine coordinate ring of any open affine subset, since all such subsets are dense. In the most general setting, that of modern scheme theory, we take the latter point of view above as a point of departure. Namely, if is an integral scheme, then for every open affine subset of the ring of sections on is an integral domain and, hence, has a field of fractions.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (1)

Concepts associés (34)

Cours associés (10)

Séances de cours associées (49)

Algebraic Divisibility Sequences Over Function Fields

Valéry Aurélien Mahé

In this note we study the existence of primes and of primitive divisors in function field analogues of classical divisibility sequences. Under various hypotheses, we prove that Lucas sequences and elliptic divisibility sequences over function fields defined over number fields contain infinitely many irreducible elements. We also prove that an elliptic divisibility sequence over a function field has only finitely many terms lacking a primitive divisor.

Australian Mathematical Society2012

Function field of an algebraic variety

Sphère de Riemann

En mathématiques, la sphère de Riemann est une manière de prolonger le plan des nombres complexes avec un point additionnel à l'infini, de manière que certaines expressions mathématiques deviennent convergentes et élégantes, du moins dans certains contextes. Déjà envisagée par le mathématicien Carl Friedrich Gauss, elle est baptisée du nom de son élève Bernhard Riemann. Ce plan s'appelle également la droite projective complexe, dénoté .

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.

MATH-658: Vanishing cycles and perverse sheaves

This course will explain the theory of vanishing cycles and perverse sheaves. We will see how the Hard Lefschetz theorem can be proved using perverse sheaves. If we have more time we will try to see t

MATH-535: Algebraic geometry III - selected topics

This course is aimed to give students an introduction to the theory of algebraic curves, with an emphasis on the interplay between the arithmetic and the geometry of global fields. One of the principl

MATH-563: Student seminar in pure mathematics

In this seminar we will study toric varieties, a well studied class of algebraic varieties which is ubiquitous in algebraic geometry, but also relevant in theoretical physics and combinatorics.

Champs algébriques: degré de transcendance MATH-494: Topics in arithmetic geometry

Explore le degré de transcendance dans les domaines algébriques et les fonctions analytiques classiques.

Vue globale de la preuve de Dwork MATH-494: Topics in arithmetic geometry

Explore une vision «globale» de la preuve de Dwork, en mettant l'accent sur la disparition d'un déterminant.

Domaine des fonctions rationnelles MATH-328: Algebraic geometry I - Curves

Explore la construction du domaine des fonctions rationnelles sur une variété et sa connexion avec les anneaux et les dimensions locales.