|
Complex Multiplication
In mathematics, complex multiplication (CM) is the theory of elliptic curves ''E'' that have an endomorphism ring larger than the integers. Put another way, it contains the theory of elliptic functions with extra symmetries, such as are visible when the period lattice is the Gaussian integer Lattice (group), lattice or Eisenstein integer lattice. It has an aspect belonging to the theory of special functions, because such elliptic functions, or abelian functions of several complex variables, are then 'very special' functions satisfying extra identities and taking explicitly calculable special values at particular points. It has also turned out to be a central theme in algebraic number theory, allowing some features of the theory of cyclotomic fields to be carried over to wider areas of application. David Hilbert is said to have remarked that the theory of complex multiplication of elliptic curves was not only the most beautiful part of mathematics but of all science. There is also ... [...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] |
Abelian Variety
In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a smooth Algebraic variety#Projective variety, 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 (mathematics), 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order (ring Theory)
In mathematics, an order in the sense of ring theory is a subring \mathcal of a ring A, such that #''A'' is a finite-dimensional algebra over the field \mathbb of rational numbers #\mathcal spans ''A'' over \mathbb, and #\mathcal is a \mathbb- lattice in ''A''. The last two conditions can be stated in less formal terms: Additively, \mathcal is a free abelian group generated by a basis for ''A'' over \mathbb. More generally for ''R'' an integral domain with fraction field ''K'', an ''R''-order in a finite-dimensional ''K''-algebra ''A'' is a subring \mathcal of ''A'' which is a full ''R''-lattice; i.e. is a finite ''R''-module with the property that ''\mathcal\otimes_RK=A''. When ''A'' is not a commutative ring, the idea of order is still important, but the phenomena are different. For example, the Hurwitz quaternions form a maximal order in the quaternions with rational co-ordinates; they are not the quaternions with integer coordinates in the most obvious sense. Maximal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Number
In mathematics, an algebraic number is a number that is a root of a function, root of a non-zero polynomial in one variable with integer (or, equivalently, Rational number, rational) coefficients. For example, the golden ratio (1 + \sqrt)/2 is an algebraic number, because it is a root of the polynomial X^2 - X - 1, i.e., a solution of the equation x^2 - x - 1 = 0, and the complex number 1 + i is algebraic as a root of X^4 + 4. Algebraic numbers include all integers, rational numbers, and nth root, ''n''-th roots of integers. Algebraic complex numbers are closed under addition, subtraction, multiplication and division, and hence form a field (mathematics), field, denoted \overline. The set of algebraic real numbers \overline \cap \R is also a field. Numbers which are not algebraic are called transcendental number, transcendental and include pi, and . There are countable set, countably many algebraic numbers, hence almost all real (or complex) numbers (in the sense of Lebesgue ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
J-invariant
In mathematics, Felix Klein's -invariant or function is a modular function of weight zero for the special linear group \operatorname(2,\Z) defined on the upper half-plane of complex numbers. It is the unique such function that is holomorphic away from a simple pole at the cusp such that :j\big(e^\big) = 0, \quad j(i) = 1728 = 12^3. Rational functions of j are modular, and in fact give all modular functions of weight 0. Classically, the j-invariant was studied as a parameterization of elliptic curves over \mathbb, but it also has surprising connections to the symmetries of the Monster group (this connection is referred to as monstrous moonshine). Definition The -invariant can be defined as a function on the upper half-plane \mathcal=\, by :j(\tau) = 1728 \frac = 1728 \frac = 1728 \frac with the third definition implying j(\tau) can be expressed as a cube, also since 1728 = 12^3. The function cannot be continued analytically beyond the upper half-plane due to the natura ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weierstrass Elliptic Function
In mathematics, the Weierstrass elliptic functions are elliptic functions that take a particularly simple form. They are named for Karl Weierstrass. This class of functions is also referred to as ℘-functions and they are usually denoted by the symbol ℘, a uniquely fancy Cursive, script ''p''. They play an important role in the theory of elliptic functions, i.e., meromorphic functions that are Doubly_periodic_function, doubly periodic. A ℘-function together with its derivative can be used to parameterize elliptic curves and they generate the field of elliptic functions with respect to a given period lattice. Symbol for Weierstrass \wp-function Motivation A Cubic_form, cubic of the form C_^\mathbb=\ , where g_2,g_3\in\mathbb are complex numbers with g_2^3-27g_3^2\neq0, cannot be Rational_variety, rationally parameterized. Yet one still wants to find a way to parameterize it. For the quadric K=\left\; the unit circle, there exists a (non-rational) parameterizatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automorphism
In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphisms of an object forms a group, called the automorphism group. It is, loosely speaking, the symmetry group of the object. Definition In an algebraic structure such as a group, a ring, or vector space, an ''automorphism'' is simply a bijective homomorphism of an object into itself. (The definition of a homomorphism depends on the type of algebraic structure; see, for example, group homomorphism, ring homomorphism, and linear operator.) More generally, for an object in some category, an automorphism is a morphism of the object to itself that has an inverse morphism; that is, a morphism f: X\to X is an automorphism if there is a morphism g: X\to X such that g\circ f= f\circ g = \operatorname _X, where \operatorname _X is the identity ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Torus
In geometry, a torus (: tori or toruses) is a surface of revolution generated by revolving a circle in three-dimensional space one full revolution about an axis that is coplanarity, coplanar with the circle. The main types of toruses include ring toruses, horn toruses, and spindle toruses. A ring torus is sometimes colloquially referred to as a donut or doughnut. If the axis of revolution does not touch the circle, the surface has a ring shape and is called a torus of revolution, also known as a ring torus. If the axis of revolution is tangent to the circle, the surface is a horn torus. If the axis of revolution passes twice through the circle, the surface is a Lemon (geometry), spindle torus (or ''self-crossing torus'' or ''self-intersecting torus''). If the axis of revolution passes through the center of the circle, the surface is a degenerate torus, a double-covered sphere. If the revolved curve is not a circle, the surface is called a ''toroid'', as in a square toroid. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert's Twelfth Problem
Hilbert's twelfth problem is the extension of the Kronecker–Weber theorem on abelian extensions of the rational numbers, to any base number field. It is one of the 23 mathematical Hilbert problems and asks for analogues of the roots of unity that generate a whole family of further number fields, analogously to the cyclotomic fields and their subfields. Leopold Kronecker described the complex multiplication issue as his , or "dearest dream of his youth", so the problem is also known as Kronecker's Jugendtraum. The classical theory of complex multiplication, now often known as the , does this for the case of any imaginary quadratic field, by using modular functions and elliptic functions chosen with a particular period lattice related to the field in question. Goro Shimura extended this to CM fields. In the special case of totally real fields, Samit Dasgupta and Mahesh Kakde provided a construction of the maximal abelian extension of totally real fields using the Brumer– ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kronecker Jugendtraum
Hilbert's twelfth problem is the extension of the Kronecker–Weber theorem on abelian extensions of the rational numbers, to any base number field. It is one of the 23 mathematical Hilbert problems and asks for analogues of the roots of unity that generate a whole family of further number fields, analogously to the cyclotomic fields and their subfields. Leopold Kronecker described the complex multiplication issue as his , or "dearest dream of his youth", so the problem is also known as Kronecker's Jugendtraum. The classical theory of complex multiplication, now often known as the , does this for the case of any imaginary quadratic field, by using modular form, modular functions and elliptic functions chosen with a particular period lattice related to the field in question. Goro Shimura extended this to CM fields. In the special case of totally real fields, Samit Dasgupta and Mahesh Kakde provided a construction of the maximal abelian extension of totally real fields using the Bru ... [...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] |
Module (mathematics)
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a (not necessarily commutative) ring. The concept of a ''module'' also generalizes the notion of an abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operations of addition between elements of the ring or module and is compatible with the ring multiplication. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Introduction and definition Motivation In a vector space, the set of scalars is a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
