|
Arithmetic Of Abelian Varieties
In mathematics, the arithmetic of abelian varieties is the study of the number theory of an abelian variety, or a family of abelian varieties. It goes back to the studies of Pierre de Fermat on what are now recognized as elliptic curves; and has become a very substantial area of arithmetic geometry both in terms of results and conjectures. Most of these can be posed for an abelian variety ''A'' over a number field ''K''; or more generally (for global fields or more general finitely-generated rings or fields). Integer points on abelian varieties There is some tension here between concepts: ''integer point'' belongs in a sense to affine geometry, while ''abelian variety'' is inherently defined in projective geometry. The basic results, such as Siegel's theorem on integral points, come from the theory of diophantine approximation. Rational points on abelian varieties The basic result, the Mordell–Weil theorem in Diophantine geometry, says that ''A''(''K''), the group of points on ' ... [...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] |
Torsor
In mathematics, a principal homogeneous space, or torsor, for a group ''G'' is a homogeneous space ''X'' for ''G'' in which the stabilizer subgroup of every point is trivial. Equivalently, a principal homogeneous space for a group ''G'' is a non-empty set ''X'' on which ''G'' acts freely and transitively (meaning that, for any ''x'', ''y'' in ''X'', there exists a unique ''g'' in ''G'' such that , where · denotes the (right) action of ''G'' on ''X''). An analogous definition holds in other categories, where, for example, *''G'' is a topological group, ''X'' is a topological space and the action is continuous, *''G'' is a Lie group, ''X'' is a smooth manifold and the action is smooth, *''G'' is an algebraic group, ''X'' is an algebraic variety and the action is regular. Definition If ''G'' is nonabelian then one must distinguish between left and right torsors according to whether the action is on the left or right. In this article, we will use right actions. To state the defi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Néron Model
In algebraic geometry, the Néron model (or Néron minimal model, or minimal model) for an abelian variety ''AK'' defined over the field of fractions ''K'' of a Dedekind domain ''R'' is the "push-forward" of ''AK'' from Spec(''K'') to Spec(''R''), in other words the "best possible" group scheme ''AR'' defined over ''R'' corresponding to ''AK''. They were introduced by for abelian varieties over the quotient field of a Dedekind domain ''R'' with perfect residue fields, and extended this construction to semiabelian varieties over all Dedekind domains. Definition Suppose that ''R'' is a Dedekind domain with field of fractions ''K'', and suppose that ''AK'' is a smooth separated scheme over ''K'' (such as an abelian variety). Then a Néron model of ''AK'' is defined to be a smooth separated scheme ''AR'' over ''R'' with fiber ''AK'' that is universal in the following sense. :If ''X'' is a smooth separated scheme over ''R'' then any ''K''-morphism from ''X''''K'' to ''AK'' ca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Right Adjoint
In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems (i.e., constructions of objects having a certain universal property), such as the construction of a free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology. By definition, an adjunction between categories \mathcal and \mathcal is a pair of functors (assumed to be covariant) :F: \mathcal \rightarrow \mathcal and G: \mathcal \rightarrow \mathcal and, for all objects X in \mathcal and Y in \mathcal a bijection between the respective morphism ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Singular Point Of An Algebraic Variety
In the mathematical field of algebraic geometry, a singular point of an algebraic variety is a point that is 'special' (so, singular), in the geometric sense that at this point the tangent space at the variety may not be regularly defined. In case of varieties defined over the reals, this notion generalizes the notion of local non-flatness. A point of an algebraic variety which is not singular is said to be regular. An algebraic variety which has no singular point is said to be non-singular or smooth. Definition A plane curve defined by an implicit equation :F(x,y)=0, where is a smooth function is said to be ''singular'' at a point if the Taylor series of has order at least at this point. The reason for this is that, in differential calculus, the tangent at the point of such a curve is defined by the equation :(x-x_0)F'_x(x_0,y_0) + (y-y_0)F'_y(x_0,y_0)=0, whose left-hand side is the term of degree one of the Taylor expansion. Thus, if this term is zero, the tangent may ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Degeneracy (mathematics)
In mathematics, a degenerate case is a limiting case of a class of objects which appears to be qualitatively different from (and usually simpler than) the rest of the class, and the term degeneracy is the condition of being a degenerate case. The definitions of many classes of composite or structured objects often implicitly include inequalities. For example, the angles and the side lengths of a triangle are supposed to be positive. The limiting cases, where one or several of these inequalities become equalities, are degeneracies. In the case of triangles, one has a ''degenerate triangle'' if at least one side length or angle is zero. Equivalently, it becomes a "line segment". Often, the degenerate cases are the exceptional cases where changes to the usual dimension or the cardinality of the object (or of some part of it) occur. For example, a triangle is an object of dimension two, and a degenerate triangle is contained in a line, which makes its dimension one. This is similar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Almost All
In mathematics, the term "almost all" means "all but a negligible amount". More precisely, if X is a set, "almost all elements of X" means "all elements of X but those in a negligible subset of X". The meaning of "negligible" depends on the mathematical context; for instance, it can mean finite, countable, or null. In contrast, "almost no" means "a negligible amount"; that is, "almost no elements of X" means "a negligible amount of elements of X". Meanings in different areas of mathematics Prevalent meaning Throughout mathematics, "almost all" is sometimes used to mean "all (elements of an infinite set) but finitely many". This use occurs in philosophy as well. Similarly, "almost all" can mean "all (elements of an uncountable set) but countably many". Examples: * Almost all positive integers are greater than 1012. * Almost all prime numbers are odd (2 is the only exception). * Almost all polyhedra are irregular (as there are only nine exceptions: the five platonic solids and ... [...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] |
Prime Ideal
In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with the zero ideal. Primitive ideals are prime, and prime ideals are both primary and semiprime. Prime ideals for commutative rings An ideal of a commutative ring is prime if it has the following two properties: * If and are two elements of such that their product is an element of , then is in or is in , * is not the whole ring . This generalizes the following property of prime numbers, known as Euclid's lemma: if is a prime number and if divides a product of two integers, then divides or divides . We can therefore say :A positive integer is a prime number if and only if n\Z is a prime ideal in \Z. Examples * A simple example: In the ring R=\Z, the subset of even numbers is a prime ideal. * Given an integral domain R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Birch And Swinnerton-Dyer Conjecture
In mathematics, the Birch and Swinnerton-Dyer conjecture (often called the Birch–Swinnerton-Dyer conjecture) describes the set of rational solutions to equations defining an elliptic curve. It is an open problem in the field of number theory and is widely recognized as one of the most challenging mathematical problems. It is named after mathematicians Bryan John Birch and Peter Swinnerton-Dyer, who developed the conjecture during the first half of the 1960s with the help of machine computation. , only special cases of the conjecture have been proven. The modern formulation of the conjecture relates arithmetic data associated with an elliptic curve ''E'' over a number field ''K'' to the behaviour of the Hasse–Weil ''L''-function ''L''(''E'', ''s'') of ''E'' at ''s'' = 1. More specifically, it is conjectured that the rank of the abelian group ''E''(''K'') of points of ''E'' is the order of the zero of ''L''(''E'', ''s'') at ''s'' = 1, and the first non-zero ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quadratic Form
In mathematics, a quadratic form is a polynomial with terms all of degree two ("form" is another name for a homogeneous polynomial). For example, :4x^2 + 2xy - 3y^2 is a quadratic form in the variables and . The coefficients usually belong to a fixed field , such as the real or complex numbers, and one speaks of a quadratic form over . If K=\mathbb R, and the quadratic form takes zero only when all variables are simultaneously zero, then it is a definite quadratic form, otherwise it is an isotropic quadratic form. Quadratic forms occupy a central place in various branches of mathematics, including number theory, linear algebra, group theory (orthogonal group), differential geometry (Riemannian metric, second fundamental form), differential topology ( intersection forms of four-manifolds), and Lie theory (the Killing form). Quadratic forms are not to be confused with a quadratic equation, which has only one variable and includes terms of degree two or less. A quadratic form is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Néron–Tate Height
In number theory, the Néron–Tate height (or canonical height) is a quadratic form on the Mordell–Weil group of rational points of an abelian variety defined over a global field. It is named after André Néron and John Tate. Definition and properties Néron defined the Néron–Tate height as a sum of local heights. Although the global Néron–Tate height is quadratic, the constituent local heights are not quite quadratic. Tate (unpublished) defined it globally by observing that the logarithmic height h_L associated to a symmetric invertible sheaf L on an abelian variety A is “almost quadratic,” and used this to show that the limit :\hat h_L(P) = \lim_\frac exists, defines a quadratic form on the Mordell–Weil group of rational points, and satisfies :\hat h_L(P) = h_L(P) + O(1), where the implied O(1) constant is independent of P.Lang (1997) p.72 If L is anti-symmetric, that is 1*L=L^, then the analogous limit :\hat h_L(P) = \lim_\frac converges and satisfies \h ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
