|
Kempf–Ness Theorem
In algebraic geometry, the Kempf–Ness theorem, introduced by , gives a criterion for the stability of a vector in a representation of a complex reductive group. If the complex vector space is given a norm that is invariant under a maximal compact subgroup of the reductive group, then the Kempf–Ness theorem states that a vector is stable if and only if the norm attains a minimum value on the orbit of the vector. The theorem has the following consequence: If ''X'' is a complex smooth projective variety and if ''G'' is a reductive complex Lie group, then X /\!/ G (the GIT quotient of ''X'' by ''G'') is homeomorphic to the symplectic quotient of ''X'' by a maximal compact subgroup In mathematics, a maximal compact subgroup ''K'' of a topological group ''G'' is a subgroup ''K'' that is a compact space, in the subspace topology, and maximal amongst such subgroups. Maximal compact subgroups play an important role in the class ... of ''G''. References * Invariant theory The ... [...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] |
Smooth Variety
In algebraic geometry, a smooth scheme over a field is a scheme which is well approximated by affine space near any point. Smoothness is one way of making precise the notion of a scheme with no singular points. A special case is the notion of a smooth variety over a field. Smooth schemes play the role in algebraic geometry of manifolds in topology. Definition First, let ''X'' be an affine scheme of finite type over a field ''k''. Equivalently, ''X'' has a closed immersion into affine space ''An'' over ''k'' for some natural number ''n''. Then ''X'' is the closed subscheme defined by some equations ''g''1 = 0, ..., ''g''''r'' = 0, where each ''gi'' is in the polynomial ring ''k'' 'x''1,..., ''x''''n'' The affine scheme ''X'' is smooth of dimension ''m'' over ''k'' if ''X'' has dimension at least ''m'' in a neighborhood of each point, and the matrix of derivatives (∂''g''''i''/∂''x''''j'') has rank at least ''n''−''m'' everywhere on ''X''. (It follows that ''X'' has dimension ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lecture Notes In Mathematics
''Lecture Notes in Mathematics'' is a book series in the field of mathematics, including articles related to both research and teaching. It was established in 1964 and was edited by A. Dold, Heidelberg and B. Eckmann, Zürich. Its publisher is Springer Science+Business Media (formerly Springer-Verlag). The intent of the series is to publish not only lecture notes, but results from seminars and conferences, more quickly than the several-years-long process of publishing polished journal papers in mathematics. In order to speed the publication process, early volumes of the series (before electronic publishing) were reproduced photographically from typewritten manuscripts. According to Earl Taft it has been "enormously successful" and "is considered a very valuable service to the mathematical community". there have been 2232 volumes in this series. See also * ''Lecture Notes in Physics'' * ''Lecture Notes in Computer Science ''Lecture Notes in Computer Science'' is a series of com ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectic Quotient
In mathematics, specifically in symplectic geometry, the momentum map (or, by false etymology, moment map) is a tool associated with a Hamiltonian action of a Lie group on a symplectic manifold, used to construct conserved quantities for the action. The momentum map generalizes the classical notions of linear and angular momentum. It is an essential ingredient in various constructions of symplectic manifolds, including symplectic (Marsden–Weinstein) quotients, discussed below, and symplectic cuts and sums. Formal definition Let ''M'' be a manifold with symplectic form ω. Suppose that a Lie group ''G'' acts on ''M'' via symplectomorphisms (that is, the action of each ''g'' in ''G'' preserves ω). Let \mathfrak be the Lie algebra of ''G'', \mathfrak^* its dual, and :\langle, \rangle : \mathfrak^* \times \mathfrak \to \mathbf the pairing between the two. Any ξ in \mathfrak induces a vector field ρ(ξ) on ''M'' describing the infinitesimal action of ξ. To be precise, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homeomorphism
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same. The word ''homeomorphism'' comes from the Greek words '' ὅμοιος'' (''homoios'') = similar or same and '' μορφή'' (''morphē'') = shape or form, introduced to mathematics by Henri Poincaré in 1895. Very roughly speaking, a topological space is a geometric object, and the homeomorphism is a continuous stretching and bending of the object into a new shape. Thus, a square and a circle are homeomorphic to each other, but a sphere and a torus are not. However, this desc ... [...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] |
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 where ''L'' is a discrete subgroup. Indeed, its Lie algebra \mathfrak can be shown to be abelian and then \operatorname: \mathf ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Variety
In algebraic geometry, a projective variety over an algebraically closed field ''k'' is a subset of some projective ''n''-space \mathbb^n over ''k'' that is the zero-locus of some finite family of homogeneous polynomials of ''n'' + 1 variables with coefficients in ''k'', that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of \mathbb^n. A projective variety is a projective curve if its dimension is one; it is a projective surface if its dimension is two; it is a projective hypersurface if its dimension is one less than the dimension of the containing projective space; in this case it is the set of zeros of a single homogeneous polynomial. If ''X'' is a projective variety defined by a homogeneous prime ideal ''I'', then the quotient ring :k _0, \ldots, x_nI is called the homogeneous coordinate ring of ''X''. Basic invariants of ''X'' such as the degree and the dim ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Action (mathematics)
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism group of the structure. It is said that the group ''acts'' on the space or structure. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn in it. For example, it acts on the set of all triangles. Similarly, the group of symmetries of a polyhedron acts on the vertices, the edges, and the faces of the polyhedron. A group action on a vector space is called a representation of the group. In the case of a finite-dimensional vector space, it allows one to identify many groups with subgroups of , the group of the invertible matrices of dimension over a field . The symmetric group acts on any set wit ... [...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] |
Maximal Compact Subgroup
In mathematics, a maximal compact subgroup ''K'' of a topological group ''G'' is a subgroup ''K'' that is a compact space, in the subspace topology, and maximal amongst such subgroups. Maximal compact subgroups play an important role in the classification of Lie groups and especially semi-simple Lie groups. Maximal compact subgroups of Lie groups are ''not'' in general unique, but are unique up to conjugation – they are essentially unique. Example An example would be the subgroup O(2), the orthogonal group, inside the general linear group GL(2, R). A related example is the circle group SO(2) inside SL(2, R). Evidently SO(2) inside GL(2, R) is compact and not maximal. The non-uniqueness of these examples can be seen as any inner product has an associated orthogonal group, and the essential uniqueness corresponds to the essential uniqueness of the inner product. Definition A maximal compact subgroup is a maximal subgroup amongst compact subgroups – a ''maximal (compact subgroup ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Projective Variety")
