In mathematics, a global field is one of two type of fields (the other one is local field) which are characterized using valuations. There are two kinds of global fields:
Algebraic number field: A finite extension of
Global function field: The function field of an algebraic curve over a finite field, equivalently, a finite extension of , the field of rational functions in one variable over the finite field with elements.
An axiomatic characterization of these fields via valuation theory was given by Emil Artin and George Whaples in the 1940s.
Algebraic number field and Function field of an algebraic variety
A global field is one of the following:
An algebraic number field
An algebraic number field F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector space over Q.
The function field of an algebraic curve over a finite field
A function field of a variety is the set of all rational functions on that variety. On an algebraic curve (i.e. a one-dimensional variety V) over a finite field, 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 which agree on the intersections of open affines. This technically defines the rational functions on V to be the field of fractions of the affine coordinate ring of any open affine subset, since all such subsets are dense.
There are a number of formal similarities between the two kinds of fields. A field of either type has the property that all of its completions are locally compact fields (see local fields). Every field of either type can be realized as the field of fractions of a Dedekind domain in which every non-zero ideal is of finite index. In each case, one has the product formula for non-zero elements x:
The analogy between the two kinds of fields has been a strong motivating force in algebraic number theory.
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.
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
This year's topic is "Adelic Number Theory" or how the language of adeles and ideles and harmonic analysis on the corresponding spaces can be used to revisit classical questions in algebraic number th
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
In mathematics, an algebraic number field (or simply number field) is an extension field of the field of rational numbers such that the field extension has finite degree (and hence is an algebraic field extension). Thus is a field that contains and has finite dimension when considered as a vector space over . The study of algebraic number fields, and, more generally, of algebraic extensions of the field of rational numbers, is the central topic of algebraic number theory.
Faltings's theorem is a result in arithmetic geometry, according to which a curve of genus greater than 1 over the field of rational numbers has only finitely many rational points. This was conjectured in 1922 by Louis Mordell, and known as the Mordell conjecture until its 1983 proof by Gerd Faltings. The conjecture was later generalized by replacing by any number field. Let be a non-singular algebraic curve of genus over . Then the set of rational points on may be determined as follows: When , there are either no points or infinitely many.
In commutative algebra and field theory, the Frobenius endomorphism (after Ferdinand Georg Frobenius) is a special endomorphism of commutative rings with prime characteristic p, an important class which includes finite fields. The endomorphism maps every element to its p-th power. In certain contexts it is an automorphism, but this is not true in general. Let R be a commutative ring with prime characteristic p (an integral domain of positive characteristic always has prime characteristic, for example).
We provide new explicit examples of lattice sphere packings in dimensions 54, 55, 162, 163, 486 and 487 that are the densest known so far, using Kummer families of elliptic curves over global function fields.In some cases, these families of elliptic curves ...
We consider the problem of positive-semidefinite continuation: extending a partially specified covariance kernel from a subdomain Omega of a rectangular domain I x I to a covariance kernel on the entire domain I x I. For a broad class of domains Omega call ...
We study the elliptic curves given by y(2) = x(3) + bx + t(3n+1) over global function fields of characteristic 3 ; in particular we perform an explicit computation of the L-function by relating it to the zeta function of a certain superelliptic curve u(3) ...