Drinfeld Upper Half Plane
In mathematics, the Drinfeld upper half plane is a rigid analytic space analogous to the usual upper half plane for function fields, introduced by . It is defined to be P1(C)\P1(F∞), where F is a function field of a curve over a finite field, F∞ its completion at ∞, and C the completion of the algebraic closure of F∞. The analogy with the usual upper half plane arises from the fact that the global function field F is analogous to the rational numbers Q. Then, F∞ is the real numbers R and the algebraic closure of F∞ is the complex numbers C (which are already complete). Finally, P1(C) is the 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 ..., so P1(C)\P1(R) is the upper half plane ''together with'' the lower half plane. References * * Automorphic forms ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Rigid Analytic Space
In mathematics, a rigid analytic space is an analogue of a complex analytic space over a nonarchimedean field. Such spaces were introduced by John Tate in 1962, as an outgrowth of his work on uniformizing ''p''-adic elliptic curves with bad reduction using the multiplicative group. In contrast to the classical theory of ''p''-adic analytic manifolds, rigid analytic spaces admit meaningful notions of analytic continuation and connectedness. Definitions The basic rigid analytic object is the ''n''-dimensional unit polydisc, whose ring of functions is the Tate algebra T_n, made of power series in ''n'' variables whose coefficients approach zero in some complete nonarchimedean field ''k''. The Tate algebra is the completion of the polynomial ring in ''n'' variables under the Gauss norm (taking the supremum of coefficients), and the polydisc plays a role analogous to that of affine ''n''-space in algebraic geometry. Points on the polydisc are defined to be maximal ideals in the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Upper Half Plane
In mathematics, the upper half-plane, \,\mathcal\,, is the set of points in the Cartesian plane with > 0. Complex plane Mathematicians sometimes identify the Cartesian plane with the complex plane, and then the upper half-plane corresponds to the set of complex numbers with positive imaginary part: :\mathcal \equiv \ ~. The term arises from a common visualization of the complex number as the point in the plane endowed with Cartesian coordinates. When the axis is oriented vertically, the "upper half-plane" corresponds to the region above the axis and thus complex numbers for which > 0. It is the domain of many functions of interest in complex analysis, especially modular forms. The lower half-plane, defined by 0. Proposition: Let ''A'' and ''B'' be semicircles in the upper half-plane with centers on the boundary. Then there is an affine mapping that takes ''A'' to ''B''. :Proof: First shift the center of ''A'' to (0,0). Then take λ = ( ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Finite Field
In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subtraction and division are defined and satisfy certain basic rules. The most common examples of finite fields are given by the integers mod when is a prime number. The ''order'' of a finite field is its number of elements, which is either a prime number or a prime power. For every prime number and every positive integer there are fields of order p^k, all of which are isomorphic. Finite fields are fundamental in a number of areas of mathematics and computer science, including number theory, algebraic geometry, Galois theory, finite geometry, cryptography and coding theory. Properties A finite field is a finite set which is a field; this means that multiplication, addition, subtraction and division (excluding division by zero) are ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Closure
In mathematics, particularly abstract algebra, an algebraic closure of a field ''K'' is an algebraic extension of ''K'' that is algebraically closed. It is one of many closures in mathematics. Using Zorn's lemmaMcCarthy (1991) p.21Kaplansky (1972) pp.74-76 or the weaker ultrafilter lemma, it can be shown that every field has an algebraic closure, and that the algebraic closure of a field ''K'' is unique up to an isomorphism that fixes every member of ''K''. Because of this essential uniqueness, we often speak of ''the'' algebraic closure of ''K'', rather than ''an'' algebraic closure of ''K''. The algebraic closure of a field ''K'' can be thought of as the largest algebraic extension of ''K''. To see this, note that if ''L'' is any algebraic extension of ''K'', then the algebraic closure of ''L'' is also an algebraic closure of ''K'', and so ''L'' is contained within the algebraic closure of ''K''. The algebraic closure of ''K'' is also the smallest algebraically closed fiel ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Global Function Field
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 \mathbb *Global function field: The function field of an algebraic curve over a finite field, equivalently, a finite extension of \mathbb_q(T), the field of rational functions in one variable over the finite field with q=p^n elements. An axiomatic characterization of these fields via valuation theory was given by Emil Artin and George Whaples in the 1940s. Formal definitions 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 t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
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 \infty for infinity. With the Riemann model, the point \infty is near to very large numbers, just as the point 0 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 1/0=\infty well-behaved. For example, any rational function on the complex plane can be extended to a holomorphic function on the Riemann sphere, with the poles of the rational function mapping to infinity. More generally, any meromorphic function can be thought of as a holomorphic function whose codomain is the Riemann sphere. In geometry, the Riemann sphere is the prototypical example of a Riemann surface, and is one of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |