|
Geometric Quotient
In algebraic geometry, a geometric quotient of an algebraic variety ''X'' with the action of an algebraic group ''G'' is a morphism of varieties \pi: X \to Y such that :(i) For each ''y'' in ''Y'', the fiber \pi^(y) is an orbit of ''G''. :(ii) The topology of ''Y'' is the quotient topology: a subset U \subset Y is open if and only if \pi^(U) is open. :(iii) For any open subset U \subset Y, \pi^: k \to k pi^(U)G is an isomorphism. (Here, ''k'' is the base field.) The notion appears in geometric invariant theory. (i), (ii) say that ''Y'' is an orbit space of ''X'' in topology. (iii) may also be phrased as an isomorphism of sheaves \mathcal_Y \simeq \pi_*(\mathcal_X^G). In particular, if ''X'' is irreducible, then so is ''Y'' and k(Y) = k(X)^G: rational functions on ''Y'' may be viewed as invariant rational functions on ''X'' (i.e., rational-invariants of ''X''). For example, if ''H'' is a closed subgroup of ''G'', then G/H is a geometric quotient. A GIT quotient may or may not be a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called algebraic sets. Other conventions do not require irreducibility. The fundamental theorem of algebra establishes a link between algebra and geometry by showing that a monic polynomial (an algebraic object) in one variable with complex number coefficients is determined ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Group
In mathematics, an algebraic group is an algebraic variety endowed with a group structure which is compatible with its structure as an algebraic variety. Thus the study of algebraic groups belongs both to algebraic geometry and group theory. Many groups of geometric transformations are algebraic groups; for example, orthogonal groups, general linear groups, projective groups, Euclidean groups, etc. Many matrix groups are also algebraic. Other algebraic groups occur naturally in algebraic geometry, such as elliptic curves and Jacobian varieties. An important class of algebraic groups is given by the affine algebraic groups, those whose underlying algebraic variety is an affine variety; they are exactly the algebraic subgroups of the general linear group, and are therefore also called ''linear algebraic groups''. Another class is formed by the abelian varieties, which are the algebraic groups whose underlying variety is a projective variety. Chevalley's structure theorem states ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morphism Of 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 they are isomorphisms in the category of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the weaker condition of a rational map and birational maps are frequently used as well. Definition If ''X'' and ''Y'' are closed subvarieties of \mathbb^n and \mathbb^m (so they are affine varieties), then a regular map f\colon X\to Y is the restriction of a polynomial map \mathbb^n\to \mathbb^m. Explicitly, it has the form: :f = (f_1, \dots, f_m) where the f_is are in the coordinate ring of ''X'': :k = k _1, \dots, x_nI, where ''I'' is the ideal defining ''X'' ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quotient Topology
In topology and related areas of mathematics, the quotient space of a topological space under a given equivalence relation is a new topological space constructed by endowing the quotient set of the original topological space with the quotient topology, that is, with the finest topology that makes continuous the canonical projection map (the function that maps points to their equivalence classes). In other words, a subset of a quotient space is open if and only if its preimage under the canonical projection map is open in the original topological space. Intuitively speaking, the points of each equivalence class are or "glued together" for forming a new topological space. For example, identifying the points of a sphere that belong to the same diameter produces the projective plane as a quotient space. Definition Let \left(X, \tau_X\right) be a topological space, and let \,\sim\, be an equivalence relation on X. The quotient set, Y = X / \sim\, is the set of equivalence clas ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometric Invariant Theory
In mathematics, geometric invariant theory (or GIT) is a method for constructing quotients by Group action (mathematics), group actions in algebraic geometry, used to construct moduli spaces. It was developed by David Mumford in 1965, using ideas from the paper in classical invariant theory. Geometric invariant theory studies an Group action (mathematics), action of a group on an algebraic variety (or scheme (mathematics), scheme) and provides techniques for forming the 'quotient' of by as a scheme with reasonable properties. One motivation was to construct moduli spaces in algebraic geometry as quotients of schemes parametrizing marked objects. In the 1970s and 1980s the theory developed interactions with symplectic geometry and equivariant topology, and was used to construct moduli spaces of objects in differential geometry, such as instantons and monopole (mathematics), monopoles. Background Invariant theory is concerned with a Group action (mathematics), group actio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orbit Space
In celestial mechanics, an orbit is the curved trajectory of an object such as the trajectory of a planet around a star, or of a natural satellite around a planet, or of an artificial satellite around an object or position in space such as a planet, moon, asteroid, or Lagrange point. Normally, orbit refers to a regularly repeating trajectory, although it may also refer to a non-repeating trajectory. To a close approximation, planets and satellites follow elliptic orbits, with the center of mass being orbited at a focal point of the ellipse, as described by Kepler's laws of planetary motion. For most situations, orbital motion is adequately approximated by Newtonian mechanics, which explains gravity as a force obeying an inverse-square law. However, Albert Einstein's general theory of relativity, which accounts for gravity as due to curvature of spacetime, with orbits following geodesics, provides a more accurate calculation and understanding of the exact mechanics of orbital ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such as Stretch factor, stretching, Twist (mathematics), twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a set (mathematics), set endowed with a structure, called a ''Topology (structure), topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of continuity (mathematics), continuity. Euclidean spaces, and, more generally, metric spaces are examples of a topological space, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and homotopy, homotopies. A property that is invariant under such deformations is a topological property. Basic exampl ... [...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] |
Categorical Quotient
In algebraic geometry, given a category ''C'', a categorical quotient of an object ''X'' with action of a group ''G'' is a morphism \pi: X \to Y that :(i) is invariant; i.e., \pi \circ \sigma = \pi \circ p_2 where \sigma: G \times X \to X is the given group action and ''p''2 is the projection. :(ii) satisfies the universal property: any morphism X \to Z satisfying (i) uniquely factors through \pi. One of the main motivations for the development of geometric invariant theory was the construction of a categorical quotient for varieties or schemes. Note \pi need not be surjective. Also, if it exists, a categorical quotient is unique up to a canonical isomorphism. In practice, one takes ''C'' to be the category of varieties or the category of schemes over a fixed scheme. A categorical quotient \pi is a universal categorical quotient if it is stable under base change: for any Y' \to Y, \pi': X' = X \times_Y Y' \to Y' is a categorical quotient. A basic result is that geometric quoti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Good Quotient
This is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme ''S'' and a morphism an ''S''-morphism. !$@ A B C D E F G H I J K L M N O P ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
