Complex Tori
In mathematics, a complex torus is a particular kind of complex manifold ''M'' whose underlying smooth manifold is a torus in the usual sense (i.e. the cartesian product of some number ''N'' circles). Here ''N'' must be the even number 2''n'', where ''n'' is the complex dimension of ''M''. All such complex structures can be obtained as follows: take a lattice Λ in a vector space V isomorphic to C''n'' considered as real vector space; then the quotient group V/\Lambda is a compact complex manifold. All complex tori, up to isomorphism, are obtained in this way. For ''n'' = 1 this is the classical period lattice construction of elliptic curves. For ''n'' > 1 Bernhard Riemann found necessary and sufficient conditions for a complex torus to be an algebraic variety; those that are varieties can be embedded into complex projective space, and are the abelian varieties. The actual projective embeddings are complicated (see equations defining abelian varieties) when ''n'' > 1, and are real ... [...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]   |
|
Equations Defining Abelian Varieties
In mathematics, the concept of abelian variety is the higher-dimensional generalization of the elliptic curve. The equations defining abelian varieties are a topic of study because every abelian variety is a projective variety. In dimension ''d'' ≥ 2, however, it is no longer as straightforward to discuss such equations. There is a large classical literature on this question, which in a reformulation is, for complex algebraic geometry, a question of describing relations between theta functions. The modern geometric treatment now refers to some basic papers of David Mumford, from 1966 to 1967, which reformulated that theory in terms from abstract algebraic geometry valid over general fields. Complete intersections The only 'easy' cases are those for ''d'' = 1, for an elliptic curve with linear span the projective plane or projective 3-space. In the plane, every elliptic curve is given by a cubic curve. In ''P''3, an elliptic curve can be obtained as the intersection of two quadr ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Line Bundle
In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the ''tangent bundle'' is a way of organising these. More formally, in algebraic topology and differential topology, a line bundle is defined as a ''vector bundle'' of rank 1. Line bundles are specified by choosing a one-dimensional vector space for each point of the space in a continuous manner. In topological applications, this vector space is usually real or complex. The two cases display fundamentally different behavior because of the different topological properties of real and complex vector spaces: If the origin is removed from the real line, then the result is the set of 1×1 invertible real matrices, which is homotopy-equivalent to a discrete two-point space by contracting the positive and negative reals each to a point; whereas removing the origin from the complex ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Moduli Of Abelian Varieties
Abelian varieties are a natural generalization of elliptic curves to higher dimensions. However, unlike the case of elliptic curves, there is no well-behaved stack playing the role of a Moduli_space#Moduli_stacks, moduli stack for higher-dimensional abelian varieties. One can solve this problem by constructing a moduli stack of abelian varieties equipped with extra structure, such as a Abelian_variety#Polarisations, principal polarisation. Just as there is a Moduli stack of elliptic curves, moduli stack of elliptic curves over \mathbb constructed as a stacky quotient of the Upper half-plane, upper-half plane by the action of SL_2(\mathbb), there is a moduli space of principally polarised abelian varieties given as a stacky quotient of Siegel upper half-space by the symplectic group \operatorname_(\mathbb). By adding even more extra structure, such as a level ''n'' structure, one can go further and obtain a Moduli_space#Fine_moduli_space, fine moduli space. Constructions over ch ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Double Coset Space
Double, The Double or Dubble may refer to: Mathematics and computing * Multiplication by 2 * Double precision, a floating-point representation of numbers that is typically 64 bits in length * A double number of the form x+yj, where j^2=+1 * A 2-tuple, or ordered list of two elements, commonly called an ordered pair, denoted (a,b) * Double (manifold), in topology Food and drink * A drink order of two shots of hard liquor in one glass * A "double decker", a hamburger with two patties in a single bun Games * Double, action in games whereby a competitor raises the stakes ** , in contract bridge ** Doubling cube, in backgammon ** Double, doubling a blackjack bet in a favorable situation ** Double, a bet offered by UK bookmakers which combines two selections * Double, villain in the video game ''Mega Man X4'' * A kart racing game '' Mario Kart: Double Dash'' * An arcade action game ''Double Dragon'' Sports * Double (association football), the act of a winning a division and primary ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Riemann Bilinear Relations
In mathematics, a Riemann form in the theory of abelian varieties and modular forms, is the following data: * A lattice Λ in a complex vector space Cg. * An alternating bilinear form α from Λ to the integers satisfying the following Riemann bilinear relations: # the real linear extension αR:Cg × Cg→R of α satisfies αR(''iv'', ''iw'')=αR(''v'', ''w'') for all (''v'', ''w'') in Cg × Cg; # the associated hermitian form ''H''(''v'', ''w'')=αR(''iv'', ''w'') + ''i''αR(''v'', ''w'') is positive-definite. (The hermitian form written here is linear in the first variable.) Riemann forms are important because of the following: * The alternatization of the Chern class of any factor of automorphy In mathematics, an automorphic function is a function on a space that is invariant under the action of some group, in other words a function on the quotient space. Often the space is a complex manifold and the group is a discrete group. Factor ... is a Riemann form. * Conversely, ... [...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 homogenization of a polynomial, 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 function, 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. If the defining polynomial of a plane algebraic curve is irreducible polynomial, irreducible, then one has an ''irreducible plane algebraic curve''. Otherwise, the algebraic curve is the union of one or several irreducible curves, called its ''Irreduc ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lie Group
In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (to allow division), or equivalently, the concept of addition and subtraction. Combining these two ideas, one obtains a continuous group where multiplying points and their inverses is continuous. If the multiplication and taking of inverses are smoothness, smooth (differentiable) as well, one obtains a Lie group. Lie groups provide a natural model for the concept of continuous symmetry, a celebrated example of which is the circle group. Rotating a circle is an example of a continuous symmetry. For an ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Complex Lie Group
In geometry, a complex Lie group is a Lie group over the complex numbers; i.e., it is a complex-analytic manifold that is also a group in such a way G \times G \to G, (x, y) \mapsto x y^ is holomorphic. Basic examples are \operatorname_n(\mathbb), the general linear groups over the complex numbers. A connected compact complex Lie group is precisely a complex torus (not to be confused with the complex Lie group \mathbb C^*). Any finite group may be given the structure of a complex Lie group. A complex semisimple Lie group is a linear algebraic group. The Lie algebra of a complex Lie group is a complex Lie algebra. Examples *A finite-dimensional vector space over the complex numbers (in particular, complex Lie algebra) is a complex Lie group in an obvious way. *A connected compact complex Lie group ''A'' of dimension ''g'' is of the form \mathbb^g/L, a complex torus, where ''L'' is a discrete subgroup of rank 2g. Indeed, its Lie algebra \mathfrak can be shown to be abelian a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Projective Space
In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet ''at infinity''. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally, an affine space with points at infinity, in such a way that there is one point at infinity of each direction of parallel lines. This definition of a projective space has the disadvantage of not being isotropic, having two different sorts of points, which must be considered separately in proofs. Therefore, other definitions are generally preferred. There are two classes of definitions. In synthetic geometry, ''point'' and ''line'' are primitive entities that are related by the incidence relation "a point is on a line" or "a line passes through a point", which is subject to the axioms of projective geometry. For some such set of axioms, the projective spaces that are defined have been shown to be equivalent to those resulting from the f ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Geometry And Analytic Geometry
In mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraic varieties, analytic geometry deals with complex manifolds and the more general analytic spaces defined locally by the vanishing of analytic functions of several complex variables. The deep relation between these subjects has numerous applications in which algebraic techniques are applied to analytic spaces and analytic techniques to algebraic varieties. Main statement Let X be a projective complex algebraic variety. Because X is a complex variety, its set of complex points X(\C) can be given the structure of a compact complex analytic space. This analytic space is denoted X^\mathrm. Similarly, if \mathcal is a sheaf on X, then there is a corresponding sheaf \mathcal^\text on X^\mathrm. This association of an analytic object to an algebraic one is a functor. The prototypical theorem relating X and X^\mathrm says that for any two coherent s ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Computer Algebra
In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating expression (mathematics), mathematical expressions and other mathematical objects. Although computer algebra could be considered a subfield of scientific computing, they are generally considered as distinct fields because scientific computing is usually based on numerical computation with approximate floating point numbers, while symbolic computation emphasizes ''exact'' computation with expressions containing variable (mathematics), variables that have no given value and are manipulated as symbols. Software applications that perform symbolic calculations are called ''computer algebra systems'', with the term ''system'' alluding to the complexity of the main applications that include, at least, a method to represent mathematical data in a computer, a user programm ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |