|
Isogeny
In mathematics, particularly in algebraic geometry, an isogeny is a morphism of algebraic groups (also known as group varieties) that is surjective and has a finite kernel. If the groups are abelian varieties, then any morphism of the underlying algebraic varieties which is surjective with finite fibres is automatically an isogeny, provided that . Such an isogeny then provides a group homomorphism between the groups of -valued points of and , for any field over which is defined. The terms "isogeny" and "isogenous" come from the Greek word ισογενη-ς, meaning "equal in kind or nature". The term "isogeny" was introduced by Weil; before this, the term "isomorphism" was somewhat confusingly used for what is now called an isogeny. Degree of isogeny Let be isogeny between two algebraic groups. This mapping induces a pullback mapping between their rational function fields. Since the mapping is nontrivial, it is a field embedding and \operatorname f^* is a subfield of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elliptic Curves
In mathematics, an elliptic curve is a Smoothness, smooth, Projective variety, projective, algebraic curve of Genus of an algebraic curve, genus one, on which there is a specified point . An elliptic curve is defined over a field (mathematics), field and describes points in , the Cartesian product of with itself. If the field's characteristic (algebra), characteristic is different from 2 and 3, then the curve can be described as a plane algebraic curve which consists of solutions for: :y^2 = x^3 + ax + b for some coefficients and in . The curve is required to be Singular point of a curve, non-singular, which means that the curve has no cusp (singularity), cusps or Self-intersection, self-intersections. (This is equivalent to the condition , that is, being square-free polynomial, square-free in .) It is always understood that the curve is really sitting in the projective plane, with the point being the unique point at infinity. Many sources define an elliptic curve to be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Isogeny
In mathematics, a dual abelian variety can be defined from an abelian variety ''A'', defined over a field ''k''. A 1-dimensional abelian variety is an elliptic curve, and every elliptic curve is isomorphic to its dual, but this fails for higher-dimensional abelian varieties, so the concept of dual becomes more interesting in higher dimensions. Definition Let ''A'' be an abelian variety over a field ''k''. We define \operatorname^0 (A) \subset \operatorname (A) to be the subgroup of the Picard group consisting of line bundles ''L'' such that m^*L \cong p^*L \otimes q^*L, where m, p, q are the multiplication and projection maps A \times_k A \to A respectively. An element of \operatorname^0(A) is called a degree 0 line bundle on ''A''. To ''A'' one then associates a dual abelian variety ''A''v (over the same field), which is the solution to the following moduli problem. A family of degree 0 line bundles parametrized by a ''k''-variety ''T'' is defined to be a line bundle ''L'' on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Geometry
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects. The fundamental objects of study in algebraic geometry are algebraic variety, algebraic varieties, which are geometric manifestations of solution set, solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are line (geometry), lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscate of Bernoulli, lemniscates and Cassini ovals. These are plane algebraic curves. A point of the plane lies on an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of points of special interest like singular point of a curve, singular p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
André Weil
André Weil (; ; 6 May 1906 – 6 August 1998) was a French mathematician, known for his foundational work in number theory and algebraic geometry. He was one of the most influential mathematicians of the twentieth century. His influence is due both to his original contributions to a remarkably broad spectrum of mathematical theories, and to the mark he left on mathematical practice and style, through some of his own works as well as through the Bourbaki group, of which he was one of the principal founders. Life André Weil was born in Paris to agnostic Alsatian Jewish parents who fled the annexation of Alsace-Lorraine by the German Empire after the Franco-Prussian War in 1870–71. Simone Weil, who would later become a famous philosopher, was Weil's younger sister and only sibling. He studied in Paris, Rome and Göttingen and received his doctorate in 1928. While in Germany, Weil befriended Carl Ludwig Siegel. Starting in 1930, he spent two academic years at Aligarh Mu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Varieties Up To Isogeny
In mathematics, localization of a category consists of adding to a category inverse morphisms for some collection of morphisms, constraining them to become isomorphisms. This is formally similar to the process of localization of a ring; it in general makes objects isomorphic that were not so before. In homotopy theory, for example, there are many examples of mappings that are invertible up to homotopy; and so large classes of homotopy equivalent spaces. Calculus of fractions is another name for working in a localized category. Introduction and motivation A category ''C'' consists of objects and morphisms between these objects. The morphisms reflect relations between the objects. In many situations, it is meaningful to replace ''C'' by another category ''C in which certain morphisms are forced to be isomorphisms. This process is called localization. For example, in the category of ''R''- modules (for some fixed commutative ring ''R'') the multiplication by a fixed element ''r'' of ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Varieties
In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a smooth projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. Abelian varieties are at the same time among the most studied objects in algebraic geometry and indispensable tools for research on other topics in algebraic geometry and number theory. An abelian variety can be defined by equations having coefficients in any field; the variety is then said to be defined ''over'' that field. Historically the first abelian varieties to be studied were those defined over the field of complex numbers. Such abelian varieties turn out to be exactly those Complex torus, complex tori that can be holomorphic, holomorphically embedded into a complex projective space. Abelian varieties defined over algebraic number fields are a special case, which is important also from the viewpoint of number theory. L ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lattice Torsion Points
Lattice may refer to: Arts and design * Latticework, an ornamental criss-crossed framework, an arrangement of crossing laths or other thin strips of material * Lattice (music), an organized grid model of pitch ratios * Lattice (pastry), an ornamental pattern of crossing strips of pastry Companies * Lattice Engines, a technology company specializing in business applications for marketing and sales * Lattice Group, a former British gas transmission business * Lattice Semiconductor, a US-based integrated circuit manufacturer Science, technology, and mathematics Mathematics * Lattice (group), a repeating arrangement of points ** Lattice (discrete subgroup), a discrete subgroup of a topological group whose quotient carries an invariant finite Borel measure ** Lattice (module), a module over a ring that is embedded in a vector space over a field ** Lattice graph, a graph that can be drawn within a repeating arrangement of points ** Lattice-based cryptography, encryption ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Degree Of A Field Extension
In mathematics, more specifically field theory, the degree of a field extension is a rough measure of the "size" of the field extension. The concept plays an important role in many parts of mathematics, including algebra and number theory—indeed in any area where fields appear prominently. Definition and notation Suppose that ''E''/''F'' is a field extension. Then ''E'' may be considered as a vector space over ''F'' (the field of scalars). The dimension of this vector space is called the degree of the field extension, and it is denoted by 'E'':''F'' The degree may be finite or infinite, the field being called a finite extension or infinite extension accordingly. An extension ''E''/''F'' is also sometimes said to be simply finite if it is a finite extension; this should not be confused with the fields themselves being finite fields (fields with finitely many elements). The degree should not be confused with the transcendence degree of a field; for example, the field Q(' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Function Field Of An Algebraic Variety
In algebraic geometry, the function field of an algebraic variety ''V'' consists of objects that are interpreted as rational functions on ''V''. In classical algebraic geometry they are ratios of polynomials; in complex 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. Definition for complex manifolds In complex 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 \mathbb\cup\.) 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 \mathbb^1 over the complex numbers, the global meromorphic fu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (mathematics)
In mathematics, a field is a set (mathematics), set on which addition, subtraction, multiplication, and division (mathematics), division are defined and behave as the corresponding operations on rational number, rational and real numbers. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as field of rational functions, fields of rational functions, algebraic function fields, algebraic number fields, and p-adic number, ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many element (set), elements. The theory of fields proves that angle trisection and squaring the circle cannot be done with a compass and straighte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morphism Of Algebraic Varieties
In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function. A regular map whose inverse is also regular is called biregular, and the biregular maps are the isomorphisms of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the concepts of rational and birational maps are widely used as well; they are partial functions that are defined locally by rational fractions instead of polynomials. An algebraic variety has naturally the structure of a locally ringed space; a morphism between algebraic varieties is precisely a morphism of the underlying locally ringed spaces. Definition If ''X'' and ''Y'' are closed subvarieties of \mathbb^n and \mathbb^m (so they are affine varieties ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Homomorphism
In mathematics, given two groups, (''G'',∗) and (''H'', ·), a group homomorphism from (''G'',∗) to (''H'', ·) is a function ''h'' : ''G'' → ''H'' such that for all ''u'' and ''v'' in ''G'' it holds that : h(u*v) = h(u) \cdot h(v) where the group operation on the left side of the equation is that of ''G'' and on the right side that of ''H''. From this property, one can deduce that ''h'' maps the identity element ''eG'' of ''G'' to the identity element ''eH'' of ''H'', : h(e_G) = e_H and it also maps inverses to inverses in the sense that : h\left(u^\right) = h(u)^. \, Hence one can say that ''h'' "is compatible with the group structure". In areas of mathematics where one considers groups endowed with additional structure, a ''homomorphism'' sometimes means a map which respects not only the group structure (as above) but also the extra structure. For example, a homomorphism of topological groups is often required to be continuous. Properties Let e_ be the ident ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
