|
Chow Quotient
In mathematics, particularly in the field of algebraic geometry, a Chow variety is an algebraic variety whose points correspond to effective algebraic cycles of fixed dimension and degree on a given projective space. More precisely, the Chow variety \operatorname(k,d,n) is the fine moduli variety parametrizing all effective algebraic cycles of dimension k-1 and degree d in \mathbb^. The Chow variety \operatorname(k,d,n) may be constructed via a Chow embedding into a sufficiently large projective space. This is a direct generalization of the construction of a Grassmannian variety via the Plücker embedding, as Grassmannians are the d=1 case of Chow varieties. Chow varieties are distinct from Chow groups, which are the abelian group of all algebraic cycles on a variety (not necessarily projective space) up to rational equivalence. Both are named for Wei-Liang Chow(周煒良), a pioneer in the study of algebraic cycles. Background on algebraic cycles If X is a closed subvariety of ... [...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] |
Homogeneous Coordinates
In mathematics, homogeneous coordinates or projective coordinates, introduced by August Ferdinand Möbius in his 1827 work , are a system of coordinates used in projective geometry, just as Cartesian coordinates are used in Euclidean geometry. They have the advantage that the coordinates of points, including points at infinity, can be represented using finite coordinates. Formulas involving homogeneous coordinates are often simpler and more symmetric than their Cartesian counterparts. Homogeneous coordinates have a range of applications, including computer graphics and 3D computer vision, where they allow affine transformations and, in general, projective transformations to be easily represented by a matrix. If homogeneous coordinates of a point are multiplied by a non-zero scalar then the resulting coordinates represent the same point. Since homogeneous coordinates are also given to points at infinity, the number of coordinates required to allow this extension is one more than ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
GIT Quotient
In algebraic geometry, an affine GIT quotient, or affine geometric invariant theory quotient, of an affine scheme X = \operatorname A with an action by a group scheme ''G'' is the affine scheme \operatorname(A^G), the prime spectrum of the ring of invariants of ''A'', and is denoted by X /\!/ G. A GIT quotient is a categorical quotient: any invariant morphism uniquely factors through it. Taking Proj (of a graded ring) instead of \operatorname, one obtains a projective GIT quotient (which is a quotient of the set of semistable points.) A GIT quotient is a categorical quotient of the locus of semistable points; i.e., "the" quotient of the semistable locus. Since the categorical quotient is unique, if there is a geometric quotient, then the two notions coincide: for example, one has :G / H = G /\!/ H = \operatorname\!\big(k H\big) for an algebraic group ''G'' over a field ''k'' and closed subgroup ''H''. If ''X'' is a complex smooth projective variety and if ''G'' is a reductive co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Picard Variety
In mathematics, the Picard group of a ringed space ''X'', denoted by Pic(''X''), is the group of isomorphism classes of invertible sheaves (or line bundles) on ''X'', with the group operation being tensor product. This construction is a global version of the construction of the divisor class group, or ideal class group, and is much used in algebraic geometry and the theory of complex manifolds. Alternatively, the Picard group can be defined as the sheaf cohomology group :H^1 (X, \mathcal_X^).\, For integral schemes the Picard group is isomorphic to the class group of Cartier divisors. For complex manifolds the exponential sheaf sequence gives basic information on the Picard group. The name is in honour of Émile Picard's theories, in particular of divisors on algebraic surfaces. Examples * The Picard group of the spectrum of a Dedekind domain is its ''ideal class group''. * The invertible sheaves on projective space P''n''(''k'') for ''k'' a field, are the twisting sh ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stable Curve
In algebraic geometry, a stable curve is an algebraic curve that is asymptotically stable in the sense of geometric invariant theory. This is equivalent to the condition that it is a complete connected curve whose only singularities are ordinary double points and whose automorphism group is finite. The condition that the automorphism group is finite can be replaced by the condition that it is not of arithmetic genus one and every non-singular rational component meets the other components in at least 3 points . A semi-stable curve is one satisfying similar conditions, except that the automorphism group is allowed to be reductive rather than finite (or equivalently its connected component may be a torus). Alternatively the condition that non-singular rational components meet the other components in at least three points is replaced by the condition that they meet in at least two points. Similarly a curve with a finite number of marked points is called stable if it is complete, c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moduli Space Of Curves
In algebraic geometry, a moduli space of (algebraic) curves is a geometric space (typically a scheme or an algebraic stack) whose points represent isomorphism classes of algebraic curves. It is thus a special case of a moduli space. Depending on the restrictions applied to the classes of algebraic curves considered, the corresponding moduli problem and the moduli space is different. One also distinguishes between fine and coarse moduli spaces for the same moduli problem. The most basic problem is that of moduli of smooth complete curves of a fixed genus. Over the field of complex numbers these correspond precisely to compact Riemann surfaces of the given genus, for which Bernhard Riemann proved the first results about moduli spaces, in particular their dimensions ("number of parameters on which the complex structure depends"). Moduli stacks of stable curves The moduli stack \mathcal_ classifies families of smooth projective curves, together with their isomorphisms. Whe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generic Orbit
Generic or generics may refer to: In business * Generic term, a common name used for a range or class of similar things not protected by trademark * Generic brand, a brand for a product that does not have an associated brand or trademark, other than the trading name of the business providing the product * Generic trademark, a trademark that sometimes or usually replaces a common term in colloquial usage * Generic drug, a drug identified by its chemical name rather than its brand name In computer programming * Generic function, a computer programming entity made up of all methods having the same name * Generic programming, a computer programming paradigm based on method/functions or classes defined irrespective of the concrete data types used upon instantiation ** Generics in Java In linguistics *A pronoun or other word used with a less specific meaning, such as: ** generic ''you'' ** generic ''he'' or generic ''she'' ** generic ''they'' * Generic mood, a grammatical mood used ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fine Moduli Scheme
In mathematics, a moduli scheme is a moduli space that exists in the category of schemes developed by Alexander Grothendieck. Some important moduli problems of algebraic geometry can be satisfactorily solved by means of scheme theory alone, while others require some extension of the 'geometric object' concept (algebraic spaces, algebraic stacks of Michael Artin). History Work of Grothendieck and David Mumford (see geometric invariant theory) opened up this area in the early 1960s. The more algebraic and abstract approach to moduli problems is to set them up as a representable functor question, then apply a criterion that singles out the representable functors for schemes. When this programmatic approach works, the result is a ''fine moduli scheme''. Under the influence of more geometric ideas, it suffices to find a scheme that gives the correct geometric points. This is more like the classical idea that the moduli problem is to express the algebraic structure naturally coming w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert Scheme
In algebraic geometry, a branch of mathematics, a Hilbert scheme is a scheme that is the parameter space for the closed subschemes of some projective space (or a more general projective scheme), refining the Chow variety. The Hilbert scheme is a disjoint union of projective subschemes corresponding to Hilbert polynomials. The basic theory of Hilbert schemes was developed by . Hironaka's example shows that non-projective varieties need not have Hilbert schemes. Hilbert scheme of projective space The Hilbert scheme \mathbf(n) of \mathbb^n classifies closed subschemes of projective space in the following sense: For any locally Noetherian scheme , the set of -valued points :\operatorname(S, \mathbf(n)) of the Hilbert scheme is naturally isomorphic to the set of closed subschemes of \mathbb^n \times S that are flat over . The closed subschemes of \mathbb^n \times S that are flat over can informally be thought of as the families of subschemes of projective space parameterized by . Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scheme (mathematics)
In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities (the equations ''x'' = 0 and ''x''2 = 0 define the same algebraic variety but different schemes) and allowing "varieties" defined over any commutative ring (for example, Fermat curves are defined over the integers). Scheme theory was introduced by Alexander Grothendieck in 1960 in his treatise "Éléments de géométrie algébrique"; one of its aims was developing the formalism needed to solve deep problems of algebraic geometry, such as the Weil conjectures (the last of which was proved by Pierre Deligne). Strongly based on commutative algebra, scheme theory allows a systematic use of methods of topology and homological algebra. Scheme theory also unifies algebraic geometry with much of number theory, which eventually led to Wiles's proof of Fermat's Last Theorem. Formally, a scheme is a topological space together with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homogeneous Coordinate
In mathematics, homogeneous coordinates or projective coordinates, introduced by August Ferdinand Möbius in his 1827 work , are a system of coordinates used in projective geometry, just as Cartesian coordinates are used in Euclidean geometry. They have the advantage that the coordinates of points, including points at infinity, can be represented using finite coordinates. Formulas involving homogeneous coordinates are often simpler and more symmetric than their Cartesian counterparts. Homogeneous coordinates have a range of applications, including computer graphics and 3D computer vision, where they allow affine transformations and, in general, projective transformations to be easily represented by a matrix. If homogeneous coordinates of a point are multiplied by a non-zero scalar then the resulting coordinates represent the same point. Since homogeneous coordinates are also given to points at infinity, the number of coordinates required to allow this extension is one more than th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Plucker Coordinates
Plucker is an offline Web and free e-book reader for Palm OS based handheld devices, Windows Mobile ( Pocket PC) devices, and other PDAs. Plucker contains POSIX tools, scripts, and "conduits" which work on Linux, Mac OS X, Microsoft Windows, and Unix. Web pages can be processed, compressed, and transferred to the PDA for viewing by the Plucker viewer. Features * Clickable images (with pan and zoom) * Italic and narrow support * High-resolution fonts * Multiple concurrent documents (more than one copy of the same material) * Configurable display options (rotation, configurable toolbars) * Advanced stylus options (gestures and hardware button navigation) * zlib and PalmDoc compression (in native and ARM optimized versions) * Python, C++, and Perl distillers and scripts * A Microsoft Windows graphical installer Through the use of intelligent "distillers" written in many common languages (currently Python, C++ and Perl with third-party versions written in Java), content can b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
