|
Anabelian Geometry
Anabelian geometry is a theory in number theory which describes the way in which the algebraic fundamental group ''G'' of a certain arithmetic variety ''X'', or some related geometric object, can help to restore ''X''. The first results for number fields and their absolute Galois groups were obtained by Jürgen Neukirch, Masatoshi Gündüz Ikeda, Kenkichi Iwasawa, and Kôji Uchida ( Neukirch–Uchida theorem, 1969) prior to conjectures made about hyperbolic curves over number fields by Alexander Grothendieck. As introduced in '' Esquisse d'un Programme'' the latter were about how topological homomorphisms between two arithmetic fundamental groups of two hyperbolic curves over number fields correspond to maps between the curves. These Grothendieck conjectures were partially solved by Hiroaki Nakamura and Akio Tamagawa, while complete proofs were given by Shinichi Mochizuki. Anabelian geometry can be viewed as one of the three generalizations of class field theory. Unli ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Number Theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mathematics is the queen of the sciences—and number theory is the queen of mathematics."German original: "Die Mathematik ist die Königin der Wissenschaften, und die Arithmetik ist die Königin der Mathematik." Number theorists study prime numbers as well as the properties of mathematical objects made out of integers (for example, rational numbers) or defined as generalizations of the integers (for example, algebraic integers). Integers can be considered either in themselves or as solutions to equations (Diophantine geometry). Questions in number theory are often best understood through the study of analytical objects (for example, the Riemann zeta function) that encode properties of the integers, primes or other number-theoretic object ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Curve
In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation can be restricted to the affine algebraic plane curve of equation . These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered. More generally, an algebraic curve is an algebraic variety of dimension one. Equivalently, an algebraic curve is an algebraic variety that is birationally equivalent to an algebraic plane curve. If the curve is contained in an affine space or a projective space, one can take a projection for su ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Belyi's Theorem
In mathematics, Belyi's theorem on algebraic curves states that any non-singular algebraic curve ''C'', defined by algebraic number coefficients, represents a compact Riemann surface which is a ramified covering of the Riemann sphere, ramified at three points only. This is a result of G. V. Belyi from 1979. At the time it was considered surprising, and it spurred Grothendieck to develop his theory of dessins d'enfant, which describes non-singular algebraic curves over the algebraic numbers using combinatorial data. Quotients of the upper half-plane It follows that the Riemann surface in question can be taken to be the quotient :''H''/Γ (where ''H'' is the upper half-plane and Γ is a subgroup of finite index in the modular group) compactified by cusps. Since the modular group has non-congruence subgroups, it is ''not'' the conclusion that any such curve is a modular curve. Belyi functions A Belyi function is a holomorphic map from a compact Riemann surface ''S'' to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fiber Functor
In category theory, a branch of mathematics, a fiber functor is a faithful ''k''-linear tensor functor from a tensor category to the category of finite-dimensional ''k''-vector spaces. Definition A fiber functor (or fibre functor) is a loose concept which has multiple definitions depending on the formalism considered. One of the main initial motivations for fiber functors comes from Topos theory. Recall a topos is the category of sheaves over a site. If a site is just a single object, as with a point, then the topos of the point is equivalent to the category of sets, \mathfrak. If we have the topos of sheaves on a topological space X, denoted \mathfrak(X), then to give a point a in X is equivalent to defining adjoint functorsa^*:\mathfrak(X)\leftrightarrows \mathfrak:a_*The functor a^* sends a sheaf \mathfrak on X to its fiber over the point a; that is, its stalk. From covering spaces Consider the category of covering spaces over a topological space X, denoted \mathfrak(X). The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Class Field Theory
In mathematics, class field theory (CFT) is the fundamental branch of algebraic number theory whose goal is to describe all the abelian Galois extensions of local and global fields using objects associated to the ground field. Hilbert is credited as one of pioneers of the notion of a class field. However, this notion was already familiar to Kronecker and it was actually Weber who coined the term before Hilbert's fundamental papers came out. The relevant ideas were developed in the period of several decades, giving rise to a set of conjectures by Hilbert that were subsequently proved by Takagi and Artin (with the help of Chebotarev's theorem). One of the major results is: given a number field ''F'', and writing ''K'' for the maximal abelian unramified extension of ''F'', the Galois group of ''K'' over ''F'' is canonically isomorphic to the ideal class group of ''F''. This statement was generalized to the so called Artin reciprocity law; in the idelic language, writing ''CF' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperbolic Curve
In mathematics, hyperbolic functions are analogues of the ordinary trigonometric functions, but defined using the hyperbola rather than the circle. Just as the points form a circle with a unit radius, the points form the right half of the unit hyperbola. Also, similarly to how the derivatives of and are and respectively, the derivatives of and are and respectively. Hyperbolic functions occur in the calculations of angles and distances in hyperbolic geometry. They also occur in the solutions of many linear differential equations (such as the equation defining a catenary), cubic equations, and Laplace's equation in Cartesian coordinates. Laplace's equations are important in many areas of physics, including electromagnetic theory, heat transfer, fluid dynamics, and special relativity. The basic hyperbolic functions are: * hyperbolic sine "" (), * hyperbolic cosine "" (),''Collins Concise Dictionary'', p. 328 from which are derived: * hyperbolic tangent "" (), * hyp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
German Mathematical Society
The German Mathematical Society (german: Deutsche Mathematiker-Vereinigung, DMV) is the main professional society of German mathematicians and represents German mathematics within the European Mathematical Society (EMS) and the International Mathematical Union (IMU). It was founded in 1890 in Bremen with the set theorist Georg Cantor as first president. Founding members included Georg Cantor, Felix Klein, Walther von Dyck, David Hilbert, Hermann Minkowski, Carl Runge, Rudolf Sturm, Hermann Schubert, and Heinrich Weber. The current president of the DMV is Ilka Agricola (2021–2022). Activities In honour of its founding president, Georg Cantor, the society awards the Cantor Medal. The DMV publishes two scientific journals, the ''Jahresbericht der DMV'' and ''Documenta Mathematica''. It also publishes a quarterly magazine for its membership the ''Mitteilungen der DMV''. The annual meeting of the DMV is called the ''Jahrestagung''; the DMV traditionally meets every ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Local Field
In mathematics, a field ''K'' is called a (non-Archimedean) local field if it is complete with respect to a topology induced by a discrete valuation ''v'' and if its residue field ''k'' is finite. Equivalently, a local field is a locally compact topological field with respect to a non-discrete topology. Sometimes, real numbers R, and the complex numbers C (with their standard topologies) are also defined to be local fields; this is the convention we will adopt below. Given a local field, the valuation defined on it can be of either of two types, each one corresponds to one of the two basic types of local fields: those in which the valuation is Archimedean and those in which it is not. In the first case, one calls the local field an Archimedean local field, in the second case, one calls it a non-Archimedean local field. Local fields arise naturally in number theory as completions of global fields. While Archimedean local fields have been quite well known in mathematics for a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cross-ratio
In geometry, the cross-ratio, also called the double ratio and anharmonic ratio, is a number associated with a list of four collinear points, particularly points on a projective line. Given four points ''A'', ''B'', ''C'' and ''D'' on a line, their cross ratio is defined as : (A,B;C,D) = \frac where an orientation of the line determines the sign of each distance and the distance is measured as projected into Euclidean space. (If one of the four points is the line's point at infinity, then the two distances involving that point are dropped from the formula.) The point ''D'' is the harmonic conjugate of ''C'' with respect to ''A'' and ''B'' precisely if the cross-ratio of the quadruple is −1, called the ''harmonic ratio''. The cross-ratio can therefore be regarded as measuring the quadruple's deviation from this ratio; hence the name ''anharmonic ratio''. The cross-ratio is preserved by linear fractional transformations. It is essentially the only projective inv ... [...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/ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Profinite Group
In mathematics, a profinite group is a topological group that is in a certain sense assembled from a system of finite groups. The idea of using a profinite group is to provide a "uniform", or "synoptic", view of an entire system of finite groups. Properties of the profinite group are generally speaking uniform properties of the system. For example, the profinite group is finitely generated (as a topological group) if and only if there exists d\in\N such that every group in the system can be generated by d elements. Many theorems about finite groups can be readily generalised to profinite groups; examples are Lagrange's theorem and the Sylow theorems. To construct a profinite group one needs a system of finite groups and group homomorphisms between them. Without loss of generality, these homomorphisms can be assumed to be surjective, in which case the finite groups will appear as quotient groups of the resulting profinite group; in a sense, these quotients approximate the profi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
